Documentos de Académico
Documentos de Profesional
Documentos de Cultura
GARMENDIA
CAPTULO 5
Singularidades y residuos
cociente de dos funciones holomorfas, ya que los ceros del denominador van a
5.1. SINGULARIDADES
holomorfa.
Definicin 5.1.1:
holomorfa.
Definicin 5.1.2:
z a | < R}.
BR (a).
singularidades aisladas.
Ejemplos resueltos
1 senz 4z
f(z) = sen , f(z) = , f(z) = .
2
z z z +1
respectivamente.
1
Ejemplo 5.1.2: Determinar las singularidades de la funcin f(z) = .
1
sen
z
aislada, ya que no existe ningn entorno del origen donde la funcin sea
holomorfa.
Ejercicios
senz si z2
a) f(z) = ,
0 si z=2
e z si z 1
b) f(z) = ,
1 si z =1
1
c) f(z) = ,
z
1
d) f(z) = .
z3
(Solucin: a) z = 2, b) z = 1, c) z = 0, d) z = 3).
z
a) f(z) = ,
z +3
2
1
b) f(z) = exp( ),
z
z +1
c) f(z) = ,
z 3 ( z 2 + 1)
1
d) f(z) = sen( ).
z
(Solucin: a) z = i 3 , b) z = 0, c) z = 0, i, i, d) z = 0).
248 Captulo 5: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
1
5.3. Analizar las singularidades de la funcin: f(z) = .
1
sen( )
z
1
(Solucin: Tiene singularidades aisladas en z = , pero en z = 0 tiene una
n
singularidad no aislada.
0.
sino un punto singular no aislado ya que todos los puntos del semieje real
1
5.5. Analizar las singularidades de la funcin: f(z) = .
sen( )
z
1
(Solucin: Tiene singularidades aisladas en z = , para n entero, y
n
AISLADAS
Singularidades evitables
Polos
Singularidades esenciales
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Singularidades y residuos 249
Definicin 5.2.1:
holomorfa g: B R (a) C tal que g(z) = f(z) para todo z del conjunto BR (a) = {z;
BR (a).
Caracterizacin 5.2.1:
lm f ( z ) lm ( z a ) f ( z ) = 0 .
z a z a
5.2.2. Polos
Definicin 5.2.2:
lm f ( z ) = .
z a
polo.
z = a. As existe una dualidad entre estos dos conceptos. De acuerdo con las
Proposicin 5.2.2:
g( z )
C, con g(a) 0 tal que f ( z ) = .
( z a )m
polo simple.
Caracterizacin 5.2.3:
lm f ( z ) =
z a
lm ( z a )k f ( z ) = si m > k
z a
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Singularidades y residuos 251
lm ( z a )k f ( z ) = 0 si m < k.
z a
Definicin 5.2.3:
no existe el lmite: lm f ( z ) .
z a
Lo que es equivalente:
Demostracin:
1
. Entonces g(z) = estara acotada en Br (a) por lo que la
f(z) w
1
singularidad en a sera evitable, y en consecuencia la funcin f(z) = w +
g( z )
252 Captulo 5: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
lm g ( z ) 0).
z a
afirma que, en las condiciones anteriores, f toma como valores todos los
nmeros complejos infinitas veces salvo quizs con una nica posible
excepto dos valores f(B (a)) C/{b, c}, entonces a no es una singularidad
esencial de f.
Para todo > 0 el conjunto {w; w = e1/z, 0 < z < } es C/{0}, pues la funcin
n!z n ).
1
e1 / z =
n =0
tiene una singularidad evitable en a y por tanto existe una funcin holomorfa
g( z )
g(z) en un entorno de a tal que f ( z ) = con g(a) 0.
( z a )m
Definicin 5.2.4:
En consecuencia, f(z) = an ( z a ) n donde a n = 0 para todo n desde 0
n =0
hasta k 1.
Teorema 5.2.6:
g son holomorfas sobre una regin G y coinciden sobre un conjunto que tenga
Ejemplos resueltos
senz si z 2
1. f1( z ) = tiene una singularidad aislada y evitable en z =
0 si z = 2
2.
e z si z 1
2. f2 ( z ) = tiene una singularidad aislada y evitable en z = 1
1 si z = 1
1
3. f3 ( z ) = tiene un polo de orden 1 en z = 1.
z
1
4. f 4 ( z ) = tiene un polo de orden 4 en z = 3.
( z 3 )4
z
5. f5 ( z ) = tiene dos polos de orden 1 en i 3 y en i 3 .
z2 + 3
z +1
6. f6 ( z ) = tiene un polo de orden tres en 0 y dos polos de
z ( z 2 + 1)
3
orden uno en i y i.
1
8. f 8 (z) = sen(1/z) tiene en z = 0 una singularidad no aislada, y en z = ,
n
n N, polos simples.
0:
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Singularidades y residuos 255
1 cos z
1) La funcin g 1 (z) = tiene en z = 0 una singularidad evitable,
z2
1 cos z
pues lm z = 0.
z 0 z2
senz
2) La funcin g 2 (z) = tiene en z = 0 una singularidad evitable, pues
z
senz
lm z = 0.
z 0 z
e z si z0
3) La funcin g 3 (z) = tiene en z = 0 una singularidad
0 si z=0
1 cos z
4) La funcin g 4 (z) = tiene en z = 0 una singularidad evitable,
z
1 cos z
pues lm z = 0.
z 0 z
1 cos z
1) La funcin h 1 (z) = tiene en z = 1 un polo de orden dos, pues
( z 1)2
1 cos z
lm (z 1)2 = 1 cos(1) 0.
z 1 ( z 1)2
1 cos z
2) La funcin h 2 (z) = tiene en z = 1 un polo de orden dos, pues
z 3 ( z 1)2
1 cos z
lm (z 1)2 = 1 cos(1) 0.
z 1 z 3 ( z 1)2
1 cos z
3) La funcin h 3 (z) = tiene en z = 1 un polo de orden dos, pues
( z 2 1)2
256 Captulo 5: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
1 cos z
lm (z 1)2 = (1 cos(1))/2 0.
z 1 ( z 2 1)2
1
La funcin f 1 (z) = exp( ) tiene en z = 0 una singularidad esencial pues es
z
Ejercicios
senz ez 1 senz
funciones siguientes: f 1 (z) = , f 2 (z) = , f 3 (z) = exp(
z2 z3 z2
( z 1)
), f 4 (z) = .
2
( z 1)( z + 3 )
siguientes:
ez 1
a) f(z) =
z 2 sen 3 z
ez
b) f(z) =
z 2 tg 3 z
senz
c) f(z) =
zk
1 cos z
d) f(z) = .
sen 2 z e z
+
La serie de Laurent centrada en z0 , an .( z z0 ) n es convergente en r
n =
+
< z z0 < R siendo su parte regular o analtica: an .( z z0 ) n , y su parte
n =0
+
principal: a m .( z z0 ) m .
m =1
1
Se demostr en el captulo 3, seccin 3.5, que = lm sup n an , y que
R n
excepto el punto z0 si R = +.
258 Captulo 5: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
dos dominios, es decir en la corona circular D = {z; r < z z 0 < R}. Adems
+
medio de f ( z ) = an .( z z0 )n .
n =
Laurent
integrales, una a travs del crculo interior y otra a travs del exterior. Se
1 f(z)
ak =
2i ( z z0 ) k +1
dz , ( k = 0, 1, 2, ...) .
+
la serie de Laurent se obtiene que si f(z) = an .( z z0 )n y
n =
+
( z ) = bn .( z z0 )n son dos series de Laurent convergentes en las
n =
de la serie de Laurent
+
aislada de f y f(z) = an ( z z0 ) n es su desarrollo de Laurent en un disco
n =
pinchado Br (z 0 ), se tiene:
todo n 1.
parte principal.
Ejemplos resueltos
( z + 1) 2 1
1. f(z) = =z+2+ .
z z
1 1 1 1 1 1
2. g(z) = = = (1 + z + z2 + ...) = + + 1 + z + z2 + ...
2
z (1 z ) z2 1 z z 2
z 2 z
1
1 1 1 1 1 1
3. h(z) = exp = =1+ + + ... + + ...
z n =0 n! z n z 2z 2 n! z n
1
cero de las potencias negativas es el de .
z
1
de cero de las potencias negativas es el de .
z2
Ejercicios
1 1 n
1
a) f(z) = = z .
( z 2 )( z 3 ) n +1 n +1
n =0 2 3
1 1
b) f(z) = = ( z 2 )n .
( z 2 )( z 3 ) z 2 n =0
( 1) n
1
c) f(z) = = .
( z 2 )( z 3 ) n =1( z 3 ) n + 2
262 Captulo 5: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
5.4. RESIDUOS
Definicin 5.4.1:
+
Sea z0 una singularidad aislada de f y sea f(z) = an .( z z0 )n , z
n =
1 de la serie de Laurent.
+
Laurent f(z) = an .( z z0 )n , resulta que f ( z )dz = a -1 2iI (z 0 ). Este
+ +
f ( z )dz = ( an .( z z0 ) an . ( z z0 )n dz =
n
)dz =
1
a 1 ( z z0 ) dz = a -1 2iI (z0 ).
Teorema 5.4.1:
n
z 1 , ..., zn ; entonces: f ( z )dz = 2i I (zk )Res(f, z k ).
k =1
Entonces:
f = f 1
+ ... + f k
= 2iRes(f, z 1 ) + + 2iRes(f, zk ).
n
1
homtopo a 0 en G, entonces:
2i f ( z ).dz = I( zk ) Res( f , zk ) .
k =1
La obtencin general del residuo se realiza por medio del clculo del
Proposicin 5.4.2:
siguientes expresiones:
k = 1: Res( f , z0 ) = lm ( z z0 ) f ( z )
z z0
k > 1 : Res( f , z0 ) =
1
lm
d k 1
( k 1)! z z 0 dz0 k 1
[
( z z0 )k .f ( z )]
Demostracin:
En efecto:
+
Sea f(z) = an .( z z0 )n en un disco B r (z 0 ). Si f tiene una
n =
+ +
a 1
f(z) = an .( z z0 )n = + an ( z z0 ) n
n = 1
z z0 n = 0
+ +
a 2 a 1
f(z) = an .( z z0 )n = + + a n ( z z0 ) n
n = 2 ( z z0 ) 2 z z0 n = 0
(z z 0 )2f(z) = a -2 + a -1 (z z 0 ) + a 0 (z z 0 )2 + ...
266 Captulo 5: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
d
((z z0 )2f(z)) = a -1 + 2a 0 (z z 0 ) + 3a 1 (z z 0 )2 + ...
dz
d
lm ( ((z z 0 )2f(z))) = a -1 = Res(f, z0 ).
z z0 dz
+ +
a m a 1
f(z) = a n ( z z0 ) n = + ... + + an ( z z0 ) n
n = m ( z z0 ) m z z0 n = 0
d m 1
((z z0 )mf(z)) = (m 1)!a -1 + m! a 0 (z z 0 ) + ...
m 1
dz
d m 1
lm ( ((z z0 )mf(z))) = (m 1)!a -1
z z0 m 1
dz
1 d m 1
( lm ( ((z z0 )mf(z)))) = a -1 = Res(f, z0 ).
( m 1)! z z 0 dz m 1
Proposicin 5.4.3:
g ( z0 )
g(z0 ) 0 y h(z0 ) = 0 siendo h(z 0 ) 0 entonces Res(f, z0 ) = .
h' ( z0 )
Demostracin:
g( z ) g ( z0 )
Res(f, z0 ) = lm ( z z0 ) f ( z ) = lm ( z z0 ) = .
z z0 z z0 h( z ) h' ( z0 )
g ( z0 )
Res(f, z0 ) = .
h' ( z0 )
Proposicin 5.4.4:
g( z )
Si g es una funcin holomorfa en un entorno de z0 , y si f ( z ) =
( z z0 ) m
g m 1) ( z0 )
con g(z0 ) 0 entonces Res(f, z0 ) = .
( m 1)!
Demostracin:
tanto:
1 d m 1
Res(f, z0 ) = ( lm ( ((z z0 )mf(z)))) =
( m 1)! z z 0 dz m 1
1 d m 1 g( z )
( lm ( ((z z 0 )m ))) =
( m 1)! z z 0 dz m 1 ( z z0 ) m
1 d m 1 g m 1) ( z0 )
( lm ( (g(z)))) = .
( m 1)! z z 0 dz m 1 ( m 1)!
Se supone que f(z) es holomorfa en cada punto z tal que z > r, para
y continuidad cerca de .
decir, f*(z) = 1/zk, que tiene un polo de orden k en z = 0, por lo que f(z) = zk
z = un polo de orden k.
Laurent es la misma que en el caso finito, salvo que quedan intercambiados los
papeles de las potencias positivas y negativas. As, la parte principal pasa a ser
negativas. Hasta el momento se han evaluado los residuos en puntos finitos del
Definicin 5.4.2:
+
f(z) = an .z n , R < z < + .
n =
k en z = 0.
k en z = 0.
1
f( )
f * (z)
Res(f, ) = Res( , 0) = Res( z , 0).
z 2
z2
Proposicin 5.4.5:
Si es una curva cerrada simple recorrida una vez en sentido positivo (el
sentido contrario al de las agujas del reloj), y f es una funcin que no tiene
f = 2iRes(f, ).
Demostracin:
2
f = z =R f = 0 f(Reit)iReitdt.
Por otra parte f*(z) = f(1/z) no tiene singularidades en z < 1/R (salvo en
1 1 1 1
2iRes(f, ) = 2iRes( f( ), 0) =
z2 z
1
f dz =
z = z2 z
R
2 i it 2
0 R2e-2itf(Re-it)
R
e dt =
0
iRe-itf(Re-it)dt
0 2
= 2 iReisf(Reis)ds = 0 iReisf(Reis)ds = f
La penltima igualdad se obtiene teniendo en cuenta que la funcin f(z) =
Corolario 5.4.6:
puede explicar por el hecho de que si se tiene un camino cuya traza rodea a
contrario a las agujas del reloj, ya que, en esta situacin, dichos puntos quedan
traza del camino. Si se quiere hacer lo mismo con un camino circular y el punto
Corolario 5.4.7:
Sea una funcin f analtica en un entorno reducido del infinito, {z; R < z
+
f(z) = an z n , R < z < + .
n =
Entonces Res(f, ) = a -1 .
Demostracin:
1
f( ) + n
1
1
Se sabe que Res(f, ) = Res( z , 0) = Res( an , 0) ,
z2 z 2 n = z
+ n
1 1
1 a a
Pero an = ... + a n z n + ... + a 1 z + a0 + 1 + 2 + ...
z 2 n = z z2 z z2
a a
= ... + a n z n 2 + ... + a 1 z 1 + 0 + 1 + ... .
z2 z3
Por tanto:
+ n
1
1
Res( an , 0) = a -1 ,
z 2 n = z
y en consecuencia:
Res(f, ) = a -1 .
f ( z ) dz = 2i a1 , lo que tambin explica el hecho de que el residuo de f
Ejemplos resueltos
1 1 1
, 1), c) Res( , ).
2 2
( 2z + 1)( z 1) ( 2z + 1)( z 1) 2
cos z
En a) cotg z = se verifican las condiciones de la proposicin
senz
cos z cos 0 1
5.4.3, por lo que Res(cotg z, 0) = Res( , 0) = = .
senz ( sen0 )'
1 d d 1
Res( , 1) = lm ( ((z 1)2f(z))) = lm ( )=
( 2z + 1)( z 1) 2 z 1 dz z 1 dz ( 2z + 1)
2 2
lm ( )= .
z 1 ( 2z + 1)2 9
1
En c) la funcin tiene un polo simple en z = , por lo que:
2
1 1 1 1
Res( , )= lm ((z ) )=
2 2 ( 2z + 1)( z 1) 2
( 2z + 1)( z 1) 2
z
1
2
1 2
lm = .
1 2 ( z 1) 2 9
z
2
residuo:
dz
a) z 2 + 2z 3 , donde (t) = 2eit, 0 t 2.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Singularidades y residuos 273
e z dz
b) z2
, donde (t) = 2eit, 0 t 2.
( z 2 1) dz
c) 2
z +1
, donde (t) = 2eit, 0 t 2.
En los tres ejemplos, la curva est recorrida una vez y en sentido positivo,
dz dz 1 i
z 2 + 2z 3 = ( z + 3 )( z 1) = 2iI (1)Res(f, 1) = 2i1 lm
z 1 z + 3
=
2
.
e z dz
z2
= 2iI (1)Res(f, 0) = 2i1 = 2i,
ez d 2 ez
pues Res( , 0) = lm ( (z )) = lm ez = 1.
z2 z 0 dz z 2 z 0
circunferencia:
( z 2 1) dz
z2 + 1
= 2iI (i)Res(f, i) + 2iI (i)Res(f, i) = 0,
( z 2 1) ( z 2 1)
pues Res( , i) = lm ( ) = i, ya que f es de la forma f = g/h, y
z2 + 1 z i 2z
274 Captulo 5: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
g( i ) ( z 2 1) ( z 2 1)
Res(f, i) = . De igual modo Res( ,i) = lm ( ) = i.
h' ( i ) z2 + 1 z i 2z
integrales:
( z 1)3
a) z = 4 z( z + 2 )3 dz
1
b) z = 5 z 2 + 2z 3dz .
1 1
f = 2iRes(f, ) = 2iRes( f , 0).
z2 z
3
1
1
1 1 1 z
En la integral a) f = 2iRes( f , 0) = 2iRes(
z2 z
z2 1 1
3
, 0)
+ 2
zz
1 (1 z )3
= 2iRes( , 0) = 2i. pues esta funcin tiene un polo simple en z =
z (1 + 2z )3
0 y su residuo vale 1.
En la integral b)
1 1 1 1
f = 2iRes( f , 0) = 2iRes(
z2 z
z 2 1 2
1
, 0) =
+ 2 3
z z
1
2iRes( , 0) = 0,
1 + 2z 3 z 2
2 dx + dx
integrales complejas: a) 0 10 6 cos x
b)
1+ x 2
.
1
ix ix z+
dz e +e z.
dz = ieixdx dx = . cos x = =
iz 2 2
dz
2 dx 1 dz
I = 0 10 6 cos x
= 1
iz =
i 10z 3z 2 3
=
10 6( z + ) / 2
z
dz
i
( 3z 1)( z 3 )
.
por lo que:
1
I = i2iRes( , 1/3) =
( 3z 1)( z 3 ) 4
+ dx
b) Para calcular la integral 1 + x 2 se toma como recinto un
Por tanto:
1
f = 2iRes(
1+ z 2
, i) = = f 1
+ f
2
. (5.1)
1 1
f
2
Long( 2 ). mx
z 2 1+ z 2
= R
2
R 1
.
obtiene:
+ dx 1 + dx
= 1 + x 2 + lm (R
R 2
R 1
)= 1 + x 2 .
Ejercicios
1
a) Res( , 1).
z z2
1
b) Res( , 0).
z z2
c) Res(cotg z, 0).
1
d) Res( , i).
z4 1
1 i
(Solucin: a) 1; b) 1; c) ; d) )
3
5.10. Calcular los residuos del ejercicio anterior, utilizando que Res(f, z0 )
g ( z0 )
= :
h' ( z0 )
singularidades aisladas:
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Singularidades y residuos 277
1
a) f(z) = .
( z 2 + 1)3
1
b) f(z) = .
1+ z 4
c) f(z) = cot gz .
z2
2k + 1 2k + 1
3i i 1 i
(Solucin: a) Res(f, i) = = Res(f, i); b) Res(f, e 4 )= e 4 ,
8 4
2 1
para k = 0, 1, 2 y 3; c) Res(f, 0) = , Res(f, n) = , si n 0)
3 n2
g m 1) ( z0 )
g( z )
5.12. Demostrar la expresin Res( , z0 ) =
( z z0 ) m ( m 1)!
e iz
a) Res( , 0).
z4
1
b) Res( , 0).
z4
i
(Solucin: a) ; b) 0)
6
dz
5.14. Calcular la integral 1 + z 4 utilizando el teorema del residuo,
+ dx
utilizar el resultado para calcular la integral real: 1 + x 4 .
278 Captulo 5: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
2 2
(Solucin: ; )
2 2
ENTERAS
en este libro.
Definicin 5.5.1:
Por tanto:
meromorfa.
meromorfa.
f(z)
para comprobar que si la funcin tiene un polo simple en z = a su residuo
z a
1 f(z) f(z)
2i z a
dz = I ( a ) Res(
z a
,a ) = I ( a ) f ( a ) .
f' ( z )
cero de orden h, la funcin tiene en z = a un polo simple con residuo h.
f(z)
1 f' ( z ) f' ( z )
2i f ( z )
dz = I ( a ) Res(
f(z)
,a ) = I ( a ) h
n m
1 f' ( z )
2i f ( z )
dz = I ( zk ) I ( p j ).
k =1 j =1
Teorema 5.5.2:
analtica en G, entonces
n m
1 f' ( z )
2i g( z )
f(z)
dz = g ( zi ).I ( zi ) g ( p j ).I ( p j )
i =1 j =1
compara la primera versin del principio del argumento con los comentarios
n m
f' ( z )
funcin es una primitiva de y as 2i I ( zk ) I ( p j ) representa
f(z) k =1 j =1
n m
iarg(f(z)). As, arg(f(z)) cambia en 2
k =1
I ( zk )
I ( p j ) cuando z
j = 1
recorre .
z ( z 3 )2 ( z 6 )
ejemplo concreto como f(z) = , y una curva que tiene de
z+2
efecto: z da una vuelta en torno a 0, (z 3)2 da dos vueltas alrededor del origen
f' ( z )
situacin planteada se tiene que f ( z ) dz = 0 ya que es una funcin que
admite primitiva. Una justificacin completa se puede hacer por medio del lema
1
Conway, J.: Functions of One Complex Variable. Springer-Verlang. (2 edicin). 1984.
282 Captulo 5: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
n m
g(z) < f(z), z (). Entonces pi I ( i ) = q j .I ( j ) donde , ...,
1
i =1 j =1
n son los ceros de f con multiplicidades p 1 , ..., p n y 1 , ..., m son los ceros de
precisamente la frontera del disco. En este caso, los ndices son iguales a uno
y el resultado dice que f y g tienen el mismo nmero de ceros dentro del disco,
relacin entre los ceros de las funciones de una sucesin y los de la funcin
lmite.
idnticamente nula.
Sea G una regin, f una funcin analtica sobre G, a 1 , ..., a m los puntos de
G en los que f(z) = y un camino con traza contenida en G y que no pasa por
284 Captulo 5: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
a 1 , ..., a m . Entonces, por aplicacin del principio del argumento, se tiene que:
m
1 f' ( z )
2i f ( z )
dz = I ( ai ) .
i =1
que f toma el valor , esto es, los -puntos de f. Puede derivarse de esta
Teorema 5.5.5:
( )
C es tambin holomorfa y f 1 ( w ) =
1
f ( z )
, f(z) = w .
lugar al teorema del mdulo mximo, del cual se exponen a continuacin tres
notaciones:
G = G {}.
alcanza en la frontera de G:
mx{f(z); z G } = mx {f(z); z G}
existe una constante M tal que lm sup f(z) M para todo a G. Entonces
Sea 0 < R 1 < R 2 < + y se supone que f es holomorfa en {z; R 1 < z <
funciones son iguales. Con esto se obtiene un nuevo resultado sobre identidad
problema:
holomorfa en el interior?.
f es holomorfa y no constante en l.
observa que no es necesario imponer una restriccin tan fuerte, sino que es
ii) Para cada b B, y > 0, lm sup f ( z ) . ( z ) M entonces f(z)
z b
M para todo z G.
teorema anterior.
Corolario 5.5.12:
constantes positivas p y b < a tales que f(z) pexp(zb) para todo z con
Corolario 5.5.13:
constante p (que puede depender de ) tal que f(z) pexp(zw) para todo
M para todo z G.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Singularidades y residuos 289
mdulo mximo, que permite, por otra parte, caracterizar las aplicaciones
algn z 0, existe una constante c con mdulo uno, tal que f(z) = cz para todo
subconjunto del disco z r (0 < r < 1), entonces los valores de f(z) estn
z
Mbius de la forma = .
1 .z
290 Captulo 5: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
z r (0 < r < 1) entonces (z) r. Como f(z) = g((z)) esto implica que la
Definicin 5.5.2:
entonces existe una funcin entera g(z) tal que f(z) = exp(g(z)).
constante.
z 0 con mdulo r. Se representa por M(r), o por M(r, f), si se quiere hacer
M(r) = M(r, f) = mx f ( z ) .
z =r
por m(r). Es evidente que M(r) crece al crecer r. Se estudia la relacin entre
crecimiento del mdulo mximo, M(r), con el crecimiento del mdulo mnimo
m(r).
M( r ) M( r , P )
lm = lm = 1,
r an r n r M( r , an z n )
Proposicin 5.5.15:
M( r , P )
lm =0.
r M( r , f )
Definicin 5.5.3:
idnticamente nulo.
Definicin 5.5.4:
lg lg M( r , f ) lg lg M( r , f )
= lm sup = lm sup .
r lg lg M( r , e z ) r lg r
nmero entero.
siguientes resultados:
f(z) = AP(z), tiene infinitas races para todo nmero complejo A sin
excepciones.
Proposicin 5.5.16:
excepciones.
superior del mdulo de una funcin en un crculo a partir de cotas de sus partes
es como sigue:
Definicin 5.5.5:
Se dice que una funcin entera f(z) tiene orden finito si existe una
constante tal que f(z) < exp r para z = r, y r mayor que un cierto r 0 .
igual a 2 .
Definicin 5.5.6:
Dada una funcin entera f(z) de orden finito , si se supone que existe un
k > 0 tal que M(r, f) < exp(kr), con r suficientemente grande, entonces se dice
5.6. EJERCICIOS
2z + 3
a) f(z) = Log( ),
z 1
b) f(z) = Im( z 2 ).
1
c) f(z) = .
z 2 senz
z
d) f(z) = .
ez 1
1
5.16. Analizar las singularidades de la funcin: f(z) = .
1
cos( )
z
1
5.17. Analizar las singularidades de la funcin: f(z) = .
1
tan g ( )
z
siguientes:
1
a) f(z) = .
2
z senz
z
b) f(z) = .
ez 1
sen 2 z
c) f(z) = .
z2
z
d) f(z) = .
z
( e 1) cos z
298 Captulo 5: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
siguientes:
( z + 1)
a) f(z) = .
( z 3 ) 2 sen 3 z
z
b) f(z) = .
1
e z 1
sen 2 z
c) f(z) = .
( z + 5 ) 2 ( z 1)3
2( z + 3 )
d) f(z) = .
z 1
( e 1) cos( )
z
1
a) f(z) = en z = 2.
( z + 2 )( z 3 )
1
b) f(z) = en z = 2.
3
( z + 2) ( z 3)
( z 1)3
c) f(z) = en z = 2.
( z + 2 )3 z
1
d) f(z) = en z = 0.
3
z senz
1
a) Res( , 0).
3
z senz
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Singularidades y residuos 299
( z 1)3
b) Res( , 2).
( z + 2 )3 z
1
c) Res( ,2).
( z + 2 )3 ( z 3 )
z
d) Res( , 0).
( z 3 )2 sen 3 z
residuo:
( z 1)3 dz
a) z ( z + 2)
, donde (t) = 3eit, 0 t 2.
cos z dz
b) ( z + 2 )2 ( e z 1) , donde (t) = eit, 0 t 2.
senz dz
z 2 ( z 2 + 1)( z + 5 ) , donde (t) = 4e , 0 t 2.
it
c)
i 1 5i seni
(Solucin: a) 2i; b) ; c) 2i( + ))
2 5 26
dz
5.23. Calcular la integral I m = m z 2 ( senz )
si la traza de m es el
2m + 1
cuadrado de vrtices los puntos: ( 1 i ) y utilizar el
2
( 1) n
resultado para calcular la suma de la serie: s = 2
.
n =1 n
m
( 1) n 2
1
(Solucin: I m =2i( + 2 ); s = )
2 2
n =1 n
6 12
300 Captulo 5: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
2
1
5.24. Deducir que = .
2 6
n =1n
cot gz dz
(Ayuda: Evaluar la integral I m = m z2
cuando la traza
2m + 1
de m es el cuadrado de vrtices los puntos: ( 1 i ) )
2
4
1
5.25. Deducir que = .
4 90
n =1n
complejas:
+ ( 2 x 2 1) dx
a) 0 4 2
x + 5x + 4
.
+ x 2 dx
b) 0 ( x 2 + 9 )( x 2 + 4 )2
.
+ dx
c) 0 ( x 2 + 1) 2 ( x 2 + 4 )
.
(Solucin: a) ; b) ; c) )
4 200 18
+ dx 2
5.27. Demostrar que 0 x +13
=
3 3
.
2
i
segmento [ Re 3 , 0]. Calcular el lmite cuando R tiende a infinito.)
+ P ( x ) senx
siguientes integrales reales, Q( x ) cos x dx , donde P(x) y Q(x)
son polinomios, y aplicarlo a los siguientes ejemplos:
+ cos x dx
a) x 2 + x + 1 .
+ senx dx
b) x 2 + x + 1 .
(Solucin: Se calcula la integral compleja en el semicrculo,
3
2e 2
parte imaginaria. a) ; b) )
3 3
+ senx dx
5.29. Calcular x2
.
integrales:
( z 1)3 dz
z 2 ( z 2 + a ) , donde (t) = 5e , 0 t 2.
it
a)
cos z dz
b) ( z + 2 )7 ( e z 1) , donde (t) = 7eit, 0 t 2.
senz dz
c) z 5 ( z 2 + 1)3 ( z + 5 )2 , donde (t) = 6eit, 0 t 2.
z 3 cos( z 2 ) dz
Calcular ( z 1)
.
zA
transformacin de Mbius f(z) = k , donde k, A y B son
zB
simple cualquiera.
( 2 z 2 z 4 ) dz
5.33. Calcular la integral ( e z + e z ) (1 cos 2 z ) utilizando el
7 it
teorema del residuo, donde (t) = e , 0 t 2.
2
residuo:
e z dz
a) ( z 1)2 , donde (t) = 2eit, 0 t 6.
1
b) ( z z0 ) 2 dz , donde (t) = z0 + 2eit, t .
(2, 2), (2, 2), (2, 2), (2, 2), calcular las siguientes integrales:
z 2 dz
a) ( + z )( z i )
, donde se recorre dos veces en sentido negativo.
e cos z dz
b) ( 9 z 2 )( z + ) , donde se recorre tres veces en sentido positivo.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Singularidades y residuos 303
2
a) ( 1 + z + z ) e dz .
z
(1 + z + z
2
b) )e 4
z dz .
1 1
( 1 + z + z ) ( e z + e z 4 ) dz .
2
c)
3z 2 cos z dz
5.37. Calcular (1 z 2 ) ( z 3i ) sen 2 z ,
1 it
c) donde (t) = e , 0 t 4.
4
1 it
d) donde (t) = e , 2 t 0.
4
3 it
5.38. Calcular las siguientes integrales donde (t) = e , 0 t 2.
4
( 1 4z ) dz
a) (1 z )2 (1 2z ) .
1
z
5
b) cos dz .
z
304 Captulo 5: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
dz
senz 2 , donde (t) = e , 0 t 6, obteniendo
it
5.39. Calcular
( 3z sen 2z + 3( z 1) cos z ) dz
5.40. Calcular ( z 1)2
, donde la traza de
z dz
e z 1 , donde (t) = 4e (1 i), 0 t 2.
it
5.41. Calcular
(Solucin: 42)
5
= z4cos .
z
2i 5 6
(Solucin: )
6!
dz
a) e z + 1 .
dz
b) e 2z + 2e z + 1 .
e z + 3i
5.44. Dada la funcin f ( z ) = :
( z + 3i ) 4
i
(Solucin: f =
3
)
senz dz
z(cos z 1) , donde (t) = 3e , 0 t 2.
it
5.45. Calcular
(Solucin: 0)
2tghz dz
e z (cos z 1) , donde (t) = e , 0 t 4, siendo tgh z
it
5.46. Calcular
2tghz
.
z
e (cos z 1)
(Solucin: f = 16i)
1
e z 1
( 5z + cos z senx )dz , donde (t) = e , 0 t 4.
it
5.47. Calcular
4i
(Solucin: 2 2i )
5
= 1, 2, ...
dz
a) z 1 .
dz
b) z3
.
e z dz
c) z 3 + 9z .
it
1 e t
5.49. Calcular
z2 + idz , donde (t) =
2( t + )i
2
t
3
2.
2 2
2
(Solucin: ( 1 + i ) )
2
+
zn
5.50. Calcular f , donde (t) = eit, 0 t 2, y f ( z ) = n
.
n = 3
2
(Solucin: i )
3
1
cos z 1
5.51. Calcular ( z 2 ( e z 1 + ( z 2 )e z )dz , donde (t) = eit, 0 t 2.
(Solucin: 4i)
3z 2 cos z
5.52. Calcular (1 z 2 )( z 3i )sen 2 z dz , donde
a) (t) = 6eit, 0 t 4.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Singularidades y residuos 307
1 it
b) (t) = e , 2 t 0.
6
z
5.53. Calcular 4 dz , donde (t) = eit, 0 t 2.
cos 2 z sen 2 z