You are on page 1of 100

Teora de Residuos

UNMSM FIEE

Pure mathematicians do it in theory.


1
Puntos singulares
Un punto singular z0 de una funcin f (z) es un punto donde
f (z) no es analtica.

Singularidad aislada Singularidad no aislada

1
f ( z) f ( z ) 1 / sin( / z )
z ( z 2) 2 aisladas
z0 1, 12 , 13 , 14
z0 0, 2 no aislada z0 0 2
Parte principal (Recordatorio)
Supongamos que z = z0 es una singularidad aislada de f(z) y que su serie de Laurent
vlida para 0 < |z z0| < R es:


bk
f ( z ) ak ( z z 0 ) k

k 1 ( z z 0 )
k
k 0

Parte principal
Nota: Observa que el desarrollo tiene como centro
al punto singular (por eso es vlido en 0 < |z z0| < R). 3
Singularidades aisladas
Hay dos tipos de singularidades aisladas: polos de orden m y
esenciales. En ambos casos podemos desarrollar la funcin f(z) en serie
de Laurent con centro en la singularidad z0 y la serie converger para
0 < |z-z0| < R.
Si z0 es un polo de orden m:
La serie de Laurent se para en la m-sima potencia negativa
b1 b2 bm
f ( z)
z z0 ( z z0 ) 2
( z z0 ) m

Si z0 es un singularidad esencial:
La serie de Laurent es infinita en potencias negativas
b1 b2
f ( z)
z z0 ( z z0 ) 2
El centro z0 es un
punto singular. 4
Clasificacin de las singularidades aisladas
(i) Si la parte principal es cero, z = z0 se denomina
singularidad evitable.
(ii) Si la parte principal contiene un nmero finito de
trminos, entonces z = z0 se denomina polo. Si el
ltimo coeficiente es bm, m 1, entonces decimos que
es un polo de orden m. Un polo de orden 1 se llama
polo simple.
(iii) Si la parte principal contiene infinitos trminos, z = z0
se denomina singularidad esencial.

5
Ejemplos
1
Clasificar la singularidad de la funcin f ( z )
z
La serie de Laurent con centro z0= 0 es
simplemente el trmino 1/z , vlida para
0 < |z|< . z0= 0 es un polo simple.

1 1
Clasificar la singularidad de la funcin f ( z )
( z 1) 3
z 1
La serie de Laurent con centro z0=1 est formada
1 1

simplemente por los dos trminos z 1 ( z 1) 3
,
vlidos para 0 < |z-1| < . z0=1 Es un polo de orden6 3.
Ejemplos
sinh z
Clasificar la singularidad de la funcin f ( z ) 4
z
z3 z5 z7 sinh z 1 1 z z3
sinh z z f ( z ) 4
3
3! 5! 7! z z 3! z 5! 7!

0<|z|< z0 = 0 es un polo de orden 3.

Clasificar la singularidad de la funcin f ( z ) e1/( z i )


z 2
z 3 1 1 1 1 1
e 1 z
z f ( z ) 1
2! 3! z i 2! ( z i ) 3! ( z i )
2 3

0<|z+i|<
z0 = -i es una singularidad esencial.
7
Ejemplos
sin z z2 z4
1 z = 0 es una singularidad evitable.
z 3! 5!

sin z 1 z z 3
2
... z = 0 es un polo simple.
z z 3! 5!

1 1 1 1 ( z 1)
f ( z) ...
( z 1) ( z 3)
2
2( z 1) 4( z 1) 8
2
16
z = 1 es un polo de orden 2. 8
1 1 1 1
f ( z) 2 3 4 ...
z ( z 1) z z z
El punto z = 0 es una singularidad aislada de f y la serie de
Laurent contiene infinitos trminos. Viendo el desarrollo,
podemos decir que z = 0 es una singularidad esencial?
Dnde es vlido el desarrollo anterior?
Es vlido en para 1 < |z| < .
Y necesitamos el desarrollo para 0 < |z| < 1:
1
f ( z ) 1 z z 2 ...
z
Donde vemos que se trata de un polo simple. 9
Ceros
Decimos que z0 es un cero de f(z) si f(z0) = 0.
Una funcin analtica tiene un cero de orden n en
z = z0 si:
( n 1)

f ( z0 ) 0 , f ( z0 ) 0 , f ( z0 ) 0 , ... , f ( z0 ) 0 ,
pero : f (n)
( z0 ) 0

Ejemplo: la funcin f(z) = z sin z2 tiene un cero de orden 3 en z = 0.


6 10
2 2 z z
sin z z ...
3! 5!
2 3 z
4
z
8

