1

Pure mathematicians do it in theory.

7. Teora de Residuos
2
Puntos singulares
Un punto singular z
0
de una funcin f (z) es un punto donde
f (z) no es analtica.
Singularidad aislada Singularidad no aislada
2
) 2 (
1
) (

=
z z
z f
2 , 0
0
= z
) / sin( / 1 ) ( z z f t =
0
, , , 1
0
4
1
3
1
2
1
0
=
=
z
z
aisladas
no aislada
3

Supongamos que z = z
0
es una singularidad
aislada de f(z) y que su serie de Laurent vlida
para 0 < |z z
0
| < R es:






=

=

+ =
1
0
0
0
) (
) ( ) (
k
k
k
k
k
k
z z
b
z z a z f
Parte principal
Parte principal (Recordatorio)
Nota: Observa que el desarrollo tiene como centro
al punto singular (por eso es vlido en 0 < |z z
0
| < R).
4
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 z
0
y la serie converger para
0 < |z-z
0
| < R.

Si z
0
es un polo de orden m:
Si z
0
es un singularidad esencial:
m
m
z z
b
z z
b
z z
b
z f
) ( ) (
) (
0
2
0
2
0
1

+ +

+ =
+

+ =
2
0
2
0
1
) (
) (
z z
b
z z
b
z f
La serie de Laurent se para en la m-sima potencia negativa
La serie de Laurent es infinita en potencias negativas
El centro z
0
es un
punto singular.
5
Clasificacin de las singularidades aisladas
(i) Si la parte principal es cero, z = z
0
se
denomina singularidad evitable.
(ii) Si la parte principal contiene un nmero
finito de trminos, entonces z = z
0
se
denomina polo. Si el ltimo coeficiente es b
m
,
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 = z
0
se denomina singularidad
esencial.
6
Ejemplos
Clasificar la singularidad de la funcin
z
z f
1
) ( =
La serie de Laurent con centro z
0
= 0 es
simplemente el trmino 1/z , vlida para
0 < |z|< . z
0
= 0 es un polo simple.
1
1
) 1 (
1
) (
3

=
z z
z f
La serie de Laurent con centro z
0
=1 est formada
simplemente por los dos trminos ,
vlidos para 0 < |z-1| < . z
0
=1 Es un polo de orden 3.
3
) 1 (
1
1
1

+
z z
Clasificar la singularidad de la funcin
7
Ejemplos
Clasificar la singularidad de la funcin
4
sinh
) (
z
z
z f =
z
0
= 0 es un polo de orden 3.
0<|z|<

! 7 ! 5 ! 3
1 1 sinh
) (
3
3 4
z z
z z z
z
z f + + + = =
Clasificar la singularidad de la funcin
) /( 1
) (
i z
e z f
+
=
+
+
+
+
+
+
+ =
3 2
) (
1
! 3
1
) (
1
! 2
1 1
1 ) (
i z i z i z
z f

! 7 ! 5 ! 3
sinh
7 5 3
z z z
z z + + + =
z
0
= -i es una singularidad esencial.
+ + + + =
! 3 ! 2
1
3 2
z z
z e
z
0<|z+i|<
8
z = 0 es una singularidad evitable.
+ =
! 5 ! 3
1
sin
4 2
z z
z
z
...
! 5 ! 3
1 sin
3
2
+ =
z z
z z
z
z = 0 es un polo simple.
...
16
) 1 (
8
1
) 1 ( 4
1
) 1 ( 2
1
) 3 ( ) 1 (
1
) (
2 2

=


=
z
z z z z
z f
z = 1 es un polo de orden 2.
Ejemplos
9
...
1 1 1
) 1 (
1
) (
4 3 2
+ + + =

=
z z z z z
z f
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?
... 1
1
) (
2
= z z
z
z f
Dnde es vlido el desarrollo anterior?
Es vlido en para 1 < |z| < .
Y necesitamos el desarrollo para 0 < |z| < 1:
Donde vemos que se trata de un polo simple.
10
Ceros
Decimos que z
0
es un cero de f(z) si f(z
0
) = 0.
Una funcin analtica tiene un cero de orden n
en z = z
0
si:

, 0 ) ( , ... , 0 ) ( , 0 ) ( , 0 ) (
0
) 1 (
0 0 0
= =
' '
=
'
=

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

+ = =
+ =
...
! 5 ! 3
1 sin ) (
...
! 5 ! 3
sin
8 4
3 2
10 6
2 2
z z
z z z z f
z z
z z
11
Observa que si las funciones f y g son analticas en z = z
0

y f tiene un cero de orden n en z = z
0
y g(z
0
) = 0,
entonces la funcin F(z) = g(z)/f(z) tiene un polo de
orden n en z = z
0
.
Por ejemplo:
4
) 2 )( 5 )( 1 (
5 2
) (
+
+
=
z z z
z
z F
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.
12
13
14
15
Residuos
El residuo de una funcin f(z) en z = z
0
es el coeficiente del
trmino 1/(z-z
0
) en la expansin en serie de Laurent de f(z):
el coeficiente b
1
.

+
+ + + + =
4
0
4
3
0
3
2
0
2
0
1
3
0 3
2
0 2 0 1 0
) ( ) ( ) (
) ( ) ( ) ( ) (
z z
b
z z
b
z z
b
z z
b
z z a z z a z z a a z f
1 0
) ), ( ( Res ) ( Res
0
b z z f z f
z z
=
=
El residuo de f(z) en z = z
0

se denota como:
+ + + +
=
+
+
8 4 2
1 1 1
2 3
3 2
2
2
2
z z
z z
z z
z
1
1
= b
Ejemplo:
16
Porqu es importante el residuo?
Para f (z) analtica dentro de un anillo, tenemos:

+
+ + + + =
4
0
4
3
0
3
2
0
2
0
1
3
0 3
2
0 2 0 1 0
) ( ) ( ) (
) ( ) ( ) ( ) (
z z
b
z z
b
z z
b
z z
b
z z a z z a z z a a z f
} }

