ディガンマ関数・ポリガンマ関数の漸化式・正整数値・半正整数値

ディガンマ関数・ポリガンマ関数の漸化式・正整数値・半正整数値

(1)ディガンマ関数の漸化式

\[ \psi\left(z+1\right)=\psi\left(z\right)+\frac{1}{z} \]

(2)ポリガンマ関数の漸化式

\(n\in\mathbb{N}_{0}\)とする。
\[ \psi^{\left(n\right)}\left(z+1\right)=\psi^{\left(n\right)}\left(z\right)+\frac{\left(-1\right)^{n}n!}{z^{n+1}} \]

(3)ディガンマ関数の1値

\[ \psi\left(1\right)=-\gamma \]

(4)ポリガンマ関数の1値

\(n\in\mathbb{N}\)のとき、
\[ \psi^{\left(n\right)}\left(1\right)=-\left(-1\right)^{n}n!\zeta\left(n+1\right) \]

(5)ディガンマ関数の正整数値

\(m\in\mathbb{N}\)のとき、
\[ \psi\left(m\right)=H_{m-1}-\gamma \] 一般的に \(m\in\mathbb{C}\setminus\mathbb{N}_{0}^{-}\)で成り立ちます。

(6)ポリガンマ関数の値

\(n\in\mathbb{N}_{0},m\in\mathbb{Z},z-m\notin\mathbb{N}_{0}^{-}\)のとき、
\[ \psi^{\left(n\right)}\left(z+m\right)=\psi^{\left(n\right)}\left(z+1\right)+\left(-1\right)^{n}n!\sum_{k=1}^{m-1}\frac{1}{\left(z+k\right)^{n+1}} \]

(7)ポリガンマ関数の正整数値

\(n,m\in\mathbb{N}\)のとき、
\[ \psi^{(n)}\left(m\right)=\left(-1\right)^{n}n!\left(H_{m-1,n+1}-\zeta\left(n+1\right)\right) \] 一般的に \(m\in\mathbb{C}\setminus\mathbb{N}_{0}^{-}\)で成り立ちます。

(8)ディガンマ関数の1/2値

\[ \psi\left(\frac{1}{2}\right)=-\gamma-2\log2 \]

(9)ポリガンマ関数の1/2値

\(n\in\mathbb{N}\)とする。
\[ \psi^{(n)}\left(\frac{1}{2}\right)=-\left(-1\right)^{n}n!\left(2^{n+1}-1\right)\left(\zeta\left(n+1\right)\right) \]

(10)ディガンマ関数の半正整数値

\(n\in\mathbb{N}\)のとき、
\[ \psi\left(n-\frac{1}{2}\right)=H_{n-1}-2\sum_{j=1}^{2n-2}\frac{\left(-1\right)^{j}}{j}-\gamma-2\log2 \]

-

\(H_{n}\)は調和数、\(H_{m,n}\)は一般化調和数。

(1)

\begin{align*} \psi\left(z+1\right) & =\frac{d}{d\left(z+1\right)}\log\Gamma\left(z+1\right)\\ & =\frac{dz}{d\left(z+1\right)}\frac{d}{dz}\log\left(z\Gamma\left(z\right)\right)\\ & =\frac{d}{dz}\left(\log z+\log\Gamma\left(z\right)\right)\\ & =\frac{1}{z}+\psi\left(z\right) \end{align*}

(1)-2

\begin{align*} \psi(z+1) & =\lim_{n\rightarrow\infty}\left(\log n-\sum_{k=0}^{n}\frac{1}{z+1+k}\right)\\ & =\lim_{n\rightarrow\infty}\left(\log n-\sum_{k=1}^{n}\frac{1}{z+k}\right)\\ & =\lim_{n\rightarrow\infty}\left(\log n-\sum_{k=0}^{n}\frac{1}{z+k}\right)+\frac{1}{z}\\ & =\psi(z)+\frac{1}{z} \end{align*}

(2)

\begin{align*} \psi^{\left(n\right)}\left(z+1\right) & =\frac{d^{n}}{dz^{n}}\psi\left(z+1\right)\\ & =\frac{d^{n}}{dz^{n}}\left(\psi\left(z\right)+\frac{1}{z}\right)\\ & =\psi^{\left(n\right)}\left(z\right)+\frac{d^{n}}{dz^{n}}\frac{1}{z}\\ & =\psi^{\left(n\right)}\left(z\right)+\frac{P\left(-1,n\right)}{z^{n+1}}\\ & =\psi^{\left(n\right)}\left(z\right)+\frac{\left(-1\right)^{n}n!}{z^{n+1}} \end{align*}

(2)-2

\begin{align*} \psi^{\left(n\right)}(z+1) & =\frac{d^{n}}{dz^{n}}\psi\left(z+1\right)\\ & =\frac{d^{n+1}}{dz^{n+1}}\log\Gamma\left(z+1\right)\\ & =\frac{d^{n+1}}{dz^{n+1}}\log\left(z\Gamma\left(z\right)\right)\\ & =\frac{d^{n+1}}{dz^{n+1}}\left(\log\Gamma\left(z\right)+\log z\right)\\ & =\frac{d^{n}}{dz^{n}}\psi\left(z\right)+\frac{d^{n}}{dz^{n}}\frac{1}{z}\\ & =\psi^{\left(n\right)}\left(z\right)+\frac{\left(-1\right)^{n}n!}{z^{n+1}} \end{align*}

(3)

\begin{align*} \psi\left(1\right) & =-\gamma-\sum_{k=0}^{\infty}\left(\frac{1}{1+k}-\frac{1}{k+1}\right)\\ & =-\gamma \end{align*}

(4)

