Tema 4.

2: INTEGRALES IMPROPIAS

1. Introducción

2. Definición de integral impropia

3. Propiedades de las integrales impropias

4. Integrales impropias de integrando no negativo

5. Integrales impropias de integrando arbitrario

Introducción
Si f : [a, b] −→ R es una función continua, entonces está acotada. La
región limitada por su gráfica y el eje OX entre las abcisas x = a y x = b
también está acotada y su área se calcula mediante una integral de Riemann.

El concepto de integral se puede ampliar de modo natural a nuevos casos:

aquellos en los que el intervalo de integración no es acotado o aquellos en que
la función no está acotada.
Supóngase por ejemplo, que el intervalo en el que se define la función
continua f es de la forma [a, +∞); como este intervalo no está acotado,
tampoco lo está la región comprendida entre la gráfica de f y el eje OX. En
particular, considérese f (x) = e−x definida en el intervalo [0, +∞). Su gráfica
y el eje OX determinan la región A no acotada de la izquierda de la figura 1.

¿Puede ser finita el área de la región no acotada A? En caso afirmativo,

¿Cómo se calcula su valor?
Parece natural razonar del siguiente modo: dado cualquier punto Z s s ∈ R,
−x
puesto que f (x) = e es continua en [0, s] se tiene que la integral f (x) dx
0
equivale al área de región As limitada por la gráfica y el eje OX entre x = 0
y x = s. Es lógico pensar que el área de A, en caso de existir, es el lı́mite de
las áreas As cuando s → +∞:
Z s —s
área(A) = lı́m área(As ) = lı́m e−x dx = lı́m −e−x 0
= lı́m (1−e−s ) = 1.
s→+∞ s→+∞ 0 s→+∞ s→+∞

152
 y=e-x
A

y=e-x
As

Figura 1: Región no acotada A (izquierda), regiones As acotadas (derecha)

1
Como segundo ejemplo, considérese la función f (x) = √2−x en el inter-
valo [1, 2). El intervalo está acotado (aunque no es cerrado) y la función es
1
continua, pero no está acotada, ya que lı́m− √2−x = +∞. La recta x = 2 es
x→2
una ası́ntota de la gráfica; la región que delimitan la gráfica y su ası́ntota
(ver figura 2, izquierda) no está acotada.

Si se sigue el razonamiento anterior, en caso de existir, el área de la región

A es el lı́mite cuando s → 2 (por la izquierda) de las áreas de las regiones
As . Puesto que
Z s √ —s √
área(As ) = √1 dx = −2 2 − x 1 = 2 − 2 2 − s
1 2−x

se concluye que
√
área(A) = lı́m− área(As ) = lı́m− (2 − 2 2 − s) = 2.
s→2 s→2

Definición de integral impropia

En los dos ejemplos anteriores se tiene una función continua f definida en

un intervalo de la forma [a, b). En el primer caso el intervalo no está acotado;

153
 !!!!!!!! !!
1
y= €€€€€€€€
€€€€€€€€€
2-x

1 2

!!!!!!!! !!
1
y= €€€€€€€€
€€€€€€€€€
2-x

As

1 s2

Figura 2: Región no acotada A (izquierda), regiones As acotadas (derecha)

en el segundo el intervalo está acotado pero la función no. En general, se

tiene la siguiente definición:

Sea f una función continua en [a, b), donde ó bien b = +∞ ó bien b es

finito y lı́m− f (x) = ∞. Se dice que f es integrable en sentido impropio en
x→b Z s
[a, b) si existe lı́m− f (x) dx; en este caso, a dicho lı́mite se le llama integral
s→b a
impropia de f en [a, b) y se denota:
Z →b Z s
f (x) dx = lı́m− f (x) dx.
a s→b a

Para referirse a que f es integrable en sentido impropio en [a, b) también es

Z →b
habitual expresar que la integral f (x) dx existe o que es convergente.
a

Cuando el lı́mite anterior no existe se diceZque f no es integrable en sentido

