Documentos de Académico
Documentos de Profesional
Documentos de Cultura
NotasVC PDF
NotasVC PDF
1 Funciones Analíticas 1
1.1 Introducción a los Números Complejos . . . . . . . . . . . . . . . 1
1.1.1 Historia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2 Denición de los Números Complejos . . . . . . . . . . . . 2
1.1.3 Raíces de Ecuaciones Cuadráticas . . . . . . . . . . . . . 4
1.1.4 Unicidad de los Números Complejos . . . . . . . . . . . . 5
1.1.5 Ejemplos Desarrollados . . . . . . . . . . . . . . . . . . . 5
1.2 Propiedades de los Números Complejos . . . . . . . . . . . . . . 6
1.2.1 Interpretación Geométrica de la Multiplicaci'on . . . . . . 6
1.2.2 Propiedades Varias . . . . . . . . . . . . . . . . . . . . . . 10
1.2.3 Ejemplos Desarrollados . . . . . . . . . . . . . . . . . . . 13
1.3 La Proyección Estereográca . . . . . . . . . . . . . . . . . . . . 15
1.4 Algunas Funciones Elementales . . . . . . . . . . . . . . . . . . . 21
1.4.1 La Función Exponencial . . . . . . . . . . . . . . . . . . . 21
1.4.2 La Función Logaritmo . . . . . . . . . . . . . . . . . . . . 23
1.4.3 Las Funciones Trigonométricas . . . . . . . . . . . . . . . 27
1.4.4 Potencias Complejas . . . . . . . . . . . . . . . . . . . . . 28
1.4.5 La Función Raíz n-ésima . . . . . . . . . . . . . . . . . . . 29
1.4.6 Ejemplos Desarrollados . . . . . . . . . . . . . . . . . . . 30
1.5 Funciones Analíticas . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.5.1 Topología y Continuidad en C . . . . . . . . . . . . . . . 33
1.5.2 Diferenciabilidad . . . . . . . . . . . . . . . . . . . . . . . 35
1.5.3 Ecuaciones de Cauchy-Riemann . . . . . . . . . . . . . . . 36
1.5.4 Conformalidad . . . . . . . . . . . . . . . . . . . . . . . . 39
1.5.5 Ecuaciones de Cauchy-Riemann en Coordenadas Polares . 41
1.5.6 Teorema de la Función Inversa . . . . . . . . . . . . . . . 43
1.5.7 Conjuntos Conexos . . . . . . . . . . . . . . . . . . . . . . 43
1.5.8 Ejemplos Desarrollados . . . . . . . . . . . . . . . . . . . 44
1.6 Diferenciación de las Funciones Elementales. . . . . . . . . . . . . 45
1.6.1 La Exponencial y el Logaritmo . . . . . . . . . . . . . . . 45
1.6.2 Las Funciones Trigonométricas . . . . . . . . . . . . . . . 47
1.6.3 La Función Potencia . . . . . . . . . . . . . . . . . . . . . 48
1.6.4 La Función Raíz n-ésima . . . . . . . . . . . . . . . . . . . 48
1.6.5 Ejemplos Desarrollados . . . . . . . . . . . . . . . . . . . 49
i
ii ÍNDICE GENERAL
2 Integración 53
2.1 Integrales Sobre Curvas . . . . . . . . . . . . . . . . . . . . . . . 53
2.1.1 Propiedades Básicas . . . . . . . . . . . . . . . . . . . . . 53
2.1.2 Ejemplos Desarrollados . . . . . . . . . . . . . . . . . . . 58
2.2 Teorema de Cauchy. Versión Intuitiva . . . . . . . . . . . . . . . 60
2.2.1 Demostración Usando el Teorema de Green . . . . . . . . 60
2.2.2 Regiones Simplemente Conexas . . . . . . . . . . . . . . . 63
2.2.3 Independencia de Trayectorias y Antiderivadas . . . . . . 63
2.2.4 El Logaritmo . . . . . . . . . . . . . . . . . . . . . . . . . 65
2.2.5 Ejemplos Desarrollados . . . . . . . . . . . . . . . . . . . 66
2.3 Teorema de Cauchy. Versión Rigurosa . . . . . . . . . . . . . . . 69
2.3.1 Versiones Locales . . . . . . . . . . . . . . . . . . . . . . . 69
2.3.2 Homotopía y Regiones Simplemente Conexas . . . . . . . 74
2.3.3 Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . 76
2.3.4 Ejemplos Desarrollados . . . . . . . . . . . . . . . . . . . 81
2.4 Fórmula Integral de Cauchy . . . . . . . . . . . . . . . . . . . . . 85
2.4.1 Indice de una Curva Cerrada . . . . . . . . . . . . . . . . 85
2.4.2 Fórmula Integral de Cauchy . . . . . . . . . . . . . . . . . 87
2.4.3 Las Funciones Analíticas son C1 . . . . . . . . . . . . . . 88
2.4.4 Desigualdades de Cauchy y el Teorema de Liouville . . . . 91
2.4.5 Teorema Fundamental del Algebra . . . . . . . . . . . . . 92
2.4.6 Ejemplos Desarrollados . . . . . . . . . . . . . . . . . . . 93
2.5 Teorema del Máximo Modulo. Funciones Armónicas . . . . . . . 95
2.5.1 Funciones Armónicas . . . . . . . . . . . . . . . . . . . . . 97
2.5.2 Propiedad del Valor Intermedio y Principio del Máximo
para Funciones Armónicas . . . . . . . . . . . . . . . . . . 99
2.5.3 Ejemplos Desarrollados . . . . . . . . . . . . . . . . . . . 101
3 Series 103
3.1 Convergencia de Series . . . . . . . . . . . . . . . . . . . . . . . . 103
3.1.1 Deniciones Básicas . . . . . . . . . . . . . . . . . . . . . 103
3.1.2 Convergencia Uniforme . . . . . . . . . . . . . . . . . . . 108
3.1.3 Ejemplos Desarrollados . . . . . . . . . . . . . . . . . . . 113
3.2 Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . 115
3.2.1 Series de Potencias . . . . . . . . . . . . . . . . . . . . . . 115
3.2.2 Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . 119
3.2.3 Ejemplos Desarrollados . . . . . . . . . . . . . . . . . . . 122
3.3 Series de Laurent. Clasicación de Singularidades . . . . . . . . . 124
3.3.1 Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . 124
3.3.2 Clasicación de Singularidades . . . . . . . . . . . . . . . 128
3.3.3 Ejemplos Desarrollados . . . . . . . . . . . . . . . . . . . 133
3.4 Teorema del Residuo. Integrales Denidas . . . . . . . . . . . . . 136
3.4.1 Teorema del Residuo . . . . . . . . . . . . . . . . . . . . . 136
3.4.2 Integrales Denidas . . . . . . . . . . . . . . . . . . . . . 137
Capítulo 1
Funciones Analíticas
1.1 Introducción a los Números Complejos
1.1.1 Historia
Los números reales aparecen al tratar de resolver ecuaciones como
x2 2 = 0;
p
o equivalentemente, al tratar de encontrar 2. Análogamente, los números
complejos surgen de ecuaciones como
x2 + 1 = 0:
Para la ecuación x2 +2x +2 = 0, la f 'ormula cuadrática da como soluciones
p
x= 1 1:
En general, para la ecuación ax + bx + c = 0, las soluciones están dadas por
2
p
b b 4ac
x=
2
:
2a
Como en el ejemplo anterior, en muchos casos b 4ac puede ser un número
2
negativo.
Cardano (siglo XVI) observó que si estos números de la forma +
p se
trataban como números ordinarios con la operación adicional
p p
1 1= 1
todas las ecuaciones cuadráticas se podían resolver.
1
2 CAPÍTULO 1. FUNCIONES ANALÍTICAS
o que
= pa2 1 :
Z 2
d
0 a + sen 2
x + iy ! (x; y):
Por ende, se pueden identicar a los números complejos con los puntos del plano.
Notación. Si z 2 C , z = x + iy , se escribirá:
Re z = x; e Im z = y:
i como
p
Se denirá un producto en
1.
C que permitir'a entender a la unidad imaginaria
z+w az
w
z
z
z1 z2 = (a1 a2 b1 b2 ) + i(a1 b2 + a2 b1 ) = z2 z1 :
Como se ve en esta igualdad, dichas propiedades son consecuencia de las mismas
propiedades de los números reales.
Observación. Los números complejos son una extensión de los n'umeros reales:
si x 2 R, x + 0i 2 C y viceversa; por lo que se puede escribir R C .
Ahora, dado z 2 C , queremos ver que tiene inverso multiplicativo. Por
supuesto, se requiere z 6= 0. Si z = a + ib, se busca z = x + iy tal que
0
zz = 1. Es decir
0
ax by = 1
bx + ay = 0:
Este sistema tiene como única solución
a b
x= ; y = 2 2:
a2 + b2 a +b
A z0 se le designa como z 1
ó
1.
z
Observación. Es útil dividir de la siguiente manera:
1 = 1(a ib) = a ib :
a + ib (a + ib)(a ib) a + b 2 2
4 CAPÍTULO 1. FUNCIONES ANALÍTICAS
2xy = b: (1.2)
Escribiendo
( x + y ) = (x
2 2 2 2
y2 )2 + 4x2 y2 = a2 + b2 ;
se obtiene
p
x2 + y2 = a2 + b2 ;
por lo cual, combinando esta ecuación con (1.1), obtenemos
p p
a + a2 + b2 a + a2 + b2
x 2
= 2 ; y 2
= 2 :
0s
p s
p 1
a + a2 + b2 a + a2 + b2 A
w = @ +i :
2 2
Si b < 0, las soluciones son
0 s
p s
p 1
a + a2 + b2 a + a2 + b2 A
w = @ +i :
2 2
1.1. INTRODUCCIÓN A LOS NÚMEROS COMPLEJOS 5
A = fa + jb j a; b 2 R g F
es isomorfo a C.
Sea : C ! F (a + ib) = a + jb. Claramente es un
dada por
homomorsmo de C en F,(C ) = A. Basta ver, entonces, que es
y
inyectiva.
Sean a1 + ib1 , a +ib 2 C tales que (a +ib ) = (a +ib ). Entonces
2 2 1 1 2 2
a1 + jb1 = a2 + jb2 , de donde (a a )+ j (b b ) = 0. Si b 6= b entonces
1 2 1 2 1 2
a a
j = 1 2 y x2 + 1 = 0 tiene solución real, lo cual es absurdo, de donde
b1 b2
b1 = b2 y a1 = a2 y F contiene un subcampo ( A) isomorfo a C .
En un curso más avanzado, se demuestra el teorema de Fröbenius, que dice
que si F es un campo tal que R F y dimR F < 1, entonces F=R o
F = C.
1.1.5 Ejemplos Desarrollados
1= i,
1 = 1 i.
i+1 2
1. Demuestre que y que
i
Solución.
1 = 1( i) = i = i;
i i( i) ( 1)
1 = 1 i = 1 i:
1 + i (1 + i)(1 i) 2
z+2
z = x + iy.
z 1
2. Encuentre la parte real e imaginaria de , donde
Solución.
z+2
z 1
= xx + 21 ++ iy = (x + 2 + iy)(x 1 iy)
iy (x 1 + iy)(x 1 iy)
= (x + 2)(x 1) +(xy +1)i[(+x y 1)y y(x + 2)]
2
2 2
:
Por lo cual,
z+2 (x + 2)(x 1) + y2 ;
Re z 1
= (x 1)2 + y2
Im zz + 21 = (x 1)32y+ y2 :
6 CAPÍTULO 1. FUNCIONES ANALÍTICAS
3. Resolverx4 + i = 0 .
Solución. Escribiendo x2 = y, la ecuación se transforma en y2 + i = 0,
a la cual se le puede aplicar la fórmula desarrollada para raíces cuadradas,
obteniéndose
1 i
y= p +p :
2 2
Aplicando ahora esta fórmula a x2 = y , se obtiene (tomando a = p12 , y
b= p12 )
1 + p2 i 1 + p2 ; y
p p !
x=
2= 3 42= 3 4
p p p p!
x=
1 + 2 +i 1+ 2
2 = 3 42= 3 4
p
vectores en el plano. Dado un z 2 C, z = a + ib, su longitud está dada por
jz j = a + b .
2 2
También se puede medir el ángulo en radianes que hace dicho vector con la
parte positiva del eje real. Si denotamos este ángulo como , se obtiene la
expresión polar de z,
a + ib = r cos + ir sen ;
donde r = jz j.
1.2. PROPIEDADES DE LOS NÚMEROS COMPLEJOS 7
Demostración. Escribiendo
= r r [cos( + ) + i sen( + )]
1 2 1 2 1 2
z1 z2
1 + 2
z2 z1
2
1
arg( i) = 3
2
arg( i)( i) = 3 arg( 1) =
jz j = jz z j :
1 1 2
1 jz j 2
z1 z2
z2
z1
1
Figura 1.5: El producto de dos números complejos.
de
z (w + w ) = (w + w )z = w z + w z = z (w ) + z (w )
1 2 1 2 1 2 1 2
; 2 R; w ; w 2 C : 1 2
z
i (z )
Demostración. Dado w = r(cos + i sen ), se busca z = (cos ' + i sen ')
tal que z n = w.
z n = n (cos n' + i sen n') = r(cos + i sen );
de donde,
n = r; n' = + 2k; k 2 Z
) p
= nr y '=
+ 2k
:
n
Todas las posibles soluciones se obtienen tomandok = 1; 2; : : : ; n 1,
+ 2k1 + 2k2
puesto que y establecen la misma solución
n n
() + n2k1 = + 2k2 n+ 2mn = + n2k2 + 2m
() k1 = k2 + mn () k1 k2 = mn () k1 k2 (mod n):
Como caso particular, obsérvese que las n raíces de la unidad consisten
del 1 y n 1 puntos igualmente espaciados en el círculo unitario. (Véanse
las guras 1.7 y 1.9.)
Teorema 1.5. Si z; w 2 C
i) z + w = z + w .
ii) zw = z w .
1.2. PROPIEDADES DE LOS NÚMEROS COMPLEJOS 11
v) z = z si y sólo si z 2 R.
vi) Re z = z +2 z , Im z = z 2+i z .
vii) z = z .
Demostración.
z w = aa0 ( b)( b0) + i [a( b0) + ( b)a0] = aa0 bb0 i(ab0 + ba0 ) = zw:
wz z
z= = w;
w w
es decir,
z z
w
= w
:
12 CAPÍTULO 1. FUNCIONES ANALÍTICAS
i) jzz 0j = jz j jz 0 j.
z jz j
ii) 0 = 0 .
z jz j
iii) jRe z j jz j, jIm zj jz j.
iv) jz j = jz j.
v) jz + z 0 j jz j + jz 0 j.
vi) jz j jz 0 j jz z 0 j .
q q
vii) jz1 w1 + + zn wn j jz j + + jzn j jw j + + jwn j ,
1
2 2
1
2 2
(Desi-
gualdad de Cauchy.)
Demostración.
0
jz 0 j zz0 = zz 0z = jz j.
ii)
iv) Trivial.
jz + z 0j = (z + z 0 )(z + z 0 ) = (z + z 0)(z + z 0 ) = zz + zz 0 + z 0 z + z 0 z 0
2
vii)Se demuestra de una forma bastante más complicada que las anteriores.
Sean
n n n
X X X s
v= jzk j ; t =
2
jwk j ; s =
2
zk wk ; y c= ;
k=1 k=1 k=1 t
se tiene que
n
X n
X
0 jzk cwk j = 2
(zk cwk ) (zk cwk )
k=1 k=1
Xn n
X n
X n
X
= zk zk c wk zk c zk wk + cc wk wk
k=1 k=1 k=1 k=1
=v cs cs + jcj2 t = v 2 Re(cs) + jcj 2
t
ss
+ jcj t = v 2 jstj + jcj
2
= v 2 Re t
2 2
t
2 ! !
Xn n
X n
X X
zk wk
= jzk j 2
jwk j 2
jzj wk zk wj j :
2
+ 2k + 2k
zk = cos + i sen ; k = 0; 1; : : : ; 7; = 0;
8 8
que se pueden escribir como:
1; 1p+2i ; i;
1 + i;
p
2 1; 1 i;
p
2 i;
1p i :
2
(3 + 7i) = (3 7i)
2 2
2. Mostrar que
8 + 6i 8 6i .
14 CAPÍTULO 1. FUNCIONES ANALÍTICAS
Solución.
(3 + 7i) = (3 + 7i) = (3 + 7i)(3 + 7i) = (3 7i) :
2 2 2
8 + 6i 8 6i 8 6i 8 6i
az + b
3. Si jz j = 1, demuestre que
bz + a = 1.
fz 2 C j jz aj = rg :
La elipse centrada en el origen con focos en d y d, y semieje mayor a
se puede expresar como
jz dj + jz + dj = 2a:
Esto se sigue directamente de la denición de elipse.
1.3. LA PROYECCIÓN ESTEREOGRÁFICA 15
cos3 = cos 3
3 cos sen 2
:
Denición 1.5. Los puntos del plano complejo junto con 1 forman el plano
complejo extendido, denotado por Cb .
Incluir el símbolo 1 es particularmente útil en el contexto de las trans-
z7 ! az + b, ad bc 6= 0,
cz + d
formaciones de Möbius con que son biyecciones
S2 = x 2 R j jxj = 1 ;
3
(x ; x ; x )
1 2 3 (0; 0; 1)
p
x21 + x22
x3 1
jz j
Para asociar cada punto en el plano con uno en S2 usamos la siguiente idea
2
geométrica: Si colocamos a S en su posición usual en R3 y consideramos
al plano z = 0 como C , la línea que va de un punto x = (x1 ; x2 ; x3 ) 2 S2 al
polo norte e3 = (0; 0; 1) 2 S2 cruza C en un único punto. Parametrizando
se tiene:
[e + t(x e )] e = 0;
3 3 3
1 + t(x e ) e = 0; 3 3
1 = t(1 x ); 3
t=
1 :
1 x 3
e3 +
1 (x e )
1
x 3
3
= e + 1 x x ; 1 x x ; 1x x1
3
1 2 3
3 3 3
= 1 x x ; 1 x x ;0 1
3
2
3
1.3. LA PROYECCIÓN ESTEREOGRÁFICA 17
Otra manera de ver esto es por medio de la gura 1.11. Es claro que la
proyección de x debe tener la direcci'on de (x ; x ),
1 2 y por semejanza se
obtiene que
p
jz j = x + x : 2
1
2
2
1 1 x 3
(x ; x ; x ) = x1 + xix
1 2 3
1 2
:
3
Demostración.
(1 x3 ) jz j2 = 1 + x3 ;
jz j 2
1 = x3 1 + jzj2 ;
es decir,
x3 =
jz j
2
1:
1 + jzj 2
(1.3)
z+z =
2x 1
También
1 x3
, por lo que
!
= (z + z)(1 x ) z+z
= 2 1 jzj 1
2
x1 3
2 1 + jz j 2
! (1.4)
= z +2 z 2 = z+z :
jz j + 1 jz j + 1 2 2
z z=
2ix 2
Análogamente
1 x , por lo que 3
z z
x2 = :
i(jz j2 + 1)
(1.5)
18 CAPÍTULO 1. FUNCIONES ANALÍTICAS
jz 0j = 11 + yy = jz j ;
3
3
2 Re z0 = y = 2 Re z ;
jz 0j + 1
2
jz j + 1
1 2
2 Im z0 = y = 2 Im z :
i(jz 0 j + 1) i(jz j + 1)
2 1 2
Por lo cual,
Re z0 = Re z; Im z0 = Im z; i. e. z 0 = z;
es sobre y es su inversa.
Haciendo corresponder 1 con (0; 0; 1) se obtiene una biyección entre
S2 y Cb , lo cual nos da el modelo buscado. A esta biyección se le llama
proyección estereográca. De la fórmula (1.3) se deduce que el `hemisferio sur',
x3 < 0, corresponde al disco unitario jz j < 1, y que el `hemisferio norte',
x3 > 1, corresponde al exterior del disco unitario.
En esta representación esférica del plano complejo no hay una interpreta-
ci'on fácil de la suma y el producto, su ventaja estriba en que 1 no es un
punto distinguido. Convendremos que toda recta es un subconjunto de Cb que
incluye al símbolo 1, es decir, que toda recta pasa por 1. Una propiedad
importante de la proyección estereográca es la siguiente:
z+z z z jz j2 1
a + b + c = d:
jz j2 + 1 i(jz j2 + 1) jz j2 + 1
Si z = x + iy, esta ecuación se transforma en
ax + by = c;
que bajo la proyección estereográca va a dar a
x1
a
1 x3 + b1 x x = c
2
jz aj = r ;
2 2
ó
a)(z a) = r ; es decir,
(z 2
jz j az az + jaj2 = r2 ;
2
1 + x3 2 Re(az) = r2 jaj2 ;
1 x3
puesto que se sigue de (1.3) que jz j =
2 1 + x3 .
1 x3
Si a = a1 + ia2 , y z = x + iy , entonces Re(az ) = a1 x a2 y , y
Para terminar, es útil tener una fórmula para la distancia entre las proyec-
ciones de z y z0 en la esfera en términos de z y z 0.
Denotando a las proyecciones en la esfera por
2
(x1 ; x2 ; x3) y (x0 ; x0 ; x0 )
1 2 3
se tiene que, por estar en S
= q 2 jz qz j
0
:
1 + jzj 1 + jz0j
2 2
por lo que
v !
u
q
(x x01 )2 + (x2 x02 )2 + (x3 x03 ) =
u
t 2 2 jzj
2
1 =q 2 :
1
1 + jzj 2
1 + jzj 2
x2 x x 3 4
ex = 1 + x +
2! + 3! + 4! + :
Si en esta serie sustituimos formalmente x por iy, y 2 R, y olvidamos
por un momento las cuestiones sobre convergencia, deberíamos tener que
eiy = 1 + iy +
(iy) + (iy) + (iy) + ;
2 3 4
2! 3! 4!
reordenando esta serie, y dado que
8
>
>
>
1 si l0 (mod 4),
<
i l1 (mod 4),
i4k+l =
si
>
>
>
1 si l2 (mod 4),
l3 (mod 4),
:
i si
obtenemos
y2 y4 y3 y5
eiy = 1 2! + 4! + i y
3! + 5! ;
es decir,
Teorema 1.8.
i) ez+w = ez ew .
ii) 8z 2 C , ez 6= 0.
22 CAPÍTULO 1. FUNCIONES ANALÍTICAS
iii) ex+iy = ex .
i) Si z = x + iy y w = s + it, tenemos
ez+w = e(x+s)+i(y+t) = ex+s cos(y + t) + i sen(y + t)
= ex+s cos y cos t sen y sen t + i(sen y cos t + sen t cos y)
= exey (cos y + i sen y)(cos t + i sen t) = ez ew ;
como consecuencia del mismo hecho para variable real.
ii) 8z 2 C , ez e z = e = 1, 0
por lo que ez 6= 0.
iii) ex+iy = jexj jcos y + i sen yj = ex.
iv) ez+2 ni = ez e ni = ez 1 = ez , por lo que 2ni,
2
n 2 Z, es un periodo
de ez .
Supongamos que w es un periodo; entonces, 8z 2 C , ez + w = ez . En
particular, = e = e = 1. Escribiendo w = x + iy,
ew 0+ w 0
tenemos que
ew = ex(cos y + i sen y) = 1 implica que sen y = 0, es decir, y = k, y,
dado que e > 0, y = 2k y x = 0.
x
eiy
y
y ez
y
ez
x ex
y0 + 2
ez
y0
fx + iy 2 C j y < y y + 2g ;
0 0
o fx + iy 2 C j y y < y + 2g ; y 2 R:
0 0 0
1.4. ALGUNAS FUNCIONES ELEMENTALES 25
y0 + 2 y0 + 2
y0 y0
p
log(1 + i) = log j1 + ij + i arg(1 + i) = log 2 + i 4 :
Si y0 = , el intervalo es (; 3], [; 3), y
ó
p
log(1 + i) = log 2 + i 94 :
Teorema 1.10. El logaritmo es la inversa de la exponencial en el siguiente
sentido: Si log z representa una rama del logaritmo, entonces elog z = z ,
8z 2 C n f0g. También, si se elige la rama y0 y < y + 2, entonces
log(ez ) = z, 8z 2 Ay0 .
Demostración. Como log z = log jzj + i arg z,
e z = e jzj ei z = jz j ei z = z:
log log arg arg
arg ez = arg eiy = y, por la forma en la que se eligió la rama del loga-
ritmo.
Posteriormente, se restringirá el dominio del logaritmo a C n B, donde B
es una semirecta que se inicia en 0, i. e.,
B = tw j t 2 R+ ; w 2 C n f0g :
El objeto de esta restricción será lograr que el logaritmo sea una funci'on con-
tinua.
p p
log( 1 i) = log 2 + i 54 ; y log(1 i) = log 2 + i 74 ;
obteniéndose
y0 + 2
log z
y0 y0
1
log z y0 + 2
y0 y0
cos y = e +2e
iy iy iy iy
y sen y = e 2ie :
Esto sugiere la siguiente denición:
Denición 1.8. 8z 2 C ,
cos z = e +2e ;
iz iz
iz iz
sen x = e 2ie :
Teorema 1.12.
i) sen z + cos z = 1.
2 2
i) sen z + cos
2 2
w
iz iz
e e iz 2 e + e iz 2
= 2i + 2
= e 2iz
2+e 2iz
e + 2 + e 2iz
2iz
+ = 1:
4 4
28 CAPÍTULO 1. FUNCIONES ANALÍTICAS
4i
i z w + ei w z ei z w e i z w
+e
( + ) ( ) ( ) ( + )
4i
ei z w e i z w ( + ) ( + )
= 2i = sen(z + w):
tan z = sen z
cos z :
1.4.4 Potencias Complejas
Se quiere denir a , donde a; b 2 C ,
b a 6= 0. Se demostró que a = elog a ,
y si b 2 N , se tiene que
b a a ;
ab = elog a = |e log
elog a e log
{z }
b veces
En los casos en que ab toma valores distintos, estos dieren por factores
de la forma e2nbi , n 2 Z.
Demostración. Si se elige la rama del logaritmo donde el argumento toma
valores en (0; 2] cualquier otra rama se puede expresar como
z7 ! log z + 2ni; n 2 Z:
En particular, ab = eb(log a+2ni) = eb log a e2nbi , lo cual demuestra la última
parte del teorema.
También
p
e2n(p=q)i = e2m(p=q)i () (n m) 2 Z () n m (mod q);
q
puesto que (p; q) = 1, por lo que ap=q tomanbi
exactamente q valores.
Para demostrar iii), sea b 2 R n Q . Si e = e mbi entonces se tiene
2 2
que e
n
2 ( m bi
)
= 1 y b(n m) 2 Z y, por tanto, n = m.
Finalmente, si b = x + iy , y 6= 0, e nbi = e ny e nix , de don-
2 2 2
de e nbi
2 = e . Si e = e mbi , entonces e ny = e my y
ny
2 nbi 2 2 2 2
concluimos que n = m.
Por ejemplo, si a = 1 + i y b 2 R n Q , entonces el número innito de
posibles valores de ab está dado por
p2+ i= p2+ ib=
eb(log(i+i)+2ni) = eb(log ni)
4 +2 = eb log 4 e2bni ; n 2 Z:
(a) z7 !z 2
.
z2 tiene norma jz j
2
y argumento 2 arg z, por lo que esta transforma-
ción lo que hace es elevar al cuadrado la norma y doblar el argumento, en
particular, transforma el primer cuadrante en el semiplano superior y este
en todo el plano.
z2 z2
z
2
Figura 1.19: z7 !z 2
.
Eligiendo la rama del logaritmo con argumento en [0; 2), la función está
p p
z 7 ! z = r ei= , z=
rei=2 .
2 2 [0; ),
2
dada por donde Como
pz siempre estará en el semiplano superior: El efecto es dividir el 'angulo
en dos.
Por otra parte, si se elige la rama < ,
pz toma valores en el
semiplano derecho.
z
2. Encuentre la parte real e imaginaria de ee .
Solución. z = x + iy,
Si
z2
pz
=2
z
pz
Solución.
y
ei(iy) e i(iy) e y ey e e y
sen(iy) = 2i = 2i =i 2 = i senh y:
5. Resuelva cos z = 12 .
eiz + e iz 1
Solución.
2 = 2 () e iz 2
eiz + 1 = 0. Esta ecuación cuadrática
tiene soluciones
p1 4 p
eiz = 1 = 1 i :
3
2 2 2
32 CAPÍTULO 1. FUNCIONES ANALÍTICAS
Por lo que tomando las distintas ramas de logaritmo se obtienen las siguientes
soluciones.
p !
iz = log
1 i 3
;
2
es decir,
p !
z = i log
1 i 3
:
2
Como
p !
log 1 i 3
=
i + 2n ; n 2 Z;
2 3
todas las soluciones son de la forma
z=
3 + 2n ; n 2 Z:
Solución.
u2
+ senhv
2
cosh y 2
y
= sen x + cos x = 1;
2
2 2
0 0
u2 v2
sen 2 x0 cos 2 x0
= cosh 2
y senh y = 1; 2
1.5. FUNCIONES ANALÍTICAS 33
sen z
4
4 1 1
sen z
2
2 1 1
Recuérdese de los cursos de cálculo que los D(z; ") son abiertos.
Estudiaremos las funciones con dominio en un subconjunto AC y con
codominio C, llamadas funciones complejas de una variable compleja. Obsér-
vese que tambi'en se pueden pensar como funciones de R2 en R2 . Usual-
mente denotaremos a estas funciones como
1. Si lim f (z) = L ,
z!a 1 y lim g(z) = L , entonces
z!a 2
lim f (z)g(z) = L L :
z !a 1 2
2. Si lim f (z) = L ,
z !a 1 y lim g(z) = L ,
z!a 2 L2 6= 0, y g (z ) 6= 0, 8z ,
entonces
lim fg((zz)) = LL
z!a
1
:
2
2. fwn zn g ! wz
zn
3. Si w 6= 0;
wn
! wz .
Obsérvese que fzn g ! z () fRe zn g ! Re z , e fIm zn g ! Im z . Esto
se sigue de que
q
2
jz znj = Re(z zn ) + Im(z zn ) 2 :
Esta observación muestra que una sucesi'on en C es convergente si y sólo si
es de Cauchy (esta última propiedad se dene como en el caso real).
Finalmente, como en el caso real, f:A C !C es continua en z0 2A
si y sólo si
1.5.2 Diferenciabilidad
Denición 1.15. Sea f : A C ! C , A abierto en C. Se dice que f
es analítica en a 2 A, u holomorfa en a si
f (z ) f (a)
lim
z !a z a
existe. Este límite se denota por f (a).
0
Se dirá que f es analítica en A, si f es anal'itica en z, 8z 2 A.
Esta diferenciabilidad en el sentido complejo es más estricta que la real, por
ejemplo, se probará posteriormente que si f es analítica, entonces f tiene
derivadas de todos los órdenes.
Como en el caso real, se tienen las siguientes propiedades.
(a) af + bg es analítica en A y
(af + bg)0(z) = af 0(z) + bg0(z); 8z 2 A y 8a; b 2 C :
(b) fg es analítica en A y
f (x + h; y + k) f (x ; y ) + Df x0 ;y0 (h; k)
(
lim
h;k ! ;
) (0 0)
0
j(h; k)j
0 0 0
= 0: ( )
Resulta que ser analítica es una propiedad más restrictiva que la de ser
diferenciable en el sentido real, como lo muestra el siguiente teorema.
Usaremos el siguiente hecho fácil de probar. Si g es una función compleja
tal que lim g(z)
z!z0
existe, entonces existenlim Re g(z) y zlim
z ! z0 !z0 Im g(z ), y
f (z ) f (z0 )
f 0 (z0 ) = zlim
!z ;
z z0
0
en particular, aproximándose a z0 por la recta y = y0 , se tiene que
f (x; y0 ) f (x0 ; y0 )
(x x0 ) + i(y0 y0 )
= u(x; y ) 0 u(x0 ; y0 ) + i(v(x; y0 ) v(x0 ; y0 ))
x x0
;
@u @v
f 0 (z ) = (x ; y ) + i @x (x0; y0):
@x 0 0
Esta última armación se sigue de la observaci'on anterior al teorema.
Análogamente, aproxim'andose por la recta x = x0 ,
f (z ) f (z0)
z z0
se escribe como
f 0 (z0 ) =
1 @u (x ; y ) + @v (x ; y ) = @v (x ; y ) i
@u
(x ; y ):
i @y 0 0
@y 0 0
@y 0 0
@y 0 0
Igualando estas dos expresiones para f 0 (z 0 ) , se obtienen las ecuaciones de
Cauchy-Riemann.
Observación. La demostración del teorema 1.15 proporciona fórmulas explícitas
para la derivada.
@u @v @v
f 0(z ) =
@x
(z) + i @x (z) = @y (z) i @u
@y
(z):
38 CAPÍTULO 1. FUNCIONES ANALÍTICAS
Lema 1.1. Una matriz a b con entradas reales, representa bajo multipli-
cd
cación matricial, la multiplicación por un número complejo si y s'olo si a = d
y b = c. El número en cuestión es a + ic o d ib.
Demostración. Como la multiplicación por un complejo jo es una operaci'on
conmutativa, se puede escribir el complejo en cuestión como a + ic, y la matriz
a c R2 R2
c a produce como transformación lineal de en la multiplicaci'on
deseada:
a c x = ax cy; cx + ay :
c a y
En notación compleja esto es
f (z ) f (z 0 )
lim
z!z0 z z0
;
lim f (z)
z ! z0
f (z0 ) f 0 (z0 )(z z0 )
(z z0) = 0;
1.5. FUNCIONES ANALÍTICAS 39
lim jf (z)
z!z0
f (z0) f 0 (z0 )(z z0 )j
jz z0 j = 0;
o, usando coordenadas reales,
lim jf (z)
z!z0
f (z0) Dfz0 (z z0 )j
jz z0 j = 0;
donde Dfz0 es la matriz generada por el número complejo f 0(z0 ) como en
la demostración del lema.
Este último límite muestra que f es diferenciable en el sentido real en z0
y que satisface las condiciones de Cauchy-Riemann en dicho punto. El lema
muestra que todos los pasos son reversibles.
1.5.4 Conformalidad
La regla de la cadena junto con las condiciones de Cauchy-Riemann proporcio-
nan una interesante interpretación geométrica de la derivada.
(t)
c 2
f (c ) 2
f
z0 f (c1 )
c1 f (z0 )
Figura 1.24: Una función conforme preserva el ángulo entre dos curvas.
f
z0 f (z0 )
lim f (z) f (z0 )
z!z0 z z0
= jf 0(z0)j :
Este límite signica que la razón de contracci'on o dilataci'on lineal de cualquier
segmento (que comience en z0 ) bajo f es, en el límite, constante, y no
depende de la dirección. Por supuesto este cambio en general varia de punto a
punto.
En particular, si c,
y f son como antes, se sigue de la proposi-
ción 1.17 que
sucesión e 2 i=n
! 1, pero T 1
(e i=n
2
) 6! T 1
(1) = (2; 1).
Teorema 1.18. Sea A una región en C n R y f:A ! C
+
una funci'on
analítica, f (z ) = u(z ) + iv (z ). Entonces 8(; r) 2 T (A) 1
@u @v
@
( ; r) = r (; r);
@r
y
@u @v
r (; r) = (; r);
@r @
donde u = u Æ T y v = v Æ T . A estas ecuaciones se les llama ecuaciones
de Cauchy-Riemann en forma polar.
42 CAPÍTULO 1. FUNCIONES ANALÍTICAS
T 1
2
Figura 1.26: T 1
no es continua en 1 si el dominio de T es (0; 2] R.
0 1
@u @u
B @x (z ) @y (z )C
D(f Æ T )(; r) = B C r sen cos
@ @v @v A r cos sen
@x
(z) @y (z)
0 1
@u @u @u @u
B @x (z )( r sen ) + @y (z )r cos @x
( z ) cos + (z ) sen C
@y
=B@ @v @v @v @v
C:
A
@x
(z )( r sen ) + (z )r cos
@y @x
( z ) cos + (z ) sen
@y
Por otro lado
0 1
@u @u
B @
(; r) @r
( ; r)C
D(f Æ T )(; r) = @ @v @v A:
@
(; r) @r
(; r)
Obteniéndose de estas dos ecuaciones
@u
@
(; r) = @u
@x
(z)( r sen ) + @u@y
(z)r cos
= @v
@y
( z )( r sen ) +
@v
@x
(z ) r cos
@v
= r @r (; r)
Análogamente se obtiene la otra ecuación.
Existe un teorema análogo al teorema 1.16 para coordenadas polares: Si A
es una región en C nR +
y f:A ! C es diferenciable en el sentido real y se
satisfacen las condiciones de Cauchy-Riemann en forma polar se concluye que
f es analítica en A. La demostración se deja como ejercicio al estudiante.
1.5. FUNCIONES ANALÍTICAS 43
(f )0 (w) = f 01(z) ;
1
donde w = f (z ).
0
@u @v 1
@x
( z 0) (z )
@x 0 C
Df (z0) = B
@ A; y
@v @u
(z ) @x (z0)
@x 0
2 2
@u @v
det Df (z0) = @x (z0) + @x (z0 ) = jf 0(z0)j 6= 0:
Usando el teorema de la función inversa para variable real, se deduce que
existen abiertos U y V en C, z 2Uf jU : U ! V
tales que es una
biyección; f 1
V y, 8z 2 A,
es diferenciable en el sentido real en
0
@u @v 1
1 B @x
( z ) (z)
@x C
Df 1 (f (z )) =
det Df (z) @v (z) @u (z)A :
@
@x @x
Por lo que f 1 satisface las condiciones de Cauchy-Riemann en V y por
lo tanto es analítica. Además
1 @u (z )
(f )0(f (z)) = det Df
1
i
@v
(z )
= f 0 (z0 )
= f 01(z) :
(z) @x 0
@x 0 jf 0 (z0 )j2
Obsérvese que el teorema 1.19 establece una biyección la cual es local y no
global como puede observarse en el ejemplo f (z ) = z 2 .
escribiendo f = u + iv resulta
d(u Æ
)
dt
(t) = 0 = d(v Æ
) (t); dt
y
f 0 (z ) =
(3z + 2)(z + 1) (z + 2z + 1)(3z ) = 4z + 2 :
2 3 3 2 3
(z + 1) 3 (z + 1)
2 3 2
Solución. Si f = u + iv,
f (x + iy) = (x + iy)3 + 1 = x3 3y x + 1 + i(3x y
2 2
y 3 );
por lo que,
@u @v @u @v
@x
= 3x 2
3y = @y
2
; y
@y
= 6xy = @x
:
@u @v @2u @v 2
Solución. Se tiene
@x
= @y por lo que
@x2
= @x@y . También se tiene que
@u @v @u
2
@2v
@y
= @x
, así que
@y
=2 @y@x
, por lo que sumando ambas ecuaciones
se obtiene
@2u @2u @v 2
@2v
+
@x2 @y2
= @x@y @y@x
= 0:
@2u
Análogamente se demuestra la ecuación para v. A la expresi'on
@x2
+
@ 2u
se le llama el Laplaciano de u.
@y2
@u
@x
= ex cos y = @v
@y
y
@u
@y
= ex sen y =
@v
@x
:
d z x
dz (e ) = e cos y + ie sen y = e :
x z
y0 + 2
log z
y0
@u
@r
= 1r = 1r @v
@
y
@u
@
= 0 = @v
@r
:
DT (; r) = r sen cos
r cos sen
y su determinante es r, por lo que
DT 1
T (; r)
= sencos
= r cos =r
sen
1.6. DIFERENCIACIÓN DE LAS FUNCIONES ELEMENTALES. 47
de donde
@
@x
= senr = r senr = 2 r2
y
; y
@r x
@x
= cos = r
:
d (log z) = @ (log r) + i @ = 1 @r + i @ = 1 x + i y =
dz @x @x r @x @x r r r 2
1 (x iy) = z = 1 :
r 2 z jz j 2
Observación. Teoremas similares se pueden enunciar para otras ramas del loga-
ritmo.
n o
A=C n z 2 C j z = 0 o arg z = 2 :
Esto es consecuencia de observar que
d (sen z) = eiz i
e iz
dz 2i 2i ( i) = cos z:
El caso del coseno es análogo.
48 CAPÍTULO 1. FUNCIONES ANALÍTICAS
d z
dz (a ) = (log a)e = (log a)az :
(log ) az
d eb log z
= zb eb log z = zb zb = bzb 1
:
dz
Esta última igualdad se sigue de
1 zb = z 1
zb = e log z eb log z =eb ( 1) log z = zb 1
;
z
donde zb y zb 1
usan la misma rama del logaritmo.
Obsérvese que z b es entera si b 2 N [ f0g, z b es holomorfa en C nf0g
si b2 Z, y si b 2= Z, z b es holomorfa en el dominio de alguna rama de
logaritmo donde esta función sea holomorfa.
d z =n = 1 z n1
1 1
:
dz n
1.6. DIFERENCIACIÓN DE LAS FUNCIONES ELEMENTALES. 49
ez
z2 + 3
(a) ,
(b)
pez + 1,
(c) cos z,
1
e 1
(d)
z
?qquad y
d ez = ez (z + 3) 2zez = ez (z 2z + 3) :
2 2
dz z + 32 (z + 3) 2(z + 3) 2 2 2
! pz .
(b) Elegimos el dominio de la rama principal del logaritmo como dominio de
z7 Ahora se necesita caracterizar
fz 2 C j ez + 1 2 R; ez + 1 0g :
ez 2 R si y sólo si y = k, k 2 Z. Si k es par ez = ex > 0. Si
k es impar ez = ex y ex + 1 0 si y sólo si 1 ex, si y s'olo si
x 0. Por consiguiente
A = C n fx + iy 2 C j x 0; y = (2n + 1); n 2 Zg
es la región buscada, y
d (ez + 1) = = ez (ez + 1)
1 2 =
1 2
; 8z 2 A:
dz 2
(c) Se tiene
@u @v
@x
= sen x cosh y y
@y
= sen x cosh y:
50 CAPÍTULO 1. FUNCIONES ANALÍTICAS
3i
i
i
p
Figura 1.28: El dominio de analiticidad de ez + 1.
sen x = sen x:
Esto se cumple solamente para x = n, n 2 Z, es decir, no existe
ningún conjunto abierto en C donde cos z sea analítica.
d 1 = ez :
dz ez 1 (ez 1) 2
(e) Es claro a partir del inciso (b) que la región de analiticidad de la funci'on
log(ez + 1) es también
fz 2 C j jz j = ex0 g :
1.6. DIFERENCIACIÓN DE LAS FUNCIONES ELEMENTALES. 51
p
w 7 ! w tal que
3.
p
Mostrar que se puede tomar una rama de la función
z7 ! z 2 1 es analítica en C n fx + iy 2 C j y = 0; jxj 1g, y
1 = pr r e i 1
p
z2 ( +2 )=2 ;
1 2
z
r2 r1
2 1
1 1
p pz 1
Solución. Si z+1 pesz +una1 raíz
pz cuadrada de z + 1 y es ra'iz
cuadrada de z 1, 1 es raíz cuadrada de
(z + 1)(z 1) = z 2
1:
p
Para z 1 elegimos como la rama de la raíz la función anal'itica de-
nida en C n fx + iy 2 C j y = 0; x 0g dada por la regla de correspondencia
z 7 ! e z = , p log z = log jz j + i arg z , 0 < arg z < 2. Por lo tanto, la
(log ) 2
función z 7 ! z 1 es analítica en
C n fx + iy 2 C j y = 0; x 1g :
p p
z 1 = r ei1 = , como en la gura 1.29.
2
p
También 1
Así,
p z + 1 es anal'itica en C n fx + iy 2 C j y = 0; x 1g y
p p
z + 1 = r ei2 = : 2
2
p p
Por consiguiente z7 ! z + 1 z 1 es analítica en
C n fx + iy 2 C j y = 0; jxj 1g :
p p p
! z+1 z 1= z 1
z7 2
ejemplo, en el origen.
p
2i
i
2
p
2i
p
Figura 1.30: Si dos ramas de z 7! z 2 1 coinciden en i, coinciden en
puntos cercanos a i.
Como se ilustra en la gura 1.30, las dos ramas de la función coinciden en
un subconjunto abierto de sus dominios. Como dicho subconjunto también es
cerrado (por continuidad), y la intersección de los dominios es conexa, las dos
ramas deben coincidir en todos los puntos donde ambas estén denidas.
Capítulo 2
Integración
2.1 Integrales Sobre Curvas
2.1.1 Propiedades Básicas
Denición 2.1. Sean h : [a; b] ! C , h(t) = u(t) + iv(t), donde u y v
son funciones continuas. Se dene
Z b Z b Z b
h(t) dt como u(t) dt + i v(t) dt:
a a a
Denición 2.2. Sea
: [a; b] ! C una curva continua. Se dice que
es
C 1
por tramos si existe una partición de [a; b], a = x0 < x1 < < xn = b,
tal que 8i 2 f1; 2; : : : ; ng,
j(xi 1 ;xi ) es diferenciable y
0 j(xi 1 ;xi ) tiene
una extensión continua a [xi 1 ; xi ].
Integraremos solamente a lo largo de curvas que sean C 1
por tramos.
Z Z b
g(x; y) dx = g x(t); y(t) x0 (t) dt
a
53
54 CAPÍTULO 2. INTEGRACIÓN
Z Z b
g(x; y) dy = g x(t); y(t) y0 (t) dt;
a
donde
(t) = x(t); y(t) :
Proposición 2.1. Sean f , A y
como arriba, y escribamos f = u + iv
y
(t) = x(t); y (t) . Entonces
Z Z Z
f (z ) dz = u(x; y) dx v(x; y) dy +i u(x; y) dy + v(x; y) dx :
Demostración.
f (
(t))
0 (t) = u x(t); y(t) + iv x(t); y(t) x0 (t) + iy0 (t)
= u x(t); y(t)x0(t) vx(t); y(t)y0(t)
+ i u x(t); y(t) y0(t) + v x(t); y(t)x0(t):
Una forma de recordar la fórmula anterior es escribir
si t 2 [b; c] :
Si esta nueva curva está en el dominio de continuidad de una función compleja
f , se sigue directamente de la denición y de la misma propiedad para integrales
reales que
Z Z Z
f= f+ f:
1 +
2
1
2
Teorema 2.2. Sea A una región en C , f; g : A ! C funciones continuas y
una curva en A de clase C 1 por tramos, entonces:
Z Z Z
i) (c f + c g) = c
1 2 1 f + c2 g 8c ;c 2 C.
1 2
Z Z
ii) f = f.
donde
: [a; b] ! C está dada por
(t) =
(a + b t), es decir
recorre la misma curva que
, pero en sentido contrario.
2.1. INTEGRALES SOBRE CURVAS 55
Z b Z b
ch(t) dt = c h(t) dt;
a a
ya que entonces
Z Z b Z b Z
cf = cf (
(t))
0 (t) dt = c f (
(t))
0 (t) dt = c f:
a a
Finalmente, probamos la armación. Si c = + i y h(t) = h1 (t)+ ih2 (t),
Z b
( + i)(h (t) + ih (t)) dt =
1 2
a
Z b Z b
[h (t)
1 h2 (t)] dt + i [h (t) + h (t)] dt =
2 1
a a !
Z b Z b
( + i) h1 (t) dt + i h2 (t) dt :
a a
Usaremos el siguiente resultado de cálculo para probar que la integral com-
pleja no depende de la parametrización. Recordamos del cálculo que una para-
metrizaci'on unitaria es aquella con vectores tangentes unitarios.
g(b)
g t
a x b
g(a) g(x)
Z b1 Z b2
f g1 (t) g10 (t) dt = f g1 '(s) g10 '(s) '0 (s) ds
a1 a2
Z b2
= f g2(s) g20 (s) ds;
a2
como consecuencia del teorema de cambio de variable.
R
Se concluye que
f no depende de la parametrización si
0 solo se
anula en un número nito de puntos (se sobreentiende que las parametrizaciones
recorren la curva en el mismo sentido).
R
Como ejemplo evaluamos
x dz , donde
es el segmento que une 0
con 1 + i.
1+i
Z b
`(
) = j
0 (t)j dt:
a
Z Z b
b
a
g (t) dt
jg(t)j dt:
a
Lo cual prueba ii), al tomar g(t) = f
(t)
0 (t).
Para demostrar la armación escribimos
Z b
g(t) dt = rei ;
a
lo cual implica, usando la armación de la prueba del teorema 2.2,
Z b Z b
r = e i g(t) dt = e i g(t) dt:
a a
También
Z b Z b
r = Re r = Re e i g(t) dt = Re e i g(t) dt;
a a
como consecuencia de la denición de integral. Finalmente
Z Z b Z b Z b
b i
a
g (t) = r =
dt
Re e i g(t) dt e g (t) dt = jg(t)j dt:
a a a
(La desigualdad es una aplicación del mismo teorema para variable real).
Exhibimos ahora un importante método para evaluar integrales, análogo al
teorema fundamental del cálculo.
58 CAPÍTULO 2. INTEGRACIÓN
dada por x 2
+ 4y = 12
que une z = 1 y z = i=2. Gracias al teorema 2.5
no es necesario parametrizar la elipse, y como
z 3 d
= dz z4 ;
4
Z
z 3
dz =
1 i 4
1= 1 1 = 1 1 1 = 15 :
4 2 4 2 6 2 2 2
2 2 64 4
R
(a)
x dz , donde
es el perímetro del cuadrado formado por los puntos
0, 1, 1 + i e i.
R
(b)
e
z dz , donde
es el arco que une 1 con i en el círculo unitario.
Solución.
(a) Se parametriza
como
8
>
>
>
t 0 t 1;
(t) =
1 + ( t 1)i 1 t 2;
<
>
>
>
(3 t) + i 2 t 3;
:
(4 t)i 3 t 4:
2.1. INTEGRALES SOBRE CURVAS 59
Obteniéndose
Z 3 Z j +1
X
x dz = Re
(t)
0(t) dt =
j =0 j
Z 1 Z 2 Z 3 Z 4
t dt + i dt + (3 t)( 1) dt + 0 ( 1) dt
0 1 2 3
3
= 21 + i + t2 3t
2
= i:
2
R
(b)
z
e dz = ei
e1. Esta integral también se puede evaluar directamente:
= ei e1 :
puesto que
j
0 (t)j = ieit = 1;
por lo que el teorema 2.4 implica la desigualdad.
n= 1.
si
60 CAPÍTULO 2. INTEGRACIÓN
i) Si n0 ó n 2,
(z a) =
d 1
dz n + 1 (z a)
n n+1
Z
1 dz =
Z 2
irei
Z 2
z a 0 (rei + a) a d = i 0
d = 2i:
vada sea
1.
z
Solución. Usando el teorema 2.5, si dicha función existiera se tendría
Z
1 dz = 0;
z
donde
es el círculo unitario, sin embargo, esto contradice el cálculo hecho
en el ejemplo anterior.
d (log z) = 1
dz z
es valida solamente en el dominio de analiticidad de alguna rama de logaritmo.
Como ya se discutió, el logaritmo no es una funci'on continua en C n f0g, y
por lo tanto tampoco en analítica en dicho dominio.
int
Z Z
@Q @P
P (x; y) dx + Q(x; y) dy = (x; y) (x; y) dA:
@x @y
int
[
0
0
0
0
0
A A
A
z1
1
z2
2
Para algunos dominios las funciones analíticas son derivadas de otras fun-
ciones.
= 1 Z z
f 0f (z ) z
1= 1 Z z
f (w)
f (z0 ) dw:
z z0 z0
z z0 z0 z z0 z0
Finalmente, por continuidad, 8" > 0 existe una Æ > 0 tal que, si
jw z0 j < Æ, jf (w) f (z0 )j < ". Por lo que tomando Æ sucientemen-
te pequeña, el segmento de línea que une z con z0 está en A y, aplicando
2.2. TEOREMA DE CAUCHY. VERSIÓN INTUITIVA 65
Z z
g
(z )g(z0)
f (z0 )
= jz 1
f (w) f (z0 )
dw
z z0 z0 j z0
jz 1 z j " jz z0 j = ";
0
C n f0g.
Obsérvese tambi'en que la prueba es formal, y sólo depende de la validez del
teorema de la deformación.
2.2.4 El Logaritmo
Teorema 2.10. Sea A una región simplemente conexa que no contiene al
0, entonces existe F : A ! C analítica tal que eF (z) = z. F es única
salvo constantes de la forma 2ni, n 2 Z.
Se escribe F (z ) = log z y se llama a F una rama de logaritmo. Este
proceso es mas general que el descrito antes, por ejemplo, C nR +
es simple-
mente conexo, pero este proceso vale también para regiones mas complicadas
como la descrita en la gura 2.7.
F
Demostración.
en A tal que F 0 (z ) =
1 , 8z 2 A.
Por el teorema 2.9 existe una función analítica
Ahora, jando z 0 2 A, z0
denida
esta en
z
el dominio de una rama de logaritmo (según la denición de la secci'on 1.4) y se
66 CAPÍTULO 2. INTEGRACIÓN
puede redenir F sumándole una constante, de tal modo que F (z0 ) = log z0 ,
por lo que eF (z0 ) = z0 .
Armamos que e
F (z) = z , 8z 2 A. Para demostrar esto tómese
eF (z)
g(z ) = :
z
Como 0 2= A, g es holomorfa en A y como F 0 (z ) =
1 se tiene
z
g0 (z ) =
1 eF z 1 + eF z
( ) ( ) 1 = 0;
z z z2
por lo que g A. Puesto que g(z0 ) = 1, dicha constante es
es constante en
1, por lo que eF (z) = z , 8z 2 A.
Unicidad. Si eF (z) = z y eG(z) = z , 8z 2 A, entonces eF (z) G(z) = 1.
Tomando z0 2 A jo,
y como F 0 (z ) G0 (z ) =
1 1 = 0,
z z
F (z ) = G(z ) + 2ni; 8z 2 A:
( F 0 (z ) = G0 (z ) =
1 puesto que eF (z) = eG(z) = z . )
z
Obsérvese que el logaritmo como se denió antes es un caso particular de la
denición en el teorema 2.10, puesto que se tenía que elog z = z en el dominio
de alguna rama de logaritmo. La denición actual simplemente extiende los
posibles dominios para el logaritmo.
Al igual que en el teorema anterior, esta demostración es totalmente formal,
y s'olo depende de la validez del teorema de la deformación.
Z
(a) ez dz , donde
es el perímetro del cuadrado unitario.
(b)
Z
1 dz , donde
es el círculo unitario.
z
2
(c)
Z
1 dz, donde
es el círculo 3 + ei , 0 2.
z
Z
(d) z 2 dz , donde
es el segmento que une 1+i con 2.
2.2. TEOREMA DE CAUCHY. VERSIÓN INTUITIVA 67
Solución.
Z
ez dz = 0:
Alternativamente, ez es la derivada de ez , por lo que
Z
ez dz = 0:
1 = d 1 , 1 n f0g 0 2=
,
(b)
z dz z
2 z
es analítica en C y por lo cual
Z
1 dz = 0:
z2
(c)
1 es analítica en C nf 0g y (
[ int
) C nf 0g, por lo que el teorema
z
de Cauchy implica que
Z
1 dz = 0:
z
Alternativamente A = fx + iy 2 C j x > 0g es simplemente conexo, por
lo que existe f : A ! C holomorfa, que satisface f 0 =
1 y entonces
z
Z
1 dz = 0:
z
z2 =
d z 3
(d)
dz 3 en C, por lo que usando el teorema 2.5 se tiene
= 23 (1 + i) = 10 2i :
Z
z 3 2 3 3
z dz =
2
3 1+ i 3 3
2. Usando el teorema de la deformación, demuestre de manera intuitiva que si
es una curva simple cerrada que no contiene al cero pero lo contiene en su
interior, se tiene que
Z
1 dz = 2i:
z
68 CAPÍTULO 2. INTEGRACIÓN
2
3
1
2
3 1
Z
Demostración. Para cada rectángulo P en A, abreviaremos f co-
@P
mo I (P ). Si bisecamos R dividiendo la base y la altura en 2 se obtienen 4
subrectángulos que denotamos por R1 , R2 , R3 y R4 .
R3 R4
R1 R2
4
X 4
X
I (R) = I (Ri ) y jI (R)j jI (Ri )j ;
i=1 i=1
por lo que alguno de los Ri satisface
jI (Ri )j 41 jI (R)j :
Denotamos a dicho subrectángulo R1 . Iterando este proceso se obtiene
una sucesión de rect'angulos R, R , : : : , Rn , : : : tales que:
1
a) R R1 R2 .
D
Rk D R.
c) tiene diámetro
2k , donde es el di'ametro de
1
T 1
T
Se arma que Rk consiste exactamente de un punto: Primero Rk
k=1 k=1
no contiene mas de un punto, puesto que diam(Rk ) ! 0. Ahora, para cada
entero positivo k, se puede elegir zk 2 Rk . La sucesión fzk g es de Cauchy
D
ya que jzk zl j 2k si l k. Por lo tanto, 9z 2 C
0 tal que zk ! z0 , y
1
T
como cada Rk es cerrado, z0 2 R k para cada k 2 Z, así que z0 2 R k ,
k=1
es decir
1
\
Rk = fz0g :
k=1
2.3. TEOREMA DE CAUCHY. VERSIÓN RIGUROSA 71
Ahora,
Z Z
z dz = 0 = dz;
@Rk @Rk
por lo que
Z
I(Rk )= f (z ) f (z0 ) (z z0 )f 0 (z0 ) dz;
@Rk
y como f es analítica en z0 , dado " > 0 existe Æ > 0 tal que
una vecindad de z1 .
Demostración. Dada " > 0, sea R" un cuadrado de lado Æ con centro
en z1 , donde Æ se toma de tal manera que si z 2 R" , jz z j jf (z )j < ".
1
Ahora,
Z Z
f (z ) dz = f (z ) dz;
@R @R"
72 CAPÍTULO 2. INTEGRACIÓN
Æ
R" z1
y
Z
f
2" `(@R") = 8"Æ = 8";
@R" Æ Æ
Z
por lo tanto f = 0.
@R
z1 por
Obsérvese que el teorema 2.12 tambi'en es cierto si se reemplaza
un número nito de puntos en R.
Teorema 2.13 (Antiderivadas). Sean A C abierto, f : A ! C analí-
tica y R = [a; b] [c; d] A, entonces existe g : R ! C analítica tal que
g0 = f en R.
Demostración. Sea z0 2 R un punto jo y para cada z 2 R sean
z y
z las poligonales que unen z0 con z en R descritas en la gura 2.12.
z z
z0 z
Ahora se dene
Z
g(z ) = f:
z
Por el teorema 2.11,
Z Z
f= f:
z
z
Demostraremos que g es analítica y que
g0 (z ) = f (z ):
Para hacer esto primero obsérvese que si h2R es sucientemente pequeña
Z
g(x + h; y) g(x; y) = f (x; y) dz;
h
donde h es el segmento horizontal que une (x; y) con (x + h; y), y como
la variación vertical de h es nula, se obtiene
Z x+h
g(x + h; y) g(x; y) = f (t; y) dt;
x
al tomar x como parámetro para h .
Por consiguiente
g(x + h; y) g(x; y) 1 Z x + h
h
= h x
f (t; y) dt: (2.1)
Se arma que
!
lim 1 Z x + h
f (t; y) dt = f (x; y):
h! h 0 x
jh1j
Z x+h
jf (t; y) f (x; y)j dt "h
h
= ":
x
R x+h
(la primera desigualdad es cierta ya que
x f (x; y) dt = hf (x; y), y la pe-
núltima desigualdad se sigue de la prueba del teorema 2.4.)
74 CAPÍTULO 2. INTEGRACIÓN
@U
@x
(x; y) + i @V
@x
(x; y) = f (x; y):
Usando
z en lugar de
z se obtiene de manera similar
@U
@y
= v y @V @y
= u;
donde u = Re f y v = Im f . (Ejercicio)
Finalmente, como u y v son continuas y las parciales de g existen y
están relacionadas por las ecuaciones de Cauchy-Riemann, g es analítica y
g0 = f en R.
Corolario 2.2. Suponiendo las hipótesis del teorema 2.13, si
es una curva
cerrada en R,
Z
f = 0:
Demostración. Consecuencia inmediata del teorema 2.5
Teorema 2.14. Se puede generalizar el teorema 2.13, debilitando las hipótesis,
suponiendo solamente que f es continua en A y analítica en A n fz1 g,
donde z1 es un punto jo arbitrario en R.
Demostración. Como A es abierto se puede suponer que z1 2 int R (to-
mando R un poco mas grande si es necesario) y entonces usar el teorema 2.12
en lugar del 2.11. Obsérvese que es necesario que f sea continua para asegurar
que las parciales de g lo son.
2.3.2 Homotopía y Regiones Simplemente Conexas
Denición 2.5. Sea A una región en C . Se dice que las curvas
0 : [a; b] ! A
y
1 :[a; b] ! A son homotópicas (como curvas cerradas) en A si existe una
función continua H : [a; b] [0; 1] ! A tal que 8t 2 [0; 1], s 7 ! H (s; t) es
una curva cerrada, H (s; 0) =
0 (s) y H (s; 1) =
1 (s).
2.3. TEOREMA DE CAUCHY. VERSIÓN RIGUROSA 75
1 t=1=3
A
t=1
0
t =
=2 3 t=0
Denición 2.6. Sea A una región. Se dice que A es convexa, si, dados
dos puntos cualesquiera en A, el segmento que los une también esta en A.
Esto es,
8z ; z 2 A; 8t 2 [0; 1]; z + t(z
1 2 1 z1 ) 2 A:
2
Necesitamos un lema del análisis real, que se puede consultar, por ejemplo
en Bartle [1].
1 H
Wi
Rj
0 a b
1
0
XZ Z Z
0= f = f f:
i H (@Wi )
0
1
Observación. Las curvas H (@Wi ) pueden intersectarse unas con otras, pero
esto no afecta el argumento.
Para probar el teorema de la deformación en su forma general probaremos
primero que toda curva continua
: [a; b] ! C se puede aproximar por otra
curva : [a; b] ! C , C 1 por tramos. Mas precisamente,
Lema 2.2. Para cualquier
: [a; b] ! C continua, dada " > 0, existe una
curva : [a; b] ! C , C 1 por tramos, tal que j(t)
(t)j < " para toda
t 2 [a; b].
Demostración. Sea " > 0. Por continuidad uniforme existe una partición
a = t0 < t1 < < tn = b tal que, para i = 1, 2, : : : , n, se tiene
(t) 2 D(
(ti ); "); 8t 2 [ti ; ti ]:
1 +1
j(tk 1 ; tk ) = k Æ k ;
donde k : [tk 1 ; tk ] ! [0; 1] está dada por
t tk 1
k (t) = ;
tk tk 1
y k : [0; 1] ! C por
(t)
d(z ; A) = d(z ; w );
1 1 1
por lo tanto,
B es compacto, A B es un subconjuntopcompacto de
Finalmente, si
R4 , A D(0; r1 ) y B D(0; r2 ), A B D(0; r12 + r22 ), y
ya que, si
si f(zn ; wn )g ! (z; w ), con zn 2 A y wn 2 B , entonces (z; w ) 2 A B ,
por lo que el lema es consecuencia de que la función (z; w ) 7 ! jz wj es
continua.
Ahora consideremos A C , f : A ! C una funci'on analítica,
una región en
: [a; b] ! A " = d(
([a; b]); Ac ) y 1 , 2 dos curvas
una curva continua,
de clase C por tramos "- cercanas a
,
1
i. e. ji (s)
(s)j < ", para
cualquier s, i = 1, 2. Se sigue del lema que ambas curvas están en A.
Denimos una homotopía entre 1 y 2 como sigue:
z1
w1
B
A
z0
D(z0 ; 2M )
jH (s; t)
(s)j = jt (s) + (1 t) (s)
(s)j =
1 2
t (s)
(s) + (1 t) (s)
(s) t" + (1 t)" = ";
1 2
j(s ; t ) (s ; t )j < Æ
1 1 2 2
entonces
jH (s ; t ) H (s ; t )j < "= :
1 1 2 2 2
jtj tj j < Æ +1
j
t2 (s) (s)j j
t2 (s)
t1 (s)j + j
t1 (s) (s)j < "= + "= = ";
1 1 2 2
por lo que
Z Z Z Z
f = f= f= f:
1
t1 1
t2
Repitiendo este proceso se obtiene el resultado deseado.
Obsérvese que como 8j , d(
tj ([a; b]); Ac ) d(H ([a; b] [0; 1]); Ac) = "
se sigue que si j es C 1
por tramos, "- cercana a
tj , entonces
Z Z
f= f:
tj j
Ahora que tenemos una prueba rigurosa del teorema de la deformación,
podemos usarlo para demostrar el teorema de Cauchy.
() = Rei ; 0 ;
ez
R > 0; f (z ) =
donde y sea
(2R z )2
. Entonces, para toda curva cerrada
en A,
Z
f = 0:
82 CAPÍTULO 2. INTEGRACIÓN
jzj=2 jzj=3
2
1
1 Z
1 dz = n
2i
0 z
por el teorema de la deformación. Es intuitivamente claro que, como
y
0
son homotópicas, rodean al cero el mismo número de veces.
Mas generalmente se puede demostrar, por ejemplo con topología algebraica
elemental, que si
es una curva cerrada que rodea z0 n veces, entonces
es homotópica a '() = z0 + ei , 2 [0; 2n] y
1 Z 1 dz = n
2i
z z 0
1 Z 1 dz = 1:
2i
z z 0
1 Z 1 dz = 0:
2i
z z 0
I (
; z0 ) =
1 Z dz :
2i
z z0
z0
(t) = z0 + re it
tiene índice n.
Además si
y
0 son dos curvas que no pasan por z0 y
es homo-
tópica a
0 en C n fz0 g entonces
I (
; z0) = I (
0 ; z0 );
por el teorema de la deformación.
I (
; z ) 2 Z:
0
Demostración. Sea
0 (s)
Z t
g(t) = ds:
a
(s) z0
g(b)
I (
; z0) =
( i. e.
2i . ) Aplicando el teorema fundamental del cálculo a las
0 (t)
g0 (t) = ;
(t) z0
2.4. FÓRMULA INTEGRAL DE CAUCHY 87
si t 2 [a; b] y
es de clase C 1
en una vecindad de t, por lo cual en dichos
puntos
d e g t (
(t)
( )
z0)
=e g(t)
0(t)
(t) z0 + e g(t)
0 (t) = 0:
dt
(t) z0
y e g t (
(t) z )
( )
0 es constante por tramos, sin embargo dicha función es
continua, puesto que g(t) es continua, (esto se sigue de la denición de curva C 1
int
= fz 2 C j I (
; z) 6= 0g ;
es decir, se puede denir el interior de una curva en forma analítica y no topo-
lógica, usando la integral que dene el índice.
f (z0 )I (
; z0) =
1 Z f (z) dz:
2i
(z z ) 0
Se dene
8
<f (z ) f (z0 )
z 6= z0 ,
g (z ) =
si
z z 0
f (z 0 )
: 0
si z = z0 .
g es analítica en A nfz0g y continua en A. La observación anterior implica
que
Z
g = 0:
Por lo cual
f (z ) f (z0 ) f (z )
Z Z Z
0= dz dz = dz f (z0)I (
; z0 ):
z z0
z z0
z z0
Es importante observar que esta fórmula es útil para calcular integrales, por
ejemplo,
Z
ez
dz = 2ie0 = 2i:
jzj=1 z
Lema 2.4 (Integrales de tipo Cauchy). Sea
: [a; b] ! C una curva, '
una función continua denida en
[a; b] y
Z
g (z ) = '(w)(w z )n dw;
entonces g es analítica y C 1 en el sentido complejo en C n
[a; b] .
Además, si n = 1, para cualquier k 2 N ,
'(w)
Z
g(k) (z ) = k! dw:
(w z )k+1
(Se puede recordar esta fórmula derivando respecto a z dentro del signo de
integral.)
Demostración. Usaremos el siguiente resultado, que será demostrado en el
capítulo 3:
2.4. FÓRMULA INTEGRAL DE CAUCHY 89
g(z0 + hk ) g(z0)
Z
hk
! n (w z )n '(w) dw; 0
1
ya que esto implica que g es derivable en z0 y que
Z
g0 (z0 ) = n (w z0 )n 1 '(w) dw;
e iterando este proceso inductivamente se demuestra el lema.
Ahora,
g(z0 + hk ) g(z0 )
= (w z0 hk )n (w z0 )n
Z
'(w) dw;
hk
hk
así que es suciente demostrar que
(w z0 hk )n (w z0 )n
'(w) ! n(w z0)n 1 '(w)
hk
uniformemente en
, lo cual equivale a demostrar que
(w z0 hk )n (w z0 )n
! n(w z )n 1
hk 0
uniformemente en
.
Escribimos, para abreviar, a = w z0 .
Si n > 0,
(a hk )n an
+ nan
1
=
hk
n n 2 n n 3 2
nan 1
+ 2 a hk
3 a hk + + nan 1
c jhk j + jhk j + + jhk jn ;
2 1
z0 + hk
z0
k am
h (mh
1
+ nan + c0 jhk j + jhk j + + jhk jm
1 2
k a h k ) m a m
m
+ 2" ;
(a hk )ma + na
n 1
donde c
00 es una constante. Esta última expresión converge uniformemente a
0, lo cual termina la demostración del lema.
Teorema 2.22 (Existencia de derivadas k-ésimas). Si f es una función
holomorfa en una regi'on A, entonces:
I (
; z ) =
1 Z
1
2i
w z dw
es analítica y C 1en C n
, de hecho es localmente constante por tomar valores
enteros.
Ahora, por la fórmula integral de Cauchy, si z 2 A n
,
1 f (w )
f (z )I (
; z ) =
Z
2i
w z dw;
aplicando el lema a G(z ) = f (z )I (
; z ) se obtiene inductivamente que
k! f (w)
Z
G k (z ) = f k (z )I (
; z ) =
2i
(w z)k dw; para k 2 N.
( ) ( )
+1
(z ) Rkk! M:
(k)
f 0
k! f (w)
Z
f (k) (z0 ) =
2i
(w z0)k+1 dw;
y
Z
(z ) = 2k! (w f (zw))k
k! M
M
2 Rk `(
) = k! Rk :
dw
(k )
f 0 +1 +1
0
p(z ) 6= 0, 8z 2 C 1
p(z )
Demostración. Si entonces es entera.
Ahora, si z 6= 0,
1
1 = 1 = zn
p(z ) an z n + an z n + + a an a ;
1
1
an + +
0 + 1 0
z zn
por lo que
1 p
p(z )
Entonces, por el teorema 2.24, es constante, y por lo tanto tam-
1 Z 1 dz = 1 Z 1 dz = 1;
2i
1 z 2i
z
por lo que I (
; 0) = 2.
2. Evaluar
Z
cos z dz y
Z
sen z dz:
jzj=1 z jzj=1 z 2
Solución. cosz es una función entera, así que, por la f 'ormula integral de
Cauchy,
jzj=1 z
es decir,
Z
cos z dz = 2i:
jzj=1 z
94 CAPÍTULO 2. INTEGRACIÓN
de donde
Z
sen z dz = 2i:
jzj=1 z 2
3. Evaluar
ez + z
Z
dz;
z 2
cuando
es el círculo unitario y cuando
es el c'irculo de radio 3 con
centro en cero.
Cauchy, de donde
e2 + 2 =
1 Z ez + z dz;
2i
z 2
es decir
ez + z
Z
dz = 2i(e2 + 2):
z 2
2.5 Teorema del Máximo Modulo. Funciones Ar-
mónicas
Teorema 2.27 (Propiedad del valor intermedio). Sea f analítica en una
región A y D(z0 ; r) A, entonces
f (z0 ) =
1Z 2
f (z0 + rei ) d:
2 0
f (z0 ) =
1 Z f (z) dz;
2i
z z 0
es decir,
f (z0 ) =
1 Z 2 f (z0 + rei ) i
ire d:
2i 0 rei
96 CAPÍTULO 2. INTEGRACIÓN
Z 2 Z 2
g(z0 + rei ) d = 2f (z0) Re f (z + rei ) d =
0
0 0
2f (z ) 2 Re f (z ) = 0;
0 0
7 ! g(z + rei )
0
Re f (z) = f (z )
0 8z 2 D(z ; r ):
0 0
i) jf (z )j M , 8z 2 A.
ii) Si existe a 2 A tal que jf (a)j = M , entonces f es constante.
Demostración. Sea M 0 = sup jf (z )j.
z2A
Caso 1. Si, 8z 2 A, jf (z )j < M 0 , entonces existe z0 2 @A tal que
jf (z0)j = M 0 , y M = M 0 , ya que A, y @A son compactos.
2.5. TEOREMA DEL MÁXIMO MODULO. FUNCIONES ARMÓNICAS 97
r2 u = @@xu2 + @@yu2 = 0:
2 2
98 CAPÍTULO 2. INTEGRACIÓN
Se demostró que las partes real e imaginaria de una funci'on analítica son
arm'onicas de clase C 1 . El reciproco también es cierto.
Teorema 2.31. Sea A una región y u : A ! R arm'onica, entonces u
es de clase C 1 , y para cualquier z 2 A, u es la parte real de una función
0
analítica en una vecindad de z0 . Si además A es simplemente conexo, existe
f : A ! C analítica tal que Re f = u.
Demostración. Basta demostrar la segunda parte, pues localmente siempre
existe una vecindad simplemente conexa, por ejemplo D(z0 ; r).
@u @u
Sea g (z ) = (z) i (z ), z 2 A. Se arma que g es analítica en
@x @y
A.
Denotando a g = U + iV , se tiene
@U
= @@xu ; @V @ 2u
2
@x 2 @y
= @y2
;
por lo cual
@U @V @u @u 2 2
@x @y
= @x + @y = 0:
2 2
También
@U @u 2
@V @2u
@y
= @y@x ;
@x
= @x@y
;
de donde
@U
@y
+ @V
@x
=0
ya que u es C 2
. Esto demuestra que g es analítica.
Usando ahora el teorema de antiderivadas, existe f:A ! C analítica tal
que f 0 = g. Si f = u + iv,
@u @u
f0 =
@x
i
@y
= g = @u
@x
i
@u
@y
;
u 1
(c )
1 ru(x; y)
(x; y)
las curvas de nivel, basta demostrar que, para cualquier punto en la intersección,
ru rv = 0;
que es lo mismo que
@u @u @v @v @u @v @u @v
;
@x @y
@x ;
@y
= +
@x @x @y @y
= 0;
que se sigue de las ecuaciones de Cauchy-Riemann.
Como ejemplo del teorema 2.32 tenemos f (z ) = z 2 , que tiene como partes
real e imaginaria a
u(z0 ) =
1Z 2
u(z0 + rei ) d:
2 0
100 CAPÍTULO 2. INTEGRACIÓN
u = cte
v = cte
wj > r: jz0
Tomando r1 tal que jz0 wj > r1 > r tenemos que D(z0 ; r1 ) A, por lo
que, por el teorema 2.31, existe f analítica en D (z0 ; r1 ) tal que Re f = u.
Por el teorema del valor intermedio para funciones analíticas
f (z ) =
1 Z 2
f (z0 + rei ) d;
0
2 0
Solución.
1 1 jf j
f
es analítica, y
jf j tiene máximos locales sólo si tiene
mínimos. Nótese que todas las hip'otesis son necesarias, pues para f (z ) = z ,
jf j tiene un mínimo local en 0.
2. Encuentre el máximo de jsen zj en A = [0; 2] [0; 2].
Solución. Por el teorema del máximo módulo, el m'aximo de jsen zj se toma
en la frontera. Ahora
si y = 0, jsen z j = sen x 1;
2 2
z0 =
y por consiguiente el máximo es tomado en
2 + 2i, y tiene el valor
jsen z j = jsen x cosh y + i senh y cos x j = cosh2:
0 0 0 0 0
@v @v
@x
= 2y; @y
= 2x;
integrando con respecto a x se obtiene v(x; y) = 2xy + cte, es decir,
@v @v
@x
= sen x senh y; @y
= cos x cosh y;
por lo que v(x; y) = cos xsenh y +g1 (y), y v(x; y) = cos xsenh y +g2(x).
De nuevo g1 y g2 son constantes y v(x; y) = cos x senh y + k.
4. Encuentre el máximo de u(x; y) = sen x cosh y en [0; 1] [0; 1].
Solución. Por el principio del máximo módulo para funciones arm'onicas el
m'aximo se alcanza en la frontera,
si x = 0, u(x; y) = 0;
si y = 0, u(x; y) = sen x;
si x = 1, u(x; y) = cosh y sen 1;
si y = 1, u(x; y) = cosh1 sen x;
Series
3.1 Convergencia de Series
3.1.1 Deniciones Básicas
En este capítulo veremos que la analiticidad de una función se puede denir en
funci'on de la existencia de una serie convergente. Se desarrollarán los impor-
tantes teoremas de Weierstrass, Taylor y Laurent.
1
X
Proposición 3.1 (Criterio de Cauchy). La serie ak converge si y sólo
k=1
si 8" > 0 9N tal que si n N se tiene
n+p
X
ak <
"; 8p = 1; 2; 3; : : : :
k=n+1
En particular para p = 1, se obtiene un criterio útil de divergencia.
103
104 CAPÍTULO 3. SERIES
1
X
Corolario 3.1. Si ak converge, entonces ak ! 0.
k=1
1
X 1
El recíproco del corolario no es cierto: la serie armónica diverge
n=1 n
(ver proposición 3.3), sin embargo,
1 ! 0.
n
X1
Denición 3.3. Se dice que la serie ak converge absolutamente si la serie
k=1
1
X
jak j converge.
k=1
1
X
Proposición 3.2. Si la serie ak converge absolutamente, entonces con-
k=1
verge.
Demostración. Usando el criterio de Cauchy, dada ">0 9N tal que, si
n > N,
n+p nX
+p
X
ak
jak j < "; 8p 2 N ;
k=n+1 k=n+1
1
X
usando de nuevo el criterio de Cauchy, esto implica que ak converge.
k=1
1
X
Obsérvese la utilidad de esta proposición, ya que la serie j ak j es real y
k=1
se pueden aplicar criterios de convergencia para series reales.
v) Prueba de la Raíz.
p
Si lim
n!1
n
jan j existe y es igual a L, entonces si L < 1 la serie
1
X
ak converge absolutamente, si L > 1 la serie diverge y si el límite
k=1
es 1 ambas cosas pueden suceder.
Demostración.
sn =
1 rn+1
:
1 r
Si jrj < 1, sn ! 1 1 r ;
si jrj > 1, rn ! 1, y la serie diverge;
+1
n
X
si r = 1, r k = n + 1 ! 1, por lo que diverge; y
k=1
si r= 1, sn =0 si n es par, y sn = 1 si n es impar, por lo que la
serie diverge.
1
X
ii) Aplicando el criterio de Cauchy, ak + + ak+p bk + + bk+p y ak
k=1
j
X j
X
converge. También, dada M > 0, existe j2N tal que dk ck M
k=1 k=1
(ya que una sucesión creciente de números positivos diverge si y s'olo si no es
1
X
acotada), por lo que dk diverge.
k=1
106 CAPÍTULO 3. SERIES
iii) Si p 1, entonces n p n 1
(puesto que nx es creciente), por lo
1
X 1
X
que n p diverge si la serie armónica n 1
diverge. Esta última es
n=1 n=1
bien sabido que diverge. Una forma de demostrar este hecho es la siguiente: Se
tiene que
11
1 1
22
1 1 1 1 1
3+44+4=2
1+1+1+11+1+1+1=1
5 6 7 8 8 8 8 8 2
. .
. .
. .
1 + 1 + + 1 2n 1
= 21 :
2n + 1 2 n + 2 2n 2n +1 +1
1
X 1
Usando estas desigualdades es fácil deducir que diverge a 1.
n=1 n
Ahora, si p > 1,
= 11p + 21p + 31p + 41p + 51p + 61p + 71p + +
s2k 1
1 + 1 + + 1 1 + 2 + + 2k = 1
1 + 1 + 1 + + 1 < 1 ;
1p 2p (2p ) 1 (2p )k 1 1 2 1 1
2p
1
1
por lo cual s2k está acotado y, por consiguiente, las sumas parciales de
1
X
1
np lo están (ya que estas son una sucesión creciente de números positivos).
n=1
1
X
Consecuentemente np converge.
n=1
1
X
Obsérvese que esta demostración muestra tambi'en que si ak es una
k=1
X1
serie de números positivos decreciente ( i. e., an+1 an ) y si 2j a j
2
j =1
1
X
converge entonces ak converge también. A este criterio se le llama prueba
k=1
3.1. CONVERGENCIA DE SERIES 107
de la condensación de Cauchy.
a1 a1 ;
a2 + a3 2a2 ;
a4 + a5 + a6 + a7 22 a4 ; etc.
n+1
a
iv) Sea r= lim
n!1 a
.
n
Si r< 1, tomando
n+1
r0 tal que r < r0 < 1, existe N para el cual si
1
a X
n > N, a <
r0 , lo que implica que jaN +p j < jaN j (r0 )p
y que aN +p
n p=1
X 1
converge, es decir, ak converge absolutamente.
k=1
r >1 sea r0 tal que r > r0 > 1, de nuevo existe N para el cual si
Si
an+1
n > N , > r0 y jaN +p j > jaN j (r0 )p , esto implica que jaN +p j no
an
X1
converge a 0 cuando p ! 1 y, por consiguiente, ak diverge.
k=1
1
X 1
X 1,
Ahora, las series ak , ak = 1, 8k 2 N , y
p p > 1, diver-
k=1 n=1 n
gen y convergen respectivamente, sin embargo
an+1
lim
n!1 an
=1
y
1
( n + 1)p = lim n + 1 p
lim 1
n!1 n!1 n
= 1:
np
jan j =n
1
> r0 , y jan j > (r0 )n , así que lim ja j 6= 0
n!1 n
y por consiguiente
1
X
ak diverge.
k=1
108 CAPÍTULO 3. SERIES
1
X 1
Finalmente, la serie armónica diverge, y la serie converge, pero
n=1 n
2
r
lim n 1 = lim 1 = lim 1 = 1;
n!1 n n!1 =n n!1 n 1
e (1 =n ) log n
r
lim n 1 = lim 1 = 1:
n!1 n2 n!1 e =n ) log n
(2
ya que f (z ) = nlim
!1 fn(z ).
Por consiguiente, si n > N y z2A
jf (z ) fn (z )j jf (z ) fN pz (z )j + jfN pz (z ) fn (z )j < ";
+ +
y fn ! f uniformemente en A.
Ahora, si fn !f uniformemente en A, 8 " > 0 9N tal que si
n > N,
jfn (z ) f (z )j < "= ; 2 z 2 A:
Por lo cual
i) jgn (z )j Mn , 8z 2 A,
1
X
ii) Mn converge.
n=1
1
X
Entonces gk (z ) converge uniforme y absolutamente en A.
k=1
1
X
Demostración. Como Mn converge, dada ">0 existe N 2N tal
n=1
nX
+p
1 zn
X
g(z ) = ;
n=1 n
se arma que g (z ) converge uniforme y absolutamente en
Ar = fz 2 C j jz j < r g ; r < 1:
zn
jgn(z )j = jzn j rn .
n n rn
Escribiendo gn (z ) = , se tiene que Sea Mn = ,
n 1 n
rn X
como
n
rn , se tiene que Mk converge, y por lo tanto se sigue la
k=1
armación.
1 zn
X
Es interesante observar que, en contraste, no converge uniforme-
k=1
n
mente en D(0; 1) = fz 2 C j jzj < 1g. Si esto fuera cierto, se tendría que
3.1. CONVERGENCIA DE SERIES 111
1 xn
X
n
converger'ia uniformemente en [0; 1). En tal caso, 8" > 0, existe
k=1
N2N tal que si n > N,
xn n+1 n+p
n
+ nx + 1 + + nx + p < "; 8x 2 [0; 1) y 8p 2 N .
Ahora, como la serie armónica diverge, existe p2N tal que
1 + + 1 > 2";
N N +p
y también existe x 2 [0; 1) tal que xN +p > 1=2 . (Ya que esta condición se
1 1
satisface si x > ( 1=2 ) N +P = e(log 1=2) N +P . ) Se obtiene que
xN N +p
+ + Nx + p > xN + p 1 + + 1 > ";
N N N +p
( xn decrece cuando n ! 1) , lo cual es una contradicción a la primera
armación.
1 zn
X
Sin embargo, obsérvese que g (z ) = es continua en D(0; 1), puesto
k=1 n
que 8z 2 D(0; 1) existe r>0 tal que z 2 D(0; r) y en dicho disco hay
convergencia uniforme, por lo que el teorema 3.5 nos muestra la continuidad de
g.
Teorema 3.7 (Weierstrass).
i) Sea A una región en C y ffn g una sucesi'on de funciones analíti-
cas denidas en A. Supóngase también que fn ! f uniformemente
en cualquier disco cerrado contenido en A, entonces f es analítica.
Además, fn0 ! f 0 puntualmente en A y uniformemente en cualquier
disco cerrado de A.
1
X
ii) Si fgk g es una sucesión de funciones analíticas tales que gk (z )
k=1
converge a una función g uniformemente en discos cerrados de A,
1
X
entonces g es analítica en A. Ademas, g 0 (z ) = gk0 (z ) puntual-
k=1
mente en A y uniformemente en discos cerrados de A.
Este tipo de convergencia, si además es absoluta, se llama normal, y se dice que
las funciones convergen normalmente.
Esta propiedad no es cierta en el caso real, pues convergencia uniforme no
implica que se pueda diferenciar término a t'ermino, por ejemplo, si
fn (x) =
senp nx ; f (x) = nlim
n !1 fn (x) = 0;
112 CAPÍTULO 3. SERIES
Teorema 3.8. Sea
: [a; b] ! A de clase C 1 por tramos y ffn g una suce-
sión de funciones continuas denidas en
y que además convergen unifor-
memente a una función f en
, entonces
Z Z
fn ! f cuando n ! 1.
1
X
También, si gk (z ) converge uniformemente en
, entonces
k=1
1
Z X 1Z
X
gk (z ) = g k (z ):
k=1 k=1
Lo que dice este teorema es que, bajo la hipotesis de convergencia uniforme,
se pueden intercambiar los signos de límite e integral.
que f = 0. Como esto es cierto para toda curva cerrada
, por el teorema
de Morera f es analítica en D (z0 ; r ). (La convergencia uniforme implica
que f es continua.)
3.1. CONVERGENCIA DE SERIES 113
fn0 (z ) f 0 (z ) =
1 Z fn(w) f (w) dw; 8z 2 D(z ; r):
2i
(w z) 2 0
por lo cual
1
X
(z ) = n z
n=1
es analítica en A = fz 2 C j Re z > 1g, y se calcula 0 (z ) en dicho conjunto.
114 CAPÍTULO 3. SERIES
A
Æ B
X
puesto que t 7 ! et n es creciente. Escribiendo Mn = n
log Æ, Mn (1+ )
n=1
es una serie p convergente, por lo cual usando la prueba M de Weierstrass, se
1
X
tiene que n z converge en forma absoluta y uniforme en B. Consecuen-
n=1
temente usando el teorema de Weierstrass, es analítica en A y
1
X
0 (z ) = (log n)n z;
n=1
además esta serie es convergente en discos cerrados de A.
X1 zn
2. Demuestre que f (z ) = es analítica en = fz 2 C j jz j < 1g, y
n=1 n
2
1
X nz n 1 1 zn
X 1
f 0 (z ) = = :
n=1 n n
2
n=1
3.2. TEOREMA DE TAYLOR 115
Z 1 !
X
3. Calcular dz . zn
jzj= 1=2 n= 1
Solución. Sea B un disco cerrado en A = fz 2 C j jz j < 1g, Æ la distancia
de B al círculo jz j = 1, y Mn = (1 Æ )n .
Æ
B
0 1
1 ! !
Z X Z
1 dz + Z 1
X
zn dz = zn dz = 2i:
jzj= 1=2 n= 1 jzj= 1=2 z jzj= 1=2 n=0
r n
r
X1
Demostración. Sea Mn = M . Como < 1, Mn converge.
r0 r0 n=0
rn rn r n
Además jan (z z0 )n j jan j rn = jan j n0 M = Mn, por lo que
r0 r0
la prueba M de Weierstrass demuestra el resultado.
1
X
Obsérvese que si existe w2C tal que jw z j = r
0 0 y an (w z0 )n
n=0
converge, entonces se satisfacen las hipótesis del lema ya que
jan j jw z jn = jan j rn ! 0
0 0 cuando n ! 1:
1
X
Teorema 3.9. Sea an (z z0)n una serie de potencias, entonces existe un
n=0
número R 2 [0; 1], llamado radio de convergencia, tal que si jz z0 j < R
la serie converge, y si jz z0 j > R la serie diverge. La convergencia es
uniforme y absoluta en discos cerrados de A = fz 2 C j jz z0 j < Rg.
Al círculo jz z j = R
0 se le llama c'irculo de convergencia.
n 1
X o
Demostración. Sea R = sup r 0 j jan j rn converge . Se arma que
n=0
R es el radio de convergencia.
1
X
Dada r0 < R, existe r1 tal que r0 < r1 < R, y tal que jan j rn
1
n=0
converge por lo que fjan j rn g1 es acotada ya que converge a
1
0. Consecuen-
X
temente, por el lema de Abel, an (z z0 )n converge en forma absoluta y
n=0
uniforme en Ar0 = fz 2 C j jz 1
z0 j r0 g.
X
Ahora, si jz1 z0j > R y an (z1 z0 )n converge, se tendría que el
n=0
conjunto fjan rn j j n 2 N g
1 es acotado, con r1 = jz1 z0 j.
3.2. TEOREMA DE TAYLOR 117
1
X
En este caso, tomando R < r < r1 , an (z z0 )n sería absoluta
n=0
y uniformemente convergente en Ar por el lema de Abel, en particular, si
1
X
z = z0 + r, jan j rn sería convergente, lo cual contradice la denición de
n=0
R.
Finalmente como la convergencia es absoluta y uniforme en Ar , 8r < R
también lo es en cualquier disco cerrado de A.
Como consecuencia de este teorema y del teorema de Weierstrass se tiene el
siguiente resultado.
1
X
Teorema 3.10. La serie de potencias an (z z0 )n es analítica en el in-
n=0
terior del círculo de convergencia.
Demostración. El resultado es consecuencia de que las funciones an (z z0)n
son enteras.
El teorema de Weierstrass también permite derivar t'ermino por t'ermino.
1
X
Teorema 3.11. Sea f (z ) = an (z z0 )n , z 2 D(z0 ; R), R el radio de
n=0
X1
convergencia, entonces f 0 (z ) = nan (z z0)n 1 y el radio de convergencia
n=1
f (n) (z0 )
de esta nueva serie es R. Además, an = .
n!
Demostración. Por el teorema de Weierstrass,
1
X
f 0 (z ) = nan (z z0 )n 1 ; 8z 2 D(z ; R):
0
n=1
1
X c
Si la serie nan (z1 z0 )n 1
converge para z1 2 D(z0 ; R) , se ten-
n=1
dría que na n
0n
rn 1 j n 2 N es un conjunto acotado, donde r0 jz1 z0 j, =
por lo que an r0 j n 2 N también es un conjunto acotado, y, aplicando el
X1
lema de Abel, ( ) (
an z z0 n converge en D z0 ; R1 , con R1 > R, lo cual )
n=0
contradice la denición de R. Por consiguiente, el radio de convergencia de
1
X
nan(z z0 )n 1
n=1
es de nuevo R.
118 CAPÍTULO 3. SERIES
1
X
f (k) (z ) = n(n 1)(n 2) : : : (n k + 1)ak (z z0 )n k ;
n=k
y evaluando en z0 se obtiene f (k) (z0 ) = k!ak .
Ahora establecemos dos criterios para encontrar R.
1
X
Teorema 3.12. Sea R el radio de convergencia de an (z z0)n .
n=0
n 1
X o
R = sup r > 0 j jan j rn < 1 :
n=0
L = nlim
jan j 0 < L < 1.
i) Sea
!1 jan j .
+1
Consideramos primero el caso
1
Apli-
X
camos el criterio de la razón real a la serie jan j rn . Si 0 < r < L
n=0
jan j r = n+1 r 1
X
lim
n!1 jan j rn
+1
L
< 1 y j an j r n converge. En cambio, si L<r
n=0
1
X
dicho límite es mayor a 1 y la serie jan j rn diverge.
n=0
1
X
ii) Consideramos primero el caso 2 (0; 1). jan j rn converge o diverge,
p n=0
de acuerdo a que lim n janjr sea menor o mayor que 1, respectivamente.
n!1
p
Como lim n jan j = , esto equivale a decir que r sea menor o mayor a
n!1
3.2. TEOREMA DE TAYLOR 119
1, esto es r<
1 ó r>
1, por lo que
1 es el radio de convergencia. Si
p
= 0 nlim
!1
n
jan j r = 0 para toda r y R = 1, etc.
Ejemplos
1
X
1. La serie zn tiene radio de convergencia 1, puesto que an = 1,
n=0
8n 2 N , y
jan j
lim = 1:
n!1 jan+1 j
1 zn
X
R = 1,
n!
2. La serie tiene radio de convergencia es decir, es una
n=0
an =
1,
n!
función entera, ya que y
limjan j = nlim
n!1 jan+1 j !1 n + 1 = 1:
1
X
3. La serie n!z n tiene radio de convergencia 0, puesto que
n=0
limjan j = nlim 1
n!1 jan+1 j !1 n + 1 = 0:
1
X
No es dicil demostrar que, para toda serie de potencias an (z z0 )n ,
n=0
1 = lim sup p
n
jan j, donde lim sup es el supremo de los puntos de acumu-
R n p o
lación de
n
jan j . (Una demostración de este hecho aparece en el libro de
Ahlfors).
Sn = 1 + z + z 2 + + z n =
1 z n+1
1 y
z
,
lim S = lim 1 zn = 1 : +1
n!1 n n!1 1 z 1 z
Otro resultado necesario para demostrar el teorema de Taylor es el siguiente:
1
X
Si gn (z ) converge uniformemente en B C y h(z ) es acotada en B,
n=0
X1 1
X
entonces h(z )gn (z ) converge uniformemente en B a h(z ) gn (z ).
n=0 n=0
Esto es cierto ya que, si jh(z )j < M , 8z 2 B , dada " > 0 9N tal que
jgn (z )h(z ) + + gn p (z )h(z )j = jgn (z ) + + gn p (z )j jh(z )j
+ +
M M" = " 8z 2 B y 8p 2 N:
Demostración (Teorema de Taylor). Sea r0 > r tal que Dr0 A, y
sea
( ) = z + r , 0 2. Por la fórmula integral de Cauchy, si
i 0
z 2 int
= int Dr0
f (z ) =
1 Z
f (w)
2i
w z dw:
Ahora se aplica el truco de Taylor, esto es
1 = 1 =
w z w z0 (z z0 )
1 1 1 1 z
X
z0 n
= :
(w z0 )
1 z z0 w z 0
n=0 w z0
w z0
3.2. TEOREMA DE TAYLOR 121
Usando el lema 3.2 se observa que para z jo esta serie converge uniforme-
z z0
mente en
, ya que al variar w , los valores están todos en un
w z0
círculo de radio menor a 1.
w
z0 z
f (w )
Ahora, , w 2
, es acotada, ya que es una función continua en el
w z0
compacto
, así que, por la observaci'on hecha despues del lema 3.2,
1
f (w)(z z0 )n
X
n=0 (w z0 )
n+1
converge uniformemente en a
0 1
f (w ) B 1 = wf (w)z :
C
B C
w z0 @ z z0 A
1 w z0
Finalmente, usando el teorema 3.8, se tiene
Z
f (w) 1 Z X 1 f (w)(z z )n X1 Z f (w)(z z )n
dw = 0
dw = n+1 dw;
0
tiene
1 Z
f (w ) X1 (z z )n Z f (w )
f (z ) = dw = 0
dw
2i
w z n 2i
(w z )n =0
0
+1
1
= (z z )n f n(!z ) ; 8z 2 int Dr0 :
X n ( )
0
0
n =0
nX1
(f g) n (z) =
( 1) n 1 f (k) (z )g(n 1 k) (z):
k=0 k
se tiene
nX1
(f g) (z) =
n
( ) n 1f k (z)g n
( +1) ( 1 k) (z ) +
nX1
n 1f k (z)g n k (z)
( ) ( )
k=0
k k=0
k
nX1
=
n
X n 1 f (k) (z )g(n k) (z ) +
n 1f k (z)g n k (z)
( ) ( )
k=1 k 1 k=0 k
nX1
n (k) (n k)
= k
f (z )g (z) + f (n)(z)g(z) + f (z)g(n)(z);
k=1
3.2. TEOREMA DE TAYLOR 123
Ahora,
n
(f g) n (0) = 1 X
cn =
( )
n k
f (0)g n k (0) ( ) ( )
n! n! k k =0
X n
f k (0) f n k (0) X
( ) (n )
= = ab ;
k! (n k)! k n n k
k =0 =0
n n!
puesto que
k
= k!(n k)!
.
Obsérvese que este resultado es tambi'en cierto para series de Taylor que no
tienen el centro en el 0 sino en cualquier otro punto.
Ahora, f (0)
= log(1) = 0; f 0 (z ) = z +1 1 , de donde f 0(0) = 1;
f 00 (z ) =
1
(z + 1) y f (0) = 1.
00 Inductivamente se tiene
2
f (n) (z ) =
(n 1)!( 1)n 1
;
(z + 1)n
ya que
1 1
log(1 + z) = (n 1)!(n! 1)
X n 1 X zn
zn = ( 1)n 1
:
n =0 n=0 n
1
X 1,
Si z= 1, la serie es que diverge, por lo cual R = 1.
n=0 n
z
4. Encontrar la serie de Taylor de
z 1 alrededor de 0 y su radio de conver-
gencia.
1
jz j < 1, 1 1 z = z n ,
X
Solución. Se demostró que si y por la unicidad de
n =0
la serie de Taylor, ésta es precisamente su serie.
124 CAPÍTULO 3. SERIES
1 z
Ahora, por el ejemplo 2, la serie de Taylor de
1 z
es
1
X
zn:
n=1
Si z=1 esta serie diverge, por lo que R = 1.
ez
5. Calcule los primeros términos de la serie de
1 z
alrededor del 0.
1 zn
X 1
1 =X
ez = zn;
n! 1 z
y
n=0 n=0
ez z z 2 3
1 z = (1 + z + z + z + )(1 + z + + + )
2 3
2! 3!
z 2
z z 3 3
= 1 + (z + z ) + ( 2 + z + z ) + ( 6 + 2 + z + z ) + :
2 2 3 3
fz 2 C j r jz z jg :
1 0
Demostración. M
jbnj , jz z j r ,
r0n
Sea una cota superior de si 0 1
bn jbnj = jbn j rn M r n
(z z0)n ;
0 0
r1n r0n r1n r1
y por la prueba M de Weierstrass se sigue el resultado.
Otro ingrediente necesario para el teorema de Laurent es el siguiente.
3.3. SERIES DE LAURENT. CLASIFICACIÓN DE SINGULARIDADES 125
f (z ) =
1 Z
f (w) 1 Z
f (w)
2i
2 w z dw 2i
1 w z dw;
z
2
1
z0 r1 r2
f (w ) 1 dw f (w ) 1 dw = 0:
Z Z Z Z
dw f (z ) dw + f (z )
2 w z
2 w z
1 w z
1 w z
Como el segundo sumando es f (z )2i y el cuarto es 0, por el teorema de
Cauchy, esta igualdad establece el lema.
126 CAPÍTULO 3. SERIES
1 = 1 1 z
X
z0 n X 1 (z z )n
= (
0
n+1 ;
w z w z w z0 w z 0)
0
n=0 n=0
y
f (w) 1
X (z
z0 )n
= n+1 f (w)
w z n=0 (w z0 )
uniformemente en
2 , por lo cual
1 Z f (w) dw = 1 X 1 Z f (w)
2i n
2 (w z )n (z z ) dw
n
2i
2 w z =0
0
+1 0
1 Z
= 21i (z z )n f (w )
X
dw :
2 (w z )n
0 +1
n =0
0
escribiendo
an =
1 Z f (w )
dw
2i
2 (w z )n 0
+1
se obtiene
1 Z f (w) dw = X 1
an (z z )n ;
2i
2 w z n =0
0
1 1 w
X 1
z0 n X (w z0)n ;
z z0 n=0
= z z0 n=0 (z z0)n+1
donde la convergencia es uniforme en
1 , por lo tanto
1Z f (w )
dw
2i
1 w z
1
= 21i (w z0 )n
Z X
(z z )n f (w) dw
1 n=0 0
+1
1 Z X 1 (w z )n 1
= 2i (z z )n f (w) dw
0
1 n =1
0
1
= (z z )n 21i f (w)(w z )n
1
X Z
0
1
dw
n =1
1 0
1
X bn
= (z z0)n
;
n=1
bn =
1 Z
f (w)(w z0 )n 1 dw.
donde
2i
1
Esta última serie converge 8z 2 ext
1 , por lo que usando el lema 3.3 se
tiene que la convergencia es uniforme y absoluta en conjuntos de la forma
fz 2 C j jz z j rg ; 0 r > s1 ;
y en particular en A1 ;2 . Consecuentemente, usando el lema 3.4, se tiene que
1
X 1
X bn
f (z ) = an (z z0 )n + n;
n=0 n=1 (z z0 )
uniformemente en A1 ;2 y absolutamente en A.
Corolario 3.2. Sea f holomorfa en A = fz 2 C j r1 < jz z0 j < r2 g, su-
pongase también que
1
X 1
X bn
f (z ) = an (z z0 )n + ; 8z 2 A;
n=0 n=1 (z z0)n
donde ambas series convergen independientemente, entonces
an =
1 Z f (w) dw y bn =
1 Z f (w)(w z0 )n 1 dw;
2i
(w z )n 0
+1 2i
128 CAPÍTULO 3. SERIES
f (z ) 1
X 1
X bn
(z z0)k+1 = an (z z0 )n (k+1) + n+k+1 ;
n=0 n=1 (z z0 )
convergen uniformemente en
. Si k0 integrando término a t'ermino se
tiene
f (z )
Z
dz = 2iak ; k 0.
(z z0 )k+1
si
f (z )
Z
dz = 2ib k ;
(z z0 )k+1
tomando n = k, se sigue el resultado.
Algunas veces se escribe la expansión de Laurent como
1
X
f (z ) = cn (z z0 )n ;
1
cn =
1 Z
f (w )
dw.
donde
2i
(w z )n 0
+1
D(z0 ; r) n fz0 g :
Denición 3.7. Si f es analítica en D(z0 ; r) n fz0 g, a z0 se le llama
singularidad aislada de f .
En este caso se el teorema de Laurent es aplicable y
bn
f (z ) = +
(z z0 )n
+ + z b z + a + + an (z
1
0
0 z0 )n +
8z 2 D(z ; r): 0
i) bk 6= 0 y b` = 0, 8` > k.
3.3. SERIES DE LAURENT. CLASIFICACIÓN DE SINGULARIDADES 129
iii) bk = 0, 8k.
En el primer caso se dice que f tiene un polo de orden k en z0 , en el
segundo que f tiene una singularidad esencial en z0 y en el tercero que z0
es una singularidad removible de f. Si el orden de un polo es 1, se dice que
es un polo simple.
bk =
1 Z f (w)(w z0 )k 1 dw;
2i
en particular, para k = 1, tenemos el resultado.
8w 2 C , ew = 1 + w + w2! + w3! + ,
2 3
Como ejemplo, en particular, si
1X 1
z 6= 0 w = 1=z , e 1=z =
n=0 n!z
y , y se sigue de la unicidad de las series de
n
Laurent que 0 es una singularidad esencial de z7 ! e =z .
1
Además, como el
residuo es 1, se tiene que, 8r > 0,
Z
e 1=z dz = 2i:
j z j =r
Ahora se establece un criterio para distinguir los diversos tipos de singulari-
dades. Este resultado se debe principalmente a Riemann.
130 CAPÍTULO 3. SERIES
4) lim (z
z !z 0
z0)k+1 f (z ) = 0.
bk =
1 Z
f (w)(w z0 )k 1 dw; fz 2 C j 0 < jw z j rg A:
2i jw z0 j=r
0
Dada " > 0, existe r> 0 tal que jf (w)j jw z j < " si jw z j r,
0 0
y por lo tanto
bk = 0; 8k 2 N :
ii) Aplicando i) a la función(z z )k f (z) se obtiene el resultado. Si z es
0 0
una singularidad removible o un polo de orden menor o igual a k , se sigue de
la expansión de Laurent que (z z )k f (z ) es analítica y se siguen 2), 3) y
0
4). Como 2) =) 4) y 3) =) 4), basta probar que 4) implica que z es 0
removible o polo de orden k.
Usando i), 4) implica que (z z 0 ) k f (z ) tiene una singularidad removible
en z0 , y como la serie de Laurent para (z z0 )k f (z ) se obtiene de la de
f (z ) multiplicandola término a t'ermino por (z z0)k , (ya que estas series
son únicas) se sigue el resultado. f (z ) no puede tener un polo de orden mayor
a k si (z z0 )k f (z ) es holomorfa en una vecindad de z0 .
iii) Se sigue de ii) que si lim f (z)(z
n!1
z0 )
z0 es una singu-
existe, entonces
1
X 1
X
f (z ) = an (z z0 )n = (z z0 )k an (z z0 )n k = (z z0 )k g(z );
n=k n=k
donde g es analítica y g(z ) 6= 0, ya que 8z 6= z se puede factorizar
0 0
(z z )k , puesto que ambas series divergen o convergen simultaneamente, y si
0
z = z , las dos series son 0.
0
132 CAPÍTULO 3. SERIES
(z z0 )k
z0 ,
f (z )
es una función analítica en una vecindad agujerada de sin
z0
1 z0 )
g(z )
embargo es una singularidad removible ( es analítica en y el
1 6= 0,
g(z0 )
valor de la función ahí es se sigue entonces del teorema 3.15-iv)
g(z ) (z z )k g(z ) 0
1 en una
0 0
vecindad de z ) . 0
Finalmente, si h es analítica en una vecindad de z , h(z ) 6= 0 y f
1
0 0
h(z )g(z ) =
(z z0)k h(z) g(z0 )h(z0 ) 6= 0,
h
f (z )
es analítica con y por lo tanto
f
tiene un polo de orden k en z0 .
Singularidades Esenciales
Observación. Si f tiene un polo de orden k en z0 , entonces
lim jf (z)j = 1:
z!z0
h(z )
f (z ) = h(z0 ) 6= 0, así
Esto es cierto ya que
(z z )k , con h0
analítica y
M
que jf (z )j si z está cerca de z0 , y como lim M = 1,
jz z0 j k z!z0 jz z0 jk
3.3. SERIES DE LAURENT. CLASIFICACIÓN DE SINGULARIDADES 133
se obtiene
lim jf (z)j = 1:
z!z0
Sin embargo en el caso de singularidades esenciales no sucede nada parecido.
jf (z ) wj > "; 8z 2 U n fz g : 0
Ahora sea
g (z ) =
1 ;
f (z ) w
1 = f (z) w f (z ) =
1 + w;
g (z ) g(z )
ó
z+1
(a) , z0 = 0, r1 = 0, r2 = 1.
z
134 CAPÍTULO 3. SERIES
z
z0 = i, r1 = 0, r2 = 2.
z2 + 1
(b) ,
Solución.
z+1
(a)
z
= z1 + 1. Por unicidad, ésta es la serie de Laurent. El residuo es 1.
= z z
= 1 + 1 :
z + 1 (z + i)(z i) 2(z i) 2(z + i)
2
1 es analítica cerca de z = i.
z+i
Ahora, 0
1 = 1 = 1
z + i z ( i) z i
2i 1 i i
1 n
= 1 z i = 21i ( 1)n z 2i i ;
X
2i 1 2i n =0
z0 = i
z
w= i
1 1
= = 1
z w z0 w + z z0 z
( 0 w) 1
z z0
w z0
Por consiguiente
1 +1X 1
n (z i) ;
z n
z2
=
+ 1 2(z i) 4i n ( 1) (2i) n
=0
y el residuo es 1/2 .
3.3. SERIES DE LAURENT. CLASIFICACIÓN DE SINGULARIDADES 135
2. Determine el orden del polo de las siguientes funciones, y encuentre los resi-
duos.
(a)
cos z , z0 = 0.
z2
ez 1
(b) , z0 = 0.
z2
z+1
z0 = 0.
z 1
(c) ,
Solución.
cos z = 1 1 z + z = 1
2 4
1 z 2
z 2 z 2! 4!
2 z 2 2! + 4! +
que además nos da el valor del residuo: 1.
ez 1 = 1 1 + z + z + 1 = 1 + 1 + z + ;
2
z2 z 2 2! z 2! 3!
y por tanto 0 es un polo simple con residuo 1.
(c) f es analítica en z0 .
3. Determine cuales de las siguientes funciones tienen singularidades removibles
en z0 = 0.
senz
(a) .
z
ez
(b) .
z
(c)
(ez 1)2 .
z2
z
ez 1
(d) .
Solución.
vamente
sen z = 1 z z3
+ z
= 1
5
z
+
z 2 4
z z 3! 5! 3! 5! :
136 CAPÍTULO 3. SERIES
z
(b) lim e z = 1 y 0 es un polo simple.
z! z
0
ez 1
por lo que tiene una singularidad removible en 0.
fz 2 C j 0 < jz zj j < rj g ;
de modo que
1
X 1
X bm
f (z ) = am (z zj )m + :
m=0 m=1 (z zj )m
1
X bm
m converge en C n fzj g y lo
m=1 (z zj )
Recuerdese que la parte singular
1
X bm
teorema de Weierstrass,
(z zj )m
es analítica en C nf zj g. Denotamos
m=1
esta parte singular de f alrededor de zj como Sj (z ). Ahora, la función
n
X
g(z ) = f (z ) Sj (z )
j =1
es analítica en A nfz1 ; z2 ; : : : ; zn g. Se arma que z1 , z2 , : : : , zn son singula-
ridades removibles de g. Para demostrar esto, observese que en una vecindad
fz 2 C j 0 < jz zj j < rj g tal que no contenga a otras singularidades, se tiene
X1
f (z ) = am (z zj )m + Sj (z );
m=0
por lo cual
1
X j 1
X n
X
g(z ) = am (z zj )m Sk (z ) Sk (z );
m=0 k=1 k=j +1
así que lim g(z)
z!zj
existe, ya que Sk es anal'itica en zj , 8k 6= j . Con-
secuentemente,
Z g es analítica en A, y el teorema de Cauchy implica que
g = 0, por lo que
Z n Z
X
f = Sj :
j =1
Z 1
X bm
Sj , Sj
Para calcular
observese que es de la forma
m=1 (z
zj )m
, que
Z 1 Z
X bm
Sj = dz:
m
(z =1
zj )m
Estas integrales son todas cero, si m 6= 1, ya que
es una curva cerrada y
los integrandos son derivadas de otras funciones, obteniendose
Z
Sj = 2ib1 I (
; zj ):
jz j 2
Si P (z ) = an z + + a y jz j > 1,
n 0
jP (z )j jan j jz n j + + ja j jan j jz jn + + ja j jz jn
0 0
Escribiendo Q(z ) = am z
m + + a , tenemos que 0
am z m = Q(z ) a a z am z m 0 1 1
1
jam z mj jQ(z )j + ja j + ja zj + + am z m ;
0 1 1
1
por lo tanto
jQ(z )j jam z mj am z m 1
1
ja j : 0
140 CAPÍTULO 3. SERIES
Finalmente, si jam j jz j a = jz jm jam j a z m k jz jm
k < jam j, jz jm 1 1
a
() jz j ja j k , así que tomando R = ja aj k se obtiene la desigualdad
m m
que se deseaba.
Z 1 1 dx.
1 x4 + 1
Como ejemplo se evalua El integrando claramente satisfa-
ce las hipótesis del corolario 3.4, y las singularidades son e i=4 , e3 i=4 , e5 i=4
y e7 i=4 , denotando estas por 1 , 2 , 3 , y 4 , se tiene que son polos
simples, ya que
z j
lim
z!j z4 1
existe y es distinto de 0.
2 1
3 4
1
Figura 3.7: Puntos singulares de
z4 +1 .
lim z 1
= zlim 1
z!1 z4 1 !1 (z 2 )(z 3 )(z 4 )
= ( 1
1 2 )(1 3 )(1 4 )
= 2 1 =
1 ;
p 2 2
p i 4i 1
2 1
2
3.4. TEOREMA DEL RESIDUO. INTEGRALES DEFINIDAS 141
lim z 2 1
z!2 z 4 1 = zlim
!2 (z 1 )(z 3 )(z 4 )
= ( 1
2 1 )(2 3 )(2 4 )
= 2 21i = 4i1 :
p p 2 2
2 2 2
Por lo tanto
1 1 dx = 2i 1 =p2
Z
1 = 2 1
= 2
1 = p2 :
2
1 x4 +1 4i 1 4i 2 2 1 2
Integrales Trigonométricas
Teorema 3.21. Sea R(x; y) una función racional de x e y, y
R
1 z + 1 ; 1 z
1
f (z ) =
2 z 2i z
;
iz
supóngase también que f no tiene polos en el círculo unitario, entonces
Z 2 X
R(cos ; sen ) d = 2i fResiduos de f en jz j < 1 g :
0
Z Z 2 Z 2
f= f (ei )iei d = R(cos ; sen ) d:
0 0
Z 2
d
a > 0; a 6= 1:
0 1+a 2 2a cos ;
142 CAPÍTULO 3. SERIES
f (z ) =
1 =
1
iz 1 + a
2 a 1 i(z + za az a)
2 z+z
2 2
2
= a z (a +i = )z + 1 = a(z a)(i z =a ) ;
2
a 1 1
i i
a > 1, Res(f; =a ) = =
a( =a a) 1 a
Si 1 , y por lo tanto,
1 2
Z 2
8
> 2 a < 1,
d <
1 a si
2a cos = >
2
1+a : 2 a > 1.
2
0
a 1
si
2
Bibliografía
[1] Robert G. Bartle. Introducción al Análisis Matemático. Limusa, primera
edición.
143