Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teora de Residuos
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+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
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
1 z z2 z3 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
3 5 9
z z2 z 1
2 4 8
2z 3 1 1 1 z z2
2 1 z 2
z 2 3z 2 z z 2 4 8
2 3 5 9
2 3 4 2 z
z z z z
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.
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
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
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 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
(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
2 i C
n 0
an ( z z o )
n
n
n 1 ( z z o )
dz
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?
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
f ( z ) a0 a1 ( z z0 )
b1
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
( 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) 2
9
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 z 0 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
( m 1) ( 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!
( 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
f ( z )dz 2i Res f ( z )
C i 1
z zi
46
1
Evala c z 1 2 z 3 d z donde
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
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:
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.
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-153
ez e
Res f ,1 2
z z 1 z 1 2
Res f ,0
e 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.
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 )
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.
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 ... 3 5 ...
2
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
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
C: z 2
-1 1 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!
4
1 z 2 2z3 z 2 2z3 2 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.
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
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
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
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
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
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