Integraci on por residuos

En el captulo anterior vimos que si una funci on, f(z), tiene una singularidad
aislada en z = a, entonces puede expresarse mediante la serie de Laurent
f(z) =

n=
c
n
(z a)
n
, 0 < |z a| < R.
Si es un contorno cerrado simple orientado positivamente que rodea el punto
z = a, entonces, seg un el teorema de Laurent,
_

f(z) dz = 2ic
1
.
El n umero complejo c
1
, coeciente del t ermino 1/(z a) de la serie de Laurent
de f(z), recibe el nombre de residuo de f(z) en z = a, y suele denotarse
c
1
= Res
_
f(z), a
_
.
Queda muy claro de la denici on el papel relevante que este n umero desempe na
en la teora de la integraci on. Adem as, proporciona un m etodo alternativo para
realizar las integrales, ya que hay varias formas de obtener el coeciente c
1
de la
serie de Laurent de f(z), aparte de la denici on.
92 6 Integraci on por residuos
Ejemplo 6.1. Calcula la integral
_
|z|=2
e
z
(z 1)
2
dz, donde la circunferencia est a orientada positiva-
mente.
Si escribimos
e
z
= e
1
e
(z1)
= e
1

n=0
(1)
n
n!
(z 1)
n
,
es evidente que
e
z
(z 1)
2
=

n=2
(1)
n
e
1
(n + 2)!
(z 1)
n
,
con lo que
Res
_
e
z
(z 1)
2
, 1
_
= c
1
= e
1
.
En consecuencia,
_
|z|=2
e
z
(z 1)
2
dz =
2i
e
.
6.1. Teorema de los residuos
El resultado del ejemplo 6.1 es generalizable a funciones con un n umero nito
de singularidades en el interior del contorno de integraci on. Dicha generalizaci on
se conoce como teorema de los residuos.
Teorema 6.1 (de los residuos). Sea un contorno cerrado simple orientado posi-
tivamente, y sea f(z) una funci on analtica sobre y el interior de , a excepci on
de un conjunto nito de puntos singulares z
1
, . . . , z
n
del interior de . Entonces,
_

f(z) dz = 2i
n

k=1
Res
_
f(z), z
k
_
.
Dem.: Construyamos circunferencias C
k
alrededor de los puntos z
k
, orientadas
positivamente y con un radio lo bastante peque no como para que (a) queden total-
mente en el interior de , y (b) la intersecci on entre cualesquiera dos de ellas sea
vaca. Entonces aplicamos el teorema de Cauchy-Goursat para dominios m ultiple-
mente conexos:
_

f(z) dz =
n

k=1
_
C
k
f(z) dz.
Como dentro de cada C
k
s olo hay una singularidad,
_
C
k
f(z) dz = 2i Res
_
f(z), z
k
_
,
6.1 Teorema de los residuos 93
y eso demuestra la f ormula.
Ejemplos 6.2.
(1) Calcula
_
|z|=2
5z 2
z(z 1)
dz, donde la circunferencia est a orientada positivamente.
El integrando tiene dos polos: en z = 0 y en z = 1, ambos dentro del contorno. Denotemos
R
0
= Res
_
f(z), 0
_
y R
1
= Res
_
f(z), 0
_
. Para hallar R
0
hagamos un desarrollo de Laurent
en 0 < |z| < 1:
5z 2
z(z 1)
=
_
5
2
z
__
1
1 z
_
=
_
2
z
5
_

n=0
z
n
=

n=0
2z
n1

n=0
5z
n
=

n=1
2z
n

n=0
5z
n
=
2
z
+

n=0
(2 5)z
n
=
2
z
3

n=0
z
n
,
de donde R
0
= 2.
Para hallar R
1
hacemos un desarrollo de Laurent en 0 < |z 1| < 1:
5z 2
z(z 1)
=
_
5(z 1) + 3
z 1
__
1
1 + (z 1)
_
=
_
5 +
3
z 1
_

n=0
(1)
n
(z 1)
n
=

n=0
5(1)
n
(z 1)
n
+

n=0
3(1)
n
(z 1)
n1
=

n=0
5(1)
n
(z 1)
n
+

n=1
3(1)
n+1
(z 1)
n
=
3
z 1
+

n=0
(1)
n
(5 3)z
n
=
3
z 1
+ 2

n=0
(1)
n
z
n
,
luego R
1
= 3. As pues,
_
|z|=2
5z 2
z(z 1)
dz = 2i(R
0
+ R
1
) = 10i.
(2) Calcula
_
|z|=1/2
1
z
2
f
_
1
z
_
dz, siendo f(z) el integrando del ejemplo anterior.
Como
1
z
2
f
_
1
z
_
=
5 2z
z(1 z)
,
dentro de la curva s olo est a el polo z = 0. Para 0 < |z| < 1 tenemos el desarrollo de Laurent,
5 2z
z(1 z)
=
_
5 2z
z
__
1
1 z
_
=
_
5
z
2
_

n=0
z
n
=

n=0
5z
n1

n=0
2z
n
=

n=1
5z
n

n=0
2z
n
=
5
z
+ 3

n=0
z
n
,
94 6 Integraci on por residuos
luego
Res
_
1
z
2
f
_
1
z
_
, 0
_
= 5;
por tanto,
_
|z|=1/2
1
z
2
f
_
1
z
_
dz = 10i.
La raz on de que el resultado de esta integral coincida con el del ejemplo anterior se ver a m as
adelante.
6.2. Residuos en los polos
Supongamos que la funci on meromorfa f(z) tiene un polo de orden p en z = a.
Entonces, existir a una funci on, g(z), analtica en a, tal que
f(z) =
g(z)
(z a)
p
, g(a) = 0.
En un entorno de a,
g(z) =

n=0
g
(n)
(a)
n!
(z a)
n
,
luego
f(z) =
g(a)
(z a)
p
+
g

(a)
(z a)
p1
+ +
g
(p1)
(a)
(p 1)!
1
z a
+
g
(p)
(a)
p!
+
g
(p+1)
(a)
(p + 1)!
(z a) +
y, por tanto,
Res
_
f(z), a
_
=
g
(p1)
(a)
(p 1)!
.
Como g(z) = (z a)
p
f(z), podemos escribir la f ormula
Res
_
f(z), a
_
=
1
(p 1)!
lm
za
d
p1
dz
p1
_
(z a)
p
f(z)
_
,
que para el caso de un polo simple (p = 1) se reduce a
Res
_
f(z), a
_
= lm
za
_
(z a)f(z)
_
.
Como puede intuirse por el procedimiento que hemos seguido para obtener esta
f ormula, no hay ninguna f ormula similar v alida para singularidades esenciales.
6.2 Residuos en los polos 95
Ejemplos 6.3.
(1) Consideremos la funci on
f(z) =
z + 1
z
2
+ 9
.
Esta funci on tiene polos simples en z = 3i, ya que z
2
+ 9 = (z 3i)(z + 3i). Entonces,
f(z) =
g(z)
z 3i
, g(z) =
z + 1
z + 3i
,
y adem as,
g(3i) =
3i + 1
6i
=
3 i
6
= 0,
por lo tanto,
Res
_
f(z), 3i
_
= g(3i) =
3 i
6
.
Para el polo z = 3i se procede igual y se obtiene
Res
_
f(z), 3i
_
= h(3i) =
3 + i
6
, h(z) =
z + 1
z 3i
.
(2) Consideremos la funci on
f(z) =
z
3
+ 2z
(z i)
3
.
Esta funci on tiene un polo de orden 3 en z = i. Como
d
2
dz
2
_
(z i)
3
f(z)
_
= (z
3
+ 2z)

