Professional Documents
Culture Documents
Integrales impropias
7.1. Denicin 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
logt dt = [t logt t]
t=1
t=x
=1xlogx +x;
y como
lm
x0
+
_
1
x
f = lm
x0
+
[1xlogx +x] =1,
parece natural escribir, simplemente,
_
1
0
f =1.
Igualmente, si en el intervalo no acotado [0, +) tomamos la funcin continua f (t) = e
t
, para cada
x [0, +) tenemos
_
x
0
f =
_
x
0
e
t
dt = [e
t
]
t=x
t=0
=e
x
+1,
lm
x+
_
x
0
f = lm
x+
_
e
x
+1
_
= 1,
lo que sugiere escribir
_
+
0
e
t
dt = 1.
Siguiendo estas ideas podemos denir en distintas situaciones una integral generalizada o integral
impropia, lo que nos llevar a estudiar diferentes tipos de condiciones que permitan asegurar su exis-
tencia.
161
162 Captulo 7. Integrales impropias
7.1.1. Integrales impropias: denicin de integrales impropias convergentes, diver-
gentes, oscilantes
Denicin 7.1.1. Sea A R. Se dice que una funcin f : A R es localmente integrable en A si es
integrable en cada intervalo cerrado y acotado contenido en A.
Por ejemplo, todas las funciones continuas y todas las funciones montonas, acotadas o no, son
localmente integrables.
Obsrvese que si < a < b +, una funcin f es localmente integrable en [a, b) si y solo si
es integrable en cada intervalo [a, x] [a, b). Anlogamente, si a < b < +, una funcin f es
localmente integrable en (a, b] si y solo si es integrable en cada intervalo [x, b] (a, b].
Consideremos en primer lugar funciones denidas en intervalos del tipo [a, b), donde b es nito o
+.
Denicin 7.1.2. Dada una funcin f : [a, b) R localmente integrable, <a <b +, si existe
el lmite
lm
xb
_
x
a
f (t)dt (7.1)
y es nito, decimos que la integral impropia
_
b
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
_
b
a
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 denirse la integral impropia de una funcin en un inter-
valo (a, b], a < b < +:
Denicin 7.1.3. Dada una funcin f : (a, b] Rlocalmente integrable, a <b <+, decimos
que la integral impropia
_
b
a
f es convergente si existe el lmite
lm
xa
+
_
b
x
f (t)dt (7.2)
y es nito, y al valor de dicho lmite lo llamamos integral impropia de f en el intervalo (a, b]; se
denota por
_
b
a
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 denicin de integral impropia de funciones localmente integrables en intervalos abiertos pue-
de hacerse mediante lmites en dos variables o reducindola a las deniciones anteriores del siguiente
modo:
Denicin 7.1.4. Dada una funcin f : (a, b) Rlocalmente integrable, a <b +, decimos
que la integral impropia
_
b
a
f es convergente si existe un c (a, b) tal que
_
c
a
f y
_
b
c
f son ambas
convergentes; en ese caso, se dene
_
b
a
f =
_
c
a
f +
_
b
c
f .
7.1. Denicin de integral impropia y primeras propiedades 163
Del siguiente resultado (y de su anlogo para intervalos semiabiertos por la izquierda) se deduce
que en esta denicin 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 conictivo.
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
a
f =
_
c
a
f +
_
b
c
f . (7.3)
Demostracin. Basta tener en cuenta que para cada x (c, b) es
_
x
a
f =
_
c
a
f +
_
x
c
f .
Por tanto, el lmite cuando x b
k=1
_
b
k
a
k
f .
Nota. Cuando los intervalos (I
k
) son contiguos, es decir, cuando b
1
=a
2
, . . . , b
k1
=a
k
, . . . , b
n1
=a
n
,
suele escibirse
_
b
n
a
1
f en vez de
_
J
f .
Ejemplos. a) Dado R, las integrales impropias
_
b
a
dt
(t a)
y
_
b
a
dt
(bt)
son convergentes
si < 1, y divergen a + si 1.
b) La integral impropia
_
+
1
dt
t
1x
2
es localmente integrable en (1, 1) porque es continua. Su integral impropia es convergente:
_
1
1
dx
1x
2
=
_
0
1
dx
1x
2
+
_
1
0
dx
1x
2
=(
2
) +
2
=
( f tiene como primitiva la funcin arcsen).
164 Captulo 7. Integrales impropias
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 modicaciones pertinentes
para los otros casos.
La nocin de integral impropia se reduce a la de integral de Riemann cuando tratamos con fun-
ciones integrables-Riemann.
Proposicin 7.1.7. Sea f : [a, b] R una funcin integrable-Riemann en [a, b]. Entonces f es inte-
grable 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) =
_
x
a
f
es continua en b, as que
_
b
a
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
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 inte-
grable en [a, b) y se puede extender a una funcin integrable-Riemann en [a, b], entonces la integral
impropia
_
b
a
f
es convergente.
7.1. Denicin de integral impropia y primeras propiedades 165
7.1.2. Primeras propiedades de las integrales impropias
Algunas propiedades de la integral de Riemann se trasladan sin dicultad a las integrales impro-
pias, 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
( f +g)
es convergente, y se cumple
_
b
a
( 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
es convergente si y
solo si el lmite lm
xb
= lm
xb
g(x) g(a).
Proposicin 7.1.11 (integracin por partes en integrales impropias). Sean u, v funciones deriva-
bles 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
xb
_
x
a
uv
, lm
xb
u(x)v(x), lm
xb
_
x
a
u
v,
entonces el otro tambin existe y es real y se verica
_
b
a
uv
= lm
xb
u(x)v(x) u(a)v(a)
_
b
a
u
v.
Proposicin 7.1.12 (cambio de variable en integrales impropias). Sean I y J intervalos abiertos,
[a, b) J, f : I R una funcin continua, u : J I una funcin derivable tal que existe lm
yb
u(y) =
R{} y con derivada u
(x)dx
converge si y solo si converge la integral
_
u(a)
f (t)dt,
en cuyo caso ambas integrales son iguales:
_
b
a
f (u(x))u
(x)dx =
_
u(a)
f (t)dt.
166 Captulo 7. Integrales impropias
7.2. Convergencia de integrales impropias
7.2.1. Convergencia de integrales impropias con integrando no negativo. Criterios de
comparacin
En el caso particular de que la funcin sea no negativa, el estudio de la convergencia de su integral
es ms sencillo:
Proposicin 7.2.1. Sea f una funcin localmente integrable y no negativa en [a, b). La integral im-
propia
_
b
a
f es convergente si y solo si la funcin
F(x) =
_
x
a
f , x [a, b)
est acotada. En caso contrario, la integral diverge a +.
Demostracin. Como f es no negativa, la funcin F es montona no decreciente. Recordando que
lm
xb
f (x)
g(x)
= [0, +) {+}.
a) Si < + y la integral impropia
_
b
a
g converge, entonces la integral impropia
_
b
a
f tambin
converge.
b) Si 0 < y la integral impropia
_
b
a
g diverge, entonces la integral impropia
_
b
a
f tambin diverge.
c) Si 0 < <, las dos integrales
_
b
a
f y
_
b
a
g tienen el mismo carcter: o las dos son convergentes,
o las dos son divergentes.
7.2. Convergencia de integrales impropias 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
_
b
a
g diverge necesariamente la integral impropia
_
b
a
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
_
b
a
f y
_
b
a
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 integra-
ble en un intervalo [a, +) y tal que para algn existe el lmite
lm
x+
x
(bx)
| f |,
as que las integrales impropias
_
b
a
f
+
y
_
b
a
f
, luego la integral
_
b
a
f es convergente.
f
f
+
f
Las funciones f , f
+
y f
cosx
x
2
1
x
2
y la integral
_
+
1
dx
x
2
converge);
b) la integral
_
+
0
senx
x
dx es convergente, puesto que integrando por partes
_
y
1
senx
x
dx =
_
cosx
x
_
y
1
_
y
1
cosx
x
2
dx
y el segundo miembro de esta igualdad tiene lmite nito para y +, como consecuencia de
a).
Sin embargo, hay integrales impropias convergentes que no son absolutamente convergentes. El
ejemplo estndar es precisamente la integral
_
+
0
senx
x
dx, como vemos a continuacin.
Ejemplo. La integral
_
+
0
| senx|
x
dx no es convergente. En efecto: para cada n N,
_
n
(n1)
| senx|
x
dx
1
n
_
n
(n1)
| senx| dx =
2
n
2
_
n+1
n
dx
x
.
Luego
_
N
0
| senx|
x
dx
2
_
N+1
1
dx
x
=
2
log(N+1) +.
Denicin 7.2.7. Si una integral impropia es convergente pero no es absolutamente convergente, se
dice que es condicionalmente convergente.
7.3. Ejercicios 169
Como hay integrales impropias condicionalmente convergentes, es importante disponer de crite-
rios 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
_
b
a
f g es
convergente.
Proposicin 7.2.9 (criterio de Dirichlet). Sea f una funcin localmente integrable en un interva-
lo [a, b) y tal que sup
a<x<b
_
x
a
f
g(x) = 0.
Entonces la integral
_
b
a
f g es convergente.
7.3. Ejercicios
Ejercicio 7.1. Estudiar la convergencia de la integral
_
+
1
dx
_
|x(1x
2
)|
.
Ejercicio 7.2. Determinar el carcter de las siguientes integrales impropias:
a)
_
+
0
dx
1+x
2
b)
_
+
0
dx
x +1
c)
_
+
0
dx
|x 1|
d)
_
1
0
logxdx
e)
_
1/2
0
dx
xlogx
f)
_
+
1
logx
x
dx g)
_
+
0
xdx
x
4
+3
h)
_
2
1
dx
(x
3
4x
2
+4x)
1/3
i)
_
/2
0
dx
cosx
j)
_
1
0
dx
1x
2
k)
_
+
0
x
2
dx
x
4
+1
l)
_
+
0
dx
(1+x
5
)
1/6
m)
_
+
0
dx
x
2
+
x
n)
_
3
0
dx
(x
2
1)
2
_
4
2
dx
x
2
+6x 8
o)
_
3
0
dx
(x(3x))
1/3
p)
_
+
0
x
2
e
x
1+x
2
dx q)
_
+
2
e
x
3
dx r)
_
+
senx
1+x
2
dx s)
_
1
0
(logx)sen
1
x
dx
t)
_
+
2
dx
logx
Ejercicio 7.3. Estudiar la convergencia de las siguientes integrales y, si convergen, calcular su valor:
a)
_
+
1
dx
x(1+x
2
)
b)
_
+
2
dx
x
2
1
c)
_
0
xe
x
dx d)
_
1
0
x| logx| dx
e)
_
0
dx
2+cosx
f)
_
0
cos
2
x
1+cos
2
x
dx g)
_
+
1
dx
x
x
2
1
h)
_
2
2
x
2
dx
4x
2
i)
_
+
1
e
x
1+e
x
dx j)
_
+
0
|x 3|e
x
dx k)
_
+
0
xe
|x2|
dx l)
_
3
1
|x 2| logxdx
m)
_
1
1
_
1+x
1x
dx
170 Captulo 7. Integrales impropias
Ejercicio 7.4 (funciones gamma y beta de Euler). Probar que dados t, u, v (0, +), las siguientes
integrales son convergentes:
(t) =
_
+
0
x
t1
e
x
dx,
B(u, v) =
_
1
0
x
u1
(1x)
v1
dx.
Ejercicio 7.5. a) Probar que (t +1) =t(t), para todo t > 0.
b) Probar que (n+1) = n! para todo entero n 0.
Ejercicio 7.6. Teniendo en cuenta la funcin y sabiendo que (
1
2
) =
x
2
e
|x1|
dx d)
_
1
0
x
2
log
4
xdx
e)
_
+
x
3
e
x
2
dx f)
_
+
0
(x 3)e
x
2
dx g)
_
+
0
(x
2
+1)e
x
dx