Gamma 函數(Gamma function)
/ GAM-uh /
階乘 n! 只對整數有定義,你可以算 5 乘 4 乘 3 乘 2 乘 1,但「半階乘」究竟能是什麼意思?Gamma 函數就是答案:一個平滑連續的函數,在整數處與階乘相符,卻對中間幾乎所有的數都有定義,以一條優雅的曲線填補空隙。它是幾乎每個特殊函數公式背後沉默的主力,因為級數係數不斷需要非整數階的階乘。
它由一個積分定義,Gamma(x) = 從 0 到無窮的 t^(x-1) e^(-t) dt,對 x > 0 收斂(並延拓到大多數其他值)。它最有用的單一性質是遞迴 Gamma(x + 1) = x Gamma(x),即規則 n! = n 乘 (n-1)! 的連續迴響。配上 Gamma(1) = 1,這遞迴迫使在整數處恰有 Gamma(n + 1) = n!,所以 Gamma 真的是喬裝的階乘,平移了一格:n 的階乘等於 (n+1) 的 Gamma。著名的特殊值 Gamma(1/2) = sqrt(pi) 使半整數階乘成為可能,也正是讓貝索函數級數對分數階說得通的那個常數。
它為何屬於本領域:一旦你容許弗羅貝尼烏斯指數為非整數,就需要非整數的階乘來寫係數,而 Gamma 供應它們。它出現在貝索級數、正交多項式的歸一化常數、機率分佈以及整個分析學之中。一點誠實的提醒:Gamma 在零與負整數處沒有定義,它在那裡衝向無窮,所以它把階乘推廣到了各處,唯獨除了階乘本身對負整數就已無定義的那些地方。
用遞迴求 Gamma(7/2):Gamma(7/2) = (5/2) Gamma(5/2) = (5/2)(3/2) Gamma(3/2) = (5/2)(3/2)(1/2) Gamma(1/2) = (15/8) sqrt(pi)。這是「(5/2) 階乘」的值,而這類半整數階乘正是貝索及其他級數係數所需要的。
遞迴 Gamma(x+1) = x Gamma(x) 加上 Gamma(1/2) = sqrt(pi),讓你能手算任何半整數階乘。
注意平移一格:Gamma(n) = (n-1)!,而非 n!。n 的階乘是 Gamma(n+1),這在級數係數中是差一錯誤的常見來源。