f ( z ) z sin z z 1 ...
3! 5! 10
Observa que si las funciones f y g son analticas en z = z0
y f tiene un cero de orden n en z = z0 y g(z0) 0,
entonces la funcin F(z) = g(z)/f(z) tiene un polo de
orden n en z = z0.
Por ejemplo:
2z 5
F ( z)
( z 1)( z 5)( z 2) 4

El denominador tiene ceros de orden 1 en z = 1 y z = 5, y


un cero de orden 4 en z = 2. Puesto que el numerador no se hace
cero en ninguno de estos puntos, F(z) tiene un polo simple en z =
1 y z = 5 y un polo de orden 4 en z = 2.

11
12
13
14
Residuos
El residuo de una funcin f(z) en z = z0 es el coeficiente del
trmino 1/(z-z0) en la expansin en serie de Laurent de f(z):
el coeficiente b1.
f ( z ) a0 a1 ( z z0 ) a2 ( z z0 ) 2 a3 ( z z0 ) 3
b1 b2 b3 b4

z z0 ( z z0 ) ( z z0 ) ( z z0 )
2 3 4

2z 3

z 2 3z 2
Ejemplo: 1 1 1 z z2
El residuo de f(z) en z = z0 2
z z 2 4 8
se denota como:
b1 1
Res f ( z ) Res( f ( z ), z0 ) b1
z z0
15
Porqu es importante el residuo?
Para f (z) analtica dentro de un anillo, tenemos:
f ( z ) a0 a1 ( z z0 ) a2 ( z z0 ) a3 ( z z0 )
2 3

b1 b2 b3 b4

z z0 ( z z0 ) ( z z0 ) ( z z0 )
2 3 4

1 f ( z) 1

n 1
an dz, bn f ( z )( z z ) dz
2 i C ( z z0 ) n 1
2 i C
0
n=1

As:


C
f ( z )dz 2 ib1 z0
C

Nos permite calcular integrales ... 16


Ejemplo
1
Integrar la funcin 1 z en sentido positivo para |z |=2.

1 z z 2 z 3 z 1 z 2
1
1 1 1
1 z 2 3 z 1
z z z
1 punto
C 1 z dz 2ib1 2i centro singular
z=1

Observemos que por la frmula integral de Cauchy:


g ( z) 1
C z z0 dz 2i g ( z0 ) C z 1 dz 2ig (1) 2i 17
Tomemos como centro z0=1
z 2
1 1
f ( z) ,
1 z z 1
0 z 1
centro z0=1
La serie de Laurent posee un slo trmino. punto
singular
1
C 1 z dz 2ib1 2i como antes.

Why did the mathematician name his dog "Cauchy?"


Because he left a residue at every pole.
18
2z 3
Ejemplo: Integrar la funcin en sentido positivo
z 2 3z 2
para |z|=3/2.

3 5 9 2
z z z 1
2 4 8
2z 3 1 1 1 z z2

2 1 z 2
z 3z 2
2
z z 2 4 8
2 3 5 9 2 z
z z 2
z 3
z 4

2z 3 z 3/ 2
C z 2 3z 2 dz 2ib1 2i
Por la Frmula Integral de Cauchy: 0
g ( z) 1 1
C z z0 dz 2i g ( z0 ) C z 2 dz C z 1 dz 2ig (1) 2i
19
Otro ejemplo: Calcular
1
C z ( z 2) 4 dz
C is positively oriented circle | z 2| = 1.

Integrand is analytic everywhere except z = 2 and z = 0.


Find Laurent series of f(z) in the disk 0 < | z 2 | < 2

1 1 1
(1) n
n 1 ( z 2) n4 (0 | z 2 | 2)
z ( z 2) 2( z 2) 4
4
z 2 n 0 2
1
3
Residue of f at the isolated singular point z0

1 1 1
Res f ( z ) b1 dz
z z 0 2i C z ( z 2) 4
16
20
ALTERNATIVE METHOD

Residue of f at the isolated singular point 2 is the coefficient of 1/(z2).


1 A B C D E
(0 | z 2 | 2)
z ( z 2) 4 z ( z 2) 4 ( z 2) 3 ( z 2) 2 ( z 2)
1 A( z 2) 4 Bz Cz ( z 2) Dz ( z 2) 2 Ez ( z 2) 3

z ( z 2) 4 z ( z 2) 4
Solve for A, B, C, D, E by setting coefficients of z, z2, z3, z4 equal to 0.
A+E=0
(A(z 2) Az)(z 2)3 = 2A(z 2)3
D 2A = 0
( 2A (z 2) + 2A z)(z 2)2 = 4A (z 2)2
4A + C = 0
( 4A z + 4A (z 2)) (z 2) = 8A(z 2)
B 8A =0
8A z 8A (z 2) = 16 A = 1
A = 1/16, E = 1/16 1
Res f ( z )
zz0
16
21
Partial Fraction Expansion Review
1 A B

