(完全)伽玛函数 被定义为 阶乘 到 复数 和 实数 变量的扩展。它与 阶乘 的关系为
(1)
|
勒让德引入了一个稍微不幸的符号,现在被普遍使用,而不是高斯更简单的 (Gauss 1812; Edwards 2001, p. 8)。
除了在 ,
,
, ... 之外,它在所有地方都是 解析 的,并且在
的留数为
(2)
|
没有 点使得
。
伽玛函数在 Wolfram 语言 中实现为Gamma[z]。
对于伽玛函数的幂,有许多常用的符号惯例。虽然像 Watson (1939) 这样的作者使用 (即,使用类似于三角函数的惯例),但通常也写成
。
伽玛函数可以定义为 的 定积分 (欧拉积分形式)
(3)
| |||
(4)
|
或
(5)
|
完全伽玛函数 可以推广到上 不完全伽玛函数
和下 不完全伽玛函数
。
![]() |
上面展示了复平面中 的实部和虚部的图。
对于 实数 变量,通过对公式 (3) 进行分部积分,可以看出
(6)
| |||
(7)
| |||
(8)
| |||
(9)
|
如果 是一个 整数
, 2, 3, ...,则
(10)
| |||
(11)
| |||
(12)
| |||
(13)
|
和 黎曼 zeta 函数
之间存在一个优美的关系,由下式给出
(14)
|
对于 (Havil 2003, p. 60)。
伽玛函数也可以通过 无穷乘积 形式定义 (Weierstrass 形式)
(15)
|
其中 是 欧拉-马歇罗尼常数 (Krantz 1999, p. 157; Havil 2003, p. 57)。对 (◇) 两边取对数,
(16)
|
求导,
(17)
| |||
(18)
|
(19)
| |||
(20)
| |||
(21)
| |||
(22)
| |||
(23)
| |||
(24)
| |||
(25)
| |||
(26)
|
其中 是 双伽玛函数,
是 多伽玛函数。
阶导数以 多伽玛函数
,
, ...,
的形式给出。
(27)
|
(28)
|
这可以通过数值求解得到 (OEIS A030169; Wrench 1968),其 连分数 为 [1, 2, 6, 63, 135, 1, 1, 1, 1, 4, 1, 38, ...] (OEIS A030170)。在
处,
达到值 0.8856031944... (OEIS A030171),其 连分数 为 [0, 1, 7, 1, 2, 1, 6, 1, 1, ...] (OEIS A030172)。
欧拉极限形式为
(29)
|
所以
(30)
| |||
(31)
| |||
(32)
| |||
(33)
|
(Krantz 1999, p. 156)。
伽玛函数的倒数 是一个 整函数,可以表示为
(34)
|
其中 是 欧拉-马歇罗尼常数,
是 黎曼 zeta 函数 (Wrench 1968)。
的 渐近级数 由下式给出
(35)
|
写作
(36)
|
满足
(37)
|
(Bourguet 1883, Davis 1933, Isaacson and Salzer 1943, Wrench 1968)。Wrench (1968) 数值计算了以下函数在 0 附近的级数展开的系数
(38)
|
Lanczos 近似 给出了 对于
的级数展开,以任意常数
表示,使得
。
伽玛函数满足以下 函数方程
(39)
| |||
(40)
|
其他恒等式为
(41)
| |||
(42)
| |||
(43)
| |||
(44)
|
使用 (41),有理数 的伽玛函数
可以简化为一个常数乘以
或
。例如,
(45)
| |||
(46)
| |||
(47)
| |||
(48)
|
对于 ,
(49)
|
变量为 的伽玛函数可以使用 Legendre 倍乘公式 表示
(50)
|
变量为 的伽玛函数可以使用三倍公式表示
(51)
|
一般结果是 Gauss 乘法公式
(52)
|
伽玛函数也通过下式与 黎曼 zeta 函数 相关
(53)
|
对于整数 , 2, ...,
的前几个值为 1, 1, 2, 6, 24, 120, 720, 5040, 40320, 362880, ... (OEIS A000142)。对于半整数变量,
具有特殊形式
(54)
|
其中 是 双阶乘。
, 3, 5, ... 的前几个值因此为
(55)
| |||
(56)
| |||
(57)
|
,
, ... (OEIS A001147 和 A000079; Wells 1986, p. 40)。一般来说,对于
为 正整数
, 2, ...
(58)
| |||
(59)
| |||
(60)
| |||
(61)
|
对于 ,当
为正整数
时,似乎不存在这种类型的简单闭式表达式。然而,Borwein 和 Zucker (1992) 给出了各种恒等式,将伽玛函数与平方根和 椭圆积分奇异值
相关联,即,椭圆模量
使得
(62)
|
其中 是 第一类完全椭圆积分,
是互补积分。M. Trott(私人通信)开发了一种算法,用于自动生成数百个这样的恒等式。
(63)
| |||
(64)
| |||
(65)
| |||
(66)
| |||
(67)
| |||
(68)
| |||
(69)
| |||
(70)
| |||
(71)
| |||
(72)
| |||
(73)
| |||
(74)
| |||
(75)
| |||
(76)
| |||
(77)
| |||
(78)
| |||
(79)
| |||
(80)
| |||
(81)
| |||
(82)
| |||
(83)
|
Campbell (1966, p. 31) 也给出了一些。
一些有趣的恒等式包括
(84)
| |||
(85)
| |||
(86)
| |||
(87)
| |||
(88)
| |||
(89)
| |||
(90)
|
其中 Magnus 和 Oberhettinger (1949, p. 1) 仅给出了最后一种情况,以及
(91)
|
(Magnus and Oberhettinger 1949, p. 1)。Ramanujan 也给出了一些引人入胜的恒等式
(92)
|
(93)
|
其中
(94)
|
(95)
|
(Berndt 1994)。
Ramanujan 给出了无穷级数
(96)
|
和
(97)
|
(Hardy 1923; Hardy 1924; Whipple 1926; Watson 1931; Bailey 1935; Hardy 1999, p. 7)。
(98)
|
(OEIS A143503 和 A061549; Graham et al. 1994)。该级数还给出了 第一类斯特林数 到分数值的良好渐近推广。
长期以来人们都知道 是 超越数 (Davis 1959),
也是 (Le Lionnais 1983; Borwein and Bailey 2003, p. 138),并且 Chudnovsky 最近显然证明了
本身是 超越数 (Borwein and Bailey 2003, p. 138)。
存在有效的迭代算法来计算所有整数 的
(Borwein and Bailey 2003, p. 137)。例如,
(OEIS A068466) 的二次收敛迭代由定义给出
(99)
| |||
(100)
|
设置 和
,然后
(101)
|
(Borwein and Bailey 2003, pp. 137-138)。
对于 ,尚不清楚是否存在这样的迭代 (Borwein and Borwein 1987; Borwein and Zucker 1992; Borwein and Bailey 2003, p. 138)。