\begin{align*} \psi^{\left(n\right)}\left(1\right) & =\left(-1\right)^{n+1}n!\sum_{k=0}^{\infty}\frac{1}{\left(1+k\right)^{n+1}}\\ & =-\left(-1\right)^{n}n!\zeta\left(n+1\right) \end{align*}

(5)

\begin{align*} \psi\left(m\right) & =\sum_{j=1}^{m-1}\left(\psi\left(j+1\right)-\psi\left(j\right)\right)+\psi\left(1\right)\\ & =\sum_{j=1}^{m-1}\frac{1}{j}+\psi\left(1\right)\\ & =H_{m-1}-\gamma \end{align*}

(6)

\begin{align*} \psi^{\left(n\right)}\left(z+m\right) & =\psi^{\left(n\right)}\left(z+1\right)+\sum_{k=1}^{m-1}\left(\psi^{\left(n\right)}\left(z+k+1\right)-\psi^{\left(n\right)}\left(z+k\right)\right)\\ & =\psi^{\left(n\right)}\left(z+1\right)+\sum_{k=1}^{m-1}\frac{\left(-1\right)^{n}n!}{\left(z+k\right)^{n+1}}\\ & =\psi^{\left(n\right)}\left(z+1\right)+\left(-1\right)^{n}n!\sum_{k=1}^{m-1}\frac{1}{\left(z+k\right)^{n+1}} \end{align*}

(7)

\begin{align*} \psi^{(n)}\left(m\right) & =\left(-1\right)^{n+1}n!\sum_{k=0}^{\infty}\frac{1}{\left(m+k\right)^{n+1}}\\ & =\left(-1\right)^{n+1}n!\left(\sum_{k=0}^{-m}\frac{1}{\left(m+k\right)^{n+1}}+\sum_{k=-m+1}^{\infty}\frac{1}{\left(m+k\right)^{n+1}}\right)\\ & =\left(-1\right)^{n+1}n!\left(-\sum_{k=-m+1}^{-1}\frac{1}{\left(m+k\right)^{n+1}}+\zeta\left(n+1\right)\right)\\ & =\left(-1\right)^{n}n!\left(\sum_{k=1}^{m-1}\frac{1}{k^{n+1}}-\zeta\left(n+1\right)\right)\\ & =\left(-1\right)^{n}n!\left(H_{m-1,n+1}-\zeta\left(n+1\right)\right) \end{align*}

(8)

\begin{align*} \psi\left(\frac{1}{2}\right) & =-\gamma-\lim_{n\rightarrow\infty}\sum_{k=0}^{n}\left(\frac{1}{\frac{1}{2}+k}-\frac{1}{k+1}\right)\\ & =-\gamma-\lim_{n\rightarrow\infty}\sum_{k=0}^{n}\left(\frac{2}{1+2k}-\frac{1}{k+1}\right)\\ & =-\gamma-2\lim_{n\rightarrow\infty}\sum_{k=0}^{n}\left(\frac{1}{1+2k}-\frac{1}{2(k+1)}\right)\\ & =-\gamma-2\lim_{n\rightarrow\infty}\sum_{k=0}^{n}\left(\frac{\left(-1\right)^{2k+1+1}}{2k+1}+\frac{\left(-1\right)^{2(k+1)+1}}{2\left(k+1\right)}\right)\\ & =-\gamma-2\lim_{n\rightarrow\infty}\sum_{k=1}^{2n+2}\left(\frac{\left(-1\right)^{k+1}}{k}\right)\\ & =-\gamma-2\log2 \end{align*}

(9)

\begin{align*} \psi^{(n)}\left(\frac{1}{2}\right) & =\left(-1\right)^{n+1}n!\sum_{k=0}^{\infty}\frac{1}{\left(\frac{1}{2}+k\right)^{n+1}}\\ & =\left(-1\right)^{n+1}n!2^{n+1}\sum_{k=0}^{\infty}\frac{1}{\left(2k+1\right)^{n+1}}\\ & =\left(-1\right)^{n+1}n!2^{n+1}\left(\zeta\left(n+1\right)-\frac{\zeta\left(n+1\right)}{2^{n+1}}\right)\\ & =-\left(-1\right)^{n}n!\left(2^{n+1}-1\right)\left(\zeta\left(n+1\right)\right) \end{align*}

(10)

\(n\in\mathbb{N}\)のとき、
\begin{align*} \psi\left(m-\frac{1}{2}\right) & =\sum_{j=0}^{m-2}\left(\psi\left(j+1+\frac{1}{2}\right)-\psi\left(j+\frac{1}{2}\right)\right)+\psi\left(\frac{1}{2}\right)\\ & =\sum_{j=0}^{m-2}\frac{1}{j+\frac{1}{2}}+\psi\left(\frac{1}{2}\right)\\ & =2\sum_{j=0}^{m-2}\frac{1}{2j+1}+\psi\left(\frac{1}{2}\right)\\ & =2\left(\sum_{j=1}^{2m-2}\frac{1}{j}-\sum_{j=1}^{m-1}\frac{1}{2j}\right)+\psi\left(\frac{1}{2}\right)\\ & =2\left(\sum_{j=1}^{m-1}\frac{1}{2j}+\sum_{j=1}^{m-1}\frac{1}{2j-1}-\sum_{j=1}^{m-1}\frac{1}{2j}\right)+\psi\left(\frac{1}{2}\right)\\ & =H_{m-1}-2\sum_{j=1}^{2m-2}\frac{\left(-1\right)^{j}}{j}-\gamma-2\log2 \end{align*}

ページ情報
タイトル
ディガンマ関数・ポリガンマ関数の漸化式・正整数値・半正整数値
URL
https://www.nomuramath.com/euj5e7c7/
SNSボタン