1

6.1 INTEGRALES IMPROPIAS

Una integral impropia es una integral que involucra un intervalo infinito o
una funcin no acotada en un intervalo finito.

INTEGRALES IMPROPIAS DE PRIMERA CLASE
Son aquellas donde el intervalo de integracin es infinito y son de la forma

f f f
b
a
o ,

Definicin. Sea f integrable sobre | | b a, para todo b a R b < , , si
existe

b
a
b
f
lim
se dice que la integral impropia

a
f es convergente y
se define

=
b
a
b
a
f f
lim
. En caso contrario se dice que la integral impropia

a
f diverge.


En forma similar, Sea f integrable sobre | | b a, para todo b a R a < , ,
si existe

b
a
a
f
lim
se dice que la integral impropia

b
f es convergente y
se define



=
b
a
a
b
f f
lim
. En caso contrario se dice que la integral impropia

b
f diverge.


Ejemplo.

+
0
2
) 1 ( x
dx
es convergente.

) (x f
a
X
Y
b
2
1 1
1
1
1
1
) 1 ( ) 1 (
lim lim lim
0 0
2
0
2
=
|

\
|
+
+
=
|

\
|
+
=
+
=
+

b x x
dx
x
dx
b
b
b
b
b



Ejemplo.

+
0
1 x
dx
es divergente.


= + = + =
+
=
+

1 2 1 2 1 2
1 1
lim lim lim
0 0 0
b x
x
dx
x
dx
b
b
b
b
b


Ejemplo.

+ + 10 2
2
x x
dx
es convergente.
Es necesario separar la integral adecuadamente en suma de dos integrales

+ +
+
+ +
=
+ +
0
2
0
2 2
9 ) 1 ( 9 ) 1 ( 10 2 x
dx
x
dx
x x
dx

Resolvemos la integral indefinida para aplicarla

\
| +
=
+ + 3
1
arctan
3
1
9 ) 1 (
2
x
x
dx

Ahora, para la primera integral
|

\
|
+ = |

\
| +
=
|

\
| +
=
+ +
=
+ +




2 3
1
arctan
3
1
3
1
arctan
3
1
3
1
arctan
3
1
3
1
arctan
3
1
9 ) 1 ( 9 ) 1 (
lim
lim lim
0
0
2
0
2
a
x
x
dx
x
dx
a
a
a
a
a


Mientras que para la segunda integral tenemos
|

\
|
= |

\
|

+
=
|

\
| +
=
+ +
=
+ +

3
1
arctan
2 3
1
3
1
arctan
3
1
3
1
arctan
3
1
3
1
arctan
3
1
9 ) 1 ( 9 ) 1 (
lim
lim lim
0 0
2
0
2
b
x
x
dx
x
dx
b
b
b
b
b


Por lo tanto


3
1
3
1
arctan
2 3
1
2 3
1
arctan
3
1
9 ) 1 ( 9 ) 1 ( 10 2
0
2
0
2 2
=
|

\
|
+
|

\
|
+ =
+ +
+
+ +
=
+ +

x
dx
x
dx
x x
dx



INTEGRALES IMPROPIAS DE SEGUNDA CLASE

3
Definicin. Si f integrable sobre | ) e b a , para todo 0 > y no est
acotada sobre | ) b a, ,

b
a
f se llama integral impropia de segunda clase.
Si existe

+


b
a
f
lim
0
se dice que la integral impropia es convergente y

+
=


b
a
b
a
f f
lim
0
. En caso contrario se dice que diverge.


