Teorema de los Residuos

Este capítulo se centra en el Teorema del Residuo, que establece que la integral de una función
analítica f alrededor de una curva simple y cerrada es igual a 2πi veces la suma de los residuos
de f dentro de dicha curva. Este teorema tiene muchas aplicaciones importantes en el análisis
complejo, como por ejemplo, la evaluación de integrales definidas. El capítulo comienza con
algunas técnicas para calcular los residuos de funciones en singularidades aisladas.

Singularidades, Ceros y Residuos

En términos generales, una singularidad de una función analítica f (z) es un número complejo
z0 en donde f no es analítica y un cero es un número complejo z 0 en donde f (z 0 ) = 0. Las
singularidades pueden analizarse y clasificarse por medio de las series de Laurent. Mientras
que los ceros se analizan por medio de las series de Taylor.
Se dice que una función f (z) es singular o tiene una singularidad en un punto z0 si f (z)
no es analítica en z0 pero es analítica en algún punto de todo entorno (vecindad) de z0 . Se dice
que un punto singular es aislado si, además, existe un entorno perforado 0 < |z − z0 | <  de z0
en el cual f es analítica.

Ejemplos
z+1
1. Como la función f (z) = no es derivable en los puntos z0 = 0 y z0 = ±i.
z 3 (z 2
+ 1)
Entonces f no es analítica en dichos puntos. Por consiguiente tales números son puntos
singulares de la función, más aún son aislados, ya que en cualquier entorno de ellos f es
analítica.

1
2

2. Considerando la rama principal de la función logarítmo, tenemos la función univaluada

f (z) = Log(z) = ln(r) + iΘ (r > 0, − π < Θ < π), la cual tiene como punto
singular z0 = 0. Puesto que cualquier entorno perforado de z0 = 0 contiene puntos del
semieje real negativo y dicha función no está definida allí, resulta que z0 = 0 no es una
singularidad aislada.

3. La función f (z) = tan(z) tiene singularidades aisladas en los puntos ±(2n+1)π/2, n =

0, 1, 2, 3, . . ..


Mientras que g(z) = tan 1/z tiene una singularidad no aislada en z0 = 0.
1 π cos(π/z)
4. La función f (z) = tiene por derivada f 0 (z) = 2 , la cual no
sen(π/z) z sen2 (π/z)
existe para los números z0 = 0 y z0 = 1/n, (n = ±1, ±2, ±3, . . .). Esto es, f no
es analítica en tales números y por consiguiente dichos puntos son singularidades. Los
números z0 = 1/n, (n = ±1, ±2, ±3, . . .) son singularidades aisladas, sin embargo
z0 = 0 es un singularidad no aislada, porque cualquier entorno perforado de z0 = 0
contiene otras singularidades de la función. (De manera precisa, dado un  > 0, sea
m cualquier entero tal que m > 1/, luego 0 < m < 1/ implica que la singularidad
z0 = 1/m está en el entorno perforado 0 < |z − 1/m| < ).

Si z0 es un punto singular aislado de la función f , existe un número positivo R tal que f es

analítica en todo punto z del entorno perforado 0 < |z − z0 | < R. Por lo tanto f admite una
representación en serie de Laurent
∞ ∞
X
n
X bn
f (z) = an (z − z0 ) + , 0 < |z − z0 | < R,
n=0 n=1
(z − z0 )n
en donde los coeficientes an y bn se determinan mediante
Z
1 f (z)dz
an = , n = 0, 1, 2, 3, . . .
2π C z − z0 n+1


Z
1 f (z)dz
bn = , n = 1, 2, 3, . . .
2π C z − z0 1−n

y C es cualquier curva simple, cerrada, orientada positivamente, en torno de z0 y contenida en

el disco perforado 0 < |z − z0 | < R.
Si en los coeficientes bn , hacemos n = 1, se tiene que
Z
f (z)dz = 2πib1
C
. (1)
 El Teorema de los Residuos Dr. José Atilio Guerrero - UNET 3

