$5!=5\cdot4\cdot3\cdot2\cdot1$のように,正整数$n$の階乗$n!$は$n$以下の全ての正整数の積を表します.
そこで実数や複素数に階乗を拡張するにはどのように考えればよいでしょうか?
実は階乗の一般化として,$\Gamma$関数とよばれる関数がよく知られています.
$\Gamma$はギリシャ文字の大文字で,対応する小文字は$\gamma$です.
$\Gamma$関数は実数だけでなく複素数に対しても定義でき,微分積分学だけでなく複素解析においても現れる重要な関数です.
この記事では
- $\Gamma$関数の定義
- $\Gamma$関数の基本性質
- $\Gamma$関数と$B$関数との関係
を順に説明します.
ガンマ関数の定義
まずは$\Gamma$関数を定義します.
実部が正の複素数の集合$\set{z\in\C}{\operatorname{Re}{z}>0}$上で定義される関数
を$\Gamma$関数という.
$\Gamma$関数は実部が正の複素数に対して定義されるので,もちろん正の実数に対しても定義されますね.
$\Gamma$関数の存在
しかし,$\Gamma$関数をこのように定義するためには,実部が正の複素数$z$に対して$\dint_{0}^{\infty}t^{z-1}e^t\,dt$が発散したりせず,きちんと存在することを示さないといけません.
広義積分が収束することの存在を示すには絶対収束することを示すのが基本的な方法なので,$\Gamma$関数の収束も絶対収束することから示しましょう.
実部が正の複素数$z$に対して,広義積分
は絶対収束する.したがって,収束する.
$x:=\operatorname{Re}{z}>0$を満たす任意の$z\in\C$に対して
である.いま
なので,ある$R>0$が存在して,$t>R$で$t^{x-1}e^{-t}<e^{-t/2}$となるので
となる.$x>0$より$x-1>-1$だから$\dint_{0}^{R}t^{x-1}\,dt$は収束し,$\dint_{R}^{\infty}e^{-t/2}\,dt$も収束する.
よって,絶対収束が得られ,したがって実部が正の複素数に対して$\Gamma$関数が存在する.
つまり,$e^{-t}$によって$t\to\infty$での広義積分が存在し,$t^{z-1}$と$\operatorname{Re}{z}>0$によって$t\to+0$での広義積分が存在するわけですね.
$\Gamma$関数の別の表し方
また,$\Gamma$関数は以下のようにも表せます.
実部が正の複素数$z$に対して,
が成り立つ.
$t\ge0$に対して$u=\sqrt{t}$とおくと,
なので
が成り立つ.
単に$u^2=t$と置換しただけですね.
ガンマ関数の性質
次に,$\Gamma$関数の性質を説明します.
ガウス積分との関係
まずはガウス(Gauss)積分を確認しておきます.
広義積分
をGauss積分という.
このように,ガウス積分の値が$\sqrt{\pi}$であることは以下の記事で説明しているので参照してください.

さて,ガウス積分と$\Gamma$関数は以下のような関係があります.
$\Gamma\bra{\dfrac{1}{2}}$はGauss積分に一致する.したがって,
が成り立つ.
先ほど示したように
だから
が得られる.
階乗との関係
冒頭でも説明したように,ガンマ関数は階乗の一般化と言われます.
このことを示す重要な性質を証明しましょう.
実部が正の複素数$z$に対して,
が成り立つ.
$\Gamma$関数の定義と部分積分により
が成り立つ.
この定理は実部が正の複素数$z$に対して成り立ちますが,正整数$n$に限ると次のように$\Gamma$関数と階乗の関係が得られます.
任意の正の整数$n$に対して,
が成り立つ.
数学的帰納法により示す.$n=1$のとき,部分積分により
が成り立つ.また,ある$n\in\N$に対して$\Gamma(n+1)=n!$が成り立つなら,上の定理より
が成り立つ.
ベータ関数との関係
まずは,$B$関数を確認します.
実部が正の複素数の集合の直積$\set{z\in\C}{\operatorname{Re}{z}>0}^2$上で定義される関数
を$B$関数という.
$t=\sin^2{\theta}$と置換することにより,
とも表せますね.
さて,$\Gamma$関数を用いると,$B$関数は以下のように表せます.
実部が正の複素数$x$, $y$に対して,
が成り立つ.
$\Gamma(x)\Gamma(y)=\Gamma(x+y)B(x,y)$を示せばよい.先ほど説明した$\Gamma$関数の別の表し方を用いると
である.極座標変換$(u,v)=(r\cos{\theta},r\sin{\theta})$と,再び$\Gamma$関数の別の表し方を用いると
となる.
コメント