Captulo 7

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 = 1 x log x + x; t=x

1

y como
x0

lm+

f = lm+ [1 x log x + x] = 1,
x0 1 0

parece natural escribir, simplemente, f = 1.

Igualmente, si en el intervalo no acotado [0, +) tomamos la funcin continua f (t) = et , para cada x [0, +) tenemos
x 0 x+ 0 x

f=

x 0

et dt = [et ]t=x = ex + 1, t=0

lm

f = lm ex + 1 = 1,
x+ + 0

lo que sugiere escribir et 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 existencia. 161

162

Captulo 7. Integrales impropias

7.1.1.

Integrales impropias: denicin de integrales impropias convergentes, divergentes, 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 x lm f (t) dt (7.1)
xb a

y es nito, decimos que la integral impropia f es convergente, 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.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 intervalo (a, b], a < b < +: Denicin 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
b xa

b a

lm+

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 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 denicin de integral impropia de funciones localmente integrables en intervalos abiertos puede 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) 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 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 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 denidas en una unin nita de intervalos disjuntos. Por ejemplo: Denicin 7.1.6. Sea J = n Ik , donde (Ik )n es una familia de intervalos disjuntos. Si f es una k=1 k=1 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 dene f=
n

k=1 ak

bk

f.

Nota. Cuando los intervalos (Ik ) son contiguos, es decir, cuando b1 = a2 , . . . , bk1 = ak , . . . , bn1 = an , suele escibirse ab1n f en vez de J f . Ejemplos. a) Dado R, las integrales impropias
+ b a

si < 1, y divergen a + si 1. b) La integral impropia c) La integral impropia d) La funcin

1 + 0

dt y (t a)

b a

dt son convergentes (b t)

dt es convergente si > 1. Si 1, diverge a +. t et dt es convergente si > 0. Si 0, diverge a +. f (x) = 1 1 x2

es localmente integrable en (1, 1) porque es continua. Su integral impropia es convergente: dx = 1 1 x2

1

dx + 1 1 x2

1 0

dx = ( ) + = 2 2 1 x2

( f tiene como primitiva la funcin arc sen).

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 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 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 f (x) R, entonces f es integrable en sentido impropio en [a, b) y
xb b a

f=

b a

g,

donde g es la extensin continua de f a [a, b]. Demostracin. La funcin g es integrable Riemann, ya que es continua en [a, b]. Segn la denicin de integral impropia,
b a

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. 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 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

( 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 localmente integrable en [a, b). La integral impropia
xb b a

g es convergente si y

solo si el lmite lm g(x) existe y es nito. Y si eso ocurre, entonces se verica

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:
x xb x

lm

uv ,

xb

lm u(x)v(x),

xb

lm

u v,

entonces el otro tambin existe y es real y se verica

b a

uv = lm u(x)v(x) u(a)v(a)
xb

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 u(y) =
yb

R {} y con derivada u continua. Entonces la integral

b a

f (u(x))u (x) dx

converge si y solo si converge la integral f (t) dt,

u(a)

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 impropia ab 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
xb

lm F(x) = sup{F(x) : x [a, b)},

se deduce que el lmite es nito 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

f +K

b c

g,

as que el resultado se deduce de la proposicin 7.2.1. Proposicin 7.2.3 (criterio de comparacin por paso al lmite). Sean f , g funciones no negativas localmente integrables en un intervalo [a, b). Supongamos que existe lm f (x) = [0, +) {+}. g(x)
b a g

xb

a) Si < + y la integral impropia converge. b) Si 0 < y la integral impropia c) Si 0 < < , las dos integrales o las dos son divergentes.
b a g b a

converge, entonces la integral impropia

b a

b a

f tambin

diverge, entonces la integral impropia

f tambin diverge.

fy

b a g tienen el mismo carcter: o las dos son convergentes,

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 criterio 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
x+

lm x f (x) = [0, +) {+}.

Entonces: si 1 y > 0, la integral si > 1 y = +, la