= 6z,
obtendremos
Res
_
f(z), i
_
=
6i
2!
= 3i.
(3) A veces no es evidente el orden de un polo. Consideremos la funci on
f(z) =
senh z
z
4
.
Esta funci on parece tener un polo de orden 4 en z = 0; sin embargo, si escribimos
f(z) =
g(z)
z
4
, g(z) = senh z,
comprobaremos que g(0) = senh 0 = 0, luego el polo no es de orden 4. Para averiguar
correctamente el orden desarrollamos en serie senh z alrededor de z = 0:
senh z = z +
z
3
6
+ = z
_
1 +
z
2
6
+
_
= z(z),
donde (0) = 1 = 0. As que
f(z) =
(z)
z
3
96 6 Integraci on por residuos
y entonces queda claro que el polo es de orden 3. Para calcular el residuo podemos aplicar
la f ormula,
Res
_
f(z), 0
_
=

(0)
2!
=
1/3
2
=
1
6
,
o bien escribir la serie de Laurent (al menos hasta el t ermino z
1
),
f(z) =
1
z
3
_
1 +
z
2
6
+
_
=
1
z
3
+
1
6
1
z
+ ,
de donde
Res
_
f(z), 0
_
= c
1
=
1
6
.
(4) Otro ejemplo en que el orden del polo no es evidente es
f(z) =
1
z(e
z
1)
.
En z = 0 hay un polo, pero no es simple, porque si escribimos f(z) = g(z)/z, la funci on
g(z) tiene un polo en z = 0. En este caso partimos de
e
z
= 1 + z +
z
2
2
+
z
3
6
+ ,
de donde
e
z
1 = z +
z
2
2
+ = z
_
1 +
z
2
+
z
2
6
+
_
,
y por tanto,
f(z) =
g(z)
z
2
, g(z) =
1
1 +
z
2
+
z
2
6
+
,
que es correcta porque g(0) = 1 = 0. Se trata, pues, de un polo de orden 2. En cuanto al
residuo, como
g

(z) =
1
2
+
z
3
+
_
1 +
z
2
+
z
2
6
+
_
2
= g

(0) =
1
2
,
empleando la f ormula
Res
_
f(z), 0
_
= g

(0) =
1
2
.
(5) Consideremos ahora la funci on
cotan z =
cos z
sen z
.
Esta funci on tiene polos en z = n, para todo n N. La funci on tiene la forma
f(z) =
g(z)
h(z)
,
6.3 Residuos en el innito 97
donde en cualquiera de los polos z
n
= n se verica g(z
n
) = 0, h(z
n
) = 0, h

(z
n
) = 0. En
ese caso,
h(z) = (zz
n
)h

(z
n
)+
h

(z
n
)
2
(zz
n
)
2
+ = (zz
n
)
_
h

(z
n
) +
h

(z
n
)
2
(z z
n
) +
_
,
luego f(z) tiene un polo simple en cada z
n
y adem as
Res
_
f(z), z
n
_
=
g(z
n
)
h

(z
n
)
.
En nuestro caso, g(z) = h

(z) = cos z, luego

Res
_
cotan z, n
_
= 1.
(6) La funci on
f(z) =
z
z
4
+ 4
tiene polos simples en las cuatro races de z
4
+4, que son z
1
=

2e
i/4
= 1+i, z
2
= 1+i,
z
3
= 1 i y z
4
= 1 i. Llamando g(z) = z y h(z) = z
4
+ 1, con lo que h

(z) = 4z
3
,
resulta que g(z
k
) = z
k
y h

(z
k
) = 4z
3
k
= 0. Entonces, seg un el ejemplo anterior
Res
_
f(z), z
k
_
=
g(z
k
)
h

(z
k
)
=
1
4z
2
k
= (1)
k
i
8
, k = 1, 2, 3, 4.
6.3. Residuos en el innito
Vamos a descubrir la raz on por la que el resultado del ejemplo 6.2 (2) coincida
con el del ejemplo 6.2 (1). En el captulo 5 denimos singularidades en el innito
de f(z) como las singularidades en 0 de f(1/z). Del mismo modo denimos el
residuo de f(z) en el innito como
Res
_
f(z), ) = Res
_
1
z
2
f
_
1
z
_
, 0
_
.
La raz on ser a evidente cuando veamos el correspondiente teorema de los residuos
incluyendo el innito. El siguiente lema da una pista de por d onde van los tiros:
Lema 6.1. Sea f(z) una funci on analtica en el dominio , que contiene la cir-
cunferencia C
R
, dada por z() = Re
i
, 0 2, y su exterior. Entonces,
_
C
R
f(z) dz = 2i Res(f, ).
98 6 Integraci on por residuos
Dem.: Sea r = 1/R y denotemos C
r
la circunferencia dada por z() = re
i
,
0 2. Si z est a en el interior de C
r
, entonces 1/z est a en el exterior de
C
R
, de manera que la funci on g(z) = z
2
f(1/z) es analtica en el interior de C
r
excepto en el origen. Entonces,
_
C
R
f(z) dz =
_
2
0
f
_
Re
i
_
iRe
i
d =
_
2
0
f
_
1
re
i
_
i
re
i
d
=
_
2
0
f
_
1
re
i(2)
_
i
re
i(2)
d =
_
2
0
f
_
1
re
i
_
i
re
i
d
=
_
2
0
f
_
1
re
i
_
ire
i
(re
i
)
2
d =
_
C
r
f
_
1
z
_
dz
z
2
= 2i Res
_
1
z
2
f
_
1
z
_
, 0
_
= 2i Res
_
f(z), ).
Aunque resulte extra na la inclusi on del signo menos en la denici on del residuo
en el innito, vamos a ver en seguida por qu e se hace as.
Teorema 6.2. Sea un contorno cerrado simple orientado positivamente y su-
pongamos que f(z) es una funci on analtica en un dominio que contiene y su
exterior, excepto en un conjunto nito de singularidades, z
1
, . . . , z
n
, situadas en el
exterior de . Entonces, denotando, z
0
= ,
_

f(z) dz = 2i
n

k=0
Res
_
f(z), z
k
_
.
Dem.: Construyamos la circunferencia C
R
centrada en el origen, orientada ne-
gativamente y de radio R lo sucientemente grande como para que no haya singu-
laridades en su exterior y quede en su interior. Conectando la circunferencia con
mediante el contorno , que no cruza ninguna singularidad, construimos el con-
torno cerrado simple = C
R
+ + , que est a, en consecuencia, orientado
negativamente, y que contiene las singularidades z
1
, . . . , z
n
en su interior.
Por el teorema de los residuos,
_

