Professional Documents
Culture Documents
GRAU
UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS
INTEGRACIN DE
NMEROS COMPLEJOS
PROFESOR
:
Ral Pedro Castro Vidal
ALUMNOS
:
Novoa Vera Rene Gabriel
Palomino Ccallisaya Sal Geovanni
Cermeo Torres Jhorman Adrin
CURSO
:
Funciones Analticas
2016
INTEGRACIN COMPLEJA
Un aspecto esencial de la teora de las funciones analticas es la forma en
que la integral compleja interviene en ella. Como ya hemos comentado, fueron C.
F. Gauss, que no public sus resultados, y A. L. Cauchy quienes, a comienzos del
siglo XIX, desarrollaron la teora de la integracin compleja y la utilizaron para
demostrar que la analiticidad de una funcin en un dominio implica la existencia de
todas las derivadas superiores en un entorno de dicho dominio.
Definiremos la integral de una funcin compleja continua sobre una curva del
plano, mostrando su relacin con las integrales de lnea en
R2
estudiadas en la
f : C
es una funcin de
z1
z2
de , digamos
f (z)dz
z1
x2
f (x) dx
x1
[x 1 , x 2 ]
del eje
OX
f (x n) x n
n
[x 1 , x 2 ]
) y cada curva
(x 1 , y 1)
( x 2 , y 2)
F ( x , y)
funcin
z (t)
de un intervalo
[t 1 ,t 2 ]R
C es la imagen de una
. La variable independiente
z (t)
z1
z 1=z ( t 1 )
es el extremo de partida y
y
z2
de la
recibe el
z 2=z (t 2 ) se
es el extremo
(x (t), y(t))
de manera obvia a curvas complejas algunos conceptos dados para curvas planas
como los de curva simple (la que no se cruza consigo misma salvo, quizs, en los
extremos), curva cerrada (cuando sus extremos coinciden), curva regular o suave
[t 1 ,t 2 ]
(cuando las funciones x(t) e y(t) son derivables con derivada continua en
,
z ' (t)=x ' (t )+ jy ' (t) , curva regular o suave a trozos
x (t)
y (t)
continua. Sea
por
f : C
para
t 1 t t 2
. Se define la integral de
una funcin
y parametrizada
f
sobre
como:
t2
t1
Cuando la curva
f ( z)dz .
C
f : C
una
L
. Sea
contenida en
M>0
tal que
f (z ) M
para todo
zC .
Entonces
| |
f (z)dz ML
Observacin:
Si no imponemos condiciones adicionales a la funcin
integral definida anteriormente s puede depender del camino
fijado; en otras palabras, si denotamos por
f (z)dz
C , entonces
z2
z1
z2
f , entonces la
C
que hayamos
entre
z1
desde
z1
hasta
es el segmento
z2
z (t)=t
para 0 t 1
z 1=0
que une
z 2=1
z1
con
f (z)=z . Si
z2
, entonces:
C1
Mientras que si
C2
es el arco de circunferencia
z1
con
z2
, entonces:
1
z (t)= (1+ e jt )
2
para
Sea
funcin continua
regulares a trozos
en
z1
y terminan en
C2
z2
z1
z2
contenidas en
entonces
si
f ( z) dz= f (z )dz
C1
C2
z2
f (z)dz
integral se escribe
z1
z1
z2
es cero.
son
sobre
si
es analtica en
F '( z )=f ( z)
para cada
z .
y sea
en
f : C
un dominio en
z2
camino seguido en
cualesquiera
z1 , z2
f (z)dz=F ( z2 ) F ( z 1 )
y se tiene
para
z1
. Entonces
en
f (z)dz
C
):
t2
'
[ u ( x ( t ) , y ( t ) ) + jv( x ( t ) , y (t)) ] [ x ( t ) + jy '(t ) ] dt
t1
'
x ( t ) , y ( t ) y ( t )+ v (x ( t ) , y (t)) x '(t)
u dt
t2
t2
t1
como
t2
como curva en
f ( z ) dz = ( u ,v ) . d r
f ( z ) dz = ( v ,u ) . d r
, entonces tenemos:
tal que
un dominio en
f'
y sea
. Sea
es continua en
f : C
C
. Entonces:
f ( z ) dz=0
C
Corolario 1: Sean
analtica en
de
tal que
es continua en
una funcin
Corolario 2: Sean
analtica en
tal que
funciones primitivas en
una funcin
. Entonces
es continua en
tiene
sea continua en
, que
f ( z) dz
C
est contenida en
en la regin
cuando, al usar el Teorema de Green, escribimos las integrales de lnea reales que
aparecen como integrales dobles sobre dicha regin. Veamos un ejemplo de que
dicha hiptesis no puede eliminarse.
Ejemplo: La funcin
f ( z)=1 /z
es analtica en
usamos la parametrizacin
f ( z) dz=
0
1
z ' (t)dt= e jt j e jt dt= j 1 dt=2 j
z(t )
0
0
z (t)=e jt
=C {0 } . Para calcular su
no est contenida en
n=2, 3 , 4 ,.. .
Ejemplo: Para
, la funcin
f ( z)=1 /z
es analtica en
jt
con 0 t 2
obteniendo:
f ( z)dz= ( z ( t ) )
C
z (t)=e
j e j(1n)t dt=
0
1 ( j ( n1 ) 2 0)
e
e =0
1n
Observacin:
El dominio
=C {0 }
de
z2
z dz
z1
, obteniendo
z dz=log ( z 2 ) log (z 1)
z1
Esto nos muestra, entonces, que la eleccin del dominio en el que vayamos
a trabajar es esencial a la hora de aplicar los teoremas sobre funciones de variable
compleja.
Teorema de la Integral de Cauchy para Dominios Mltiplemente Conexos:
Sea
analtica en
tal que
f'
es continua en
f : C
. Sean
tales que:
una funcin
C0 , C1 , .. . , Cn
una
1. Las curvas
C1 , C2 , .. . ,C n
2. Las curvas
C1 , C2 , .. . ,C n
est contenida en
C0
C0
Entonces se verifica:
z2
f ( z)dz= f ( z) dz
z1
k=1 C k
f (z)=z n
es entera
(n=0 ,1 , 2 , .. .) y los
z n dz=0
C
para todo
rodee al origen y
n=1 , en cuyo
caso
z1 dz =2 j
C
Sea
analtica en
rodea a
f : C
. Sean
z0
un punto de
una funcin
Entonces:
f ( z0 ) =
f (z)
1
dz
2 j C zz 0
cuando la curva
z0
y radio
parametrizada por
es una
z (t)=z 0 +r e
jt
f (z )
1
1
f ( z0 ) =
dz= f (z 0r e jt ) dt
2 j |z z | z z0
2 0
0
f (z)
1
dz
2 j C zz 0
z0
no est en
obteniendo:
C , entonces podemos
z0
en la curva
z0
C , ya
z0
f ' ( z 0 )=
f (z)
1
dz
2 j C ( zz 0 )2
f ' ' ( z0 ) =
2f (z)
1
dz
2 j C ( z z0 ) 3
'''
f ( z 0 )=
6 f (z)
1
dz
2 j C ( zz 0 )4
f
z0
Sea
analtica en
contenidas en
una funcin
f : C
z0
z0
un punto de
de
en
z0
viene
dada por:
f ( n ) ( z 0 )=
f ( z)
n!
dz
2 j C ( zz 0 )n+1
cuando la curva
z0
f .
f ''
f'
tambin es analtica en
existe y es analtica en
v (x , y)
es analtica en un dominio
. En particular, esto
. Derivando en las
es decir,
antes, este hecho proporciona una conexin muy importante entre el estudio de
las funciones de variable compleja y la resolucin de la ecuacin de Laplace.
Naturalmente, en coordenadas polares
u
y v
2 u 1 2 u 1 u
+
+
=0
r 2 r 2 2 r r
e igual para
v .
Esto muestra que hay una relacin estrecha entre las partes real e imaginaria
de una funcin analtica f (x+ jy)=u(x , y)+ jv( x , y) y se dice que v es la
u . Dos advertencias: primera, la palabra
jf ( x + jy)=v( x , y) ju(x , y )
es armnica conjugada de
porque
es analtica.
que sea
u v
=
x y
con respecto a
obtenemos:
v ( x , y)=
donde
u
dy + (x )
x
(x)
depender de
x . Para hallar
u v
=
y x , a
(x)
que puede
(x)
u(x , y )= y 3 3 x 2 y
y :
integramos la ecuacin
v u
= =6 xy
y x
v ( x , y )= (6 xy ) dy=3 x y + ( x)
u v
=
y x , tenemos:
3 y 23 x 2=( 3 y 2 + ' ( x ) )
luego
' ( x )=3 x 2
integracin. En definitiva
u
( x )=x 3 +c
donde
v (x , y)=3 x y 2+ x 3 +c
c R
es una constante de
es la armnica conjugada de
f ( z0 ) =
f ( z)
1
dz
2 j C zz 0
Sea
r= z 0
y consideremos el punto
f ( z)
1
dz=0
2 j C zz 1
Restando estas expresiones obtenemos:
f ( z0 ) =
1
1
1
f ( z)dz
2 j C zz 0 zz 1
Ahora parametrizamos
mediante
z (t)=e
jt
obtenemos:
2
f ( z0 ) =
1
e jt
e jt
f (e jt ) dt
jt
jt
2 0 e z 0 e z 1
Ahora, escribiendo
z 0=r e j ,
(1r 2 )f ( e jt )
1
f (r e )=
dt
2 0 |e jt r e jt|2
j
r=0
u ( r , )=
(1r 2) u(1, t)
1
dt
2 0 12 rCos ( t ) +r 2
Transformaciones de regiones
Otra propiedad de las funciones analticas es que cuando son
transformaciones conformes, es decir, con derivada no nula, conservan la
ecuacin
de
Laplace.
Concretamente,
supongamos
que
w=f ( z)=u (x , y )+ jv( x , y) es una funcin analtica en un dominio 1 que se
transforma mediante
Si
(u , v )
(x , y )=(u (x , y ), v( x , y))
, entonces la composicin
. En
de manera que
es armnica en
se convierte, mediante la
C1
de ecuacin
C2
z1/4 1/4
de ecuacin
se mantiene a
z1/2 1/2
se
C1
w=
en la recta
1z
, podemos comprobar que
z
(w)=1
y la circunferencia
C2
=0
(w)=0
en
(u , v )=100 u=(100 w)
transformacin
u=
w=
=100
en
1z
, obtenemos:
z
x
y
1 y v= 2 2
2
x +y
x +y
2
La funcin bilineal
circunferencia unidad
z
w 1
jz
j+ z
(z)=0
en la
u( x , 0)
u( x , y )
u ( x , y )=
u(s , 0)
y
ds
(x s)2 + y 2
E= ( Ex , E y )
se reducen a:
(
E )=.
E=0 rot (
E )=
E=0
grad ()= =
E , que es armnico, o sea
armnica
conjugada
W ( z )= ( x , y ) + j ( x , y)
de
en
en
( )=0 . Sea
.
La
la funcin
funcin
analtica
E . Observemos que
, es decir
, que se
grad ( )=(E y , E x ) .
( x , y )=c
una familia uniparamtrica de curvas cuya familia ortogonal viene dada, segn
hemos visto, por las curvas de nivel ( x , y )=c de la funcin de Stokes. Puesto
que el campo
. Veamos un par de
E0
con
W (0)=0 , por:
W (z )=E0 e j ( ) z
tan ( )
y las
1 /tan( ) .
d
( r ' ( r ) ) =0 . Con lo cual
dr
obtenemos:
( r)=k log(r )
k=
q
2 0 , siendo q la
corriente son la familia de rectas que pasan por el origen y las lneas
equipotenciales son la familia de las circunferencias con centro en el origen.
Ejemplo: Si tenemos una lnea cargada, con densidad lineal de carga q,
perpendicular al plano en el punto x=a del eje real y otra, con densidad
lineal de carga
x=a
q
q
log ( za ) , W 2 ( z )=
log ( z +a )
2 0
2 0
q
log ( z + a )
2 0
En este caso, las lneas de corriente son arcos de circunferencias que tienen su
centro en el eje de ordenadas y pasan por los puntos (a , 0) y (a , 0) .
es un
, entonces:
f ( z )=
f (w)
1
dw , mientras que si
2 i wz
la componente no acotada:
f (w)
wz dw=0
pertenece a
f ( z )=
f (w)
1
dw
2 i . I ( z) wz
1
f ( a )= f (a+ r e it )dt
2 0
sobre la
circunferencia
Ejemplo: Calcular
z
dz
z1
it
2 it
4 i( cos 2t +iSen2 t)
z
2e
4ie
dz= it
2 ie it dt= it
dt=
dt
z1
0 2 e 1
0 2 e 1
0 2 Cost +i 2 Sent1
2
4 Sen 2 t8 Sent
8 Cost 4 cos 2t
dt+i
dt
54 Cost
54 Cost
0
0
Por lo que:
2
2 t8 Sent
8 Cost 4 cos 2t
dt=0 ,
dt=2
4 Sen
54
Cost
54 Cost
0
0
z
dz=2 i
z1
Proposicin 1:
Si f
es holomorfa en
z0
entonces
es analtica en
z0
Demostracin:
Sea
con
B R ( z0 )
menor que
un disco en el cual
es holomorfa, y sea
R , entonces z B R ( z 0 ) se tiene:
f (w)
wz
f (w)
f (w)
1
1
1
0
f ( z )=
dw=
dw=
dw
2 i wz
2 i wz 0(zz 0 )
2 i
zz 0
1
wz 0
( t )=z 0 +r e it
z B R ( z 0 )
Como
, por lo que
, se tiene que
pertenece a la traza de
| |
zz 0
<1
wz 0
zz 0
1
=
zz 0 n=0 wz 0
1
wz 0
f ( w) ( zz 0 )
f ( w) zz 0
1
1
f ( z )=
dw=
dw
2 i wz 0 n=0 wz 0
2 i n=0 ( wz 0 )n+1
f (w)
1
zz 0 )n
dw=
a n ( zz 0 ) n
n+1
2 i n=0
n=0
( wz 0 )
siendo
an =
f (w)
1
dw
2 i ( wz 0 )n +1
y por lo tanto
vlido en
B r ( z0 )
es analtica en
z0
z0
y el desarrollo es
Si
es holomorfa en
f
existe el lmite de
entonces f
cuando
es holomorfa en
Este punto
G/ { a } , y si
tiende a
lim ( za ) f ( z )=0
z a
entonces tambin
a , y si se define
f ( a )=lim f ( z )
z a
G .
holomorfa en un abierto
en cada punto
G , es decir,
f (m)
es
natural, m .
Proposicin 3:
f
Si
es holomorfa en
z0
entonces
es infinitamente derivable
z0
y:
f ( n ) ( z 0 )=
siendo
r
f (w)
n!
dw
2 i ( wz 0 )n+1
B r ( z0 )
menor que
un disco en el cual
R .
f es holomorfa, y siendo
( t )=z 0 +r e it
con
Demostracin:
Si
de
G , entonces
z0
es un punto
entorno de
z0
f ( z )= an ( zz 0 )n
n=0
con
f (n ) ( z0 )
an =
.
n!
Al estudiar el desarrollo en serie de potencias de la funcin, y por ser nico
dicho desarrollo de Taylor, la expresin de la derivada queda probada.
Otra forma de hacer demostracin es buscando la expresin de la derivada,
y probar la expresin de la derivada n-sima mediante el principio de induccin
como un mero ejercicio.
La demostracin, utilizando la definicin de derivada, es:
f (w)
1
dw , entonces:
Como f ( z )= 2 i . I ( z)
wz
f ( z + z )=
f (w)
1
dw
2 i . I (z+ z) w(z + z )
f ( z+ z )f ( z)
f (w)
f (w)
1
=
dw
z
2 i . z . I (z+ z) w(z + z ) wz
f (w)(wz z+ z)
1
z
1
f (w)
dw=
dw
2 i. z . I ( z+ z)
( wz z )(wz)
2 i. z . I ( z+ z) (wz z)( wz)2
f (w)
f (w
1
1
z
1
1
f (w )
+
dw=
dw+
2
2
2
2 i . I ( z + z )
2 i. I (z ) ( wz )
2 i. I (z ) (wz
( wz ) (wz z )(wz)
Si en la segunda integral
circunferencia de centro
I2
se sustituye la curva
r ,
y radio
por una
la
propiedad:
Si
|f ( z ) M z ( )|
MR ,
entonces
| |
f M .long( )
La longitud de la curva es
compacto
2 r . Como
f (w)
es continua en el conjunto
r
2
r
2
r
2
I2 =
Mr
f ( w) z
| z|
1
2M
dw
.
. 2 r = 2 .| z|
2
2 i. I (z ) C (wz z )(wz)
2 .|I ( z )| r . r 2
r
2
Por tanto:
'
f ( z )=lim
z 0
f ( z + z ) f (z )
f (w)
1
=
dw
z
2 i . I ( z ) ( wz )2
f ( m ) ( z )=
f (w)
m!
dw
2 i. I ( z ) ( wz )m +1
para que
( f C ( z)) .
G .
en ese abierto
f =u+iv
es holomorfa en un punto
de
Desigualdad de Cauchy
En el caso de que
{ z C :|za|r } , entonces
valor
|f (n )( a)| n ! . M (rn )
r
donde
a
M (r )
y radio
r ,
es el mximo
Demostracin:
Si
f (m ) ( a ) =
m ! M ( r)
f ( z)
dz
2 i. I (a) ( za )m+1
se obtiene que:
(r )
m! . M ( r )
|f (m ) ( a )| m! . Mm+1
.2 r=
m
|2 i|r
|f ' (a)|
la
desigualdad
M (r )
r
Desigualdad de Liouville:
Si
est acotada
f (z)
C .
M ( r ) =M
y se tiene
|f ' (a)|
M
r
para todo
a , por
lo que su mdulo se puede hacer tan pequeo como se quiera al hacer crecer
. Al ser
f ' (z)
Teorema de Morera:
es
z , y en consecuencia,
z , es decir,
es constante.
las integrales de
GC , y para todo
a lo largo de esos
G .
Demostracin:
En efecto, la hiptesis del teorema implica que
primitiva
en
G ,
es derivable en
de orden
de
G .
+
G
valores reales en
el abierto simtrico de
+
G
que toma
f ( z ) z G f ( z ) z G
g ( z )=
es holomorfa en el abierto
L
+ G .
G