高斯积分

高斯积分 (Gaussian Integral)

高斯积分（Gaussian Integral），也称欧拉-泊松积分，是数学分析和应用数学中至关重要的反常积分，指函数 $f(x) = e^{-x^2}$ 在整个实数轴上的积分。其优雅结果为 $\int_{-\infty}^{\infty} e^{-x^2} dx = \sqrt{\pi}$。

推导与核心恒等式

核心推导技巧为将一维积分平方转换为二维极坐标积分。令 $I = \int_{-\infty}^{\infty} e^{-x^2}dx$。计算 $I^2 = (\int e^{-x^2}dx)(\int e^{-y^2}dy) = \iint_{-\infty}^{\infty} e^{-(x^2+y^2)}dx dy$。转换为极坐标：$x^2+y^2=r^2$，$dx dy = r dr d\theta$，积分范围 $r \in [0,\infty)$，$\theta \in [0,2\pi]$。因此 $I^2 = \int_0^{2\pi} \int_0^\infty e^{-r^2} r dr d\theta = \int_0^{2\pi} d\theta \cdot \int_0^\infty r e^{-r^2} dr = 2\pi \cdot [-\frac{1}{2}e^{-r^2}]_0^\infty = 2\pi \cdot (0 + \frac{1}{2}) = \pi$。取正平方根得 $I = \sqrt{\pi}$。

广义形式与应用

广义高斯积分带有参数：$\int_{-\infty}^{\infty} e^{-ax^2} dx = \sqrt{\pi/a}$（$a > 0$），通过变量替换 $u = \sqrt{a}x$，$dx = du/\sqrt{a}$ 立即得。带一次项的推广为 $\int_{-\infty}^{\infty} e^{-ax^2+bx} dx = \sqrt{\pi/a} \cdot e^{b^2/(4a)}$，通过平方完成 $-ax^2+bx = -a(x-b/(2a))^2 + b^2/(4a)$，平移加尺度不改变积分值，仅加乘常数项。矩形式为 $\int_{-\infty}^{\infty} x^{2n} e^{-ax^2} dx = \sqrt{\pi/a} \cdot (2n)!/(4^n n! a^n)$，奇次矩为零因被积函数为奇。

在概率论和统计学中，高斯积分为正态分布的归一化常数提供解析基础。正态概率密度 $\phi(x) = (1/\sqrt{2\pi\sigma^2}) e^{-(x-\mu)^2/(2\sigma^2)}$，分母中的 $\sqrt{2\pi}$ 来自高斯积分 $\int e^{-x^2/2}dx = \sqrt{2\pi}$。矩母函数和特征函数的计算，以及正态各阶期望的解析表达，均依赖高斯积分的推广形式。在量子力学中，路径积分的高斯形式即Feynman积分，自由粒子的传播子源自高斯积分。在计量经济学的贝叶斯推断中，正态-正态共轭后验的归一化常数和拉普拉斯近似中，高斯积分在渐近期极限中近似复杂后验。高斯积分作为数学分析中简洁优雅且理论价值极高的闭合形式，构成了从纯数学到应用经济统计的基础连接点。