z ( z 2) z ( z 2)
z 1 Bz
When z 0, A A
z ( z 2) 2 ( z 2)
( z 2) 1 A( z 2)
When z 2, BB
z ( z 2) 2 z

1 A B C

z ( z 2) 2 z ( z 2) ( z 2) 2
z 1 Bz Cz
When z 0, A A
z ( z 2) 2 4 ( z 2) ( z 2) 2
( z 2) 2 1 A( z 2) 2 B ( z 2) 2
When z 2, C C
z ( z 2) 2
2 z ( z 2)
1 A B C
Pick z 1, 1 0.25 0.5 B
z ( z 2) 2 1 (1) 1
B 1.75

22
1

C
z ( z 2) 4
dz
C is positively oriented circle | z 2| = 1.
Integrand is analytic everywhere except z = 2 and z = 0.
Find Laurent series of f(z) in the disk 0 < | z 2 | < 2

Residue of f at the isolated singular point z0


1 1 / 16 1/ 2 1/ 4 1/ 8 1 / 16
(0 | z 2 | 2)
z ( z 2) 4
z ( z 2) ( z 2) ( z 2) ( z 2)
4 3 2

1 1 / 16 1/ 2 1/ 4 1/ 8 1 / 16

z ( z 2) 4 ( z 2) 2 ( z 2) 4 ( z 2) 3 ( z 2) 2 ( z 2)
1 1 1 1 1 b1

z 32 ( z 2) / 2 1 32 1 ( z 2) / 2
1 z 2 ( z 2) 2 ( z 2) 3
1 2
3
...
32 2 2 2
n
1 1 All terms have positive exponents
( z 2) n
32 n 0 2
1 1 1
2i C z ( z 2) 4
Res f ( z ) b1 dz
zz0 16 23
5. Hallar el residuo de una funcin compuesta f z en el
punto z a donde se verifican las siguientes condiciones:
( z ) es analtica en z a y (a ) 0
La funcin f tiene un polo de primer orden en el punto
(a) y su residuo es B.

f
Expresamos la segunda condicin a
z a B
f z (1)
z a

z analtica en a desarrollo de Taylor :


a a
z a z a z a 2 ...
1! 2!
a
z a z a a z a ... (2)
2!
24
z analtica en a(por (1)) desarrollo de Taylor :
a a
z a z a ... (3)
B
1!
Reemplazando (2) y (3) en (1) :

z B a a z a ...
f z
z a a
z a a z a ...
2!
B
Res f ( z ) ; z a
a

25
Observemos que el residuo nos permite calcular integrales
de funciones analticas f (z) sobre una curva cerrada C cuando
f (z) tiene un punto singular dentro de C.


C
f ( z )dz 2ib1 z0 C

donde b1 es el residuo de la serie de Laurent que representa


a f (z) alrededor de z0 en un anillo que contiene a C. 26
Ejemplo: 1
C z ( z 2) 4 dz Con C: | z 2| = 1.

La serie de Laurent de f(z) en 0 < | z 2 | < 2:


1 1 1

z ( z 2) 2( z 2) 4
4
z2
1
2

(1) n

n 0 2
n 1
( z 2) n4
(0 | z 2 | 2)

1 1 1
Res f ( z ) b1
zz0
2i C z ( z 2) 4
dz
16
27
De dnde viene el nombre de residuo?
1
Res f ( z )
z z0
2 i C
f ( z )dz
z 0
C
1
bn
an ( z zo ) dz
n
n
2 i C n 0 n 1 ( z z o )

1 1
1
an ( z zo ) dz
2 i n 0 C
n
bn
2 i n 1 C ( z zo ) n
dz

0 0
para todo n, excepto
para n = 1, que vale: 2i
1
Res f ( z ) b1 2 i b1 De aqu el nombre de residuo.
z z0 2 i
28
Es preciso hallar la serie de Laurent de f(z) para calcular la
integral?

No, si los puntos singulares z0 son polos.


En esos casos hay formas rpidas y simples de hallar el residuo.

Veremos:
1. Cmo hallar el residuo para un polo 4 sin z
simple, z0=1, como en el caso z 1
2. Cmo hallar el residuo para un polo de 3z 3
orden 2, z0=1, como en el caso ( z 1) 2
3. Cmo hallar el residuo para un polo de 2e z
cualquier orden ... (3 z i ) 7
29
Frmula para hallar el residuo para un polo simple

Si f (z) tiene un polo simple en z0, la serie de Laurent es:


b1
f ( z ) a0 a1 ( z z0 ) 0 z z 0 R
z z0
( z z0 ) f ( z ) a0 ( z z0 ) a1 ( z z0 ) 2 b1

lim ( z z0 ) f ( z ) b1
z z0

