Integración en variable compleja. Método de los residuos Carlos S.

Chinea

Integración en variable compleja. Método de los residuos

1. Residuos:
Sea D un dominio simplemente conexo y consideremos la integral de una función
f (z ) a lo largo de un circuito τ que rodea un numero finito de singularidades
aisladas, zi ,i = 1,2,..., n .

Puesto que cada una de las singularidades puede rodearse por un contorno
τ 1 ,τ 1 ,...,τ n de modo que la integral en el contorno total sea la suma de los
contornos correspondientes a cada singularidad, al cancelarse los tramos interiores:

∫τ f ( z ).dz = τ∫ f ( z ).dz + τ∫ f ( z ).dz + ... + τ∫ f ( z ).dz

1 2 n

Calculemos cada uno de los sumandos integrales:

1
Integración en variable compleja. Método de los residuos Carlos S. Chinea

∫ f ( z ).dz,i = 1,2,..., n
τi
para ello sustituimos la función por su desarrollo de Laurent en un entorno de la
singularidad correspondiente, zi ,i = 1,2,..., n :

∞ ∞

∫ f ( z ).dz = ∫ ∑ a ( z − z ) .dz = ∑ a ∫ ( z − z ) .dz

i
k i
k i
k i
k
[6.1.1]
τi τ i k = −∞ τ k = −∞ i

Veamos el valor que puede tomar la integral. Para ello expresamos el integrando en
iθ iθ
la forma módulo argumental: z − zi = R.e ,dz = R.i.e .dθ , donde es R el radio de
una circunferencia centrada en la singularidad zi y rodeada por el circuito τ i . Se
tiene:
2π 2π

∫ ( z − z ) .dz = ∫ R .e .R.i.e .dθ = R i ∫ ei ( k +1)θ .dθ

k k ikθ iθ k +1
i
τi 0 0
Evaluemos esta integral para los diferentes valores de k:
2π 2π
‐ Si k + 1 = 0 → k = −1 → ∫ ( z − zi ) .dz = R i ∫ e k 0 i .0.θ
.dθ = i ∫ dθ = 2πi
τi 0 0

2π 2π
e i ( k +1)θ 1−1
∫ i ∫e i ( k +1)θ
‐ Si k + 1 ≠ 0 → ( z − zi ) .dz = R
k k +1
.dθ = R i k +1
= R k +1 =0
τi 0
(k + 1)i 0 k +1
En definitiva, la integral es nula salvo para k=-1:

∫ (z − z ) .dz = 2πi
−1
i
τi

por lo que, al sustituir en [1]:

∞ ∞

∫ f ( z ).dz = ∫ ∑ aki ( z − zi ) k .dz = ∑ a ∫ ( z − z ) .dz = a

i
k i
k i
−1 2πi
τ
i τ i k = −∞ k = −∞
τ i

denominándose residuo de la función f (z ) en zi al valor a−i 1 , y la integral de

contorno total alrededor de las n singularidades es

∫τ f ( z ).dz = τ∫ f ( z ).dz + τ∫ f ( z ).dz + ... + τ∫ f ( z ).dz = (a + a−21 + ... + a−n1 )2πi

1
−1
1 2 n

En definitiva, es importante realizar el cálculo de los residuos de la función en los

puntos donde hay singularidades aisladas a fin de obtener la integral de contorno
correspondiente.

i
Representaremos el residuo a−1 de f (z ) en el punto zi por

Re s( f ( z ), zi ) = a−i 1 ,i = 1,..., n

2
Integración en variable compleja. Método de los residuos Carlos S. Chinea

2. Cálculo de los residuos en singularidades aisladas:

a) En una singularidad evitable:

z0 , es decir, si tiene límite

Si la función f (z ) tiene en una singularidad evitable en
en dicho punto, entonces es prolongable a una función holomorfa en z0 por lo que
es desarrollable en serie de Taylor y todos los términos de su desarrollo son de
exponente positivo, o sea, no existe el término de exponente -1 y por consiguiente
el residuo es cero.