f(z) dz = 2i
n

k=1
Res
_
f(z), z
k
_
;
6.3 Residuos en el innito 99
por otro lado,
_

f(z) dz =
_
C
R
f(z) dz +
_

f(z) dz
= 2i Res
_
f(z),
_
+
_

f(z) dz,
usando el resultado del lema. Uniendo ambos resultados se obtiene nalmente la
f ormula del enunciado.
Ejemplos 6.4.
(1) Calculemos la integral (la orientaci on del contorno es positiva)
_
|z|=3
(z 1)
3
z(z + 2)
3
dz.
Como todos los polos del integrando est an en el interior del contorno, es preferible usar el
polo del innito. Calculemos, pues,
1
z
2
_
1
z
1
_
3
1
z
_
1
z
+ 2
_
3
=
(1 z)
3
z(1 + 2z)
3
.
Como esta funci on tiene un polo simple en z = 0, su residuo se calcula f acilmente como 1,
de modo que
_
|z|=3
(z 1)
3
z(z + 2)
3
dz = 2i.
(2) Vamos a demostrar, usando el residuo en el innito, que para todo polinomio de grado
n 2, P(z) = a
0
+ a
1
z + + a
n
z
n
(a
n
= 0), con races z
1
, . . . , z
n
,
n

k=1
Res
_
1
P(z)
, z
k
_
= 0.
Para ello construimos un contorno cerrado simple orientado positivamente y tal que todos
los ceros de P(z) caigan en su interior. Entonces, usando la versi on normal del teorema de
los residuos,
n

k=1
Res
_
1
P(z)
, z
k
_
=
1
2i
_

dz
P(z)
,
pero por la versi on con el polo del innito,
1
2i
_

dz
P(z)
= Res
_
1
P(z)
,
_
= Res
_
1
z
2
P(1/z)
, 0
_
.
100 6 Integraci on por residuos
Ahora bien,
P(1/z) =
1
z
n
(a
0
z
n
+ a
1
z
n1
+ + a
n1
z + a
n
),
luego
1
z
2
P(1/z)
=
z
n2
a
0
z
n
+ a
1
z
n1
+ + a
n1
z + a
n
.
Como a
n
= 0, si n 2 0 es evidente que
Res
_
1
z
2
P(1/z)
, 0
_
= 0.
6.4. C alculo de integrales reales mediante residuos
La aplicaci on m as importante del teorema de los residuos es el c alculo de cier-
tos tipos de integrales reales. La idea b asica es relacionar esas integrales reales
con otras integrales sobre un contorno cerrado en el plano complejo, evaluar esta
ultima mediante residuos y utilizar el resultado para deducir el valor de la primera.
Aunque el m etodo es general y aplicable a situaciones m as complicadas, vamos a
seleccionar aqu algunos tipos de integrales a los que se puede aplicar la t ecnica
con exito.
6.4.1. Integrales de funciones de senos y cosenos
Consideremos la integral
I =
_
2
0
F(sen , cos ) d,
donde F(x, y) es cualquier funci on real de dos variables tal que el integrando sea
una funci on continua de en [0, 2]. La forma de la integral sugiere la parame-
trizaci on de la curva z() = e
i
, con 0 2, es decir, la circunferencia
unidad con orientaci on positiva C. Como z

() = iz(), sen = (z z
1
)/2i y
cos = (z + z
1
)/2,
I =
_
C
F
_
z z
1
2i
,
z + z
1
2
_
dz
iz
.
La condici on de que F(sen , cos ) sea continua en [0, 2] implica que el inte-
grando de esta integral de contorno no tiene singularidades sobre C, de modo que,
en principio, esta integral se puede hacer por residuos.
Ejemplos 6.5.
6.4 C alculo de integrales reales mediante residuos 101
(1) Calculemos la integral
I =
_
2
0
d
1 + a sen
, |a| < 1.
Aplicando la transformaci on a la circunferencia unidad,
I =
_
C
1
1 + a
_
z
2
1
2iz
_
dz
iz
=
_
C
2/a
z
2
+
2i
a
z 1
dz.
El denominador tiene dos races,
z

=
i
a
_
1

1 a
2
_
,
luego el integrando es de la forma
f(z) =
2/a
(z z
+
)(z z

)
.
Ahora bien,
|z
+
| 1 =
1
|a|
_
1 +

1 a
2
_
1 =
1 |a| +

1 a
2
|a|
=
_
1 |a|
|a|
_
_
1 |a| +
_
1 +|a|
_
> 0,
luego |z
+
| > 1 y, por tanto, z
+
est a en el exterior de C. Por otro lado, z
+
z

= 1, as que
|z

| < 1, lo que signica que z

est a en el interior de C. En consecuencia,

I = 2i Res
_
f(z), z

_
= 2i
2/a
(z

z
+
)
=
2

1 a
2
.
6.4.2. Integrales impropias de primera especie
Una integral impropia de primera especie de una funci on f(x), continua en
[a, ), se dene como
_

a
f(x) dx = lm
R
_
R
0
f(x) dx.
Si el lmite de la derecha existe se dice que la integral converge.
Si la funci on es continua en R se puede denir la integral impropia
_

f(x) dx =
_

0
f(x) dx +
_
0

f(x) dx.
102 6 Integraci on por residuos
Cuando existen las dos integrales de la derecha se dice que la de la izquierda
converge. Pero hay una denici on alternativa de esta integral que se conoce como
valor principal y que se dene mediante el lmite
V. P.
_

f(x) dx = lm
R
_
R
R
f(x) dx.
Cuando
_

f(x) dx converge, el valor principal coincide con ella; pero tambi en

hay funciones, como f(x) = x, para las que no existe la integral y s su valor
principal. Ahora bien, si f es par, es decir f(x) = f(x), entonces la integral en
[0, ) converge si y s olo si converge su valor principal, ya que
_
R
0
f(x) dx =
1
2
_
R
R
f(x) dx.
Ejemplo 6.6. Calculemos la integral
_

0
2x
2
1
x
4
+ 5x
2
+ 4
dx =
1
2
_

2x
2
1
x
4
+ 5x
2
+ 4
dx =
1
2
.
Para calcular la segunda integral notemos que la extensi on holomorfa del integrando al plano com-
plejo es la funci on
f(z) =
2z
2
1
z
4
+ 5z
2
+ 4
=
2z
2
1
(z
2
+ 1)(z
2
+ 4)
.
Esta funci on tiene polos simples en z = i y en z = 2i y es holomorfa en el resto de C.
Vamos a integrar la funci on sobre la curva
R
de la gura, formada por la semicircunferencia
C
R
centrada en el origen y situada en el semiplano superior, y el segmento [R, R].
C
R
R R
Los polos que caen en el interior de
R
son z = i y z = 2i, de modo que
_
R
R
f(x) dx +
_
C
R
f(z) dz = 2i
_
Res
_
f(z), i
_
+ Res
_
f(z), 2i
_
.
6.4 C alculo de integrales reales mediante residuos 103
Ahora,
Res
_
f(z), i
_
=
2z
2
1
(z + i)(z
2
+ 4)