+
=

=
C
n
n
C
n
n
dz z z z f
i
b dz
z z
z f
i
a
1
0
1
0
) )( (
2
1
,
) (
) (
2
1
t t
As:
1
2 ) ( ib dz z f
C
t =
}
C
0
z
Nos permite calcular integrales ...
n = 1
17
Ejemplo
i ib dz
z
C
t t 2 2
1
1
1
= =

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

>
< + + + +
=
1
1 1 1
1 1
1
1
3 2
3 2
z
z z z
z z z z
z

Observemos que por la frmula integral de Cauchy:

i ig dz
z
z g i dz
z z
z g
C C
t t t 2 ) 1 ( 2
1
1
) ( 2
) (
0
0
= =

} }
punto
singular
z = 1
centro
18
i ib dz
z
C
t t 2 2
1
1
1
= =

}
Tomemos como centro z
0
=1
2 = z
< <

=
1 0
,
1
1
1
1
) (
z
z z
z f
centro z
0
=1
punto
singular
La serie de Laurent posee un slo trmino.
como antes.
Why did the mathematician name his dog "Cauchy?"
Because he left a residue at every pole.
19
i ib dz
z z
z
C
t t 2 2
2 3
3 2
1
2
= =
+
+
}
Ejemplo: Integrar la funcin en sentido positivo
para |z|=3/2.
Por la Frmula Integral de Cauchy:
i ig dz
z
dz
z
z g i dz
z z
z g
C C C
t t t 2 ) 1 ( 2
1
1
2
1
) ( 2
) (
0
0
= =

} } }
2 3
3 2
2
+
+
z z
z

< <
< < + + + +
< + + +
=
+
+
z
z z z z
z
z z
z z
z z z
z z
z
2
9 5 3 2
2 1
8 4 2
1 1 1
1
8
9
4
5
2
3
2 3
3 2
4 3 2
2
2
2
2

0
2 / 3 = z
20




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 z
0
}

C
dz
z z
4
) 2 (
1
|
.
|

\
|

= =
}
=
16
1
) 2 (
1
2
1
) ( Res
4
1
z z
0
C
dz
z z i
b z f
t
) 2 | 2 | 0 ( ) 2 (
2
) 1 (
3
2
1
1
) 2 ( 2
1
) 2 (
1
4
0
1 4 4
< <

=
|
.
|

\
|

=
+

z z
z
z z z
n
n
n
n
Otro ejemplo: Calcular
21
ALTERNATIVE METHOD

Residue of f at the isolated singular point 2

is the coefficient of 1/(z2).
|
.
|

\
|

=
=
16
1
) ( Res
0
z z
z f
4
3 2 4
4
2 3 4 4
) 2 (
) 2 ( ) 2 ( ) 2 ( ) 2 (
) 2 (
1
) 2 | 2 | 0 (
) 2 ( ) 2 ( ) 2 ( ) 2 ( ) 2 (
1

+ + + +
=

< <

+ =

z z
z Ez z Dz z Cz Bz z A
z z
z
z
E
z
D
z
C
z
B
z
A
z z
Solve for A, B, C, D, E by setting coefficients of z, z
2
, z
3
, z
4
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

22
Partial Fraction Expansion Review
B B
z
z A
z z
z
z
A
z
Bz
A
z z
z
z
z
B
z
A
z z
= +

= =

=
=

+ =

+ =

) 2 (
2
1
) 2 (
) 2 (
, 2 When
) 2 ( 2
1
) 2 (
, 0 When
) 2 ( ) 2 (
1
75 . 1
5 . 0 25 . 0
1 ) 1 ( 1
1
) 2 (
1
, 1 Pick
) 2 (
) 2 ( ) 2 (
2
1
) 2 (
) 2 (
, 2 When
) 2 ( ) 2 ( 4
1
) 2 (
, 0 When
) 2 ( ) 2 ( ) 2 (
1
2
2 2
2
2
2 2
2 2
=
+ = +

+ = =

=
= +

= =

=
=

+ = =

+ =

B
B
C B A
z z
z
C C
z
z B
z
z A
z z
z
z
A
z
Cz
z
Bz
A
z z
z
z
z
C
z
B
z
A
z z
23


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 z
0
}

