EJEMPLOS DE INTEGRACIÓN IMPROPIA

LEONARDO FIGUEROA

1. Técnica del  y el r
1.1. Integrando singular. Supongamos que deseamos calcular el valor de la
integral

1
1 − ex
Z  
(1) f (x) dx, donde f (x) = cos xα
0 1 + ex
 
1−e0
y donde α es una constante en el intervalo abierto (−1, 0). Como α < 0 y cos 1+e0 =
1,
lı́m f (x) = ∞;
x→0+

esto es, la integral es impropia. Por otro lado, como el coseno siempre tiene sus
valores en [−1, 1] y α > −1, la integral es nita.
Los métodos que vimos en general funcionan garantizadamente bajo condiciones
que implican que f ∈ C([0, 1]). Como nuestro f no satisface eso (pues su límite
lateral explota en 0), usamos el procedimiento del  y del r estudiado en clase. Sea
entonces  > 0 una tolerancia. Queremos en forma analítica hallar un r > 0 tal que
Z r 
 
(2)  f (x) dx  ≤ .
 
0

Una vez hallado ese r tendremos

Z 1 Z r Z 1
f (x) dx = f (x) dx + f (x) dx
0 0 r

y como la primera integral del lado derecho tendrá valor absoluto menor o igual
que nuestra tolerancia  la podremos ignorar y la segunda ya no es impropia y para
ella podremos usar los métodos que conocemos.
¾Cómo hacemos para hallar ese r? Esto depende fuertemente de cada integral
en particular. Aquí nos ayuda que el coseno, sea donde sea que se evalúe, siempre
tiene valor absoluto entre 0 y 1. De este modo,
r  Z r r
1 − ex rα+1
Z    Z
α
xα dx =
   
 f (x) dx ≤
  cos x dx ≤ .

0
 1 + ex
0

0 α+1
Vemos entonces que eligiendo r rα+1 /(α + 1) ≤  esta-
de manera que se satisfaga
α+1
remos satisfaciendo (2). Como la función t 7→ t /(α + 1) es creciente podemos
1/(α+1)
despejar el r de esa inecuación y obtener que basta pedir r ≤ ((α + 1)) ; en
1/(α+1)
particular r = ((α + 1)) sirve.

Fecha : 2 de noviembre de 2015.

1
2 LEONARDO FIGUEROA

1.2. Intervalo innito. Supongamos que deseamos calcular el valor de la inte-

gral

∞
x3 − x2 − 9x + 9 −2x
Z
(3) f (x) dx, donde f (x) = e dx.
0 x2 + 3x + 2
Como el intervalo de integración es innito esta integral es impropia. Ahora, se
puede probar (½ejercicio!) que
 3
 x − x2 − 9x + 9 

9
(4)
 x2 + 3x + 2  ≤ x + 2 para todo x ∈ [0, ∞).
 

Por lo tanto, la integral es nita (el e−2x le gana al x + 29 ). Los métodos que vimos
requieren usar un intervalo nito. Como el intervalo de la integral en (3) es innito
usamos el procedimiento del  y del r relevante para este caso. Sea entonces >0
una tolerancia. Queremos en forma analítica hallar un r ∈ [0, ∞) tal que
Z
 ∞ 

(5) 
 f (x) dx ≤ .
r

Una vez hallado ese r tendremos

Z ∞ Z r Z ∞
f (x) dx = f (x) dx + f (x) dx
0 0 r

y como la segunda integral del lado derecho tendrá valor absoluto menor o igual
que nuestra tolerancia  la podremos ignorar y la primera ya no es impropia y para
ella podremos usar los métodos que conocemos.
El hallazgo de un r que satisfaga (5) de nuevo depende fuertemente de la forma
particular que tenga la integral. Por la desigualdad (4),

Z ∞  Z ∞  3
 x − x2 − 9x + 9 −2x 
 Z ∞  
9
e−2x dx
 
 f (x) dx ≤ 
 x2 + 3x + 2 e  dx ≤ x+

r r

r 2
x=∞
1 −2x 1
= e−2r (5 + r).

=− e (5 + x)
2 x=r 2

Vemos entonces que eligiendo r ∈ [0, ∞) de manera que se satisfaga

1 −2r
(6) e (5 + r) ≤ 
2
estaremos satisfaciendo (5). Ahora, si r ∈ [0, ∞) entonces (5 + r)/2 ≤ 5/2er/5 (½otro
ejercicio!). Luego, si (pero no solamente si) e
−2r
5/2er/5 = 5/2e−9/5r ≤ , estaremos
satisfaciendo (6) y por consiguiente (5). Por lo monótona decreciente de la función
t 7→ 5/2e−9/5t podemos resolver la inecuación para r y vemos que basta con elegir
r ∈ [0, ∞) tal que r ≥ −5/9 ln(2/5). En particular r = máx (0, −5/9 ln(2/5))
funciona.

2. Otras técnicas

Nota: Los comentarios que siguen no forman parte de los contenidos

del curso.
 EJEMPLOS DE INTEGRACIÓN IMPROPIA 3

Para calcular integrales, entre otras, de las formas

Z 1
(7) f (x)(1 − x)α (1 + x)α dx, α, β > −1,
−1
Z ∞
(8) f (x)xα e−x dx, α > −1,
0
y
Z ∞
2
(9) f (x)e−x dx,
−∞
(además, obviamente, de lo que resulte de sus cambios de variable por ejemplo,
para modicar límites de integración) donde f es una función que satisfaga
Z 1
(10) f ∈ C((−1, 1)) ∧ f (x)2 (1 − x)α (1 + x)α dx < ∞,
−1
Z ∞
(11) f ∈ C((0, ∞)) ∧ f (x)2 xα e−x dx < ∞
0
y
Z ∞
2
(12) f ∈ C((−∞, ∞)) ∧ f (x)2 e−x dx < ∞,
−∞
respectivamente, existen cuadraturas de tipo Gauss especializadas que reciben los
nombres de GaussJacobi, GaussLaguerre y GaussHermite, respectivamente. La
teoría general se halla en [1, Cap. XV] y técnicas conables y ecientes para calcular
los nodos y pesos correspondientes se pueden hallar en [2, 3, 4].

Referencias

[1] Gábor Szeg®, Orthogonal polynomials, fourth ed., American Mathematical Society, Providen-
ce, R.I., 1975, American Mathematical Society, Colloquium Publications, Vol. XXIII.
[2] Andreas Glaser and Xiangtao Liu and Vladimir Rokhlin, A fast algorithm for the calcula-
tion of the roots of special functions, SIAM J. Sci. Comput. 29 (2007), no. 4, 14201438.
doi:10.1137/06067016X.
[3] Nicholas Hale and Alex Townsend, Fast and accurate computation of GaussLegendre and
GaussJacobi quadrature nodes and weights, SIAM J. Sci. Comput. 35 (2013), no. 2, A652
A674. doi:10.1137/120889873.
[4] Alex Townsend and Thomas Trogdon and Sheehan Olver, Fast computation of Gauss qua-
drature nodes and weights on the whole real line, IMA J. Numer. Anal. (published online)
(2015). doi:10.1093/imanum/drv002.