高斯积分

高斯积分（），有时也被称为概率积分，是高斯函数（e−x2）在整个實數線上的积分。它得名于德国数学家兼物理学家卡爾·弗里德里希·高斯之姓氏。

高斯积分用处很广。例如，利用换元积分法，它可以用来计算正态分布的归一化常数。在极限为有限值的时候，高斯积分与正态分布的误差函数和累积分布函数密切相关。在物理学中，这种积分也经常出现：例如在量子力学中，谐振子基态的概率密度；在路径积分公式中，谐振子的传播子；以及统计力学中的配分函数，以上的计算都要用到这个积分。

我们可以通过Risch算法证明误差函数不具有初等函数形式；尽管如此，高斯积分可以通过多元微积分方法分析求解。虽然不定积分
无法用初等函数表示，但定积分是可以计算的。

任意高斯函数的定积分为

计算方式

通过极限计算 
要想找到高斯积分的闭合形式，首先定义一个近似函数：

，

高斯积分可以通过它的极限来运算：

对取平方获得

根据富比尼定理，以上的双重积分可以被看作是直角坐标系上一个正方形的面积积分，其顶点为。

不论为任何实数，指数函数均大于0，所以这个正方形的内切圆的积分必须小于。同理，正方形的外接圆积分必须大于。通过从直角坐标系转化到极坐标系, , ，可以计算出这两个圆面的积分：

，

得到

使用夹擠定理获得高斯积分

利用沃利斯积分计算 
在这里，对于n为自然数时，沃利斯积分定义为：

因此有的关系，并且根据以及夹挤定理得到，另外也可以得到，因此总有，于是可以得到：

考虑到以及，因此当时该不等式成立：

当并且不等式各边取倒数之后，变成：

各边同时乘方运算与积分，并且最右边的部分积分区间大于左边与中间部分，变成：

最左边变量代换为得；当中变量代换为；最右边变量代换为得，变成：

利用诱导公式，并且同时乘系数，变成：

此时即为，当时通过夹挤定理可以得到共同极限为，最终有。

与Γ函数的关系
由于被积分的函数是一个偶函数，

通过替代变量它可以变成一个欧拉积分

这里是Γ函数。这说明了为什么一个半整数的階乘是的倍数。更广义地，

推广

高斯函数的积分 
任一高斯函数的积分都可以用以下的公式计算：

更为广泛的形式为：

这一公式在计算有关正态分布的一些连续概率分布的数学期望值的时候特别有用，例如对数正态分布。

n维和泛函推广 

令为一个对称的、正定的（因而可逆） （即协方差矩阵的逆矩阵），则

这里的积分是对Rn的。上式被用于研究多元正态分布。

同样，

这里的 σ 表示的是有序集 {1, ..., 2N} 的不同排列。等式右边的系数是对  个重复的 A-1 的 {1, ..., 2N} 中所有的组合的求和（the sum over all combinatorial pairings of {1, ..., 2N} of N copies of A−1）。

或者，

以上积分中的  是解析函数，且函数值的增长必须满足某些边界条件以及另一些特定要求。微分算子的幂可以理解为幂级数。

虽然没有严格的定义，但是我们仍然可以依照有限维的情况“定义”高斯泛函积分。 然而， 无穷大的问题依然存在，且大部分的也是无穷大的。如果只考虑比例：

则可以解决这个问题。在下，此公式与有限维的情况一致。

带线性项的n维 
如果A是一个对称的正定矩阵，则有（假设均为列向量）

形式相似的积分 

其中，n 为正整数，“!!”表示。
这类积分的一种简单的计算方式是应用对参数进行微分：

也可以先分部积分，然后找出递推关系之后求解。

另见 
 高斯函数积分表
 
 正态分布
 指数函数积分表
 误差函数

参考资料

 
 

積分
包含证明的条目
高斯函數
分析定理