Basado en el apunte del curso Cálculo

(2da semestre), de Roberto Cominetti,

Ingenierı́a Matemática Martı́n Matamala y Jorge San Martı́n.
FACULTAD DE CIENCIAS
FÍSICAS Y MATEMÁTICAS
UNIVERSIDAD DE CHILE Ingenierı́a Matemática
Cálculo Diferencial e Integral 08-2 Universidad de Chile

SEMANA 13: INTEGRALES IMPROPIAS

7. Integrales Impropias
7.1. Introducción
En la definición de la integral de Riemann se impusieron dos condiciones funda-
mentales que son:

1. Se define en el intervalo cerrado y acotado [a, b], a < b

2. Se define para funciones acotadas en [a, b]

El propósito de esta sección, es extender la noción de integral al caso de intervalo

no acotados, y al caso de funciones no acotadas sobre un intervalo acotado.
Estas dos extensiones dan origen a las llamadas integrales impropias de primera
y segunda especie respectivamente. Partamos por la definición del primer tipo
de éstas:

Definición 7.1 (Integral Impropia de Primera Especie (Intervalo no Acotado)).

Sea f : [a, +∞) → diremos que f es integrable en [a, +∞) si se cumple que: Integral Impropia de
Primera Especie
(i) ∀x ∈ (a, +∞), f es integrable en [a, x] y además

(ii) Existe el lı́mite definido por

Z x
lı́m
+
f
x→ ∞ a
+∞
R
f
a

Notación: Si una función es integrable en el intervalo:[a, ∞) entonces al

valor del lı́mite se le llama integral impropia de primera especie de f y se le
denota Z Z +∞ x
f = lı́m f.
a x→∞ a

Observaciones
Z x
1. Si el lı́mite lı́m f existe, se dice que la integral impropia es convergente
x→∞ a
y si no existe se dice que la integral impropia es divergente.

2. De una manera análoga se definen las integrales de 1◦ especie siguiente

Z b Z b
i) f = lı́m f
−∞ x→−∞ x

141
 Ingenierı́a Matemática
Universidad de Chile
Z ∞ Z c Z ∞
ii) f= f+ f donde la constante c ∈ puede ser cualquie-
−∞ −∞ c
ra. En esta última definición es importante que las dos integrables de
la derecha existan o que sean convergente. Si alguna de estas integra-
les no converge entonces la integral de la izquierda tampoco .

Ejemplo 7.1. +∞
dx
Z
Dado a > 0, estudiar la convergencia de la integral .
a x
Claramente f (x) = x1 es integrable en [a, b] para cualquier b > a. Veamos el
lı́mite
Z +∞ x
dx dt x
Z
= lı́m = lı́m [ln ( )] = ∄.
a x x→∞ a t x→∞ a
Por lo tanto se trata de una integral divergente.

Ejemplo 7.2. +∞
dx
Z
Dado a > 0 y α 6= 1, estudiar la convergencia de la integral .
a xα
Nuevamente basta con estudiar el lı́mite:
Z +∞ Z x x
dx dt 1 1 
= lı́m = lı́m
a xα x→∞ a tα x→∞ (1 − α) tα−1 
a
   1
1 1 1 −1
(1−α) aα−1 si α > 1
= lı́m − =
x→∞ (1 − α) xα−1 aα−1 6∃ si α < 1

Por lo tanto esta integral impropia es convergente cuando α > 1 y divergente

si α < 1.
Juntando estos dos ejemplos podemos resumir diciendo que
Z +∞ 
dx Converge si α > 1
=
a x α Diverge si α ≤ 1

Definición 7.2 (Integral Impropia de Segunda Especie (Funciones no Acotadas)).

Sea f : [a, b) → una función no acotada, diremos que f es integrable en [a, b) Integral Impropia de
ssi: Segunda Especie

(i) ∀x ∈ (a, b)f es integrable en [a, x]

Z x
(ii) El lı́mite lı́m f existe.
x→b− a

Observaciones
Z x
1) Cuando el lı́mite lı́m f existe, se dice que la integral impropia con-
x→b− a
verge, y cuando no existe se dice que la integral impropia diverge.

142
 Ingenierı́a Matemática
