数学においてガンマ関数（ガンマかんすう、）とは、階乗の概念を一般化した特殊関数。互いに同値となるいくつかの定義が存在するが、1729年、数学者オイラーが階乗の一般化として、最初に導入した。実部が正となる複素数formula_1について、次の積分で定義される関数をガンマ関数と呼ぶ。この積分は、ルジャンドルの定義にしたがって、第二種オイラー積分とも呼ばれる。元は階乗の一般化としてオイラーが得たもので、formula_2という記号は、ルジャンドルが用いたものである。それ以前はformula_3などと表記していた（ただしformula_4）。一般の複素数formula_1については、解析接続もしくは次の無限乗積で定義される。ガンマ関数は、階乗の複素数への拡張としてオイラーによって考案されたものであり、自然数formula_6についてが成立する。実際、オイラー積分による定義から,dt=(z-1)Gamma(z-1)であり、自然数formula_6についてformula_9が成り立つ。従って、ガンマ関数は階乗の定義域を複素平面に拡張したものといえる。そのような関数は無数に存在するが、正の実軸上で対数凸である解析関数という条件を付ければ、それは一意に定まりガンマ関数に他ならない（→ボーア・モレルップの定理）。右半平面においてオイラー積分で定義されたガンマ関数は全平面に有理型に解析接続する。ガンマ関数は零点を持たず、原点と負の整数に一位の極を持つ。その留数は、である。また、非整数でのガンマ関数の値のうちでおそらく最も有名なのは、ガウス積分になる以下の場合であろう。これより、自然数formula_6についてが成立することがわかる。ここで !! は二重階乗を表す。この性質を利用して高次元球の体積と表面積を求めることができる。また、定義の積分表示と乗積表示が一致することを示す。とすればformula_13であるからformula_14である。formula_15の置換によりformula_16を除く部分をformula_17としてdu=left[frac{u^z}{z} ight]_{u=0}^{1}=frac{1}{z}これによりを得る。故にである。オイラーの乗積表示からオイラーの定数formula_19を括り出すとワイエルシュトラスの乗積表示が得られる。ワイエルシュトラスはガンマ関数が負の整数に極を持つことを嫌って逆数を用いた。ガンマ関数の逆数は複素平面全体で正則である。ガンマ関数は次の周回積分で表される。積分経路は正の無限大から実軸の上側に沿って原点に至り、原点を正の向きに回り、実軸の下側に沿って無限大に戻るものとする。但し、その偏角はformula_20とする。これをハンケルの積分表示と呼ぶ。このハンケルの積分表示は、積分経路を適当に変形し、数値積分でガンマ関数の値を求めるために使われることがある。極座標表示formula_21を用いると、実軸の上側に沿う部分はformula_22でformula_23からformula_24まで、原点を回る部分はformula_24でformula_22からformula_27まで、実軸の下側に沿う部分はformula_27でformula_24からformula_23までとなる。となりを得る。次の恒等式をガウスの乗法公式(multiplication formula)という。この証明を示す。両辺の比をformula_31とすると}{(2pi)^{(n-1)/2}Gamma(nz)}\end{align}故に、任意に大きな自然数formula_33についてformula_34が成立する。スターリングの公式により&=lim_{ eal{z} o+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} ight]\&=lim_{ eal{z} o+infty}z^{1/2}left[prod_{k=0}^{n-1}z^{k/n-1/2}e^{k/n}e^{-k/n} ight]\&=1途中でを適用した。であり、故にが成立する。formula_35を変数とする多項式formula_36に対し、の形で表される微分方程式を代数的微分方程式という。ガンマ関数はいかなる代数的微分方程式も満たさないことが知られている。ヘルダーが1887年に最初に証明を与えた後、、 、、ハウスドルフにより、別証明や一般化がなされた。 {3} approx 2.363,formula_37formula_38formula_39formula_40formula_41formula_42formula_43formula_44formula_45ガンマ関数の対数微分をディガンマ関数（Digamma function）と呼ぶ。同様の対数微分を繰り返した関数を、ポリガンマ関数（Polygamma function）と呼ぶ。

出典:wikipedia