Anlisis III B - Turno maana - Integrales impropias

Clculo de integrales reales impropias mediante teora de residuos

Teorema 1. Sea f : C C tal que a) f es holomorfa en Im(z) > 0 salvo en un nmero nito de puntos ninguno de los cuales est sobre el eje real, b) z |zf (z)| = 0. lim
Im(z)>0

Entonces
R+

lim

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 adems, sea relativamente fcil ver qu sucede con la integral de f sobre el resto de la frontera. Consideremos el recinto denido por |z| 6 R en Im(z) > 0 con R sucientemente grande de manera que contenga a todas las singularidades zk con parte imaginaria positiva. El borde del recinto R , est compuesto por la semicircunferencia R : z(t) = Reit con 0 6 t 6 y el intervalo [R, R]. Grcamente,

R Z

X f (x)dx = 2i Res[f, zk ].
k

Por el teorema de los residuos y dada la eleccin de R : Z X f (z)dz = 2i Res[f, zk ].

+ R k

(1)

Por otro lado, Z f (z)dz =

R Z

f (x)dx +

+ R

f (z)dz

(2)

+ R

Anlisis III B - Turno maana - Integrales impropias

Claramente debido a la hiptesis b), el trmino a la derecha de la ltima igualdad tiende a cero cuando R tiende a innito y en consecuencia, lo mismo vale para la segunda integral de (2). Finalmente, tomando lmite para R tendiendo a innito en (1), resulta la tesis. Observacin: Si f satisface las hiptesis del Teorema 1 pero en Im(z) 6 0, una demostracin anloga prueba que lim
R Z

La segunda integral puede acotarse haciendo: Z f (z)dz 6 R sup |f (z)| = sup |zf (z)| zR zR
R

R+

f (x)dx = 2i

X
k

Res[f, zk ].

siendo zk las singularidades de f con parte imaginaria negativa. Corolario 1. Si f es integrable en (, ) y su extensin como funcin compleja verica las hiptesis del Teorema 1, entonces:
Z

f (x)dx = 2i

X
k

Res[f, zk ]

siendo zk las singularidades de f con parte imaginaria positiva. D) Es inmediato del Teorema 1 y la relacin entre la integral impropia con su valor principal. Z dx Ejemplo: La convergencia de la integral se concluye usando el (1 + x2 )4 criterio de comparacin y la convergencia de
Z Z 1 0

dx . Para hallar su valor, calcularex6

mos

dx 1 aplicando el resultado anterior. La funcin f (z) = 2 )4 (1 + x (1 + z 2 )4

cumple las hiptesis del Corolario 1 y su nica singularidad en el semiplano su000 (i) siendo perior es z = i, que es un polo de orden 4. Sabemos que Res[f, i] = 3! 5 (z) = (z i)4 f (z) y resulta que Res[f, i] = . Luego, 32i Z Z dx dx 1 5 . = = 2 )4 2 )4 (1 + x 2 (1 + x 32
0

Anlisis III B - Turno maana - Integrales impropias

Teorema 2. Sea f : C C tal que a) f es holomorfa en Im(z) > 0 salvo en un nmero nito de puntos ninguno de los cuales est sobre el eje real, b) z |f (z)| = 0. lim
Im(z)>0

Entonces para cualquier > 0 : lim

R Z

R+

f (x)eix dx = 2i

X
k

Res[f (z)eiz , zk ].

siendo zk las singularidades de f con parte imaginaria positiva. D) Sigue la misma lnea que la demostracin del Teorema 1. Es posible acotar la integral denida sobre la semicircunferencia y demostrar que tiende a cero cuando R tiende a + en tanto sea un nmero real positivo. Corolario 2. Si f (x)eix es integrable en (, ) y la extensin de f como funcin compleja verica las hiptesis del Teorema 2, entonces para cualquier > 0: Z X f (x)eix dx = 2i Res[f (z)eiz , zk ]
k

y por lo tanto,
Z

f (x)cos(x)dx = Re 2i

X
k

Res[f (z)eiz , zk ]

! !

f (x)sen(x)dx = Im 2i

X
k

Res[f (z)eiz , zk ]

siendo zk las singularidades de f con parte imaginaria positiva. D) Es inmediato del Teorema 2 y la relacin entre la integral impropia con su valor principal. Z cos(mx) Ejemplo: La convergencia de la integral dx se puede concluir 1 + x2

mediante el criterio de comparacin y la convergencia de su valor, aplicaremos el Corolario 2 a la funcin f (z) =

1 . En efecto, 1 + z2 esta funcin cumple las hiptesis requeridas. Su nica singularidad en el semieimz . Resta calcular plano superior es z = i que es un polo de orden 1 para 1 + z2

Z 1

dx . Para hallar x2

Anlisis III B - Turno maana - Integrales impropias

Res[

eimz eimz em , i] = lim = . Luego, zi z + i 1 + z2 2i

Z

cos(mx) dx = m . 2 1+x e

El siguiente ejemplo da muestra de un ejemplo en donde no se verican las hiptesis de los teoremas anteriores pero que tambin se puede resolver mediante residuos haciendo una eleccin 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 rectngulo de la siguiente gura:

