ガンマ関数

数学においてガンマ関数(ガンマかんすう、: Gamma function)とは、階乗の概念を複素数全体に拡張した特殊関数である。互いに同値となるいくつかの定義が存在するが、1729年、数学者レオンハルト・オイラー無限乗積の形で、最初に導入した[1]

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

定義

実部が正となる複素数 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. 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. 小松 (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

関連項目

外部リンク

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.