Res f ( z ) lim ( z z0 ) f ( z )
z z0 z z0
Situamos el centro en
el punto singular 30
Ejemplo
2z i
Hallar el residuo de f ( z ) ( z i )( z 2 1) en z=i

Res f ( z ) lim ( z z0 ) f ( z )
z z0 z z0 i
( z i )(2 z i ) (2 z i) i
lim lim
z i ( z i )( z 2 1) z i ( z i ) 2 4
i

Comprobmoslo mediante la serie de Laurent:


2z i 2( z i ) i 1 2( z i ) i 1
f ( z)
( z i )( z 2 1) z i ( z i) 2 z i 2i ( z i ) 2
2( z i ) i 1 2( z i ) i ( z i) ( z i) 2 ( z i)3
1 2 3 4
( z i )(2i ) 2 1 ( z i ) /(2i ) 2 ( z i )(2i ) 2 2i (2i ) 2 (2i ) 3
i 1 1 5 1
( z i) ( z i) 2
4 z i 4 16 2 0 z i 2
31
Ejemplo
z 1
Hallar el residuo en los polos de f ( z)
z 2 2z
z 1 z 1 1
Res f ( z ) lim z lim
z 0 z 0 z ( z 2) z 0 z 2 2
z 1 z 1 3
Res f ( z ) lim( z 2) lim 0 2
z 2 z 2 z ( z 2) z 2 z 2

Comprobarlo a travs de la de Laurent:


z 1 z 1 1 z 1 z z2 1 3 3z 3z 2
f ( z) 1 2
z ( z 2) 2 z 1 z / 2 2z 2 2 2 z 4 8 16
0 z 2
z 1 ( z 2) 3 1 ( z 2) 3 1
f ( z)
z ( z 2) ( z 2) 2 ( z 2) 2( z 2) 1 ( z 2) / 2 0 z 2 2
( z 2) 3 z 2 ( z 2) 2 3 1 ( z 2) ( z 2) 2
1
2( z 2) 2 2 2
2( z 2) 2 4 8 32
Frmula para hallar el residuo para un polo de orden 2
Si f (z) tiene un polo de orden 2 en z0, la serie de Laurent es:
b1 b2
f ( z ) a0 a1 ( z z0 )
z z0 ( z z0 ) 2

( z z0 ) 2 f ( z ) a0 ( z z0 ) 2 a1 ( z z0 )3 b1 ( z z0 ) b2
derivando obtenemos:
d
dz

( z z0 ) 2 f ( z ) 2a0 ( z z0 ) 3a1 ( z z0 ) 2 b1

lim
d
z z0 dz

( z z0 ) f ( z ) b1
2

Res f ( z ) lim
z z0
d
z z0 dz

( z z0 ) f ( z )
2

33
Ejemplo
z
Hallar el residuo de f ( z ) ( z 2)( z 1) 2 en z=1

Res f ( z ) lim
z z0
d
z z0 dz

( z z0 ) 2 f ( z )
d z 2 2
lim lim 2 1
z 1 dz z 2
z 1 ( z 2) 9
2

Comprobarlo a travs de la serie de Laurent:


z ( z 1) 1 1 ( z 1) 1 1
f ( z)
( z 2)( z 1) 2 ( z 1) 2 3 ( z 1) 3( z 1) 2 1 (( z 1) / 3)
( z 1) 1 z 1 ( z 1) 2 ( z 1) 1 1 1 1 ( z 1)
2
1 3
3( z 1) 3 3 2
3 ( z 1) 3( z 1) 3
2 2
3
1 2 2 2( z 1)

3( z 1) 9( z 1) 27
2

81

0 z 1 3
34
Ejemplo: f(z) = 1/(z 1)2(z 3) tiene un polo
simple en z = 3 y un polo de orden 2 en z = 1.
Encontrar los residuos:
1 1
Re s( f ( z ), 3) lim( z 3) f ( z ) lim
z 3 z 3 ( z 1) 2
4
d d 1
Re s( f ( z ), 1) lim ( z 1) f ( z ) lim
2
z 1 dz z 1 dz z 3

1 1
lim
z 1 ( z 3) 2
4

35
2z 6
Calcular C 2
z 4
dz con C: |z i|= 2.

2z 5
C z 2 4 dz 2 i Re s( f ( z ) , 2i)
2z 6
2 lim ( z 2i )
z 2 i ( z 2i )( z 2i )
3 2i
2 i (3 2i )
2i

36
z
e
Evaluar 4 dz donde el contorno C
C z 5z 3

es el crculo |z|= 2.

ez
C z 4 5 z 3 dz 2 i Res( f ( z ) , 0)
1 d2 3 ez
2 i lim 2 z 3
2! z 0 dz z ( z 5)
( z 8 z 17)e 17
2 z
i lim 3
i
z 0 ( z 5) 125