En forma anloga
Si f integrable sobre ( | b e a , + para todo 0 > y no est acotada sobre
( | b a, ,

b
a
f se llama integral impropia de segunda clase.
Si existe

+
b
a
f


lim
0
se dice que la integral impropia es convergente y

+

+
=
b
a
b
a
f f


lim
0
. En caso contrario se dice que diverge.

Ejemplo.

1
0
2
1 x
dx
la funcin no est acotada en 1.

( )
2
) 0 1 (
1 1
lim
lim lim
0
1
0
0
1
0
2
0
1
0
2







= =
=

+
+ +

arcsen arcsen
arcsenx
x
dx
x
dx

Es decir la integral impropia es convergente.

Ejemplo.

1
0
2
) 1 ( x
dx
la funcin no est acotada en 1.

X
) ( x f y =
Y
b
a
X
) ( x f y =
Y
a
b
4
=
|
|

\
|
=

+
+ +

1
1
1
1
) 1 ( ) 1 (
lim
lim lim
0
1
0 0
1
0
2
0
1
0
2






x x
dx
x
dx

Es decir la integral impropia es divergente.

Ejemplo.

1
0
3
x
dx
la funcin no est acotada en 0.

2
3
2
3
2
3
2
3
3 / 2
0
1
0
3 / 2
0
1
0
3
0
1
0
3
lim
lim lim
=
|

\
|
=
= =
+
+ +

+
+

x
x
dx
x
dx

Es decir la integral impropia es convergente.

Ejemplo.

2
0
3
x
dx
la funcin no est acotada en 0.

=
|

\
|
+ =
= =
+
+ +

+
+

2
0
2
0
2
0
2
0
3
0
2
0
3
2
1
8
1
2
1
lim
lim lim





x x
dx
x
dx

Es decir la integral impropia es divergente.

Ejemplo. Una integral que no es impropia

3
0
2
6
3
dx
x x
x
la funcin
6
3
) (
2

=
x x
x
x f no est definida en 3 = x , pero
5
1
) 2 )( 3 (
3
lim
6
3
lim
3
2
3
=
+

=

x x
x
x x
x
x x
existe, por lo que la funcin si es acotada
en el intervalo | | 3 , 0 y la integral es propia. Recordemos que una funcin
continua en un intervalo cerrado excepto un nmero finito de puntos es
integrable en el intervalo.

Otras integrales que no son impropias:

0
2
cos 1
dx
x
x

1
0
dx
x
senx



5
Ejemplo. Calcule el rea de la regin comprendida entre las curvas dadas
por
2
2
2
1 x
x
y

= y sus asntotas.

Se tiene que
2
1 x
x
y

= por lo que el dominio de cada funcin es

) 1 , 1 ( x . Las grficas son simtricas respecto al origen. Pasan por el
origen y como =

2
1
1
lim
x
x
x
se tienen asntotas verticales en 1 por la
izquierda y en -1 por la derecha.
Usamos la simetra de la regin y calculamos

1
0
2
1
dx
x
x
y se multiplica
por 4.
Tenemos
2
2
2
1
2 / 1
1
2
1
1
x
x
dx
x
x
=

, de donde

( ) 1 1 ) 1 ( 1 lim 1 lim
1
2
0
1
0
2
0
1
0
2
= + = =

+ +

x dx
x
x


Por lo tanto el rea buscada es 4.

Ejemplo.

+
0
) 1 ( x x
dx
es de primera y de segunda clase porque no est
acotada en cero.
Para la integral indefinida tenemos

+ ) 1 (x x
dx
con la sustitucin x u = , de donde
x
dx
du
2
= y 1 1
2
+ = + x u ,
luego

= =
+
=
+
x u
u
du
x x
dx
arctan 2 arctan 2
1
2
) 1 (
2

X
2
1 x
x
y

=
2
1 x
x
y

=
Y
6

Separamos la integral en suma de dos integrales


+
+
+
=
+
1
1
0 0
) 1 ( ) 1 ( ) 1 ( x x
dx
x x
dx
x x
dx

Para la primera integral, la cual es de segunda clase
2 4
2
) arctan 2 1 arctan 2 ( lim arctan 2 lim
) 1 (
lim
) 1 (
0
1
0
1
0
0
1
0





=
|

\
|
=
= =
+
=
+
+ +
+

+

x
x x
dx
x x
dx


Para la segunda integral que es de primera clase
2 4
2
2
2
) 1 arctan 2 arctan 2 ( lim arctan 2 lim
) 1 (
lim
) 1 (
1
1 1

=
|

\
|

\
|
=
= =
+
=
+

b x
x x
dx
x x
dx
b
b
b
b
b

Por lo tanto


= + =
+
+
+
=
+


2 2 ) 1 ( ) 1 ( ) 1 (
1
1
0 0
x x
dx
x x
dx
x x
dx



Ejemplo.

3
0
3 / 2
) 1 ( x
dx

es de segunda clase porque no est acotada en 1.
La separamos en una suma


+

3
1
3 / 2
1
0
3 / 2
3
0
3 / 2
) 1 ( ) 1 ( ) 1 ( x
dx
x
dx
x
dx

Para la primera integral
( ) 3 ) 1 ( 3 ) 1 ) 1 (( 3 lim ) 1 ( 3 lim
) 1 (
lim
) 1 (
3 / 1 3 / 1
0
1
0
3 / 1
0
1
0
3 / 2
0
1
0
3 / 2
= = =

=

+ +
+

x
x
dx
x
dx

Para la segunda integral
( ) ( )
3 / 1 3 / 1 3 / 1
0
3
1
3 / 1
0
3
1
3 / 2
0
3
1
3 / 2
) 2 ( 3 ) ( 3 ) 1 3 ( 3 lim ) 1 ( 3 lim
) 1 (
lim
) 1 (
= = =

+ + +

+

x
x
dx
x
dx

Por lo tanto
3 / 1
3
1
3 / 2
1
0
3 / 2
3
0
3 / 2
) 2 ( 3 3
) 1 ( ) 1 ( ) 1 (
+ =

x
dx
x
dx
x
dx


7
Ejemplo.

1
1
2
1 x
dx

es de segunda clase porque no est acotada en 1 ni en -1.
La separamos en una suma


+

1
0
2
0
1
2
1
1
2
1 1 1 x
dx
x
dx
x
dx

La integral indefinida es arcsenx
x
dx
=

2
1

Para la primera integral tenemos
( )
2 2
) 1 ( 0 lim lim
1
lim
1
0
0
1
0
0
1
2
0
0
1
2







=
|

\
|
= + = =

+ +
+

arcsen arcsen arcsenx
x
dx
x
dx

Para la segunda integral
( )
2
0 ) 1 ( lim lim
1
lim
1
0
1
0
0
1
0
2
0
1
0
2







= = =

+ +
+

arcsen arcsen arcsenx
x
dx
x
dx

Por lo tanto


= + =

2 2
1 1 1
1
0
2
0
1
2
1
1
2
x
dx
x
dx
x
dx


Integrales impropias de primera clase bsicas
- p-integrales
- integrales geomtricas o exponenciales

Definicin. Una p-integral es de la forma

1
p
x
dx
con 0 > p .

Criterio para p-integrales.

>

1 si diverge
1 si
1
1
1
p
p
p
x
dx
p


Demostracin.

= =
b
p
b
b
p
b
p
dx x
x
dx
x
dx
1 1 1
lim lim

b
p
b
p
x
1
1
1
lim |
|

\
|
+
=
+

para 1 p
8
|

\
|

|
|

\
|

=


1
1
1
1
1 lim p
b
b p

En el caso de 1 > p , el exponente en el denominador es positivo 0 1 > p
por lo que

1
1
1
1
1
1
1
1
1 lim

=

= |

\
|

|
|

\
|

p p b p
p
b

Es decir,
1
1
1

=

p x
dx
p


En el caso de 1 < p , el exponente en el denominador es negativo 0 1< p
por lo que
( ) =
|
|

\
|

= |

\
|

|
|

\
|

1
1
1
1
1
1
1
1
1 lim lim
p
b
p
b
b
p b p

Es decir, la integral impropia

1
p
x
dx
diverge.

Por ltimo, si 1 = p
( ) = = = =

) (ln ln
lim lim lim 1
1 1
b x
x
dx
x
dx
b
b
b
b
b

Y la integral impropia

1
x
dx
diverge.

Ejemplos.

1
2
x
dx

1
4 / 5
x
dx
son convergentes y 1
1 2
1
1
2
=

x
dx
; 4
1 ) 4 / 5 (
1
1
4 / 5
=

x
dx

mientras que

1
x
dx

1
5 / 3
x
dx
son divergentes.
Se pueden calcular las integrales en otros intervalos | ) , a , para a < 1

Ejemplo.

3
4 / 5
x
dx

Tenemos

=
3
1
4 / 5
1
4 / 5
3
4 / 5
x
dx
x
dx
x
dx

Y calculamos 4
3
4 4
4 / 1
3
1
4 / 1
3
1
4 / 5
+ = =

x x
dx

Por lo tanto
4 / 1 4 / 1
3
1
4 / 5
1
4 / 5
3
4 / 5
3
4
4
3
4
4 = |

\
|
+ = =


x
dx
x
dx
x
dx


9
Definicin. Una integral geomtrica o exponencial es de la forma

a
cx
dx e
con c a, constantes.

Criterio para integrales geomtricas.

>
=

0 si diverge
0 si
c
c
c
e
dx e
ca
a
cx

Demostracin.
Caso 0 > c :

( )
c
e
e e
c
c
e
dx e dx e
ca
ca cb
b
b
a
cx
b
b
a
cx
b
a
cx

= =
= =

1
lim
lim lim


Caso 0 = c :

( ) = =
= =

a b
x dx dx
b
b
a
b
b
a
b
a
lim
lim lim
1 1


Caso 0 < c :

( ) = =
= =

ca cb
b
b
a
cx
b
b
a
cx
b
a
cx
e e
c
c
e
dx e dx e
1
lim
lim lim


Ejemplos.

a
x
dx e
3

a
x
dx e
) 2 / 5 (
son convergentes

a
x
dx e

a
x
dx e
) 3 / 2 (
son divergentes

Teorema. Si ) ( x F es no decreciente acotada en | ) , a , entonces
) ( lim x F
x
existe y | ) { } =