Universidad de Chile
−b
2) Se anota
R
f
Z x Z −b a

lı́m f= f.
x→b− a a

3) La primera condición de integrabilidad de este tipo de funciones exige,

entre otras cosas, que la función f debe ser acotada en todo intervalo
(a, x), es decir, este tipo de funciones se caracterizan por tener una ası́ntota
vertical en x = b.
4) En forma análoga se definen las integrales impropias siguiente:
Z b Z b
(i) f = lı́m f
a+ x→a+ x
Z b− Z c Z b−
(ii) f= f+ f, c ∈ (a, b)
a+ a+ c

En esta última definición la integral entre a+ y b− converge ssi las dos

integrales de la derecha convergen por separado.

Ejemplo 7.3. R b− dx
Estudiar la convergencia de la integral impropia a (b−x)α para diversos
valores de α ∈ .
Caso α = 1. En este caso se tiene:

b− b−ε
dx dx
Z Z
b−ε
= lı́m = lı́m −ln (b − x)|a
a b−x ε→0+ a b − x ε→0 +

= lı́m+ {ln (b − a) − ln ε} =6 ∃.
ε→0

Por lo tanto, en este caso la integral impropia es divergente.

Caso α 6= 1. En este caso los cálculos son
b− b−ε b−ε
dx dx 1
Z Z

= lı́m = lı́m 
a (b − x)α ε→0+ a (b − x)α ε→0+ (α − 1)(b − x)α−1 a
   1 1
1 1 1 (1−α) (b−a)α−1 si α < 1
= lı́m − =
ε→0+ (α − 1) εα−1 (b − a)α−1 6∃ si α > 1

Juntando estos dos ejemplos podemos resumir diciendo que

b− 
dx
Z
Converge si α < 1
=
a (b − x)α Diverge si α ≥ 1

Definición 7.3 (Integrales Impropias de Tercera Especie o Mixtas). Son Integrales Impropias
las que se obtienen combinando integrales impropias de 1◦ y 2◦ especie. Por de Tercera Especie
ejemplo
Z +∞ Z 0− Z 1 Z +∞
dx dx dx dx
2
= 2
+ 2
+ .
−1 x −1 x 0+ x 1 x2

143
 Ingenierı́a Matemática
Universidad de Chile
Este tipo de integral será convergente ssi cada una de sus componentes es una
integral convergente.

7.2. Algunos criterios de convergencia para integrales im-

propias
Nos dedicaremos primeramente a establecer algunos criterios de convergencia
para integrales impropias de funciones no negativas.
Observación:
1. Si F es una función creciente en [a, +∞), entonces, cuando x → +∞, F (x) →
L ∈ o bien F (x) → +∞.
2. Si F es una función creciente en [a, b), entonces cuando x → b− ; F (x) →
L ∈ o bien F (x) → +∞.
Lo anterior surge del hecho de que F puede ser acotada, o no, en los
intervalos considerados.

Teorema 7.1 (Criterio de Comparación). Sean f y g funciones continuas Criterio de

en [a, +∞) tales que: Comparación

(∃b ≥ a)(∀x ≥ b) 0 ≤ f (x) ≤ g(x)

entonces:
Z +∞ Z +∞
Si g converge entonces f converge .
a Z +∞ a Z +∞
Recı́procamente si f diverge ⇒ g diverge
a a

Demostración. Como las funciones f y g son continuas, entonces son integra-

Z x Z b Z x
bles en [a, x] para todo x > a. Además f = f+ , (lo mismo para g)
a a b
porZlo tanto es claro que
∞ Z ∞ Z ∞ Z ∞
f converge ssi f converge y g converge ssi g converge.
a b a b
Luego, para demostrar el teorema basta con estudiar las integrales impropias en
[b, +∞). Z x Z x
Sean:F (x) = f y G(x) = g. Entonces, como se sabe que (∀t ∈ [b, x]) se
b b
tiene 0 ≤ f (t) ≤ g(t) entonces integrando de b a x se obtiene que
F (x) ≤ G(x), ∀x ∈ [b, +∞).
Como además las funciones F y G son crecientes, el resultado
R +∞ del teorema se
obtiene directamente de la observación 7.2. En efecto, si b g converge entonces
G(x) es acotada, y entonces también F (x) lo es con lo cual existe lı́m F (x) o
x→+∞
R +∞
sea, la integral impropia b f es convergente. 