37
Frmula para el residuo para un polo de cualquier orden
Si f (z) tiene un polo de orden m en z0, la serie de Laurent es:
b1 b2 bm
f ( z ) a0 a1 ( z z0 )
z z0 ( z z0 ) 2
( z z0 ) m
( z z0 ) m f ( z ) a0 ( z z0 ) m a1 ( z z0 ) m 1 b1 ( z z0 ) m 1
b2 ( z z0 ) m 2 bm
Derivamos m-1 veces.
Cuando zz0 obtenemos:
d ( m 1)

lim ( m 1) ( z z0 ) f ( z ) (m 1)!b1
z z0 dz
m


( m 1)
1 d
Res f ( z ) lim ( m 1) ( z z0 ) f ( z )
m
z z0 (m 1)! z z0 dz
38
De otra manera...
Un punto singular aislado z0 de una funcin f es
un polo de orden m si y solo si f(z) puede ser escrito
en la forma:
( z)
f ( z)
( z z0 ) m

donde (z) es analtica y no cero en z0. Entonces:

( m1) ( z0 )
Res f ( z ) ( z0 ) si m 1 y Res f ( z ) si m 2
z z0 z z0 (m 1)! 39
Demostracin: ( z)
f ( z)
( z z0 ) m
()
' ( z0 ) ' ' ( z0 )
( z ) ( z0 ) ( z z0 ) ( z z0 ) 2
1! 2!
( m 1) ( z0 )
(n)
( z0 )
... ( z z0 )
m 1
( z z0 ) n
(m 1)! nm n!

( z0 ) ' ( z0 ) / 1! ' ' ( z0 ) / 2!


f ( z) m 1
m2

( z z0 ) ( z z0 )
m
( z z0 )
( m1) ( z0 ) /(m 1)! ( n ) ( z0 )
... ( z z0 ) n m
z z0 nm n!
( m1) ( z0 )
f(z) tiene un polo de orden m en z=z0 Res f ( z ) b1
zz0 (m 1)!
40
()
Si f(z) tiene un polo de orden m en z=z0 entonces
tiene una representacin en serie de Laurent en la
regin| z-z0|<R:

b1 b2 b3 bm
f ( z ) an ( z z 0 )
n

n 0 z z 0 ( z z 0 ) 2
( z z 0 ) 3
( z z 0 ) m

( z z0 ) m f ( z ) cuando z z0
( z)
bm cuando z z0


( z ) bm bm 1 ( z z0 ) b1 ( z z0 )
m m 1
an ( z z 0 ) mn

n 0
41
42
43
44
45
Hemos visto que la integral de una funcin analtica
f (z) sobre una curva cerrada C cuando f (z) tiene un punto
singular z0 dentro de C es:
donde b1 es el residuo
f ( z )dz 2ib 1
z0
C C
de f (z) en z0

El teorema del residuo generaliza este


resultado: Sea f (z) una funcin analtica
dentro y sobre un camino cerrado C,
excepto para k puntos singulares dentro de
z2
C. Entonces: z1 C
zk z3
k

C
f ( z )dz 2i Res f ( z )
i 1
z zi
46
1
Evala c z 1 2 z 3 d z donde

(a) El contorno C es el rectngulo definido por x = 0, x


= 4, y = 1, y = 1.
(b) El contorno C es el crculo |z|= 2.

1
(a) C 2
dz 2 i Res( f ( z ) , 1) Res( f ( z ) , 3)
( z 1) ( z 3)
1 1
(b) 2 i 0
4 4
1
C ( z 1)2 ( z 3) dz 2 i Res( f ( z ) , 1)
1
2 i i
4 2
47
ez
dem C 4 3
dz con C: |z|= 2.
z 5z

Observa que z = 0 es un polo de orden 3:

ez
C z 4 5 z 3 dz 2 i Res( f ( z ) , 0)
1 d2 3 ez
2 i lim 2 z 3
2! z 0 dz z ( z 5)
( z 2 8 z 17)e z 17
i lim 3
i
z 0 ( z 5) 125

48
Demostracin del teorema del residuo
Rodeemos todos los puntos singulares
C1
con los crculos C1, C2, Ck. Ck
C2 C
f (z) es analtica en C y aqu dentro
excepto en los k puntos singulares.
Por el teorema integral de Cauchy para regiones
mltiplemente conexas:

f ( z )dz f ( z )dz f ( z )dz f ( z )dz


C C1 C2 Ck

Las integrales a lo largo de cada uno de esos pequeos


crculos son el residuo en cada punto singular dentro del
k
crculo, por tanto:
f ( z )dz 2i Res f ( z )
C i 1
z zi
49
2 z
Ejemplo Integrar la funcin 2 sobre z 2
z z
2 z 2 z 2 z
C z 2 z dz 2 i Res
z 0 z z
2
Res 2
z 1 z z

