Vous êtes sur la page 1sur 25

Matemtica D

MATEMTICA D
Mdulo I: Anlisis de Variable Compleja

Unidad 5

Teora de Residuos
Mag. Mara Ins Baragatti

Singularidades
Se dice que z0 es una singularidad aislada de f(z) si f(z) no es analtica en z0 pero s es
analtica en un entorno reducido de z0, es decir si existe un nmero positivo r tal que f(z) es
analtica en un conjunto de la forma 0 < |z z0| < r
Se dice que z0 es una singularidad no aislada de f(z) si f(z) no es analtica en z0 y en todo
entorno reducido de z0 hay al menos un punto donde f(z) no es analtica.

 Ejemplos
1- La funcin f(z) = 2/z tiene una singularidad aislada en z = 0 ya que su dominio de
analiticidad es C {0} y por lo tanto es analtica en todo entorno reducido de 0.
2- La funcin g(z) = z / sen z no es analtica en los puntos en que se anula el denominador , es
decir en los complejos de la forma k
, con k = 0, 1, 2, ..... y estos complejos resultan ser
singularidades aisladas de g(z) pues, para cada uno de ellos existe un entorno reducido donde
g(z) es analtica. Observar que dichos entornos tienen la forma 0 < | z - k
| < y a
continuacin se observan algunos de ellos

1
Mdulo I - Unidad 5

Matemtica D

3- La funcin h(z) = Ln z tiene una singularidad no aislada en z = 0 pues todo entorno reducido
de 0 contiene puntos del eje real negativo, donde sabemos que Ln z no es analtica. Es
importante observar que adems son singularidades no aisladas todos los complejos del eje
real negativo pues , como se observa en los grficos siguientes, todo entorno de cero y de un
real negativo contiene puntos donde h(x) no es analtica .

-1

Residuos
Si z0 es un punto singular aislado de f(z), sabemos que f(z) es analtica en un anillo 0 < |z z0| < r
y por lo tanto f(z) admite un desarrollo en serie de Laurent convergente en dicha corona:

f ( z ) = a n (z z 0 ) +
n=0

b (z z )

, 0 < |z z0| < r

z0

n =1
1
442443

|z-z0|=r

parte principal del desarrollo


deLaurent

donde los nmeros an y bn , por ser los coeficientes de la serie de Laurent, son iguales a :
an =

1
f (z)
dz

2i C ( z z 0 ) n +1

bn =

1
f (z )
dz

2 i C ( z z 0 ) n + 1

z0

C
x

donde C es cualquier curva suave por tramos contenida en la corona que encierra a z0
Es interesante observar que el coeficiente b1 de la serie de Laurent mencionada resulta ser
b1 =

1
f (z )
1
dz =
f ( z ) dz

1
+
1
2i C ( z z 0 )
2i C

de donde puede despejarse el valor de la integral de f(z) sobre la curva cerrada C obteniendo:

f ( z ) dz = 2 i b 1

por lo tanto si se conoce el coeficiente b1 podemos obtener el resultado de la integral, este hecho
justifica la siguiente definicin:
2
Mdulo I - Unidad 5

Matemtica D

Si z0 es un punto singular aislado de f(z), se denomina residuo de f(z) en el punto z0 al


coeficiente de la potencia (z z0)-1 de la serie de Laurent que representa a la funcin en la
corona 0 < |z z0| < r y se anota Res(f,z0) = b1

 Ejemplos
1- La funcin f ( z ) = e 1 z tiene una nica singularidad aislada en z0 = 0 y su desarrollo en serie de

1
convergente en 0 < |z | < , como la
n
n = 0 n! z
serie converge en un entorno reducido de z = 0 y el coeficiente de z-1 es igual a 1 , podemos
afirmar que el residuo de f(z) vale 1 y anotamos Res(f,0) = 1 .

1z
Laurent alrededor de dicho punto es e =

Adems podemos afirmar que:

C1

C2

e 1/z dz = 2 iRes(f,1) = 2 i ,

C1

siendo C1 cualquier curva cerrada suave por tramos que encierra al


origen.
Observar que si C2 es cualquier curva cerrada que no encierra al origen entonces
1/z
e dz = 0 , y este valor se obtiene usando el teorema de Cauchy Goursat y no medio del
C2

residuo.
Ln z
no es analtica en z0 = 1 pero como es analtica en 0 < | z - 1 | < 1 ,
z 1
podemos afirmar que z0 es una singularidad aislada de f(z) , adems esta funcin no es
analtica en cero y en todos los complejos del eje real negativo, pero todos ellos son
singularidades no aisladas.
Para hallar el residuo en la singularidad aislada z0 = 1 debemos encontrar la serie de Laurent
que la representa en el entorno reducido 0 < |z 1| < 1, es decir debemos encontrar una serie
de potencias positivas y negativas de ( z - 1) .

2- La funcin f ( z ) =

Como Ln z es analtica en 1 , desarrollamos por Taylor teniendo presente que

(Ln z ) ' = 1 =
z

Ln z =

1
= ( 1) n ( z 1) n , convergente en | z 1| < 1 , entonces
( z 1) + 1 n = 0

n=0

n=0

(Ln z ) ' dz = 1 (1) n ( z 1) n dz = 1


z

( 1) n ( z 1) n dz = ( 1) n
n=0

( z 1) n +1
n+1

para | z 1| < 1 (observar que por ser una serie de potencias convergente , la integral de la serie fue
reemplazada por la serie de las integrales)

Por lo tanto

f (z ) =

Ln z
1
Ln z =
=
z 1 z 1

(z- 1)-1

( 1) n
n=0

( z 1) n +1
( z 1) n
= ( 1) n
,
n+1
n+1
n=0

si 0 <| z 1| < 1
(observar que se ha excluido de la regin de convergencia z = 1 pues el primer factor slo tiene sentido
si z 1 )
3
Mdulo I - Unidad 5

Matemtica D

Como la serie obtenida converge en un entorno reducido de z0 = 1 y la potencia (z1)-1 no