, : ) ( sup ) ( lim a x x F x F
x
.
Demostracin. Como | ) { } , : ) ( a x x F es acotado por hiptesis y es
diferente del vaco, ya que | ) { } , : ) ( ) ( a x x F a F , existe su supremo.
10
Sea | ) { } = , : ) ( sup a x x F , para 0 > existe | ) { } , : ) ( ) (
0
a x x F x F tal
que ) (
0
x F <
Ahora, para todo N x x = >
0
,
) ( ) (
0
x F x F porque ) ( x F es no decreciente,
Por lo que ) ( ) (
0
x F x F < o
< ) ( 0 x F
Es decir, | ) { } = =

, : ) ( sup ) ( lim a x x F x F
x


Teorema. Criterio de comparacin directa.
1) Si ) ( ) ( 0 x g x f para todo | ) , a x y

a
dx x g ) ( es convergente,
entonces

a
dx x f ) ( converge.
2) Si ) ( ) ( 0 x f x g para todo | ) , a x y

a
dx x g ) ( es divergente,
entonces

a
dx x f ) ( diverge.
Demostracin.
1) Si ) ( ) ( 0 x g x f para todo | ) , a x , se definen las funciones

=
b
a
dx x f b F ) ( ) ( y

=
b
a
dx x g b G ) ( ) ( para | ) , a b ,
Las funcin F es no decreciente: para b b <
) ( ) ( ) ( ) ( ) ( ) ( b F dx x f dx x f dx x f dx x f b F
b
a
b
b
b
a
b
a
= + = =



ya que 0 ) (

b
b
dx x f puesto que f es no negativa, en forma similar G es
no decreciente.
Tambin


= =
a
b
a
b
a
dx x g b G dx x g dx x f b F ) ( ) ( ) ( ) ( ) ( , por lo que F es
acotada en | ) , a , y por el teorema anterior existe
| ) { }