→b
impropio en [a, b), que la integral impropia f (x) dx no es convergente o
a
que la integral no existe. En particular, si el lı́mite es infinito se dice que la
integral impropia diverge a infinito ó que vale ∞.

154
 Observaciones:

(1) Notación: Se pone “→ b” en el extremo de la integral para distinguirla

de las integrales de funciones continuas en intervalos cerrados estudiadas has-
ta ahora. Si b = +∞ no hay peligro de confusión con las integrales ordinarias
y se escribe simplemente Z +∞
f (x) dx.
a

(2) Generalización: El intervalo que aparece en la definición anterior es

cerrado por la izquierda y abierto por la derecha. Una definición análoga se
tiene para funciones definidas en intervalos de la forma (a, b], suponiendo que
ó bien a = −∞ ó bien la función diverge a infinito cuando x se aproxima a
a (por la derecha):
Z b Z b
f (x) dx = lı́m+ f (x) dx.
→a s→a s

(3) Denominación: Las integrales impropias en las que el intervalo es de la

forma (−∞, b] ó [a, +∞) se denominan de primera especie. Aquellas en que
el intervalo está acotado y la función no, se denominan de segunda especie.
Ejemplos

(1) Es convergente (de primera especie) la integral del primer ejemplo de

la introducción:
Z +∞ Z s € —s Š
−x
e dx = lı́m e−x dx = lı́m −e−x 0
= lı́m (1 − e−s ) = 1.
0 s→+∞ 0 s→+∞ s→+∞

(2) Es convergente (de segunda especie) la del segundo ejemplo de la

introducción:
Z →2 Z s € √ Š
√1 dx = lı́m √1 dx = lı́m 2 − 2 2 − s = 2.
2−x
1 − s→22−x 1 − s→2

Z →π/2
(3) La integral impropia tg(x) dx diverge a +∞.
0
π
La función tg : [0, 2 ) −→ R es continua, pero no es acotada, pues
lı́m
π−
tg(x) = +∞. Puesto que
x→ 2
Z s
tg(x) dx = − log(cos(x)]s0 = − log(cos(s)) + log(1) = − log(cos(s)),
0

155
se tiene que
Z s
lı́m
π−
tg(x) dx = lı́m
π−
− log(cos(s)) = +∞
s→ 2 0 s→ 2

Z →π/2
y por lo tanto la integral impropia tg(x) dx diverge a +∞.
0
Geométricamente, este resultado significa que el área de la región som-
breada de la figura 4 (izquierda) no es finita.

y=tgHxL

y=logHxL
Π Π
- €€€€ €€€€
2 2

Figura 3: Gráficas de y = tg(x) (izquierda) y de y = log(x) (derecha)

Z 1
(4) La integral impropia log(x) dx converge y vale -1 pues
→0
Z 1
lı́m+ log(x) dx = lı́m+ [x log(x) − x]1s = lı́m+ (−1 − s log(s) + s) = −1.
s→0 s s→0 s→0

En este caso el área de la región Zsombreada de la figura 4 (derecha) vale 1.

+∞
1
(5) Las integrales impropias xα
dx con α > 0.
1

Si α > 0 la función f (x) = x1α es continua en [1, +∞) y su gráfica está re-
presentada en la figura. Z s
Para estudiar la convergencia, debe calcularse 1/xα dx y estudiar la
Z s 1
α
existencia de lı́m 1/x dx.
s→+∞ 1

156
 1
Z s Z s
α
Si α = 1 entonces 1/x dx = 1/x dx = log(s) − log(1) = log(s) y
1 1
por lo tanto Z s
1
lı́m x
dx = lı́m log(s) = +∞.
s→+∞ 1 s→+∞

Si α 6= 1 entonces
Z s – ™s
α x−α+1 s−α+1 − 1 1 € Š
1/x dx = = = 1 − s−α+1 .
1 −α + 1 1 −α + 1 α−1
Como lı́m s1−α vale 0 si α > 1 y +∞ si α < 1,
s→+∞
8
Z s < 1
si α > 1
lı́m 1
xα
dx = lı́m 1
(1 − s1−α ) = : α−1
s→+∞ 1 s→+∞ α−1
+∞ si α < 1
Z +∞
1
En resumen, la integral xα
dx converge si y sólo si α > 1. En este
1
caso su valor es 1/(α − 1).
Aplicación geométrica:
Z +∞
1
Cuando α = 1, como x
dx = +∞ resulta que el área de la región
1
limitada por la gráfica de f (x) = 1/x y el eje OX no es finita.

