Documentos de Académico
Documentos de Profesional
Documentos de Cultura
GARMENDIA
CAPÍTULO 5
Singularidades y residuos
cociente de dos funciones holomorfas, ya que los ceros del denominador van a
5.1. SINGULARIDADES
holomorfa.
Definición 5.1.1:
holomorfa.
Definición 5.1.2:
z − a | < R}.
B’R (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 función f(z) = .
1
sen
z
aislada, ya que no existe ningún entorno del origen donde la función sea
holomorfa.
Ejercicios
senz si z≠2
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) = .
z−3
(Solución: 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
1
5.3. Analizar las singularidades de la función: f(z) = .
1
sen( )
z
1
(Solución: 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 función: f(z) = .
π
sen( )
z
1
(Solución: 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
Definición 5.2.1:
holomorfa g: B R (a) → C tal que g(z) = f(z) para todo z del conjunto B’R (a) = {z;
B’R (a).
Caracterización 5.2.1:
∃ lím f ( z ) ⇒ lím ( z − a ) ⋅ f ( z ) = 0 .
z →a z →a
5.2.2. Polos
Definición 5.2.2:
lím f ( z ) = ∞ .
z →a
polo.
z = a. Así existe una dualidad entre estos dos conceptos. De acuerdo con las
Proposición 5.2.2:
g( z )
C, con g(a) ≠ 0 tal que f ( z ) = .
( z − a )m
polo simple.
Caracterización 5.2.3:
lím f ( z ) = ∞
z →a
⇔ lím ( z − a )k ⋅ f ( z ) = ∞ si m > k
z →a
© M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Singularidades y residuos 251
lím ( z − a )k ⋅ f ( z ) = 0 si m < k.
z →a
Definición 5.2.3:
Lo que es equivalente:
Demostración:
1
≥ ε. Entonces g(z) = estaría acotada en B’r (a) por lo que la
f(z) −w
1
singularidad en a sería evitable, y en consecuencia la función f(z) = w +
g( z )
252 Capítulo 5º: Variable Compleja © M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
tendría, bien un polo (si lím g ( z ) = 0) o bien una singularidad evitable (si
z →a
lím g ( z ) ≠ 0).
z →a
afirma que, en las condiciones anteriores, f toma como valores todos los
números complejos infinitas veces salvo quizás 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 función
∞
∑ n!⋅z n ).
1
e1 / z =
n =0
tiene una singularidad evitable en a y por tanto existe una función holomorfa
g( z )
g(z) en un entorno de a tal que f ( z ) = con g(a) ≠ 0.
( z − a )m
Definición 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 región 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
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 función g 1 (z) = tiene en z = 0 una singularidad evitable,
z2
1 − cos z
pues lím z⋅ = 0.
z →0 z2
senz
2) La función g 2 (z) = tiene en z = 0 una singularidad evitable, pues
z
senz
lím z⋅ = 0.
z →0 z
e z si z≠0
3) La función g 3 (z) = tiene en z = 0 una singularidad
0 si z=0
1 − cos z
4) La función g 4 (z) = tiene en z = 0 una singularidad evitable,
z
1 − cos z
pues lím z⋅ = 0.
z →0 z
1 − cos z
1) La función h 1 (z) = tiene en z = 1 un polo de orden dos, pues
( z − 1)2
1 − cos z
lím (z – 1)2⋅ = 1 – cos(1) ≠ 0.
z →1 ( z − 1)2
1 − cos z
2) La función h 2 (z) = tiene en z = 1 un polo de orden dos, pues
z 3 ( z − 1)2
1 − cos z
lím (z – 1)2⋅ = 1 – cos(1) ≠ 0.
z →1 z 3 ( z − 1)2
1 − cos z
3) La función h 3 (z) = tiene en z = 1 un polo de orden dos, pues
( z 2 − 1)2
256 Capítulo 5º: Variable Compleja © M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
1 − cos z
lím (z – 1)2⋅ = (1 – cos(1))/2 ≠ 0.
z →1 ( z 2 − 1)2
1
La función 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 analítica: ∑ an .( z − z0 ) n , y su parte
n =0
+∞
principal: ∑ a −m .( z − z0 ) −m .
m =1
1
Se demostró en el capítulo 3, sección 3.5, que = lím sup n an , y que
R n →∞
dos dominios, es decir en la corona circular D = {z; r < z − z 0 < R}. Además
+∞
medio de f ( z ) = ∑ an .( z − z0 )n .
n = −∞
Laurent
integrales, una a través del círculo interior y otra a través del exterior. Se
1 f(z)
ak = ∫
2πi γ ρ ( 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 = −∞
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 Capítulo 5º: Variable Compleja © M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
5.4. RESIDUOS
Definición 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 ⋅2πi⋅I γ (z 0 ). Este
−∞
primitiva para las funciones (z − z 0 )n para todo n ≠ −1, lo que anula dichas
+∞ +∞
∫ γ f ( z )dz = ∫ γ ( ∑ an .( z − z0 ) ∑ an .∫ γ ( z − z0 )n dz =
n
)dz =
−∞ −∞
−1
a −1 ⋅ ∫ γ ( z − z0 ) dz = a -1 ⋅2πi⋅I γ (z0 ).
dominio rodeado por γ más singularidades que z0 y que I γ (z0 ) = 1), el residuo:
Teorema 5.4.1:
n
z 1 , ..., zn ; entonces: ∫γ f ( z )dz = 2πi⋅ ∑ I γ (zk )⋅Res(f, z k ).
k =1
Entonces:
∫ fγ = ∫ fγ 1
+ ... + ∫ fγ k
= 2πi⋅Res(f, z 1 ) + … + 2πi⋅Res(f, zk ).
n
∑
1
homótopo a 0 en G, entonces:
2πi γ∫f ( z ).dz = Iγ( zk ) ⋅ Res( f , zk ) .
k =1
La obtención general del residuo se realiza por medio del cálculo del
Proposición 5.4.2:
siguientes expresiones:
k = 1: Res( f , z0 ) = lím ( z − z0 ) ⋅ f ( z )
z → z0
k > 1 : Res( f , z0 ) =
1
lím
d k −1
( k − 1)! z → z 0 dz0 k −1
[
( z − z0 )k .f ( z )]
Demostración:
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
d
((z – z0 )2⋅f(z)) = a -1 + 2a 0 ⋅(z – z 0 ) + 3a 1 ⋅(z – z 0 )2 + ... ⇒
dz
d
lím ( ((z – z 0 )2⋅f(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 )m⋅f(z)) = (m – 1)!⋅a -1 + m! ⋅a 0 ⋅(z – z 0 ) + ... ⇒
m −1
dz
d m −1
lím ( ((z – z0 )m⋅f(z))) = (m – 1)!⋅a -1 ⇒
z → z0 m −1
dz
1 d m −1
( lím ( ((z – z0 )m⋅f(z)))) = a -1 = Res(f, z0 ).
( m − 1)! z → z 0 dz m −1
Proposición 5.4.3:
g ( z0 )
g(z0 ) ≠ 0 y h(z0 ) = 0 siendo h’(z 0 ) ≠ 0 entonces Res(f, z0 ) = .
h' ( z0 )
Demostración:
g( z ) g ( z0 )
Res(f, z0 ) = lím ( z − z0 ) ⋅ f ( z ) = lím ( z − z0 ) ⋅ = .
z → z0 z → z0 h( z ) h' ( z0 )
g ( z0 )
Res(f, z0 ) = .
h' ( z0 )
Proposición 5.4.4:
g( z )
Si g es una función 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)!
Demostración:
tanto:
1 d m −1
Res(f, z0 ) = ( lím ( ((z – z0 )m⋅f(z)))) =
( m − 1)! z → z 0 dz m − 1
1 d m −1 g( z )
( lím ( ((z – z 0 )m⋅ ))) =
( m − 1)! z → z 0 dz m −1 ( z − z0 ) m
1 d m −1 g m −1) ( z0 )
( lím ( (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
Definición 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
Proposición 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 función que no tiene
Demostración:
2π
∫γf = ∫ z =R f = ∫0 f(R⋅eit)⋅i⋅R⋅eit⋅dt.
Por otra parte f*(z) = f(1/z) no tiene singularidades en z < 1/R (salvo en
1 1 1 1
−2πi⋅Res(f, ∞) = 2πi⋅Res( f( ), 0) =
z2 z
1 ∫
f ⋅dz =
z = z2 z
R
2π i it 2π
∫0 R2⋅e-2it⋅f(Re-it)⋅
R
⋅e ⋅dt =
0 ∫
i⋅R⋅e-it⋅f(R⋅e-it)⋅dt
0 2π
= ∫2π i⋅R⋅eis⋅f(R⋅eis)⋅ds = ∫0 i⋅R⋅eis⋅f(R⋅eis)⋅ds = ∫γf
La penúltima igualdad se obtiene teniendo en cuenta que la función 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 situación, 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 función f analítica en un entorno reducido del infinito, {z; R < z
+∞
f(z) = ∑ an ⋅ z n , R < z < +∞ .
n = −∞
Entonces Res(f, ∞) = − a -1 .
Demostración:
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 = −2πi ⋅ a−1 , lo que también explica el hecho de que el residuo de f
Ejemplos resueltos
Ejemplo 5.4.1: Calcular los siguientes residuos: a) Res(cotg πz, 0), b) Res(
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 proposición
senπz
cos πz cos π0 1
5.4.3, por lo que Res(cotg πz, 0) = Res( , 0) = = .
senπz ( senπ0 )' π
1 d d 1
Res( , 1) = lím ( ((z – 1)2⋅f(z))) = lím ( )=
( 2z + 1)( z − 1) 2 z →1 dz z →1 dz ( 2z + 1)
−2 −2
lím ( )= .
z →1 ( 2z + 1)2 9
−1
En c) la función tiene un polo simple en z = , por lo que:
2
1 −1 −1 1
Res( , )= lím ((z – ) )=
2 2 ( 2z + 1)( z − 1) 2
( 2z + 1)( z − 1) 2
z→−
1
2
1 2
lím = .
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) = 2πi⋅I γ (1)⋅Res(f, 1) = 2πi⋅1⋅ lím
z →1 z + 3
=
2
.
e z ⋅ dz
∫γ z2
= 2πi⋅I γ (1)⋅Res(f, 0) = 2πi⋅1 = 2πi,
ez d 2 ez
pues Res( , 0) = lím ( (z ⋅ )) = lím ez = 1.
z2 z → 0 dz z 2 z →0
circunferencia:
( z 2 − 1) ⋅ dz
∫γ z2 + 1
= 2πi⋅I γ (i)⋅Res(f, i) + 2πi⋅I γ (−i)⋅Res(f, −i) = 0,
( z 2 − 1) ( z 2 − 1)
pues Res( , i) = lím ( ) = i, ya que f es de la forma f = g/h, y
z2 + 1 z →i 2z
274 Capítulo 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) = lím ( ) = −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 = −2πi⋅Res(f, ∞) = −2πi⋅Res( f , 0).
z2 z
3
1
− 1
−1 1 −1 z
γ ∫
En la integral a) f = −2πi⋅Res( f , 0) = −2πi⋅Res(
z2 z
⋅
z2 1 1
3
, 0)
+ 2
zz
− 1 (1 − z )3
= −2πi⋅Res( ⋅ , 0) = 2πi. pues esta función tiene un polo simple en z =
z (1 + 2z )3
En la integral b)
−1 1 −1 1
∫γf = −2πi⋅Res( f , 0) = −2πi⋅Res(
z2 z
⋅
z 2 1 2
1
, 0) =
+ 2 − 3
z z
−1
−2πi⋅Res( , 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 = i⋅eix⋅dx ⇒ 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 = i⋅2πi⋅Res( , 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 = 2πi⋅Res(
1+ z 2
, i) = π = ∫γf 1
+ ∫γf
2
. (5.1)
1 1
∫γf
2
≤ Long(γ 2 ). máx
z∈ γ 2 1+ z 2
= π⋅R⋅
2
R −1
.
obtiene:
+∞ dx 1 +∞ dx
π= ∫− ∞ 1 + x 2 + lím (π⋅R⋅
R →∞ 2
R −1
)= ∫− ∞ 1 + x 2 .
Ejercicios
1
a) Res( , 1).
z − z2
1
b) Res( , 0).
z − z2
1
d) Res( , i).
z4 −1
1 i
(Solución: 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
2k + 1 2k + 1
− 3i πi −1 πi
(Solución: 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 expresión Res( , z0 ) =
( z − z0 ) m ( m − 1)!
e iz
a) Res( , 0).
z4
1
b) Res( , 0).
z4
−i
(Solución: 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 Capítulo 5º: Variable Compleja © M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
π 2 π 2
(Solución: ; )
2 2
ENTERAS
en este libro.
Definición 5.5.1:
Por tanto:
meromorfa.
meromorfa.
f(z)
para comprobar que si la función tiene un polo simple en z = a su residuo
z −a
1 f(z) f(z)
∫
2πi γ z − a
⋅ dz = I γ ( a ) ⋅ Res(
z −a
,a ) = I γ ( a ) ⋅ f ( a ) .
f' ( z )
cero de orden h, la función tiene en z = a un polo simple con residuo h.
f(z)
1 f' ( z ) f' ( z )
∫
2πi γ f ( z )
⋅dz = I γ ( a ) ⋅ Res(
f(z)
,a ) = I γ ( a ) ⋅ h
ser el mismo, salvo que el residuo es ahora −h. Esta situación puede
n m
∑ ∑
1 f' ( z )
∫
2πi γ f ( z )
⋅ dz = I γ ( zk ) − Iγ ( p j ).
k =1 j =1
Teorema 5.5.2:
analítica en G, entonces
n m
∑ ∑
1 f' ( z )
2πi γ∫g( z ) ⋅
f(z)
⋅ dz = g ( zi ).I γ ( zi ) − g ( p j ).I γ ( p j )
i =1 j =1
compara la primera versión del principio del argumento con los comentarios
n m
∑ ∑
f' ( z )
función es una primitiva de y así 2πi I γ ( zk ) − Iγ ( p j ) representa
f(z) k =1 j =1
n m
i⋅arg(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 )
situación planteada se tiene que ∫ γ f ( z ) ⋅ dz = 0 ya que es una función que
admite primitiva. Una justificación completa se puede hacer por medio del lema
1
Conway, J.: Functions of One Complex Variable. Springer-Verlang. (2ª edición). 1984.
282 Capítulo 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 número de ceros dentro del disco,
relación entre los ceros de las funciones de una sucesión y los de la función
límite.
idénticamente nula.
Sea G una región, f una función analítica 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 Capítulo 5º: Variable Compleja © M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
a 1 , ..., a m . Entonces, por aplicación del principio del argumento, se tiene que:
m
∑
1 f' ( z )
∫
2πi γ 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 también holomorfa y f −1 ( w ) =
1
f ′( z )
, f(z) = w .
lugar al teorema del módulo máximo, del cual se exponen a continuación tres
notaciones:
∂ ∞ G = ∂G ∪ {∞}.
alcanza en la frontera de G:
existe una constante M tal que lím 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?”.
observa que no es necesario imponer una restricción tan fuerte, sino que es
η
ii) Para cada b ∈ B, y η > 0, lím 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) ≤ p⋅exp(zb) para todo z con
Corolario 5.5.13:
constante p (que puede depender de δ) tal que f(z) ≤ p⋅exp(δ⋅zw) para todo
M para todo z ∈ G.
© M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Singularidades y residuos 289
módulo máximo, que permite, por otra parte, caracterizar las aplicaciones
f(z) ≤ z para todo z ∈ B 1 (0). Además si f’(0) = 1 o si f(z)= z para
algún z ≠ 0, existe una constante c con módulo uno, tal que f(z) = cz para todo
subconjunto del disco z ≤ r (0 < r < 1), entonces los valores de f(z) están
z−α
Möbius de la forma ϕ α = .
1 − α.z
290 Capítulo 5º: Variable Compleja © M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
que g es inyectiva en z < 1 y que f(0) = g(0). Todos estos supuestos se
expresan diciendo que f está subordinada a g para z < 1. Bajo estas
z < 1. La función φ satisface el lema de Schwarz y así φ’(0) ≤ 1. Como f(z)
Por tanto φ satisface φ(z) ≤ z para todo z, (z < 1). En particular si
z ≤ r (0 < r < 1) entonces φ(z) ≤ r. Como f(z) = g(φ(z)) esto implica que la
entonces f está subordinada a g para z < r, para todo r, 0 < r < 1.
Definición 5.5.2:
entonces existe una función entera g(z) tal que f(z) = exp(g(z)).
constante.
z 0 con módulo r. Se representa por M(r), o por M(r, f), si se quiere hacer
por m(r). Es evidente que M(r) crece al crecer r. Se estudia la relación entre
crecimiento del módulo máximo, M(r), con el crecimiento del módulo mínimo
m(r).
M( r ) M( r , P )
lím = lím = 1,
r →∞ an ⋅ r n r → ∞ M( r , an z n )
Proposición 5.5.15:
M( r , P )
lím =0.
r → ∞ M( r , f )
Esto indica que el módulo máximo de la función crece más deprisa que el
Definición 5.5.3:
idénticamente nulo.
Definición 5.5.4:
lg lg M( r , f ) lg lg M( r , f )
ρ = lím sup = lím sup .
r →∞ lg lg M( r , e z ) r →∞ lg r
número entero.
siguientes resultados:
f(z) = A·P(z), tiene infinitas raíces para todo número complejo A sin
excepciones.
Proposición 5.5.16:
excepciones.
superior del módulo de una función en un círculo a partir de cotas de sus partes
es como sigue:
Definición 5.5.5:
Se dice que una función 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 .
Definición 5.5.6:
Dada una función entera f(z) de orden finito ρ, si se supone que existe un
k > 0 tal que M(r, f) < exp(k·rρ), 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 función: f(z) = .
1
cos( )
z
1
5.17. Analizar las singularidades de la función: 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 Capítulo 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
(Solución: a) 2πi; b) ; c) 2πi( + ))
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 vértices 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
(Solución: I m =2πi( + 2 ); s = )
2 2
n =1 n π
6 12
300 Capítulo 5º: Variable Compleja © M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
∞
π2
∑
1
5.24. Deducir que = .
2 6
n =1n
π ⋅ cot gπz ⋅ dz
(Ayuda: Evaluar la integral I m = ∫γ m z2
cuando la traza
2m + 1
de γ m es el cuadrado de vértices 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 )
.
π π π
(Solución: 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 límite 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 .
(Solución: Se calcula la integral compleja en el semicírculo,
− 3
2πe 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)
.
z−A
transformación de Móbius f(z) = k ⋅ , donde k, A y B son
z−B
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 Capítulo 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
(Solución: −4π2)
5
= z4⋅cos .
z
2πi ⋅ 5 6
(Solución: )
6!
dz
a) ∫γ e z + 1 .
dz
b) ∫γ e 2z + 2e z + 1 .
e z + 3i
5.44. Dada la función f ( z ) = :
( z + 3i ) 4
πi
(Solución: ∫γf =
3
)
senz ⋅ dz
∫γ z(cos z − 1) , donde γ(t) = 3e , 0 ≤ t ≤ 2π.
it
5.45. Calcular
(Solución: 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)
1
e z 1
∫γ ( 5z + cos z − senx )dz , donde γ(t) = e , 0 ≤ t ≤ 4π.
it
5.47. Calcular
4πi
(Solución: − 2 2πi )
5
= 1, 2, ...
dz
a) ∫γ z − 1 .
dz
b) ∫γ z−3
.
e z ⋅ dz
c) ∫γ z 3 + 9z .
it −π π
1 πe ≤t ≤
5.49. Calcular
γ z2 + i∫dz , donde γ(t) =
2( −t + π )i
2
π
≤t ≤
3π
2.
2 2
2
(Solución: π( −1 + i ) )
2
+∞
zn
5.50. Calcular ∫γ f , donde γ(t) = eit, 0 ≤ t ≤ 2, y f ( z ) = ∑ n
.
n = −∞ 3
2
(Solución: π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π.
(Solución: −4πi)
3z 2 cos z
5.52. Calcular ∫γ (1 − z 2 )( z − 3i )sen 2 z dz , donde
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