En análisis matemático , una integral impropia es una extensión de la noción de una integral definida a los casos que violan los supuestos habituales para ese tipo de integral. [1] En el contexto de las integrales de Riemann (o, equivalentemente, las integrales de Darboux ), esto típicamente implica la ilimitación, ya sea del conjunto sobre el que se toma la integral o del integrando (la función que se integra), o ambos. También puede involucrar conjuntos acotados pero no cerrados o funciones acotadas pero no continuas . Si bien una integral impropia generalmente se escribe simbólicamente como una integral definida estándar, en realidad representa un límite de una integral definida o una suma de tales límites; por lo tanto, se dice que las integrales impropias convergen o divergen. [2] [1] Si una integral definida regular (que puede llamarse retronymicamente una integral propia ) se calcula como si fuera impropia, se obtendrá la misma respuesta.
En el caso más simple de una función de valor real de una sola variable integrada en el sentido de Riemann (o Darboux) sobre un solo intervalo, las integrales impropias pueden tener cualquiera de las siguientes formas:
, donde no está definido o es discontinuo en algún lugar
Las tres primeras formas son impropias porque las integrales se toman en un intervalo no acotado. (También pueden ser impropias por otras razones, como se explica a continuación). Una integral de este tipo a veces se describe como del "primer" tipo o clase si el integrando satisface los supuestos de integración. [2] Las integrales de la cuarta forma que son impropias porque tienen una asíntota vertical en algún lugar del intervalo pueden describirse como del "segundo" tipo o clase. [2] Las integrales que combinan aspectos de ambos tipos a veces se describen como del "tercer" tipo o clase. [2]
En cada caso anterior, la integral impropia debe reescribirse utilizando uno o más límites, dependiendo de qué esté causando que la integral sea impropia. Por ejemplo, en el caso 1, si es continua en todo el intervalo , entonces
El límite de la derecha se toma como la definición de la notación integral de la izquierda.
Si solo es continua en sí misma y no en sí misma, entonces normalmente esto se reescribe como
para cualquier elección de . Aquí ambos límites deben converger a un valor finito para que se diga que la integral impropia converge. Este requisito evita el caso ambiguo de sumar infinitos positivos y negativos (es decir, la forma indeterminada " " ). Alternativamente, se podría utilizar un límite iterado o un único límite basado en el valor principal de Cauchy .
para cualquier elección de . Las observaciones anteriores sobre formas indeterminadas, límites iterados y el valor principal de Cauchy también se aplican aquí.
La función puede tener más discontinuidades, en cuyo caso se requerirían aún más límites (o una expresión de valor principal más complicada).
Los casos 2 a 4 se manejan de manera similar. Vea los ejemplos a continuación.
Las integrales impropias también se pueden evaluar en el contexto de números complejos, en dimensiones superiores y en otros marcos teóricos como la integración de Lebesgue o la integración de Henstock-Kurzweil . Las integrales que se consideran impropias en un marco pueden no serlo en otros.
Ejemplos
La definición original de la integral de Riemann no se aplica a una función como la del intervalo [1, ∞) , porque en este caso el dominio de integración es ilimitado . Sin embargo, la integral de Riemann a menudo se puede extender por continuidad , definiendo la integral impropia como un límite
La definición estrecha de la integral de Riemann tampoco cubre la función en el intervalo [0, 1] . El problema aquí es que el integrando no está acotado en el dominio de integración. En otras palabras, la definición de la integral de Riemann requiere que tanto el dominio de integración como el integrando estén acotados . Sin embargo, la integral impropia existe si se entiende como el límite
A veces las integrales pueden tener dos singularidades donde son impropias. Consideremos, por ejemplo, la función 1/(( x + 1) √ x ) integrada de 0 a ∞ (mostrada a la derecha). En el límite inferior del dominio de integración, cuando x tiende a 0 la función tiende a ∞ , y el límite superior es en sí mismo ∞ , aunque la función tiende a 0. Por lo tanto, esta es una integral doblemente impropia. Integrada, digamos, de 1 a 3, una suma de Riemann ordinaria es suficiente para producir un resultado de π /6. Para integrar de 1 a ∞ , una suma de Riemann no es posible. Sin embargo, cualquier límite superior finito, digamos t (con t > 1 ), da un resultado bien definido, 2 arctan( √ t ) − π/2 . Esto tiene un límite finito cuando t tiende a infinito, es decir π /2 . De manera similar, la integral de 1/3 a 1 también permite una suma de Riemann, que casualmente produce nuevamente π /6. Reemplazar 1/3 por un valor positivo arbitrario s (con s < 1 ) es igualmente seguro, lo que da π/2 − 2 arctan( √ s ) . Esto también tiene un límite finito cuando s tiende a cero, es decir π /2. Combinando los límites de los dos fragmentos, el resultado de esta integral impropia es
Este proceso no garantiza el éxito; puede que no exista un límite o que éste sea infinito. Por ejemplo, en el intervalo acotado de 0 a 1 la integral de 1/ x no converge; y en el intervalo no acotado de 1 a ∞ la integral de 1/ √ x no converge.
También puede ocurrir que un integrando no esté acotado cerca de un punto interior, en cuyo caso la integral debe descomponerse en ese punto. Para que la integral en su conjunto converja, las integrales límite en ambos lados deben existir y deben estar acotadas. Por ejemplo:
Pero la integral similar
No se puede asignar un valor de esta manera, ya que las integrales por encima y por debajo de cero en el dominio integral no convergen independientemente. (Sin embargo, consulte el valor principal de Cauchy ).
Convergencia de la integral
Una integral impropia converge si existe el límite que la define. Así, por ejemplo, se dice que la integral impropia
existe y es igual a L si las integrales bajo el límite existen para todos los t suficientemente grandes , y el valor del límite es igual a L.
También es posible que una integral impropia diverja hasta el infinito. En ese caso, se puede asignar el valor de ∞ (o −∞) a la integral. Por ejemplo
Sin embargo, otras integrales impropias pueden simplemente divergir en ninguna dirección particular, como por ejemplo:
que no existe, ni siquiera como número real extendido . Esto se llama divergencia por oscilación.
Una limitación de la técnica de integración impropia es que el límite debe tomarse con respecto a un punto final a la vez. Así, por ejemplo, una integral impropia de la forma
se puede definir tomando dos límites separados; a los cuales
siempre que el límite doble sea finito. También puede definirse como un par de integrales impropias distintas de primera especie:
donde c es cualquier punto conveniente en el que se inicia la integración. Esta definición también se aplica cuando una de estas integrales es infinita, o ambas si tienen el mismo signo.
Un ejemplo de una integral impropia donde ambos puntos finales son infinitos es la integral gaussiana . Un ejemplo que evalúa al infinito es . Pero ni siquiera se pueden definir otras integrales de este tipo de manera inequívoca, como , ya que el límite doble es infinito y el método de dos integrales
Existe más de una teoría de integración . Desde el punto de vista del cálculo, la teoría integral de Riemann suele asumirse como la teoría predeterminada. Al utilizar integrales impropias, puede ser importante qué teoría de integración se utiliza.
Para la integral de Riemann (o la integral de Darboux , que es equivalente a ella), la integración impropia es necesaria tanto para intervalos no acotados (ya que no se puede dividir el intervalo en un número finito de subintervalos de longitud finita) como para funciones no acotadas con integral finita (ya que, suponiendo que es no acotada por encima, entonces la integral superior será infinita, pero la integral inferior será finita).
La integral de Lebesgue trata de manera diferente con dominios no acotados y funciones no acotadas, de modo que a menudo una integral que solo existe como una integral de Riemann impropia existirá como una integral de Lebesgue (propia), como . Por otro lado, también hay integrales que tienen una integral de Riemann impropia pero no tienen una integral de Lebesgue (propia), como . La teoría de Lebesgue no ve esto como una deficiencia: desde el punto de vista de la teoría de la medida , y no se puede definir satisfactoriamente. En algunas situaciones, sin embargo, puede ser conveniente emplear integrales de Lebesgue impropias como es el caso, por ejemplo, al definir el valor principal de Cauchy . La integral de Lebesgue es más o menos esencial en el tratamiento teórico de la transformada de Fourier , con un uso generalizado de integrales sobre toda la línea real.
Para la integral de Henstock-Kurzweil , no es necesaria la integración impropia , y esto se considera una fortaleza de la teoría: abarca todas las funciones integrables de Lebesgue e integrables de Riemann impropias.
Integrales de Riemann e integrales de Lebesgue impropias
En algunos casos, la integral
puede definirse como una integral (una integral de Lebesgue , por ejemplo) sin referencia al límite
pero no se puede calcular de otra manera. Esto sucede a menudo cuando la función f que se integra de a a c tiene una asíntota vertical en c o si c = ∞ (ver Figuras 1 y 2). En tales casos, la integral de Riemann impropia permite calcular la integral de Lebesgue de la función. En concreto, se cumple el siguiente teorema (Apostol 1974, Teorema 10.33):
Si una función f es integrable en Riemann en [ a , b ] para cada b ≥ a , y las integrales parciales
están acotadas cuando b → ∞, entonces las integrales de Riemann impropias
ambas existen. Además, f es integrable según Lebesgue en [ a , ∞), y su integral de Lebesgue es igual a su integral de Riemann impropia.
Por ejemplo, la integral
puede interpretarse alternativamente como la integral impropia
o puede interpretarse en cambio como una integral de Lebesgue sobre el conjunto (0, ∞). Dado que ambos tipos de integrales coinciden, uno es libre de elegir el primer método para calcular el valor de la integral, incluso si en última instancia desea considerarla como una integral de Lebesgue. Por lo tanto, las integrales impropias son claramente herramientas útiles para obtener los valores reales de las integrales.
En otros casos, sin embargo, una integral de Lebesgue entre puntos finales finitos puede no estar definida, porque las integrales de las partes positiva y negativa de f son ambas infinitas, pero la integral de Riemann impropia puede existir igualmente. Tales casos son integrales "propiamente impropias", es decir, sus valores no pueden definirse excepto como tales límites. Por ejemplo,
no puede interpretarse como una integral de Lebesgue, ya que
Pero , sin embargo, es integrable entre dos puntos finales finitos cualesquiera, y su integral entre 0 y ∞ se entiende normalmente como el límite de la integral:
Singularidades
Se puede hablar de singularidades de una integral impropia, es decir, aquellos puntos de la recta de números reales extendida en los que se utilizan límites.
Valor principal de Cauchy
Consideremos la diferencia de valores de dos límites:
El primero es el valor principal de Cauchy de la expresión, que de otro modo estaría mal definida.
De manera similar, tenemos
pero
El primero es el valor principal de la expresión, que de otro modo estaría mal definida.
Estas patologías no afectan a las funciones "integrables-Lebesgue", es decir, funciones cuyas integrales de valores absolutos son finitos.
Sumabilidad
Una integral impropia puede divergir en el sentido de que el límite que la define puede no existir. En este caso, existen definiciones más sofisticadas del límite que pueden producir un valor convergente para la integral impropia. Estas se denominan métodos de sumabilidad .
existe y es finito (Titchmarsh 1948, §1.15). El valor de este límite, si existiera, es la suma (C, α) de la integral.
Una integral es (C, 0) sumable precisamente cuando existe como una integral impropia. Sin embargo, hay integrales que son (C, α) sumables para α > 0 que no convergen como integrales impropias (en el sentido de Riemann o Lebesgue). Un ejemplo es la integral
que no existe como integral impropia, pero es (C, α ) sumable para cada α > 0. Esta es una versión integral de la serie de Grandi .
Integrales impropias multivariables
La integral impropia también se puede definir para funciones de varias variables. La definición es ligeramente diferente, dependiendo de si se requiere integrar sobre un dominio ilimitado, como , o se está integrando una función con singularidades, como .
Integrales impropias sobre dominios arbitrarios
Si es una función no negativa que es integrable según Riemann sobre cada cubo compacto de la forma , para , entonces la integral impropia de f sobre se define como el límite
siempre que exista.
Una función en un dominio arbitrario A se extiende a una función en por cero fuera de A :
La integral de Riemann de una función sobre un dominio acotado A se define entonces como la integral de la función extendida sobre un cubo que contiene a A :
De manera más general, si A no tiene límites, entonces la integral de Riemann impropia sobre un dominio arbitrario en se define como el límite:
Integrales impropias con singularidades
Si f es una función no negativa que no está acotada en un dominio A , entonces la integral impropia de f se define truncando f en algún punto de corte M , integrando la función resultante y luego tomando el límite cuando M tiende a infinito. Esto es para , establezca . Luego defina
siempre que exista este límite.
Funciones con valores positivos y negativos
Estas definiciones se aplican a funciones que no son negativas. Una función más general f se puede descomponer como una diferencia de su parte positiva y su parte negativa , de modo que
con y ambas funciones no negativas. La función f tiene una integral de Riemann impropia si cada una de y tiene una, en cuyo caso el valor de esa integral impropia se define por
Para existir en este sentido, la integral impropia necesariamente converge de manera absoluta, ya que
[3] [4]
Notas
^ ab Buck, R. Creighton (1965). Cálculo avanzado (2.ª ed.). McGraw-Hill. págs. 133–134.
^ abcd Spiegel, Murray R. (1963). Esquema de teoría y problemas de cálculo avanzado de Schaum . McGraw-Hill. pág. 260. ISBN0-07-060229-8.
^ Cooper 2005, p. 538: "Necesitamos hacer esta definición más fuerte de convergencia en términos de | f ( x )| porque la cancelación en las integrales puede ocurrir de muchas maneras diferentes en dimensiones superiores".
^ Ghorpade & Limaye 2010, p. 448: "La noción relevante aquí es la de convergencia incondicional"... "De hecho, para integrales impropias de tales funciones, la convergencia incondicional resulta ser equivalente a la convergencia absoluta".
Apostol, T (1967), Cálculo, vol. 1 (2.ª ed.), Jon Wiley & Sons.
Autar Kaw, Egwu Kalu (2008), Métodos numéricos con aplicaciones (1.ª ed.), autarkaw.com
Titchmarsh, E (1948), Introducción a la teoría de las integrales de Fourier (2.ª ed.), Nueva York, NY: Chelsea Pub. Co. (publicado en 1986), ISBN 978-0-8284-0324-5.
Cooper, Jeffery (2005), Análisis de trabajo , Gulf Professional
Ghorpade, Sudhir; Limaye, Balmohan (2010), Un curso de cálculo y análisis multivariable , Springer
Enlaces externos
Métodos numéricos para resolver integrales impropias en el Instituto de Métodos Numéricos Holísticos