2 z 2 z
Res 2 lim 2
z 0 z z z 0 z 1 C
2 z 2 z 0 1
Res 2 lim 3
z 1 z z z 1 z
2 z
2 dz 2 i (2 3) 2 i
C
z z
50
dz
3 /z
Calcular C
e C: |z|= 1.

z = 0 es una singularidad esencial, as que no nos


queda ms remedio que calcular la serie de Laurent
alrededor de z = 0, que nos proporciona como
residuo Res(f, 0) = 3.

Ce d zdz 2 i Re s( f ( z ) , 0) 6i
3 /z

51
Otra frmula til para calcular el residuo en un polo simple
cuando f (z) es una funcin racional f(z) = p(z)/q(z) es:

p ( z0 )
Res f ( z )
z z0 q( z0 )
Demostracin:
q ' ' ( z0 )
q( z ) q' ( z0 )( z z0 ) ( z z0 ) 2 ...
2!
p( z )
Res f ( z ) lim ( z z0 )
z z0 z z0 q( z )
( z z0 ) p ( z ) p ( z0 )
lim
z z0 q' ' ( z0 ) q ' ( z0 )
( z z0 ) q ' ( z0 ) ( z z0 ) ...
2!
52
ez
4. Calcular
z 1 z
2 2
dz ,donde es el contorno

indicado en la figura.
0
Puntos singulares aislados : -1 1
z 1 polos simples
z 0 polo doble
Nmero de contornos cerrados simples :
z 1 1
z 02
z 1 1
ez
dz 2i Res f ,1 2Res f ,0 Res f ,1
z 1 z
2 2

ez 1
Res f ,1 2
z 1 z z 1 2e Examen
JUNIO 02/03: P-1 53
ez e
Res f ,1 2
z z 1 z 1 2

e
Res f ,0
z


ez 1 z 2 2z 1

1 z
2
1 z 2 2
z 0
z 0

ez 1 e
z 2 1 z 2 dz 2i 2e 2 2 2i 2 ch(1)

54
C tan zdz C: |z|= 2.

tan z = sin z / cos z tiene polos simples en los puntos donde


cos z = 0: z = (2n + 1)/2, n = 0, 1, 2,
Pero solamente /2 y /2 estn dentro del crculo

C tan zdz 2 i Res f z , 2 Res f z , 2
sin z sin( / 2)
Res f ( z ) , 1
2 (cos z )' z
2
sin( / 2)
sin( / 2)
Res f ( z ) , 1
2 sin( / 2)

C tan zdz 2 i 1 1 4 i 55
2. Calcular la integral
1
z2
e
C z 1
2
dz
siendo C : |z i| = 3/2, simple y orientado positivamente.

Respuesta.

z1 i

z 2 i ptos. singulares aislados
z3 0 z1 y z3 interiores de C
56

C
f ( z )dz 2i Re s( f ( z )) Re s( f ( z ))
z1 z3
z1 es un polo simple

1
z2
1 e 1
f ( z) ( z )
z i z i z i
1 1
Res f ( z ) (i )
z i 2i e
57
z3 es un punto singular esencial
1
z2 1
e 1
f ( z) 2 e z2
z 1 1 ( z )
2


1 1
f ( z ) ( z ) 2 n
2 n
, 0 z 1
2

n 0 n 0 n! ( z )

f(z) se representa por potencias pares positivas y negativas de z.


El coeficiente c-1 es cero.

Res f ( z ) 0
z 0
58
1 1

C
f ( z )dz 2i
2i e
0


C
f ( z )dz
e

59
d) Obtener la solucin de la integral
6 2 2
C ( z i) 2 z i 1 3( z i) dz
donde C : z i 4 , orientado en sentido positivo.

f analtica dentro y sobre C,


4 i Re(z) excepto en el punto singular
aislado z0=i
Desarrollo de Laurent de f en torno a z0 i
2 6
f z 1 3 z i
2

z i z i 2
Res( f , z0 i ) 2
Examen
f ( z )dz 2i Res( f , z
C
0 i ) 4i JUNIO 04/05: P-1
60
Examen
e) Obtener la solucin de la integral JUNIO 04/05: P-1
zn
C 1 2 z cos( ) z 2 dz
donde C : z 2 , orientado en sentido positivo.
Considrese que n es un entero positivo y 0

C: z 2
n 2
z
f ( z)
1 2 z cos( ) z 2
Singularidades de f : 1 2 z cos( ) z 2 0
z1 e i
z cos cos 2 1 cos isen
z 2 e i
z1 z 2 1 2 z1 , z 2 contenidas en C
I 2i Res(f, z1 ) Res(f, z 2 )
61
i
z1 e
zn
f ( z)
z e
i
Res(f, z1 ) i
e in
z e i e e i
i
z2 e
zn
f ( z)
z e i
e in
Res(f, z 2 ) i
i i
z e e e

