ガンマ関数

テンプレート:Math のグラフ

テンプレート:Math の絶対値
（グラフ中「Re」は テンプレート:Mvar に相当、「Im」は テンプレート:Mvar に相当）

テンプレート:読み仮名 ruby不使用とは、数学において階乗の概念を複素数全体に拡張した特殊関数。複素階乗とも。一般に $\mathrm{\Gamma }(z)$ と表記される。

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

$n!=\mathrm{\Gamma }(n+1),\mathrm{\Gamma }(n)=(n-1)!.$

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

定義

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

$\mathrm{\Gamma }(z)=\underset{0}{\overset{\mathrm{\infty }}{\int }}{t}^{z-1}{e}^{-t}\mathrm{d}t(\mathrm{\Re }z>0,)$

をガンマ関数と呼ぶ。この積分表示は第二種オイラー積分とも呼ばれる。

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

$\mathrm{\Gamma }(z)=\underset{n\to \mathrm{\infty }}{\lim }\frac{n^{z}n!}{\prod _{k=0}^n(z+k)}.$

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

基本的性質

$0$ または負の整数でない、かつ実部が正の任意の複素数 $z$ に対して、

$\begin{array}{cc}\mathrm{\Gamma }(z+1)& =\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-t}{t}^z\mathrm{d}t\\ & =[-e^{-t}{t}^z{]}_0^{\mathrm{\infty }}+z\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-t}{t}^{z-1}\mathrm{d}t\\ & =z\mathrm{\Gamma }(z)(\because [-e^{-t}{t}^z{]}_0^{\mathrm{\infty }}=0),\end{array}$

となることから、$\mathrm{\Gamma }(z+1)=z\mathrm{\Gamma }(z)$ が成り立つ。またさらに、

$\begin{array}{cc}\mathrm{\Gamma }(1)& =\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-t}\mathrm{d}t=[-e^{-t}{]}_0^{\mathrm{\infty }}=\underset{t\to \mathrm{\infty }}{\lim }(-e^{-t}+1)\\ & =1,\end{array}$

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

$\mathrm{\Gamma }(n+1)=n\mathrm{\Gamma }(n)=n(n-1)\mathrm{\Gamma }(n-1)=\cdots =n!\mathrm{\Gamma }(1)=n!,$

より $\mathrm{\Gamma }(n+1)=n!$ が成り立つ。その意味でガンマ関数は階乗の定義域を複素平面に拡張したものとなっている。

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

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

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

$\mathrm{Res}(\mathrm{\Gamma },-n)=\frac{(-1{)}^n}{n!}.$

であるテンプレート:Sfn。

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

$\mathrm{\Gamma }\left(\frac{1}{2}\right)=\sqrt{\pi }.$

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

$\mathrm{\Gamma }(\frac{1}{2}+n)=\frac{(2n-1)!!}{2^n}\sqrt{\pi },$

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

$\mathrm{\Gamma }(\frac{1}{2}-n)=\frac{(-2{)}^n}{(2n-1)!!}\sqrt{\pi }.$

定義の整合性

定義の積分表示と極限表示が一致することを示す。 テンプレート:Indent とすれば

$\underset{n\to \mathrm{\infty }}{\lim }{(1-\frac{t}{n})}^n=e^{-t}$

であるから直感的には

$\underset{n\to \mathrm{\infty }}{\lim }{G}_n(z)=\underset{0}{\overset{\mathrm{\infty }}{\int }}{t}^{z-1}{e}^{-t}\mathrm{d}t$

である。（厳密にははさみうちの原理によって証明される）テンプレート:Math の置換により テンプレート:Indent となる．テンプレート:Mvar を除く部分を テンプレート:Math として テンプレート:Indent これにより テンプレート:Indent を得る。故に テンプレート:Indent である。

ワイエルシュトラスの乗積表示

オイラーの乗積表示からオイラーの定数

$\gamma =\underset{n\to \mathrm{\infty }}{\lim }(\sum _{k=1}^n\frac{1}{k}-\log n)$

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

ハンケルの積分表示

ガンマ関数は次の周回積分で表される。積分経路は正の無限大から実軸の上側に沿って原点に至り、原点を正の向きに回り、実軸の下側に沿って無限大に戻るものとする。但し、その偏角は$-\pi \le \arg (-t)\le \pi ,0\le \arg (s)\le 2\pi$とする。 テンプレート:Indent これをハンケルの積分表示と呼ぶ。このハンケルの積分表示は、積分経路を適当に変形し、数値積分でガンマ関数の値を求めるために使われることがある。

ハンケルの積分表示の導出

極座標表示 $(-t)=r{e}^{i\theta }$ を用いると、実軸の上側に沿う部分は $\theta =-\pi$ で $r=\mathrm{\infty }$ から $r=\delta$ まで、原点を回る部分は $r=\delta$ で $\theta =-\pi$ から $\theta =\pi$ まで、実軸の下側に沿う部分は $\theta =\pi$ で $r=\delta$ から $r=\mathrm{\infty }$ までとなる。 テンプレート:Indent $\mathrm{\Re }z>0$ とすると $\delta \to 0$ で ${\delta }^z\to 0$ であるから テンプレート:Indent である。しかし、左辺の被積分関数は $z$ が有界であるかぎり正則であるから、左辺は複素平面全体に解析接続する。従って、 テンプレート:Indent である。 $s=r{e}^{i\theta }$ とすれば、同様にして テンプレート:Indent を得る。また、相反公式により、 テンプレート:Indent を得る。

