UNIDAD VIII

POLOS Y RESIDUOS

Punto Singular
El punto singular de una función f ( z) es un punto en el que f ( z) no es analítica, pero en
su vecindad existen puntos en los que f ( z) es analítica.

Punto Singular Aislado

Si z = z0 es un punto singular de f ( z) , pero existe una vecindad de z0 en la que no hay
otros puntos singulares de f ( z) , entonces z = z0 es un punto singular aislado.

Si z = z0 es una singularidad aislada de f ( z) , entonces f ( z) posee un desarrollo de

Laurent en torno a z = z0 .

Clasificación de Singularidades

Polo
Si se expande la Serie de Laurent de f ( z) en la vecindad de un punto singular aislado
z = z0 , que contiene un número finito de potencias negativas de z − z0 , entonces z = z0
es un polo de f ( z) . Si ( z − z0 )
−m
es la mayor potencia negativa, entonces el polo es de
orden m.


bn b2 b1
f ( z ) =  an ( z − z0 ) + + ... + +
n
(8.1)
( z − z0 ) ( z − z0 ) z − z0
n 2
n =0

Parte analítica Parte principal

Ejemplos:
Un polo de orden m1 = 1 se llama polo simple.

z2 − 2z + 3 3
= 2 + ( z − 2) +
z−2 z−2

senh z 1 1 1 1 1
4
= 3+ + z + z 3 + ...
z z 3! z 5! 7!

Singularidad Esencial
Si la expansión de la serie de Laurent de f ( z) en la vecindad de un punto singular aislado
contiene una infinidad de potencias negativas de , entonces es una singularidad esencial
de f ( z) .

Ejemplos:
1 1 1 1
e1/ z = 1 + + + + + ...
z 2! z 3! z 4! z 4
2 3

Vemos que f tiene una singularidad esencial en z0 = 0 , debido a que tiene una infinidad de
potencias negativas.

Punto Singular Removible

Cuando todos los coeficientes en la parte principal de f en un punto singular aislado z0
son cero, el punto se denomina punto singular removible de f. Entonces la Serie de Laurent
contiene solamente potencias no negativas de z − z0 .

Una función con un punto singular removible se puede hacer analítica en ese punto al
asignarle un valor apropiado a la función en ese punto.

Ejemplo:

 ez −1 z z2
 = 1 + + + ..., z  0
f ( z) =  z 2! 3!
 1, z=0


Si se escribe f(0)=1, la función se hace entera.

Residuos
Cuando z0 es un punto singular aislado de f, existe un número positivo r1 tal que la función
es analítica en cada punto z para el cual 0  z − z0 = r1 .

En ese dominio, la función está representada por la serie de Laurent.


b1 b2
f ( z ) =  an ( z − z0 ) + + + ...
n
(8.2)
n =0 z − z0 ( z − z 0 ) 2

donde los coeficientes están dados por las fórmulas:

1 f ( s)ds
an =  , ( n = 0,1, 2,3,...) (8.3)
2 i C1 ( s − z0 )n+1

1 f ( s)ds
bn =  , ( n = 1, 2,3,...) (8.4)
2 i C2 ( s − z0 )− n+1

En particular,

1
2 i C
b1 = f ( z )dz (8.5)

donde C es cualquier contorno cerrado simple alrededor de z0 , descrito en sentido positivo,

tal que f es analítica en C dentro y sobre este contorno excepto en z0 .

1
El número complejo b1, que es el coeficiente de en el desarrollo de la Serie de
1 − z0
Laurent, se llama residuo de f en ese punto singular aislado z0 .

Ejemplos:
1
1) f ( z ) = tiene una serie de Laurent de:
z +z
2

1 
f ( z) = −  ( −1) z n 0  z 1
n
en
z n =0

al expandir la serie tenemos:

1
f ( z) = − 1 + z − z 2 + z 3 − ...
z
 1
2) f ( z ) = tiene una serie de Laurent de:
z +z
2