Re s( f ( z ), z0 ) = 0

b) En una singularidad esencial:

En una singularidad esencial existen, por definición, infinitos términos de exponente

negativo en su desarrollo, por lo que el cálculo del residuo exige la determinación
directa del coeficiente del término de exponente -1. Necesariamente, por tanto, es
∞
preciso calcular en el desarrollo f ( z ) = ∑ a (z − z )
n = −∞
n 0
n
, el coeficiente a−1 .

Re s( f ( z ), z0 ) = a−1

c) En una singularidad no esencial (polo):

En este caso podemos utilizar una sencilla fórmula que nos permite calcular
mediante un límite, el coeficiente a−1 del desarrollo de Laurent. Sea f (z ) una
función que tiene una singularidad no esencial, un polo de orden h, en el punto z0 .
Se puede expresar en la forma
g ( z)
f ( z) =
( z − z0 ) h

donde la función g (z ) es holomorfa en un entorno de z0 y h es la multiplicidad del

polo.

Como es g (z ) holomorfa, puede desarrollarse en serie de Taylor en un entorno de

la singularidad
∞
g k ) ( z0 )
g ( z) = ∑ ( z − z0 ) k
k =0 k!
siendo, entonces
g ( z) ∞
g k ) ( z0 )
f ( z) =
( z − z0 ) h
= ∑
k =0 k!
( z − z0 ) k − h

y la integral
∞
g k ) ( z0 ) ∞
g k ) ( z0 )
∫ f ( z )dz = ∫ ∑ ( z − z 0 ) k − h .dz = ∑ ∫ ( z − z 0 ) k − h .dz
C C k =0
k! k =0 k! C

y como el desarrollo es nulo, salvo para k − h = −1 , se tiene:

3
Integración en variable compleja. Método de los residuos Carlos S. Chinea

g h −1) ( z0 ) g h −1) ( z0 )
∫ (h − 1)! C∫
2πi
−1
f ( z )dz = ( z − z 0 ) .dz =
C
(h − 1)!
en definitiva:

∫ f ( z)dz = a
C
−1 2πi
 g h −1) ( z0 ) 1 d h −1 1 d h −1
h −1)
g ( z0 )  → a −1 = = lim h −1
g ( z ) = lim h −1
( z − z0 ) h f ( z )
(h − 1)! 0 ( h − 1)! dz 0 ( h − 1)! dz
∫
→ →
2πi 
z z z z
f ( z )dz =
C
(h − 1)! 

es decir, el residuo correspondiente a un polo de orden h de la función f (z ) en el

punto z0 es:
1 d h −1
Re s ( f ( z ), z 0 ) = lim ( z − z0 ) h f ( z )
z → z 0 ( h − 1)! dz h −1

Ejemplos:

Ejemplo de cálculo de residuos en una singularidad evitable:

senz
La función f ( z) = presenta una singularidad en z = 0 . Como también es
z
senz = 0 , se da la conocida indeterminación 0 / 0 que acostumbramos a resolver
mediante la regla de L’Hôpital:
d
senz
senz cos z
lim = lim dz = lim = cos 0 = 1
z →0 z z →0 d z →0 1
z
dz
Por tanto, tiene límite 1. O sea, en z = 0 aparece una singularidad en la que la
función f (z ) tiene límite. Esto quiere decir que se trata de una singularidad
evitable y, por consiguiente, al tener desarrollo en serie de Taylor, tiene todos los
términos con exponente no negativo. Es decir, el residuo a−1 , que correspondería al
exponente -1, es nulo:

Re s ( f ( z ),0) = 0

Ejemplo de cálculo de residuos en una singularidad esencial:

Sea la función f ( z ) = e
1/ z
(exponencial de exponente 1/z).
Presenta el problema de que para z → 0 la función se hace infinita. Para ver que su
desarrollo en serie tiene infinitos términos de exponente negativo, veamos el
z
desarrollo de Taylor de e :
∞ ∞
e0 1
e = ∑ ( z − 0) n = ∑ z n
z

