A.

Alejo Molina 19/02/2012

I-10-1

1.10 Integrales Impropias

Hasta este momento hemos visto integrales definidas en las cuales los lmites de
integracin son nmero finitos y la funcin a integrar est bien definida en el intervalo de
integracin. Sin embargo, tambin existen integrales en las cuales los lmites de integracin
son infinitos o la funcin tiene alguna discontinuidad infinita, stas reciben el nombre de
Integrales Impropias.

Formalmente la definiremos como sigue:

Definicin 1.10.1. Si f es continua en el intervalo | ) , a , entonces
( ) ( ) lim .
b
a a b
f x dx f x dx

=
} }
(1.10.1)
Esto significa que primero debemos calcular la integral empleando la evaluacin de los
lmites de a hasta b y posteriormente calculamos formalmente el lmite cuando b . Si
el lmite existe se dice que la integral converge, de lo contrario diverge.

Definicin 1.10.2. Si f es continua en el intervalo ( | ,b , entonces
( ) ( ) lim .
b b
a a
f x dx f x dx

=
} }
(1.10.2)
De igual manera que en la definicin anterior, primero debemos calcular la integral
empleando la evaluacin de los lmites de a hasta b y posteriormente calculamos
formalmente el lmite cuando a . Si el lmite existe se dice que la integral converge,
de lo contrario diverge.

Definicin 1.10.3. Si f es continua en el intervalo ( ) , , entonces
( ) ( ) ( ) lim lim .
c b
a c a b
f x dx f x dx f x dx

= +
} } }
(1.10.3)
En este tipo de integral donde ambos lmites tienden a infinito hay que dividir la
integral en dos, tomando cualquier nmero real c para definir la particin. Luego se
calculan ambas integrales y se toma formalmente el lmite de cada una, tal como se hizo en
la definicin 1.10.1 y 1.10.2. Esta integral diverge si cualquiera de los lmites en las
integrales diverge.
Las tres primeras definiciones se refieren a lmites que tienden a infinito, ahora veremos
aquellas integrales en las cuales la funcin diverge al ser evaluada en algn punto del
intervalo de integracin o en alguno de los lmites de integracin pero sin que estos sean
infinitos.

Definicin 1.10.4. Si f es continua en el intervalo | ) , a b y tiene una discontinuidad infinita
en b, entonces
( ) ( ) lim .
b c
a a c b
f x dx f x dx

=
} }
(1.10.4)

Ntese que en este caso el lmite es evaluada unilateral por la izquierda, ya que la
discontinuidad est en el lmite superior del intervalo pero no incluye el punto final de ste.
Unidad 1. Teorema Fundamental del Clculo A. Alejo M.

I-10-2

Definicin 1.10.5. Si f es continua en el intervalo ( | , a b y tiene una discontinuidad infinita
en a, entonces
( ) ( ) lim .
b b
a c c a
f x dx f x dx
+

=
} }
(1.10.5)

De manera similar a la definicin anterior, el lmite es evaluado unilateralmente pero ahora
por la derecha, ya que la discontinuidad est en el lmite inferior del intervalo y no incluye
el punto inicial de ste.

Definicin 1.10.6. Si f es continua en el intervalo | | , a b , excepto posiblemente en un punto
c del intervalo ( ) , a b donde f tiene una discontinuidad infinita, entonces
( ) ( ) ( ) .
b c b
a a c
f x dx f x dx f x dx = +
} } }
(1.10.6)

Como antes si el lmite es infinito la integral diverge, en caso contrario converge.

Terminaremos la teora de esta seccin con un teorema de un tipo especial de integral
impropia:

Teorema: La integral impropia de una funcin ( ) 1/ ,
p
f x x = donde p es un nmero real, es

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

>

}
(1.10.7)

Ahora resolveremos algunos ejemplos.

Ejemplo 1.10.1. Halle la integral:
1
2
1
1
. dx
x

}

Solucin: En este caso, sera un error calcular directamente la integral y evaluarla en los
lmites de integracin, ya que existe una indeterminacin en el punto x =0. Lo correcto es
dividir la integral en dos subintervalos, tomando como uno de los lmites el punto
problemtico y luego evaluar los lmites en esos valores. Entonces

1 0 1 1
2 2 2 2 2
1 1 0 1 0 0
lim lim .
c
c c c
dx dx dx dx dx
x x x x x
+

= + = +
} } } } }

Note que al tomar los lmites hemos hecho uso de las definiciones 1.10.4 y 1.10.5. Ahora
encontramos las integrales por separado para ver si alguna de ellas diverge. Primero
revisemos

2
1 0 0 0
1
1 1
lim lim lim 1
c
c
c c c
dx
x x c
+ + +

| | | |
= = + =
| |
\ . \ .
}

como la integral diverge ya no es necesario calcular la otra parte de la integral pues la
integral completa diverge:

1
2
1
1
La integral diverge. dx
x

}

Unidad 1. Teorema Fundamental del Clculo A. Alejo M.

I-10-3

Ejemplo 1.10.2. Halle la integral:
1
.
dx
x

}

Solucin: El lmite superior de la integral es infinito, lo que la hace una integral impropia.
Luego

( ) ( )
1 1
1
lim lim 2 2lim 1
b
b
b b b
dx dx
x b
x x

= = = =
} }

Esta integral diverge. Tambin pudimos haber hecho uso del teorema con resultado
(1.10.7), en nuestro caso p =1/2, entonces como ps1 la integral diverge.

1
1
, si 1
1
diverge, si 1.
p
p
dx
p
x
p

>

}


Ejemplo 1.10.3. Halle la integral:
2
.
1
dx
x

+
}

Solucin: En este ejemplo, ambos lmites de integracin son infinitos y hay que separar la
integral en dos, tomando cualquier nmero c como frontera entre ambos subintervalos:
( ) ( )
2 2 2
lim lim lim arctan lim arctan
1 1 1
c b
c b
a c
a c a b a b
dx dx dx
x x
x x x

= + = +
+ + +
} } }

donde se ha hecho uso de la frmula de integracin 1.8.19:
1
2 2
1
tan cte.
du u
a u a a
| |
= +
|
+
\ .
}
Evaluando los lmites
( ) ( )
2
lim arctan arctan lim arctan arctan
1
a b
dx
c a b c
x

= +
+
}


2
limarctan limarctan limarctan limarctan
1
a a b b
dx
c a b c
x

= +
+
}

reordenando

2
arctan
1
dx
c
x

=
+
}
arctanc limarctan limarctan .
b a
b a

+
La funcin tan x diverge en / 2 t , entonces el arctan de infinito es / 2 t . As,

2
limarctan limarctan
1 2 2
b a
dx
b a
x
t t
t

| |
= = =
|
+
\ .
}


2
.
1
dx
x
t

=
+
}

La integral converge y su valor es . t