aparece, podemos afirmar que el residuo de f en 1 vale 0, anotamos b1 = Res(f,1) = 0, de
Ln z
donde la integral
dz = 2 i b 1 = 0 , siendo C cualquier curva cerrada que encierra a
C z 1
z0 = 1 y contenida en 0 <| z 1| < 1
3zi 2
no es analtica en z0 = 0 y z1 = -2i , pero es analtica en
z (z + 2i)
0 < | z | < 2 y 0 < | z + 2i | < 2 , que son entornos reducidos de z0 y z1 , por lo tanto ambos
son singularidades aisladas de f(z)

3- La funcin f ( z ) =

Es importante observar que:

 si C1 es una curva cerrada, suave por tramos y simple que encierra a


z0 = 0 y no encierra a z1 = -2 entonces

C1
-2i

C1

3z i - 2
dz =
C1
z (z + 2i )

2 zi 2
z + 2i

dz = 2 i Res[f,0]
0

 si C2 una curva cerrada suave por tramos y simple que encierra a


z1 = -2i y no encierra a z0 = 0 entonces

C1

2 zi 2
3z i - 2
z
dz =
dz = 2 i Res[f,-2i ]
C1 z + 2 i
z (z + 2i )

C2
-2i

La pregunta natural despus estas observaciones es cmo se puede calcular la integral propuesta
sobre una curva cerrada que encierre a las dos singularidades aisladas? La respuesta la provee el
siguiente teorema.

Teorema de los residuos


Si f(z) es analtica sobre la curva cerrada, suave por tramos y simple C y su interior, salvo en un
nmero finito de puntos z1 , z2 , ....., zn interiores a C, entonces

f ( z ) dz = 2 i {Res[f, z 1 ] + Re s[f , z 2 ] + .. + Re s[f , z n ]} = 2i Re s[f , z n ]


n

z1
zn

Demostracin
Si se consideran n curvas cerradas ,simples y suaves por tramos
C1 , C2 , ...., Cn , que encierren a cada punto singular y que no tienen
Puntos interiores comunes, usando la segunda consecuencia del teorema

z1
zn

4
Mdulo I - Unidad 5

Matemtica D

De Cauchy Goursat podemos decir que:

f(z) dz =
C

C2

f(z) dz + f(z) dz + ..... + f(z) dz


C3

Cn

y usando la definicin de residuo sabemos que cada una de estas integrales verifica
f(z) dz = 2 iRes[f, z k ] , por lo tanto reemplazando cada una por su valor y sacando 2i factor
Ck

comn se obtiene lo que queramos demostrar.

A partir de ahora podemos calcular integrales sobre curvas cerradas de funciones que son
analticas sobre la curva y en el interior salvo en un nmero finito de singularidades interiores a la
curva usando los residuos , por ejemplo podemos afirmar que:
1
1

dz = 2 iRes
,0
|z| =1 sen z
sen z

1
1

dz = 2 i Res
,0 + Res
,
|z 1| = 3 sen z
sen z
sen z

pero para calcular los residuos la nica herramienta que tenemos es hallar la serie de Laurent
convergente en un entorno reducido de cada punto singular aislado y esto no es tan sencillo..
Muchas veces es posible hallar el residuo de una funcin en una singularidad aislada sin tener
que desarrollar la funcin en serie de Laurent. Para ello es necesario clasificar las singularidades
aisladas como se indica a continuacin:

Clasificacin de singularidades aisladas


Si z0 es un punto singular aislado de f(z), entonces f(z) es analtica en 0 < |z z0| < r y puede
desarrollarse en serie de Laurent

f ( z ) = a n (z z 0 ) +
n=0

b (z z )

, 0 < |z z0| < r

n =1
1
442443

parte principal del desarrollo


deLaurent

Si la parte principal del desarrollo de Laurent convergente en 0 < |z z0| < r no posee
trminos, es decir bn = 0 . n 1, se dice que f(z) tiene una singularidad evitable en z0
Si la parte principal del desarrollo de Laurent convergente en 0 < |z z0| < r posee infinitos
trminos no nulos , es decir bn 0 para infinitos valores de n, se dice que f(z) tiene una
singularidad esencial en z0
Si la parte principal del desarrollo de Laurent convergente en 0 < |z z0| < r posee un nmero
finito de trminos no nulos, es decir bn = 0 para n > k y bk 0, se dice que f(z) tiene un
polo de orden k en z0
5
Mdulo I - Unidad 5

Matemtica D

Ejemplos

1
para 0 < |z | < , como esta serie representa a la
n
n = 0 n! z
funcin en un entorno reducido de z0 = 0 y posee infinitos trminos con potencias negativas,
podemos decir que z0 = 0 es una singularidad esencial de e1/z
Ln z
2- Sabemos que el desarrollo en serie de Laurent de f ( z ) =
convergente en un entorno
z 1

( z 1) n
reducido de la singularidad aislada z0 = 1 es ( 1) n
convergente en 0 <| z 1| < 1,
n+1
n=0
como esta serie no tiene potencias negativas, podemos decir que es z0 = 1 es una singularidad
evitable de f(z)

1- Ya hemos demostrado que e 1 z =

3- Es importante observar que si bien la serie

( 2) n

(z + 1)
n=0

tiene infinitas potencias negativas de

z + 1 , z0 = -1 no es una singularidad esencial de la funcin a la cual converge pues dicha serie


converge para los z que verifican | z + 1 | > 2 y por lo tanto no converge en un entorno
reducido de z0 = -1
sen z
, no es analtica en z = 0 pero s lo es en 0 < | z | < , para obtener la
z4
serie de Laurent que la represente en dicha corona desarrollamos sen z en serie de Taylor
alrededor de 0 y operamos del siguiente modo:

4- La funcin g( z ) =

sen z 1
1
= 4 sen z = 4
4
z
z
z

(-1) n
(-1) n
1
1
z
2 n +1
z
=
z 2n 3 = 3
+

3! z 5!
z
n =1 (2n + 1)!
n =1 (2n + 1)!

como la serie de sen z converge z , y el factor 1/z4 slo tiene sentido si z 0 , podemos
afirmar que la serie obtenida representa a la funcin en 0 < |z1< .
Como la serie obtenida converge en un entorno reducido de z = 0 y la parte principal del
desarrollo tiene un nmero finito de trminos, podemos afirmar la funcin posee en z = 0 un
polo, como la potencia negativa de mayor valor absoluto es 3, el polo es de orden 3 . Observar
que el Res(f,0) = -1/3!