スターリングの公式

テンプレート:Main $z\to \mathrm{\infty }$での漸近展開として、ガンマ関数はスターリングの公式で近似される。この漸近近似は複素平面全体(負の実数を除く)で成立するが、$|\arg z|=\pi$に近づくにつれ近似の誤差が大きくなる(極限の収束が遅くなる)ため、応用上は相反公式などを用いて$|\arg z|\le \pi /2$程度に制限することもある。 テンプレート:Indent

相反公式

次の恒等式を相反公式(reflection formula)という。 テンプレート:Indent 相補公式とも呼ばれるテンプレート:Sfn。 この恒等式はオイラーの乗積表示から得られる。 テンプレート:Indent この分母は正弦関数の無限乗積展開であるから、 テンプレート:Indent である。相反公式に$z=\frac{1}{2}$を代入すれば テンプレート:Indent となり テンプレート:Indent を得る。

ルジャンドルの倍数公式

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

証明

ベータ関数は以下のように表される。

$\mathrm{B}(z_1,z_2)=\frac{\mathrm{\Gamma }(z_1)\mathrm{\Gamma }(z_2)}{\mathrm{\Gamma }(z_1+z_2)}=\underset{0}{\overset{1}{\int }}{t}^{z_1-1}(1-t{)}^{z_2-1}dt$

ここで $z_1=z_2=z$ とおくと、

$\frac{{\mathrm{\Gamma }}^2(z)}{\mathrm{\Gamma }(2z)}=\underset{0}{\overset{1}{\int }}{t}^{z-1}(1-t{)}^{z-1}dt$

$t=\frac{1+x}{2}$ とおくと

$\frac{{\mathrm{\Gamma }}^2(z)}{\mathrm{\Gamma }(2z)}=\frac{1}{2^{2z-1}}\underset{-1}{\overset{1}{\int }}{(1-x^2)}^{z-1}dx$

$(1-x^2{)}^{z-1}$ は偶関数なので

$2^{2z-1}{\mathrm{\Gamma }}^2(z)=2\mathrm{\Gamma }(2z)\underset{0}{\overset{1}{\int }}(1-x^2{)}^{z-1}dx$

ここで

$\mathrm{B}(\frac{1}{2},z)=\underset{0}{\overset{1}{\int }}{t}^{\frac{1}{2}-1}(1-t{)}^{z-1}dt,t=s^2$

とすると

$\mathrm{B}(\frac{1}{2},z)=2\underset{0}{\overset{1}{\int }}(1-s^2{)}^{z-1}ds=2\underset{0}{\overset{1}{\int }}(1-x^2{)}^{z-1}dx$

よって

$2^{2z-1}{\mathrm{\Gamma }}^2(z)=\mathrm{\Gamma }(2z)\mathrm{B}(\frac{1}{2},z)$

よって

$\mathrm{B}(\frac{1}{2},z)=\frac{\mathrm{\Gamma }\left(\frac{1}{2}\right)\mathrm{\Gamma }(z)}{\mathrm{\Gamma }(z+\frac{1}{2})},\mathrm{\Gamma }\left(\frac{1}{2}\right)=\sqrt{\pi }$

よって以下の式が成り立つ。

$\mathrm{\Gamma }(z)\mathrm{\Gamma }(z+\frac{1}{2})=2^{1-2z}\sqrt{\pi }\mathrm{\Gamma }(2z).$

乗法公式

次の恒等式をガウスの乗法公式(multiplication formula)という。 テンプレート:Indent

証明

両辺の比を$f(z)$とすると テンプレート:Indent 故に、任意に大きな自然数$m$について$f(z+m)=f(z)$が成立する。スターリングの公式により テンプレート:Indent 途中で テンプレート:Indent を適用した。 テンプレート:Indent であり、故に テンプレート:Indent が成立する。

微分方程式

$(x,y,y_1,\dots ,y_n)$を変数とする多項式$F(x,y,y_1,\dots ,y_n)$に対し、 テンプレート:Indent の形で表される微分方程式を代数的微分方程式という。ガンマ関数はいかなる代数的微分方程式も満たさないことが知られている。このことはヘルダーが1887年に最初に証明を与えた後 、テンプレート:仮リンク、テンプレート:仮リンク、テンプレート:仮リンク、ハウスドルフにより、別証明や一般化がなされた。

ポリガンマ関数

テンプレート:Main ガンマ関数の対数微分

$\psi (z)=\frac{d}{dz}\log \mathrm{\Gamma }(z)$

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

${\psi }^{(n)}(z)=\frac{d^{n+1}}{d{z}^{n+1}}\log \mathrm{\Gamma }(z)$

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

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• 柴垣和三雄：「ガンマ函数の理論と応用 : 並びに小数6位まで有效な複素変数のガンマ函数表」、岩波書店 (解析数学叢書)、（1952年）．
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book

関連項目

• 特殊関数
• 階乗
• 関数一覧
• 不完全ガンマ関数
• 複素解析
• オイラー積分
• ベータ関数
• リーマンゼータ関数
• 分数階微積分学
• Abramowitz and Stegun
• テンプレート:仮リンク

外部リンク

• テンプレート:Kotobank
• テンプレート:MathWorld
• テンプレート:PDFlink テンプレート:Ja icon