Teoría de Residuos

UNAC FIEE

Pure mathematicians do it in theory.

25/10/2022 MSc. Raúl P. Castro Vidal 1
Hemos visto que la integral de una función analítica
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  2ib
1
z0
C C
de f (z) en z0

El teorema del residuo generaliza este

resultado: Sea f (z) una función analítica
dentro y sobre un camino cerrado C,
excepto para k puntos singulares dentro de
z2
C. Entonces: z1 C
zk z3
k

 f ( z )dz  2i Res f ( z )

C i 1
z  zi
25/10/2022 MSc. Raúl P. Castro Vidal 2
 1
Evalúa
c  z  12  z  3 d z donde

(a) El contorno C es el rectángulo definido por x = 0, x

= 4, y = −1, y = 1.
(b) El contorno C es el círculo |z|= 2.

1
(a)  dz  2 iRes ( f ( z ) , 1)  Res ( f ( z ) , 3) 
C ( z  1) 2 ( z  3)

 1 1
 2 i     0
(b)
 4 4
1
C ( z  1) 2 ( z  3) dz  2 i Res ( f ( z ) , 1)
 1 
 2 i      i
 4 2
25/10/2022 MSc. Raúl P. Castro Vidal 3
 ez
Ídem C 4 dz con C: |z|= 2.
z  5z 3

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  i
z 0 ( z  5) 3
125

25/10/2022 MSc. Raúl P. Castro Vidal 4

 Demostración del teorema del residuo
Rodeemos todos los puntos singulares
C1
con los círculos C1, C2,  Ck. Ck
C2 C
f (z) es analítica en C y aquí dentro
excepto en los k puntos singulares.
Por el teorema integral de Cauchy para regiones
múltiplemente 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 pequeños

círculos son el residuo en cada punto singular dentro del
k
círculo, por tanto:
25/10/2022
 f ( z )dz  2i Res f ( z )
C Raúl P. Castro Vidal i 1
z  zi
5
MSc.
 2 z
Ejemplo Integrar la función 2 sobre z 2
z z
2 z  2 z 2 z 
C z  z
2
dz  2 i  Res  Res 
 z 0 z  z z 1 z  z 
2 2

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
25/10/2022 MSc. Raúl P. Castro Vidal 6
  dz
3 /z
Calcular C
e C: |z|= 1.

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

queda más 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)  6i

3 /z

25/10/2022 MSc. Raúl P. Castro Vidal 7

Otra fórmula útil para calcular el residuo en un polo simple
cuando f (z) es una función racional f(z) = p(z)/q(z) es:

p ( z0 )
Res f ( z ) 
z  z0 q( z0 )
Demostración:
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! 
25/10/2022 MSc. Raúl P. Castro Vidal 8
 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
Número de contornos cerrados simples :
z  1  1
z02
z  1  1
ez
  dz  2 i Res  f ,  1  2 Res  f ,0   Res  f ,1
z 1 z
2 2

 ez  1
Res  f ,  1   2  
 z 1  z   z   1 2 e Examen
25/10/2022 MSc. Raúl P. Castro Vidal JUNIO 02/03: P-1 9
   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  2i 2e  2    2    2i2  ch(1)
 

25/10/2022 MSc. Raúl P. Castro Vidal 10

 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 están dentro del círculo

     
C tan z dz  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

25/10/2022 MSc. Raúl P. Castro Vidal 11
 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
z 3  0  z y z interiores de C
1 3
25/10/2022 MSc. Raúl P. Castro Vidal 12
  
 C
f ( z )dz  2 i 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
25/10/2022 MSc. Raúl P. Castro Vidal 13
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
25/10/2022 MSc. Raúl P. Castro Vidal 14
 1 1 

C
f ( z )dz  2 i 
 2i e
 0



C
f ( z )dz 
e

25/10/2022 MSc. Raúl P. Castro Vidal 15

d) Obtener la solución 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 analítica dentro y sobre C,

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

z  i  z  i 2
Res( f , z 0  i )  2
Examen
 f ( z )dz  2i  Res( f , z
C25/10/2022
0  i )  4i
MSc. Raúl P. Castro Vidal
JUNIO 04/05: P-1
16
 Examen
e) Obtener la solución 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.
Considérese que n es un entero positivo y 0    

