Введение
Интеграл гауссовской функции, равный sqrt(π).
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
Гауссов интеграл, также известный как интеграл Эйлера — Пуассона, представляет собой интеграл гауссовской функции по всей вещественной прямой. Названный в честь немецкого математика Карла Фридриха Гаусса, этот интеграл был впервые обнаружен Авраамом де Муавром в 1733 году, а Гаусс опубликовал его точное значение в 1809 году. Интеграл имеет широкий спектр применений. Например, с небольшим изменением переменных он используется для вычисления нормализующей константы нормального распределения. Тот же интеграл с конечными пределами интегрирования тесно связан как с функцией ошибок, так и с функцией кумулятивного распределения нормального распределения. В физике этот тип интеграла часто встречается, например, в квантовой механике при определении плотности вероятности основного состояния гармонического осциллятора. Он также используется в интегральном представлении, для нахождения пропагатора гармонического осциллятора, и в статистической механике для вычисления функции разделения. Хотя для функции ошибок не существует элементарного выражения, что может быть доказано алгоритмом Риша, гауссов интеграл может быть решен аналитически с помощью методов многомерного исчисления. То есть, не существует элементарного неопределенного интеграла, но определенный интеграл может быть вычислен. Определенный интеграл произвольной гауссовской функции равен
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
Полиномы высшего порядка
Применение линейного изменения базиса показывает, что интеграл экспоненты однородного многочлена от n переменных может зависеть только от SL(n)-инвариантов многочлена. Одним из таких инвариантов является дискриминант, нули которого отмечают сингулярности интеграла. Однако интеграл может также зависеть от других инвариантов. Экспоненты других чётных многочленов могут быть численно решены с помощью рядов. Эти ряды могут рассматриваться как формальные вычисления в случае отсутствия сходимости. Например, решение интеграла экспоненты квартичного многочлена подчиняется условию 1 = n + p = 0 (mod 2), поскольку интеграл от −∞ до 0 вносит вклад (−1)^(n+p)/2 в каждый член, а интеграл от 0 до +∞ вносит вклад 1/2 в каждый член. Подобные интегралы возникают в таких областях, как квантовая теория поля.
zeros of which mark the singularities of the integral. However, the integral may also depend on other invariants. Exponentials of other even polynomials can numerically be solved using series. These may be interpreted as formal calculations when there is no convergence. For example, the solution to the integral of the exponential of a quartic polynomial is
The 1=n + p = 0 mod 2 requirement is because the integral from −∞ to 0 contributes a factor of (−1)^(n+p)/2 to each term, while the integral from 0 to +∞ contributes a factor of 1/2 to each term. These integrals turn up in subjects such as quantum field theory.