Aplicando el teorema de los residuos y parametrizando el borde, dado que la eaz nica singularidad de es z = i, tenemos que 1 + ez
R Z

eax dx + 1 + ex

2 Z 0

ea(R+iy) idy + 1 + eR+iy

eaz = 2iRes[ , i] = 2ieai 1 + ez

R Z R

ea(x+2i) dx + 1 + ex+2i

0 Z

ea(R+iy) idy = 1 + eR+iy

(3)

y por lo tanto, tiende a cero cuando R tiende a + porque 0 < a < 1. De manera anloga, se demuestra que la cuarta integral tiende a cero.

Acotando la segunda integral: 2 2 2 Z Z Z a(R+iy) e eaR eaR eaR dy 6 dy = 2 R idy 6 1 + eR+iy |1 + eR+iy | eR 1 e 1
0 0 0

Anlisis III B - Turno maana - Integrales impropias

Finalmente, tomando lmite para R tiende a + en (3) se obtiene (1 e2ai ) de donde

Z Z

eax dx = 2ieai 1 + ex

eai eax = dx = 2i 2ai x 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 ]
r0 + 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: f (z) = a + 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 z z0
+ r + r + r

(4)

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 r0 0 + r Por otro lado, Z a dz = Res[f, z0 ] z z0 Z dz = Res[f, z0 ] z z0
Z2 1

irei d = i(2 1 )Res[f, z0 ] rei

+ r

+ r

Finalmente, haciendo a r tender a cero en (4), se obtiene la tesis. Z Z f (x)cos(x)dx ( f (x)sen(x)dx) pero f tiene un Si se quiere calcular polo simple que coincide con un cero de cos(x) (sen(x)) no es posible aplicar

Anlisis III B - Turno maana - Integrales impropias

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
Z senx converge. Esta convergencia es condicional ya que dx diverge. x 0 0

Dado que

Z 0 Z

senx 1 dx = x 2

Z ix senx e 1 dx = Im dx , x 2 x

calculamos

eix dx. Consideremos el recinto determinado por la interseccin 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,

Como

eiz slo tiene una singularidad en z = 0 : z Z iz e dz = 0 z

C+

y descomponiendo la integral convenientemente:

r Z

eiz dz + z

eiz dz + z

eiz dz + z

+ R

R Z r

eiz dz = 0 z

(5)

Anlisis III B - Turno maana - Integrales impropias

Resulta que la integral sobre R tiende Z iz Z iR(cos t+isent) Z e e dz = R i eit dt 6 z R eit

R 0 0

a cero cuando R tiende a + ya que Rssent+iR cos t e dt = eR 1 0 R R+

Z 0

eRsentdt =

=2

/2 Z 0

eRsent dt 6 2

/2 Z 0

e Rt dt =

(en la ltima desigualdad se us que sent > 2t/ en el intervalo [0, /2]). Por lo tanto, tomando lmite para R tendiendo a + y r a cero en (5) y aplicando el Teorema 3 se obtiene:
Z

eix dx = lim r0 x

+ R

iz eiz e dz = iRes , 0 = i z z

Z 0

senx dx = . x 2

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

0 < < 1, f tiene nitas singularidades, ninguna sobre el eje real positivo zf (z) 0 si z . Si pretendemos trabajar con la extensin al plano compleja de la funcin a integrar, debemos elegir una rama conveniente de la funcin multiforme z . A pesar de que queremos integrar sobre (0, +), resultar que lo ms conveniente es justamente considerar la rama denida en C (0, +). Luego, tomaremos un recinto anular salvo una porcin del anillo alrededor de (0, +) pero tal que al tomar lmite, aparece la integral que queremos calcular. Ms especcamente, consideremos el recinto de la gura con R > 0 sucientemente grande y r > 0 y > 0 sucientemente chicos de modo que todas las singularidades de f queden dentro de . Grcamente,

Anlisis III B - Turno maana - Integrales impropias

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 = 2i Res[ , zk ] z z k
+

con z denida por la rama del logaritmo con 0 < arg(z) < 2. Analicemos las integrales sobre cada una de las curvas que componen : Z f (z) dz = z
R Z r

f (tei ) i e dt = (tei )

+ 1

R Z r

f (tei ) i e dt 0 t ei

R Z r

f (t) dt t

ya que

f (t) f (tei ) dt uniformemente respecto de t (se prueba a partir 0 ei t t de la continuidad de la f , acotando adecuadamente) Z
R Z r R Z r

f (z) dz = z

f (te(2)i ) (2)i e dt R2i 0 t e(2)i

f (t) dt t

2 2 Z Z Z it f (z) f (R e ) |f (R e it )| R it = dz iR e dt 6 dt 6 z R eit R
2

6 (2 2)

M(R)R M(R)R 2 0 R R

Anlisis III B - Turno maana - Integrales impropias

2 2 Z Z Z it f (z) f (r e ) it |f (r eit )| r dz = ire dt 6 dt 6 z r eit r

4

6 (2

2)Cr1 0

2Cr

Por lo tanto, tomando lmite para R +, r 0 y 0 resulta: 2i y entonces, X

k

f (z) Res[ , zk ] = (1 e2i ) z

Z 0

f (t) dt t

Z 0

X f (t) 2i f (z) dt = Res[ , zk ] 2i t 1e z k