z=i
=
1
2i
,
Res
_
f(z), i
_
=
2z
2
1
(z
2
+ 1)(z + 2i)

z=2i
=
3
4i
,
luego
_
R
R
f(x) dx +
_
C
R
f(z) dz = 2i
_

1
2i
+
3
4i
_
=

2
.
Entonces,
_

f(x) dx =

2
lm
R
_
C
R
f(z) dz.
Vamos a probar que el lmite de la derecha vale 0. Para ello vamos a acotar la integral. En primer
lugar, sobre C
R
,
|2z
2
1| 2|z|
2
+ 1 = 2R
2
+ 1,
|z
2
+ 1| |z|
2
1 = R
2
1,
|z
2
+ 4| |z|
2
4 = R
2
4,
luego
|f(z)|
2R
2
+ 1
(R
2
1)(R
2
4)
.
Por otro lado, L(C
R
) = R, por lo tanto,

_
C
R
f(z) dz

(2R
2
+ 1)R
(R
2
1)(R
2
4)

R
0.
El resultado nal es que
_

0
2x
2
1
x
4
+ 5x
2
+ 4
dx =

4
.
Podemos generalizar el ejemplo a un teorema que describa un caso muy gene-
ral:
Teorema 6.3. Sea f(z) analtica en un dominio que contiene el semiplano H
y el eje real, salvo un n umero nito de singularidades z
k
H, k = 1, . . . , n.
Supongamos que para |z| sucientemente grande, existe C R tal que
|f(z)|
C
|z|

, > 1.
Entonces,
104 6 Integraci on por residuos
(a) si H = {z C : Imz > 0} (semiplano superior)
V. P.
_

f(x) dx = 2i
n

k=1
Res
_
f(z), z
k
_
;
(b) si H = {z C : Imz < 0} (semiplano inferior)
V. P.
_

f(x) dx = 2i
n

k=1
Res
_
f(z), z
k
_
.
Dem.: (a) La demostraci on se hace construyendo un semicrculo, como en el
ejemplo, y tomando R . La condici on |f(z)| C/R

, con > 1,
asegura que para R sucientemente grande,

_
C
R
f(z) dz

CR
R

R
0.
(b) Se demuestra igual cerrando el semicrculo por abajo. Como eso cambia la
orientaci on del segmento [R, R], aparece un signo menos en la f ormula.
6.4.3. Integrales de tipo transformada de Fourier
El m etodo de los residuos permite hacer integrales del tipo
_

f(x) cos ax dx,

_

f(x) sen ax dx;

evidentemente, son la parte real e imaginaria de una integral de tipo transformada
de Fourier,
_

f(x)e
iax
dx,
y esta va a ser la integral que vamos a intentar resolver mendiante residuos.
Ejemplo 6.7. Calculemos la integral
I =
_

0
cos 3x
(x
2
+ 1)
2
dx.
Como el integrando es par,
I =
1
2
V. P.
_

e
i3x
(x
2
+ 1)
2
dx.
Denamos
f(z) =
1
(z
2
+ 1)
2
.
6.4 C alculo de integrales reales mediante residuos 105
La funci on f(z)e
i3z
es analtica en el eje real y en el semiplano superior, salvo en el punto z = i,
donde tiene un polo de orden 2. Entonces, tomando el contorno del ejemplo 6.6, si R es sucien-
temente grande (concretamente, si R > 1),
_
R
R
f(z)e
i3z
dz +
_
C
R
f(z)e
i3z
dz = 2i Res
_
f(z)e
i3z
, i
_
= 2i
d
dz
e
i3z
(z + i)
2

z=i
=
2
e
3
.
Ahora, sobre C
R
tenemos que |z
2
+ i| R
2
1, as que

_
C
R
f(z)e
i3z
dz

1
(R
2
1)
2

_
C
R
e
i3z
dz

.
Vamos ahora a probar que para todo a > 0,

_
C
R
e
iaz
dz

<

a
,
una desigualdad conocida como desigualdad de Jordan. Para ello escribimos
_
C
R
e
iaz
dz = iR
_

0
e
i+iaRcos aRsen
d,
con lo que

_
C
R
e
iaz
dz

R
_

0
e
aRsen
d = 2R
_
/2
0
e
aRsen
d.
Usando ahora la desigualdad sen 2/, v alida cuando 0 /2 debido a la concavidad de
la funci on sen ,
_
/2
0
e
aRsen
d
_
/2
0
e
2aR/
d =

2aR
_
1 e
aR
_
<

2aR
.
Sustituyendo en la ecuaci on anterior encontramos nalmente la desigualdad de Jordan. Con ella
podemos acotar

_
C
R
f(z)e
i3z
dz

3(R
2
1)
2

R
0,
por lo tanto,
V. P.
_

f(z)e
i3z
dz =
2
e
3
.
Podemos generalizar el ejemplo a un teorema que describa un caso muy gene-
ral:
Teorema 6.4. Sea f(z) analtica en un dominio que contiene el semiplano H
y el eje real, salvo un n umero nito de singularidades z
k
H, k = 1, . . . , n.
Supongamos que para |z| sucientemente grande, existe C R tal que
|f(z)|
C
|z|

, > 0.
Entonces,
106 6 Integraci on por residuos
(a) si a > 0 y H = {z C : Imz > 0} (semiplano superior)
V. P.
_

f(x)e
iax
dx = 2i
n

k=1
Res
_
f(z)e
iaz
, z
k
_
;
(b) si a < 0 y H = {z C : Imz < 0} (semiplano inferior)
V. P.
_

f(x)e
iax
dx = 2i
n

k=1
Res
_
f(z)e
iaz
, z
k
_
.
Dem.: (a) La demostraci on se hace construyendo un semicrculo, como en el
ejemplo, y tomando R . La condici on |f(z)| C/R

, con > 0,
asegura que para R sucientemente grande y empleando la desigualdad de
Jordan,

_
C
R
f(z)e
iaz
dz

C
aR

R
0.
(b) Se demuestra igual cerrando el semicrculo por abajo (en la cota de la integral
cambia a por |a|). Como eso cambia la orientaci on del segmento [R, R],
aparece un signo menos en la f ormula.
6.4.4. Integrales sobre cortes de ramicaci on
Vamos a analizar ahora casos de integrales impropias en los que al extender el
integrando al plano complejo, la funci on resultante tiene un corte. Empezaremos
por un ejemplo que ilustra el procedimiento.
Ejemplo 6.8. Vamos a calcular la integral
_

0
ln x
x
2
+ 4
dx;
para ello, consideraremos la integral
_

R
log z
z
2
+ 4
dz,
tomando el valor principal de log z, y
R
el circuito de la gura (la lnea discontinua marca el corte
del logaritmo).
6.4 C alculo de integrales reales mediante residuos 107

R
Como el integrando tiene dos polos simples en 2i, si R > 2,
_

R
log z
z
2
+ 4
dz = 2i Res
_
log z
z + 2i
, 2i
_
= 2i
log(2i)
4i
=

2
_
ln 2 + i

2
_
.
Vamos a descomponer
R
como

R
= C
R
+

+C

+ [, R],
donde C
R
es el arco de radio R, C