144
 Ingenierı́a Matemática
Universidad de Chile
Z b−
Observación: Para integrales impropias del tipo el enunciado del teo-
a
rema es análogo y tiene la misma demostración. Se propone como ejercicio,
enunciar dicho teorema y demostrarlo.

Ejemplo 7.4. +∞
|sen x|
Z
Estudiar la integral dx.
1 x2
Claramente se tiene que

|sen x| 1
0≤ ≤ 2, ∀x ≥ 1.
x2 x
+∞
dx
Z
Luego como la integral es conocidamente convergente, se concluye
1 x2
Z +∞
|senx|
directamente que la integral dx es también convergente.
1 x2

Teorema 7.2 (Criterio del cuociente de funciones). Sean f y g funcio- Criterio del cuociente
nes continuas en [a, +∞) y no negativas en [b, +∞), donde b ≥ a y tales que:

f (x)
lı́m = L 6= 0
x→+∞ g(x)
Z +∞ Z +∞
Entonces las integrales impropias f y g son ambas convergentes o
a a
ambas divergentes.

Observación: el mismo criterio se ocupa para las integrales de segunda especie.

Muchas veces se usa el teorema anterior para estudiar la convergencia de una
integral impropia, comparándola con las integrales de la forma
Z ∞
1
α
dx
1 x

o bien
b−
1
Z
dx
a (b − x)α
cuyos comportamientos son ya bien conocidos en función de α. Cuando esta
comparación es posible, el comportamiento de la integral impropia en estudio se
puede resumir en las siguientes reglas:
Z +∞
1. f (x)dx converge si lı́m xα f (x) = L > 0, con α > 1.
a x→+∞

145
 Ingenierı́a Matemática
Universidad de Chile
Z b
2. f (x)dx converge si lı́m xα f (−x) = L > 0 con α > 1.
−∞ x→+∞

Z b−
3. f (x)dx converge si lı́m− (b − x)α f (x) = L > 0 con α < 1.
a x→b
Z b
4. f (x)dx converge si lı́m+ (x − a)α f (x) = L > 0 con α < 1.
a+ x→a

7.3. Convergencia absoluta

Revisaremos ahora la noción de convergencia absoluta de integrales impropias.
Trataremos sólo el caso de integrales de primera especie, sin embargo puede
extenderse a los demás tipos de integrales impropias. Es un buen ejercicio para
el lector llevar a cabo con detalle esta extensión.
Definición 7.4 (Convergencia absoluta). Sea f : [a, +∞) → , diremos Convergencia absoluta
Z +∞ Z ∞
que f es absolutamente convergente si |f | converge.
a a

Notar que en un principio la definición no dice nada acerca de la convergen-

Z +∞
cia de f . Sin embargo el siguiente teorema muestra la relación entre la
a
convergencia absoluta y la convergencia.

Teorema 7.3. Sea f : [a, +∞) → , se tiene que

Z +∞ Z +∞
f converge absolutamente ⇒ f converge.
a a

Demostración. Es claro que

− |f | ≤ f ≤ |f | / + |f |
⇔ 0 ≤ f + |f | ≤ 2|f |.
Z +∞
Luego, por el Criterio de Comparación, como por hipótesis |f | converge
a
entonces Z +∞
f + |f | converge.
a
Además, para x ∈ [a, +∞)

f (x) = (f (x) + |f |(x)) − |f |(x)

Z x Z x Z x
⇒ f= (f + |f |) − |f |.
a a a

Haciendo x → +∞ y gracias a que ambos lı́mites a la derecha existen, se concluye

el resultado. 

146
 Ingenierı́a Matemática
Universidad de Chile

Observación: La recı́proca del Teorema anterior no es necesariamente

cierto.
Z +∞ Z +∞
f converge 6⇒ f converge absolutamente.
a a

Ejemplo 7.5. R∞
sin x
Consideremos f (x) = x , entonces f (x)dx converge, pero no
1
R∞
ası́ |f (x)|dx.
1

147