Análisis III B - Turno mañana - Integrales impropias 1

Cálculo de integrales reales impropias mediante teoría de residuos

Teorema 1. Sea f : C → C tal que
a) f es holomorfa en Im(z) > 0 salvo en un número finito de puntos ninguno
de los cuales está sobre el eje real,
b) z→∞
lim |zf (z)| = 0.
Im(z)>0
Entonces
ZR X
lim f (x)dx = 2πi Res[f, zk ].
R→+∞
−R k

siendo zk las singularidades de f con parte imaginaria positiva.

D) La idea es encontrar un recinto donde valga el teorema de los residuos
para esta f y que la integral de f sobre una parte de su frontera se relacione con
la integral que queremos calcular pero que además, sea relativamente fácil ver
qué sucede con la integral de f sobre el resto de la frontera.
Consideremos el recinto definido por |z| 6 R en Im(z) > 0 con R suficien-
temente grande de manera que contenga a todas las singularidades zk con parte
imaginaria positiva. El borde del recinto ΓR , está compuesto por la semicircun-
ferencia γ R : z(t) = Reit con 0 6 t 6 π y el intervalo [−R, R]. Gráficamente,

Por el teorema de los residuos y dada la elección de R :

Z X
f (z)dz = 2πi Res[f, zk ]. (1)
k
Γ+
R

Por otro lado,

Z ZR Z
f (z)dz = f (x)dx + f (z)dz (2)
Γ+
R
−R γ+
R
Análisis III B - Turno mañana - Integrales impropias 2

La segunda integral puede acotarse haciendo:

¯ ¯
¯Z ¯
¯ ¯
¯ f (z)dz ¯ 6 πR sup |f (z)| = π sup |zf (z)|
¯ ¯
¯ ¯ z∈ΓR z∈ΓR
γR

Claramente debido a la hipótesis b), el término a la derecha de la última igualdad

tiende a cero cuando R tiende a infinito y en consecuencia, lo mismo vale para la
segunda integral de (2). Finalmente, tomando límite para R tendiendo a infinito
en (1), resulta la tesis.¤
Observación: Si f satisface las hipótesis del Teorema 1 pero en Im(z) 6 0,
una demostración análoga prueba que
ZR X
lim f (x)dx = −2πi Res[f, zk ].
R→+∞
−R k

siendo zk las singularidades de f con parte imaginaria negativa.

Corolario 1. Si f es integrable en (−∞, ∞) y su extensión como función
compleja verifica las hipótesis del Teorema 1, entonces:
Z∞ X
f (x)dx = 2πi Res[f, zk ]
−∞ k

siendo zk las singularidades de f con parte imaginaria positiva.

D) Es inmediato del Teorema 1 y la relación entre la integral impropia con
su valor principal.¤
Z∞
dx
Ejemplo: La convergencia de la integral se concluye usando el
(1 + x2 )4
0
Z∞
dx
criterio de comparación y la convergencia de . Para hallar su valor, calculare-
x6
1
Z∞
dx 1
mos 2 4
aplicando el resultado anterior. La función f (z) =
(1 + x ) (1 + z 2 )4
−∞
cumple las hipótesis del Corolario 1 y su única singularidad en el semiplano su-
ϕ000 (i)
perior es z = i, que es un polo de orden 4. Sabemos que Res[f, i] = siendo
3!
5
ϕ(z) = (z − i)4 f (z) y resulta que Res[f, i] = . Luego,
32i
Z∞ Z∞
dx 1 dx 5π
2 4
= 2 4
= .
(1 + x ) 2 (1 + x ) 32
0 −∞
Análisis III B - Turno mañana - Integrales impropias 3

Teorema 2. Sea f : C → C tal que

a) f es holomorfa en Im(z) > 0 salvo en un número finito de puntos ninguno
de los cuales está sobre el eje real,
b) z→∞
lim |f (z)| = 0.
Im(z)>0
Entonces para cualquier α > 0 :
ZR X
lim f (x)eiαx dx = 2πi Res[f (z)eiαz , zk ].
R→+∞
−R k

