ゼータ関数の通常型母関数
ゼータ関数の通常型母関数
ゼータ関数の通常型母関数について次が成り立つ。
\(\left|z\right|<1\)とする。
\begin{align*} \sum_{k=2}^{\infty}\zeta\left(k\right)z^{k} & =-z\left(\psi\left(1-z\right)+\gamma\right)\\ & =-z\left(\psi\left(z\right)+\pi\tan^{-1}\left(\pi z\right)+\gamma\right) \end{align*}
\(\gamma\)はオイラー・マスケローニ定数
ゼータ関数の通常型母関数について次が成り立つ。
\(\left|z\right|<1\)とする。
\begin{align*} \sum_{k=2}^{\infty}\zeta\left(k\right)z^{k} & =-z\left(\psi\left(1-z\right)+\gamma\right)\\ & =-z\left(\psi\left(z\right)+\pi\tan^{-1}\left(\pi z\right)+\gamma\right) \end{align*}
-
\(\psi\left(z\right)\)はディガンマ関数\(\gamma\)はオイラー・マスケローニ定数
(1)
\(\left|z\right|=1\)では\(\sum_{k=2}^{\infty}\zeta\left(k\right)z^{k}\)は発散します。何故なら級数の項\(\zeta\left(k\right)z^{k}\)は
\begin{align*} \lim_{k\rightarrow\infty}\left|\zeta\left(k\right)z^{k}\right| & =\lim_{k\rightarrow\infty}\left|\zeta\left(k\right)\right|\left|z^{k}\right|\\ & =\lim_{k\rightarrow\infty}\zeta\left(k\right)\left|z\right|^{k}\\ & =\lim_{k\rightarrow\infty}\zeta\left(k\right)\\ & =\lim_{k\rightarrow\infty}\sum_{j=1}^{\infty}\frac{1}{j^{k}}\\ & =\sum_{j=1}^{\infty}\lim_{k\rightarrow\infty}\frac{1}{j^{k}}\\ & =\sum_{j=1}^{\infty}\delta_{j,k}\\ & =1\\ & \ne0 \end{align*} となり、\(0\)に収束しないので、発散します。
\begin{align*}
\sum_{k=2}^{\infty}\zeta\left(k\right)z^{k} & =\sum_{k=2}^{\infty}z^{k}\sum_{j=1}^{\infty}\frac{1}{j^{k}}\\
& =\sum_{j=1}^{\infty}\sum_{k=2}^{\infty}\frac{z^{k}}{j^{k}}\\
& =\sum_{j=1}^{\infty}\sum_{k=2}^{\infty}\left(\frac{z}{j}\right)^{k}\\
& =\sum_{j=1}^{\infty}\left(\frac{z}{j}\right)^{2}\frac{1}{1-\frac{z}{j}}\cmt{\because\left|z\right|<1}\\
& =z^{2}\sum_{j=1}^{\infty}\frac{1}{j\left(j-z\right)}\\
& =\left(-z\right)\cdot\left(-z\right)\sum_{j=1}^{\infty}\frac{1}{j\left(j-z\right)}\\
& =-zH_{-z}\cmt{\because H_{z}=z\sum_{k=1}^{\infty}\frac{1}{k\left(k+z\right)}}\\
& =-z\left(\psi\left(1-z\right)+\gamma\right)\cmt{\because\psi\left(z\right)=-\gamma+H_{z-1}}\\
& =-z\left(\psi\left(z\right)+\pi\tan^{-1}\left(\pi z\right)+\gamma\right)\cmt{\because\text{ディガンマ関数の相反公式}\psi\left(1-z\right)-\psi\left(z\right)=\pi\tan^{-1}\left(\pi z\right)}
\end{align*}
ページ情報
タイトル | ゼータ関数の通常型母関数 |
URL | https://www.nomuramath.com/mrpdnfd8/ |
SNSボタン |
フルヴィッツ・ゼータ関数の乗法定理
\[
n^{s}\zeta\left(s,nz\right)=\sum_{k=0}^{n-1}\zeta\left(s,z+\frac{k}{n}\right)
\]
リーマン・ゼータ関数とディリクレ・イータ関数の定義
\[
\zeta(s)=\sum_{k=1}^{\infty}\frac{1}{k^{s}}
\]
リーマン・ゼータ関数の解析接続による非負整数値
\[
\zeta\left(-n\right)=\left(-1\right)^{n}\frac{B_{n+1}}{n+1}
\]
ζ(2)の値
\[
\sum_{k=1}^{\infty}\frac{1}{k^{2}}=\frac{\pi^{2}}{6}
\]