Si se hace girar esta región alrededor del eje OX el volumen del sólido
de revolución obtenido (algo parecido a una “trompeta infinita”) ¡es finito!
pues: Z Z
+∞ +∞
V =π f 2 (x) dx = 1
x2
dx = π · 1 = π.
1 1
Z 1
1
(6) Las integrales impropias xα
dx con α > 0.
→0

Si α > 0 la función f (x) = x1α es continua en (0, 1] y su gráfica está re-

presentada en la figura. Como α > 0, f no está acotada.

157
 1

Figura 4: Región limitada y = 1/x (izquierda) y sólido de revolución al

girarla alrededor de OX (derecha)

Z 1
Para estudiar la existencia de lı́m+ 1/xα dx se distinguen dos casos:
Z 1 s→0 s

Si α = 1, es lı́m+ 1/x dx = lı́m+ − log(s) = +∞.

s→0 s s→0
Si α =
6 1, entonces
Z 1 – ™1
α x−α+1 1 € Š
1/x dx = = 1 − s−α+1 .
s −α + 1 s 1−α
Por tanto

Z 1 € Š
lı́m+ 1
xα
dx = 1
lı́m
1−α s→0+
1 − s1−α .
s→0 s

158
 El lı́mite lı́m+ (s1−α ) vale 0 si α < 1; en otro caso vale infinito.
s→0
Resumiendo, f es integrable en sentido impropio en (0, 1] si y sólo si
α < 1; en este caso Z 1
1 1
xα
dx = .
→0 1−α
√
Aplicación geométrica: El área bajo la gráfica de f (x) = 1/ x entre 0 y
1 vale 2 y que el volumen del sólido que genera al girar alrededor del eje OX
no es finito.
Observación: Las integrales del ejemplo (6) anterior son un caso parti-
cular de Z b
1
(x−a)α
dx
→a
donde α > 0.
1
La función f (x) = (x−a) α es continua y no acotada en el intervalo (a, b].

La recta x = a es una ası́ntota vertical. Repitiendo los cálculos del citado

1
ejemplo, se prueba que la integral de f (x) = (x−a) α en el intervalo (a, b]

converge si y sólo si α < 1. En este caso se tiene que

Z b
1 (b − a)1−α
(x−a)α
dx = .
→a 1−α

1
Análogo resultado se obtiene para la integral de f (x) = (b−x) α en el

intervalo [a, b).

Propiedades de las integrales impropias
Las siguientes propiedades son inmediatas a partir de la definición:

1. Si f y g son integrables en sentido impropio en [a, b) entonces f + g y

λ f con λ ∈ R, también y
Z →b Z →b Z →b
(f + g)(x) dx = f (x) dx + g(x) dx;
a a a
Z →b Z →b
(λ f )(x) dx = λ f (x) dx.
a a

2. Si f y g son integrables en sentido impropio en [a, b) y f ≤ g entonces

Z →b Z →b
f (x) dx ≤ g(x) dx.
a a

159
 y=1Hx-aLΑ

a b

y=1Hb-xLΑ

a b

Z →b
3. Dada f continua en [a, b), el carácter de la integral impropia f (x) dx
Z →b a

es el mismo que el de f (x) dx para cualquier c ∈ (a, b). Sin embargo

c
sus valores, en general, son diferentes.
En efecto, para cualquier c ∈ (a, b) se tiene para s > c que
Z s Z c Z s
f (x) dx = f (x) dx + f (x) dx.
a a c

Como f es continua en [a, c], la integral del centro es una integral

de Riemann
Z s ordinaria que no depende de s.Z Por lo tanto el lı́mite
s
lı́m− f (x) dx existe si y sólo si existe lı́m− f (x) dx; en este caso
s→b a s→b c
se tiene que
Z →b Z c Z →b
f (x) dx = f (x) dx + f (x) dx.
a a c