= = =
a
b
a
b b
dx x f dx x f a b b F b F ) ( ) ( lim , : ) ( sup ) ( lim
Por lo tanto

a
dx x f ) ( es convergente.
11
2) Si ) ( ) ( 0 x f x g para todo | ) , a x , suponiendo que

a
dx x f ) (
converge, por el caso anterior

a
dx x g ) ( es converge, lo cual contradice que
diverge; por lo tanto

a
dx x f ) ( es divergente.
Ejemplo.

+
0
x e
dx
x

Comparamos con la geomtrica

0
dx e
x
que es convergente porque 1 = c ,
Tenemos 1 + <
x x
e e y
x x
e e
1
1
1
<
+
, por lo que

+
0
x e
dx
x
es convergente.
En general las integrales de la forma

+
0
A e
dx
cx
donde 0 > c y A sea
cualquier trmino positivo, son convergentes.

Ejemplo.

+
2
1 2 x
dx

Comparamos con la geomtrica

+
2
2 x
dx
la cual diverge
porque 1
2
1
< = p ,
Tenemos 2 1 2 + < + x x y
1 2
1
2
1
+
<
+ x x
, por lo que

+
2
1 2 x
dx
es divergente.

Ejemplo.

1
2
10
1
x
dx

Usamos desigualdades apropiadas
1
10
1
1
2
<
x
1 1
10
1
1
2
= <
x

2
10
1
1
1
1
x

<

10
1
1 1
2

<
x
x

12
Comparamos con la p-integral

1
x
dx
la cual diverge
porque 1 = p ,
por lo que

1
2
10
1
x
dx
es divergente.

Los criterios de convergencia y divergencia para integrales impropias de
primera clase de la forma

a
f
tambin son tiles para las integrales de la forma

b
f
ya que estas ltimas se pueden transformar con un cambio de variable a una
de las primeras.

La transformacin de

b
f a la forma

a
f es como sigue:
Consideramos u x = entonces du dx =
Y cambiamos los lmites de integracin
Si b x = , b u = , tambin si x entonces u
Sustituyendo, tenemos

= = =
b
b b b
du u f du u f du u f dx x f ) ( ) ( ) )( ( ) (

Ejemplo.

1
3
) 3 2 ( x
dx

u x = 3 2 3 2 = u x y du dx =
1 = x , 1 = u , tambin si x entonces u

4
1
1
) 3 2 (
1
4
1
2
) 3 2 (
2
1
) 3 2 (
) 3 2 ( ) 3 2 ( ) 3 2 ( ) 3 2 (
2
1
2
1
3
1
3
1
3
1
3
1
3
lim
lim lim
=
|
|

\
|

+
=
|
|

\
|

+
=
+
=
+
=
+
=


=

b
u
u
du
u
du
u
du
u
du
x
dx
b
b
b
b
b


Teorema. Criterio del Cociente.
13
Sean ) ( 0 x f ) ( 0 x g dos funciones continuas en | ) , a
1) Si 0
lim
> =