es el arco de radio y

el segmento rectilneo que une el punto

Re
i()
con e
i()
. Entonces,
_
C
R
log z
z
2
+ 4
dz +
_

log z
z
2
+ 4
dz +
_
C

log z
z
2
+ 4
dz +
_
R

log z
z
2
+ 4
dz =

2
_
ln 2 + i

2
_
.
Probaremos a continuaci on que las integrales sobre los dos arcos se anulan en los lmites R
y 0. Para ello, acotemos el integrando sobre C
R
:

log z
z
2
+ 4

ln R + i
R
2
e
i2
+ 4

ln R +
R
2
4
,
con lo cual

_
C
R
log z
z
2
+ 4
dz

( )R
ln R +
R
2
4

R
0
para cualquier valor de [0, ]. Ahora hacemos lo propio con el integrando sobre el arco C

log z
z
2
+ 4

ln + i

2
e
i2
+ 4

| ln | +
4
2
,
con lo cual

_
C

log z
z
2
+ 4
dz

( )
| ln | +
4
2

0
0.
En cuanto a la integral sobre

, parametrizando el segmento, con la orientaci on opuesta, como

z(t) = te
i()
,
_

log z
z
2
+ 4
dz = e
i()
_
R

ln t + i( )
t
2
e
i2()
+ 4
dt = e
i
_
R

ln t + i( )
t
2
e
i2
+ 4
dt;
108 6 Integraci on por residuos
tomando el lmite 0,
lm
0
_

log z
z
2
+ 4
dz =
_
R

ln t + i
t
2
+ 4
dt =
_
R

ln t
t
2
+ 4
dt + i
_
R

1
t
2
+ 4
dt.
Finalmente, tomando los lmites R y 0 simult aneamente, la integral se convierte en
_

0
ln t
t
2
+ 4
dt + i
_

0
1
t
2
+ 4
dt.
En cuanto a la integral sobre [, R], esta se convierte, en el lmite simult aneo R y 0,
en
_

0
ln x
x
2
+ 4
dx.
Juntando todos los resultados tenemos la ecuaci on
2
_

0
ln x
x
2
+ 4
dx + i
_

0
1
t
2
+ 4
dt =

2
_
ln 2 + i

2
_
,
de donde
_

0
ln x
x
2
+ 4
dx =

4
ln 2,
_

0
1
t
2
+ 4
dt =

4
.
Podemos generalizar el ejemplo a un teorema que describa un caso muy gene-
ral:
Teorema 6.5. Sea f(z) analtica en un dominio que contiene el semiplano H y el
eje real positivo, salvo un n umero nito de singularidades z
k
H, k = 1, . . . , n.
Supongamos que para |z| sucientemente grande, existe C R tal que
|f(z)|
C
|z|

, > 1,
y que para |z| sucientemente peque no existe C

tal que
|f(z)|
C

|z|

, < 1.
Entonces,
(a) si H = {z C : Imz > 0} (semiplano superior)
2
_

0
f(x) ln x dx + i
_

0
f(x) dx = 2i
n

k=1
Res
_
f(z) log z, z
k
_
;
6.4 C alculo de integrales reales mediante residuos 109
(b) H = {z C : Imz < 0} (semiplano inferior)
2
_

0
f(x) ln x dx i
_

0
f(x) dx = 2i
n

k=1
Res
_
f(z) log z, z
k
_
,
tomando el valor principal de log z.
Dem.: (a) La demostraci on se hace construyendo un contorno como el del ejem-
plo. La condici on
|f(z)|
C
|z|

, > 1,
garantiza que la integral sobre C
R
se anula en el lmite R , y la condici on
|f(z)|
C

|z|

, < 1,
garantiza que la integral sobre C

se anula en el lmite 0. Hay, no obs-

tante, un punto sutil: el lmite que se toma para 0. En rigor, para que el
razonamiento sea v alido, hay que demostrar que f
_
xe
i
_
converge unifor-
memente a f(x) para todo x R, como en efecto as es. Una alternativa
es construir un contorno s olo hasta /2 y luego otro desde /2 hasta , y en
este ultimo emplear la rama [0, 2) del logaritmo, cuyos valores coinciden con
los de la rama principal en el intervalo [0, ]. El resultado se obtiene sumando
los valores de las integrales sobre los dos contornos.
(b) Se construye la imagen especular del contorno en el semiplano negativo y se
razona de manera an aloga.
6.4.5. Integrales tipo transformada de Mellin
Se dene la transformada de Mellin de una funci on f(x) como la integral
_

0
x
w1
f(x) dx, w / Z,
donde w es un par ametro. Debido a la presencia de la potencia, al pasar al plano
complejo la funci on resultante tiene un corte. Veamos en un ejemplo c omo tratar
este caso.
Ejemplo 6.9. Vamos a calcular la integral
_

0
x
a
x + 1
dx, 0 < a < 1,
110 6 Integraci on por residuos
de particular importancia en el estudio de la funci on gamma de Euler.
1
Vamos a extender el integrando al plano complejo tomando la determinaci on [0, 2) de la
funci on z
a
(lo que sit ua el corte en el eje real positivo). Construyamos el circuito
R
de la gura,
que consta de

R
= C
R
+

+C

,
siendo C
R
el arco de radio R,

el segmento que une el punto Re

i(2)
con e
i(2)
, C

el arco
de radio y

el segmento que une el punto e

i
con Re
i
.

Si R > 1,
_

R
z
a
z + 1
dz = 2i Res
_
z
a
, 1
_
= 2ie
a log(1)
= 2ie
ia
;
entonces,
_
C
R
z
a
z + 1
dz +
_

z
a
z + 1
dz +
_
C

z
a
z + 1
dz +
_

z
a
z + 1
dz = 2ie
ia
.
Probaremos ahora que las integrales sobre los arcos se anulan. Sobre C
R
,

z
a
z + 1

e
a log z
z + 1

e
a(ln Ria
)
Re
i
+ 1

e
a ln R
R 1
=
R
a
R 1
,
por lo tanto, para todo ,

_
C
R
z
a
z + 1
dz

R
a
R 1
2( )R =
2( )R
1a
R 1

R
0.
1
Si partimos de la identidad de la funci on beta de Euler
B(p, q) =
_

0
x
q1
(1 + x)
p+q
dx, p, q > 0,
es evidente que la integral del ejemplo es B(a, 1 a) = (a)(1 a).
6.4 C alculo de integrales reales mediante residuos 111
Sobre C

z
a
z + 1

e
a(ln ia
)
e
i
+ 1

e
a ln
1
=

a
1
,
por lo tanto, para todo ,

_
C

z
a
z + 1
dz

a
1
2( ) =
2( )
1a
1

0
0.
Ahora consideraremos las integrales sobre los segmentos rectilneos:
_

z
a
z + 1
dz = e
i(2)
_
R

t
a
e
ia(2)
te
i(2)
+ 1
dt
0
e
i2a
_
R

t
a
t + 1
dt,
_

z
a
z + 1
dz = e
i
_
R

t
a
e
ia
te
i
+ 1
dt
0
_
R

