279
CAPITULO 6: POLOS Y RESIDUOS
6 POLOS Y
RESIDUOS
1. Singularidad aislada
Un punto z 0 se llama punto singular de una función f z si esta deja de ser analítica
en z 0 pero es analítica en al menos un punto de cierta vecindad de z 0 .
Un punto singular z 0 se dice que está aislado si además existe una vecindad de z 0
en todo punto de la cual f z es analítica excepto en ese punto.
2. Residuo
Sea f z una función analítica sobre un contorno simple cerrado C y en todo
punto del interior de C , salvo en z 0 . Entonces el residuo de f z en z 0 , que se
denota por Res f z , z 0 , está definido por
1
Res f z , z 0 C f z dz
2i
107. Demostrar que Res f z , z 0 a1 , donde z 0 es un punto singular aislado de
f z desarrollada en serie de Laurent
Solución:
Debido a que z 0 es un punto singular aislado de f z , podemos desarrollar esta
función es serie de Laurent
JULIO CESAR UBERHUAGA CONDE
280
CAPITULO 6: POLOS Y RESIDUOS
f z a z z
n
n 0
n
Esta serie converge a f z en todo punto (excepto z 0 ) del interior de un circulo de
radio R centrado en z 0 .
Para evaluar
1
Res f z , z 0 C f z dz
2i
Tomamos como C un circulo de radio r centrado en z 0 , donde r R
1 1
Res f z , z 0 f z dz a z z dz
n
2i C 2i z z 0 r
n
n 0
1
Res f z , z 0 C1 a0dz C1 a1 z z 0 dz
dz
1
2i C1 1
a z z 0
1
Res f z , z 0 a1 0 1
1 1
2i C1 z z 0
dz a C1 dz a C1 z z 0
dz (1)
Recordando la integral
0, n 1
z z dz
n
(2)
z z 0 r 0
2i, n 1
Todas las integrales del lado derecho de la ecuación (2) valen cero excepto la que
corresponde a n 1 , reemplazando (2) en (1)
1
Res f z , z 0 a1 2i a0 0 a1 0
2i
Res f z , z 0 a1
El término “residuo” proviene de usar la serie de Laurent válida e integrar término
a término quedando únicamente un coeficiente particular de la serie de los infinitos
términos existentes.
2ki
281
CAPITULO 6: POLOS Y RESIDUOS
El residuo de la función f z en el punto singular aislado z 0 es igual al coeficiente
a1 de z z 0 en la serie de Laurent que representa a f z en una región tipo
1
anillo dada por 0 z z 0 R
3. Teorema de los residuos
Sea C un contorno cerrado simple y sea f z una función analítica sobre C y
en todo punto interior, excepto en las singularidades aisladas z 1, z 2 , , z n ,
entonces
1
f z dz Res f z , z1 Res f z , z2 Res f z , zn
2i C
Escribiendo en forma reducida, la integral resulta
C f z dz 2i
k 1
Res f z , z k
Por lo tanto, la integral de f z alrededor de C es igual a 2 i veces la suma de
los residuos de f z en el interior de C .
108. Demostrar que la integral de f z alrededor de C es
C f z dz 2i
k 1
Res f z , z k
Solución:
Sea la curva C que encierra a las singularidades aisladas z 1, z 2 , , z n y se encierran
cada una de estas singularidades por círculos C 1,C 2 , ,C n que no tienen intersección
con C ni se intersectan entre si
JULIO CESAR UBERHUAGA CONDE
282
CAPITULO 6: POLOS Y RESIDUOS
Trazamos las trayectorias por líneas punteadas como se indica en la figura que
conectan los círculos C 1,C 2 , ,C n
Se definen dos contornos simples cerrados CU y C L
2ki
283
CAPITULO 6: POLOS Y RESIDUOS
La función f z es analítica sobre los círculos CU , C L y en sus interiores, por el
teorema integral de Cauchy
1
CU f z dz 0
2i
(3)
1
CL f z dz 0
2i
(4)
Sumando (3) y (4)
1
2i CU
f z dz
CL f z dz 0
Los segmentos de recta con línea punteada sobre CU se cancelan exactamente con
las porciones de la integral sobre C L a lo largo de estos mismos segmentos de recta
debido a que se integran en sentidos opuestos.
Quedando la suma de la integral de f z alrededor de C en sentido positivo más
las integrales alrededor de C 1,C 2 , ,C n en sentido negativo.
Por lo tanto
1
f z dz
f z dz
f z dz
f z dz 0
2i C C1 C2 Cn
JULIO CESAR UBERHUAGA CONDE
284
CAPITULO 6: POLOS Y RESIDUOS
Despejando la integral de f z alrededor de C
1 1 1 1
f z dz f z dz 2i f z dz 2i f z dz
2i C 2i C1 C2 Cn
Ya que las curvas C 1,C 2 , ,C n encierran a las singularidades aisladas z 1, z 2 , , z n
aplicamos la definición de residuo
1
f z dz Res f z , z1 Res f z , z2 Res f z , zn
2i C
Multiplicando por 2 i y escribiendo en sumatoria
C f z dz 2i
k 1
Res f z , z k
1
e
z
109. Calcular I
dz donde C : z
C 1z 2
Solución:
Las singularidades asiladas de la función son
z1 0 , z 2 1
Representando la curva C , encierra a las dos singularidades aisladas
2ki
285
CAPITULO 6: POLOS Y RESIDUOS
Por lo tanto la integral será
I 2i Res f z , z1 Res f z , z2
I 2i Res f z , 0 Res f z ,1
(5)
Para z1 0 desarrollamos f z en serie de Laurent en potencias de z para encontrar
el coeficiente de a1
1
e
f z
z
1z
Representando en series de Maclaurin
1
e 1
1 1 1
f z e z z n
z
1z 1z n0 n0 n ! z n
Desarrollando
f z 1 z z 2 z 3 z 4 1 z1 2!1z 2
1
1
3! z 3 4! z 4
1
Multiplicando e identificando los coeficientes que acompañan a
z
1 1 1 1
f z 1
2! 3! 4! z
Por lo tanto
1 1 1
Res f z , 0 1
2! 3! 4!
1 1 1
Res f z , 0 1 1 1
2! 3! 4!
1
Res f z , 0 1
n 0 n !
JULIO CESAR UBERHUAGA CONDE
286
CAPITULO 6: POLOS Y RESIDUOS
Res f z , 0 1 e e 1 (6)
Para z 2 1 desarrollamos f z en serie de Laurent en potencias de z 1 para
encontrar el coeficiente de a1
1
ez
f z
1z
Cambio de variable
u z 1 z u 1
1
e u 1
f
u
Representando en serie de Maclaurin
1
1 1 1
1
e u1 1 u1
f e
u u u n 0 n ! u 1n
Desarrollando
1 1 1 1
f 1
u u 1 2!u 12
3!u 1
3
Nuevamente representando en series de Maclaurin
1
1 1 1
f 1 u n 1u n 1n 2u
n n n
u n0 2! n0 3! 2 n0
1
Multiplicando e identificando los coeficientes que acompañan a
z
1 1 1
f 1 1
2! 3! u
Por lo tanto
2ki
287
CAPITULO 6: POLOS Y RESIDUOS
1 1 1
Res f z ,1 1 1
2! 3! 4!
1
Res f z ,1
n!
n 0
Res f z ,1 e (7)
Reemplazando (6), (7) en (5)
I 2i e 1 e
I 2 i
4. Clasificación de singularidades aisladas
Sea la función f z desarrollada en serie de Laurent alrededor del punto singular
aislado z 0
f z an z z0 an z z0 an z z 0
n n n
n n 1 n 0
Donde
an z z 0 Parte analítica de la serie de Laurent (P.A.)
n
n 0
a z z
n
n 0 Parte principal de la serie de Laurent (P.P.)
n 1
Polo de orden N
Una función f z tiene un polo de orden N en z 0 si la potencia más negativa de
z z
0
que aparece en la parte principal (P.P.) de su desarrollo en serie de
Laurent alrededor del punto singular z 0 es N .
JULIO CESAR UBERHUAGA CONDE
288
CAPITULO 6: POLOS Y RESIDUOS
Es decir, si la parte principal (P.P.) del desarrollo en serie de Laurent de f z cuenta
con un numero finito de términos distintos de cero, de la forma
N 1
f z aN z z 0 aN 1 z z 0 a1 z z 0
N 1
n N
f z an z z 0 an z z 0
n n
n 1 n 0
f z a z z
n
n 0
n N
Donde aN 0 y N 0 , la potencia más negativa de z z 0 en la P.P. es N .
Se dice que una función tiene un “polo simple” en un punto si posee un polo de orden
“1” en dicho punto.
Singularidad esencial
Una función f z posee una singularidad esencial en z 0 ó z 0 es un punto singular
esencial (P.S.E.) de f z si la parte principal (P.P.) de su desarrollo de serie de
Laurent alrededor del punto singular z 0 contienen un número infinito de términos
diferentes de cero.
Es decir, si la parte principal (P.P.) del desarrollo en serie de Laurent de f z
contienen un número infinito de términos distintos de cero
f z an z z 0 an z z 0
n n
n 1 n 0
Es decir, en la P.P. del desarrollo en serie de Laurent de f z no existe en este un
término de la parte principal distinto de cero aN z z 0
N
tal que contenga a la
potencia más negativa de z z 0 .
2ki
289
CAPITULO 6: POLOS Y RESIDUOS
Singularidad removible
Una función f z posee una punto singular removible (o evitable) en z 0 si la
singularidad en z 0 se puede eliminar por medio de una definición adecuada de
f z en dicho punto.
Es este caso, el desarrollo en serie de Laurent de f z alrededor z 0 no posee parte
principal (P.P.), es decir todos los coeficientes de potencias negativas de z z 0 son
nulos y la serie de Laurent coincide con el desarrollo en serie de Taylor de f z
alrededor z 0 .
f z an z z 0
n
n 0
La singularidad puede eliminarse redefiniendo f z para que sea analítica en z 0
según
f z , z z
F z
0
a , z z
0 0
JULIO CESAR UBERHUAGA CONDE