ガンマ関数

ファイル:Gamma.png|thumb|1=y = Γ(x) のグラフ
ファイル:Gamma abs.png|thumb|1=Γ(x + iy) の絶対値（グラフ中「Re」は x に相当、「Im」は y に相当）
とは、数学において階乗の概念を複素数全体に拡張した特殊関数。複素階乗とも。一般に  と表記される。
自然数  に対しては、ガンマ関数と  の階乗との間では次の関係式が成り立つ：

1729年に数学者レオンハルト・オイラーによって無限乗積の形で、最初に導入された。 という記号は、1814年にルジャンドルが導入した。また、それ以前にガウスが得ており   などと表記していた（ただし、 であった）。

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

をガンマ関数と呼ぶ。この積分表示は第二種オイラー積分とも呼ばれる。
一般の複素数  に対しては解析接続もしくは次の極限で定義される。

他にも互いに同値となるいくつかの定義が存在する。

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

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

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

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

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

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

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


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

であるから直感的には

である。（厳密にははさみうちの原理によって証明される）1=t = nu の置換により
となる． を除く部分を  として
これにより
を得る。故に
である。

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

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

**ハンケルの積分表示**
250px
ガンマ関数は次の周回積分で表される。積分経路は正の無限大から実軸の上側に沿って原点に至り、原点を正の向きに回り、実軸の下側に沿って無限大に戻るものとする。但し、その偏角はとする。
これをハンケルの積分表示と呼ぶ。このハンケルの積分表示は、積分経路を適当に変形し、数値積分でガンマ関数の値を求めるために使われることがある。

**ハンケルの積分表示の導出**
極座標表示  を用いると、実軸の上側に沿う部分は  で  から  まで、原点を回る部分は  で  から  まで、実軸の下側に沿う部分は  で  から  までとなる。
とすると  で  であるから
である。しかし、左辺の被積分関数は  が有界であるかぎり正則であるから、左辺は複素平面全体に解析接続する。従って、
である。  とすれば、同様にして
を得る。また、相反公式により、
を得る。

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

**相反公式**
次の恒等式を相反公式(reflection formula)という。
相補公式とも呼ばれるloc=定理 5.15。
この恒等式はオイラーの乗積表示から得られる。
この分母は正弦関数の無限乗積展開であるから、
である。相反公式にを代入すれば
となり
を得る。

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

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

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

**証明**
両辺の比をとすると
故に、任意に大きな自然数についてが成立する。スターリングの公式により
途中で
を適用した。
であり、故に
が成立する。

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

**いくつかの特殊値**

**ポリガンマ関数**
ガンマ関数の対数微分

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

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

**脚注**

**参考文献**
Cite book|和書|author=エミール・アルティン|authorlink=エミール・アルティン|others=上野健爾 訳・解説|year=2002-10-25|title=ガンマ関数入門|series=はじめよう数学6|publisher=日本評論社|isbn=4-535-60846-6|url=http://www.nippyo.co.jp/book/1985.html|ref=アルティン2002
*Cite book|和書|author=小松勇作|authorlink=小松勇作|date=2004-03-15|title=特殊函数|edition=復刊|series=近代数学講座5|publisher=朝倉書店|isbn=978-4-254-11655-7|url=http://www.asakura.co.jp/books/isbn/978-4-254-11655-7/|ref=小松2004- 柴垣和三雄：「ガンマ函数の理論と応用 : 並びに小数6位まで有效な複素変数のガンマ函数表」、岩波書店 (解析数学叢書)、（1952年）．
*ref=寺沢1983
*Cite book|editor=Milton Abramowitz; Irene A. Stegun|date=1965-06-01|title=Handbook of Mathematical Functions: with Formulas, Graphs, and Mathematical Tables|series=Dover Books on Mathematics|publisher=Dover Publications|isbn=0-486-61272-4|ref=Abramowitz&Stegun1965
*Cite book|author=E. T. Whittaker|authorlink=エドマンド・テイラー・ホイッテーカー|coauthors=G. N. Watson|origyear=1927|date=1996-09-13|title=A Course of Modern Analysis|edition=4th|series=Cambridge Mathematical Library|publisher=Cambridge University Press|isbn=0-521-58807-3|ref=Whittaker&Watson1996

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

**外部リンク**
2=竹之内脩
*urlname=GammaFunction- ガンマ関数とベータ関数