+ f diverge (a +). a + integral 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
xb

lm (b x) f (x) = [0, +) {+}.

Entonces: si 1 y > 0, la integral

b a

f diverge (a +).
b a

si < 1 y = +, la integral

f converge.

7.2.2.

Integrales impropias de integrando cualquiera: convergencia absoluta y convergencia condicional. Criterios de Abel y Dirichlet

Denicin 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. Denamos f+ (x) = m x{ f (x), 0}, a f (x) = m x{ f (x), 0}. a
b a |f|

168

Captulo 7. Integrales impropias

Las funciones f+ y f son localmente integrables y es fcil comprobar que 0 f+ | f |, 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

Como la convergencia absoluta de una integral impropia es la convergencia de la integral de una funcin no negativa, la proposicin 7.2.6 permite aprovechar en muchos casos los mtodos de comparacin de integrandos no negativos. Por ejemplo: a) la integral cos x dx es convergente, porque es absolutamente convergente (0 x2 1 + dx y la integral converge); x2 1
+ 0 + cos x x2

1 x2

b) la integral

sen x dx es convergente, puesto que integrando por partes x

y 1

sen x cos x dx = x x

y 1

cos x dx x2

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+ sen x dx, como vemos a continuacin. x Ejemplo. La integral
+ | sen x| 0 x n (n1)

dx no es convergente. En efecto: para cada n N,

n (n1)

| sen x| 1 dx x n | sen x| 2 dx x

| sen x| dx =

2 2 n

n+1 n

dx . x

Luego
N 0 N+1 1

dx 2 = log(N + 1) +. x

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 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 intervalo [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 de Dirichlet). Sea f una funcin localmente integrable en un intervalo [a, b) y tal que sup Entonces la
x a<x<b a integral ab f g es

f es nito y sea g una funcin montona en [a, b) con lm g(x) = 0.

xb

convergente.

7.3. Ejercicios
Ejercicio 7.1. Estudiar la convergencia de la integral
+ 1

dx |x(1 x2 )|
+

Ejercicio 7.2. Determinar el carcter de las siguientes integrales impropias:

+

a) e) i) m) p) t)

0 1/2 0 /2 0 + 0 + 0 + 2

dx 1 + x2 dx x log x dx cos x dx x2 + x x2 ex 1+x dx log x dx 2

b) f) j) n) q)

0 + 1 1

dx x+1 log x dx x

c) g) k) r)

0 +

dx 0 1 x2 3 dx (x2 1)2 0
+ 2

x dx 0 x4 + 3 + x2 dx x4 + 1 0 dx 2 + 6x 8 2 x + sen x dx 2 1 + x
4

dx |x 1|

d) h) l) o) s)

0 2 1

log x dx dx (x3 4x2 + 4x)1/3 dx (1 + x5 )1/6

+ 0 3 0 1 0

ex dx

1 (log x) sen dx x

dx (x(3 x))1/3

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 )

b) f) j)

dx x2 1

2 0

c) g) k)

dx 2 + cos x ex 1+e dx x

cos2 x dx 1 + cos2 x |x 3|ex dx

xex dx dx x x2 1 xe|x2| dx

d) h) l)

0 2

x| log x| dx

+ 1 1 1

+ 0

+ 0

x2 dx 2 4 x2
3 1

|x 2| log x dx

1+x dx 1x

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) = B(u, v) = Ejercicio 7.5.
+ 0 1 0

xt1 ex dx,

xu1 (1 x)v1 dx.

a) Probar que (t + 1) = t(t), para todo t > 0. , calcular estas integrales:

1

b) Probar que (n + 1) = n! para todo entero n 0. Ejercicio 7.6. Teniendo en cuenta la funcin y sabiendo que ( 1 ) = 2
+ + +

a) e)

0 +

x2 ex dx x3 e
x2

b) f)

0 +

34x dx (x 3)e
x2

c) dx g)

x2 e|x1| dx (x2 + 1)e

x

d) dx

x2 log4 x dx

dx