La regla de Barrow para integrales

Z
impropias
→b
Considérese la integral impropia f (x) dx, donde f : [a, b) −→ R es
a
continua. Sea F una primitiva de f en [a, b), es decir, F es una función
continua en [a, b) y derivable en (a, b) con F 0 = f . Para cada s ∈ (a, b) se
tiene que F es una primitiva de f en [a, s] y por lo tanto se puede aplicar la

160
regla de Barrow: Z s
f (x) dx = F (s) − F (a).
a
Utilizando esta igualdad es evidente que si existe F (b−) = lı́m− F (s) entonces
s→b
f es integrable en sentido impropio en [a, b) y
Z →b Z s
f (x) dx = lı́m− f (x) dx = lı́m− (F (s) − F (a)) = F (b−) − F (a).
a s→b a s→b

De la misma igualdad también se deduce que si lı́m− F (s) = +∞ entonces

s→b
la integral impropia diverge a +∞ y si lı́m− F (s) = −∞ entonces la integral
s→b
impropia diverge a −∞. En resumen:

Regla de Barrow Si f es continua en [a, b) y F es una primitiva de f

en [a, b) entonces
Z →b
f (x) dx = F (b−) − F (a),
a
donde F (b−) − F (a) representa a lı́m− F (s) − F (a) si lı́m− F (s) existe y
s→b s→b
representa ±∞ si lı́m− F (s) = ±∞.
s→b
Observación: Siguiendo la notación de las integrales de Riemann es
habitual escribir
Z →b
f (x) dx = F (x)]→b
a = F (b−) − F (a).
a

Cuando b = +∞, por comodidad a veces se escribe:

Z +∞
f (x) dx = F (x)]+∞
a = F (+∞) − F (a).
a

Ejemplos:
Z 1
1 √ 1 √
(1) 1/2 dx = 2 x]→0 = 2 − lı́m+ x = 2.
→0 x s→0
Z +∞
(2) 1
1+x2
dx = arc tg(x)]+∞0 = arc tg(+∞) − arc tg(0) = π2 , donde
0
para abreviar se ha escrito arc tg(+∞) en lugar de lı́m arc tg(s).
s→+∞

Z 0
(3) ex dx = ex ]0−∞ = e0 − lı́m es = 1.
−∞ s→−∞

Z 1
1
(4) dx = log x]1→0 = log(1) − log(0+) = +∞,
→0 x
161
donde log(0+) significa lı́m+ log(s).
s→0

Ampliación de la definición
Se verá a continuación que el análisis de otros tipos de integrales puede
reducirse al estudio de las integrales impropias ya definidas.

Sea f : (a, b) −→ R continua donde los extremos del intervalo pueden ser
infinitos; si alguno de ellos es finito, se supone además que f no está acotada
en él, es decir, f (x) diverge a ∞ cuando x se aproxima a dicho extremo
Z b
(ver algunos ejemplos en la figura 5). Se dice que la integral f (x) dx es
Z ac
convergente si para algún c ∈ (a, b) las integrales impropias f (x) dx y
Z →b →a

f (x) dx son convergentes; en este caso se define

c
Z b Z c Z →b
f (x) dx = f (x) dx + f (x) dx.
a →a c

Es fácil comprobar (usando las propiedades ya conocidas de las integrales

impropias) que esta definición es independiente del punto c: cada integral
impropia del término derecho converge para todo c o para ninguno y, si
convergen ambas, el resultado de la suma es el mismo.
Z +∞
Ejemplo: La integral e−|x| dx es convergente, pues tomando c = 0
−∞
se tiene que Z Z 0
0
e−|x| dx = ex dx = ex ]0−∞ = 1
−∞ −∞
Z +∞ Z +∞
e−|x| dx = e−x dx = −e−x ]+∞
0 = 1.
0 0
Z +∞
Por lo tanto e−|x| dx = 2.
−∞
Z +∞
1
Ejemplo: La integral x
dx no es convergente, pues para cualquier
Z c 0 Z +∞
1 1
c > 0 las integrales x
dx y x
dx divergen a +∞.
→0 c
Z +∞
1
Ejemplo: La integral x2
dx no es convergente, pues para cualquier
Z +∞ 0 Z c
1 1
c > 0 la integral x2
dx es convergente y x2
dx es divergente.
c →0