1
El número complejo b1 (que es el coeficiente del término en la serie de Laurent de
z − z0
f ) se denomina residuo de f en la singularidad z0 . El mismo se denota por


b1 = Res f, z0
.

La ecuación (1) proporciona un método práctico y útil para calcular ciertas integrales com-
plejas sobre curvas simples y cerradas.
∞
X bn
La serie n
se denomina parte principal de f en z0 . Usando esta parte
n=1
(z − z0 )
principal, se clasifican los tres tipos de puntos singulares aislados, los cuales nos permitiran
desarrollar la teoría de residuos.

• Si existe algún n ∈ N tal que bn 6= 0 y bn+1 = bn+2 = · · · = 0, es decir, la serie de

Laurent de la función, es de la forma
∞ n
X X bk
f (z) = an (z − z0 )n + , 0 < |z − z0 | < R,
n=0 k=1
(z − z0 )k
entonces la singularidad aislada z0 se denomina polo de orden n de f .
Los polos de orden 1, se llaman polos simples, los polos de orden 2, se denominan polos
dobles y así sucesivamente.

• Si bn = 0 para todo n ∈ N, de modo que

∞
X
f (z) = an (z − z0 )n , 0 < |z − z0 | < R,
n=0

entonces z0 es una singularidad aislada evitable. En estos casos el residuo de la función

f en z0 siempre es cero.

• Si la parte principal de f en z0 tiene infinitos coeficientes bn no nulos, se dice que z0 es

una singularidad aislada esencial.