siendo zk las singularidades de f con parte imaginaria positiva.

D) Sigue la misma línea que la demostración del Teorema 1. Es posible
acotar la integral definida sobre la semicircunferencia y demostrar que tiende a
cero cuando R tiende a +∞ en tanto α sea un número real positivo. ¤
Corolario 2. Si f (x)eiαx es integrable en (−∞, ∞) y la extensión de f como
función compleja verifica las hipótesis del Teorema 2, entonces para cualquier
α > 0:
Z∞ X
f (x)eiαx dx = 2πi Res[f (z)eiαz , zk ]
−∞ k

y por lo tanto,
Z∞ Ã !
X
f (x)cos(αx)dx = Re 2πi Res[f (z)eiαz , zk ]
−∞ k

Z∞ Ã !
X
f (x)sen(αx)dx = Im 2πi Res[f (z)eiαz , zk ]
−∞ k

siendo zk las singularidades de f con parte imaginaria positiva.

D) Es inmediato del Teorema 2 y la relación entre la integral impropia con
su valor principal.¤
Z∞
cos(mx)
Ejemplo: La convergencia de la integral dx se puede concluir
1 + x2
−∞
Z∞
dx
mediante el criterio de comparación y la convergencia de . Para hallar
x2
1
1
su valor, aplicaremos el Corolario 2 a la función f (z) = . En efecto,
1 + z2
esta función cumple las hipótesis requeridas. Su única singularidad en el semi-
eimz
plano superior es z = i que es un polo de orden 1 para . Resta calcular
1 + z2
Análisis III B - Turno mañana - Integrales impropias 4

eimz eimz e−m

Res[ , i] = lim = . Luego,
1 + z2 z→i z + i 2i
Z∞
cos(mx) π
2
dx = m .
1+x e
−∞

El siguiente ejemplo da muestra de un ejemplo en donde no se verifican las hipóte-

sis de los teoremas anteriores pero que también se puede resolver mediante resid-
uos haciendo una elección ad-hoc del recinto.
Z∞
eax
Ejemplo: Si 0 < a < 1, la integral dx converge. Para calcular su
1 + ex
−∞
valor, tomaremos como recinto el rectángulo de la siguiente figura:

Aplicando el teorema de los residuos y parametrizando el borde, dado que la

eaz
única singularidad de es z = πi, tenemos que
1 + ez
ZR Z2π Z
−R Z0
eax ea(R+iy) ea(x+2πi) ea(−R+iy)
dx + idy + dx + idy =
1 + ex 1 + eR+iy 1 + ex+2πi 1 + e−R+iy (3)
−R 0 R 2π
eaz
= 2πiRes[ , πi] = −2πieaπi
1 + ez
Acotando la segunda integral:
¯ 2π ¯ 2π
¯Z ¯ Z Z2π
¯ ea(R+iy) ¯ eaR
eaR eaR
¯ idy ¯6 dy 6 dy = 2π
¯ 1 + eR+iy ¯ |1 + eR+iy | eR − 1 eR − 1
¯ ¯
0 0 0

y por lo tanto, tiende a cero cuando R tiende a +∞ porque 0 < a < 1. De manera
análoga, se demuestra que la cuarta integral tiende a cero.
Análisis III B - Turno mañana - Integrales impropias 5

Finalmente, tomando límite para R tiende a +∞ en (3) se obtiene

Z∞
eax
(1 − e2aπi ) dx = −2πieaπi
1 + ex
−∞

de donde
Z∞
eax eaπi π
x
dx = 2πi 2aπi =
1+e e −1 sen(πa)
−∞

Teorema 3. Sea z0 ∈ R un polo simple de f (z) y γ r dada por z(t) = z0 +reiϕ