162
 2
Figura 5: Gráficas de las funciones 1/(x − 2) en (2, +∞), arriba; e−x en
(−∞, +∞), centro; 1/(x(1 − x)) en (0, 1), abajo.

y=e-ÈxÈ

De modo análogo se tiene que para cualquier α > 0 la función 1/xα no

es integrable en (0, +∞).
Otras integrales se pueden reducir de modo natural a los casos ya estudia-
dos. Por ejemplo, para estudiar si el área de la región sombreada de la figura
Z →0
es finita, se estudiará la convergencia de las integrales impropias f (x) dx,
−1
Z c Z →2 Z d Z +∞
f (x) dx, f (x) dx, f (x) dx, f (x) dx
→0 c →2 d
para cualesquiera c ∈ (0, 2), d > 2. Si todas son convergentes
Z +∞ Z →0 Z c Z →2 Z d Z +∞
Área = f (x) dx = f (x) dx+ f (x) dx+ f (x) dx+ f (x) dx+ f (x) dx.
−1 −1 →0 c →2 d

En conclusión, el estudio de las integrales impropias se reduce a funciones

163
 -1 0 c 2 d

definidas en intervalos de la forma [a, b) ó (a, b]. Se detallará aquı́ el primer

tipo; los resultados obtenidos son fácilmente modificables para el segundo.
Integrales impropias de integrando no negativo
Como en el caso de las series, las integrales impropias en las que la función
del integrando es no negativa presentan propiedades especiales y por ello se
estudian por separado.

Z s Sea f : [a, b) −→ R continua tal que f ≥ 0; la función área F (s) =

f (x) dx es monótona creciente (y no negativa). Entonces cuando s → b−
a
sólo caben dos posibilidades:
(1) Que F (s) crezca indefinidamente. En este caso
Z s
F (b−) = lı́m− (F (s)) = lı́m− f (x) dx = +∞,
s→b s→b a

es decir, la integral impropia diverge a +∞.

(2) Que F esté acotada superiormente. En este caso por ser F monótona
creciente y acotada superiormente, existe el lı́mite
Z s
F (b−) = lı́m− (F (s)) = lı́m f (x) dx
s→b s→b a

con lo que la integral impropia es convergente.

Resumiendo:

Si f : [a, b) −→ R es continua y no negativa entonces la integral impropia

Z →b
f (x) dx sólo puede ser convergente o divergente a +∞. Además es convergente
a Z s
si y sólo existe una constante M tal que f (x) dx ≤ M para todo s ∈ [a, b).
a

164
 Ejemplos: Z +∞
sen2 (x)
(1) La integral x2
dx es convergente, ya que el integrando es no
1
negativo y la función Z s
sen2 (x)
F (s) = x2
dx
1
está acotada en [1, +∞):
Z s Z s ” —s
sen2 (x) 1
F (s) = x2
dx ≤ x2
dx = − x1 1
=1− 1
s
≤1
1 1

para s ≥ 1.
Z +∞
(2) La integral log2 (x) dx diverge a +∞, ya que el integrando es no
3
negativo y la función Z s
F (s) = log2 (x) dx
3
no está acotada en [3, +∞): si x ≥ 3 entonces log(x) ≥ log(3) > log(e) = 1 y
Z s Z s
2
F (s) = log (x) dx ≥ dx = s − 3;
3 3

como la función s − 3 no está acotada en [3, +∞), F (s) tampoco.

Criterios de convergencia para integrales de integrando no ne-
gativo
En ocasiones no es posible o no interesa conocer el valor de una integral
impropia, sino sólo conocer su carácter, es decir, saber si es convergente o
no. Los criterios de comparación permiten estudiar la convergencia de una
integral impropia utilizando otra integral de carácter conocido.