Ejercicios
1- Hallar las singularidades de las siguientes funciones e indicar cules de ellas son aisladas:

6
Mdulo I - Unidad 5

Matemtica D

1 cos z
z 3z + 2 2
z
d) f 4 (z) = Ln z + z
e

z
z 4z 3
3
1
c) f 3 (z) = sen
+
z + 1 (z + 1)

a) f 1 (z) = z +

e) f 5 (z) =

b) f 2 (z) =

z4
e 2z 1

f) f 6 (z) =

Ln( z 1)
ch z

2- Mediante un desarrollo en serie de Laurent adecuado, clasificar las singularidades que se


indican a continuacin teniendo en cuenta la funciones del ejercicio anterior:
b) z = para f2(z)

a) z = 0 para f1(z)

c) z = -1 para f3(z)

n (z 1)
3
4
3- Dadas g( z ) =
,

+
n
z 1 (z 1)4
3
n =1

n (z 1)
3n
n =1

h( z ) =

3
4

z 1 (z 1)4

a) Justificar que z0 = 1 es una singularidad aislada de g(z) y clasificarla.


b) z0 = 1 es una singularidad aislada de h(z) ? Justificar la respuesta.
( 1) n (z 1)
4- Dada f(z) =
n 4n
n =1

2 n 12

a) Hallar el dominio de f(z) y el dominio de analiticidad, f(z) tiene puntos singulares aislados?,
en caso afirmativo clasificarlos y justificar la respuesta.
b) Hallar y clasificar las singularidades de las funciones G(z) = e 4 (z 1) f(z) , H(z) = (z-1)5 f(z)

sen z
z4
, f(z) = z - 1 + 2
, g( z ) = z 3 e 1 /( z 2 )
z 4
(z 2) (z + 2) 2(z 2)
a) Hallar y clasificar las singularidades aisladas mediante un desarrollo en serie de Laurent
adecuado . Justificar en cada caso la eleccin de la corona.
b) Verificar que z1 = 0 es un cero de las tres funciones y hallar su orden.
5- Dadas k(z) =

2z
2

Caracterizacin de polos
Muchas veces podemos determinar los polos y su orden sin necesidad de desarrollar en serie de
Laurent convergente en el el entorno reducido del punto singular utilizando la siguiente
propiedad:

7
Mdulo I - Unidad 5

Matemtica D

Teorema
z0 es un polo de orden k de f(z) f(z) = (z z0)-k h(z) , con h(z) analtica en z0 y h(z0) 0
Demostracin:
) sabemos que : z0 es un polo de orden k de f(z)
queremos demostrar que : f(z) = (z z0)-k h(z) , con h(z) analtica en z0 y h(z0) 0
Como z0 es un polo de orden k de f(z) entonces f(z) admite un desarrollo en serie de Laurent
convergente en 0 < | z z0| < R de la forma :
f (z) =

bk

b k 1

(z z 0 )k (z z 0 )k 1

+ +

b1
n
+ a n (z z 0 ) , con bk 0
(z z 0 ) n=0

multiplicando ambos miembros de la igualdad anterior por (z z0)k , obtenemos:

f ( z )(z z 0 ) = b k + b k 1 (z z 0 ) + .... + b 1 (z z 0 ) +
a n (z z 0 )
n=0
144444444444244444
444444
3
k 1

n+k

h( z )

observamos que en el segundo miembro se obtiene una serie de potencias positivas convergente
en | z z0| < R .
Si llamamos h(z) a la suma de dicha serie, entonces h(z) es analtica en z0 y h(z0) = bk 0 , por
lo tanto podemos afirmar que
f(z) (z z0)k = h(z)
y despejando obtenemos lo que queramos:
f(z) = (z z0)-k h(z), con h(z) analtica en z0 y h(z0) 0
) sabemos que : f(z) = (z z0)-k h(z) , con h(z) analtica en z0 y h(z0) 0
queremos demostrar que : z0 es un polo de orden k de f(z)
Sabemos que f(z) = (z z0)-k h(z) donde h(z) es una funcin analtica en z0 y h(z0) 0 , por lo
tanto podemos desarrollar h(z) en serie de Taylor alrededor de dicho punto obteniendo:
h( z ) =

n=0

h (n ) (z 0 )
(z z 0 )n , convergente en | z z0| < R
n!

Reemplazando esta serie en f(z) = (z z0)-k h(z) obtenemos:


f ( z ) = ( z z 0 ) k

n =0

h (n) (z 0 )
(z z 0 )n =
n!

n =0

h (n ) (z 0 )
(z z 0 )n k
n!

8
Mdulo I - Unidad 5

Matemtica D

como el factor (z z0)-k slo tiene sentido si z z0 y la serie de h(z) converge en | z z0| < R , el
producto converge en la interseccin, es decir esta serie converge en 0 <| z z0| < R y por lo
tanto es una serie de Laurent de f(z) que converge en un entorno reducido de z0
Explicitando los trminos encontramos que:
f(z) =

h( z 0 )

h' ( z 0 )

(z z 0 )k (z z 0 )k 1

+ +

h ( k 1 ) ( z 0 )
+ h ( k ) ( z 0 ) + ....... , en 0 <| z z0| < R
(z z 0 )

como h(z0) 0 , podemos afirmar que k es la mayor potencia que aparece en el denominador y
por definicin de polo podemos afirmar que z0 es un polo de orden k , que es lo que queramos
demostrar.

 Ejemplos
ez
sen z
1- Las funciones f ( z ) = 4
y g( z ) = 4
tienen como puntos singulares a z1 = 0
z ( z i )
z ( z i )
y z2 = i y son aislados en ambas (porqu?)
ez
con h1(z) analtica en 0 y h1(0) 0, por el
Como f(z) puede escribirse as f ( z ) = z 4
z i
1
424
3
h1 ( z )

teorema de caracterizacin de polos podemos asegurar que 0 es un polo de orden 4 de f(z)


sen z
Si queremos razonar en forma similar para la funcin g(z) escribimos g( z ) = z 4
, en
z i
1
424
3
h2 ( z )

este caso h2(z) es analtica en 0 , pero h2(0) = 0 , y por lo tanto no puede aplicarse el teorema
de caracterizacin de polos y nos quedamos sin saber que tipo de singularidad tiene g(z) en 0