n ≥ 0 n! n ≥ 0 n!
1/ z
Veamos lo mismo para e :
∞ n
∞
1 1 1 1
e z
= ∑   =∑ z − n
n ≥ 0 n!  z  n ≥ 0 n!
El residuo correspondería al coeficiente del término de exponente -1, es decir, al
1
término que se obtiene para n=1: a−1 = = 1 . Por tanto:
1!

4
Integración en variable compleja. Método de los residuos Carlos S. Chinea

Re s ( f ( z ),0) = 1

Ejemplo de cálculo de residuos en una singularidad no esencial:

z2
Podemos considerar la función f ( z) = , que nos presenta un polo
( z − 1)( z + 3) 2
simple en z=1 y un polo doble en z=-3.

Residuos:
1 d 1−1 z2 z2
Re s ( f ( z ),1) = lim ( z − 1)1
= lim = 1 16
z →1 (1 − 1)! dz 1−1 ( z − 1)( z + 3) 2 z →1 ( z + 3) 2
1 d 2 −1 z2 d z2
Re s ( f ( z ),−3) = lim ( z + 3) 2
= lim = 15 16
z → −3 ( 2 − 1)! dz 2 −1 ( z − 1)( z + 3) 2 z → −3 dz ( z − 1)

3. Integrales:

Para un circuito simple γ que encierra un conjunto de singularidades

aisladas, z1 ,..., zn , se verifica que
n

∫γ f ( z ).dz = 2πi ∑ a−j1

j =1
1 n
donde son a ,..., a los residuos correspondientes a las n singularidades aisladas
−1 −1
encerradas por el contorno.

Ejemplos elementales:

senz
- En el disco z ≤ 1 es ∫
C
z
dz = 0, siC : z = 1, pues la función es holomorfa en el

disco z ≤ 1 , y por tanto la curva C no encierra ninguna singularidad.

1
- En el disco z ≤ 2 es ∫ e z dz = 2πi,siC : z = 1, pues en el disco z ≤ 2 la función
C
tiene una singularidad esencial en z = 0 de residuo 1.

1
- En el dominio anular 1 2 ≤ z ≤ 3 es ∫e
C
z
dz = 0, siC : z = 1 , pues en tal dominio

anular la curva C no encierra ninguna singularidad.

z2 1 π 3
- En el disco z ≤ 2 es ∫C ( z − 1)( z + 3) 2 dz = 2πi 16 = 8 i , siC : z = 2 , pues en tal
disco la curva C solamente encierra la singularidad z = 1 de residuo 1 16 .

5
Integración en variable compleja. Método de los residuos Carlos S. Chinea

z2  1 15 
- En el disco z ≤ 5 es ∫C ( z − 1)( z + 3)2 dz = 2πi 16 + 16  = 2πi , si C : z = 4 , pues en
tal disco la curva C encierra las singularidades aisladas z = 1 y z = − 3 , de residuos
1 15
respectivos y .
16 16
Otros ejemplos:

1_ Usando el método de los residuos, calcular

2π

∫ cos φ .dφ
2n

0
para actuar como en los ejemplos elementales anteriores, introduzcamos la
variable compleja z:
iφ
llamando z = e , es dz = ie dφ = izdφ → dφ =
iφ 1
iz
1
( 1 1
dz , y cos φ = e iφ + e −iφ =  z + 
2 2 z
)
2n
1  1
por tanto cos φ = 2 n  z +  y resulta que siendo C : z = 1 se tiene:
2n

2  z
2π
1  1 1
2n
1 (z 2
+1) 2n

∫0 cos φ.dφ = C∫ 22n  z + z  iz dz = i22n ∫