Criterio de comparación directa Sean f, g : [a, b) −→ R continuas y no negati-

vas. Si existe M > 0 tal que f (x) ≤ M g(x) para todo x ∈ [a, b), entonces:
(a) Si g es integrable en sentido impropio en [a, b), también lo es f .
(b) Si f no es integrable en sentido impropio en [a, b), g tampoco.

Demostración Recordar Z s que f es integrable en sentido impropio si y

sólo si la función F (s) = f (x) dx está acotada y una propiedad similar se
a Z s
verifica para g con la función G(s) = g(x) dx.
a
Dado s ∈ [a, b) se tiene que
Z s Z s Z s
F (s) = f (x) dx ≤ M g(x) dx = M g(x) dx = M G(s).
a a a

165
Si g es integrable, la función G(s) está acotada y entonces F (s) también, con
lo que f es integrable. Si f no es integrable en sentido impropio entonces F
no está acotada, con lo que G tampoco y por lo tanto g no es integrable. ¤

Observación Es suficiente que se cumpla la condición f (x) ≤ M g(x)

para todo x ∈ [c, b) con a < c < b, pues la convergencia de la integral
Z →b Z →b
f (x) dx equivale a la de cualquier f (x) dx.
a c
Ejemplos:
2
(1) La función senx2(x) es integrable en [1, +∞) ya que para todo x ∈
[1, +∞) es
sen2 (x) 1
2
≤ 2
x x
1
y, como ya ha sido estudiado, x2 es integrable en sentido impropio en [1, +∞).
Z 1 Z 1
x+1 x+1 1 1
(2) La integral x2
dx diverge a +∞ pues x2
≥ x2
en (0, 1] y x2
dx
→0 →0
diverge a +∞.
Z +∞ Z +∞
1 1
(3) La integral x2 +5x−11/2
dx es convergente. Se compara con x2
dx,
1 1
1
pero hay que observar que la condición x2 +5x−11/2 ≤ x12 se cumple para x ≥ 2;
aunque no se cumple para x ≥ 1, el criterio es aplicable.

1 2

Z 1 Z 1
1√ 1√ √1 √1
(4) La integral x+ x
dx converge, pues x+ x
≤ x
en (0, 1] y x
dx
→0 →0
es convergente.
Z +∞
Ejercicio: Probar que e−x dx es convergente. Después utilizar el
0 Z +∞
2
criterio de comparación directa para probar que e−x dx también es con-
0
vergente.

166
 Criterio de comparación por paso al lı́mite Sean f, g : [a, b) −→ R dos funcio-
nes continuas y no negativas tales que existe l = lı́m− fg(x)
(x)
.
x→b
Z →b Z →b
(a) Si l 6= 0 entonces f y g tienen el mismo carácter;
a a
(b) Si l = 0 y g es integrable, f también lo es.

Demostración Si l 6= 0, entonces l > 0; dado ε ∈ (0, l) existe c ∈ [a, b)

tal que
f (x)
l−ε< <l+ε
g(x)
para todo x ∈ [c, b), luego
1
f (x) < (l + ε)g(x) y g(x) < f (x);
l−ε
estas dos desigualdades y el criterio de comparación directa permiten concluir
(a).
f (x)
Si l = 0, dado ε > 0 existe c ∈ [a, b) tal que < ε para todo x ∈ [c, b);
g(x)
como f (x) < ε g(x), de nuevo se concluye por el método de comparación
directa.
Ejemplos: Z ∞
dx
(1) La integral x2 +x+1
es convergente.
1
En efecto, la función del integrando es no negativa y
1
x2 +x+1 x2
lı́m 1 = lı́m = 1;
x→+∞ x→+∞ x2 + x + 1
x2
Z ∞
dx
como x2
es convergente, la del enunciado también.
1
Z 1
x+1
(2) La integral x2
dx diverge a +∞ pues
→0

x+1
x2
lı́m = lı́m x + 1 = 1;
x→0 12 x→0
x
Z 1
1
como x2
dx = +∞, la estudiada también.
→0
Z 1
dx
(3) La integral √
x+ x
es finita.
→0