e in e in sen(n )
I 2i i i
2i ; n , 0
e e sen

62
2. Haciendo uso de la teora de residuos, calcular la integral
1 1

C
z 1
sen dz
z
donde C es la circunferencia z 2 , orientada positivamente.
Puntos singulares en z 2 : z 1 y z 0
1 1
z=1 : polo simple : Res sen sen(1)
z 1
z 1 z
1 1 1 1
z=0 : f ( z) sen sen
z 1 z 1 z z

1 1 1 1 1
1 z z 2 ... 3 5 ...
z 3! z 5! z
1 1 1 c 2 c 3
1 ... 2 3 ...
3! 5! z z z
63
Luego es:

1 1
Res 1 ... sen(1)
z 0
3! 5!
Y entonces:

1 1
C z 1 sen z dz 2i sen1 sen1 0

Examen
SEPTIEMBRE 02/03: P-1
64
z17
3. Calcular la integral z
C
2
2 z 3
3 3 4
dz,donde C es la

circunferencia z 3 orientada positivamente, utilizando el


concepto de residuo en el infinito.
1 1
I 2i Res 2 f
z 0
z z
1
1 1 1 z 17 1 z18
f 2
z 2
z z 1
3
1
4
z 1 2 z 1 3 z
19 2 3 3 4

2 2 3 3
z z
1 1 1 1
Res 2 f 1
z 1 2 z 1 3 z
2 3 3 4 z 0
z z
I 2i
Examen
65
SEPTIEMBRE 02/03: P-1
c) Calcular el valor de la integral:

1
sin( 1 )dz
z
siendo la curva |z| = 1/5 con orientacin positiva.

Respuesta.

1 1 1
sin( 1 )dz; : z 5 positivo; w z
z
1 1
dz 2 dw; C: w 5 positivo

sin( 1 ) C w sin w
z
66
1 1

C 2
w sin w
dw 2i Res 2

,
w sin w
1 1
Res 2 , Res 2 ,0
w sin w w sin w
1 1
Res 2 , 2 ;
w sin w
1 1
Res 2 , 2
w sin w
67
1 1 1
2
3 5
2 4

w sin w w w w w
w (w
2
...) w (1
3
...)
3! 5! 3! 5!
1 1 w
3 ...
w 3! w 5!
1 1
Res 2 ,0
w sin w 6

1 1 2
sin( 1 )dz 2i 6 2
z

68
3. Calcular la integral 1 z 1

2
z Log dz
2i C z 1
donde el contorno C es la circunferencia z 2 orientada de
forma positiva.
Problemas en la funcin logaritmo :
z1 1
z 2 1
z 1 x 1 iy x 1 iy x 1 iy
w
z 1 x 1 iy x 1 2 y 2
Re( w)
x 1 x 1 y 2
;
y x 1 y x 1
Im(w)
x 1 y
2 2
x 1 y 2
2

Se estudia la determinacin principal :


Re( w) 0 x 1 x 1 y 2 1 x 1
Im(w) 0 2 y 0 y 0 y0
69
Segmento donde f(z) no es analtica

C: z 2
-1 1 2

un conjunto infinito de puntos singulares dentro de C


(fuera de C es analtica) aplicamos el concepto
de residuo en el infinito :
1 z 1 1 1
I dz Res 2 f ; z 0
2
z Log
2i C z 1 z z
2 1 1 1
1 1 1 1 1 z
F ( z ) 2 f 2 Log z 4 Log
z z z z 1 1 z 1 z
z
1
4 Log 1 z Log 1 z
z
70
Obtengamos los desarrollo s en serie de Log 1 z y de Log 1 z en z0 0 :
g ( z ) Log 1 z h( z ) Log 1 z
g (0) 0; h(0) 0;
1 1
g ( z ) g (0) 1 h( z ) h(0) 1
1 z 1 z
1 1
g ( z ) g (0) 1 h( z ) h(0) 1
1 z 2
1 z 2

2 2

g ( z) g (0) 2 h( z ) h(0) 2
1 z 3
1 z 3

z 2 2z3 z 2 2z3
Log 1 z z ... Log 1 z z ...
2! 3! 2! 3!
1 z 2 2z3 z 2 2z3 2 4 3!
F ( z) 4 z ... z ... 3 ...
z 2! 3! 2! 3! z z
4 2 2
Res F ( z ); z 0 I
3! 3 3 71
c) Calcular la integral


C Log cos z dz
siendo C : |z| = 4, orientado en sentido positivo.

Respuesta.

C : |z| = 4 Circunferencia de centro z = 0 y radio 4 orientada


positivamente.

analtica sobre C y su exterior


f ( z ) Log cos
z (apartado b)