Actividad 1:
Averiguar si puede aplicarse el teorema de caracterizacin de polos para clasificar la
singularidad z2 = i de las funciones f(z) y g(z) del ejemplo anterior, en caso afirmativo hallar el
orden del polo.

Es natural preguntarse si para clasificar las singularidades aisladas es necesario hallar la serie de
Laurent convergente en un entorno reducido de dicha singularidad, veremos a continuacin que
si la funcin es cociente de dos funciones analticas entonces podemos clasificar las
singularidades evitables .

9
Mdulo I - Unidad 5

Matemtica D

Teorema : Clasificacin de singularidades aisladas de funciones que son


cociente de analticas
g( z )
donde g(z) y h(z) son analticas en z0 y g(z) tiene un cero de orden p en z0 y
h( z )
h(z) tiene un cero de orden q en z0 entonces :
Sea f ( z ) =

a) Si p < q , z0 es un polo de orden (q p) de f(z)


b) Si p q , z0 es una singularidad evitable de f(z)
Demostracin:
Como sabemos que z0 es un cero de orden p de g(z) y de orden q de h(z) , utilizando el teorema
de caracterizacin de ceros a cada una de ellas podemos para afirmar que dichas funciones
pueden escribirse como:
g(z) = (z z0)p g1(z) , con g1(z) analtica en z0 y g1(z0) 0
h(z) = (z z0)q h1(z) , con h1(z) analtica en z0 y h1(z0) 0
de donde

g( z ) ( z z 0 ) p g 1 ( z ) ( z z 0 ) p g 1 ( z ) ( z z 0 ) p
f (z ) =
f 1 ( z ) (*)
=
=
=
h( z ) ( z z 0 ) q h 1 ( z ) ( z z 0 ) q h 1 ( z ) ( z z 0 ) q

donde f1(z) es analtica en z0 , por ser el cociente de dos analticas en z0 , y f1(z0) 0


Si q > p , entonces (q p) > 0 y por (*) , f(z) puede escribirse como
f(z) = (z z0)- (q p) f1(z)
y por el teorema de caracterizacin de polos, podemos afirmar que z0 es polo de orden (q p)
Si p q , entonces (p q) > 0 y por (*) podemos escribir f(z) = (z z0)p q f1(z) si z z0 .
Como el producto (z z0)p q f1(z) es analtico en z0 se puede desarrollar en serie de Taylor en
potencias de (z z0) , se deja como ejercicio justificar que en este caso z0 es una singularidad
evitable de f(z).

Ejercicios
6- Hallar y clasificar las singularidades aisladas de las siguientes funciones teniendo en cuenta
que todas ellas son cociente de funciones analticas :
a) f 1 ( z ) =

sen( z 2)

(z 2)2

b) f 2 ( z ) =

z2
sen z

10
Mdulo I - Unidad 5

Matemtica D

c) f 3 ( z ) =

z
sh z

d) f 4 ( z ) =

sen z ( z + ) 2
1 cos (2z)

7- Sea g(z) una funcin analtica en z0 = 2 con g(2) 0 y f(z) = (z 2)4 [g(z)]3, justificar que
f ' ( z )
tiene una singularidad aislada en z0 = 2 y clasificarla.
F( z ) =
f (z )
8- Sabiendo que h(z) tiene un polo de orden n en z0 y g(z) tiene un polo de orden m en z0 , con
m < n , justificar la validez de las siguientes proposiciones .
a) F1(z) = ( z z0)-2 h(z) tiene un polo de orden n + 2 en z0
b) F2(z) = h(z) g(z)

tiene un polo de orden n + m en z0

c) F3(z) = h(z) + g(z)


tiene un polo de orden n en z0
g( z )
d) F4 ( z ) =
tiene una singularidad evitable en z0
h( z )
h( z )
e) F5 ( z ) =
tiene un polo de orden n m en z0
g( z )
f) Si n = m, analizar qu tipo de singularidad tienen las funciones F3(z), F4(z) y F5(z) en z0

Teorema : Clculo de residuos en polos

( k 1 )
1
k
(
z z 0 ) f (z)
z z 0 (k 1)!
En particular: Si z0 es un polo de orden 1 de f(z) entonces Res(f,z0) = lm [(z z 0 )f ( z )]

Si z0 es un polo de orden k de f(z) entonces

Res(f, z0) = lm

z z 0

Demostracin:
Por ser z0 un polo de orden k de f(z) entonces por el teorema de caracterizacin de polos
podemos escribir:

f(z) = (z z0)-k h(z) , con h(z) analtica en z0 y h(z0) 0


Desarrollando por Taylor la funcin h(z) obtenemos:

f(z) =

h( z 0 )

h' ( z 0 )

(z z 0 )k (z z 0 )k 1

+ +

h ( k 1) ( z 0 )
h (k ) (z 0 )
+
+ ....... , en 0 <| z z0| < R
(k 1)! (z z 0 )
k!

Como el residuo es el coeficiente de la potencia (z z0)-1 de la serie que converge en un entorno


reducido de z0 , buscamos dicho coeficiente en la serie anterior y podemos afirmar que:

11
Mdulo I - Unidad 5

Matemtica D

Res(f, z0) =

h ( k 1 ) ( z 0 )
(k 1)!

Esta expresin no es muy til pues expresa el residuo de f en funcin de la derivada de orden
(k 1) d e la funcin h, por ello es conveniente observar que:
Res(f, z0) =

( k 1)
h ( k 1 ) ( z 0 )
(z z 0 ) k f ( z )
[
h( z )]
= lm
= lm
z z 0 (k 1)!
z z 0
(k 1)!
(k 1)!

( k 1)

y el teorema queda demostrado.

 Ejemplos
0

1
1- Calcular
dz
|z 1| = 3 z sen z

Como los nicos puntos singulares de la funcin interiores a la curva son z0 = 0 y z1= ,
sabemos que
1
1
dz = 2 i {Res[f,0] + Re s[f , ]} , donde f(z) =
|z 1| = 3 z sen z
z senz

Se deja como ejercicio justificar que z0 = 0 es un polo de orden 2 y z1= es un polo simple,
entonces:
 Res(f, 0) = lm 1 z 2 1
z 0 1!
z sen z

( 1)

z
= lm
z 0 sen z

( 1)

= lm
z 0

