$5!=5\cdot4\cdot3\cdot2\cdot1$のように,正整数$n$に対して「階乗$n!$」は$n$以下の全ての正整数の積を表します.
そこで実数や複素数に「階乗」を拡張するにはどのように考えればよいでしょうか?
結論から言えば,「階乗の一般化」として「$\Gamma$(ガンマ)関数」とよばれる関数があります.
積分で表される$\Gamma$関数は実数だけでなく,複素数に対しても定義できる場合もあり,様々な場面で用いられます.
この記事では,$\Gamma$関数の基礎を説明します.
ガンマ関数の定義
まずは$\Gamma$関数を定義します.
実部が正の複素数の集合$\set{z\in\C}{\operatorname{Re}{z}>0}$上で定義される関数
を$\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{z}>0$によって$t\to+0$での広義積分が存在する
ですね.
Γ関数の別の表し方
また,$\Gamma$関数は以下のようにも表せます.
実部が正の複素数$z$に対して,
が成り立つ.
$u=t^{\frac{1}{2}}$とすると
なので
が成り立つ.
ただ単に,$u^2=t$と置換しただけですね.
ガンマ関数の性質
次に,$\Gamma$関数の性質を説明します.
ガウス積分との関係
まずはGauss(ガウス)積分を確認しておきます.
広義積分
をGauss積分という.
このように,Gauss積分の値が$\sqrt{\pi}$であることは以下の記事で説明しているので参照してください.
Gauss積分の値は極座標変換を用いて求めるのが有名な方法です.この記事では,極座標変換を用いてGauss積分の値を計算し,計算のポイントについても丁寧に説明してます.
Gauss積分と$\Gamma$関数は以下のような関係があります.
$\Gamma\bra{\dfrac{1}{2}}$はGauss積分に一致する.したがって,
が成り立つ.
先ほど示したように
だから
が得られる.
階乗との関係
冒頭でも説明したように,ガンマ関数は階乗の一般化と言われます.
このことを示す重要な性質は以下の通りです.
実部が正の複素数$z$に対して,
が成り立つ.
$\Gamma$関数の定義と部分積分により
が成り立つ.
この性質により,次のように$\Gamma$関数と階乗の関係が得られます.
任意の自然数$n$に対して,
が成り立つ.
数学的帰納法により示す.
[1] $n=1$のとき,部分積分により
が成り立つ.
[2] ある$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$関数の別の表し方]から
となる.