KNOWECON WIKI

ARTICLE

欧拉积分

欧拉积分（Euler integrals）是数学分析中一类重要的特殊积分，由瑞士数学家莱昂哈德·欧拉（Leonhard Euler）在18世纪系统研究并命名。欧拉积分主要包括两种类型：第一类欧拉积分（Beta函数）和第二类欧拉积分（Gamma函数）。这两类积分在数学、物理学、统计学和工程学等领域有着广泛而深刻的应用，是连接初等函数与高等特殊函数的重要桥梁。

浏览 0 更新 2025-11-04

欧拉积分（Euler integrals）是数学分析中一类重要的特殊积分，由瑞士数学家莱昂哈德·欧拉（Leonhard Euler）在18世纪系统研究并命名。欧拉积分主要包括两种类型：第一类欧拉积分（Beta函数）和第二类欧拉积分（Gamma函数）。这两类积分在数学、物理学、统计学和工程学等领域有着广泛而深刻的应用，是连接初等函数与高等特殊函数的重要桥梁。

1. 第二类欧拉积分（Gamma函数）

第二类欧拉积分，即Gamma函数，定义为：

Γ(z)=∫0∞tz−1e−t dt,Re⁡(z)>0\Gamma(z) = \int_0^\infty t^{z-1} e^{-t}\,dt, \quad \operatorname{Re}(z) > 0

该积分在复平面的右半平面上收敛，并可通过解析延拓扩展到整个复平面，除去非正整数极点。Gamma函数是阶乘概念的推广：对于正整数n，有 Γ(n)=(n−1)!\Gamma(n) = (n-1)!。这一性质使得Gamma函数成为组合数学和概率论中不可或缺的工具。

1.1 基本性质

Gamma函数具有以下重要性质：

  • 函数方程：Γ(z+1)=zΓ(z)\Gamma(z+1) = z\Gamma(z)，这是阶乘递推关系的直接推广，也是Gamma函数最核心的恒等式之一。
  • 余元公式：Γ(z)Γ(1−z)=πsin⁡(πz)\Gamma(z)\Gamma(1-z) = \frac{\pi}{\sin(\pi z)}，该公式揭示了Gamma函数与三角函数之间的深刻联系。当 z=12z = \frac{1}{2} 时，可得 Γ(12)=π\Gamma\left(\frac{1}{2}\right) = \sqrt{\pi}，这是Gamma函数在半整数点处的重要取值。
  • 倍乘公式（Legendre公式）：Γ(z)Γ(z+12)=21−2zπ Γ(2z)\Gamma(z)\Gamma\left(z+\frac{1}{2}\right) = 2^{1-2z}\sqrt{\pi}\,\Gamma(2z)，该公式将Gamma函数在 zz 和 z+12z+\frac{1}{2} 处的取值与 2z2z 处的取值联系起来。
  • 特殊取值：在正整数点处有 Γ(n)=(n−1)!\Gamma(n) = (n-1)!；在半整数点处有 Γ(n+12)=(2n−1)!!2nπ\Gamma\left(n+\frac{1}{2}\right) = \frac{(2n-1)!!}{2^n}\sqrt{\pi}。