2n
dz
C
z 2 n+1
y la función presenta en el origen un polo de orden 2n+1.
Debido a la complejidad del orden del polo en el origen, no utilizaremos la fórmula
del residuo como limite de la derivada de orden 2n, sino que determinaremos
elementalmente el coeficiente de z-1 usando el desarrollo del binomio de Newton:
2n h
1  1 1 1 2 n  2n  2 n − h  1  1 1 2 n  2n  2( n − h ) −1
2n ∑  2n ∑ 
2n  z +  =  
 z   =   z , el coeficiente de z-1
i2  z  z i 2 h =0   h h
 z  z i 2 h =0  
exige que 2( n − h ) − 1 = −1 → n = h , por lo que el término sería
1  2n  1  2n  1 (2n)! 1 (2n)!
a−1 z −1 = 2 n   z −1 → a−1 = 2 n   = 2 n =
i2  n  i 2  n  i 2 n!.n! i (2 n n!) 2
Resultado el valor de la integral:
2π 2n
1  1 1 1 ( 2n)! ( 2n)!
∫0 cos φ .dφ = C∫ 2 2 n  z + z  iz dz = 2πi.a−1 = 2πi i (2 n n!) 2 = 2π (2 n n!) 2
2n

2_ Calcular
ez
∫ ( z − 1)( z + 3) 2 dz
C

a) Cuando es C : z = 3 / 2 .

b) Cuando es C : z = 10 .
Las singularidades aisladas son z = 1 (polo simple) y z = − 3 (polo doble).
Veamos los residuos aplicando la fórmula del limite:
ez ez 1
a = lim ( z − 1)
1
−1 = lim = e
z →1 ( z − 1)( z + 3) 2 z →1 ( z + 3) 2
16
d ez d ez ez (z−1) − ez 5
a = lim (z+ 3)
2
−1
2
2
= lim = lim 2
= − e−3
z→−3 dz (z−1)(z+ 3) z→−3 dz (z−1) z→−3 (z−1) 16

6
Integración en variable compleja. Método de los residuos Carlos S. Chinea

a) Si es C : z = 3 / 2 , el contorno donde está definida la integral es una

circunferencia de radio 3/2 y centrada en el origen, que rodea solamente al polo
simple z=1, por tanto:
ez 1 πie
∫C ( z − 1)( z + 3) 2 dz = 2πi.a−1 = 2πi. 16 e = 8
1

b) Si es C : z = 10 , el contorno es ahora una circunferencia de radio 10 y centrada

en el origen, rodeando ahora a ambos polos de la función, por lo que es
ez 1 5 −3  πi  5
∫C ( z − 1)( z + 3)2 dz = 2πi.(a−1 + a−1 ) = 2πi. 16 e − 16 e  = 8  e − e3 
1 2

Dejamos al lector el cálculo de la siguiente integral, de la que mostramos la

solución
2π
dθ
∫0 a + b.senθ , siendo a > b > 0,a.b > 0
2 2

2π
Solución:
a2 − b2

4. Aplicación del método de los residuos al cálculo de integrales impropias:

+∞ +∞
Cuando hemos de calcular integrales impropias tales como ∫o
f ( x).dx , ∫
−∞
f ( x).dx ,
0
∫−∞
f ( x).dx , …, podemos realizar el tratamiento consistente en considerar el
intervalo real de integración como parte de un contorno, de forma que podamos
establecer que la suma de las integrales a lo largo de los tramos del circuito es la
integral de contorno total, calculable mediante el método de los residuos.

Ejemplos:

Podemos considerar el circuito C que se

muestra en esta figura constituido por
dos ramas o caminos: el camino curvo,
semicircunferencia Γ , y el camino
rectilíneo, que va desde el punto –R
hasta el punto R, dentro de la recta real.

Si consideramos la integral de contorno a

lo largo del circuito, podemos realizar la
descomposición siguiente, integrando,
como siempre, en sentido antihorario:
R

∫ f ( z ).dz = ∫ f ( z )dz + ∫ f ( x)dx

C Γ −R

donde el circuito C rodea las singularidades aisladas que puedan figurar en su

interior.

7
Integración en variable compleja. Método de los residuos Carlos S. Chinea

o bien:
R