C
dz
z z
4
) 2 (
1
16
1
) 2 (
1
2
1
) ( Res
4
1
z z
0
=

= =
}
=
C
dz
z z i
b z f
t
n
n
n
z
z z z
z z z
z z z z z z z
z
z z z z z z z
) 2 (
2
1
32
1
...
2
) 2 (
2
) 2 (
2
2
1
32
1
2 / ) 2 ( 1
1
32
1
1 2 / ) 2 (
1
32
1 1
) 2 (
16 / 1
) 2 (
8 / 1
) 2 (
4 / 1
) 2 (
2 / 1
2 ) 2 (
16 / 1
) 2 (
1
) 2 | 2 | 0 (
) 2 (
16 / 1
) 2 (
8 / 1
) 2 (
4 / 1
) 2 (
2 / 1 16 / 1
) 2 (
1
0
3
3
2
2
2 3 4 4
2 3 4 4

|
.
|

\
|

=
|
|
.
|

\
|
+

=
+
=
+
=

+
+
=

< <

+ =

=
All terms have positive exponents
b
1
24
5. Hallar el residuo de una funcin compuesta en el
punto donde se verifican las siguientes condiciones:
( ) | | z f
a z =
B. es residuo su y ) (
punto el en orden primer de polo un tiene f funcin La
0 ) ( y en analtica es ) (
a
a a z z


=
=
'
=
( )
( ) ( )
( )
( )
( )
( )
( ) ( ) ( ) ( )
( )
( ) (2) ...
! 2
...
! 2 ! 1
: Taylor de desarrollo en analtica
2
(

+
' '
+
'
=
+
' '
+
'
+ =

a z
a
a a z a z
a z
a
a z
a
a z
a z

( )
( )
( )
( ) | | B a
a
f
=

=
|

|

Expresamos la segunda condicin

( ) | |
( ) | |
( ) ( )
(1)
a z
z
z f

|

=
25
( ) | |
( ) | | ( ) | |
( ) | | ( )
( )
: (1) en (3) y (2) do Reemplazan
(3) ...
! 1
: Taylor de desarrollo (1)) (por en analtica
+
' '
+ =

a z
a a
a z
a z
B
|
| |
|

( ) | |
( ) | |
( ) ( )
( ) | | ( )( )
( ) ( )
( )
( )
( ) | |
( ) a
B
a z z f
a z
a
a a z
a z a a B
a z
z
z f

|

|

'
= =

+
' '
+
'

+
' '
+
=

=
; ) ( Res
...
! 2
...
26
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.
1
2 ) ( ib dz z f
C
t =
}
C
0
z
donde b
1
es el residuo de la serie de Laurent que representa
a f (z) alrededor de z
0
en un anillo que contiene a C.
27
La serie de Laurent de f(z) en 0 < | z 2 | < 2:
}

C
dz
z z
4
) 2 (
1
|
.
|

\
|

= =
}
=
16
1
) 2 (
1
2
1
) ( Res
4
1
z z
0
C
dz
z z i
b z f
t
) 2 | 2 | 0 ( ) 2 (
2
) 1 (
2
2
1
1
) 2 ( 2
1
) 2 (
1
4
0
1
4 4
< <

=
|
.
|

\
|

=
+

z z
z
z z z
n
n
n
n
Con C: | z 2| = 1.
Ejemplo:
28
De dnde viene el nombre de residuo?

0
0 1
0
0 1
) (
1
2
1
) (
2
1
) (
) (
2
1
) (
2
1
) ( Res
0
}

}
}

}

+
=
)
`

+
=

=
=
C
n
o
n n
n
C
n
o n
C
n n
n
o
n
n
o n
C
z z
dz
z z
b
i
dz z z a
i
dz
z z
b
z z a
i
dz z f
i
z f
t t
t
t
para todo n, excepto
para n = 1, que vale:

De aqu el nombre de residuo.
C
0
z
i t 2
1 1
2
2
1
) ( Res
0
b i b
i
z f
z z
= =
=
t
t
29
Es preciso hallar la serie de Laurent de f(z) para calcular la
integral?
No, si los puntos singulares z
0
son polos.
En esos casos hay formas rpidas y simples de hallar el residuo.
Veremos:
1. Cmo hallar el residuo para un polo
simple, z
0
=1, como en el caso
2. Cmo hallar el residuo para un polo de
orden 2, z
0
=1, como en el caso
3. Cmo hallar el residuo para un polo de
cualquier orden ...
1
sin 4
z
z
7
) 3 (
2
i z
e
z
+
2
) 1 (
3 3

z
z
30
Frmula para hallar el residuo para un polo simple
Si f (z) tiene un polo simple en z
0
, la serie de Laurent es:
( ) R z z
z z
b
z z a a z f < <

+ + + =
0
0
1
0 1 0
0 ) ( ) (
1
2
0 1 0 0 0
) ( ) ( ) ( ) ( b z z a z z a z f z z + + + =
1 0
) ( ) ( lim
0
b z f z z
z z
=

) ( ) ( lim ) ( Res
0
0 0
z f z z z f
z z z z
=
=
Situamos el centro en
el punto singular
31
Ejemplo
Hallar el residuo de en z=i
4 ) (
) 2 (
lim
) 1 )( (
) 2 )( (
lim
) ( ) ( lim ) ( Res
2 2
0
0 0
i
i z
i z
z i z
i z i z
z f z z z f
i z i z
z z z z
=
+

=
+ +

=
=

=
) 1 )( (
2
) (
2
+ +

=
z i z
i z
z f
Comprobmoslo mediante la serie de Laurent:
( )
( )

2
3
3
2
2
2 2 2
2 2 2
) (
2
1
) (
16
5
4
1 1
4
) 2 (
) (
4
) 2 (
) (
3
2
) (
2 1
) 2 )( (
) ( 2
) 2 /( ) ( 1
1
) 2 )( (
) ( 2
) ( 2
1 ) ( 2
) (
1 ) ( 2
) 1 )( (
2
) (
i z i z
i z
i
i
i z
i
i z
i
i z
i i z
i i z
i i z i i z
i i z
i z i i z
i i z
i z i z
i i z
z i z
i z
z f
+

=
)
`

+
=
)
`

+
+
=
)
`

+
+
=
)
`

+
+
=
+ +

=
( ) 2 0 < < i z
i
i
32
Ejemplo
Hallar el residuo en los polos de
2
1
2
1
lim
) 2 (
1
lim ) ( Res
0 0 0
=

+
=

+
=
=
z
z
z z
z
z z f
z z z
z z
z
z f
2
1
) (
2

+
=
+ =
)
`

+ + +
+
=
)
`

+
=

+
=
16
3
8
3
4
3
2
1
2 2
1
2
1
2 / 1
1
2
1
) 2 (
1
) (
2
2
2
z z
z
z z
z
z
z z
z
z z
z
z f
( ) 2 0 < < z
2
3 1
lim
) 2 (
1
) 2 ( lim ) ( Res
2 2 2
=
+
=

+
=
=
z
z
z z
z
z z f
z z z
| |
+

=
)
`

