Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Integrales impropias
7.1. Definicin de integral impropia y primeras propiedades
El concepto de integral se extiende de manera casi espontnea a situaciones ms generales que
las que hemos examinado hasta ahora. Consideremos, por ejemplo, la funcin no acotada
f : (0, 1] R,
f (t) = logt.
Puesto que f es continua, para cada x (0, 1] existe su integral en [x, 1], que vale
! 1
x
f=
! 1
x
y como
lm
! 1
x0+ x
f = lm+ [1 x log x + x] = 1,
x0
! 1
0
f = 1.
Igualmente, si en el intervalo no acotado [0, +) tomamos la funcin continua f (t) = et , para cada
x [0, +) tenemos
! x
lm
!0 x
x+ 0
f=
! x
0
x
et dt = [et ]t=x
t=0 = e + 1,
"
#
f = lm ex + 1 = 1,
x+
! +
0
et dt = 1.
Siguiendo estas ideas podemos definir en distintas situaciones una integral generalizada o integral
impropia, lo que nos llevar a estudiar diferentes tipos de condiciones que permitan asegurar su existencia.
161
162
7.1.1.
$b
y es finito, decimos que la integral impropia a f es convergente, y al valor de dicho lmite lo llama$
mos integral impropia de f en el intervalo [a, b); se denota por ab f . Si el lmite (7.1) existe, pero es
+ o , decimos que la integral impropia diverge a + o , y si no existe el lmite decimos que
la integral impropia no existe, o que no tiene sentido, o que es oscilante (esta ltima denominacin
se reserva en algunos textos para otro concepto distinto).
Si la integral impropia de una funcin en un intervalo es convergente se dice que la funcin es
integrable en sentido impropio en dicho intervalo.
De manera enteramente anloga puede definirse la integral impropia de una funcin en un intervalo (a, b], a < b < +:
Definicin 7.1.3. Dada una
funcin f : (a, b] R localmente integrable, a < b < +, decimos
$
que la integral impropia ab f es convergente si existe el lmite
lm+
xa
! b
x
f (t) dt
(7.2)
y es finito, y$ al valor de dicho lmite lo llamamos integral impropia de f en el intervalo (a, b]; se
denota por ab f . Si el lmite (7.2) existe, pero es + o , decimos que la integral impropia diverge
a + o , y si no existe el lmite decimos que la integral impropia no existe, o no tiene sentido, o
que es oscilante.
La definicin de integral impropia de funciones localmente integrables en intervalos abiertos puede hacerse mediante lmites en dos variables o reducindola a las definiciones anteriores del siguiente
modo:
Definicin 7.1.4. Dada una
funcin f : (a, b) R localmente integrable, $ a < b$ +, decimos
$
que la integral impropia ab f es convergente si existe un c (a, b) tal que ac f y cb f son ambas
convergentes; en ese caso, se define
! b
a
f=
! c
a
f+
! b
c
f.
163
Del siguiente resultado (y de su anlogo para intervalos semiabiertos por la izquierda) se deduce
que en esta definicin es indiferente el punto c que se elija. Tambin se deduce que la convergencia
de una integral impropia es un concepto local, que depende solo del comportamiento del integrando
cerca del punto impropio, en un entorno del extremo conflictivo.
Proposicin 7.1.5. Sea f : [a, b) R una funcin localmente integrable y sea a < c < b. La funcin
f es integrable en sentido impropio en [a, b) si y solo si es integrable en sentido impropio en [c, b), en
cuyo caso se tiene
! b
f=
! c
a
f+
! b
f.
(7.3)
f=
! c
a
f+
! x
f.
Por tanto, el lmite cuando x b de la primera integral existe si y solo si existe el lmite de la tercera
integral, y cuando esto suceda, pasando al lmite se obtiene la relacin (7.3).
Los conceptos anteriores se extienden al caso de funciones definidas en una unin finita de intervalos disjuntos. Por ejemplo:
Definicin 7.1.6. Sea J = nk=1 Ik , donde (Ik )nk=1 es una familia de intervalos
disjuntos. Si f es una
$
funcin localmente integrable en J, se dice que la integral impropia J f es convergente si converge
$
cada una de las integrales abkk f , donde ak y bk son los extremos de Ik ; en ese caso, se define
!
f=
! bk
k=1 ak
f.
si < 1, y divergen a + si 1.
b) La integral impropia
c) La integral impropia
! +
dt
1
! +
0
! b
a
dt
y
(t a)
! b
a
dt
son convergentes
(b t)
d) La funcin
f (x) =
1
1 x2
dx
=
1
1 x2
! 0
dx
+
1
1 x2
! 1
0
dx
= ( ) + =
2
2
1 x2
164
Nota. Para ms sencillez, solo vamos a considerar por lo general integrales impropias en intervalos
del tipo [a, b), donde < a < b +. Dejamos al lector escribir las modificaciones pertinentes
para los otros casos.
La nocin de integral impropia se reduce a la de integral de Riemann cuando tratamos con funciones integrables-Riemann.
Proposicin 7.1.7. Sea f : [a, b] R una funcin integrable-Riemann en [a, b]. Entonces f es integrable en sentido impropio en [a, b) y su integral impropia es igual a la integral de Riemann.
Demostracin. Segn el teorema fundamental del clculo integral (teorema 6.3.4), la funcin
F(x) =
es continua en b, as que
! b
a
! x
f = lm
xb
! x
a
f.
Esto demuestra que f es integrable en sentido impropio en [a, b) y que su integral impropia es igual a
la integral de Riemann.
La misma idea sirve para demostrar que si una funcin es continua en [a, b) y en b tiene una
discontinuidad evitable, entonces es integrable en sentido impropio en [a, b):
Proposicin 7.1.8. Sea < a < b < +. Si f : [a, b) R es una funcin continua y existe el lmite
lm f (x) R, entonces f es integrable en sentido impropio en [a, b) y
xb
! b
a
f=
! b
a
g,
f = lm
xb
! x
a
f = lm
xb
! x
a
g=
! b
a
g,
donde en la ltima igualdad se usa el teorema fundamental del clculo integral (teorema 6.3.4).
Observacin. Con la misma demostracin, se puede probar que si f es una funcin localmente integrable en [a, b) y se puede extender a una funcin integrable-Riemann en [a, b], entonces la integral
impropia
! b
a
es convergente.
7.1.2.
165
Algunas propiedades de la integral de Riemann se trasladan sin dificultad a las integrales impropias, como muestran las proposiciones siguientes.
Proposicin 7.1.9. Sean f , g funciones integrables en sentido impropio en un intervalo [a, b). Dados
, R, la integral impropia
! b
a
es convergente, y se cumple
! b
a
( f + g)
( f + g) =
! b
a
f +
! b
a
g.
Proposicin 7.1.10 (regla de Barrow para integrales impropias). Sea g una funcin derivable en
[a, b) y tal que
g)
! b
a
g) es convergente si y
! b
a
g) = lm g(x) g(a).
xb
Proposicin 7.1.11 (integracin por partes en integrales impropias). Sean u, v funciones derivables en [a, b) y tales que u) , v) son localmente integrables en [a, b). Si existen y son reales dos de los
lmites siguientes:
lm
! x
u) v,
! b
u) v.
lm
xb
! x
a
uv) ,
lm u(x)v(x),
xb
xb
xb
f (u(x))u) (x) dx
u(a)
f (t) dt,
f (u(x))u) (x) dx =
! !
u(a)
f (t) dt.
yb
166
! x
a
x [a, b)
f,
xb
se deduce que el lmite es finito si F est acotada (superiormente), mientras que si no est acotada el
lmite es +.
Una consecuencia importante de este resultado es el siguiente criterio de comparacin, que permite reducir el estudio de la convergencia de una integral impropia al de otras conocidas.
Proposicin 7.2.2 (criterio de comparacin por mayoracin). Sean f , g funciones no negativas
localmente integrables en un intervalo [a, b). Supongamos que existen una constante
K y algn c
$
[a, b) tales que f (x) Kg(x) siempre que c < x < b. Si la integral impropia ab g es convergente,
$
entonces tambin la integral impropia ab f es convergente.
Demostracin. Para cada x [a, b) es
! x
a
! c
a
f +K
! b
c
g,
lm
xb
$b
$b
a
$b
fy
$b
a
$b
a
$b
a
f tambin
f tambin diverge.
167
Demostracin. a) Si ! < , tomemos ! < K < ; existe un c tal que f (x) < Kg(x) si c < x < b. Basta
entonces aplicar el criterio 7.2.2 de mayoracin.
b) Si 0 < !, tomemos 0 < K < !; existe algn
c tal que f (x) > Kg(x) si c < x < b. Por el crite$
$
rio 7.2.2 de mayoracin, si la integral impropia ab g diverge necesariamente la integral impropia ab f
debe divergir.
c) Es una consecuencia inmediata de a) y b).
$
Ntese que si, en particular, es f (x) g(x) cuando x b , entonces ab f y ab g tienen el mismo
carcter.
Examinando los ejemplos que hemos visto de convergencia y divergencia, del criterio 7.2.3 se
deduce:
Corolario 7.2.4 (criterio de Pringsheim).
a) Sea f una funcin no negativa, localmente integrable en un intervalo [a, +) y tal que para algn existe el lmite
lm x f (x) = ! [0, +) {+}.
x+
Entonces:
si 1 y ! > 0, la integral
$ +
a
si > 1 y ! += +, la integral
f diverge (a +).
$ +
a
f converge.
b) Sea f una funcin no negativa, localmente integrable en un intervalo [a, b), con < a < b <
+, y tal que para algn existe el lmite
lm (b x) f (x) = ! [0, +) {+}.
xb
Entonces:
si 1 y ! > 0, la integral
$b
a
si < 1 y ! += +, la integral
7.2.2.
f diverge (a +).
$b
a
f converge.
Integrales impropias de integrando cualquiera: convergencia absoluta y convergencia condicional. Criterios de Abel y Dirichlet
Definicin 7.2.5. Sea f una funcin localmente integrable en [a, b). Decimos que la integral impropia
de f en [a, b) es absolutamente convergente si la integral impropia
! b
a
| f (t)| dt
es convergente.
Proposicin 7.2.6. Toda integral impropia absolutamente convergente es convergente.
Demostracin. Sea f : [a, b) R localmente integrable y supongamos que la integral impropia
es convergente. Definamos
f+ (x) = max{ f (x), 0},
f (x) = max{ f (x), 0}.
$b
a
|f|
168
0 f | f |,
as que las integrales impropias ab f+ y ab f son convergentes. Tambin es fcil comprobar que
$
f = f+ f , luego la integral ab f es convergente.
f
f+
Las funciones f , f + y f
! +
cos x
y la integral
b) la integral
1!
x2
1
x2
dx
converge);
x2
! +
sen x
% x%
%
dx es convergente, porque es absolutamente convergente (0 % cos
x2
dx =
! y
cos x
1
x2
dx
y el segundo miembro de esta igualdad tiene lmite finito para y +, como consecuencia de
a).
Sin embargo, hay integrales impropias convergentes
que no son absolutamente convergentes. El
$ + sen x
ejemplo estndar es precisamente la integral 0
x dx, como vemos a continuacin.
Ejemplo. La integral
$ + | sen x|
0
! n
(n1)
Luego
| sen x|
1
dx
x
n
! N
| sen x|
0
2
dx
! n
(n1)
| sen x| dx =
! N+1
dx
1
2
2
! n+1
dx
n
2
log(N + 1) +.
7.3. Ejercicios
169
Como hay integrales impropias condicionalmente convergentes, es importante disponer de criterios de convergencia que no dependan de la convergencia absoluta; de ellos, los que ms se usan en la
prctica son los criterios de Abel y Dirichlet.
Proposicin 7.2.8 (criterio de Abel). Sea f una funcin integrable en sentido impropio en
un in$
tervalo [a, b) y g una funcin montona y acotada en dicho intervalo. Entonces la integral ab f g es
convergente.
Proposicin 7.2.9 (criterio
%! x de% Dirichlet). Sea f una funcin localmente integrable en un interva%
%
lo [a, b) y tal que sup %%
f %% es finito y sea g una funcin montona en [a, b) con lm g(x) = 0.
a<x<b a
$b
a f g es
Entonces la integral
xb
convergente.
7.3. Ejercicios
Ejercicio 7.1. Estudiar la convergencia de la integral
! +
1
dx
|x(1 x2 )|
a)
! 1/2
e)
dx
1 + x2
b)
dx
x log x
f)
! /2
dx
i)
m)
dx
x2 + x
! + 2 x
x e
p)
1 + x2
log x
dx
! +
log x
dx
! 1
dx
0
1 x2
! 3
dx
2 1)2
(x
0
n)
! +
q)
! +
dx
t)
c)
x+1
j)
cos x
! +
! +
dx
ex dx
g)
k)
r)
! +
0
! +
dx
|x 1|
! 1
d)
x dx
0
x4 + 3
! + 2
x dx
4 +1
x
0
! 2
h)
dx
2
2
x + 6x 8
! +
sen x
dx
2
1 + x
dx
(x3 4x2 + 4x)1/3
! +
l)
! 4
log x dx
! 3
o)
! 1
s)
dx
(1 + x5 )1/6
dx
(x(3 x))1/3
1
(log x) sen dx
x
Ejercicio 7.3. Estudiar la convergencia de las siguientes integrales y, si convergen, calcular su valor:
a)
e)
i)
m)
! +
1
!
0
dx
x(1 + x2 )
dx
2 + cos x
! + x
e
dx
1 + ex
! 1)
1+x
dx
1x
1
1
b)
f)
j)
! +
2
!
0
c)
cos2 x
dx
1 + cos2 x
! +
0
dx
x2 1
|x 3|e
dx
g)
k)
! 0
xex dx
! +
1
! +
0
d)
dx
x x2 1
|x2|
xe
dx
h)
l)
! 1
x| log x| dx
! 3
|x 2| log x dx
! 2
x2 dx
2
4 x2
1
170
Ejercicio 7.4 (funciones gamma y beta de Euler). Probar que dados t, u, v (0, +), las siguientes
integrales son convergentes:
(t) =
B(u, v) =
Ejercicio 7.5.
! +
0
! 1
0
xt1 ex dx,
! +
0
! +
x2 ex dx
x3 e
x2
dx
b)
f)
! +
0
! +
0
34x dx
x2
(x 3)e
c)
dx
g)
! +
! +
0
x2 e|x1| dx
(x2 + 1)e
d)
dx
! 1
0
x2 log4 x dx