∫ f ( x)dx = ∫ f ( z).dz − ∫ f ( z)dz

−R C Γ

y si tomamos el límite para R → ∞ :

+∞ R

∫
−∞
f ( x)dx = lim
R →∞ ∫ f ( x)dx = lim ∫ f ( z ).dz − lim ∫ f ( z )dz
−R
R →∞
C
R →∞
Γ

y el circuito encerraría ahora todas las singularidades aisladas que hubiera en todo
el semiplano superior.

Asimismo, podemos expresar, si la función f (x ) fuera par:

+∞ R
2 ∫ f ( x)dx = lim ∫ f ( x)dx = lim ∫ f ( z ).dz − lim ∫ f ( z )dz
R →∞ R →∞ R →∞
0 −R C Γ

con lo que
+∞
1 1
∫ f ( x)dx = 2 lim ∫ f ( z ).dz − 2 lim ∫ f ( z )dz
0
R →∞
C
R →∞
Γ

En definitiva, el cálculo de la integral impropia, requiere determinar la integral de

contorno a lo largo del circuito mediante el método de los residuos, y la integral a
lo largo del camino constituido por la semicircunferencia usando algún
procedimiento que dependa de la función que se integra (acotación, discontinuidad,
etc.). Para este último paso resulta útil el siguiente teorema de acotación.

Teorema:
Siendo M y k constantes reales tales que M > 0 y k > 1 , se verifica que si en la
M
semicircunferencia Γ de radio R es f ( z ) ≤ k , entonces lim ∫ f ( z )dz = 0 .
R R →∞
Γ
Demostración:
π
M M M
Para z = R.e iθ , ∫ f ( z )dz ≤ ∫ f ( z ) dz ≤ ∫ k i Reiθ dθ = k R ∫ dθ = π k −1
Γ Γ Γ
R R 0 R
de lo cual
M
lim ∫ f ( z )dz ≤ lim π k −1 = 0
R →∞
Γ
R →∞ R
por tanto:

lim ∫ f ( z )dz = 0 → lim ∫ f ( z )dz = 0

R →∞ R →∞
Γ Γ

Ejemplo de integración de una función par sobre el eje real en el que aplicamos el
teorema anterior. Cálculo de la integral
∞
dx
∫x
0
4
+1
Comprobamos en primer lugar que está acotada sobre la semicircunferencia Γ:

8
Integración en variable compleja. Método de los residuos Carlos S. Chinea

1 1 1 1 1 2
z = R.e iθ → f ( z ) = = iθ 4
≤ 4 i 4θ ≤ 4 i 4θ = 4 ≤ 4
z + 1 ( R.e ) + 1 R .e − 1 R .e − 1 R − 1 R
4

1
Determinamos las singularidades de la función f ( z ) = :
z +1
4

π π π π
i 3 i 5 i 7 i
z 4 + 1 = 0 → z 4 = −1 → z1 = e 4 ,z 2 = e 4
,z3 = e 4
,z 4 = e 4

son polos simples, de los cuales

solamente los dos primeros quedan
rodeados por el circuito (están en el
semiplano superior).

Residuos de los dos primeros polos:

1  1  1
3
1 − 4 πi
a = lim (z − z1 ) 4
1
= lim  = = e
z + 1 z → z1  z 3 + z1 z 2 + z12 z + z13  4 z13 4
−1
z → z1

1  1  1
9
1 − 4 πi
a−21 = lim (z − z 2 ) = lim   = = e
z → z2 z 4 + 1 z → z1  z 3 + z 2 z 2 + z 22 z + z 23  4 z 23 4
Calculo de la integral:
∞ ∞
dx 1 dx
Por ser la integral de una función par, puede expresarse como ∫0 x 4 + 1 = 2 −∫∞ x 4 + 1 :
∞ R
dx dx 1 dx 1 dx 1 dx 1 dx
∫ = lim ∫ 4 = lim ∫ − lim ∫ 4 = lim ∫
x +1 R→∞ 0 x +1 2 R→∞ C z +1 2 R→∞ Γ z +1 2 R→∞ C z +1
4 4 4
− 0 = lim ∫
2 R→∞ C z +1
4
=
0