t
a
t + 1
dt.
Juntando las integrales y tomando el lmite 0, R simulat aneamente,
_
1 e
i2a
_
_

0
t
a
t + 1
dt = 2ie
ia
,
y como 1 e
i2a
= 2ie
ia
sen a,
_

0
t
a
t + 1
dt =

sen a
.
Tambi en este ejemplo lo podemos generalizar a un teorema sobre las transfor-
madas de Mellin:
Teorema 6.6. Sea f(z) analtica en C salvo un n umero nito de singularidades
z
1
, . . . , z
n
, ninguna de las cuales cae en el eje real estrictamente positivo. Supon-
gamos que para |z| sucientemente grande, existe C R tal que
|f(z)|
C
|z|

, > w,
y que para |z| sucientemente peque no existe C

tal que
|f(z)|
C

|z|

, < w.
Entonces,
_

0
x
w1
f(x) dx =
e
iw
sen w
n

k=1, z
k
=0
Res
_
z
w1
f(z), z
k
_
,
donde la suma de los residuos excluye explcitamente el residuo en z
k
= 0, y
donde se toma para z
w1
la rama [0, 2).
112 6 Integraci on por residuos
Dem.: La demostraci on pasa por construir un circuito como el del ejemplo y ra-
zonar de manera an aloga. Las condiciones sobre |f(z)| aseguran que se anulan las
integrales sobre los arcos de circunferencia. Las consideraciones sobre el lmite
0 que se hicieron en el teorema 6.5 se aplican tambi en a este caso.
6.4.6. Polos en el eje real
En todos los casos anteriores hemos supuesto explcitamente que no hay polos
en el eje real. En realidad, la integral de una funci on que tiene un polo simple sobre
el eje real no converge, pero s lo hace su valor principal, y es ese n umero el que
vamos a calcular aqu. El valor principal est a relacionado con integrales impropias
convergentes; un ejemplo cl asico es la integral
_

sen x
x
dx,
que, como el integrando es par, se puede evaluar como
V. P.
_

ie
ix
x
dx,
ya que
V. P.
_

cos x
x
dx = 0
por ser impar el integrando.
Supongamos que en cualquiera de los casos estudiados en las secciones prece-
dentes, la funci on que se integra tiene un polo simple en el punto x
0
R. Esto
afecta a la integraci on sobre el segmento rectilneo que se encuentra sobre el eje
real. Denotemos ese segmento [a, b] y supongamos que x
0
(a, b). Para evitar
la singularidad tenemos que reemplazar el segmento por el contorno de la gura,
formado por
= [a, x
0
] +

+ [x
0
+ , b].
a x b
0

La integral sobre dicho contorno, , se descompone en

_

f(z) dz =
_
x
0

a
f(x) dx +
_

f(z) dz +
_
b
x
0
+
f(x) dx.
6.4 C alculo de integrales reales mediante residuos 113
Evidentemente,
lm
0
__
x
0

a
f(x) dx +
_
b
x
0
+
f(x) dx
_
= V. P.
_
b
a
f(x) dx,
de modo que s olo nos queda calcular
lm
0
_

f(z) dz.
Lema 6.2. Sea f(z) una funci on holomorfa en un entorno del punto z
0
salvo
en z
0
, donde tiene un polo simple. Sea

la porci on de arco de circunferencia

z() = z
0
+ e
i
, con . Entonces
lm
0
_

f(z) dz = ( )i Res
_
f(z), z
0
_
.
Dem.: Una funci on como la del enunciado es de la forma
f(z) =
b
1
z z
0
+ g(z),
donde g(z) es holomorfa en el entorno de z
0
. Por ser g holomorfa, est a acotada en
un entorno de z
0
, |g(z)| M, luego

g(z) dz

M( )
0
0.
En consecuencia,
_

f(z) dz = b
1
_

dz
z z
0
= b
1
i
_

e
i
e
i
d = b
1
i( ).
El resultado queda as probado porque b
1
es el residuo de f(z) en z
0
.
Volviendo a nuestro problema, con este resultado tenemos que
lm
0
_

f(z) dz = V. P.
_
b
a
f(x) dx i Res
_
f(z), x
0
_
,
es decir, en los teoremas de las secciones precedentes, si el integrando, f(x), tiene
polos simples x
1
, . . . , x
k
en el eje real, hay que reemplazar
_
b
a
f(x) dx V. P.
_
b
a
f(x) dx i
k

j=1
Res
_
f(z), x
j
_
en las f ormulas resultantes, si el arco alrededor de estos polos se toma por el
semiplano superior (si se toma por el semiplano inferior el signo es el opuesto).
114 6 Integraci on por residuos
Ejemplo 6.10. Vamos a calcular la integral
_

sen x
x
dx = i V. P.
_

e
ix
x
dx.
Como f(z) = 1/z verica las condiciones del teorema 6.4 y esta funci on no tiene m as que un polo
en z = 0,
V. P.
_

e
ix
x
dx = i Res
_
e
iz
, 0
_
= i,
luego
_

sen x
x
dx = .
6.4.7. M as sobre integrales de funciones multivaluadas
Vamos a ver algunos ejemplos m as de integrales de funciones que, extendidas
al plano complejo, presentan cortes donde no son analticas.
Ejemplos 6.11.
(1) Consideremos la integral
_

1
dx
x

x
2
1
dx.
Ninguno de los m etodos anteriores permite evaluar esta integral, pero las t ecnicas que vamos
a emplear son las mismas que las que hemos usado en los casos estudiados hasta ahora.
Si elegimos para

w la determinaci on

w =
_
|w|e
i(arg w)/2
, 0 arg w 2,
la funci on

z
2
1 tiene dos cortes en las semirrectas del eje real | Re z| 1. Otra manera
de obtener lo mismo es escribir la funci on como

z
2
1 =

z 1

z + 1 =
_
|z 1|e
i[arg(z1)]/2
_
|z + 1|e
i[arg(z+1)]/2
=
_
|z
2
1|e
i[arg(z1)+arg(z+1)]/2
,
eligiendo los cortes
< arg(z 1) , 0 arg(z + 1) < 2.
En apariencia, esta elecci on parece resultar en un unico corte sobre todo el eje real; sin
embargo, la funci on
arg(z 1) + arg(z + 1)
no tiene ning un salto en el intervalo (1, 1) del eje real (la funci on arg(z 1) tiene un salto
de 2 al cruzar de abajo arriba, mientras que la funci on arg(z + 1) tiene un salto de 2 en
el mismo cruce).
6.4 C alculo de integrales reales mediante residuos 115
Con la elecci on que hemos hecho, el integrando
f(z) =
1
z

z
2
1
tiene un polo simple en z = 0. Para integrar elegimos el contorno cerrado de la gura, ,
formado por los contornos
= C
R
+

+C

+
+

+C
+

+
+

,
donde C
R
est a formado por los dos arcos de circunferencia de radio R centrada en 0; C

son los arcos de circunferencia de radio centradas en 1, y

los segmentos rectilneos

centrados en 1 que forman un angulo con el eje real.

1 1
R

Probaremos, en primer lugar, que las integrales sobre los arcos semicirculares se anulan.
Sobre C
R
, si R > 1 el integrando se puede acotar como

1
z

z
2
1

=
1
|z|
_
|z
2
1|

1
R

R
2
1
,
con lo que

_
C
R
dz
z

z
2
1

(2 4)R
R

R
2
1
=
2 4

R
2
1

R
0.
Por su parte, si < 1, sobre C
+

, tenemos |z| = |1 + z 1| 1 y |z
2
1| = |z
1||z + 1| = |2 + z 1| (2 ); y sobre C

, tenemos |z| = |1 z 1| 1 y
|z
2
1| = |z 1||z + 1| = |2 z 1| (2 ). Entonces, sobre C

1
z

z
2
1

1
(1 )
1/2
(2 )
1/2
,
con lo cual,

_
C

dz
z

z
2
1

2( )
(1 )
1/2
(2 )
1/2
=
2( )
1/2
(1 )(2 )
1/2

0
0.
116 6 Integraci on por residuos
Ahora calcularemos las integrales sobre

, en el lmite 0. En ese lmite tenemos

arg(z 1) + arg(z + 1)

0
0 + 0 = 0;
arg(z 1) + arg(z + 1)

0
0 + 2 = 2;
arg(z 1) + arg(z + 1)

0
+ = 2;
arg(z 1) + arg(z + 1)

0
+ = 0;
por lo tanto,
e
i[arg(z1)+arg(z+1)]/2

0
_
1 sobre
+

,
1 sobre

y
+

.
Entonces, teniendo en cuenta la orientaci on de los segmentos,
lm
0
_

dz
z

z
2
1
=
_
R
1+
dt
t

t
2
1
,
y la suma de las cuatro integrales, en el lmite simult aneo R y 0, da
4
_

1
dt
t

t
2
1
.
Finalmente,
_

dz
z

z
2
1
= 2i Res
_
1
z

z
2
1
, 0
_
= 2i
1

1
=
2i
i
= 2,
con lo cual
_

1
dt
t

t
2
1
=

2
.
(2) Consideremos ahora la integral
_
1
0
_
x(1 x)
x
2
+ 1
dx.
La extensi on del integrando al plano complejo es
f(z) =

1 z
z
2
+ 1
,
y podemos elegir los cortes de las dos races de manera que f(z) no sea analtica s olo sobre
el segmento real [0, 1]. Para ello tomamos

1 z =
_
|z|
_
|1 z|e
i[arg z+arg(1z)]/2
,
6.4 C alculo de integrales reales mediante residuos 117
con las determinaciones
0 arg z < 2, < arg(1 z) .
para ambos argumentos. Con estas determinaciones, cuando cruzamos de abajo arriba el
eje real a la derecha de z = 1, arg z pasa de 2 a 0 y arg(1 z) pasa de a , luego
arg z +arg(1z) tiene un salto de 4, de modo que la mitad del salto es 2 y, por tanto,
obtenemos el mismo resultado que si no hubiera salto.
Construimos el contorno de la gura, formado por
= C
0

+C
1

+
+

,
siendo C
0

y C
1

los arcos de circunferencia de radio centrados en z = 0 y z = 1 respectiva-

mente, y

los segmentos que unen los arcos anteriores por los semiplanos superior (+) e
inferior () a distancia = sen , con un angulo constante.
0 1

Vamos a probar que sobre los arcos la integral de f(z) se anula en el lmite 0. Para ello
acotamos el integrando. Sobre C
0

1 z
1 + z
2

=
_
|z|
_
|1 z|
|1 + z
2
|

1 +
1
2
,
y sobre C
1

1 z
1 + z
2

=
_
|z|
_
|1 z|
|1 + z
2
|

1 +

1 (2 + )
.
Entonces,

_
C
0

1 z
1 + z
2
dz

1 +
1
2
(2 )
0
0,

_
C
0

1 z
1 + z
2
dz

1 +

1 (2 + )
(2 )
0
0,
En cuanto a las integrales sobre

, en el lmite 0,
arg z + arg(1 z)

0
0 + 0 = 0,
arg z + arg(1 z)

0
2 + 0 = 2,
118 6 Integraci on por residuos
de modo que
e
i[arg z+arg(1z)]/2

0
_
1 sobre
+

,
1 sobre

.
En consecuencia,
lm
0
_
_

f(z) dz +
_

f(z) dz
_
= 2
_
1
0
_
x(1 x)
x
2
+ 1
dx.
Por otro lado, no podemos hacer la integral sobre empleando residuos en el interior del
contorno porque las singularidades que encontramos no son aisladas, as que recurriremos al
exterior. En el exterior encontramos los polos simples i y el polo en el innito, as que
_

f(z) dz = 2i
_
Res
_
f(z), i
_
+ Res
_
f(z), i
_
+ Res
_
f(z),
_
.
Los residuos en i son, teniendo en cuenta las ramas de las races,
Res
_
f(z), i
_
=

1 i
2i
=
1
2i
e
i/4
2
1/4
e
i/8
=
2
1/4
2i
e
i/8
,
Res
_
f(z), i
_
=

1 + i
2i
=
1
2i
e
i3/4
2
1/4
e
i/8
=
2
1/4
2i
e
i/8
.
En cuanto al residuo en innito,
Res
_
f(z),
_
= Res
_

1
z
2
f
_
1
z
_
, 0
_
.
La funci on

1
z
2
f
_
1
z
_
=
1
z
2
1

z
_
1
1
z
1 +
1
z
2
=
1
z

z 1
1 + z
2
,
luego
Res
_
f(z),
_
= lm
z0
_

z 1
1 + z
2
_
= lm
z0
_

z 1
_
.
El resultado es i o i, dependiendo de la rama de la raz. Para decidir cu al es la rama
deshacemos el cambio de z por 1/z en la expresi on

z 1, lo que da

_
1
z
1 =

1 z
z
.
Para decidir cu al de los dos valores, i, es el correcto hay que saber c omo es el argumento de
esta expresi on cuando z va a a lo largo de cualquier recta. Por ejemplo, tomemos una recta
paralela al eje x y un poco por encima. Cuando x es muy grande arg z = 0, arg(1z) = ,
arg 1/z = 0, arg(1) = , luego
arg
_

1 z
z
_
=

2
=

2
.
6.4 C alculo de integrales reales mediante residuos 119
En consecuencia,
Res
_
f(z),
_
= i.
Recopilando todos los resultados,
2
_
1
0
_
x(1 x)
x
2
+ 1
dx = 2i
_
2
1/4
2i
e
i/8
+
2
1/4
2i
e
i/8
+ i
_
,
luego
_
1
0
_
x(1 x)
x
2
+ 1
dx =
_
2
1/4
cos(/8) 1
_
.
Como
2 cos
2
(/8) = 1 + cos(/4) = 1 +
1

2
2
1/4
cos(/8) =

1 +

2
2
,
el resultado nal ser a
_
1
0
_
x(1 x)
x
2
+ 1
dx =
_
_

1 +

2
2
1
_
_
.
Hay un segundo m etodo, m as sencillo, para hacer la integral. Si en ultima instancia hay que
utilizar el residuo del innito, puede ser mejor realizar el cambio de variable t = 1/x en la
integral de partida:
_
1
0
_
x(1 x)
x
2
+ 1
dx =
_