sen z z cos z
=
sen 2 z

(como la indeterminacin es de la forma 0/0, podemos usar la regla de LHospital)


= lm
z0

cos z cos z + z sen z


z
= lm
=0
z

0
2 sen z cos z
2 cos z

 Res(f, ) = lm( z )
z

1
1
1
= lm
=
z

z sen z
sen z + zcosz

(como la indeterminacin era de la forma 0/0, usamos la regla de LHospital para salvarla)

Por lo tanto

1
1

dz = 2 i 0 = 2i
|z 1| = 3 z sen z

12
Mdulo I - Unidad 5

Matemtica D

Ejercicios
9- Hallar el residuo en las singularidades aisladas de las funciones del ejercicio 6

g( z )
tiene un polo de orden dos en z0 y el residuo en dicho punto vale cero,
(z - z 0 ) 2
demostrar que g(z0) 0 y g(z0) = 0

10- Si f ( z ) =

11- Calcular usando residuos


a)

ez
|z i|=2 z 2 + 2z dz

z
|z|= 2 z 2 + 1 dz

b)

cos z senz
dz
|z 2|= 2
cos(2z )

d)

(z )2 sen(2z ) dz
|z / 2| = 2
(1 cos 2z )

c)
e)

|z + / 2| = 2

cos 2z

(1 sen2z )(z + / 2)

dz

f)

sh(1 / z )
z
+

dz
sh z
z
|z | = 4

12- Si f(z) es analtica sobre la curva C : |z i| = 2 y su interior y f(0) = f(i)= 4, f(i) = 0 ,


f (z )
justificar usando la teora de residuos que
dz = 0
2
C
z (z i )
13- Si f(z) es analtica sobre la curva C : |z 2i| = 1 y su interior, justificar usando la teora de
f (z )
i f ( 3 ) ( 2 i )
residuos que
=
dz
C
3
(z 2i )4
14- Sea H(z) analtica en todo el plano complejo y H(0) = 0, H (0) = 7, H(0) = 2, H(n)(0) = 0
H( z )
para n 3 , calcular
dz siendo C: | z | = 2
C z sen z

13
Mdulo I - Unidad 5

Matemtica D

Integrales de variables real


La teora de residuos permite calcular ciertos tipos de integrales definidas e impropias del anlisis
real que se ilustran a continuacin

1- Integrales de funciones que dependen exclusivamente de senos y cosenos


Mostramos a continuacin cmo se puede transformar la integral

+ 2

F(sen , cos ) d

en una integral de variable compleja z sobre la curva cerrada | z | = 1 .


Antes de detallar el procedimiento es importante sealar que es una variable real que se mueve
en un intervalo de amplitud 2 y el integrando slo puede depender de sen y/o cos .
Comenzamos proponiendo el siguiente cambio de variable

z = ei

A continuacin tratamos de expresar el integrando en funcin de la variable z, para ello


observamos que :
 como vara en un intervalo de amplitud 2 entonces z = ei describe todos los puntos de la
circunferencia | z | = 1
1
1
 como dz = i ei d entonces d = i dz , que puede expresarse d = dz
iz
ie
 usando las definiciones de sen y cos , podemos expresarlas en funcin de la variable z:
sen =

Por lo tanto

+ 2

e i e i z z 1
=
2i
2i

cos =

e i + e i z + z 1
=
2
2

z z 1 z + z 1 1
dz
F(sen , cos ) d = F
,
|z | = 1
2
i
2

iz

 Ejemplo
1- Calcular

d
2sen + cos + 3

Comenzamos haciendo el cambio de variable z = ei , que nos permitir pasar a una integral con
variable z que se mueve sobre la curva | z | = 1 y operamos de la manera ya indicada, es decir
1
calculamos su diferencial d = dz y expresamos el integrando en funcin de como se
iz
muestra a continuacin:
14
Mdulo I - Unidad 5

Matemtica D

z z 1 z + z 1
z 2 1 z 2 + 1 6zi ( 2 + i )z 2 + 6iz + ( 2 + i )
+
+ 3 = 2
+ i
+
2 sen + cos + 3 = 2
=
2zi
2i 2
2iz 2zi 2zi

dado que los valores que anulan el numerador son z1=

1
2
i
5
5

z2= 1 i 2 (verificar que

esta afirmacin es correcta) , podemos escribir:


2 sen + cos + 3 =

( 2 + i )(z + 15 + 25i )(z + 1 + 2i )


2zi

Por lo tanto

d
2zi
dz
2
dz
=
=
=

1
2i
1
2i
|
z
|
=
1
|
z
|
=
1
2sen + cos +
( 2 + i )( z + 5 + 5 )(z + 1 + 2i ) iz
(2 + i )
( z + 5 + 5 )(z + 1 + 2i )
2
4i 1
2i [Re s(f , 15 25i )] =

=
(2 + i )
( 2 + i ) ( 45 + 85i )

(verificar que el residuo es el que se ha

indicado)

Ejercicios
15-Justificar usando teora de residuos el valor de las integrales que se dan a continuacin.
2

a)

c)

=
5 + 3 cos 2
d
=
2
sen + 4 cos 2

b)

d)

/2

0
2

=
2
2 + sen 2 6
cos(3) d
=
5 4 cos 12

Integrales impropias
Recordemos que la integral impropia de una funcin continua f(x) sobre el intervalo [a,) se
define como:

f(x) dx = lm f(x) dx
R a

y cuando existe el lmite de la derecha, se dice que la integral impropia converge y su valor es el
valor de dicho lmite.
Si f(x) es continua para todo x, la integral impropia

f(x) dx = lm

R 1 R 1

f(x)dx se define como:

f(x) dx + lm

R2

R 2 0

f(x) dx

15
Mdulo I - Unidad 5

Matemtica D

y cuando existen ambos lmites de la derecha y no valen infinito, se dice que la integral impropia
converge y su valor es la suma de dichos lmites.
Si integramos en un intervalo [-R , R] simtrico respecto del origen y luego hacemos tender R a
R

infinito, es decir si calculamos lm f ( x) dx y este lmite existe y es finito, denominamos a


R R

dicho resultado valor principal de Cauchy e indicamos:

(vp) f(x)dx = lm f ( x) dx
R R

Observacin
1- Usando criterios de convergencia de las integrales impropias, puede demostrarse que, si la
integral

