高斯积分

高斯积分(英语:Gaussian integral),有时也被称为概率积分,是高斯函数ex2)在整个实数线上的积分。它得名于德国数学家物理学家卡尔·弗里德里希·高斯之姓氏。

f(x) = ex2 的图像,这个函数与 x 轴之间的面积等于

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

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

任意高斯函数的定积分为

计算方式

通过极限计算

要想找到高斯积分的闭合形式,首先定义一个近似函数:

 

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

 

 取平方获得

 

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

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

 

得到

 


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

 

利用沃利斯积分计算

在这里,对于n为自然数时,沃利斯积分定义为:

 

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

 

考虑到 以及 ,因此当 时该不等式成立:

 

 并且不等式各边取倒数之后,变成:

 

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

 

最左边变量代换为  ;当中变量代换为 ;最右边变量代换为  ,变成:

 

利用诱导公式 ,并且同时乘系数 ,变成:

 

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

与Γ函数的关系

由于被积分的函数是一个偶函数

 

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

 

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

 

推广

高斯函数的积分

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

 

更为广泛的形式为:

 

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

n维和泛函推广

 为一个对称的、正定的(因而可逆  精密矩阵英语precision matrix(即协方差矩阵的逆矩阵),则

 

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

同样,

 

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

或者,

 

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

虽然泛函积分没有严格的定义,但是我们仍然可以依照有限维的情况“定义”高斯泛函积分。[来源请求] 然而,  无穷大的问题依然存在,且大部分的泛函行列式英语Functional determinant也是无穷大的。如果只考虑比例:

 

则可以解决这个问题。在德维特标记法英语DeWitt notation下,此公式与有限维的情况一致。

带线性项的n维

如果A是一个对称的正定矩阵,则有(假设均为列向量)

 

形式相似的积分

 
 
 
 
 

其中,n 为正整数,“!!”表示双阶乘。 这类积分的一种简单的计算方式是应用莱布尼兹积分规则英语Leibniz integral rule对参数进行微分:

 

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

另见

参考资料

  • 埃里克·韦斯坦因. Gaussian Integral. MathWorld. 
  • Griffiths, David. Introduction to Quantum Mechanics 2nd. 
  • Abramowitz, M.; Stegun, I. A. Handbook of Mathematical Functions. New York: Dover Publications.