ガンマ関数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索
y=Γ(x)
Γ(x+iy)の絶対値
(グラフ中「re」はxに相当、「im」はyに相当)

数学においてガンマ関数(ガンマかんすう、: Gamma function)とは、階乗の概念を一般化した特殊関数。 互いに同値となるいくつかの定義が存在するが、1729年、数学者オイラーが階乗の一般化として、最初に導入した。

定義[編集]

実部が正となる複素数について、次の積分で定義される関数

をガンマ関数と呼ぶ[1]。この積分は、ルジャンドルの定義にしたがって、第二種オイラー積分とも呼ばれる。元は階乗の一般化としてオイラーが得たもので、という記号は、ルジャンドルが用いたものである。それ以前はなどと表記していた(ただし)。

一般の複素数については、解析接続もしくは次の無限乗積で定義される。

基本的性質[編集]

ガンマ関数は、階乗複素数への拡張としてオイラーによって考案されたものであり、自然数について

が成立する。 実際、オイラー積分による定義から


であり、自然数についてが成り立つ。従って、ガンマ関数は階乗の定義域を複素平面に拡張したものといえる。そのような関数は無数に存在するが、正の実軸上で対数凸である解析関数という条件を付ければ、それは一意に定まりガンマ関数に他ならない(→ボーア・モレルップの定理)。右半平面においてオイラー積分で定義されたガンマ関数は全平面に有理型解析接続する。ガンマ関数は零点を持たず、原点と負の整数に一位の極を持つ。その留数は、

である。また、非整数でのガンマ関数の値のうちでおそらく最も有名なのは、ガウス積分になる以下の場合であろう。

これより、自然数について

が成立することがわかる。ここで !! は二重階乗を表す。この性質を利用して高次元の体積と表面積を求めることができる。また、

定義の整合性[編集]

定義の積分表示と乗積表示が一致することを示す。

とすればであるからである。の置換により

を除く部分をとして


これにより

を得る。故に

である。

ワイエルシュトラスの乗積表示[編集]

オイラーの乗積表示からオイラーの定数を括り出すとワイエルシュトラスの乗積表示が得られる。ワイエルシュトラスはガンマ関数が負の整数にを持つことを嫌って逆数を用いた。ガンマ関数の逆数は複素平面全体で正則である。

ハンケルの積分表示[編集]

ガンマ関数は次の周回積分で表される[2]。積分経路は正の無限大から実軸の上側に沿って原点に至り、原点を正の向きに回り、実軸の下側に沿って無限大に戻るものとする。但し、その偏角はとする。

これをハンケルの積分表示と呼ぶ。このハンケルの積分表示は、積分経路を適当に変形し、数値積分でガンマ関数の値を求めるために使われることがある[3]

ハンケルの積分表示の導出[編集]

極座標表示を用いると、実軸の上側に沿う部分はからまで、原点を回る部分はからまで、実軸の下側に沿う部分はからまでとなる。

とするとであるから

である。しかし、左辺の被積分関数はが有界であるかぎり正則であるから、左辺は複素平面全体に解析接続する。従って、

である。とすれば、同様にして

を得る。また、相半公式により、

を得る。

スターリングの公式[編集]

での漸近展開として、ガンマ関数はスターリングの公式で近似される。この漸近近似は複素平面全体(負の実数を除く)で成立するが、に近づくにつれ近似の誤差が大きくなる(極限の収束が遅くなる)ため、応用上は相半公式などを用いて程度に制限することもある。


相半公式[編集]

次の恒等式をオイラーの相半公式(reflection formula)という。

相補公式とも呼ばれる[4]。 この恒等式はオイラーの乗積表示から得られる。

この分母は正弦関数の無限乗積展開であるから、

である。相半公式にを代入すれば

となり

を得る。

乗法公式[編集]

次の恒等式をガウスの乗法公式(multiplication formula)という。

この証明を示す。両辺の比をとすると


故に、任意に大きな自然数についてが成立する。スターリングの公式により

途中で

を適用した。

であり、故に

が成立する。

微分方程式[編集]

を変数とする多項式に対し、

の形で表される微分方程式を代数的微分方程式という。ガンマ関数はいかなる代数的微分方程式も満たさないことが知られている。ヘルダーが1887年に最初に証明を与えた後 [5]E. H. ムーア英語版[6]A. オストロフスキ英語版[7] [8]E. バーンズ英語版[9]ハウスドルフ[10]により、別証明や一般化がなされた。

いくつかの具体的な値[編集]










ポリガンマ関数[編集]

ガンマ関数の対数微分

ディガンマ関数(Digamma function)と呼ぶ。同様の対数微分を繰り返した関数

を、ポリガンマ関数(Polygamma function)と呼ぶ。

脚注[編集]

  1. ^ Wolfram mathworld: Gamma Function
  2. ^ Springer Online Reference Works: Gamma-function
  3. ^ Schmelzer & Trefethen (2007), Computing the Gamma function using contour integrals and rational approximations
  4. ^ 神保 2003, 定理 5.15.
  5. ^ Otto Ludwig Hölder, "Über die Eigenschaft der Gammafunction keiner algebraischen Differentialgleichung zu genügen," Math. Ann., 28, (1887) pp. 1–13. doi:10.1007/BF02430507
  6. ^ Eliakim Hastings Moore, "Concerning transcendentally transcendental functions," Math. Ann., 48 (1897), pp. 49–74. doi:10.1007/BF01446334
  7. ^ A. Ostrowski, "Neuer Beweis der Hölderschen Satzes, dass die Gammafunktion keiner algebraischen Differntialgleichung genügt." Math. Ann. 79 (1919), pp. 286–288. doi:10.1007/BF01458212
  8. ^ A. Ostrowski, "Zum Hölderschen Satz über Γ(x). Math. Ann. 94 (1925), pp. 248–251. doi:10.1007/BF01208657
  9. ^ E. W. Barnes, "The theory of the Gamma function," Messenger of Math. 29 (1900), pp. 64–128.
  10. ^ F. Hausdorff, "Zum Hölderschen Satz über Γ(x)," Math. Ann. 94 (1925), pp. 244–247. doi:10.1007/BF01208656

参考文献[編集]

関連項目[編集]

外部リンク[編集]