f(x)dx converge entonces su valor coincide con el valor principal de Cauchy.

El recproco no es vlido como lo muestra el siguiente ejemplo:

x dx = lm

R 1 R 1

x dx + lm

R2

R 2 0

x dx = lm

(R 1 )2

R 1

+ lm

R 2

(R 2 )2
2

y como cada uno de estos lmites no son finitos, el lmite no existe y por lo tanto la integral no
converge.
Sin embargo si calculamos el valor principal de Cauchy:

(vp) x dx = lm

R R

R2 R2
x dx = lm

= lm 0 = 0
R
2 R
2

vemos rpidamente que el valor principal de Cauchy de esta integral existe y vale cero.
Si f(x) es par , es decir f(x) = f(-x)

2-

y existe una de las integrales

(vp) f(x)dx ,

f(x)dx entonces existe la otra.

2 - Clculo de Integrales impropias por medio de residuos


Queremos calcular una integral impropia de la forma
real.

Sabemos

que

si

dicha

integral

es

f(x)dx ,con f(x) continua sobre la recta

convergente

entonces

vale

la

igualdad

f(x)dx = (vp) f(x)dx , por lo tanto si podemos calcular lm f ( x ) dx obtendremos el

R R

resultado de la integral propuesta.


16
Mdulo I - Unidad 5

Matemtica D

Como la teora de residuos permite calcular fcilmente integrales sobre


curvas cerradas, consideramos el intervalo [-R, R] de la recta real y la
semicircunferencia superior centrada en el origen de radio R, que
denominamos CR , generando de este modo una curva cerrada
C = [-R, R] CR como se observa en dibujo.

CR
-R

z1
Si f(z) es analtica en el semiplano Im(z) 0 , salvo en un nmero
finito de puntos z1, z2 , ...., zn , todos ellos con Im(zk) > 0 , elegimos R
lo suficientemente grande para que los puntos singulares del semiplano
superior queden en el interior de C .

z2
-R

R
zn

Por lo tanto por el teorema de los residuos sabemos que:


= 2i Res [f , z k ]
n

f (z ) dz
C

(*)

k =1

Como C = [-R, R] CR , entonces la integral del primer miembro de (*) es igual a la suma de la
integral sobre el segmento [-R,R] ms la integral sobre la semicircunferencia CR :

f (z ) dz = [

R,R ]

f ( z ) dz + f ( z ) dz =
CR

f ( x) dx + f ( z ) dz
CR

por lo tanto la expresin (*) puede escribirse

f ( x) dx + f ( z ) dz = 2i Res [f , z k ]
n

CR

k =1

y despejando puede ponerse en la forma :

R f (x) dx = C f ( z) dz + 2i Res [f , z k ]
n

k =1

como la suma de los residuos es constante y no depende de R, tomando lmite para R en


ambos miembros de la ltima expresin obtenemos:
lm f ( x) dx = lm f ( z ) dz + 2i Res [f , z k ]
n

R R

Si tenemos la suerte que

R C R

lm f ( z ) dz = 0

R CR

k =1

entonces la expresin anterior permite conocer el

valor principal de la integral impropia que queramos y su valor resulta ser:


(vp) f ( x) dx = 2i Res [f , z k ]

k =1

17
Mdulo I - Unidad 5

Matemtica D

A continuacin se detallan dos situaciones, que indicamos con a) y b) donde se cumple


lm f ( z ) dz = 0 y por lo tanto es posible calcular una integral de variable real mediante teora
R CR

de residuos.

a) Integrales impropias de cociente de polinomios


p( x )
con p(x) y q(x) polinomios reales sin factores comunes, y donde q(x) no tiene
q( x )
races reales y el grado de q(x) supera en al menos 2 unidades al grado de p(x) entonces

Si f ( x ) =

lm

R CR

p(z)
dz = 0 , y este lmite deber justificarse en cada ejercicio como se muestra en el
q(z)

ejemplo siguiente.

 Ejemplo

x- 2
dx , donde es inmediato que el integrando es continuo sobre la
(x + 1)2
recta real pues es cociente de continuas y el denominador no tiene races reales, pues el
denominador slo se anula en i y -i
y
CR
i
Para ello consideramos una curva cerrada C formada por el segmento
[-R, R] del eje x y una semicircunferencia superior CR centrada en el
R
-R
x
origen de radio R, donde consideramos R lo suficientemente grande
para que las races del denominador con parte imaginaria positiva queden en el interior de dicha
curva cerrada, en este caso R debe ser mayor que 1 y calculamos usando teora de residuos la

Queremos calcular

integral de f(z) =

(z

en este ejemplo :

z-2
2

+1

z2

z2
dz = 2i Re s
, i
2
2
2
C ( z + 1)
2

z + 1

como i es un polo de orden dos del integrando, dicho residuo resulta:


z2

d
z2
( z + i ) 2 ( z 2)2( z + i ) 1
2
Re s
,
i
=
lm
(
z

i
)
=
lm
=

2
2i
(z i ) 2 (z + i ) 2 zi
(z + i ) 4
z 2 + 1
z i dz

y por lo tanto

z2
1
dz = 2i
=
2
2
( z + 1)
2i

18
Mdulo I - Unidad 5

Matemtica D

Como C = [-R,R] CR , la expresin anterior puede escribirse


x2
z2
dx +
dz =
2
2
R ( x + 1)
C R ( z 2 + 1) 2

o su equivalente

x2
z2
dx =
dz
2
2
C
R
( x + 1)
( z 2 + 1) 2

y tomando lmite para R a ambos miembros de la ltima expresin obtenemos


(vp)

Tratemos de demostrar que lm

x2
z2
dx = lm
dz
2
2
2
C
R

R (z
( x + 1)
+ 1) 2

R CR

z2
dz = 0 , teniendo presente que sobre CR se verifica
( z 2 + 1) 2

que |z| = R
| a b | | a | + | b | , podemos acotar el numerador sobre la curva CR :

Recordando que

|z - 2| |z| + |2|= R + 2
y recordando que

| a b | | |a| - |b| | , podemos afirmar que

1
1
, por lo tanto

|a b| |a||b|

sobre CR vale la siguiente acotacin :


1
1
1

= 2
2
2
| z + 1 | | z |2 | 1 |
( R 1) 2
Estos comentarios nos permiten acotar el integrando :
z2
1
1
=| z 2 | 2
( R + 2)
2
2
2
( z + 1)
| z + 1|
R2 1

CR

z2
dz
( z 2 + 1) 2

CR

R+2

) (R
2

, por lo tanto

R+2
R+2
( R + 2)R
| dz |= 2
| dz | =

2
2
2
C
( R 1)
( R 1) 1
( R 2 1) 2
4R24
3
longitud de C R

z2
dz = 0
C R ( z 2 + 1) 2

y aplicando el teorema del sandwich, podemos afirmar que lm


R

Por lo tanto

(vp)

x2
dx =
( x 2 + 1) 2

Como la integral propuesta es convergente, podemos afirmar que

x2
dx =
( x 2 + 1) 2

19
Mdulo I - Unidad 5

Matemtica D

Ejercicios
16- Justificar usando teora de residuos el valor de las integrales que se dan a continuacin.

a)