con ϕ1 6 ϕ 6 ϕ2 y r > 0. Entonces:
Z
lim f (z)dz = i(ϕ2 − ϕ1 )Res[f, z0 ]
r→0
γ+
r

D) Como f tiene un polo simple en z0 entonces existe R > 0 tal que para
todo z ∈ BR∗ (z0 ), f se puede escribir:
a
f (z) = + h(z)
z − z0
con a = Res[f, z0 ] y h holomorfa en BR (z0 ). Luego, para todo r < R :
Z Z Z
a
f (z)dz = dz + h(z)dz (4)
z − z0
γ+
r γ+
r γ+
r

En particular, h es continua en el disco y por lo tanto, existe M > 0 tal que

|h(z)| 6 M en BR (z0 ). Por lo tanto,
¯ ¯
¯Z ¯
¯ ¯
¯ ¯
¯ h(z)dz ¯ 6 (ϕ2 − ϕ1 )rM r→0
−−→ 0
¯ ¯
¯ γ +r ¯

Por otro lado,

Z Z Zϕ2 ϕ
a dz irei
dz = Res[f, z0 ] = Res[f, z0 ] dϕ = i(ϕ2 − ϕ1 )Res[f, z0 ]
z − z0 z − z0 reiϕ
γ+
r γ+
r
ϕ1

Finalmente, haciendo a r tender a cero en (4), se obtiene la tesis.¤

Z∞ Z∞
Si se quiere calcular f (x)cos(αx)dx ( f (x)sen(αx)dx) pero f tiene un
−∞ −∞
polo simple que coincide con un cero de cos(αx) (sen(αx)) no es posible aplicar
Análisis III B - Turno mañana - Integrales impropias 6

el Corolario 2. Un caso así se presenta en el siguiente ejemplo que se resuelve

aplicando el Teorema 3.
Z∞
senx
Ejemplo: Por el criterio de Dirichlet se prueba que la integral dx
x
0
Z∞ ¯ ¯
¯ senx ¯
converge. Esta convergencia es condicional ya que ¯ ¯ dx diverge.
x
0
Dado que
⎡∞ ⎤
Z∞ Z∞ Z ix
senx 1 senx 1 e
dx = dx = Im ⎣ dx⎦ ,
x 2 x 2 x
0 −∞ −∞

Z∞
eix
calculamos dx. Consideremos el recinto determinado por la intersección de
x
−∞
|z| 6 R con |z| > r en Im(z) > 0 para R > r > 0. El borde del recinto C está
compuesto por las semicircunferencias γ R : z(t) = Reit y γ r : z(t) = reit con
0 6 t 6 π y los intervalos [−R, −r] y [r, R], es decir,

eiz
Como sólo tiene una singularidad en z = 0 :
z
Z iz
e
dz = 0
z
C+

y descomponiendo la integral convenientemente:

Z
−r Z Z ZR
eiz eiz eiz eiz
dz + dz + dz + dz = 0 (5)
z z z z
−R γ−
r γ+ r
R
Análisis III B - Turno mañana - Integrales impropias 7

Resulta que la integral sobre γ R tiende a cero cuando R tiende a +∞ ya que

¯ ¯ ¯ ¯
¯Z iz ¯ ¯Zπ iR(cos t+isent) ¯ Zπ Zπ
¯ e ¯ ¯ e ¯ ¯ −Rssent+iR cos t ¯
¯ ¯=¯ it ¯ ¯e ¯ dt =
¯ dz
z ¯¯ ¯¯ R eit
R i e dt¯6 e−Rsentdt =
¯ ¯
γR 0 0 0

Z
π/2 Z
π/2
2 e−R − 1
=2 e−Rsent dt 6 2 e− π Rt dt = −π −−−−→ 0
R − R→+∞
0 0

