stringtranslate.com

Integral gaussiana

Una gráfica de la función y el área entre ella y el eje (es decir, toda la línea real) que es igual a .

La integral gaussiana , también conocida como integral de Euler-Poisson , es la integral de la función gaussiana sobre toda la línea real. La integral, que recibe su nombre del matemático alemán Carl Friedrich Gauss , es

Abraham de Moivre descubrió originalmente este tipo de integral en 1733, mientras que Gauss publicó la integral precisa en 1809. [1] La integral tiene una amplia gama de aplicaciones. Por ejemplo, con un ligero cambio de variables se utiliza para calcular la constante de normalización de la distribución normal . La misma integral con límites finitos está estrechamente relacionada tanto con la función de error como con la función de distribución acumulativa de la distribución normal . En física este tipo de integral aparece con frecuencia, por ejemplo, en mecánica cuántica , para encontrar la densidad de probabilidad del estado fundamental del oscilador armónico. Esta integral también se utiliza en la formulación de la integral de trayectoria, para encontrar el propagador del oscilador armónico, y en mecánica estadística , para encontrar su función de partición .

Aunque no existe una función elemental para la función de error, como se puede demostrar mediante el algoritmo de Risch [2] , la integral gaussiana se puede resolver analíticamente mediante los métodos del cálculo multivariable . Es decir, no existe una integral indefinida elemental para pero se puede evaluar la integral definida . La integral definida de una función gaussiana arbitraria es

Cálculo

Por coordenadas polares

Una forma estándar de calcular la integral gaussiana, cuya idea se remonta a Poisson, [3] es utilizar la propiedad que:

Considere la función en el plano y calcule su integral de dos maneras:

  1. por un lado, por doble integración en el sistema de coordenadas cartesianas , su integral es un cuadrado:
  2. Por otra parte, por integración de capas (un caso de doble integración en coordenadas polares ), su integral se calcula como

Comparando estos dos cálculos se obtiene la integral, aunque hay que tener cuidado con las integrales impropias involucradas.

