ガンマ関数

とは、数学において階乗の概念を複素数全体に拡張した（複素階乗ともいう）特殊関数である。一般的に、ガンマ関数は複素数 formula_1 に対して、関数 formula_2 で表す。
また、自然数 formula_3 に対しては、ガンマ関数と formula_3 の階乗との間では次の関係式が成り立つ：
互いに同値となるいくつかの定義が存在するが、1729年、数学者レオンハルト・オイラーが無限乗積の形で、最初に導入した。
定義.
実部が正となる複素数 formula_1 に対して、次の広域積分で定義される複素関数：
をガンマ関数と呼ぶ。この積分表示は、アドリアン＝マリ・ルジャンドルの定義にしたがって、第二種オイラー積分とも呼ばれる。元は階乗の一般化としてオイラーが得たもので、formula_8 という記号は、1814年にルジャンドルが導入したものである。それ以前にガウスは formula_9 などと表記していた（ただし、formula_10 である）。
一般の複素数 formula_1 に対しては、解析接続もしくは次の極限で定義される。
基本的性質.
formula_13 または負の整数でない、かつ実部が正の任意の複素数 formula_1 に対して、
となることから、formula_16 が成り立つ。またさらに、
である。これらの性質から、任意の正の整数 formula_3 に対して、
より formula_20 が成り立つ。その意味でガンマ関数は階乗の定義域を複素平面に拡張したものとなっている。
歴史的には、ガンマ関数は「階乗の複素数への拡張となるもの」（複素階乗）の実例として、オイラーにより考案された。階乗の複素数への拡張となる関数は無数に存在するが、正の実軸上で対数凸である解析関数という条件を付ければ、それは一意に定まりガンマ関数に他ならない（ボーア・モレルップの定理）。
右半平面においてオイラー積分で定義されたガンマ関数は全平面に有理型に解析接続する。
ガンマ関数は零点を持たず、原点と負の整数に一位の極を持つ。その留数は、
である。
また、formula_22 に対するガンマ関数の値は、ガウス積分の結果に一致する。
これより、自然数 formula_3 に対して、
が成立することがわかる。ここで formula_26 は二重階乗を表す。この性質を利用して高次元の球の体積と表面積を求めることができる。また、
定義の整合性.
定義の積分表示と極限表示が一致することを示す。
とすれば
であるから直感的には
である。（厳密にははさみうちの原理によって証明される） の置換により
となる． を除く部分を として
これにより
を得る。故に
である。
ワイエルシュトラスの乗積表示.
オイラーの乗積表示からオイラーの定数
を括り出すとワイエルシュトラスの乗積表示が得られる。ワイエルシュトラスはガンマ関数が負の整数に極を持つことを嫌って逆数を用いた。ガンマ関数の逆数は複素平面全体で正則である。
ハンケルの積分表示.
ガンマ関数は次の周回積分で表される。積分経路は正の無限大から実軸の上側に沿って原点に至り、原点を正の向きに回り、実軸の下側に沿って無限大に戻るものとする。但し、その偏角はformula_32とする。
これをハンケルの積分表示と呼ぶ。このハンケルの積分表示は、積分経路を適当に変形し、数値積分でガンマ関数の値を求めるために使われることがある。
ハンケルの積分表示の導出.
極座標表示 formula_33 を用いると、実軸の上側に沿う部分は formula_34 で formula_35 から formula_36 まで、原点を回る部分は formula_36 で formula_34 から formula_39 まで、実軸の下側に沿う部分は formula_39 で formula_36 から formula_35 までとなる。
となり
を得る。
ルジャンドルの倍数公式.
次の恒等式をルジャンドルの倍数公式と呼ぶ。これはガウスの乗法公式の特別な場合である。
証明.
ベータ関数は以下のように表される。
ここで formula_44 とおくと、
formula_46 とおくと
formula_48 は偶関数なので
ここで
とすると
よって
よって
よって以下の式が成り立つ。
乗法公式.
次の恒等式をガウスの乗法公式(multiplication formula)という。
証明.
両辺の比をformula_55とすると
}{(2\pi)^{(n-1)/2}\Gamma(nz)}\\
\end{align}</math>
故に、任意に大きな自然数formula_57についてformula_58が成立する。スターリングの公式により
&=\lim_{\real{z}\to+\infty}z^{1/2}\left[\prod_{k=0}^{n-1}z^{k/n-1/2}(1+k/nz)^{z+k/n-1/2}e^{-k/n}\right]\\
&=\lim_{\real{z}\to+\infty}z^{1/2}\left[\prod_{k=0}^{n-1}z^{k/n-1/2}e^{k/n}e^{-k/n}\right]\\
&=1
途中で
を適用した。
であり、故に
が成立する。
微分方程式.
formula_59を変数とする多項式formula_60に対し、
の形で表される微分方程式を代数的微分方程式という。ガンマ関数はいかなる代数的微分方程式も満たさないことが知られている。ヘルダーが1887年に最初に証明を与えた後
、、、、ハウスドルフにより、別証明や一般化がなされた。
いくつかの具体的な値.
 {3} \approx 2.363\,</math>
formula_61
formula_62
formula_63
formula_64
formula_65
formula_66
formula_67
formula_68
formula_69
ポリガンマ関数.
ガンマ関数の対数微分
をディガンマ関数（Digamma function）と呼ぶ。同様の対数微分を繰り返した関数
を、ポリガンマ関数（Polygamma function）と呼ぶ。