ゼータ関数の絶対収束条件
ゼータ関数の絶対収束条件
ゼータ関数
\[ \zeta\left(s\right)=\sum_{k=1}^{\infty}\frac{1}{k^{s}} \] は\(\Re\left(s\right)>1\)で絶対収束する。
ゼータ関数
\[ \zeta\left(s\right)=\sum_{k=1}^{\infty}\frac{1}{k^{s}} \] は\(\Re\left(s\right)>1\)で絶対収束する。
ゼータ関数が絶対収束するには\(\sum_{k=1}^{\infty}\left|\frac{1}{k^{s}}\right|\)が収束する必要がある。
\begin{align*} \sum_{k=1}^{\infty}\left|\frac{1}{k^{s}}\right| & =\sum_{k=1}^{\infty}\left|k^{-s}\right|\\ & =\sum_{k=1}^{\infty}\left|k^{-\Re\left(s\right)-i\Im\left(s\right)}\right|\\ & =\sum_{k=1}^{\infty}\left|k^{-\Re\left(s\right)}e^{-i\Im\left(s\right)\log k}\right|\\ & =\sum_{k=1}^{\infty}\frac{1}{k^{\Re\left(s\right)}} \end{align*} これは\(\Re\left(s\right)=1\)のとき調和級数となり発散し、それより各項の大きい\(\Re\left(s\right)<1\)のときも発散するので、\(1<\Re\left(s\right)\)とすると、
\begin{align*} \sum_{k=1}^{\infty}\left|\frac{1}{k^{s}}\right| & =\sum_{k=1}^{\infty}\frac{1}{k^{\Re\left(s\right)}}\\ & =1+\sum_{k=2}^{\infty}\frac{1}{k^{\Re\left(s\right)}}\\ & =1+\int_{1}^{\infty}\frac{1}{x^{\Re\left(s\right)}}dx\\ & =1+\left[\frac{x^{1-\Re\left(s\right)}}{1-\Re\left(s\right)}\right]_{1}^{\infty}\\ & =1-\frac{1}{1-\Re\left(s\right)}\\ & =1+\frac{1}{\Re\left(s\right)-1}\\ & <\infty \end{align*} となり収束する。
故にゼータ関数\(\zeta\left(s\right)\)は\(\Re\left(s\right)>1\)で絶対収束する。
\begin{align*} \sum_{k=1}^{\infty}\left|\frac{1}{k^{s}}\right| & =\sum_{k=1}^{\infty}\left|k^{-s}\right|\\ & =\sum_{k=1}^{\infty}\left|k^{-\Re\left(s\right)-i\Im\left(s\right)}\right|\\ & =\sum_{k=1}^{\infty}\left|k^{-\Re\left(s\right)}e^{-i\Im\left(s\right)\log k}\right|\\ & =\sum_{k=1}^{\infty}\frac{1}{k^{\Re\left(s\right)}} \end{align*} これは\(\Re\left(s\right)=1\)のとき調和級数となり発散し、それより各項の大きい\(\Re\left(s\right)<1\)のときも発散するので、\(1<\Re\left(s\right)\)とすると、
\begin{align*} \sum_{k=1}^{\infty}\left|\frac{1}{k^{s}}\right| & =\sum_{k=1}^{\infty}\frac{1}{k^{\Re\left(s\right)}}\\ & =1+\sum_{k=2}^{\infty}\frac{1}{k^{\Re\left(s\right)}}\\ & =1+\int_{1}^{\infty}\frac{1}{x^{\Re\left(s\right)}}dx\\ & =1+\left[\frac{x^{1-\Re\left(s\right)}}{1-\Re\left(s\right)}\right]_{1}^{\infty}\\ & =1-\frac{1}{1-\Re\left(s\right)}\\ & =1+\frac{1}{\Re\left(s\right)-1}\\ & <\infty \end{align*} となり収束する。
故にゼータ関数\(\zeta\left(s\right)\)は\(\Re\left(s\right)>1\)で絶対収束する。
ページ情報
タイトル | ゼータ関数の絶対収束条件 |
URL | https://www.nomuramath.com/qnpsd35a/ |
SNSボタン |
ζ(4k)の総和
\[
\sum_{k=1}^{\infty}\left(\zeta(4k)-1\right)=\frac{7}{8}-\frac{\pi}{4}\tanh^{-1}\pi
\]
フルヴィッツのゼータ関数の定義
\[
\zeta\left(s,\alpha\right)=\sum_{k=0}^{\infty}\frac{1}{\left(\alpha+k\right)^{s}}
\]
リーマン・ゼータ関数とディリクレ・イータ関数の定義
\[
\zeta(s)=\sum_{k=1}^{\infty}\frac{1}{k^{s}}
\]
偶数ゼータ・奇数ゼータ・ゼータの総和
\[
\sum_{k=2}^{\infty}\left(\zeta\left(k\right)-1\right)=1
\]