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 , o a. 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.

Introducción

editar
 
Punto singular en el infinito.

Si la función   al ser integrada desde   hasta   tiene una discontinuidad en  , especialmente en la forma de una asíntota vertical, o si   entonces la integral

 
 
Punto singular en c.

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

 

En algunos casos, la integral desde   hasta   ni siquiera está definida, puesto que las integrales de la parte positiva y negativa de   entre   y   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  . 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.

Límites infinitos de integración

editar

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  . 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.

Asíntotas verticales en los límites de integración

editar

Considera

 

Esta integral involucra una función con una asíntota vertical en  .

Uno puede obtener el valor de esta integral evaluándola desde   a 1, y entonces tomando el límite como   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   es  .

Valores principales de Cauchy

editar

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 ∞ − ∞.

Carácter y valor de las Integrales Impropias

editar

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:

Primera especie

editar

Son del tipo:  o  

Presentan una asíntota horizontal.

Segunda especie

editar

Son del tipo:  , donde   no está definida en todo el intervalo o los extremos de integración.

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

Tercera especie

editar

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.

Véase también

editar