Teorema Del Resto

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
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
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

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
 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

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! 
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)
 

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

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
 
 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
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
1 1 

C
f ( z )dz  2 i 
 2i e
 0


C
f ( z )dz 
e

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 ) 
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 

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
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
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
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
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  
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

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 MSc.yRaú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
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)

 
 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
 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
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

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 )
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 
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)

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

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

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

Ejemplo


dx 
0 x 6  1 3


Teorema Del Resto

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Teorema Del Resto

Cargado por

Copyright:

Formatos disponibles

Teoría de Residuos

Pure mathematicians do it in theory.

El teorema del residuo generaliza este

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

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

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

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

 f ( z )dz   f ( z )dz   f ( z )dz  ⋯   f ( z )dz

Las integrales a lo largo de cada uno de esos pequeños

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

Ce d zdz  2 i Re s( f ( z ) , 0)  6i

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

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

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

C tan zdz  2 i  1  1  4 i

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

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

f analítica dentro y sobre C,

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

circunferencia z  3 orientada positivamente, utilizando el

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

Se estudia la determinación principal :

 un conjunto infinito de puntos singulares dentro de C

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

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

siendo C : |z| = 2, orientado positivamente.

 z  1, polo de orden 4

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

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

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

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

con g(z) analítica en dicho entorno y g(z0)  0. Derivando y

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

Polos de f(z): 1  cos2z   0

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

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

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

f ( z )  chz es una función entera  N p  0

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

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

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

También podría gustarte