Gaussian Integral

The integral of any Gaussian function (named after Carl Friedrich Gauss) is quickly reducible to the Gaussian integral
\int_{-\infty}^{\infty} e^{-x^2}dx=\sqrt{\pi}.
This integral cannot be computed by elementary means since the function has no simple antiderivative. The solution is, however, readily apparent when one examines the square of the integral, and converts to polar coordinates. Let the value of the integral be s. Then, by applying Fubini's theorem,
s^2 = \left(\int_{-\infty}^\infty e^{-x^2}\,dx\right) \left(\int_{-\infty}^\infty e^{-y^2}\,dy\right) = \int_{\mathbb{R}^2}\!\!e^{-(x^2 + y^2)}\,dA.
In polar coordinates we have:
s^2 = \int_0^{2\pi}\!\!\!\int_0^\infty e^{-r^2}r\,dr\,d\theta = 2\pi\int_0^\infty e^{-r^2}r\,dr=2\pi\left\frac{-e^{-r^{2}}}{2}\right_0^\infty= \pi.
(The factor of r that makes the integral straightforward comes from the change of variables.) It then follows that
s = \int_{-\infty}^{\infty} e^{-x^2}dx = \sqrt{\pi}.

n-dimensional and functional generalization

Suppose A is a symmetric invertible covariant tensor of rank two. Then,
\int e^{-\frac{A_{ij} x^i x^j}{2}} d^nx=\frac{(2\pi)^{n/2}}{\sqrt{\det{A}}}
where the integral is understood to be over Rn. Also,
\int x^{k_1}\cdots x^{k_{2N}} e^{-\frac{A_{ij} x^i x^j}{2}} d^nx=\frac{(2\pi)^{n/2}}{\sqrt{\det{A}}}\frac{1}{2^N N!}\sum_{\sigma \in S_{2N}}(A^{-1})^{k_{\sigma(1)}k_{\sigma(2)}}\cdots (A^{-1})^{k_{\sigma(2N-1)}k_{\sigma(2N)}}
where σ is a permutation of {1,...,2N} and the extra factor on the RHS is nothing other than the sum over all combinatorial pairings of {1,...,2N} of N copies of A-1. Alternatively,
\int f(\vec{x})e^{-\frac{1}{2}A_{ij}x^i x^j} d^nx=\sqrt{(2\pi)^n\over \det{A}}\left. \exp\left({1\over 2}(A^{-1})^{ij}{\partial \over \partial x^i}{\partial \over \partial x^j}\right)f(\vec{x})\right|_{\vec{x}=0}
for some analytic function f provided it satisfies some appropriate bounds on its growth and some other technical criteria. (It works for some functions and fails for others. Polynomials are fine.) The exponential over a differential operator is understood as a power series. While functional integrals have no rigorous definition (or even a nonrigorous computation one in most cases), we can define a Gaussian functional integral in analogy to the finite dimensional case. The is still the problem, though, that (2\pi)^\infty is infinite and also, the functional determinant would also be infinite in general. This can be taken care of if we only consider ratios:
\frac{\int f(x_1)\cdots f(x_{2N}) e^{-\int\int \frac{A(x_{2N+1},x_{2N+2}) f(x_{2N+1}) f(x_{2N+2})}{2} d^dx_{2N+1} d^dx_{2N+2}} \mathcal{D}f}{\int e^{-\int\int \frac{A(x_{2N+1},x_{2N+2}) f(x_{2N+1}) f(x_{2N+2})}{2} d^dx_{2N+1} d^dx_{2N+2}} \mathcal{D}f}=\frac{1}{2^N N!}\sum_{\sigma \in S_{2N}}A^{-1}(x_{\sigma(1)},x_{\sigma(2)})\cdots A^{-1}(x_{\sigma(2N-1)},x_{\sigma(2N)})
In the deWitt notation, the equation looks identical to the finite dimensional case.

 

<< PreviousWord BrowserNext >>
k. karunakaran
wisconsin state university conference
journey to the center of the earth (1959 movie)
king daru of baekje
enlightenment guaranteed
laonicus chalcondyles
whakapapa skifield
luxembourg garden
pmac
prince kyril of bulgaria
monster type fighter
message authentication code
magellanic penguin
provisional designation
vedic mathematics
wraith medium fighter
jzsef etvs
one key mac
mucous
lilith (disambiguation)
bateia
tree adjoining grammar
zhuzhou television tower
pre wc1 confederation fighters
pre wc1 kilrathi fighters
chris mullin (basketball)
well behaved
tony slattery
dragon army
patent ductus arteriosus
pier angelo manzolli
national league pennant winners 1876 1900
mount marty college
marthinus van schalkwyk
trinity lutheran college
ed schultz
meithei
northwest indian college
oboe d'amore
hog dogging
tom clarke (irish republican)
save percentage
unfiltered
kyoko fukada