72

1 1
I f ( z )dz 2iRes 2 f , z 0
z z
C

F ( z )
Log cos z g ( z )
F ( z) 2
2
z z

g ( n ) (0) n
g(z) analtica en z = 0 g ( z) z
n 0 n!
sin z
g (0) 0, g (0) 0
cos z z 0
73
2
g (0) 0
2

cos (z )
2
z 0

z 2 2
g (0) n (n)

z = 0 es un polo
g ( z) z de orden 2
2 n 3 n!

2
g ( n ) (0) n 2 z = 0 singularidad
F ( z) z evitable de F(z)
2 n 3 n!

Res[F(z), z = 0] = 0 I 2iRes F ( z ), z 0 0
74
b) (3 puntos) Calcular el valor de la integral

1
C ( z 1) 4 ( z 2 9)( z 4)dz
siendo C : |z| = 2, orientado positivamente.

Respuesta.

z 1, polo de orden 4
1
f ( z) , z 3, polos simples
( z 1) ( z 9)( z 4)
4 2

z 4, polo simple

75
Por el teorema del residuo en el infinito:

1 1

f ( z )dz 2i Res 2 f ; z0 0
z z C
C1 C2
z 0 z=4

z=-3 z=-1 z=3 C Re(z)


3
Por el teorema de Cauchy-Goursat en
dominios mltiplemente conexos:

f ( z )dz f ( z )d z f ( z )d z
C Ci
i 1

2i
C1
f ( z )d z 2i Res f ( z )
z 3 (2) 4 (6)(7)
76
2i
C2
f ( z )d z 2i Res f ( z )
z 3 (4) 4 (6)(1)
2i
C3
f ( z )d z 2i Res f ( z )
z 4 (5) 4 (5)
1 z7
f ( z )d z 2i Res 2
z 0

z (1 z ) (1 9 z )(1 4 z )
4 2
0

1 1 1 1 1
C ( z 1) 4 ( z 2 9)( z 4)dz 2i 6 24 7 16 55
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
Residuo logartmico

Sea una funcin f(z) analtica dentro y sobre un contorno


cerrado simple C, orientado positivamente, tal que no tenga
ceros sobre l, pero con posiblemente un nmero finito de
ceros en su interior. Si z0 es uno de ellos, entonces es un
punto singular aislado del cociente f'(z)/f(z). El residuo de
este cociente en z0 se denomina residuo logartmico de
f(z) en z0, ya que:

d f ' ( z)
log f ( z )
dz f ( z)

95
Supongamos que z0 es un cero de f(z) de orden m0, entonces
en algn entorno de z0 podemos escribir:

f ( z ) ( z z0 ) g ( z )
m0

con g(z) analtica en dicho entorno y g(z0) 0. Derivando y


dividiendo entre f(z):

m0 1
f ' ( z ) m0 ( z z0 ) g ( z ) ( z z0 ) g ' ( z )
m0

f ' ( z) m0 g ' ( z)

f ( z ) ( z z0 ) g ( z )
Analtico en z0

Tiene un polo simple en en z0 con residuo m0 96


Denotemos por Nf la suma de las multiplicidades de todos
los ceros de f(z) dentro de C:

1 f ' ( z) n
f ' ( z) n
dz Res mk N f
2 i C f ( z ) k 1
z zk
f ( z ) k 1

97
5. Hallar el residuo logartmico de la funcin
2
1 z
f ( z)
1 cos 2z
respecto a la circunferencia z
1 f ( z )
2i
z
f ( z)
dz N 0 N p

z1 i
Ceros de f(z): 1 z 0
2
2 ceros simples
z2 i

Polos de f(z): 1 cos 2z 0


cos 2z 1 z k k ; k
Interiores a la circunferencia :
z1 3; z 2 2; z3 1; z 4 0; z5 1; z6 2; z7 3
Examen
98
SEPTIEMBRE 02/03: P-1
Todos son polos dobles de f por ser ceros dobles de
1 cos( 2z ), ya que :
1 cos 2z k 0

1 cos 2z 0
zk

1 cos 2z 4 2 0
zk

Entonces :
1 f ( z )

2i z f ( z )
dz 2 7 2 12

99
1. Hallar el residuo logartmico de la funcin compleja
f ( z ) chz
respecto del contorno z 8
1 f ( z )
2i
z 8
f ( z)
dz N 0 N p

f ( z ) chz es una funcin entera N p 0


Calculamos los ceros de f ( z ) en z 8 :
chz 0 e z e z 0 e 2 z 1 2 z log(1)
i 2k 1
2 z 0 i 2k 1 z k ; k
2
En z 8 se encuentran los ceros correspondientes a :
k 0, 1, 2, 3 N 0 6
1 f ( z )

2i z 8 f ( z )
dz 6
100