n  z −1 
 n
1 
f ( z ) =  ( −1) ( z − 1) −  ( −1)  en 0  z − 1  1
n n

n =0 2 n =0  2 

al expandir la serie tenemos:

1  z −1 
2
1 1
f ( z ) = 1 − − ( z − 1) + ( z − 1) + ( z − 1) −   − ...
2

2 2 2 2 

1
f ( z) = tiene una serie de Laurent de:
z +z2

n +1
n  z −1 
 n
 1  1 
f ( z ) =  ( −1)  −  ( −1)  1  z −1  2
n
  en
n =0  z −1  2 n =0  2 

al expandir la serie tenemos:

1  1  1  z −1   1  1  z −1 
2 3 2
1
f ( z) = − −  +  +  −   − ...
z −1 2  z −1  2  2   z −1  2  2 

Otro Método para calcular el Residuo

Supóngase que f ( z) tiene un polo simple, de primer orden, en z = z0 . Entonces podemos
escribir:

b1
f ( z) = + a0 + a1 ( z − z0 ) + ... Serie de Laurent (8.6)
z − z0

Si se multiplica esta identidad por z = z0 obtenemos:

( z − z0 ) f ( z ) = b1 + a0 ( z − z0 ) + a1 ( z − z0 ) + ...
2
(8.7)

Si hacemos z → z0 , obtenemos el residuo:

b1 = lim ( z − z0 ) f ( z ) para polos simples (8.8)

z → z0

Si f(z) tiene un polo de segundo orden en z = z0 , entonces:

 b2 b1
f ( z) = + + a0 + a1 ( z − z0 ) + a2 ( z − z0 ) + ... (8.9)
2

( z − z0 ) z − z0
2

Para obtener el residuo b1 debemos multiplicar primero esta identidad por ( z − z0 ) y así
2

tener:

( z − z0 ) f ( z ) = b2 + b1 ( z − z0 ) + a0 ( z − z0 ) + a1 ( z − z0 ) + a2 ( z − z0 ) + ...
2 2 3 4
(8.10)

y derivar luego con respecto a z antes de hacer z → z0 . Esta vez el resultado es:

d 
b1 = lim ( z − z0 ) f ( z ) 
2
para polos de segundo orden (8.11)
z → z0 dz  

Este procedimiento se puede extender a polos de orden superior y se llega a la siguiente

fórmula:

Teorema
Si f ( z) tiene un polo de orden m en z = z0 , entonces el residuo de f ( z) en z = z0 es:

1 d m−1
b1 = lim m−1 ( z − z0 ) f ( z ) 
m
para polos de m-ésimo orden (8.12)
( m − 1)! z→z0 dz  

Si f ( z) tiene una singularidad esencial en z = z0 , este proceso falla y no se puede

determinar el residuo.

Teorema del Residuo

Teorema
Se establece que C sea un contorno cerrado simple dentro y sobre el cual una función f es
analítica excepto para un número finito de puntos singulares z1 , z2 , z3 ,..., zn interiores a C.
Si B1 , B2 ,..., Bn denotan los residuos de f en esos puntos, se cumple:

 f ( z)dz = 2 i ( B + B
C
1 2 + ... + Bn ) (8.13)
Comprobación: Los puntos z j se hacen los centros de los círculos C j orientados
positivamente, e interiores a C . Los círculos C j junto con el contorno cerrado simple C ,
forman la frontera de una región en donde f es analítica y cuyo interior es un dominio
múltiplemente conexo.

De acuerdo con la extensión del Teorema de Cauchy-Goursat a tales regiones:

 f ( z )dz −  f ( z )dz −  f ( z )dz −... −  f ( z )dz = 0

C C1 C2 Cn
(8.14)

Esta ecuación se reduce a la fórmula (8.13) porque:

1
( j = 1, 2,..., n )
2 i Cj
Bj = f ( z )dz, (8.15)

y se comprueba el Teorema.

Ejercicios:

