Integral impropia

En clculo, una integral impropia es el lmite de una integral definida cuando uno o
ambos extremos del intervalo de integracin se acercan a un nmero real especfico, a ,
o a . Adems una integral definida es impropia cuando la funcin integrando de la
integral definida no es continua en todo el intervalo de integracin. Tambin se pueden
dar ambas situaciones.

Punto singular en el infinito. Punto singular en c.

Introduccin

Si la funcin f al ser integrada de a a c tiene una discontinuidad en c, especialmente en la

forma de una asntota vertical, o si c = , entonces la integral

Puede ser ms conveniente redefinirla de la siguiente forma:

En algunos casos, la integral de a a c ni siquiera est definida, puesto que las integrales
de la parte positiva y negativa de f(x) dx entre a y c son ambas infinitas, sin embargo el
lmite puede existir. Estos casos corresponden a las llamadas "integrales impropias", es
decir, aquellas cuyos valores no pueden definirse excepto como lmites.

La integral

Puede interpretarse como:

Pero desde el punto de vista del anlisis matemtico no es obligatorio interpretarla de tal
manera, ya que puede interpretarse como una integral de Lebesgue sobre el intervalo (0,
). Por otro lado, el uso del lmite de integrales definidas en intervalos finitos es til,
aunque no sea como forma de calcular su valor.

En contraste al caso anterior,

No puede ser interpretada como una integral de Lebesgue, ya que

sta es una "verdadera" integral impropia, cuyo valor est dado por

Llamamos singularidades de una integral impropia a los puntos de la recta real

extendida en los cuales debemos utilizar lmites.

Tales integrales son frecuentemente escritas en forma simblica de igual forma que una
integral definida, utilizando un infinito como lmite de integracin. Esto no hace ms que
"ocultar" el debido proceso de calcular los lmites de la integral. Utilizando la ms
avanzada integral de Lebesgue en lugar de una integral de Riemann, uno puede a veces
evitar tal operacin. Pero si slo se desea evaluar el lmite para obtener un valor definido,
tal mecanismo pudiera no resultar de ayuda. El concepto de integral de Lebesgue es ms
o menos esencial en el tratamiento terico de la transformada de Fourier que hace uso
extensivo de integrales sobre el total de la recta real.

Lmites infinitos de integracin

Las integrales impropias ms bsicas son integrales como:

Como dijimos anteriormente stas no necesitan ser definidas como una integral impropia,
ya que pueden ser construidas como una integral de Lebesgue. Sin embargo, para
propsitos de calcular esta integral, es ms conveniente tratarla como un integral
impropia, i.e., evaluarla cuando el lmite superior de integracin es finito y entonces coger
el lmite ya que este lmite se acerca a . La primitiva de la funcin que est siendo
integrada es arctan x. La integral es
Por lo que el rea bajo la curva nunca puede ser definida de forma verdadera.

Asntotas verticales en los lmites de integracin

Considera

Esta integral involucra una funcin con una asntota vertical en x = 0.

Uno puede obtener el valor de esta integral evalundola desde b a 1, y entonces tomando
el lmite como b tendiendo a 0. Ntese que la anti-derivativa de la anterior funcin es

La cual puede ser evaluada por sustitucin directa para dar el valor

El lmite cuando b 0 es 3 0 = 3.

Valores principales de Cauchy

Considera la diferencia en los valores de dos lmites:

La primera es el valor principal de Cauchy

Similarmente, tenemos

Pero

La primera es el valor principal

Todos los lmites anteriores son casos de la forma indeterminada .

Carcter y valor de las Integrales Impropias

Si la integral que nos ocupa es de fcil resolucin podemos determinar su carcter

mediante el clculo de la integral impropia. Segn el resultado que obtengamos sabremos
si es convergente o divergente. Primero clasifiquemos las integrales en 3 tipos:

1. Primera especie

Son del tipo: o

Presentan una asntota horizontal.

2. Segunda especie
Son del tipo: y que no est definida en el intervalo de integracin o en
cualquier punto del dominio o los extremos de integracin.
Presentan una asntota vertical.

3. Tercera especie

Son mezclas de los dos tipos anteriores, es decir, que presentan un infinito en los
extremos de integracin y la funcin se hace infinito en uno o ms puntos del intervalo de
integracin.

Este tipo de integrales impropias se pueden dividir en suma de dos integrales: una de
primera especie y otra de segunda especie. Por lo tanto deberemos seguir los pasos
anteriores para determinar su carcter, y tener en cuenta que para que sea convergente
tanto la integral de primera especie como la de segunda especie tienen que ser
convergentes, si no, en cualquier otro caso, diverge.

- Existen diversos tipos de integrales impropias las cuales definiremos a continuacin:

Cuando los lmites, en las definiciones anteriores, existen, se dice que la integral
es convergente, en caso contrario, se dice que la integral es divergente.
- Algunos ejemplos

La integral converge a 1.

La integral converge a
La integral converge a 2.
La integral converge a