Gaussian integral

The Gaussian integral, also known as the Euler–Poisson integral, is the integral of the Gaussian function over the entire real line. Named after the German mathematician Carl Friedrich Gauss, the integral is Abraham de Moivre originally discovered this type of integral in 1733, while Gauss published the precise integral in 1809. The integral has a wide range of applications. For example, with a slight change of variables it is used to compute the normalizing constant of the normal distribution. The same integral with finite limits is closely related to both the error function and the cumulative distribution function of the normal distribution. In physics this type of integral appears frequently, for example, in quantum mechanics, to find the probability density of the ground state of the harmonic oscillator. This integral is also used in the path integral formulation, to find the propagator of the harmonic oscillator, and in statistical mechanics, to find its partition function. Although no elementary function exists for the error function, as can be proven by the Risch algorithm, the Gaussian integral can be solved analytically through the methods of multivariable calculus. That is, there is no elementary indefinite integral for but the definite integral can be evaluated. The definite integral of an arbitrary Gaussian function is A standard way to compute the Gaussian integral, the idea of which goes back to Poisson, is to make use of the property that: Consider the function on the plane , and compute its integral two ways: on the one hand, by double integration in the Cartesian coordinate system, its integral is a square: on the other hand, by shell integration (a case of double integration in polar coordinates), its integral is computed to be Comparing these two computations yields the integral, though one should take care about the improper integrals involved.