ガンマ関数とベータ関数

ガンマ関数

この積分を第二種Euler積分ということもあります。
ここで$t\mapsto s^2$としてみると
$$\mathrm{\Gamma }(z)=2{\int }_0^{\mathrm{\infty }}{s}^{2z-1}{e}^{-s^2}ds$$
となり、$z={\displaystyle \frac{1}{2}}$とすることで
$$\mathrm{\Gamma }\left({\displaystyle \frac{1}{2}}\right)=2{\int }_0^{\mathrm{\infty }}{e}^{-s^2}ds={\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}{e}^{-s^2}ds$$
となり、ガウス積分と一致します。
ガウス積分の値は$\sqrt{\pi }$であるので、この時点で$\mathrm{\Gamma }\left({\displaystyle \frac{1}{2}}\right)=\sqrt{\pi }$であることがわかりますが、後ほど他の方法でも$\mathrm{\Gamma }\left({\displaystyle \frac{1}{2}}\right)=\sqrt{\pi }$であることを証明してみたいと思います。
さて、ガンマ関数にはもう一つ定義があります。そちらも確認しておきましょう。

これをEulerの乗積表示と言います。これは次回紹介するWeierstrassの乗積表示に必要になってきますのでここで紹介しておきます。
また後ほど、この二つの定義のガンマ関数が等しいことを証明したいと思います。
ここで、ガンマ関数の性質を二つ紹介します。

系として次の定理を得ることができます。

これを示すには、$\mathrm{\Gamma }(1)=1$を示せば良いです。

このことから、ガンマ関数は階乗の一般化ともされています。

ベータ関数

これを第一種Euler積分と言います。
ここでベータ関数に関する定理を2つ紹介してEulerの乗積表示から第二種Euler積分を導いてみましょう。

ベータ関数を少し変形してみましょう。
$x\mapsto {\displaystyle \frac{y-\alpha }{\beta -\alpha }}$という置換を考えると
$B(a,b)={\displaystyle {\int }_{\alpha }^{\beta }{\left({\displaystyle \frac{y-\alpha }{\beta -\alpha }}\right)}^{a-1}{({\displaystyle \frac{\beta -\alpha }{\beta -\alpha }}-{\displaystyle \frac{y-\alpha }{\beta -\alpha }})}^{b-1}{\displaystyle \frac{dy}{\beta -\alpha }}}$
　　　 $$$={\displaystyle \frac{1}{(\beta -\alpha {)}^{a+b-1}}}{\displaystyle {\int }_{\alpha }^{\beta }(x-\alpha {)}^{a-1}(\beta -x{)}^{b-1}dx}$ $$($y=x$とした)
この結果から、
$${\int }_{\alpha }^{\beta }(x-\alpha {)}^{a-1}(x-\beta {)}^{b-1}dx=(-1{)}^{b-1}(\beta -\alpha {)}^{a+b+1}B(a,b)$$
という式を得ることができます。
これはいわゆる${\displaystyle \frac{1}{6}}$公式の一般化になっています。
${\displaystyle \frac{1}{6}}$公式の一般化を知っている人は、自分の知っている形と少し違うように感じるかもしれませんが、後ほど馴染みが深いであろう公式の形も紹介しておきます。
それでは、ベータ関数の特殊値を計算するための定理を一つ紹介します。

ここで、$a=b={\displaystyle \frac{1}{2}}$とすることで、$B({\displaystyle \frac{1}{2}},{\displaystyle \frac{1}{2}})=\pi$であることがわかります。

ガンマ関数とベータ関数の関係

ここでは簡単なガンマ関数とベータ関数の関係、そして$\mathrm{\Gamma }\left({\displaystyle \frac{1}{2}}\right)=\sqrt{\pi }$と${\displaystyle \frac{1}{6}}$公式の一般化の簡単な形を求めたいと思います。

上の定理７において$a=b={\displaystyle \frac{1}{2}}$とすると
$B({\displaystyle \frac{1}{2}},{\displaystyle \frac{1}{2}})={\displaystyle \frac{\mathrm{\Gamma }{\left({\displaystyle \frac{1}{2}}\right)}^2}{\mathrm{\Gamma }({\displaystyle \frac{1}{2}}+{\displaystyle \frac{1}{2}})}}$
となり、$B({\displaystyle \frac{1}{2}},{\displaystyle \frac{1}{2}})=\pi$と$\mathrm{\Gamma }(1)=1$であることから$\mathrm{\Gamma }\left({\displaystyle \frac{1}{2}}\right)=\sqrt{\pi }$であることがわかります。
さて、${\displaystyle \frac{1}{6}}$公式の一般化の式に定理７を適用すると、
$${\int }_{\alpha }^{\beta }(x-\alpha {)}^{a-1}(x-\beta {)}^{b-1}dx=(-1{)}^{b-1}(\beta -\alpha {)}^{a+b+1}{\displaystyle \frac{\mathrm{\Gamma }(a)\mathrm{\Gamma }(b)}{\mathrm{\Gamma }(a+b)}}$$
となります。さらに、$a\mapsto m+1$,$b\mapsto n+1$とし、$\mathrm{\Gamma }(n)=(n-1)!$を用いると
$${\int }_{\alpha }^{\beta }(x-\alpha {)}^m(x-\beta {)}^{n}dx=(-1{)}^n(\beta -\alpha {)}^{m+n+1}{\displaystyle \frac{m!n!}{(m+n+1)!}}$$
となり、おそらくみなさんが馴染んでいるであろう形になりました。
それでは今回はここら辺で終わりにしたいと思います。
読んでいただきありがとうございました。