dx

=
2
2
x + 4 x 9 30

)(

b)

x 2 dx

=
2
2
8
(x + 4)

c)

x dx

(2 + 2 x + x )

2 2

b) Integrales impropias en las que intervienen senos y cosenos


La teora de residuos permite calcular integrales reales donde intervienen senos o cosenos y son
de la forma

f ( x) sen (ax) dx o

f ( x) cos (ax) dx

donde a es una constante real positiva.

Se trabaja de forma similar a la ya descripta en el sentido que tomamos


una curva cerrada C = [-R, R] CR , aplicamos teora de residuos y
tenemos que demostrar que la integral sobre CR tiende a cero, si R tiende
a infinito. Este ltimo paso no es posible realizarlo pues analizando los
mdulos de estas funciones en el semiplano y > 0 , vemos que
e iaz e iaz
e ay e ay
e iaz e iaz
|sen z | =
=
= sh (ay )

2i
2
2

CR
-R

e iaz e iaz
e ay e ay
e iaz + e iaz
|cos (az) | =
=
= sh (ay )

2
2
2

pero es interesante observar que la exponencial eiaz s est acotada en el semiplano y > 0, pues

|eiaz | = | e-ay eiax | = e-ay < 1 , si a > 0


Por este comentario es que se considera la siguiente igualdad

f(x) e iax dx =

f(x) [cos (ax) + isen(ax)] dx =

de donde se desprende que :

f(x) cos (ax) dx + i

f(x) sen (ax) dx

f ( x) cos (ax) dx = Re f ( x) e iax dx


f ( x ) sen (ax) dx = Im f ( x ) e iax dx


20
Mdulo I - Unidad 5

Matemtica D

por ello nunca calcularemos por residuos las integrales impropias que contienen senos y cosenos ,
sino que calcularemos por residuos la integral que se obtiene reemplazando las funciones
trigonomtricas por una exponencial compleja.

 Ejemplo
Si queremos calcular

sen(2x)

x 4x + 5
2

dx , comenzamos considerando la igualdad

sen(2x)
e2ix
dx
=
Im
dx

2
x2 4x + 5
x 4x + 5

e2iz
C z 2 4z + 5 dz usando
teora de residuos sobre la curva C = [-R, R] CR

y procedemos a calcular la integral

-2+i

CR
R

-R

2iz

e
Si llamamos g(z) = 2
resulta evidente que es analtica en el eje real y en el semiplano
z 4z + 5
superior con excepcin del punto -2 + i , donde tiene un polo de orden uno (recordar que se
toma R lo suficientemente grande para que las singularidades del integrando del semiplano
superior queden en el interior de C y observar que la funcin no es analtica en -2 -i , que no debe
tenerse en cuenta por ser exterior a C)

e2iz
e2iz
dz
=
C (z+ 2 + i) (z+ 2 - i) dz = 2i Res[g(z),- 2 + i]
z 2 + 4z + 5

Como

Res[g(z),- 2 + i] = lm (z + 2 i)
z2+i

e2iz
e2i(2+i )
=
entonces
(z + 2 + i)(z + 2 i)
2i

e2iz
e-2- 4i
dz
=
2

i
= e2 (cos4 i sen4)
2
z + 4z + 5
2i

Como C = [-R,R] CR , la expresin anterior puede escribirse


e 2 ix
e 2 iz
2
dx
+
R x 2 + 4x + 5 CR z 2 + 4z + 5 dz = e (cos4 i sen4)
R

y tomando lmite para R a ambos miembros de la ltima expresin obtenemos


e 2 ix
e 2iz
2
dx
+
lm
dz = e (cos4 i sen4)

2
x 2 + 4x + 5
C
R
R z
+ 4z + 5

( vp )

21
Mdulo I - Unidad 5

Matemtica D

Tratemos de demostrar que lm

R CR

e 2iz
dz = 0
z 2 + 4z + 5

teniendo presente que |z| = R sobre CR ,

que |eiaz | = | e-ay eiax | = e-ay < 1 y que la integral de |dz| da la longitud de la curva:

CR

e 2iz
e 2iz
1
R
dz

dz
dz = 2

2
2
2
C
C
R z
R R
z + 4z + 5
+ 4z + 5
4R 5
R 4R 5

como la ltima expresin tiende a 0 si R tiende a infinito, aplicando el teorema del sandwich
podemos afirmar que la integral sobre CR tiende a 0 como pretendamos.
Por lo tanto

e 2 ix
2
dx = e (cos4 i sen4)
x 2 + 4x + 5

( vp )

De donde se desprende que (vp)

tambin podemos afirmar que (vp)

sen(2x)
dx = Im [
e-2 (cos 4 - i sen 4)]= - e-2 sen 4
x 4x + 5
2

cos(2x)
dx = Re [
e-2 (cos 4 - i sen 4)]= e-2 cos 4
x 4x + 5
2

Observacin
p( x )
con p(x) y q(x) polinomios reales sin factores comunes, y donde q(x) no tiene
q( x )
races reales y el grado de q(x) supera en al menos 2 unidades al grado de p(x) entonces

1- Si f ( x ) =

lm

R CR

p(z) iaz
e dz = 0 siempre que a > 0 y este lmite deber justificarse en cada ejercicio
q(z)

como se ha mostrado en el ejemplo anterior.