π
1 1  1 − 3 πi 1 − 9 πi  1 i  1 − πi
3
1 − 9 πi 
= 2πi(a1−1 + a−21 ) = 2πi e 4 + e 4  = 2πe 2  e 4 + e 4  =
2 2 4 4  2 4 4 
π 11
− πi 1 − 74πi  π   π   π     7π   7π  
=  e + e  =  cos −  + isen −   +  cos −
 4
 + isen −   =
44 4  4   4   4    4   4  
π  2 2  2 2  π
=  −i + + i  = 2
4  2 2   2 2  4

En este otro ejemplo podemos acotar rápidamente la integral sobre el tramo de la

semicircunferencia Γ :
Sea el calculo de la integral
+∞
dx
∫ (x
−∞
2
+ 1)
2

Se tiene:

9
Integración en variable compleja. Método de los residuos Carlos S. Chinea

+∞ +R
dx dx dz dz
∫ (x
−∞
2
+ 1)
2
= lim ∫
R →∞
−R (x 2
+ 1)
2
= lim ∫
R →∞
C (z 2
+ 1)
2
− lim ∫
R →∞
Γ (z 2
+ 1)
2

Veamos que se anula la integral sobre la semicircunferencia Γ :

π π π
dz Rieiθ dθ Rieiθ dθ Rieiθ
∫ (z
Γ +1 2
)
2
=
0 Re
∫ ((
i 2θ
+1 0 Rei 2θ + 1) ) 0
2
≤∫
((
Rei 2θ − 1 ) ) 2
≤∫
(( ) ) 2
dθ ≤

R dz
≤ 2 π → 0 para R → ∞ . Luego lim ∫ = 0.
( R − 1) 2 R → ∞
Γ (z 2
+ 1)2

y finalizamos el cálculo:
+∞
dx dz
∫ (x
−∞
2
+ 1)
2
= lim ∫
R →∞
C (z 2
+ 1)
2

Singularidades:
 z = i (doble)
( z 2 + 1) 2 = 0 → (( z − i )( z + i ) ) = 0 → 
2

 z = −i(doble)
De ampos polos, solo el primero está dentro del recinto rodeado por el circuito.

Calculemos el residuo:
d  1   
 = lim d  1  = lim − 2 = − 1 i
a1−1 = lim ( z − i) 2
z →i dz  2
( 
) 2 
z 2 + 1  z →i dz  ( z + i )  z →i ( z + i )
3
4

+∞
dx dz 1 π
Finalmente:
−∞
∫ (x 2
+ 1)
2
= lim ∫
R →∞
C (z + 1)
2
= 2πi (− i ) =
4 2
2

5. Bibliografía

Ahlfors, L. V.; Análisis de variable compleja, McGraw-Hill, New York 1979.

Apostol, T.M.; Análisis Matemático, Editorial Reverté, Barcelona, 1986
Caratheodory; Theory of functions of a complex variable, Chelsea, 2001.
Cartan, H.; Teoría elemental de las funciones analíticas de una y varias variables
complejas, Madrid, Selecciones Científicas, 1968.
Chinea, C.S.: Sobre el teorema de la Integral de Cauchy-Goursat.
Chinea, C.S.: La Fórmula de la Integral de Cauchy.
Chinea, C.S.: Variable Compleja. Holomorfía y analiticidad.
Chinea, C.S.: Serie de Laurent. Singularidades.
Copson, E. T.: An introduction to the theory of functions of a complex variable,
Oxford University Press, 1970.
Goursat, E.; Cours d’analyse Mathematique, Gauthier Villars, Imprimeur Libraire,
1905, Paris.
Markushevich, A. I; Teoría de las funciones analíticas, Editorial Mir: Moscú 1970.
Philips, E. G.; Funciones de una variable compleja, Dossat, Madrid, 1963.

10