ガンマ関数の漸化式
ガンマ関数は以下の漸化式を満たす。
\[ \Gamma(z+1)=z\Gamma(z) \]
\[ \Gamma(z+1)=z\Gamma(z) \]
-
\(\Gamma\left(z\right)\)はガンマ関数(0)
\(0<\Re z\)とする。\begin{align*} \Gamma(z+1) & =\int_{0}^{\infty}t^{z+1-1}e^{-t}dt\\ & =-\left[t^{z}e^{-t}\right]_{t=0}^{t=\infty}+z\int_{0}^{\infty}t^{z-1}e^{-t}dt\\ & =z\Gamma(z) \end{align*}
(0)-2
ガンマ関数のハンケル積分表示を使う。\begin{align*} \Gamma\left(z\right) & =\frac{i}{2\sin\left(\pi z\right)}\int_{C}\left(-\tau\right)^{z-1}e^{-\tau}d\tau\\ & =\frac{i}{2\sin\left(\pi z\right)}\lim_{R\rightarrow\infty}\int_{C\left(0,R,0,2\pi\right)}\left(-\tau\right)^{z-1}e^{-\tau}d\tau\\ & =\frac{i}{2\sin\left(\pi z\right)}\lim_{R\rightarrow\infty}\int_{0}^{2\pi}\left(-Re^{i\theta}\right)^{z-1}e^{-Re^{i\theta}}iRe^{i\theta}d\theta\\ & =\frac{1}{2\sin\left(\pi z\right)}\lim_{R\rightarrow\infty}\int_{0}^{2\pi}\left(-Re^{i\theta}\right)^{z}e^{-Re^{i\theta}}d\theta\\ & =\frac{1}{2\sin\left(\pi z\right)}\lim_{R\rightarrow\infty}\left(\left[\frac{\left(-Re^{i\theta}\right)^{z}}{iz}e^{-Re^{i\theta}}\right]_{0}^{2\pi}-\int_{0}^{2\pi}\frac{\left(-Re^{i\theta}\right)^{z}}{iz}e^{-Re^{i\theta}}\left(-iRe^{i\theta}\right)d\theta\right)\\ & =\frac{1}{2\sin\left(\pi z\right)}\lim_{R\rightarrow\infty}\left(\frac{e^{-R}}{iz}\left(\left(-Re^{2\pi i}\right)^{z}-\left(-R\right)^{z}\right)-\frac{1}{z}\int_{0}^{2\pi}\left(-Re^{i\theta}\right)^{z+1}e^{-Re^{i\theta}}d\theta\right)\\ & =\frac{1}{2\sin\left(\pi z\right)}\lim_{R\rightarrow\infty}\left(\frac{e^{-R}R^{z}}{iz}\left(\left(-e^{2\pi i}\right)^{z}-\left(-1\right)^{z}\right)-\frac{1}{z}\int_{0}^{2\pi}\left(-Re^{i\theta}\right)^{z+1}e^{-Re^{i\theta}}d\theta\right)\\ & =\frac{-1}{2z\sin\left(\pi z\right)}\lim_{R\rightarrow\infty}\int_{0}^{2\pi}\left(-Re^{i\theta}\right)^{z+1}e^{-Re^{i\theta}}d\theta\\ & =\frac{1}{2z\sin\left(\pi\left(z+1\right)\right)}\lim_{R\rightarrow\infty}\int_{0}^{2\pi}\left(-Re^{i\theta}\right)^{z+1}e^{-Re^{i\theta}}d\theta\\ & =\frac{\Gamma\left(z+1\right)}{z} \end{align*} これより、
\[ \Gamma(z+1)=z\Gamma(z) \] この場合、\(z\ne0\)で成り立つ。
ページ情報
タイトル | ガンマ関数の漸化式 |
URL | https://www.nomuramath.com/tj19g8wm/ |
SNSボタン |
ガンマ関数の非正整数近傍での値
\[
\lim_{\epsilon\rightarrow\pm0}\Gamma\left(-\epsilon\right)=-\lim_{\epsilon\rightarrow\pm0}\Gamma\left(\epsilon\right)
\]
第1種・第2種不完全ガンマ関数の定義
\[
\Gamma\left(a,x\right)=\int_{x}^{\infty}t^{a-1}e^{-t}dt
\]
ガンマ関数の微分
\[
\frac{d}{dz}\Gamma(z)=\Gamma(z)\psi(z)
\]
ガンマ関数の半整数値
\[
\Gamma\left(\frac{1}{2}+n\right)=\frac{(2n-1)!}{2^{2n-1}(n-1)!}\sqrt{\pi}
\]