167
 En este caso se compara con g(x) = √1 , que es integrable en (0, 1]; como
x
√ √ ‚ Œ
1/(x + x) x 1
lı́m √ = lı́m− √ = lı́m− √ = 1,
x→0− 1/ x x→0 x + x x→0 x+1
la integral buscada es finita.
Observar que si se compara con 1/x el criterio no decide, pues l =
√
x
lı́m− x+x√x = lı́m− √x+1 = 0.
x→0 x→0

Criterio que relaciona las integrales impropias y las series Sea f :

[1, +∞) −→ R una función continua, decreciente, positiva y tal que lı́m f (x) = 0;
X x→+∞
entonces f es integrable en sentido impropio si y sólo si la serie f (n) es conver-
gente. Además en este caso
∞
X Z ∞ ∞
X
f (n) ≤ f (x)dx ≤ f (n).
n=2 1 n=1

Demostración Dado n ∈ N, por ser f decreciente, si x ∈ [n, n + 1]

será f (n) ≥ f (x) ≥ f (n + 1), luego
Z n+1 Z n+1 Z n+1
f (n) = f (n) dx ≥ f (x) dx ≥ f (n + 1) dx = f (n + 1);
n n n

sumando estas desigualdades para n = 1, . . . , N se obtiene

N
X Z N +1 N
X +1
(1) f (n) ≥ f (x) dx ≥ f (n).
n=1 1 n=2

Estas desigualdades junto con el resultado de la página 164 y su análogo para

series permiten concluir: Si la serie es convergente, sus sumas parciales están
P
acotadas: N n=1 f (n) ≤ M para todo natural N ; entonces dado s tomando
Z s Z N0 +1
cualquier natural N0 + 1 > s se tiene que f (x) dx ≤ f (x) dx ≤ M .
1 1
De aquı́ se concluye que la integral es convergente. Recı́procamente, si la
integral converge, de la desigualdad de la derecha de (1) se deduce que la serie
tiene las sumas parciales acotadas, por lo que es convergente. Finalmente, la
desigualdad del enunciado se obtiene tomando lı́mite en (1). ¤
Z ∞ ∞
X
1 1
Ejemplo: La integral xα
dx y la serie nα
tienen el mismo carácter.
1 n=1

168
 Z ∞
1
Ejemplo: Para estudiar la convergencia de la integral (log(x))x
dx se
2
1
comprueba que la función f (x) = es continua, decreciente, positiva
(log(x))x
X∞
1
y tal que lı́m f (x) = 0. Después se considera la serie n
y se
n=1 (log(n))
x→+∞
comprueba, por el criterio de la raı́z, que converge:
√ 1
lı́m n
an = lı́m = 0 < 1;
n→∞ n→∞ log(n)

se concluye entonces que la integral estudiada también converge.

Z ∞
1
Ejemplo: La integral x log(x)
dx diverge a +∞, pues log(log(x)) es
2
una primitiva del integrando, con lo que
Z ∞ Z s
1 1
x log(x)
dx = lı́m dx = lı́m (log(log(s)) − log(log(2))) = +∞.
2 s→∞ 2 x log(x) s→∞

∞
X
1
Entonces la serie n log(n)
también es divergente.
n=2

Observación: Todo lo hecho para integrales impropias con f ≥ 0 es

aplicable si f ≤ 0, pues basta considerar −f . Quedan ası́ estudiadas las
integrales impropias en las que el integrando no cambia de signo en [a, b).
Integrales impropias de integrando arbitrario

Si la función continua f tiene un número finito de ceros en el intervalo

[a, b) entonces a la derecha del último cero f no cambia su signo. En otras
palabras, si c es el mayor cero de f se tiene que o bien f ≥
Z
0 o bien f ≤ 0 en
→b
[c, b). Esto implica que el estudio de la integral impropia f (x) dx, que se
Z →b a

reduce al de f (x) dx, cae dentro de los apartados anteriores.

c

