ガンマ関数の絶対収束条件
ガンマ関数の絶対収束条件
ガンマ関数
\[ \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ボタン |
ガンマ関数の非正整数近傍での値
\[
\lim_{\epsilon\rightarrow\pm0}\Gamma\left(-\epsilon\right)=-\lim_{\epsilon\rightarrow\pm0}\Gamma\left(\epsilon\right)
\]
ガンマ関数の相反公式
\[
\Gamma(z)\Gamma(1-z)=\pi\sin^{-1}(\pi z)
\]
ポリガンマ関数同士の差の極限
\[
\lim_{z\rightarrow0}\left(\psi^{\left(n\right)}\left(z-m\right)-\psi^{\left(n\right)}\left(z\right)\right)=n!H_{m,n+1}
\]
不完全ガンマ関数とガンマ関数との関係
\[
\gamma\left(a,x\right)+\Gamma\left(a,x\right)=\Gamma\left(a\right)
\]