C: z 2
n
2
z
f (z) 
1  2 z cos( )  z 2
Singularid ades 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  2iRes(f, z1 )  Res(f, z 2 ) 
25/10/2022 MSc. Raúl P. Castro Vidal 17
 i
z1  e n
z
f ( z) 
z  e   Res(f, z ) 
 i
e in
i
e i  e  i
1
ze
 i
z2  e
zn
f ( z) 
z  e   Res(f, z
i
)
e  in 

 i 2  i i
ze e e

in   in 
e e sen ( n )
I  2i  i  i
 2i ; n  , 0    
e e sen 

25/10/2022 MSc. Raúl P. Castro Vidal 18

2. Haciendo uso de la teoría 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
25/10/2022 MSc. Raúl P. Castro Vidal 19
 Luego es:

 1 1 
Res  1    ...   sen(1)
z 0
 3! 5! 
Y entonces:

1 1
C z  1 sen z dz  2isen1  sen1  0

Examen
SEPTIEMBRE 02/03: P-1
25/10/2022 MSc. Raúl P. Castro Vidal 20
 z 17
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  2i  Res 2  f   
z 0
z  z 
1
1 1 1 z 17 1 z 18
 f      19  
z 2
 
z z 2
1
3
1 
 2  2   3  3
4
z 2 3

1  2 z 1  3z 3  
4

z  z 
1 1  1  1 
   Res 2  f     1 
 3

z 1  2 z 1  3z 3
2
4 z 0
z  z 
 I  2i
Examen
25/10/2022 MSc. Raúl P. Castro Vidal 21
SEPTIEMBRE 02/2020: P-
1
 c) Calcular el valor de la integral:

1

sin( 1 )
dz
z
siendo Γ la curva |z| = 1/5 con orientación 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
25/10/2022 MSc. Raúl P. Castro Vidal 22
 1   1 
C 2
w sin w
dw  2  i 

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  
25/10/2022 MSc. Raúl P. Castro Vidal 23
 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  2 i   2 
6  
z

25/10/2022 MSc. Raúl P. Castro Vidal 24

3. Calcular la integral 1  z 1

2
z Log  dz
2i C  z 1 
donde el contorno C es la circunferencia z  2 orientada de
forma positiva.
Problemas en la función 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
Im(w) 
;
 y  x  1  y  x  1
x  1  y
2 2
x  1  y 2
2

Se estudia la determinación principal :

Re( w)  0   x  1 x  1   y 2 1  x  1
Im(w)  0  2 y  0 [Link]úl
25/10/2022
 P.0Castro Vidal y  0 25
 Segmento donde f(z) no es analítica

C: z 2
-1 1 2

 un conjunto infinito de puntos singulares dentro de C

(fuera de C es analítica)  aplicamos el concepto
de residuo en el infinito :
1  z 1  1 1 
I  dz  Res  2 f  ; z  0
2
z Log 
2i C  z 1  z  z  
2  1 1
1 1 1 1
F ( z )  2 f    2   Log  z   1 Log  1  z  
z z z z  1 1  z 4  1 z 
 z 
1
 4 Log 1  z   Log 1  z 
z
25/10/2022 MSc. Raúl P. Castro Vidal 26
Obtengamos los desarrollo s en serie de Log 1  z  y de Log 1  z  en z 0  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

2 3
z2 2z3
Log 1  z    z 
z 2z
Log 1  z   z    ...   ...
2! 3! 2! 3!
 2 3 2 3
 4
1 z 2z z 2z 2
F ( z)  4  z    ...  z    ...  3  3!  ...
z  2! 3! 2! 3!  z z
4 2 2
ResF ( z ); z  0    I 
25/10/2022 3! 3 MSc. Raúl P. 3Castro Vidal 27
 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.
    analítica sobre C y su exterior
f ( z )  Log cos 
  z  (apartado b)

25/10/2022 MSc. Raúl P. Castro Vidal 28

  
 1 1 
I   f ( z )dz  2iRes  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) analítica en z = 0  g ( z)   z
n 0 n!
 sin z
g (0)  0, g (0)   0
cos z z 0
25/10/2022 MSc. Raúl P. Castro Vidal 29
  2
g ( 0 )     0  2

cos ( z )
2
z 0

 z 2 2