+
=
)
`

+
=
)
`

+
+
=

+
=
8
) 2 (
4
) 2 (
2
1
) 2 ( 2
3
2
) 2 (
2
2
1
) 2 ( 2
3 ) 2 (
2 / ) 2 ( 1
1
) 2 ( 2
3 ) 2 (
) 2 ( 2
1
) 2 (
3 ) 2 (
) 2 (
1
) (
2
2
2
z z
z
z z
z
z
z z
z
z z
z
z z
z
z f
( ) 2 2 0 < < z
Comprobarlo a travs de la de Laurent:
0 2
33
Frmula para hallar el residuo para un polo de orden 2
Si f (z) tiene un polo de orden 2 en z
0
, la serie de Laurent es:
2
0
2
0
1
0 1 0
) (
) ( ) (
z z
b
z z
b
z z a a z f

+ + + =
| | ) ( ) ( lim ) ( Res
2
0
0 0
z f z z
dz
d
z f
z z z z
=
=
2 0 1
3
0 1
2
0 0
2
0
) ( ) ( ) ( ) ( ) ( b z z b z z a z z a z f z z + + + + =
derivando obtenemos:
| |
1
2
0 1 0 0
2
0
) ( 3 ) ( 2 ) ( ) ( b z z a z z a z f z z
dz
d
+ + + =
| |
1
2
0
) ( ) ( lim
0
b z f z z
dz
d
z z
=

34
Ejemplo
Hallar el residuo de en z=1
| |
9
2
) 2 (
2
lim
2
lim
) ( ) ( lim ) ( Res
2
1 1
2
0
0 0
=
(

+
=
(

+
=
=

=
z z
z
dz
d
z f z z
dz
d
z f
z z
z z z z
2
) 1 )( 2 (
) (
+
=
z z
z
z f

=
)
`

+
=
)
`

+
=
)
`

+
=
)
`

+
+
=
+
=
81
) 1 ( 2
27
2
) 1 ( 9
2
) 1 ( 3
1
3
) 1 (
3
1
) 1 ( 3
1
) 1 (
1
3
1 ) 1 (
3
) 1 (
3
1
1
) 1 ( 3
1 ) 1 (
) 3 / ) 1 ( ( 1
1
) 1 ( 3
1 ) 1 (
) 1 ( 3
1
) 1 (
1 ) 1 (
) 1 )( 2 (
) (
2
3 2 2 2
2
2
2 2 2
z
z z
z
z z
z z z
z
z
z z
z
z z
z
z z
z
z f
( ) 3 1 0 < < z
Comprobarlo a travs de la serie de Laurent:
2
1
35
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:
4
1
) 3 (
1
lim
3
1
lim ) ( ) 1 ( lim ) 1 ), ( ( s Re
4
1
) 1 (
1
lim ) ( ) 3 ( lim ) 3 ), ( ( s Re
2
1
1
2
1
2
3 3
=

=

= =
=

= =

z
z dz
d
z f z
dz
d
z f
z
z f z z f
z
z z
z z
36
Calcular con C: |z i|= 2.
}
+
+
C
dz
z
z
4
6 2
2
}
=
+
+
C
i z f i dz
z
z
) 2 , ) ( ( s Re 2
4
5 2
2
t
) 2 )( 2 (
6 2
) 2 ( lim 2
2
i z i z
z
i z
i z
+
+
=

t
) 2 3 (
2
2 3
2 i
i
i
i + =
|
.
|

\
|
+
= t t
37
Evaluar donde el contorno C

es el crculo |z|= 2.
}
+
C
z
dz
z z
e
3 4
5
i
z
e z z
i
z z
e
z
dz
d
i
z f i dz
z z
e
z
z
z
z
C
z
125
17
) 5 (
) 17 8 (
lim
) 5 (
lim
! 2
1
2
) 0 , ) ( ( Res 2
5
3
2
0
3
3
2
2
0
3 4
t
t
t
t
=
+
+ +
=
+
=
=
+

}
38
Frmula para el residuo para un polo de cualquier orden
Si f (z) tiene un polo de orden m en z
0
, la serie de Laurent es:
m
m
z z
b
z z
b
z z
b
z z a a z f
) ( ) (
) ( ) (
0
2
0
2
0
1
0 1 0

+ +

+ + + =
| | ) ( ) ( lim
)! 1 (
1
) ( Res
0
) 1 (
) 1 (
0 0
z f z z
dz
d
m
z f
m
m
m
z z z z

=
m
m
m m m m
b z z b
z z b z z a z z a z f z z
+ + +
+ + + =

2
0 2
1
0 1
1
0 1 0 0 0
) (
) ( ) ( ) ( ) ( ) (
Derivamos m-1 veces.
Cuando zz
0
obtenemos:
| |
1 0
) 1 (
) 1 (
)! 1 ( ) ( ) ( lim
0
b m z f z z
dz
d
m
m
m
z z
=

39
Un punto singular aislado z
0
de una funcin f es
un polo de orden m si y solo si f(z) puede ser escrito
en la forma:




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


m
z z
z
z f
) (
) (
) (
0

=
|
1 si ) ( ) ( Res
0
0
= =
=
m z z f
z z
|
2 si
)! 1 (
) (
) ( Res
0
) 1 (
0
>

=

=
m
m
z
z f
m
z z
|
De otra manera...
y
40
Demostracin:

+
+ + + =
m n
n
n
m
m
z z
n
z
z z
m
z
z z
z
z z
z
z z
) (
!
) (
) (
)! 1 (
) (
...
) (
! 2
) ( ' '
) (
! 1
) ( '
) ( ) (
0
0
) (
1
0
0
) 1 (
2
0
0
0
0
0
| |
| |
| |
)! 1 (
) (
) ( Res
0
) 1 (
1
z z
0
= =

=
m
z
b z f
m
|

+
+

=
m n
m n
n m
m m m
z z
n
z
z z
m z
z z
z
z z
z
z z
z
z f
) (
!
) ( )! 1 /( ) (
...
) (
! 2 / ) ( ' '
) (
! 1 / ) ( '
) (
) (
) (
0
0
) (
0
0
) 1 (
2
0
0
1
0
0
0
0
| |
| | |

m
z z
z
z f
) (
) (
) (
0

=
|
) (
f(z) tiene un polo de orden m en z=z
0
41
) (:
Si f(z) tiene un polo de orden m en z=z
0
entonces
tiene una representacin en serie de Laurent en la
regin| z-z
0
|<R:
m
m
n
n
n
z z
b
z z
b
z z
b
z z
b
z z a z f
) ( ) ( ) (
) ( ) (
0
3
0
3
2
0
2
0
1
0
0

+ +

+ =

=
=
=
0
0 0
cuando
cuando ) ( ) (
) (
z z b
z z z f z z
z
m
m
|

=
+

+ + + + =
0
0
1
0 1 0 1
) ( ) ( ) ( ) (
n
n m
n
m m
m m
z z a z z b z z b b z |
42
43
44
45
46
Hemos visto que la integral de una funcin analtica
f (z) sobre una curva cerrada C cuando f (z) tiene un punto
singular z
0
dentro de C es:
1
2 ) ( ib dz z f
C
t =
}
C
0
z
donde b
1
es el residuo
de f (z) en z
0