c
g
f
x
entonces ambas integrales impropias

a
dx x f ) (

a
dx x g ) ( convergen o ambas divergen
2) Si 0
lim
=

g
f
x
y

a
dx x g ) ( converge entonces

a
dx x f ) ( tambin converge
3) Si =

g
f
x
lim
y

a
dx x g ) ( diverge entonces

a
dx x f ) ( tambin diverge
Demostracin.
1) Para 0
2
>
c
existe N tal que para todo N x

2 ) (
) ( c
c
x g
x f
<

) (
2
3
) ( ) (
2
2
3
) (
) (
2
2 ) (
) (
2
x g
c
x f x g
c
c
x g
x f c
c
c
x g
x f c
< <
< <
< <

Si

a
dx x g ) ( converge como ) (
2
3
) ( x g
c
x f < por comparacin
directa

a
dx x f ) ( converge.
Si

a
dx x g ) ( diverge como ) ( ) (
2
x f x g
c
< por comparacin
directa

a
dx x f ) ( diverge.

2) Si 0 = c para 0 > existe N tal que para todo N x
< =
) (
) (
) (
) (
x g
x f
x g
x f

) ( ) ( x g x f <
De tal manera que si Si

a
dx x g ) ( converge por comparacin
14
directa

a
dx x f ) ( converge.
3) Si = c para 0 > N existe 0 > K tal que para todo K x

) (
) (
x g
x f
N <
) ( ) ( x f x Ng <
De tal manera que si Si

a
dx x g ) ( diverge por comparacin
directa

a
dx x f ) ( diverge

Ejemplo.

+ +
1
2 4
1 5 3 x x
xdx

Podemos usar la p-integral

1
3
x
dx
la cual converge
0
3
1
) (
1 5 3 ) (
) (
3
2 4 lim lim
> =
+ +
=

x
x x
x
x g
x f
x x

Por lo tanto

+ +
1
2 4
1 5 3 x x
xdx
es convergente.

Ejemplo.

2
6
2
16
) 1 (
x
dx x

Podemos usar la p-integral

1
x
dx
la cual diverge
0 1
16
1
1
1
16
) (
16
1
) (
) (
3
2
6
3
6
2
lim lim
lim lim
> =
+

=
+

=
+

=


x
x
x
x x
x
x
x
x g
x f
x x
x x

Por lo tanto

2
6
2
16
) 1 (
x
dx x
es divergente.

Ejemplo.

>
+
1
0
ln
a
a x
xdx

Podemos usar la p-integral

1
x
dx
la cual diverge
= =
+
=
+
=

. 1 ) (ln ) (
ln
) (
) (
lim lim lim
x
a x
x
x
a x
x
x g
x f
x x x

15
Por lo tanto

+
1
ln
a x
xdx
es divergente.

Ejemplo.

1
3 2 x x
dx

Transformndola



+
=

1
1
3 2 3 2 u
du
x x
dx

Podemos usar la p-integral

1
2 / 3
u
dx
la cual converge
0
3
1
3 2
) (
3 2
1
) (
) (
3 2
3
2 / 3
lim lim lim
> =
+
=
+
=

u u
u
u
u x g
x f
u u u

Por lo tanto

1
3 2 x x
dx
es convergente.

Condicin necesaria para la divergencia.
Sean ) ( x f una funcin continua en | ) , a tal que existe ) (
lim
x f
x
.
Si

a
dx x f ) ( converge, entonces 0 ) (
lim
=

x f
x
.
Demostracin.
Caso 0 ) (
lim
> =

L x f
x
existe N tal que para todo N x

2
) (
2
2
) (
L
L x f
L
L
L x f
< <
<

) (
2
x f
L
<
Para N x b > >
1


<
b
x
b
x
dx x f dx
L
1 1
) (
2


< =
b
x
b
x
dx x f dx
L
x b
L
1 1
) (
2
) (
2
1

Luego =

) (
2
1 lim
x b
L
x

Y

b
x
dx
L
1
2
diverge, por comparacin directa,

b
x
dx x f
1
) ( tambin.
En forma similar para el caso 0 ) (
lim
< =

L x f
x
.

Ejemplo.

1
3
x
dx
es convergente y 0
1
3 lim
=

x
x
.
16
Geomtricamente podemos decir que si la integral impropia

a
dx x f ) (
converge, entonces la funcin ) ( x f tiene una asntota horizontal en el eje
X positivo.

El recproco es falso, como se observa con 0
1
3 lim
=

x
x
sin embargo

1
3
x
dx
diverge.

De gran utilidad es la contrapuesta de la afirmacin:
Para una funcin continua ) ( x f en | ) , a si 0 ) (
lim

x f
x
.
Entonces,

a
dx x f ) ( diverge.

Ejemplo.

+
9
2
1 x
xdx

0 1
1
1
1
1
1
1
1
2
2
2
lim lim lim
=
+
=
+
=
+
x
x
x
x
x
x x x

Por lo tanto

+
9
2
1 x
xdx
es divergente

Ejemplo.

+
1
2
1 x
xdx

Transformndola



+
=
+
1
2
1
2
1 1 u
du
x
xdx

0 1
1
1
1
1
1
1
1 1
2
2 2
2
2
lim
lim lim lim
=
+
=
+
=
+ |

\
|
=
+


u
u
u
u
u
u
u
u
u
u
u u u

Por lo que

+
1
2
1 x
xdx
es divergente.