Gamma函数的对数导数定义为Digamma函数：ψ(z)=ddzln⁡Γ(z)=Γ′(z)Γ(z)\psi(z) = \frac{d}{dz}\ln\Gamma(z) = \frac{\Gamma'(z)}{\Gamma(z)}，它在数论和解析数论中有重要应用。Gamma函数的渐近行为由斯特林公式（Stirling's formula）描述：Γ(z)∼2π zz−12e−z\Gamma(z) \sim \sqrt{2\pi}\,z^{z-\frac{1}{2}}e^{-z}，当 ∣z∣→∞|z| \to \infty 且 ∣arg⁡z∣<π|\arg z| < \pi 时成立。这一渐近公式在阶乘的近似计算中极为有用。

1.2 无穷乘积表示

Gamma函数除了积分定义外，还有多种等价表示形式。其中Weierstrass的无穷乘积定义为：

1Γ(z)=zeγz∏n=1∞(1+zn)e−z/n\frac{1}{\Gamma(z)} = z e^{\gamma z} \prod_{n=1}^\infty \left(1+\frac{z}{n}\right) e^{-z/n}

其中 γ\gamma 是欧拉-马歇罗尼常数。这一表示形式揭示了Gamma函数在整个复平面上的解析性质，清晰地表明其极点为非正整数。

2. 第一类欧拉积分（Beta函数）

第一类欧拉积分，即Beta函数，定义为：

B(x,y)=∫01tx−1(1−t)y−1 dt,Re⁡(x)>0,  Re⁡(y)>0\mathrm{B}(x,y) = \int_0^1 t^{x-1}(1-t)^{y-1}\,dt, \quad \operatorname{Re}(x) > 0,\; \operatorname{Re}(y) > 0

Beta函数与Gamma函数之间存在紧密联系，其核心关系为：

B(x,y)=Γ(x)Γ(y)Γ(x+y)\mathrm{B}(x,y) = \frac{\Gamma(x)\Gamma(y)}{\Gamma(x+y)}

这一关系式极大地简化了Beta函数的计算，使其可以通过Gamma函数来求值。

2.1 基本性质

  • 对称性：B(x,y)=B(y,x)\mathrm{B}(x,y) = \mathrm{B}(y,x)，这一性质直接来源于定义中变量 xx 和 yy 的对称地位。
  • 等价积分形式：Beta函数有多种等价的积分表示，包括三角函数形式和无穷积分形式：
B(x,y)=2∫0π/2sin⁡2x−1θcos⁡2y−1θ dθ=∫0∞ux−1(1+u)x+y du\mathrm{B}(x,y) = 2\int_0^{\pi/2} \sin^{2x-1}\theta \cos^{2y-1}\theta\,d\theta = \int_0^\infty \frac{u^{x-1}}{(1+u)^{x+y}}\,du
  • 递推关系：B(x,y+1)=yx+yB(x,y)\mathrm{B}(x,y+1) = \frac{y}{x+y}\mathrm{B}(x,y) 和 B(x+1,y)=xx+yB(x,y)\mathrm{B}(x+1,y) = \frac{x}{x+y}\mathrm{B}(x,y)，这些关系在简化复杂Beta函数表达式时非常有用。

3. 欧拉积分的应用

3.1 概率论与数理统计

在概率论与数理统计中，Gamma分布和Beta分布是最重要的连续概率分布之一，它们分别以Gamma函数和Beta函数为归一化常数。Gamma分布的概率密度函数为：

f(x;α,β)=βαΓ(α)xα−1e−βx,x>0f(x; \alpha, \beta) = \frac{\beta^\alpha}{\Gamma(\alpha)} x^{\alpha-1} e^{-\beta x}, \quad x > 0

其中 α\alpha 为形状参数，β\beta 为速率参数。Gamma分布是卡方分布的推广，在排队论、保险精算和可靠性工程中有广泛应用。

Beta分布的概率密度函数为：

f(x;α,β)=xα−1(1−x)β−1B(α,β),0<x<1f(x; \alpha, \beta) = \frac{x^{\alpha-1}(1-x)^{\beta-1}}{\mathrm{B}(\alpha, \beta)}, \quad 0 < x < 1

在贝叶斯统计中，Beta分布常作为伯努利分布和二项分布的共轭先验分布，其在区间 [0,1][0,1] 上的支撑域使其成为建模比例和概率的理想选择。此外，卡方分布、t分布和F分布等常用分布也都与Gamma函数密切相关。

3.2 物理学中的应用

在物理学中，欧拉积分出现在多个分支领域。量子力学中，谐振子的本征函数解涉及Hermite多项式，其归一化系数由Gamma函数确定。在统计力学中，玻色-爱因斯坦分布和费米-狄拉克分布中的积分计算常需要Gamma函数的帮助。在维数正则化（Dimensional Regularization）技术中，Gamma函数是处理发散积分的重要工具。

Gamma函数在计算高维球体的体积和表面积时也发挥着关键作用：n维单位球体的体积为：

Vn=πn/2Γ(n2+1)V_n = \frac{\pi^{n/2}}{\Gamma\left(\frac{n}{2}+1\right)}

而n维单位球体的表面积则为 Sn=2πn/2Γ(n2)S_n = \frac{2\pi^{n/2}}{\Gamma\left(\frac{n}{2}\right)}。当 n=3n=3 时，这些公式还原为我们熟悉的 V3=43πV_3 = \frac{4}{3}\pi 和 S3=4πS_3 = 4\pi。

3.3 数学分析中的应用

在数学分析中，欧拉积分本身就是大量复杂定积分的求解工具。许多看似困难的积分可以通过变量代换转化为Beta函数或Gamma函数的形式，从而得到闭合解析解。例如，积分：

∫0∞xa−11+x dx=πsin⁡(πa),0<a<1\int_0^\infty \frac{x^{a-1}}{1+x}\,dx = \frac{\pi}{\sin(\pi a)}, \quad 0 < a < 1

即可通过Beta函数的结果导出。另一个经典例子是高斯积分 ∫−∞∞e−x2 dx=π\int_{-\infty}^\infty e^{-x^2}\,dx = \sqrt{\pi}，它可以通过Gamma函数在 z=12z = \frac{1}{2} 处的取值得出。

在复分析中，Gamma函数的理论是Weierstrass无穷乘积理论和Mellin变换的基础。在解析数论中，Gamma函数出现在黎曼ζ函数的函数方程中：

ξ(s)=12s(s−1)π−s/2Γ(s2)ζ(s)\xi(s) = \frac{1}{2}s(s-1)\pi^{-s/2}\Gamma\left(\frac{s}{2}\right)\zeta(s)

此外，Gamma函数还与超几何函数、Bessel函数、椭圆函数等许多特殊函数有着内在联系，构成了特殊函数理论的基石。

4. 历史与发展

欧拉于1729年首先研究了Gamma函数，他在给哥德巴赫的信中提出了Gamma函数的无穷乘积定义，并计算了其在半整数点处的取值。此后，勒让德（Legendre）系统整理了Gamma函数的理论，并引入了符号 Γ\Gamma。高斯（Gauss）进一步研究了Gamma函数的对数导数——Digamma函数，并提出了更一般的超几何级数理论。魏尔斯特拉斯（Weierstrass）则从无穷乘积的角度给出了Gamma函数的解析定义，奠定了其在复分析中的理论基础。

Beta函数由欧拉在研究Wallis积分时引入，其名称"Beta"由勒让德在19世纪初正式命名。欧拉最初通过研究积分 ∫01xp−1(1−x)q−1 dx\int_0^1 x^{p-1}(1-x)^{q-1}\,dx 的性质，发现其与Gamma函数的乘积形式之间的深刻联系，从而建立了Beta函数与Gamma函数之间的桥梁。

欧拉积分的研究不仅推动了特殊函数理论的建立，也为19世纪复分析、解析数论和概率论的发展奠定了重要基础。今天，欧拉积分已成为数学物理方法课程中的标准内容，也是从事理论科学研究的必备工具。

总结

欧拉积分——Gamma函数和Beta函数——是数学分析中最基本的特殊函数之一。它们以简洁优美的积分形式定义，通过深刻的函数方程和恒等式展现其丰富的数学结构。从概率统计中的基本分布到量子物理中的积分计算，从高维几何的体积公式到解析数论中的ζ函数方程，欧拉积分的影响贯穿了整个数学与物理科学。对欧拉积分的深入理解，是掌握更高等数学理论和应用的重要前提。