C
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
C. Entonces:

}
=
=
=
k
i
z z
C
z f i dz z f
i
1
) ( Res 2 ) ( t
2
z
1
z
3
z
k
z
47
Evala 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.
( ) ( )
}

c
z d
z z 3 1
1
2
| | ) 3 , ) ( ( Res ) 1 , ) ( ( Res 2
) 3 ( ) 1 (
1
2
z f z f i dz
z z
C
+ =

}
t
0
4
1
4
1
2 =
(

+ = i t
(a)
i i
z f i dz
z z
C
2 4
1
2
) 1 , ) ( ( Res 2
) 3 ( ) 1 (
1
2
t
t
t
=
|
.
|

\
|
=
=

}
(b)
48
dem con C: |z|= 2.
}
+
C
z
dz
z z
e
3 4
5
i
z
e z z
i
z z
e
z
dz
d
i
z f i dz
z z
e
z
z
z
z
C
z
125
17
) 5 (
) 17 8 (
lim
) 5 (
lim
! 2
1
2
) 0 , ) ( ( Res 2
5
3
2
0
3
3
2
2
0
3 4
t
t
t
t
=
+
+ +
=
+
=
=
+

}
Observa que z = 0 es un polo de orden 3:
49
Demostracin del teorema del residuo
Rodeemos todos los puntos singulares
con los crculos C
1
, C
2
, . C
k
.
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:
} } } }
+ + + =
k
C C C C
dz z f dz z f dz z f dz z f ) ( ) ( ) ( ) (
2 1

C
Las integrales a lo largo de cada uno de esos pequeos
crculos son el residuo en cada punto singular dentro del
crculo, por tanto:

}
=
=
=
k
i
z z
C
z f i dz z f
i
1
) ( Res 2 ) ( t
C
1
C
2
C
k
50
Ejemplo Integrar la funcin sobre
C
z z
z

+
2
2
)
`

+
+

+
=

+
= =
}
z z
z
z z
z
i dz
z z
z
z z
C
2
1
2
0
2
2
Res
2
Res 2
2
t
2 = z
3
2
lim
2
Res
2
1
2
lim
2
Res
1
2
1
0
2
0
=
+
=

+
=

+
=

+
=
=
z
z
z z
z
z
z
z z
z
z z
z z
i i dz
z z
z
C
t t 2 ) 3 2 ( 2
2
2
= + =

}
1
0
51
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.
z d e
C
z
}
/ 3
i z f i zdz d e
C
z
t t 6 ) 0 , ) ( ( s Re 2
/ 3
= =
}
C: |z|= 1. Calcular
52
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:
) (
) (
) ( Res
0
0
0 z q
z p
z f
z z
'
=
=
) ( '
) (
... ) (
! 2
) ( ' '
) ( ' ) (
) ( ) (
lim
) (
) (
) ( lim ) ( Res
... ) (
! 2
) ( ' '
) )( ( ' ) (
0
0
0
0
0 0
0
0
2
0
0
0 0
0
0 0
z q
z p
z z
z q
z q z z
z p z z
z q
z p
z z z f
z z
z q
z z z q z q
z z
z z z z
=
(

+ +

= =
+ + =

=
Demostracin:
53
( )
}

dz
z z
2 2
z
1
e
4. Calcular ,donde es el contorno

indicado en la figura.
-1
0
1
( )
( ) ( ) ( ) | |
( )
( ) e z z
e
f
f f f i dz
z z
z
z
z
doble polo z
simples polos z
z
z
2
1
1
1 , Res
1 , Res 0 , Res 2 1 , Res 2
1
e
1 1
2 0
1 1
: simples cerrados contornos de Nmero
0
1
: aislados singulares Puntos
1
2
2 2
z
=
|
|
.
|

\
|

=
+ =

=
=
=
=
=
=
}

t
Examen
JUNIO 02/03: P-1
54
( )
( )
( )
( )
( ) | |
( )
( )
( ) ) 1 ( 2 2
2
2
2
1
2
1
e
1
1
2 1
1
0 , Res
2 1
1 , Res
2 2
z
0
2
2
2
0
2
1
2
ch i
e
e
i dz
z z
z
z z e
z
e
f
e
z z
e
f
z
z
z
z
z
z
+ =
|
|
.
|

\
|
|
.
|

\
|
+ =

=
'
|
|
.
|

\
|

=
=
|
|
.
|

\
|
+

=
}
=
=
=
t t

55
C: |z|= 2.
}
C
dz z tan
tan z = sin z / cos z tiene polos simples en los puntos donde
cos z = 0: z = (2n + 1)t/2, n = 0, 1, 2,
Pero solamente t/2 y t/2 estn dentro del crculo
1
) 2 / sin(
) 2 / sin(
)' (cos
sin
2
, ) ( Res
2
=


= =
|
.
|

\
|

=
t
t t
t
z
z
z
z f
1
) 2 / sin(
) 2 / sin(
2
, ) ( Res =

=
|
.
|

\
|
t
t t
z f
( ) ( )
(

|
.
|

\
|
+
|
.
|

\
|
=
}
2
, Res
2
, Res 2 tan
t t
t z f z f i dz z
C
| | i i dz z
C
t t 4 1 1 2 tan = =
}
56
2. Calcular la integral
dz
z
e
C
z
}
+1
2
1
2
Respuesta.
aislados singulares ptos.
0
3
2
1

=
=
=
z
i z
i z
siendo C : |z i| = 3/2, simple y orientado positivamente.
C de interiores y
3 1
z z
57
(

+ =
}
)) ( ( s Re )) ( ( s Re 2 ) (
3 1
z z
z f z f i dz z f
C
t
z
1
es un polo simple
e i
i z f
z
i z i z
e
i z
z f
z
1
2
1
) ( ) ( Res
) (
1 1
) (
i z
1
2
= u =
u

=
+
=
=
58
z
3
es un punto singular esencial
1 0 ,
) (
1
!
1
) ( ) (
) ( 1
1
1
) (
2
0
2
0
2
1
2 2
1
2
2
< < =

=
+
=


=

=
z
z n
z z f
e
z z
e
z f
n
n
n
n
z
z
f(z) se representa por potencias pares positivas y negativas de z.
El coeficiente c
-1
es cero.
0 ) ( Res
0 z
=
=
z f
59
(

+ =
}
0
1
2
1
2 ) (
e i
i dz z f
C
t
e
dz z f
C
t
=
}
) (
60
d) Obtener la solucin de la integral


donde , orientado en sentido positivo.
}
(

C
dz i z
i z i z
2
2
) ( 3 1
2
) (
6
4 : = i z C
Re(z)
i 4
f analtica dentro y sobre C,
excepto en el punto singular
aislado z
0
=i
( ) ( )
( )
2
2
0
6 2
3 1
a en torno f de Laurent de Desarrollo
i z
i z
i z z f
i z

+ =
=
2 ) , Res(
0
= = i z f
i i z f i dz z f
C
t t 4 ) , Res( 2 ) (
0
= = =
}
Examen
JUNIO 04/05: P-1
61
e) Obtener la solucin de la integral


donde , orientado en sentido positivo.
Considrese que n es un entero positivo y

}
+
C
n
dz
z z
z
2
) cos( 2 1 u
2 : = z C
t u < < 0
| | ) Res(f, ) Res(f, 2
en contenidas , 2 1
cos 1 cos cos
0 ) cos( 2 1 : f de ades Singularid
) cos( 2 1
) (
2 1
2 1 2 1
2
2
2
z z i I
C z z z z
isen z
z z
z z
z
z f
n
+ =
< = =
= =
= +
+
=
t
u u u u
u
u
u
u
i
i
e z
e z

=
=
2
1
2
2 : = z C
Examen
JUNIO 04/05: P-1
62
u i
e z =
1
u i
e z

=
2
( )
u u
u
u
u
i i
in
i
i
n
e e
e
e z
e z
z
z f

= ) z Res(f, ) (
1
( )
u u
u
u
u
i i
in
i
i
n
e e
e
e z
e z
z
z f

) z Res(f, ) (
2
t u
u
u
t t
u u
u u
< < Z e =

0 , ;
) (
2 2 n
sen
n sen
i
e e
e e
i I
i i
in in
63
2. Haciendo uso de la teora de residuos, calcular la integral


donde C es la circunferencia , orientada positivamente. 2 = z
}
|
.
|

\
|

C
dz
z
sen
z
1
1
1
0 y 1 : 2 en singulares Puntos = = < z z z
) 1 (
1
1
1
Res
1
sen
z
sen
z
z
=
|
|
.
|

\
|
|
.
|

\
|

=
z=1 : polo simple :
z=0 :
( )
...
1
...
! 5
1
! 3
1
1
...
1
! 5
1 1
! 3
1 1
... 1
1
1
1 1
1
1
) (
3
3
2
2
5 3
2
+ + +
|
.
|

\
|
+ =
=
|
.
|

\
|
+ + + + =
=
|
.
|

\
|

=
|
.
|

\
|

=

z
c
z
c
z
z z z
z z
z
sen
z z
sen
z
z f
64
( ) 0 1 1 2
1
1
1
= =
|
.
|

\
|

}
sen sen i dz
z
sen
z
C
t
) 1 ( ...
! 5
1
! 3
1
1 Res
0
sen
z
=
|
.
|

\
|
+ =
=
Luego es:
Y entonces:
Examen
SEPTIEMBRE 02/03: P-1
65
3. Calcular la integral ,donde C es la

circunferencia orientada positivamente, utilizando el
concepto de residuo en el infinito.
( ) ( )
}
+ +
C
dz
z z
z
4
3
3
2
17
3 2
3 = z
( ) ( )
( ) ( )
i I
z
f
z
z z
z
z z
z
z
z z
z
z z
f
z
z
f
z
i I
z
z
t
t
2
1
1 1
Res
3 1 2 1
1 1
3 1 2 1
1
3
1
2
1
1
1 1 1
1 1
Res 2
2
0
4
3
3
2
4
3
3
2
18
19 4
3
3
2
17
2 2
2
0
=
=
|
|
.
|

\
|
|
.
|

\
|

+ +
=
=
+ +
=
|
.
|

\
|
+
|
.
|

\
|
+
=
|
.
|

\
|

|
|
.
|

\
|
|
.
|

\
|
=
=
=
Examen
SEPTIEMBRE 02/03: P-1
66
c) Calcular el valor de la integral:
dz
z
}
I
)
1
sin(
1
Respuesta.
positivo 5 ;
sin
1
)
1
sin(
1
1
positivo;
5
1
;
)
1
sin(
1
2
= =
= =
} }
}
I
I
w C: dw
w w
dz
z
z
w z : dz
z
C
siendo la curva |z| = 1/5 con orientacin positiva.
67
2 2
2 2
2 2
2 2
1
,
sin
1
Res
;
1
,
sin
1
Res
0 ,
sin
1
Res ,
sin
1
Res
,
sin
1
Res 2
sin
1
t
t
t
t
t
t t
=
|
.
|

\
|
-
=
|
.
|

\
|
-
(

(
|
.
|

\
|
+
|
.
|

\
|
+

+
|
.
|

\
|
=
}
w w
w w
w w w w
w w
i dw
w w
C
68
6
1
0 ,
sin
1
Res
...
! 5 ! 3
1 1
...)
! 5 ! 3
1 (
1
...)
! 5 ! 3
(
1
sin
1
2
3
4 2
3
5 3
2
2
=
|
.
|

\
|
+ + =
=
+
=
+
=
w w
w
w w
w w
w
w w
w w
w w
|
.
|

\
|
=
}
I
2
2
6
1
2
)
1
sin(
1
t
ti dz
z
69
3. Calcular la integral

donde el contorno C es la circunferencia orientada de
forma positiva.
dz
z
z
Log z
i
C
}
|
.
|

\
|

+
1
1
2
1
2
t
2 = z
( )
( )
( ) | | ( ) | |
( )
( )( )
( )
( ) ( )
( )
( )( )
0 0 2 0 ) Im(
1 1 0 ) Re(
: principal in determinac la estudia Se
1
1 1
) Im( ;
1
1 1
) Re(
1
1 1
1
1
1
1
1
1
: logaritmo funcin la en Problemas
2
2
2
2
2
2
2
2
2
1
= = =
< + <
+
+ +
=
+
+ +
=
+
+ +
=
+
+ +
= =

+
=
=
y y w
y x x w
y x
x y x y
w
y x
y x x
w
y x
iy x iy x
iy x
iy x
w
z
z
z
z
0
1 1
=
< <
y
x
70
2
2 : = z C
-1 1
Segmento donde f(z) no es analtica
( ) ( ) | | z Log z Log
z
z
z
Log
z
z
z
Log
z z z
f
z
z F
z
z
f
z
dz
z
z
Log z
i
I
C
+ =
=
|
.
|

\
|

+
=
|
|
.
|

\
|

+
|
.
|

\
|
=
|
.
|

\
|
=
(

=
|
.
|

\
|
=
|
.
|

\
|

+
=

-
}
1 1
1
1
1 1
1
1
1
1
1 1 1 1
) (
0 ;
1 1
Res
1
1
2
1
: infinito el en residuo de
concepto el aplicamos analtica) es C de (fuera
C de dentro singulares puntos de infinito conjunto un
4
4
2
2 2
2
2
t
71
( ) ( )
( )
( )
( )
( ) ...
! 3
2
! 2
1
2 ) 0 (
1
2
) (
1 ) 0 (
1
1
) (
1 ) 0 (
1
1
) (
; 0 ) 0 (
1 ) (
: 0 en 1 de y 1 de serie en s desarrollo los Obtengamos
3 2
3
2
0
+ = +
=
' ' '

+
=
' ' '
=
' '

+
=
' '
=
'

+
=
'
=
+ =
= +
z z
z z Log
g
z
z g
g
z
z g
g
z
z g
g
z Log z g
z z Log z Log
( )
( )
( )
( ) ...
! 3
2
! 2
1
2 ) 0 (
1
2
) (
1 ) 0 (
1
1
) (
1 ) 0 (
1
1
) (
; 0 ) 0 (
1 ) (
3 2
3
2
=
=
' ' '

=
' ' '
=
' '

=
' '
=
'

=
'
=
=
z z
z z Log
h
z
z h
h
z
z h
h
z
z h
h
z Log z h
( ) | |
3
2
3
2
! 3
4
0 ); ( Res
...
! 3
4
2
...
! 3
2
! 2
...
! 3
2
! 2
1
) (
3
3 2 3 2
4
= = = =
+ + =
(

+ + + + + =
I z z F
z z
z z
z
z z
z
z
z F
72
c) Calcular la integral
}
(

|
.
|

\
|
C
dz
z
Log
t
cos
siendo C : |z| = 4, orientado en sentido positivo.
Respuesta.
C : |z| = 4 Circunferencia de centro z = 0 y radio 4 orientada
positivamente.
(

|
.
|

\
|
=
z
Log z f
t
cos ) (
analtica sobre C y su exterior
(apartado b)
73
| |
2 2
) (
2
) ( cos
) (
0 ,
1 1
Res 2 ) (
z
z g
z
z Log
z F
z
z
f
z
i dz z f I
z F
C
= =
(
(
(
(

=
|
.
|

\
|
= =
}
t
t

g(z) analtica en z = 0

=
=
0
) (
!
) 0 (
) (
n
n
n
z
n
g
z g
0
cos
sin
) 0 ( , 0 ) 0 (
0
= =
'
=
= z
z
z
g g
t
t t
74

=
=
+

=
= =

=
' '
3
) ( 2 2
2
0
2
2
!
) 0 (
2
) (
0
) ( cos
) 0 (
n
n
n
z
z
n
g z
z g
z
g
t
t
t
t
z = 0 es un polo
de orden 2
+

3
2
) ( 2
!
) 0 (
2
) (
n
n
n
z
n
g
z F
t
z = 0 singularidad
evitable de F(z)
Res[F(z), z = 0] = 0
| | 0 0 ), ( Res 2 = = = z z F i I t
75
b) (3 puntos) Calcular el valor de la integral
dz
z z z
C
}
+ ) 4 )( 9 ( ) 1 (
1
2 4
Respuesta.

=
=
=
+
=
simple polo , 4
simples polos , 3
4 orden de polo , 1
,
) 4 )( 9 ( ) 1 (
1
) (
2 4
z
z
z
z z z
z f
siendo C : |z| = 2, orientado positivamente.
76
C
z=-1
z=4
z=3
z=-3
Re(z)

Por el teorema del residuo en el infinito:

0
0
2
0 ;
1
z
1
Res 2 ) (
=
(

=
|
.
|

\
|
=
}
z
z
z
f i dz z f

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

} }
=
+ =

3
1
) ( ) ( ) (
i
C C
z d z f z d z f dz z f
i
C
2

C
3

C
1

) 7 )( 6 ( ) 2 (
2
) ( Res 2 ) (
4
3
1

= =
=
}
i
z f i z d z f
z
C
t
t
77
0
) 4 1 )( 9 1 ( ) 1 (
1
Res 2 ) (
) 5 ( ) 5 (
2
) ( Res 2 ) (
) 1 )( 6 ( ) 4 (
2
) ( Res 2 ) (
2 4
7
2
0
4
4
4
3
3
2
=
(

+
=
= =

= =
=
=
=
}
}
}
z z z
z
z
i z d z f
i
z f i z d z f
i
z f i z d z f
z
z
C
z
C
t
t
t
t
t

+
|
.
|

\
|
+

=
+
} 5 4 2 4
5
1
16
1
7
1
2 6
1
2
) 4 )( 9 ( ) 1 (
1
i dz
z z z
C
t
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
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 z
0
es uno de ellos, entonces es un
punto singular aislado del cociente f'(z)/f(z). El residuo de
este cociente en z
0
se denomina residuo logartmico de
f(z) en z
0
, ya que:
| |
) (
) ( '
) ( log
z f
z f
z f
dz
d
=
96
Supongamos que z
0
es un cero de f(z) de orden m
0
, entonces
en algn entorno de z
0
podemos escribir:
) ( ) ( ) (
0
0
z g z z z f
m
=
con g(z) analtica en dicho entorno y g(z
0
) = 0. Derivando y
dividiendo entre f(z):
) (
) ( '
) ( ) (
) ( '
) ( ' ) ( ) ( ) ( ) ( '
0
0
0
1
0 0
0 0
z g
z g
z z
m
z f
z f
z g z z z g z z m z f
m m
+

=
+ =

Analtico en z
0

Tiene un polo simple en en z
0
con residuo m
0

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

}
= =
=
= =
(

=
n
k
f k
n
k
z z
C
N m
z f
z f
dz
z f
z f
i
k
1 1
) (
) ( '
Res
) (
) ( '
2
1
t
98
5. Hallar el residuo logartmico de la funcin


respecto a la circunferencia
( ) z
z
z f
t 2 cos 1
1
) (
2

+
=
t = z
}
=
=
'
t
t
z
p
N N dz
z f
z f
i
0
) (
) (
2
1
Ceros de f(z):
= + 0 1
2
z
i z
i z
=
=
2
1
2 ceros simples
Polos de f(z):
( )
( )
3 ; 2 ; 1 ; 0 ; 1 ; 2 ; 3
: ncia circunfere la a Interiores
; 1 2 cos
0 2 cos 1
7 6 5 4 3 2 1
= = = = = = =
Z e = =
=
z z z z z z z
k k z z
z
k
t
t
Examen
SEPTIEMBRE 02/03: P-1
99
( )
( ) ( )
( ) ( ) 0 4 2 cos 1
0 2 cos 1
0 2 cos 1
: que ya , ) 2 cos( 1
de dobles ceros ser por f de dobles polos son Todos
2
= =

=
'

t t
t
t
t
k
k
z
z
k
z
z
z
z
12 2 7 2
) (
) (
2
1
: Entonces
= =
'
}
=t
t
z
dz
z f
z f
i
100
1. Hallar el residuo logartmico de la funcin compleja

respecto del contorno
chz z f = ) (
8 = z
( )
( )
}
}
=

=
=
'

= =
<
Z e
+
= + + =
= = = + =
<
= =
=
'
8
0
2
8
0
6
) (
) (
2
1
6 3 , 2 , 1 , 0
: a ientes correspond ceros los encuentran se 8 En
;
2
1 2
1 2 0 2
) 1 log( 2 1 0 0
: 8 en ) ( de ceros los Calculamos
0 entera funcin una es ) (
) (
) (
2
1
z
k
z z z
p
z
p
dz
z f
z f
i
N k
z
k
k i
z k i z
z e e e chz
z z f
N chz z f
N N dz
z f
z f
i
t
t
t
t