ガンマ関数

とは、数学において階乗の概念を複素数全体に拡張した（複素階乗ともいう）特殊関数である。一般的に、ガンマ関数は複素数  に対して、関数  で表す。

また、自然数  に対しては、ガンマ関数と  の階乗との間では次の関係式が成り立つ：

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

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

をガンマ関数と呼ぶ。この積分表示は、アドリアン＝マリ・ルジャンドルの定義にしたがって、第二種オイラー積分とも呼ばれる。元は階乗の一般化としてオイラーが得たもので、 という記号は、1814年にルジャンドルが導入したものである。それ以前にガウスは   などと表記していた（ただし、 である）。

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

基本的性質 
 または負の整数でない、かつ実部が正の任意の複素数  に対して、

となることから、 が成り立つ。またさらに、

である。これらの性質から、任意の正の整数  に対して、

より  が成り立つ。その意味でガンマ関数は階乗の定義域を複素平面に拡張したものとなっている。

歴史的には、ガンマ関数は「階乗の複素数への拡張となるもの」（複素階乗）の実例として、オイラーにより考案された。階乗の複素数への拡張となる関数は無数に存在するが、正の実軸上で対数凸である解析関数という条件を付ければ、それは一意に定まりガンマ関数に他ならない（ボーア・モレルップの定理）。

右半平面においてオイラー積分で定義されたガンマ関数は全平面に有理型に解析接続する。

ガンマ関数は零点を持たず、原点と負の整数に一位の極を持つ。その留数は、

である。

また、 に対するガンマ関数の値は、ガウス積分の結果に一致する。

これより、自然数  に対して、

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

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

とすれば

であるから直感的には

である。（厳密にははさみうちの原理によって証明される） の置換により

となる． を除く部分を  として

これにより

を得る。故に

である。

ワイエルシュトラスの乗積表示 
オイラーの乗積表示からオイラーの定数

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

ハンケルの積分表示 

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

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

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

 とすると  で  であるから

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

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

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

を得る。

スターリングの公式 

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

相反公式 
次の恒等式を相反公式(reflection formula)という。

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

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

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

となり

を得る。

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

証明
ベータ関数は以下のように表される。
 
ここで  とおくと、
 
 とおくと
 
 は偶関数なので
 
ここで
 
とすると
 
よって
 
よって
 
よって以下の式が成り立つ。

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

証明
両辺の比をとすると

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

途中で

を適用した。

であり、故に

が成立する。

微分方程式 
を変数とする多項式に対し、

の形で表される微分方程式を代数的微分方程式という。ガンマ関数はいかなる代数的微分方程式も満たさないことが知られている。ヘルダーが1887年に最初に証明を与えた後
、、、、ハウスドルフにより、別証明や一般化がなされた。

いくつかの具体的な値

ポリガンマ関数 

ガンマ関数の対数微分

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

を、ポリガンマ関数（Polygamma function）と呼ぶ。

脚注

参考文献

関連項目 
特殊関数
階乗
関数一覧
不完全ガンマ関数
複素解析
オイラー積分
ベータ関数
リーマンゼータ関数
分数階微積分学
Abramowitz and Stegun

外部リンク 

 

数学に関する記事
特殊関数