(en la última desigualdad se usó que sent > 2t/π en el intervalo [0, π/2]).
Por lo tanto, tomando límite para R tendiendo a +∞ y r a cero en (5) y
aplicando el Teorema 3 se obtiene:
Z∞ Z ∙ iz ¸
eix eiz e
dx = lim dz = iπRes , 0 = iπ
x r→0 z z
−∞ γ+
R

y
Z∞
senx π
dx = .
x 2
0

Completamos con el siguiente ejemplo que involucra el uso de una rama de una
función multiforme:
Z∞
f (x)
Ejemplo: Supongamos que se sabe que la integral dx converge y que
xα
0

• 0 < α < 1,

• f tiene finitas singularidades, ninguna sobre el eje real positivo

• zf (z) −→ 0 si z −→ ∞.

Si pretendemos trabajar con la extensión al plano compleja de la función a

integrar, debemos elegir una rama conveniente de la función multiforme z α . A
pesar de que queremos integrar sobre (0, +∞), resultará que lo más conveniente
es justamente considerar la rama definida en C − (0, +∞). Luego, tomaremos un
recinto anular “salvo una porción del anillo” alrededor de (0, +∞) pero tal que al
tomar límite, “aparece” la integral que queremos calcular. Más específicamente,
consideremos el recinto Ω de la figura con R > 0 suficientemente grande y r > 0
y ε > 0 suficientemente chicos de modo que todas las singularidades de f queden
dentro de Ω. Gráficamente,
Análisis III B - Turno mañana - Integrales impropias 8

Si llamamos Γal borde del recinto Ω y cada zk es una singularidad de f , por el

teorema de los residuos sabemos que:
Z X
f (z) f (z)
dz = 2πi Res[ , zk ]
zα k
z α
Γ+

con z α definida por la rama del logaritmo con 0 < arg(z) < 2π.
Analicemos las integrales sobre cada una de las curvas que componen Γ :
•
Z ZR ZR ZR
f (z) f (teiε ) iε f (teiε ) iε f (t)
dz = e dt = e dt −−→
ε→0 dt
zα (teiε )α tα eiαε tα
γ+ r r r
1

f (teiε ) f (t)
ya que α iαε
dt −−→
ε→0 uniformemente respecto de t (se prueba a partir
t e tα
de la continuidad de la f , acotando adecuadamente)
•
Z ZR ZR
f (z) f (te(2π−ε)i ) (2π−ε)i f (t)
dz = − e dt −−→ α−2πiα
ε→0 R dt
zα tα e(2π−ε)iα tα
γ− r r
3

•
¯ ¯ ¯2π−ε ¯ 2π−ε
¯Z ¯ ¯Z ¯ Z
¯ f (z) ¯ ¯ it
f (R e ) ¯ |f (R e it )| R
¯ dz ¯ = ¯ iR eit ¯
dt 6 dt 6
¯ zα ¯ ¯ Rα eiαt ¯ Rα
¯ ¯ ¯ ¯
γ2 ε ε

M(R)R M(R)R
6 (2π − 2ε) α
−−→ 2π
ε→0
R Rα
Análisis III B - Turno mañana - Integrales impropias 9

•
¯ ¯ ¯ 2π−ε ¯ 2π−ε
¯Z ¯ ¯ Z ¯ Z
¯ f (z) ¯ ¯ f (r eit
) ¯ |f (r eit )| r
¯ dz ¯ = ¯− ireit
dt¯6 dt 6
¯ zα ¯ ¯ rα eiαt ¯ rα
¯ ¯ ¯ ¯
γ4 ε ε

6 (2π − 2ε)Cr1−α −−→

ε→0 2πCr 1−α

Por lo tanto, tomando límite para R → +∞, r → 0 y ε → 0 resulta:

X Z∞
f (z) f (t)
2πi Res[ α , zk ] = (1 − e−2πiα ) dt
k
z tα
0

y entonces,
Z∞ X
f (t) 2πi f (z)
α
dt = −2πiα
Res[ α , zk ]
t 1−e k
z
0