2- Si la diferencia de grados entre p(x) y q(x) es igual a 1 , por ejemplo si se quieren calcular las

x+ 2
x+ 2
integrales
sen(2x)
dx

cos(2x) dx , se procede de manera similar

2
2

x 4x + 5
x 4x + 5
a lo explicado, pero cuando tengamos que demostrar que la integral sobre CR tiende a cero, si
acotamos siguiendo los mismos pasos que usamos en el ejemplo anterior nos quedar :
0

CR

( z + 2) e 2iz
( z + 2) e 2iz
R+2
( R + 2)R
dz

dz
dz = 2

2
2
2
C
C
R z
R R
z + 4z + 5
+ 4z + 5
4R 5
R 4R 5

y la ltima expresin no tiende a cero, por ello la acotacin debe realizarse usando el resultado
que se enuncia y demuestra a continuacin.

22
Mdulo I - Unidad 5

Matemtica D

Desigualdad de Jordan:

e - Rsen t dt <

Demostracin
Como la grfica de sen t es simtrica respecto de la recta t = /2, podemos afirmar que

e - Rsen t dt = 2

/2

e - Rsen t dt

Teniendo en cuenta el grfico de la derecha se observa


que: sen t 2t / si 0 t /2

y = 2t/

por lo tanto - Rsen t - R2t / ,


y por ser la exponencial creciente podemos asegurar que

e-Rsen t e -R2t /
entonces

/2

e - Rsen t dt 2

/2

se cumple que 1 e-R < 1

/2

0 t /2

si

e - Rsen t dt = 2

y = sent

y la desigualdad

e - R2t/ dt =

(1 e R ) <
2R
R

e - Rsen t dt <

pues, como R > 0

est probada
R

 Ejemplo
Si queremos calcular

(x+ 2) sen(2x)
dx , comenzamos considerando la igualdad
x2 4x + 5

(z + 2)e2ix

(x+ 2)sen(2x)
dx
=
Im
dx
2
2
x 4x + 5
x 4x + 5

y procedemos a calcular la integral


curva C = [-R, R] CR

(z + 2)e2iz
z 2 4z + 5

dz sobre la

-2+i
-R

CR
R

(z + 2)e
, sabemos que es analtica en el eje real y en el semiplano superior
z 2 4z + 5
con excepcin del punto -2 + i , donde tiene un polo de orden uno
2iz

Si llamamos h(z) =

(z + 2)e2iz
(z + 2)e2iz
dz =
dz = 2i Res[h(z),- 2 + i]
C (z + 2 + i) (z + 2 - i)
z 2 + 4z + 5

23
Mdulo I - Unidad 5

Matemtica D

Como Res[h(z),- 2 + i] = lm (z + 2 i)
z2+i

(z + 2) e2iz
i e2i(2+i )
=
entonces
(z + 2 + i)(z + 2 i)
2i

(z + 2)e2iz
e-2- 4i
dz
=
2

i
= i e2 (cos4 i sen4)
2
2
z + 4z + 5

Como C = [-R,R] CR , la expresin anterior puede escribirse


( x + 2)e 2ix
( z + 2)e 2iz
2
dx
+
R x 2 + 4x + 5 CR z 2 + 4z + 5 dz = ie (cos4 i sen4)
R

y tomando lmite para R a ambos miembros de la ltima expresin obtenemos


( x + 2)e 2 ix
( z + 2)e 2iz
2
dx
+
lm
dz = i e (cos4 i sen4) (*)
x 2 + 4x + 5
R C R z 2 + 4 z + 5

( vp )

Tratemos de demostrar que lm

R CR

( z + 2)e 2iz
R

z + 4z + 5
2

dz

CR

( z + 2)e 2 iz
dz = 0 teniendo presente que CR : |z| = R ,
z 2 + 4z + 5

( z + 2)e 2iz
z + 4z + 5
2

(| z | +2) e 2iz

dz

CR

| z | 4 | z | 5
2

dz =

R+2
R

4R 5 C

e 2iz | dz |
R

(**)
para la ltima integral parametrizamos la curva:
CR: z(t) = R eit = R (cos t + i sen t)

con

0t

y calculamos |dz| = |R eit dt | = R dt pues | eit | = 1 y |dt| = dt (pues t vara de 0 a y por


lo tanto es creciente), adems sobre dicha curva la funcin |e2iz| se comporta como se muestra a
continuacin:
e 2 iz = e 2 iR (cos t + i sen t ) = e 2iR cos t e 2 R sen t = e 2iR cos t | | e 2 R sen t = e 2 R sen t
por lo tanto

CR

e 2 iz dz = e 2 R sen t R dt < R
0

=
2R 2

, observar se ha usado la desigualdad de

Jordan
Teniendo en cuenta la desigualdad anterior volvemos a (**) y obtenemos:
0

CR

( z + 2)e 2 iz
R+2
R+2

dz 2
e 2 iz | dz | < 2

2
C
z + 4z + 5
R 4R + 5 R
R 4R + 5 2

24
Mdulo I - Unidad 5

Matemtica D

y esta expresin tiende a 0 si R tiende a infinito,

por lo tanto

lm

R CR

( z + 2)e 2iz
dz = 0
z 2 + 4z + 5

Reemplazando en la expresin (*) , obtenemos:


( x + 2)e 2 ix
2
dx = i e (cos4 i sen4)
x 2 + 4x + 5

( vp )

De donde se desprende que (vp)

(x+ 2)sen(2x)
dx = Im [
ie-2 (cos 4 - i sen 4)] = e-2 cos 4
2
x 4x + 5

tambin podemos afirmar que (vp)

(x+ 2)cos(2x)
dx = Re [
ie-2 (cos 4 - i sen 4)]= e-2 sen 4
2
x 4x + 5

Ejercicios
17- Justificar usando teora de residuos el valor de las integrales que se dan a continuacin
a)

cos(a 2 x)dx e a
=
2
x2 + 1

b)

x sen x dx sen 1
=
2e
x4 + 4

18- Calcular justificando todos los pasos


a)

c)

dx
13 + 12 x + 4x 2

x 2 cos(2x)dx

(16 + x )

2 2

b)

d)

sen(3x ) dx
13 + 12 x + 4x 2

x sen(2x)dx
x2 + 3

25
Mdulo I - Unidad 5