Queda ası́ por estudiar el caso de integrales impropias en los que la función
cambia de signo en el intervalo [a, b) un número infinito de veces. Tal es el
caso, por ejemplo, de la función f (x) = sen(x)
x
en [a, +∞) representada en la
figura 6 (derecha) ó la función f (x) = sen(x2 ).
Convergencia absoluta de una integral impropia
Sea f una función continua en [a, b), donde b = +∞ ó b es finito y
lı́m− f (x) = ∞.
x→b

169
 a

Figura 6: Función continua con un número finito de ceros(izquierda); gráfica

de f (x) = sen(x)/x (derecha).

Z →b
Se dice que la integral impropia f (x) dx es absolutamente conver-
Z →b a

gente si |f (x)| dx es convergente. En otras palabras, f es absolutamente

a
integrable en sentido impropio en [a, b) si |f | es integrable en [a, b).
Z +∞
sen(x)
Ejemplo: La integral x2
dx es absolutamente convergente.
 1  Z +∞
 sen(x)  1 1
En efecto, se tiene que ≤ y que
 x2  x2 x2
dx es convergente; por el
1
criterio
Z
de comparación directa (los integrandos son no negativos), la integral
+∞  
 sen(x) 
 x2  dx es convergente.
1

Proposición Si una integral impropia es absolutamente convergente en-

tonces es convergente.
Demostración Dada f continua en [a, b), son también continuas f + =
máx{f, 0} (su parte positiva) y f − = máx{−f, 0} (la parte positiva de −f ).

170
Observar que f + y f − son positivas. Además se verifica que

f = f+ − f−
|f | = f + + f − .

Si f es absolutamente integrable, como |f | es integrable y f + ≤ |f | y

f − ≤ |f |, por el criterio de comparación directa se tiene que f + y f − son
integrables, por lo que su diferencia f también es integrable. ¤

Criterio de Dirichlet Sean f, g : [a, b) −→ R continuas y tales que:

(a) La función g es decreciente, tiene derivada continua y lı́m− g(x) = 0.
Z x x→b
(b) La función F (x) = f (t) dt está acotada en [a, b).
Z →ba
Entonces la integral f (x)g(x) dx es convergente.
a

Demostración Observar que de las condiciones del enunciado se deduce

que g ≥ 0 y que g 0 ≤ 0.
Para s ∈ [a, b), integrando por partes con u = g(x) y dv = f (x)dx se
tiene que
Z s Z s Z s
f (x)g(x) dx = g(x)F (x)]sa − 0
F (x)g (x) dx = g(s)F (s)−g(a)F (a)− F (x)g 0 (x) dx.
a a a
Z s
Puesto que se trata de probar la existencia del lı́mite lı́m− f (x) dx, según la
s→b a
igualdad anterior basta probar que los tres sumandos de la derecha convergen
cuando s → b− . El del centro es una constante. Como g(s) → 0 si s → b−
y F está acotada, es lı́m− g(s)F (s) = 0. Finalmente, que el sumando de la
s→b
derecha tenga lı́mite equivale a que la función F (x)g 0 (x) sea integrable y lo
es, pues es absolutamente integrable como se deduce de la acotación
Z s Z s Z s
0 0
|F (x)g (x)| dx ≤ M |g (x)| dx = −M g 0 (x) dx = M (g(a)−g(s)) ≤ M g(a),
a a a

donde M es una cota de |FZ (x)|. ¤

+∞
sen(x)
Ejemplo: La integral x
dx es convergente.
1
Z →b
Es de la forma f (x)g(x) dx con f (x) = sen(x) y g(x) = x1 . Además
a
se verifican las hipótesis del criterio de Dirichlet:

171
 1
(a) La función g(x) = x
es decreciente, tiene derivada continua en (1, +∞)
y lı́m g(x) = 0.
x→+∞ Z x
(b) La función F (x) = sen(t) dt = cos(1) − cos(x) está acotada en
1
[1, +∞):

|F (x)| = | cos(1) − cos(x)| ≤ | cos(1)| + | cos(x)| ≤ 1 + 1 = 2.

172