Método para encontrar el Residuo usando el Cociente de Funciones

Analíticas
Podemos encontrar el residuo de una función f en un polo z0 , si f se escribe como un
cociente:

p( z)
f ( z) = (8.16)
q( z)

donde p y q son funciones analíticas en z0 y p( z0 )  0 . La función f dada en la expresión

(8.16) tiene un polo simple en z0 , si q(z0)=0 y q’(z0)  0.

El residuo de f es el polo simple z0 está dado por:

p ( z0 )
b1 = (8.17)
q ' ( z0 )

Ejercicios:
Cálculo de Integrales Reales Impropias
A continuación se considerarán integrales reales del tipo:


−
 f ( x) dx (8.18)

Tal integral se denomina integral impropia, y significa que:

 0 b


−
f ( x) dx = lim
 →−  f ( x) dx + lim  f ( x) dx

b →
0
(8.19)

Si ambos límites existen, entonces se puede escribir:

 R


−
f ( x) dx = lim
R → 
−R
f ( x) dx (8.20)

Se supone que f(x) en (8.18) es una función racional real cuyo denominador es distinto de
cero para todo x real, y que su grado es por lo menos dos unidades mayor que el grado del
denominador. Así, el límite en (8.19) existe y es posible empezar a partir de (8.20). Se
considerará la integral de contorno correspondiente:

 f ( z )dz (8.21)

alrededor de una trayectoria C en la figura (8.3) .

Fig. 8.1 Semiplano Superior

Como f ( x) es racional, entonces f ( z) tiene una infinidad de polos en el semiplano

superior, y si se elige R suficientemente grande, entonces C abarca a todos estos polos.
Entonces, por el Teorema del Residuo, se obtiene:
R

 f ( z)dz =  f ( z)dz +  f ( x) dx = 2 i  Re s f ( z ) (8.22)

C S −R
en donde la suma consta de todos estos residuos de f ( z) en los puntos en el semiplano
superior en donde f ( z) tiene un polo. A partir de lo anterior se obtiene:

 f ( x) dx = 2 i  Re s f ( z ) −  f ( z )dz (8.23)
−R S

si R →  , entonces el valor de la integral sobre el semicírculo S tiende a cero y se produce

el resultado:


 f ( x) dx = 2 i  Re s f ( z ) (8.24)
−

Ejercicios:

Integrales Reales Impropias con Funciones Trigonométricas

Teorema
Suponga que f ( z) es el cociente de dos polinomios p(z) y q(z) esto es:

p( z )
f ( z) = (8.25)
q( z )

Tales que:

p( z )
1) f ( z) = no tiene polos sobre el eje real.
q( z )

p( z )
2) f ( z) = cuyo grado del denominador excede, al menos por dos, al grado del
q( z )

numerador.

Entonces:

cos ax  Re 
  dx =   2 i  Re s f ( z ) e
iaz
f ( x)  (8.26)
−  senax   
Im

donde la suma sólo incluye los polos de f(z) en el semiplano superior.

 Fig. 8.2 Semiplano Superior

Ejercicios:

Evaluación de Integrales Reales Definidas

Aplicaremos el Teorema del Residuo para evaluar las integrales definidas de la forma:

2

 F ( cos , sen )d

0
(8.27)

donde F ( s, t ) es el cociente de dos funciones polinomiales en s y t, pueden

transformarse en integrales de línea mediante la sustitución z = ei , 0    2 , puesto
que:

1 1
cos  =
2
(
1 i
e + e−i ) =  z + 
2 z
(8.28)

1 1
s en =
2i
(
1 i
e − e−i ) =  z − 
2i  z
(8.29)

dz
d = (8.30)
iz
Teorema
2
1  1 1  1   dz
 F ( cos , sen ) d = 
0 z =1
F   z +  ,  z − 
2  z  2i  z   iz
(8.31)

La integral se evalúa a lo largo de un círculo unitario.

Fig. 8.3 Círculo Unitario

Ejercicios: