Captulo 7

Integraci
on: El teorema de los
residuos

7.1. El teorema de Cauchy

Seg
un se ha visto en secciones precedentes, si f es una funcion holomorfa en un dominio D (abierto
conexo), simplemente conexo, la integral de f a lo largo de cualquier curva cerrada es igual a cero
Z
f (z)dz = 0 (7.1)

Asimismo se ha demostrado la f
ormula integral de Cauchy. Si es una curva de Jordan en el interior
de un dominio D simplemente conexo donde la funcion f es holomorfa y z es un punto interior a la curva,
se tiene Z
1 f ()
f (z) = d (7.2)
2i z

En este captulo extenderemos estas nociones a un caso general, demostraremos el teorema de los
residuos y su aplicaci
on en el c
alculo de integrales definidas.

7.2. C
alculo de residuos
Sea f (z) una funci
on con un polo aislado en z = z0 que se puede desarrollar en serie de Laurent en
un disco perforado de z0 , en el que z0 es la u
nica singularidad. La serie de Laurent es por tanto
1
X
a k a 1
f (z) = + + + an z n , a k 6= 0 (7.3)
(z z0 ) k z z0 n=0

Nos interesa el coeficiente a 1 de este desarrollo. Veamos las distintas posibilidades.

1. Si z0 es una singularidad evitable, el residuo es 0.

2. Si z0 es un polo de primer orden, la funcion f (z) se puede escribir como

f(z)
f (z) = , f(z0 ) = a 1 (7.4)
z z0

y por tanto
a 1 = lim (z z0 )f (z) (7.5)
z!z0

115
116 CAPITULO 7. INTEGRACION:
EL TEOREMA DE LOS RESIDUOS

Si la funci
on f (z) es el cociente de dos funciones holomorfas f (z) = g(z)/h(z), en un entorno de z0 ,
y h(z) tiene un cero de primer orden en z0 , mientras que g(z0 ) 6= 0, este punto es como sabemos un
polo de primer orden de f . En este caso
g(z)
a 1 = lim (z z0 ) (7.6)
z!z0 h(z)
pero como (o simplemente aplicando LH
opital)
h(z)
h0 (z0 ) = lim 6= 0, h(z0 ) = 0 (7.7)
z!z0 z z0
se tiene
g(z0 )
a 1 = (7.8)
h0 (z0 )
3. Si z0 es un polo de orden 2, el desarrollo de Laurent es
1
X
a 2 a 1
f (z) = + + an z n , a 2 6= 0 (7.9)
(z z0 ) 2 z z0 n=0

f(z)
f (z) = , f0 (z0 ) = a 1 (7.10)
(z z0 )2
es decir,
d
a (z z0 )2 f (z)
1 = lim (7.11)
dz z!z0

Como en el caso anterior, si f (z) es el cociente de dos funciones holomorfas f (z) = g(z)/h(z), en
un entorno de z0 , y h(z) tiene un cero de segundo orden en z0 , con g(z0 ) 6= 0, este punto es un polo
de segundo orden de f y se tiene
d g(z)
a 1 = lim (z z0 ) 2 (7.12)
z!z0 dz h(z)
Como
1 1
g(z) = g(z0 )+(z z0 )g 0 (z0 )+O((z z0 )4 ), h(z) = (z z0 )2 h00 (z0 )+ (z z0 )3 h000 (z0 )+O((z z0 )4 )
2 6
(7.13)
se tiene
d (z z0 )2 g(z0 ) + (z z0 )3 g 0 (z0 ) + O((z z0 )4 )
a 1 = lim
z!z0 dz 2 (z z0 )2 h00 (z0 ) + 16 (z z0 )3 h000 (z0 ) + O((z z0 )4 )
1

d g(z0 ) + (z z0 )g 0 (z0 ) + O((z z0 )2 )

= lim
z!z0 dz 12 h00 (z0 ) + 16 (z z0 )h000 (z0 ) + O((z z0 )2 )

[g 0 (z0 ) + O((z z0 ))]( 12 h00 (z0 ) + 16 (z z0 )h000 (z0 ) + O((z z0 )2 ))

= lim 2
z!z0
1 00 1 000 2
2 h (z0 ) + 6 (z z0 )h (z0 ) + O((z z0 ) )

[g(z0 ) + (z z0 )g 0 (z0 ) + O((z z0 )2 )]( 16 h000 (z0 ) + O((z z0 )))

2
1 00
2 h (z0 ) + 16 (z z0 )h000 (z0 ) + O((z z0 )2 )

2g 0 (z0 ) 2g(z0 )h000 (z0 )

=
h00 (z0 ) 3h00 (z0 )2
(7.14)
7.3. EL TEOREMA DE LOS RESIDUOS 117

4. Si la funci
on f tiene un polo de orden k, se tiene
1
X
a k a 1
f (z) = + + + an z n , a k 6= 0 (7.15)
(z z0 ) k z z0 n=0

f(z) 1
f (z) = , f(k 1)
(z0 ) = a 1 (7.16)
(z z0 )k (k 1)!
y por tanto
1 dk 1
a 1 = lim (z z0 )k f (z) (7.17)
(k 1)! z!z0 dz k 1

7.3. El teorema de los residuos

En esta secci
on demostraremos el teorema de los residuos, que permite el calculo de integrales a lo
largo de curvas cerradas en el plano complejo y como consecuencia ciertos tipos de integrales reales.

Teorema 7.3.1 Sea f (z) una funci on analtica en un dominio D del plano complejo excepto en un
conjunto finito de puntos z1 , z2 , . . . , zn de D. Sea una curva cerrada (C 1 a trozos) hom
otopa a un
punto, contenida en D que no pasa por ninguno de los puntos zi , i = 1, . . . n. Entonces, la integral de
f (z) a lo largo de se puede escribir en funci on del ndice de con respecto a cada uno de los puntos
de zi y de los residuos de la funci on f (z) en cada uno de esos puntos:
Z Xn
f (z)dz = 2i Ind( , zi ) Res(f, zi ) (7.18)
i=1

Demostraci on. De acuerdo con los resultados del captulo anterior, la funcion f (z) puede desarro-
llarse en serie de Laurent en un entorno perforado de cada punto zi , convergiendo de forma uniforme en
una corona cerrada D(zi , i , i ) (con i > 0 y i menor que el radio de convergencia en cada punto, que
se puede elegir de forma que no corte a la curva y no se corten entre ellos. El desarrollo de Laurent es:
1
X 1
X (i)
bn
f (z) = a(i)
n (z zi ) n + = hi (z) + gi (z) (7.19)
n=0 n=1
(z zi )n

donde las funciones hi (z) son analticas en los discos D(zi , i ) y las funciones gi (z) en D {zi }. Sea la
funci
on
n
X
G(z) = f (z) gi (z) (7.20)
i=1

que es analtica en el dominio D del que se han eliminado los discos D(zi , i ). Sin embargo, las singula-
ridades en zi son evitables, pues, en la corona D(zi , i , i ) se tiene
n
X n
X
G(z) = hi (z) gj (z) (7.21)
i=1 j=1,j6=i

y se puede definir G(zi ) como el lmite del miembro derecho de esta ecuacion cuando ! 0. Su integral
a lo largo de la curva es por lo tanto cero y se tiene:
Z Z Xn n Z
X
f (z) = gi (z) = gi (z) (7.22)
i=1 i=1

Sustituimos ahora los valores de gi (z). Como la convergencia es uniforme en un cerrado que contiene a
(y que no corta a las coronas de convergencia anteriores), se puede intercambiar la suma por la integral
y se tiene
Z Xn X1 Z (i)
bk
f (z) = dz (7.23)
i=1
(z zi )k
k=1
118 CAPITULO 7. INTEGRACION:
EL TEOREMA DE LOS RESIDUOS

Cada una de las integrales

Z (i)
bk
dz, k>1 (7.24)
(z zi ) k
1 1 1
es cero, pues la primitiva de la funci
on (z zi )k
es k 1 (z zi )k 1 y para k = 1 se tiene
Z
dz
= 2i Ind( , zi ) (7.25)
z zi
Como
(i)
b1 = Res(f, zi ) (7.26)
se tiene el resultado buscado.

7.4. Calculo de integrales por residuos

En esta secci
on aplicaremos el teorema de los residuos al calculo de integrales que agruparemos por
tipos.

7.4.1. Primer tipo

Integrales de la forma Z 2
R(sen t, cos t)dt (7.27)
0
La funci
on R(x, y) es una funci
on racional sin polos sobre la circunferencia unidad de centro el origen,
. Sustituyendo z = eit se tiene
Z 2 Z
1 1 1 1 dz
R(sen t, cos t)dt = i R z , z+ (7.28)
0 2i z 2 z z
esta integral se puede calcular por el metodo de los residuos y el resultado es:
Z 2 X
1 1 1 1 1
R(sen t, cos t)dt = 2 Res R z , z+ , zk (7.29)
0 z 2i z 2 z
donde zk son los polos de la funci
on contenidos en la circunferencia unidad.

Ejemplo
Z 2
dt
, a>1 (7.30)
0 a + sen t
Aplicando el metodo anterior
Z 2
dt 2
= 2i Res 2
, zk (7.31)
0 a + sen t z + 2iaz 1
Ahora bien,
p el integrando tiene polos en los puntos: z 2 + 2iaz 1 = 0, es decir, polos simples en z =
i(a a2 1). Solo uno de ellos est a en el crculo unidad:
p p
a a2 1 < 1, 1 < a + a2 1 < 1 (7.32)
y el residuo en ese punto es:
p
2 2i i
Res ,z = i(a a2 1) = =p (7.33)
z 2 + 2iaz 1 2z + 2ia z= i(a
p
a2 1) a2 1
La integral es: Z 2
dt 2
=p , a>1 (7.34)
0 a + sen t a2 1
7.4. CALCULO DE INTEGRALES POR RESIDUOS 119

7.4.2. Segundo tipo

Sea R(x) una funci
on racional que no tiene polos sobre el eje real, tal que

lim xR(x) = 0 (7.35)

|x|!1

condici
on que es equivalente a que su comportamiento en el infinito asegure la convergencia de la integral
impropia siguiente.
Queremos calcular la integral Z 1
R(x)dx (7.36)
1

para lo que consideramos una funci on de variable compleja, R(z) y su integral sobre una curva compuesta
por un semicrculo de radio r en el semiplano superior, r , y el diametro que lo limita en el eje real [ r, r].

Figura 7.1: Circuito para el tipo 2.

Tomando el radio r suficientemente grande, la funcion R es analtica en la curva , y aplicando el

teorema de los residuos
Z Z r Z X
R(z)dz = R(x)dx + R(z)dz = 2i Res(R(z), zk ) (7.37)
r r k

donde la suma se extiende a los polos de la funcion R en el semiplano superior (tomando r suficientemente
grande, la curva encierra a todos los polos del semiplano superior). Se tiene por tanto,
Z r X Z
R(x)dx = 2i Res(R(z), zk ) R(z)dz (7.38)
r k r

Demostraremos a continuaci on que el lmite cuando r ! 1 de la segunda integral es cero. Para ello
probamos la siguiente proposici
on:

on 7.4.1 Sea f (z) continua definida en un sector 1 2 , con z = rei . Si

Proposici

lim zf (z) = 0, 1 2 (7.39)

|z|!1

entonces Z
lim f (z)dz = 0 (7.40)
r!1 Cr

donde Cr es un arco de circunferencia de centro el origen y radio r, contenido en el sector.

120 CAPITULO 7. INTEGRACION:
EL TEOREMA DE LOS RESIDUOS

La demostracion se basa en la acotacion de la funcion f sobre el arco de circunferencia Cr (f (z) es

continua y Cr un compacto):
Z
M (r) = sup{|f (z)| : z 2 Cr }, f (z)dz rM (r)(2 1 ) (7.41)
Cr

El mismo resultado se tiene cuando r ! 0, cambiando adecuadamente las hipotesis:

on 7.4.2 Sea f (z) continua definida en un sector 1 2 , con z = rei . Si

Proposici

lim zf (z) = 0, 1 2 (7.42)

|z|!0

entonces Z
lim f (z)dz = 0 (7.43)
r!0 Cr

donde Cr es un arco de circunferencia de centro el origen y radio r, contenido en el sector.

Con la proposici on 7.4.1 y la hip
otesis sobre las funcion R(x) (7.35), se concluye que la segunda
integral en (7.38) es 0 y por tanto
Z 1 X
R(x)dx = 2i Res(R(z), zk ) (7.44)
1 k

con la suma extendida a los residuos de la funcion R(z) en el semiplano superior.

Es obvio que la integral se puede hacer tambien en el semiplano inferior, apareciendo en este caso un
signo menos: Z 1 X
R(x)dx = 2i Res(R(z), zk ) (7.45)
1 k

con la suma extendida a los residuos de la funcion R(z) en el semiplano inferior.

Ejemplo Z 1
dx
(7.46)
0 1 + x6
Como el integrando es par, la integral se extiende a toda la recta:
Z 1 Z
dx 1 1 dx
= (7.47)
0 1 + x6 2 1 1 + x6

La hip
otesis (7.35) se satisface:
x
lim =0 (7.48)
|x|!1 1 + x6
y por tanto Z
r
dx X 1
= 2i Res , zk (7.49)
r 1 + x6 1 + z6
k

La funcion 1/(z 6 + 1) tiene seis singularidades en el plano complejo, correspondientes a las races sextas
de la unidad. Ninguna de ellas est a sobre el eje real y hay tres en el semiplano superior y tres en el
inferior, por lo que resulta indiferente, en cuanto a las dificultades que aparecen, calcular la integral en
cualquiera de los dos semiplanos. Los polos (simples) del semiplano superior son:

z1 = ei/6 , z2 = ei/2 , z3 = e5i/6 , (7.50)

y los residuos
1 1 1
Res 6
, eik/6 = = e 5i/6
(7.51)
z +1 6z 5 z=eik/6 6
7.4. CALCULO DE INTEGRALES POR RESIDUOS 121

1 1 1 1
Res 6
, ei/2 = e i/2
, Res 6
, e5i/2 = e i/6
(7.52)
z +1 6 z +1 6
Sumando los residuos

1 5i/6 1 i/2 1 i/6 1 i
e + e + e = i 2i sen = (7.53)
6 6 6 6 6 3

y la integral es: Z 1
dx
6
= (7.54)
0 1+x 3

7.4.3. Tercer tipo

Las transformadas de Fourier pueden en ocasiones ser calculadas por el metodo de residuos. Conside-
remos integrales como Z 1
f (x)eix dx (7.55)
1

donde f (z) es una funci

on analtica en todo el plano excepto en un n
umero finito de puntos del semiplano
superior cerrado (la funcion puede ser singular en puntos del eje real). Si se quiere calcular la integral
con e ix , o en general si se la quiere calcular con eax la integral se realiza en el semiplano adecuado
para que se cumplan las hip otesis sobre el comportamiento en el infinito (eligiendo el semiplano en el que
|eaz | 1). Adem
as si aparecen las funciones cos z o sen z hay que expresarlas primero en funcion de las
correspondientes exponenciales.
Distinguimos dos casos

No hay singularidades en el eje real

En este caso podemos calcular la integral
Z r
f (x)eix dx (7.56)
r

y su lmite es el resultado que queremos encontrar.

Si se impone la condici on
lim zf (z) = 0 (7.57)
|z|!1

se aplica la proposici
on anterior y la integral se puede calcular.

Ejemplo
Z 1 Z 1 X X
cos x 1 eix dx 1 eiz eiz
dx = Re = Re 2i Res , zk = i Res , zk (7.58)
0 x2 + 1 2 1 x2 + 1 2 z2 + 1 z2 + 1
k k

donde la suma se extiende a los polos situados en el semiplano superior. En este caso solo hay un polo,
simple, en z = i. Tengase en cuenta que en este caso no es posible la integracion en el semiplano inferior,
debido a que all la condici
on (7.57) no se cumple. Finalmente,
Z 1 iz
cos x e e 1
2
dx = i Res 2
, i = i = (7.59)
0 x + 1 z + 1 2i 2e

La condicion (7.57) es suficiente pero no necesaria. Podemos usar una condicion mas debil para
demostrar la existencia de este lmite a traves de la siguiente proposicion:

Proposici on 7.4.3 Supongamos que la funci

on f (z) se anula en el infinito cuando la parte imaginaria
de z es positiva:
lim f (z) = 0, Im z 0 (7.60)
|z|!1
122 CAPITULO 7. INTEGRACION:
EL TEOREMA DE LOS RESIDUOS

Entonces Z r X
lim f (x)eix dx = 2i Res(f (z)eiz , zk ) (7.61)
r!1 r k

donde la suma se extiende a los polos de f (z) en el semiplano superior (Im z > 0)

El lmite anterior existe si la integral Z 1

|f (x)|dx (7.62)
1

es convergente, porque, en este caso, la integral considerada es absolutamente convergente. Sin embargo
aunque la integral no sea absolutamente convergente es posible que exista el lmite (en particular si f (x)
otona cuando x > 0 y tiende a 0 cuando x ! 1 la integral es convergente, lo que se puede
es real y mon
probar usando la formula del valor medio).
La proposici
on 7.4.3 es consecuencia del siguiente resultado:

Proposici on 7.4.4 Sea f (z) continua definida en un sector 1 2 , (z = rei ), del semiplano
superior cerrado. Si
lim f (z) = 0, 1 2 (7.63)
|z|!0

entonces Z
lim f (z)ei dz = 0 (7.64)
r!1 Cr

donde Cr es un arco de circunferencia de centro el origen y radio r, contenido en el sector.

Al ser f continua en el compacto Cr , existe M (r) tal que |f (z) M (r) cuando z esta en el sector
considerado. Se tiene
Z Z Z 2 Z
f (z)eiz dz |f (z)eiz |dz M (r) e r sen rd M (r) e r sen rd (7.65)
1 0

En el intervalo

0 (7.66)
2
se tiene
2 sen
1 (7.67)

y por tanto,
Z /2 Z /2 Z 1
r sen 2r/ 2r/
e rd e rd e rd = (7.68)
0 0 0 2
De esta forma Z Z
/2
r sen r sen
e rd = 2 e rd (7.69)
0 0

y la integral tiende a cero cuando r ! 1 (M (r) tiende a 0 por la hipotesis (7.60)).

Singularidades en el eje real

Cuando la funcion f (z) tiene singularidades sobre el eje real la solucion consiste en modificar el circuito
para para la curva de integraci on no pase por las singularidades. Supongamos que f (z) tiene un polo
simple en el origen. La curva a considerar es una semicircunferencia de centro el origen y radio r en el
semiplano superior y el di
ametro sobre el eje x, deformado por una semicircunferencia, de nuevo sobre el
semiplano superior, de centro el origen y radio . Demostraremos el siguiente resultado que nos permitira
controlar el comportamiento de la integral sobre la semicircunferencia .
7.4. CALCULO DE INTEGRALES POR RESIDUOS 123

Figura 7.2: Circuito para el tipo 3b.

Proposici on 7.4.5 Sea g(z) una funci on analtica con un polo simple en z = 0 y la semicircunferencia
de radio y centro el origen en el semiplano superior, recorrida en sentido antihorario. Entonces
Z
lim g(z)dz = i Res(g, 0) (7.70)
!0

Al tener g(z) un polo simple en el origen, se puede escribir como:

a
g(z) = + g(z), a = Res(g, 0) (7.71)
z
donde g(z) es una funci
on analtica en z = 0. Por tanto,
Z
lim g(z)dz = 0 (7.72)
!0

Por otra parte, si es la circunferencia de radio centrada en el origen:

Z Z
dz dz
= 2i ) = i (7.73)

z
z

lo que concluye la demostraci

on.
Queremos calcular la integral Z 1
f (x)eix dx (7.74)
1

donde f (z) tiene un polo simple en el origen y lim|z|!1 f (z) = 0 cuando Im z 0.

Considerando el circuito descrito anteriormente,
Z Z Z Z Z r X
iz iz iz ix
f (z)e dz = f (z)e dz f (z)e dz + f (x)e dx + f (x)eix dx = 2i Res(f (z)eiz , zk )
C r r k
(7.75)
donde la suma est a extendida a todos los polos de f (z) en el semiplano superior, para r suficientemente
grande y suficientemente peque no. Por tanto,
Z 1 X Z Z
ix iz iz
f (x)e dx = 2i (f (z)e , zk ) f (z)e dz + f (z)eiz dz
1 k r
X
= 2i Res(f (z)eiz , zk ) + i Res(f (z)eiz , 0) (7.76)
1
k

Ejemplo
124 CAPITULO 7. INTEGRACION:
EL TEOREMA DE LOS RESIDUOS

Z 1 Z 1 Z ix Z 1 ix Z ix Z 1 ix

sen x 1 sen x 1 e e e e
dx = dx = lim dx + dx dx dx
0 x 2 1 x 4i !0 1 x x 1 x x
Z ix Z 1 ix
1 e e
= lim dx + dx (7.77)
2i !0 1 x x

Las integrales se hacen en el semiplano superior donde el modulo de la exponencial tiende a cero cuando
|z| tiende a infinito. Como no hay ninguna singularidad salvo en el origen, se tiene
Z 1 ix iz
e e
dx = i Res ,0 (7.78)
1 x z
y como
eiz
Res ,0 = 1 (7.79)
z
el resultado es: Z 1
sen x eiz
dx = Res ,0 = (7.80)
0 x 2 z 2

7.4.4. Cuarto tipo

El cuarto tipo de integrales que vamos a calcular es
Z 1
R(x)
dx (7.81)
0 xa

donde R(x) es una funci on racional sin polos en el semieje real positivo y 0 < a < 1. La convergencia en
el origen est
a asegurada por la condici
on sobre el exponente a. La condicion de convergencia en el infinito
se puede expresar como
lim R(x) = 0 (7.82)
x!1

El dominio de definici
on adecuado para la funcion

R(z)
f (z) = (7.83)
za
es el plano complejo del que se ha eliminado el semieje real positivo (x 0). Se toma para z a la
determinacion principal de la potencia, con el argumento entre 0 y 2.
La curva ( ) a lo largo de la que vamos a integrar es la de la figura 3. La circunferencia exterior tiene
radio r y la interior , recorridas la grande en sentido antihorario y la peque
na en sentido horario.

De esta forma Z
R(z) X R(z)
a
dz = Res , zk (7.84)
z za
k

donde, para r suficientemente grande, y suficientemente peque no la suma se hace sobre los polos de la
on R(z)/z a en el dominio D. Se tiene entonces,
funci
Z Z Z Z r Z
R(z) R(z) R(z) R(z) R(z)
dz = dz + dz + a dz + dz (7.85)
za r
z a

z a
z 1 r z2a

La anteultima y u ltima integral se hacen en diferentes hojas de Riemann, luego en la primera de ellas,
sobre el eje real positivo z a = xa y en la segunda

z a = xa e2ia (7.86)
7.4. CALCULO DE INTEGRALES POR RESIDUOS 125

Figura 7.3: Circuito para el tipo 4.

Por tanto, Z Z Z Z r
R(z) R(z) R(z) 2ia R(x)
dz = dz + dz + (1 e ) dx (7.87)
za r
za
za xa
Las integrales sobre los arcos r y tienden a cero cuando r ! 1 y ! 0 debido a que zf (z) =
z1 a
R(z) tiende a cero en esos lmites (R(x) no tiene singularidades en x = 0 y limx!1 R(x) = 0).
Z 1 X
2ia R(x) R(z)
(1 e ) dx = 2i Res , zk (7.88)
0 xa za
k

con la suma extendida a los polos de R(z) en todo el plano complejo

Ejemplo Z 1
dx
, 0<a<1 (7.89)
0 xa (1 + x)
La funci
on R(x) no es singular en el semieje real positivo:

1
R(x) = (7.90)
1+x
y verifica
lim R(x) = 0 (7.91)
x!1

Por tanto Z
1
dx 2i 1
= Res , 1 (7.92)
0 xa (1 + x) (1 e 2ia ) z a (1 + z)
pues la u
nica singularidad es un polo simple en z = 1. El residuo es

1 1
Res , 1 = = e ia (7.93)
z a (1 + z) ( 1)a
1
y finalmente Z 1
dx 2i ia
= e = (7.94)
0 xa (1 + x) (1 e 2ia ) sen a
126 CAPITULO 7. INTEGRACION:
EL TEOREMA DE LOS RESIDUOS

7.4.5. Quinto tipo

El u
ltimo caso que vamos a analizar es el de una funcion que contiene un logaritmo:
Z 1
R(x) log x dx (7.95)
0

con R(x) una funci

on racional que no tiene polos en el semieje real positivo

lim xR(x) = 0 (7.96)

x!1

Con estas condiciones la integral converge.

Al igual que en el tipo 4 consideramos un dominio D que es el plano complejo del que se ha eliminado
el semieje real positivo y la cura . El logaritmo se fija con el argumento entre 0 y 2 e integramos
f (x) = R(x)(log x)2 . Utilizando los resultados anteriores, las integrales a lo largo de r y se hacen cero
cuando r ! 1 y ! 0. Como antes tenemos dos determinaciones para el logaritmo, cuando estamos
en el semiplano superior, por encima del eje x positivo y cuando estamos en el semiplano inferior, por
debajo del eje x positivo:
(a) log z = log x, (b) log z = log x + 2i (7.97)
respectivamente. La integral es por tanto
Z Z 1 Z 1 X
2
R(z)(log z) dz = R(x)(log x)2 dx R(x)(log x + 2i)2 dx = 2i Res(R(z)(log z)2 , zk )
0 0 k
(7.98)
(con la suma sobre todos los polos de la funci
on racional R(x) en D) y por tanto,
Z 1 Z 1 X
4 2 R(x)dx 4i R(x) log x dx = 2i Res(R(z)(log z)2 , zk ) (7.99)
0 0 k

o, simplificando
Z Z
1 1
1X
R(x) log x dx + i R(x)dx = Res(R(z)(log z)2 , zk ) (7.100)
0 0 2
k

Si la funci
on R(x) es real, tenemos
Z 1 X
1
R(x) log x dx = Re Res(R(z)(log z)2 , zk ) (7.101)
0 2
k
Z 1 X
1
R(x)dx = Im Res(R(z)(log z)2 , zk ) (7.102)
0 2
k

Si se integra la funci
on R(x) log x
Z Z 1 Z 1 X
R(z) log z dz = R(x) log x dx R(x)(log x + 2i)dx = 2i Res(R(z) log z, zk ) (7.103)
0 0 k

y por tanto Z 1 X
R(x)dx = Res(R(z) log z, zk ) (7.104)
0 k

Ejemplo
Z 1
log x
dx (7.105)
0 (1 + x)3
7.4. CALCULO DE INTEGRALES POR RESIDUOS 127

on R(z) = 1/(1 + z)3 tiene un polo en z = 1, triple. El residuo de R(z)(log z)2 es

La funci

(log z)2
Res , 1 = 1 i (7.106)
(1 + z)3

pues el desarrollo de Laurent es:

1 2i 11 i
2 2i(z + 1) + (1 i)(z + 1) + 12 3
(z + 1) + (z + 1)4 + (7.107)
(z + 1)3 3 12 2

Por tanto,
Z 1
log x 1 1
dx = Re(1 i) = (7.108)
(x + 1)3 2 2
Z0 1
1 1 1
dx = Im(1 i) = (7.109)
0 (x + 1)3 2 2

El circuito anterior puede modificarse (ver figura 7.4) para poder calcular integrales como las anteriores
pero que tienen un polo simple en x = 1 (pues el logaritmo compensa este polo). Para ello se evita ese
punto modificando el recorrido en torno a el cuando se vuelve por el semiplano inferior (arco ). Se tiene
entonces Z 1
1 X
R(x) log x = 2 Re Res(R(z), 1) Re Res(R(z)(log z)2 , zk ) (7.110)
0 2
k
2
con la suma extendida a los polos de R(z)(log z) distintos de 1.

1
x

Figura 7.4: Circuito para el tipo 5b.

En efecto,
Z Z Z Z
R(z)(log z)2 dz = R(z)(log z)2 dz + R(z)(log z)2 dz + R(z)(log z + 2i)2 dz
r
Z r Z 1+ Z
+ R(x)(log x)2 dz + R(x)(log x + 2i)2 dx + R(x)(log x + 2i)2 dx
r 1
(7.111)
128 CAPITULO 7. INTEGRACION:
EL TEOREMA DE LOS RESIDUOS

La integral a lo largo del arco es:

Z Z Z Z
R(z)(log z + 2i)2 dz = R(z)(log z)2 dz + 4i R(z) log z dz 4 2 R(z)dz (7.112)

Como R(z)(log z)2 y R(z) log z son analticas en z = 1, cuando ! 0 se tiene:

Z Z
2 2
R(z)(log z + 2i) dz ! 4 R(z)dz = 4 3 i Res(R(z), 1) (7.113)

As, cuando r ! 1 y , ! 0 tenemos

Z 1 Z 1 X
3 2
4 i Res(R(z), 1) + R(x)(log x) dz R(x)(log x + 2i)2 dx = 2i Res(R(z)(log z)2 s, zk )
0 0 k
(7.114)
es decir
Z Z
1 1
1X
i R(x)dx + R(x) log x dx = 2 Res(R(z), 1) Res(R(z)(log z)2 , zk ) (7.115)
0 0 2
k

que, si R(x) es una funci

on a valores reales, proporciona las dos integrales siguientes
Z 1 X
1
R(x) log x dx = 2 Re Res(R(z), 1) Re Res(R(z)(log z)2 , zk ) (7.116)
0 2
k
Z 1 X
1
R(x)dx = Im Res(R(z), 1) Im Res(R(z)(log z)2 , zk ) (7.117)
0 2
k

Ejemplo
Z 1 X
log x 1
dx = 2 Re Res(R(z), 1) Re Res(R(z)(log z)2 , zk ) (7.118)
0 x2 1 2
k

donde, en z = 1 (polo simple),

1 1
Res ,1 = (7.119)
z2 1 2
y en z = 1 (polo simple),
(log z)2 2
Res , 1 = (7.120)
z2 1 2
y por tanto, Z 1
log x 2
dx = (7.121)
0 x2 1 4

7.5. Otros tipos de integrales

Adem as de los tipos presentados en la seccion anterior, muchas otras integrales pueden ser resueltas
mediante las tecnicas de integraci
on por residuos. Veremos aqu un ejemplo de integracion en un sector.
Sea la integral Z 1
dx
In = (7.122)
0 1 + xn
con n entero mayor o igual que 2. Si queremos calcular la integral
Z
dz
(7.123)
1 + zn
7.5. OTROS TIPOS DE INTEGRALES 129

a lo largo de una curva cerrada , tendremos que calcular los polos del integrando, que son las races
n-esimas de 1:
ei/n , e3i/n , . . . , e(2n 1)i/n
(7.124)
En el caso par, n = 2m, la integral se puede extender a todo el eje real:
Z
1 1 dx
I2m = (7.125)
2 1 1 + x2m

y la integral es del segundo tipo, pues las races no estan sobre el eje real. Los polos (simples) del semiplano
superior son:
z1 = ei/(2m) , z2 = e3i/(2m) , . . . , zm = e(2m 1)i/(2m) (7.126)
y los residuos correspondientes son:

1 1 zk
Res , zk = = , k = 1, . . . , m (7.127)
1+z 2m
2mzk2m 1 2m

luego la integral buscada es:

m
X m m
zk i X (2k 1)i/(2m) X (2k 1)
I2m = i = e = sen (7.128)
2m 2m 2m 2m
k=1 k=1 k=1

que se puede simplificar, aunque no lo haremos en este momento. Por ejemplo si m = 1,

I2 = sen = (7.129)
2 2 2
y si m = 3, como hemos calculado anteriormente

3 5
I6 = sen + sen + sen = (7.130)
6 6 6 6 3

Pero si n es impar, la integral no se puede extender a todo el eje real.

La integral para un n arbitrario se resuelve mucho mas facilmente de la forma siguiente. Podemos
limitarnos a un sector de una amplitud adecuada para que solo contenga un polo. Sea n par o impar, no
hay ningun polo en el semieje real positivo. Consideremos la semirrecta con extremo en el origen y que
forma con el semieje real positivo un angulo = 2 3
n que verifica n < < n .

Figura 7.5: Sector.

De esta forma las condiciones de integracion son las mismas que en el tipo 2, y por tanto la integral
es: Z Z Z 1 Z 1
dz dz dx 2i/n dr 1 i/n
= + e = Res ,e (7.131)
1 + zn r
1 + zn 0 1 + xn 0 1 + rn 1 + zn
130 CAPITULO 7. INTEGRACION:
EL TEOREMA DE LOS RESIDUOS

y finalmente, como
1 1
Res , ei/n = (7.132)
1 + zn nei(n 1)/n

se tiene
Z 1
dx 1 2i 2i
n
= i(n 1)/n 2i/n
= = (7.133)
0 1+x ne 1 e n ei(n 1)/n ei(n+1)/n n sen(/n)

El mismo circuito puede emplearse para integrales del tipo

Z 1 a
x dx
, n 2, 0 < a + 1 < n (7.134)
0 1 + xn

Las condiciones sobre los par

ametros a y n (entero) aseguran la convergencia de la integral. Tenemos
entonces
Z Z Z 1 a Z 1 a 2ia/n
xa dz xa dz x dx 2i/n r e dr za i/n
= + e = Res ,e (7.135)
1 + zn r
1 + zn 0 1 + xn 0 1 + rn 1 + zn

y por tanto,
Z 1
xa dx 2i za
= Res , ei/n (7.136)
0 1 + xn 1 e2i(a+1)/n 1 + zn
El residuo en ei/n es:
za 1
Res , ei/n = (7.137)
1 + zn nei(n 1 a)/n

de donde
Z 1 a
x dx 2i 1 2i
= = = (7.138)
0 1 + xn 1 e2i(a+1)/n nei(n 1 a)/n n ei(n a 1)/n ei(n+a+1)/n n sen (a+1)
n

7.6. Valor principal de Cauchy

Supongamos que una funci on real es integrable en intervalos de la forma [, 1) y ( 1, ] (con
, > 0), pero es singular en x = 0. La integral en toda la recta se define como
Z 1 Z Z 1
f (x)dx = lim f (x)dx + lim f (x)dx (7.139)
1 !0 1 !0

si ambos lmites existen. Cuando alguno de los dos no existe, la integral no esta definida.
Sin embargo existen casos en los que no existen los lmites anteriores, pero s el lmite simetrico:
Z 1 Z Z 1
VP f (x)dx = lim f (x)dx + f (x)dx (7.140)
1 !0 1

La integral calculada de esta forma se llama valor principal (de Cauchy). En estos casos es posible
aplicar el metodo de los residuos para calcular el valor principal. Si existen varios puntos singulares,
el valor principal se define de la misma forma con intervalos simetricos (xk , xk + ) en torno a las
singularidades.
En estos casos el circuito se deforma introduciendo semicircunferencias que rodean las singularidades
del eje real (como hicimos en el tipo V calculado anteriormente).
Ejemplo Queremos calcular el valor de la integral
Z 1
sen x
dx (7.141)
0 x
7.6. VALOR PRINCIPAL DE CAUCHY 131

El integrando tiene una singularidad evitable en x = 0 y en el infinito no hay problemas de convergencia

de la integral. Pero para calcular su valor, podemos, en primer lugar, duplicar el intervalo (el integrando
es par): Z 1 Z
sen x 1 1 sen x
dx = dx (7.142)
0 x 2 1 x
y a continuaci
on sustituir sen x por su expresion como exponenciales:
Z 1 Z
sen x 1 1 eix e ix
dx = dx (7.143)
0 x 4i 1 x

La integral Z 1
eix
dx (7.144)
1 x
tiene una singularidad (no evitable) en x = 0 pero podemos definir su valor principal
Z 1 ix
e
VP dx (7.145)
1 x

que se puede obtener utilizando la tecnica de residuos, cerrando en el semiplano superior por una semi-
circunferencia, cuyo radio tiende a infinito, de forma que la integral sobre el tiende a cero, y deformando
el eje real en el origen por una semicircunferencia cuyo radio tiende a 0. Como no hay ninguna otra
singularidad, se tiene Z 1 ix iz
e e
VP dx i Res ,0 = 0 (7.146)
1 x z
es decir, Z 1
eix
VP dx = i (7.147)
1 x
Para calcular la integral buscada, podemos poner sen x = Re eix o calcular:
Z 1
e ix
VP dx (7.148)
1 x

Haremos esta segunda integral. Si cambiamos x por x

Z 1 Z 1
e ix eix
VP dx = VP dx = i (7.149)
1 x 1 x

Si no hacemos este cambio de variable y queremos integrar directamente, hay que recordar que debemos
elegir el semiplano inferior para asegurar la convergencia. Por tanto
Z 1 iz
e ix e
VP dx + i Res ,0 = 0 (7.150)
1 x z

que nos da el mismo resultado anterior. Finalmente

Z 1
sen x 1
dx = i + i = (7.151)
0 x 4i 2