(完全)伽瑪函式 被定義為 階乘 到 複數 和 實數 變數的擴充套件。它與 階乘 的關係為
|
(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)。