Ejemplos
6z 2 − 6z + 3
1. El número z = 1 es una singularidad aislada de la función f (z) = , para
z−1
clasificar dicha singularidad, debemos hallar la serie de Laurent de la función.
6z 2 − 6z + 3 3 3
f (z) = = 6z + = 6(z − 1) + 6 +
z−1 z−1 − 1}
|z {z
parte principal

luego la singularidad aislada z0 = 1 es un polo simple, con residuo b1 = 3.

4

senh(z − 2)
2. La función g(z) = tiene una singularidad aislada en z0 = 2, como
(z − 2)5
∞
X z 2n+1
senh(z) = , resulta que
n=0
(2n + 1)!

∞
senh(z − 2) X (z − 2)2n−4
g(z) = =
(z − 2)5 n=0
(2n + 1)!
∞
1 1 X (z − 2)2(n−2)
= + + ,
(z − 2)4 3!(z − 2)2 n=2 (2n + 1)!
| {z }
parte principal

por consiguiente z0 = 2 es un polo de orden 4.

3. El número z0 = 0 es una singularidad esencial de la función

∞
1/z
X 1
h(z) = e = , (0 < |z| < ∞).
n=0
n!z n

cos(z) − 1
4. z0 = 0 es una singularidad aislada de la función f (z) = , y como
z2
∞
X z 2n
(−1)n − 1 ∞
cos(z) − 1 n=0
(2n)! X z 2(n−1)
f (z) = = = (−1)n
z2 z2 n=1
(2n)!
su parte principal es nula. Por lo tanto, la singularidad en z0 = 0 es evitable. Por con-
siguiente si definimos f (0) = 1/2 entonces f es analítica en todo el plano complejo. Es
decir, esta redefinición de la función resulta ser una función entera.

5. La función f (z) = z −5 sen(z) tiene un polo de cuarto orden en z0 = 0.

El siguiente resultado presenta una caracterización alternativa para determinar los polos, así
como otra técnica para calcular los residuos.

Teorema 0.1 Un punto singular aislado z0 de una función f es un polo de orden m si y sólo si
f se puede escribir en la forma
g(z)
f (z) =
(z − z0 )m

donde g(z) es una función analítica en z0 , g(z0 ) 6= 0 y

h i
m−1 m

1 d (z − z0 ) f (z)
Res f, z0 = lim
(m − 1)! z−→z0 dz m−1
.
 El Teorema de los Residuos Dr. José Atilio Guerrero - UNET 5

Resumiendo:

• Si z0 es un polo simple de la función f , entonces Res(f, z0 ) = lim (z − z0 )f (z).

z−→z0
h i0
2
• Si z0 es un polo de orden dos de f , resulta Res(f, z0 ) = lim (z − z0 ) f (z) .
z−→z0
h i00
• Si z0 es un polo de orden tres de f , resulta Res(f, z0 ) = lim (z − z0 )3 f (z) .
z−→z0
Y así sucesivamente.

Se dice que una función f (z) que es analítica en algún dominio D tiene un cero en z0 ∈ D
si f (z0 ) = 0. También diremos que este cero es de orden n ∈ N si no sólo f sino también todas
las derivadas f 0 , f 00 , · · · , f (n−1) son nulas en z0 pero f (n) (z0 ) 6= 0. Un cero de primer orden se
llama cero simple.
El siguiente resultado, da un método alternativo para determinar los polos de una función.

Proposición 0.2 La función f (z) tiene un polo de orden m en z0 ∈ C si y sólo si z0 es un cero

1
de orden m de la función .
f (z)

Ejemplos
1 1 z(z + 1)
1. Ya que la función = 3+5z = tiene cero simples en z = 0 y en z = −1,
f (z) z(z+1)
3 + 5z
3 + 5z
entonces la función f (z) = tiene polos simples en z = 0 y en z = −1. Por
z(z + 1)
consiguiente, los residuos de f en dichos polos son:
 3 + 5z  h 3 + 5z i 3 + 5z
Res(f, 0) = Res , 0 = lim (z − 0) = lim = 3.
z(z + 1) z−→0 z(z + 1) z−→0 (z + 1)
 3 + 5z  h 3 + 5z i 3 + 5z
Res(f, −1) = Res , −1 = lim (z + 1) = lim = 2.
z(z + 1) z−→0 z(z + 1) z−→0 z
1
2. La función g(z) = tiene polos de orden dos en z = −1 y en z = 1, pues
(z 2
− 1)2
1/g(z) tiene ceros dobles en z = ±1. Por consiguiente
 1  h 1 i0
2
Res(g, −1) = Res , −1 = lim (z + 1)
(z 2 − 1)2 z−→−1 (z 2 − 1)2
 0
1 2 1
= lim = lim =− .
z−→−1 (z − 1)2 z−→−1 (z − 1)3 4
 1  h 1 i0
2
Res(g, 1) = Res , 1 = lim (z − 1)
(z 2 − 1)2 z−→1 (z 2 − 1)2
 0
1 2 1
= lim 2
= lim 3
= .
z−→1 (z + 1) z−→1 (z + 1) 4
6

1 1
3. Ya que f (z) = = , los complejos z = 0 y z = −2
z4 + 6z 3 2
+ 12z + 8z z(z + 2)3
son singularidades aisladas de f ; en donde z = 0 es un polo simple y z = −2 es un polo
de orden 3. Por lo tanto
z 1 1
Res(f, 0) = lim 3
= lim 3
= ;
z−→0 z(z + 2) z−→0 (z + 2) 8
1 h 1 i00
Res(f, −2) = lim (z + 2)3
z−→−2 (3 − 1)! z(z 2 + 2)3
1 1 00 1
h i 2 1
= lim = lim 3 = − .
z−→−2 2! z 2 z−→−2 z 8
zetz
4. Si en la función f (z) = , hacemos g(z) = zetz , resulta que g es una función
(z − 3)2
entera, luego z = 3 es una singularidad de f , el cual es un polo de orden 2 o un polo
doble de f . Por consiguiente
zetz
 
1 d 2
Res(f, 3) = lim (z − 3)
z−→3 (1 − 1)! dz (z − 3)2
d  
zetz = lim et z + tzetz = e3 t( 1 + 3t).


= lim
z−→3 dz z−→3

cos(z)
5. Como las singularidades de la función h(z) = cotan(z) = son polos simples los
sen(z)
cuales coinciden con los ceros del sen(z), es decir, cuando z = kπ (k ∈ Z). Entonces

h cos(z) i
Res cotan(z), kπ = lim (z − kπ)
z−→kπ sen(z)
h cos(z) i
= lim (z − kπ)
z−→kπ (−1)k sen(z − kπ)
h cos(z) i h z − kπ i
= lim · lim
z−→kπ (−1)k z−→kπ sen(z − kπ)

= 1, para k ∈ Z.
ez
6. La función f (z) = tiene polos dobles (de orden dos) en los puntos z = kπ (k ∈
sen2 (z)
Z). Por lo tanto
 ez  h ez i0
Res = (z − kπ)2
lim
sen2 (z) z−→kπ sen2 (z)


ez (z − kπ)2 sen(z) − 2cos(z) + 2(z − kπ)sen(z)
= lim
z−→kπ sen3 (z)
w2 sen(w) − 2w2 cos(w) + 2wsen(w)
= ekπ lim ew
w−→0 sen3 (w)
= ekπ , para k ∈ Z.
1   18
7. Si f (z) = 2
, entonces Res f, 0 = .
z sen(z) − senh(z) 7!
 El Teorema de los Residuos Dr. José Atilio Guerrero - UNET 7

El Teorema de los Residuos de Cauchy

Si una función f es analítica en la región interior a una curva simple cerrada, excepto en un
número finito de de puntos, estas singularidades son necesariamente aisladas. El resultado a
continuación, conocido como Teorema de los Residuos (de Cauchy), precisa que si f es además
analítica en los puntos de la curva C la cual está orientada positivamente, el valor de la integral
de f sobre dicha curva depende del valor de los residuos de f en las singularidades interiores a
C.

Teorema 0.3 (Teorema de los Residuos de Cauchy) Sea C una curva cerrada simple, orien-
tada positivamente. Si f es una función analítica en C y en su interior, excepto en un número
finito de puntos singulares zk (k = 1, 2, . . . , n) interiores a C, entonces
I n
X
f (z)dz = 2πi Res(f, zk )
C k=1
. (2)

Del Teorema de los Residuos puede decirse que es la culminación de la “Teoría Global
de Cauchy”. Incorpora y extiende al Teorema de Cauchy y a la Fórmula de Cauchy, y tiene
innumerables consecuencias teóricas y prácticas.

Ejemplos
4z − 2
1. La función f (z) = , tiene polos simples en los puntos z = 0 y en z = 1, luego
z(z − 1)
sus residuos son Res(f, 0) = 2 y Res(f, 1) = 2. Por lo tanto (observese que los polos
estan en el interior de la curva C : |z| = 2)

4z − 2
Z  
dz = 2πi Res(f, 0) + Res(f, 1) = 8πi.
|z|=2
z(z − 1)

z2 + 4
2. La función g(z) = tiene polos simples en los puntos z0 = 0,
z 3 + 2z 2 + 2z
z1 = −1 + i y en z2 = −1 − i. Pero sólo z0 y z1 estan dentro de la curva
C : |z + 1 − i| < 3/2, por lo que

z2 + 4 3i − 1 
Z   
dz = 2πi Res(f, z0 )+Res(f, z1 ) = 2πi 2+ = 3π(−1+i).
C
z 3 + 2z 2 + 2z 2
8

Ahora si la función f en el Teorema de los Residuos, es además, analítica en todos

I los puntos
de la región exterior a la curva C, puede ser más conveniente evaluar la integral f (z)dz, eva-
C
luando un único residuo de alguna función relacionada. Este resultado es conocido como
residuo en el infinito.

Teorema 0.4 (Residuo en el Infinito ó Reducción a un Único Residuo) Si f es una función

analítica en todo el plano complejo, excepto en un número finito de puntos singulares interiores
a una curva cerrada simple C orientada positivamente, entonces
I  
f (1/z)
f (z)dz = 2πi Res ,0
C z2
. (3)

Ejemplos

3z − 1 3z − 1
I
1. En la integral dz, la función f (z) = tiene
|z|=3 (z − 2)(z − 1) (z − 2)(z − 1)
dos singularidades aisladas (polos simples) en z0 = 1 y z1 = 2. Para no calcular dos
residuos correspondientes a estos polos, aplicamos el Teorema de Residuos al Infinito. Es
decir,
 
3z − 1
I
f (1/z)
dz = 2πiRes ;0 .
|z|=3 (z − 2)(z − 1) z2

Ahora,

f (1/z) 3−z
2
= ,
z z(1 − 2z)(1 − z)

luego z = 0 es un polo simple de la función f (1/z)/z 2 , por lo tanto

 
f (1/z) f (1/z) 3−z
Res 2
; 0 = lim z 2
= lim = 3.
z z−→0 z z−→0 (1 − 2z)(1 − z)

Por consiguiente
3z − 1
I
dz = 2πi(3) = 6πi.
|z|=3 (z − 2)(z − 1)

Z
cos(z)
2. Evaluar dz.
z3 + z
|z|≤2
 El Teorema de los Residuos Dr. José Atilio Guerrero - UNET 9

Para resolver estas integrales complejas, disponemos de tres (3) herramientas útiles. Estas
son:
Z Z
cos(z) cos(z)
3
dz = dz
z +z z(z − i)(z + i)
|z|≤2 |z|≤2
Z Z Z
cos(z) 1 cos(z) 1 cos(z)
= dz − dz − dz → (Fórm. Int. de Cauchy);
z 2 z+i 2 z−i
|z|≤2 |z|≤2 |z|≤2





= 2πi Res f, 0 + Res f, i + Res f, −i → (Teorema de Residuos);

  f (1/z) 
= 2πi Res , 0 → (Torema de Residuos en el Infinito)
z2

Resumimos la integración compleja, en el siguiente esquema:


2πif (n) (z0 )
−→ Fórmulas Integrales de Cauchy






 n!



n
I 
  
 X
f (z) dz = 2πi Res f (z), zk −→ Teorema de los Residuos
C 
 k=1





  

 f (1/z)
 2πiRes

 ,0 −→ Teorema de Residuos en el Infinito.
z2

Problemas Propuestos
1. Verificar que todos los puntos singulares de cada una de las siguientes funciones son
polos. Hallar el orden de los polos y calcular el residuo correspondiente.
1 − cosh(z) 1 − e2z e2z  z 3
(a) (b) (c) (d) .
z3 z4 (z − 1)2 2z + 1

2. Verifique que
 √ 
z
4
1+i
(a) Res , z0 = −1 = √ (|z| > 0, 0 < arg(z) < 2π)
z+1 2
 
Log(z) π + 2i
(b) Res 2 2
, z0 = i =
(z + 1) 8
 √ 
z 1−i
(c) Res 2 2
, z0 = i = √ (|z| > 0, 0 < arg(z) < 2π)
(z + 1) 8 2
10

z2 + 2
3. Encuentre los polos y sus ordenes de la función f (z) = .
z(z − 3i)(z + 1)3
3z 2 + 2
Z
4. Evalue la integral 2
dz sobre las circunferencias: (a) |z − 2| =
C (z − 1)(z + 9)
2; (b) |z| = 4.

5. Evalue la integral de las funciones dadas alrededor del circulo unitario.

sen(1/z)
(i) f (z) = .
z
2
(ii) g(z) = z k e1/z , k es cualquier entero no-negativo.
(iii) h(z) = z k sen(1/z), k es cualquier entero no-negativo.

6. Calcule la integral de la siguientes funciones sobre la circunferencia |z| = 2.

z5 1 1
(a) f (z) = ; (b) g(z) = ; (c) h(z) = .
1 − z3 1 + z2 z

7. Determine el valor de las siguientes integrales:

z2 + 1
I
(a) 2
dz;
|z|=2 z + z − 6
ez dz
I
(b) 2
, cuando: C : |z| = 3/2; C : |z| = 10;
C (z − 1)(z + 3)
z5
I
(c) 3
dz;
|z|=2 1 − z
I
dz
(d) 2
.
|z|=2 1 + z