ガンマ関数

階乗の概念を複素数全体に拡張した特殊関数

数学においてガンマ関数(ガンマかんすう、: Gamma function)とは、階乗の概念を複素数全体に拡張した(複素階乗ともいう)特殊関数である。階乗との間では次の関係式が成り立つ:

y = Γ(x) のグラフ
Γ(x + iy) の絶対値
(グラフ中「Re」は x に相当、「Im」は y に相当)

互いに同値となるいくつかの定義が存在するが、1729年、数学者レオンハルト・オイラー無限乗積の形で、最初に導入した[1]

定義編集

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

 

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

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

 

基本的性質編集

0負の整数を除く任意の複素数 z に対して

 

が成り立つ。実際、Re(z) > 0 に対してはオイラー積分による定義から

 

となる。また、

 

である。従って、自然数 n について

 

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

 

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

 

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

 

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

 

定義の整合性編集

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

 

とすれば

 

であるから直感的には

 

である。(厳密にははさみうちの原理によって証明される)t = nu の置換により

 

となる.nz を除く部分を gn(z) として

 
 

これにより

 

を得る。故に

 

である。

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

オイラーの乗積表示からオイラーの定数

 

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

 

ハンケルの積分表示編集

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

 

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

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

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

 

 とすると  であるから

 

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

 

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

 

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

 

を得る。

スターリングの公式編集

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

 
 

相反公式編集

次の恒等式相反公式(reflection formula)という[5]

 

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

 

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

 

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

 

となり

 

を得る。

ルジャンドルの倍数公式編集

次の恒等式をルジャンドルの倍数公式と呼ぶ。これはガウスの乗法公式の特別な場合である。

 

証明編集

ベータ関数は以下のように表される。

 

ここで   とおくと、

 

  とおくと

 

  は偶関数なので

 

ここで

 

とすると

 

よって

 

よって

 

よって以下の式が成り立つ。

 

乗法公式編集

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

 

証明編集

両辺の比を とすると

 
 

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

 

途中で

 

を適用した。

 

であり、故に

 

が成立する。

微分方程式編集

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

 

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

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

 
 
 
 
 
 
 
 
 
 

ポリガンマ関数編集

ガンマ関数の対数微分

 

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

 

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

脚注編集

[脚注の使い方]
  1. ^ a b E. T. Whittaker and G. N. Watson (1927), Chapter XII, §12.1
  2. ^ Wolfram mathworld: Gamma Function
  3. ^ Springer Online Reference Works: Gamma-function
  4. ^ Schmelzer & Trefethen (2007), Computing the Gamma function using contour integrals and rational approximations
  5. ^ a b 小松 (2004)、第2章
  6. ^ 神保 2003, 定理 5.15.
  7. ^ 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
  8. ^ Eliakim Hastings Moore, "Concerning transcendentally transcendental functions," Math. Ann., 48 (1897), pp. 49–74. doi:10.1007/BF01446334
  9. ^ 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
  10. ^ A. Ostrowski, "Zum Hölderschen Satz über Γ(x). Math. Ann. 94 (1925), pp. 248–251. doi:10.1007/BF01208657
  11. ^ E. W. Barnes, "The theory of the Gamma function," Messenger of Math. 29 (1900), pp. 64–128.
  12. ^ F. Hausdorff, "Zum Hölderschen Satz über Γ(x)," Math. Ann. 94 (1925), pp. 244–247. doi:10.1007/BF01208656

参考文献編集

  • エミール・アルティンガンマ関数入門上野健爾 訳・解説、日本評論社〈はじめよう数学6〉、2002年10月25日。ISBN 4-535-60846-6
  • 小松勇作特殊函数』朝倉書店〈近代数学講座5〉、2004年3月15日、復刊。ISBN 978-4-254-11655-7
  • 神保, 道夫『複素関数入門』岩波書店〈現代数学への入門〉、2003年。ISBN 4-00-006874-1
  • 寺沢寛一自然科学者のための数学概論』岩波書店、1983年5月18日、増訂版。ISBN 978-4-00-005480-5
  • Milton Abramowitz; Irene A. Stegun, ed (1965-06-01). Handbook of Mathematical Functions: with Formulas, Graphs, and Mathematical Tables. Dover Books on Mathematics. Dover Publications. ISBN 0-486-61272-4 
  • E. T. Whittaker; G. N. Watson (1996-09-13) [1927]. A Course of Modern Analysis. Cambridge Mathematical Library (4th ed.). Cambridge University Press. ISBN 0-521-58807-3 

関連項目編集

外部リンク編集