Γ函数 - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for Γ函数.

Γ函数

维基百科,自由的百科全书

Γ函数在实轴上的函数图形
Γ函数在实轴上的函数图形

数学中,函数,也叫做伽玛函数(Gamma函数),是阶乘函数在实数复数域上的扩展。如果正整数,则:

对于实数部分为正的复数,伽玛函数定义为:

此定义可以用解析延拓原理,拓展到除去非正整数的整个复数域上。

概率论中常见此函数,在组合数学中也常见。

定义

函数可以通过欧拉(Euler)第二类积分定义:

复数,我们要求

函数还可以通过对泰勒展开解析延拓到整个复平面

这样定义的函数在全平面除了以外的地方解析。

函数也可以用无穷乘积的方式表示:

这说明是亚纯函数,而是全纯函数

无穷乘积

函数可以用无穷乘积表示:

其中欧拉-马歇罗尼常数

积分

递推公式

函数的递推公式为:

对于正整数,有

可以说函数是阶乘的推广。

递推公式的推导

我们用分部积分法来计算这个积分:

时,。当趋于无穷大时,根据洛必达法则,有:

因此第一项变成了零,所以:

等式的右面正好是。因此,递推公式为:

重要性质

  • 时,
  • 欧拉反射公式:
由此可知当时,
  • 乘法定理:
  • 此外:
  • 使用乘法定理推导的关系:

[1]

此式可用来协助计算t分布概率密度函数、卡方分布概率密度函数、F分布概率密度函数等的累计概率。

  • 极限性质

对任何实数α

斯特灵公式

Γ函数与斯特灵公式
(蓝色)、(橘色),数字越大会越趋近。但会在负值则会因为出现虚数而无法使用。

斯特灵公式能用以估计函数的增长速度。公式为:

其中e约等于2.718281828459。

特殊值

导数

Γ函数的微分
Γ函数(蓝色)、Γ函数的微分(橘色),其中,大于50与小于-30的部分被截掉。

对任何复数z,满足 Re(z) > 0,有

于是,对任何正整数 m

其中γ是欧拉-马歇罗尼常量

复数值

解析延拓

Γ函数的绝对值函数图形
Γ函数的绝对值函数图形

注意到在函数的积分定义中若取为实部大于零之复数、则积分存在,而且在右半复平面上定义一个全纯函数。利用函数方程

并注意到函数在整个复平面上有解析延拓,我们可以在时设

从而将函数延拓为整个复平面上的亚纯函数,它在有单极点,留数为

程序实现

许多编程语言或表格软件有提供Γ函数或对数的Γ函数,例如EXCEL。而对数的Γ函数还要再取一次自然指数才能获得Γ函数值。例如在EXCEL中,可使用GAMMALN函数,再用EXP[GAMMALN(X)],即可求得任意实数的伽玛函数的值。

  • 例如在EXCEL中:EXP[GAMMALN(4/3)]=0.89297951156925

而在没有提供Γ函数的程序环境中,也能够过泰勒级数或斯特灵公式等方式来近似,例如Robert H. Windschitl在2002年提出的方法,其在十进制可获得有效数字八位数的精确度[2],已足以填满单精度浮点数的二进制有效数字24位:

参见

参考文献

  1. ^ Mada, L. Relations of the Gamma function. R code on Github. Code publicly available on Github [Personal Research]. 2020-04-24 [2020-04-24]. Relations of the Gamma function 
  2. ^ Toth, V. T. Programmable Calculators: Calculators and the Gamma Function (2006) 互联网档案馆存档,存档日期2005-12-31.

外部链接

{{bottomLinkPreText}} {{bottomLinkText}}
Γ函数
Listen to this article