Integral impropia

En cálculo, una integral impropia de una función es el límite de una integral definida cuando uno o ambos extremos del intervalo de integración se acercan a un número que no está dentro de su dominio, a ${displaystyle infty }$, o a${displaystyle -infty }$. Además una integral definida es impropia cuando la función integrando de la integral definida no es continua en todo el intervalo de integración. También se pueden dar ambas situaciones.

Si la función ${displaystyle f(x)}$ al ser integrada desde ${displaystyle a}$ hasta ${displaystyle c}$ tiene una discontinuidad en ${displaystyle c}$, especialmente en la forma de una asíntota vertical, o si ${displaystyle c=infty }$ entonces la integral

Puede ser más conveniente redefinirla de la siguiente forma:

En algunos casos, la integral desde ${displaystyle a}$ hasta ${displaystyle c}$ ni siquiera está definida, puesto que las integrales de la parte positiva y negativa de ${displaystyle f(x)dx}$ entre ${displaystyle a}$ y ${displaystyle c}$ son ambas infinitas, sin embargo el límite puede existir. Estos casos corresponden a las llamadas "integrales impropias", es decir, aquellas cuyos valores no pueden definirse excepto como límites.

La integral

puede interpretarse como:

pero desde el punto de vista del análisis matemático no es obligatorio interpretarla de tal manera, ya que puede interpretarse como una integral de Lebesgue sobre el intervalo ${displaystyle (0,infty )}$. Por otro lado, el uso del límite 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 límites.

Tales integrales son frecuentemente escritas en forma simbólica de igual forma que una integral definida, utilizando un infinito como límite de integración. Esto no hace más que "ocultar" el debido proceso de calcular los límites de la integral. Utilizando la más avanzada integral de Lebesgue en lugar de una integral de Riemann, uno puede a veces evitar tal operación. Pero si solo se desea evaluar el límite para obtener un valor definido, tal mecanismo pudiera no resultar de ayuda. El concepto de integral de Lebesgue es más o menos esencial en el tratamiento teórico de la transformada de Fourier que hace uso extensivo de integrales sobre el total de la recta real.

Las integrales impropias más básicas 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 propósitos de calcular esta integral, es más conveniente tratarla como un integral impropia, i.e., evaluarla cuando el límite superior de integración es finito y entonces coger el límite ya que este límite se acerca a ${displaystyle infty }$. La primitiva de la función 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.

Considera

Esta integral involucra una función con una asíntota vertical en ${displaystyle x=0}$.

Uno puede obtener el valor de esta integral evaluándola desde ${displaystyle b}$ a 1, y entonces tomando el límite como ${displaystyle b}$ tendiendo a 0. Nótese que la anti-derivativa de la anterior función es

la cual puede ser evaluada por sustitución directa para dar el valor

El límite cuando ${displaystyle b ightarrow 0}$ es ${displaystyle 3(1-0)=3}$.

Considera la diferencia en los valores de dos límites:

La primera es el valor principal de Cauchy

Similarmente, tenemos

pero

La primera es el valor principal

Todos los límites anteriores son casos de la forma indeterminada ∞ − ∞.

Si la integral que nos ocupa es de fácil resolución podemos determinar su carácter mediante el cálculo de la integral impropia. Según el resultado que obtengamos sabremos si es convergente o divergente. Primero clasifiquemos las integrales en 3 tipos:

Son del tipo:${displaystyle int _{a}^{infty } f(x),dx,}$ o ${displaystyle int _{-infty }^{b}f(x),dx,}$

Presentan una asíntota horizontal.

Son del tipo:${displaystyle int _{a}^{b}f(x),dx,}$ , donde ${displaystyle f(x)}$ no está definida en todo el intervalo o los extremos de integración.

Típicamente, el integrando presenta una asíntota vertical.

Son mezclas de los dos tipos anteriores, es decir, que presentan un infinito en los extremos de integración y la función se hace infinito en uno o más puntos del intervalo de integración.

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 carácter, 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.