donde el factor de r es el determinante jacobiano que aparece debido a la transformación a coordenadas polares ( r dr es la medida estándar en el plano, expresada en coordenadas polares Wikilibros:Cálculo/Integración polar#Generalización), y la sustitución implica tomar s = − r 2 , entonces ds = −2 r dr .

Combinando estos rendimientos ,

Prueba completa

Para justificar las integrales dobles impropias e igualar las dos expresiones, comenzamos con una función de aproximación:

Si la integral fuera absolutamente convergente tendríamos que su valor principal de Cauchy , es decir, el límite coincidiría con Para ver que este es el caso, considere que

Así que podemos calcularlo simplemente tomando el límite.

Tomando el cuadrado de los rendimientos

Usando el teorema de Fubini , la integral doble anterior puede verse como una integral de área tomada sobre un cuadrado con vértices {(− a , a ), ( a , a ), ( a , − a ), (− a , − a )} en el plano xy .

Como la función exponencial es mayor que 0 para todos los números reales, se deduce que la integral tomada sobre el incírculo del cuadrado debe ser menor que , y de manera similar, la integral tomada sobre el circuncírculo del cuadrado debe ser mayor que . Las integrales sobre los dos discos se pueden calcular fácilmente cambiando de coordenadas cartesianas a coordenadas polares :

(Consulte coordenadas polares desde coordenadas cartesianas para obtener ayuda con la transformación polar).

Integrando,

Por el teorema del apretón , esto da la integral gaussiana

Por coordenadas cartesianas

Una técnica diferente, que se remonta a Laplace (1812), [3] es la siguiente. Sea

Como los límites de s cuando y → ±∞ dependen del signo de x , el cálculo se simplifica si se tiene en cuenta que e x 2 es una función par y, por lo tanto, la integral sobre todos los números reales es simplemente el doble de la integral desde cero hasta el infinito. Es decir,

Por lo tanto, en el rango de integración, x ≥ 0 y las variables y y s tienen los mismos límites. Esto da como resultado: Luego, utilizando el teorema de Fubini para cambiar el orden de integración :

Por lo tanto, como se esperaba.

PorEl método de Laplace

En la aproximación de Laplace, tratamos solo con términos de hasta segundo orden en la expansión de Taylor, por lo que consideramos .

De hecho, dado que para todo , tenemos los límites exactos: Entonces podemos hacer el límite en el límite de aproximación de Laplace:

Eso es,

Por sustitución trigonométrica, calculamos exactamente esos dos límites: y

Al tomar la raíz cuadrada de la fórmula de Wallis , tenemos , el límite inferior deseado. De manera similar, podemos obtener el límite superior deseado. Por el contrario, si primero calculamos la integral con uno de los otros métodos anteriores, obtendremos una prueba de la fórmula de Wallis.

Relación con la función gamma

El integrando es una función par ,

Por lo tanto, después del cambio de variable , esto se convierte en la integral de Euler

donde es la función gamma . Esto demuestra por qué el factorial de un semientero es un múltiplo racional de . En términos más generales, se puede obtener sustituyendo en el integrando de la función gamma para obtener .

Generalizaciones

La integral de una función gaussiana

La integral de una función gaussiana arbitraria es

Una forma alternativa es

Esta forma es útil para calcular las expectativas de algunas distribuciones de probabilidad continuas relacionadas con la distribución normal, como la distribución log-normal , por ejemplo.

Forma compleja

y más generalmente, para cualquier matriz simétrica positiva definida .

norte-generalización dimensional y funcional

Supongamos que A es una matriz de precisión n × n simétrica definida positiva (por lo tanto invertible) , que es la matriz inversa de la matriz de covarianza . Entonces,

Al completar el cuadrado, esto se generaliza a

Este hecho se aplica en el estudio de la distribución normal multivariante .

Además, donde σ es una permutación de {1, …, 2 N } y el factor extra en el lado derecho es la suma de todos los emparejamientos combinatorios de {1, …, 2 N } de N copias de A −1 .

Alternativamente, [4]

para alguna función analítica f , siempre que satisfaga algunos límites apropiados para su crecimiento y algunos otros criterios técnicos. (Funciona para algunas funciones y falla para otras. Los polinomios están bien). La exponencial sobre un operador diferencial se entiende como una serie de potencias .

Si bien las integrales funcionales no tienen una definición rigurosa (o incluso una definición computacional no rigurosa en la mayoría de los casos), podemos definir una integral funcional gaussiana en analogía con el caso de dimensión finita. [ cita requerida ] Sin embargo, todavía existe el problema de que es infinita y, además, el determinante funcional también sería infinito en general. Esto se puede solucionar si solo consideramos las proporciones:

En la notación DeWitt , la ecuación parece idéntica al caso de dimensión finita.

norte-dimensional con término lineal

Si A es nuevamente una matriz definida positiva simétrica, entonces (asumiendo que todos son vectores columna)

Integrales de forma similar

¿Dónde está un entero positivo?

Una forma fácil de derivarlos es diferenciando bajo el signo integral .

También se podría integrar por partes y encontrar una relación de recurrencia para resolver esto.

Polinomios de orden superior

La aplicación de un cambio de base lineal muestra que la integral de la exponencial de un polinomio homogéneo en n variables puede depender únicamente de invariantes SL( n ) del polinomio. Uno de estos invariantes es el discriminante , cuyos ceros marcan las singularidades de la integral. Sin embargo, la integral también puede depender de otros invariantes. [5]

Las exponenciales de otros polinomios pares se pueden resolver numéricamente mediante series. Estas pueden interpretarse como cálculos formales cuando no hay convergencia. Por ejemplo, la solución de la integral de la exponencial de un polinomio de cuarto grado es [ cita requerida ]

El requisito de n + p = 0 mod 2 se debe a que la integral de −∞ a 0 contribuye con un factor de (−1) n + p /2 a cada término, mientras que la integral de 0 a +∞ contribuye con un factor de 1/2 a cada término. Estas integrales aparecen en materias como la teoría cuántica de campos .

Véase también

Referencias

Citas

  1. ^ Stahl, Saul (abril de 2006). "La evolución de la distribución normal" (PDF) . MAA.org . Consultado el 25 de mayo de 2018 .
  2. ^ Cherry, GW (1985). "Integración en términos finitos con funciones especiales: la función de error". Journal of Symbolic Computation . 1 (3): 283–302. doi : 10.1016/S0747-7171(85)80037-7 .
  3. ^ ab Lee, Peter M. "La integral de probabilidad" (PDF) .
  4. ^ "Referencia para la integral gaussiana multidimensional". Stack Exchange . 30 de marzo de 2012.
  5. ^ Morozov, A.; Shakirove, Sh. (2009). "Introducción a los discriminantes integrales". Journal of High Energy Physics . 2009 (12): 002. arXiv : 0903.2595 . Bibcode :2009JHEP...12..002M. doi :10.1088/1126-6708/2009/12/002.

Fuentes