g (0) n  (n)
g (z)   z z = 0 es un polo
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  2iRes F ( z ), z  0   0
25/10/2022 MSc. Raúl P. Castro Vidal 30
 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

25/10/2022 MSc. Raúl P. Castro Vidal 31

Por el teorema del residuo en el infinito:

 1 1 

 f ( z ) dz  2i Res  2 f  ; z 0  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 múltiplemente conexos:

 f ( z ) dz   f ( z ) d z    f ( z ) d z
C Ci
i 1

2i
C1
f ( z ) d z  2i Res f ( z ) 
z  3 ( 2) 4 ( 6)( 7 )
25/10/2022 MSc. Raúl P. Castro Vidal 32
 2i
C2
f ( z ) d z  2i Res f ( z ) 
z 3 ( 4) (6)( 1)
4

2i
C3
f ( z ) d z  2i Res f ( z ) 
z 4 4
(5) (5)
1 z 7

 f ( z ) d z  2i 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  2i  6  24  7  16   55 
25/10/2022 MSc. Raúl P. Castro Vidal 33
25/10/2022 MSc. Raúl P. Castro Vidal 34
25/10/2022 MSc. Raúl P. Castro Vidal 35
25/10/2022 MSc. Raúl P. Castro Vidal 36
25/10/2022 MSc. Raúl P. Castro Vidal 37
25/10/2022 MSc. Raúl P. Castro Vidal 38
25/10/2022 MSc. Raúl P. Castro Vidal 39
25/10/2022 MSc. Raúl P. Castro Vidal 40
25/10/2022 MSc. Raúl P. Castro Vidal 41
25/10/2022 MSc. Raúl P. Castro Vidal 42
25/10/2022 MSc. Raúl P. Castro Vidal 43
25/10/2022 MSc. Raúl P. Castro Vidal 44
25/10/2022 MSc. Raúl P. Castro Vidal 45
25/10/2022 MSc. Raúl P. Castro Vidal 46
25/10/2022 MSc. Raúl P. Castro Vidal 47
25/10/2022 MSc. Raúl P. Castro Vidal 48
25/10/2022 MSc. Raúl P. Castro Vidal 49
25/10/2022 MSc. Raúl P. Castro Vidal 50
 Residuo logarítmico

Sea una función f(z) analítica dentro y sobre un contorno

cerrado simple C, orientado positivamente, tal que no tenga
ceros sobre él, pero con posiblemente un número 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 logarítmico de
f(z) en z0, ya que:

d f ' ( z)
log f ( z ) 
dz f ( z)

25/10/2022 MSc. Raúl P. Castro Vidal 51

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

f ( z )  ( z  z0 ) g ( z )
m0

con g(z) analítica 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 )
Analítico en z0

25/10/2022
Tiene un polo simple en en z con residuo m0
MSc. Raúl P. Castro Vidal0 52
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

25/10/2022 MSc. Raúl P. Castro Vidal 53

 5. Hallar el residuo logarítmico de la función
1 z2
f ( z) 
1  cos 2z 
respecto a la circunferencia z 
1 f ( z )
2i 
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2z   0

cos2z   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
SEPTIEMBRE
25/10/2022 02/19: P-1 MSc. Raúl P. Castro Vidal 54
 Todos son polos dobles de f por ser ceros dobles de
1  cos( 2  z ) , ya que :
1  cos 2  z k   0

1  cos 2 z  0

zk

1  cos 2 z   4 2

0
zk

Entonces :
1 f ( z )

2i z  f ( z )
dz  2  7  2  12

25/10/2022 MSc. Raúl P. Castro Vidal 55

1. Hallar el residuo logarítmico de la función compleja
f ( z )  chz
respecto del contorno z  8
1 f ( z )
2i 
z 8
f ( z)
dz  N 0  N p

f ( z )  chz es una función 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 )
 
25/10/20222i z 8 f ( z )
dz  6
MSc. Raúl P. Castro Vidal 56
Aplicación del Teorema del Residuo al Caculo de
Integrales de Funciones Reales

25/10/2022 MSc. Raúl P. Castro Vidal 57

25/10/2022 MSc. Raúl P. Castro Vidal 58
 Ejemplo

25/10/2022 MSc. Raúl P. Castro Vidal 59

 
dx 
0 x 6  1 3


25/10/2022 MSc. Raúl P. Castro Vidal 60