1

t 1
t(1 + t
2
)
dt.
Un segundo cambio, u = t 1, lleva la integral a
_

1

t 1
t(1 + t
2
)
dt =
_

0
u
1/2
(u + 1)(2 + 2u + u
2
)
du,
que tiene la forma de la transformada de Mellin con w = 3/2 y
f(z) =
1
(z + 1)(2 + 2z + z
2
)
=
1
(z + 1)(z + 1 i)(z + 1 + i)
.
Los polos de f(z) son z = 1 y z = 1 i, de modo que, seg un la f ormula,
_

0
u
1/2
(u + 1)(2 + 2u + u
2
)
du =
e
i3/2
sen
3
2
_
Res
_
z
1/2
f(z), 1
_
+Res
_
z
1/2
f(z), 1 + i
_
+ Res
_
z
1/2
f(z), 1 i
_
120 6 Integraci on por residuos
Ahora bien

e
i3/2
sen
3
2
= i,
Res
_
z
1/2
f(z), 1
_
=
i
i(i)
= i,
Res
_
z
1/2
f(z), 1 + i
_
=
(1 + i)
1/2
i2i
=
2
1/4
2
e
i3/8
,
Res
_
z
1/2
f(z), 1 i
_
=
(1 i)
1/2
(i)(2i)
=
2
1/4
2
e
i5/8
=
2
1/4
2
e
i3/8
,
con lo que
_

0
u
1/2
(u + 1)(2 + 2u + u
2
)
du =
_
2
1/4
sen(3/8) 1
_
,
que coincide con el resultado anterior porque sen(3/8) = cos(/8).
6.5. Suma de series mediante residuos
Supongamos que G(z) es una funci on meromorfa cuyos unicos polos son polos
simples sobre los enteros n Z y cuyos residuos sobre dichos polos son todos
1. Sea f(z) una funci on meromorfa con un n umero nito de polos, ninguno de
los cuales es un entero; entonces, los residuos de la funci on f(z)G(z) son f(n).
As pues, si es un contorno cerrado, simple, orientado positivamente que encierra
los puntos N, N + 1, . . . , 0, 1, . . . , N, el teorema de los residuos arma que
_

G(z)f(z) dz = 2i
_
_
_
N

n=N
f(n) +

z
k
polo de f(z)
Res
_
G(z)f(z), z
k
_
_
_
_
.
Si cuando crece el comportamiento de la integral est a controlado (por ejemplo,
tiende a 0), entonces la f ormula anterior permite relacionar la serie

n=
f(n) = lm
N
N

n=N
f(n)
con los residuos de G(z)f(z) en los polos de f(z) (de los que s olo hay un n umero
nito).
Para aplicar esta t ecnica lo primero que necesitamos es una funci on G(z). Hay
varias elecciones posibles; la m as com un es
G(z) = cotan z,
6.5 Suma de series mediante residuos 121
cuyos polos son los ceros de sen z y son, por tanto, todos los enteros. Son,
adem as, polos simples porque cos n = 0 y (sen z)

z=n
= 0. No es la unica
elecci on posible; tambi en se puede elegir G(z) = 2i/(e
2iz
1). Y con una
peque na adaptaci on vale tambi en / sen z, cuyo residuo en z = n es (1)
n
, y
resulta adecuada para series alternantes.
Lo siguiente es encontrar un contorno adecuado. Para la cotangente vamos
a emplear Q siendo Q el cuadrado
_
N
1
2
, N +
1
2

2
, donde N N es tal
que todos los polos de f(z) caen dentro de Q. Sobre los lados verticales de ese
cuadrado,
cotan z =
cos
_
(N + 1/2) + iy
_
sen
_
(N + 1/2) + iy
_
=
cos
_
(N + 1/2)
_
cosh y i sen
_
(N + 1/2)
_
senh y
sen
_
(N + 1/2)
_
cosh y + i cos
_
(N + 1/2)
_
senh y
= i tanh y, |y| N +
1
2
,
teniendo en cuenta que cos
_
(N + 1/2) + iy
_
= 0. Por lo tanto,
| cotan z| = | tanh y| 1.
Sobre los lados horizontales, denotando y
N
= N + 1/2,
cotan z =
cos(x iy
N
)
sen(x iy
N
)
=
cos x cosh(y
N
) i sen x senh(y
N
)
sen x cosh(y
N
) + i cos x senh(y
N
)
.
Ahora bien,
| cos x cosh(y
N
)i sen x senh(y
N
)|
2
= cos
2
x cosh
2
y
N
+ sen
2
x senh
2
y
N
,
y como senh
2
u < cosh
2
u,
| cos x cosh(y
N
)i sen x senh(y
N
)|
2
< cosh
2
y
N
(cos
2
x + sen
2
x)
= cosh
2
y
N
;
por otro lado,
| sen x cosh(y
N
)+i cos x senh(y
N
)|
2
= sen
2
x cosh
2
y
N
+ cos
2
x senh
2
y
N
> senh
2
y
N
(sen
2
x + cos
2
x)
= senh
2
y
N
,
122 6 Integraci on por residuos
luego
| cotan z| < | cotanh y
N
| | cotanh y
0
| = cotanh(/2).
As pues, sobre todo el contorno Q,
| cotan z| cotanh(/2).
Supongamos ahora que la funci on f(z) est a acotada, para valores de z tales que
|z| es sucientemente grande, como
|f(z)|
C
|z|

, > 1;
entonces, como la longitud del contorno es 4(2N + 1),

_
Q
cotan z f(z) dz

C cotanh(/2)
_
N +
1
2
_

4(2N + 1)
N
0.
Tomando el lmite N en la expresi on
_

cotan zf(z) dz = 2i
_
_
_
N

n=N
f(n) +

z
k
polo de f(z)
Res
_
cotan zf(z), z
k
_
_
_
_
llegamos a la f ormula

n=
f(n) =

z
k
polo de f(z)
Res
_
cotan zf(z), z
k
_
.
Hay una variante de la f ormula cuando hay polos de f(z) en los enteros. La
variante consiste simplemente en eliminar de la suma los enteros que son polos de
f(z), para no contarlos dos veces.
Ejemplo 6.12. Vamos a calcular la suma de la serie

n=1
1
n
2
.
Evidentemente, la funci on f(z) = 1/z
2
, que tiene un polo de orden dos en z = 0. Excluyendo
de la suma el cero,

n=,n=0
1
n
2
= 2

n=1
1
n
2
= Res
_
cotan z
z
2
, 0
_
.
6.5 Suma de series mediante residuos 123
Como por divisi on de series se puede obtener
cotan w =
cos w
sen w
=
1
w
2
2
+
w
4
24
+
w
w
3
6
+
w
5
120
+
=
1
w

w
3

w
3
45
+ ,
entonces
cotan z
z
2
=
1
z
3


2
3
1
z


4
45
z +
y, por tanto,
Res
_
cotan z
z
2
, 0
_
=

2
3
,
de donde, nalmente,

n=1
1
n
2
=

2
6
.