ガンマ関数の絶対収束条件
ガンマ関数の絶対収束条件
ガンマ関数
\[ \Gamma\left(z\right)=\int_{0}^{\infty}x^{z-1}e^{-z}dx \] は\(\Re\left(z\right)>0\)で絶対収束する。
ガンマ関数
\[ \Gamma\left(z\right)=\int_{0}^{\infty}x^{z-1}e^{-z}dx \] は\(\Re\left(z\right)>0\)で絶対収束する。
ガンマ関数が絶対収束するには\(\int_{0}^{\infty}\left|x^{z-1}e^{-x}\right|dx\)が収束する必要があり、\(\Re\left(z\right)>0\)とすると、
\begin{align*} \int_{0}^{\infty}\left|x^{z-1}e^{-x}\right|dx & =\int_{0}^{\infty}\left|x^{\Re\left(z\right)-1}x^{i\Im\left(z\right)}e^{-x}\right|dx\\ & =\int_{0}^{\infty}x^{\Re\left(z\right)-1}e^{-x}dx\\ & =\int_{0}^{1}x^{\Re\left(z\right)-1}e^{-x}dx+\int_{1}^{\infty}x^{\Re\left(z\right)-1}e^{-x}dx\\ & =\int_{0}^{1}x^{\Re\left(z\right)-1}e^{-x}dx+\int_{1}^{\infty}\frac{x^{\Re\left(z\right)-1}}{e^{x}}dx\\ & \leq\int_{0}^{1}x^{\Re\left(z\right)-1}dx+\int_{1}^{\infty}x^{\Re\left(z\right)-1}\frac{\left(\left\lceil \Re\left(z\right)\right\rceil +1\right)!}{x^{\left\lceil \Re\left(z\right)\right\rceil +1}}dx\\ & =\int_{0}^{1}x^{\Re\left(z\right)-1}dx+\left(\left\lceil \Re\left(z\right)\right\rceil +1\right)!\int_{1}^{\infty}x^{\Re\left(z\right)-\left\lceil \Re\left(z\right)\right\rceil -2}dx\\ & =\frac{1}{\Re\left(z\right)}\left[x^{\Re\left(z\right)}\right]_{0}^{1}+\frac{\left(\left\lceil \Re\left(z\right)\right\rceil +1\right)!}{\Re\left(z\right)-\left\lceil \Re\left(z\right)\right\rceil -1}\left[x^{\Re\left(z\right)-\left\lceil \Re\left(z\right)\right\rceil -1}\right]_{1}^{\infty}\\ & =\frac{1}{\Re\left(z\right)}-\frac{\left(\left\lceil \Re\left(z\right)\right\rceil +1\right)!}{\Re\left(z\right)-\left\lceil \Re\left(z\right)\right\rceil -1}\\ & =\frac{1}{\Re\left(z\right)}+\frac{\left(\left\lceil \Re\left(z\right)\right\rceil +1\right)!}{\left\lceil \Re\left(z\right)\right\rceil +1-\Re\left(z\right)}\\ & <\infty \end{align*} となり収束する。
ここで\(0<x\)のとき任意の非負整数\(m\)について、
\begin{align*} e^{x} & =\sum_{k=0}^{\infty}\frac{x^{k}}{k!}\\ & >\frac{x^{m}}{m!} \end{align*} を使った。
故にガンマ関数\(\Gamma\left(z\right)\)は\(\Re\left(z\right)>0\)で絶対収束する。
\begin{align*} \int_{0}^{\infty}\left|x^{z-1}e^{-x}\right|dx & =\int_{0}^{\infty}\left|x^{\Re\left(z\right)-1}x^{i\Im\left(z\right)}e^{-x}\right|dx\\ & =\int_{0}^{\infty}x^{\Re\left(z\right)-1}e^{-x}dx\\ & =\int_{0}^{1}x^{\Re\left(z\right)-1}e^{-x}dx+\int_{1}^{\infty}x^{\Re\left(z\right)-1}e^{-x}dx\\ & =\int_{0}^{1}x^{\Re\left(z\right)-1}e^{-x}dx+\int_{1}^{\infty}\frac{x^{\Re\left(z\right)-1}}{e^{x}}dx\\ & \leq\int_{0}^{1}x^{\Re\left(z\right)-1}dx+\int_{1}^{\infty}x^{\Re\left(z\right)-1}\frac{\left(\left\lceil \Re\left(z\right)\right\rceil +1\right)!}{x^{\left\lceil \Re\left(z\right)\right\rceil +1}}dx\\ & =\int_{0}^{1}x^{\Re\left(z\right)-1}dx+\left(\left\lceil \Re\left(z\right)\right\rceil +1\right)!\int_{1}^{\infty}x^{\Re\left(z\right)-\left\lceil \Re\left(z\right)\right\rceil -2}dx\\ & =\frac{1}{\Re\left(z\right)}\left[x^{\Re\left(z\right)}\right]_{0}^{1}+\frac{\left(\left\lceil \Re\left(z\right)\right\rceil +1\right)!}{\Re\left(z\right)-\left\lceil \Re\left(z\right)\right\rceil -1}\left[x^{\Re\left(z\right)-\left\lceil \Re\left(z\right)\right\rceil -1}\right]_{1}^{\infty}\\ & =\frac{1}{\Re\left(z\right)}-\frac{\left(\left\lceil \Re\left(z\right)\right\rceil +1\right)!}{\Re\left(z\right)-\left\lceil \Re\left(z\right)\right\rceil -1}\\ & =\frac{1}{\Re\left(z\right)}+\frac{\left(\left\lceil \Re\left(z\right)\right\rceil +1\right)!}{\left\lceil \Re\left(z\right)\right\rceil +1-\Re\left(z\right)}\\ & <\infty \end{align*} となり収束する。
ここで\(0<x\)のとき任意の非負整数\(m\)について、
\begin{align*} e^{x} & =\sum_{k=0}^{\infty}\frac{x^{k}}{k!}\\ & >\frac{x^{m}}{m!} \end{align*} を使った。
故にガンマ関数\(\Gamma\left(z\right)\)は\(\Re\left(z\right)>0\)で絶対収束する。
ページ情報
タイトル | ガンマ関数の絶対収束条件 |
URL | https://www.nomuramath.com/vwvc1qck/ |
SNSボタン |
ガンマ関数の半整数値
\[
\Gamma\left(\frac{1}{2}+n\right)=\frac{(2n-1)!}{2^{2n-1}(n-1)!}\sqrt{\pi}
\]
第1種・第2種不完全ガンマ関数の漸化式
\[
\Gamma\left(a+1,x\right)=a\Gamma\left(a,x\right)+x^{a}e^{-x}
\]
ガンマ関数・ディガンマ関数・ポリガンマ関数の定義
\[
\Gamma(z)=\int_{0}^{\infty}t^{z-1}e^{-t}dt
\]
そのままだとΓ(0)になる積分
\[
\int_{0}^{\infty}\left(x^{-1}e^{-x}-\frac{e^{-nx}}{1-e^{-x}}\right)dx=H_{n-1}-\gamma
\]