ゼータ関数の通常型母関数
ゼータ関数の通常型母関数
ゼータ関数の通常型母関数について次が成り立つ。
\(\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ボタン |
リーマン・ゼータ関数のローラン展開
\[
\zeta\left(s\right)=\frac{1}{s-1}-\frac{1}{2}-s\int_{1}^{n}\frac{t-\left\lfloor t\right\rfloor -\frac{1}{2}}{t^{s+1}}dt
\]
フルヴィッツのゼータ関数の定義
\[
\zeta\left(s,\alpha\right)=\sum_{k=0}^{\infty}\frac{1}{\left(\alpha+k\right)^{s}}
\]
偶数ゼータ・奇数ゼータ・ゼータの総和
\[
\sum_{k=2}^{\infty}\left(\zeta\left(k\right)-1\right)=1
\]
完備リーマンゼータ関数の関数等式
\[
\xi(s)=\xi(1-s)
\]