ディガンマ関数の級数表示・導関数・テイラー展開

(1)級数表示

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

(2)導関数

\(n\in\mathbb{N}\)とする。

\[ \psi^{(n)}(z)=(-1)^{n+1}k!\sum_{k=0}^{\infty}\frac{1}{(z+k)^{n+1}} \]

(3)テイラー展開

\[ \psi(1+z)=-\gamma+\sum_{k=1}^{\infty}\left\{ (-1)^{k+1}\zeta(k+1)z^{k}\right\} \]

ここで、\(\zeta(n)\)はリーマンゼータ関数である。

(1)

\begin{align*} \psi(z) & =\frac{d}{dz}\log\Gamma(z)\\ & =\frac{d}{dz}\log\left(\lim_{n\rightarrow\infty}n^{z}n!P(z,-(n+1))\right)\qquad,\qquad\text{ガウスのガンマ関数無限乗積表示}\\ & =\frac{d}{dz}\log\left(\lim_{n\rightarrow\infty}n^{z}n!\prod_{k=0}^{n}(z+k)^{-1}\right)\\ & =\lim_{n\rightarrow\infty}\frac{d}{dz}\left(\log n^{z}+\log n!-\sum_{k=0}^{n}\log(z+k)\right)\\ & =\lim_{n\rightarrow\infty}\frac{d}{dz}\left(z\log n-\sum_{k=0}^{n}\log(z+k)\right)\\ & =\lim_{n\rightarrow\infty}\left(\log n-\sum_{k=0}^{n}\frac{1}{z+k}\right) \end{align*}

更に計算を進めると、

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

(2)

\(n\in\mathbb{N}\)とする。

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

(3)

\(z=1\)周りでテーラー展開すると、

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

ページ情報

タイトル

ディガンマ関数の級数表示・導関数・テイラー展開

URL

https://www.nomuramath.com/jupvfrgr/

SNSボタン