リーマンゼータ関数について適当に書く

リーマンゼータ関数について適当に書く

この記事はとあるオープンチャット 積分,級数の部屋 のGW mathlogリレーの2日目の記事です。

今回の記事を書くにあたってこの 本 を参考にしましたー
数学をあなたのポケットに！

リーマンゼータ関数

解析接続については深くは触れず、とりあえず関数等式というものを示していきます。

関数等式

とある積分経路$C$をとってきます。
${\displaystyle f(z)=\frac{z^{s-1}}{e^z-1}}$を周回積分します。

積分経路

真ん中の円は半径$2\pi$未満です。
虚軸上の×は$2\pi$ごとに並んでいます。
全体を一周する経路を$C$としています。

周回積分していきます。

周りの幅は無限大に飛ばすので特異点は全て入っているものとして計算しています。
周りをの経路は頑張って計算すると$0$になって、$C_2$も$0$になるので周回積分するには$C_1$と$C_3$を計算すればいいこととなります。

複素対数の知識を上手く使って計算すると
$$\begin{array}{rl}{\int }_{C_1}+{\int }_{C_3}& =(1-e^{2\pi is}){\int }_0^{\mathrm{\infty }}\frac{x^{s-1}}{e^x-1}dx\\ & =(1-e^{2\pi is})\mathrm{\Gamma }(s)\zeta (s)\end{array}$$
となります。

周回積分を留数定理を用いて計算していきます。
$$\begin{array}{rl}{\oint }_{C}f(z)dz& =2\pi i(\sum _{n=1}^{\mathrm{\infty }}\underset{z=2\pi in}{\mathrm{Res}}f(z)+\sum _{n=1}^{\mathrm{\infty }}\underset{z=-2\pi in}{\mathrm{Res}}f(z))\\ & =i{2}^{s+1}{\pi }^s{e}^{\pi is}\sin \frac{\pi s}{2}\sum _{n=1}^{\mathrm{\infty }}{n}^{s-1}\\ & =i{2}^{s+1}{\pi }^s{e}^{\pi is}\sin \frac{\pi s}{2}\zeta (1-s)\end{array}$$

よって、
$$(1-e^{2\pi is})\mathrm{\Gamma }(s)\zeta (s)=i{2}^{s+1}{\pi }^s{e}^{\pi is}\sin \frac{\pi s}{2}\zeta (1-s)$$
整理することにより、題意を得る。

関数等式から、自然数$n$に対して$\zeta (-2n)=0$です、この零点のことを自明な零点といいます。
自明な零点でない零点のことを非自明な零点といい一般的には$\rho$で表す。

対称性

対称性が一目でみてわかるやつ作りたい！！！

関数等式により題意を得る。

無限乗積展開

${\displaystyle \zeta (0)=-\frac{1}{2}}$から${\displaystyle \xi (0)=\frac{1}{2}}$を得る。
$\xi (s)$は$s=-2n$のときはガンマ関数の部分で極が打ち消しあいます。
よって、$\xi (s)$の零点は、$\zeta (s)$の非自明な零点です。
$\xi (s)$を無限乗積展開すると
$$\xi (s)=\frac{1}{2}\prod _{\rho }(1-\frac{x}{\rho })$$
表記は察してください。
非自明な零点は無限個あることが知られているので、無限乗積展開と表記しています。
$\zeta (s)$を無限乗積展開すると
$$\zeta (s)=\frac{1}{2}\frac{{\pi }^{\frac{s}{2}}}{\mathrm{\Gamma }\left(\frac{s}{2}\right)s(s-1)}\prod _{\rho }(1-\frac{x}{\rho })$$
両辺の対数をとります
$$\log \zeta (s)=\frac{1}{2}s\log \pi -\log 2-\log \mathrm{\Gamma }(\frac{s}{2}+1)-\log (s-1)+\sum _{\rho }\log (1-\frac{x}{\rho })$$
あとあと使います。

$J(x)$について

$J(x)$を定義します。

$J(x)$の表示を求めます。

$a>1$です。
$s=a+bi$とします。$(a,b\in \mathbb{R})$

$$\begin{array}{rl}{\int }_1^{\mathrm{\infty }}J(x)x^{-s-1}dx& ={\int }_1^{\mathrm{\infty }}J(x)x^{-(a+bi)}\frac{dx}{x}\\ & ={\int }_1^{\mathrm{\infty }}J(x)e^{-a\log x}{e}^{-ib\log x}\frac{dx}{x}\\ & ={\int }_0^{\mathrm{\infty }}J(e^x)e^{-ax}{e}^{-ibx}dx\\ & ={\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}J(e^x)e^{-ax}{e}^{-ibx}dx\end{array}$$
ここでフーリエ変換とフーリエ逆変換を思い出します。
$$F(s)=\frac{1}{2\pi }{\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f(x)e^{-isx}dx$$
$$f(x)={\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}F(s)e^{isx}ds$$
${\displaystyle f(x)=2\pi J(e^x)e^{-ax}}$とすると
$$\frac{\log \zeta (a+bi)}{a+bi}={\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}J(e^x)e^{-ax}{e}^{-ibx}dx$$
$$\begin{array}{rl}2\pi J(e^x)e^{-ax}& ={\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}\frac{\log \zeta (a+bi)}{a+bi}{e}^{ibx}db\\ J(e^x)& =\frac{1}{2\pi }{\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}\frac{\log \zeta (a+bi)}{a+bi}{e}^{(a+bi)x}db\\ & =\frac{1}{2\pi }{\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}\frac{\log \zeta (s)}{s}{e}^{sx}ds\end{array}$$
$s=a$を通る虚軸に平行な経路で積分したものに等しくなるので
$$J(e^x)=\frac{1}{2\pi i}{\int }_{a-i\mathrm{\infty }}^{a+i\mathrm{\infty }}\frac{\log \zeta (s)}{s}{e}^{sx}ds$$
$$\begin{array}{rl}J(x)& =\frac{1}{2\pi i}{\int }_{a-i\mathrm{\infty }}^{a+i\mathrm{\infty }}\frac{\log \zeta (s)}{s}{x}^{s}ds\\ & =-\frac{1}{2\pi i}\frac{1}{\log x}{\int }_{a-i\mathrm{\infty }}^{a+i\mathrm{\infty }}{x}^s\frac{d}{ds}\frac{\log \zeta (s)}{s}ds\end{array}$$
先ほど得た$\log \zeta (s)$の表示と対数積分
$$\mathrm{li}(x)=\underset{\epsilon \to 0+}{lim}({\int }_0^{1-\epsilon }\frac{dt}{\log t}+{\int }_{1+\epsilon }^x\frac{dt}{\log t})$$
$$\mathrm{Li}(x)=\mathrm{li}(x)-\mathrm{li}(x)$$
を用いて頑張って計算すると
$$J(x)=-\log 2+{\int }_x^{\mathrm{\infty }}\frac{dt}{t(t^2-1)\log t}+\mathrm{Li}(x)-\sum _{\rho }\mathrm{Li}(x^{\rho })$$
近似すると
$$J(x)\sim \mathrm{Li}(x)$$
を得る。

$\pi (x)$とか

$\pi (x)$は$x$までの素数の個数+$\frac{1}{2}$として定義します。
その方が連続だったり都合がいいからです。
$\pi (x)$と$J(x)$の関係として
$$J(x)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n}\pi (x^{\frac{1}{n}})$$
というものがあります。
ここから、 メビウス関数 を用いた表示
$$\pi (x)=\sum _{n=1}^{\mathrm{\infty }}\frac{\mu (n)}{n}J(x^{\frac{1}{n}})$$
$J(x)$は$\mathrm{Li}(x)$と近似して、$2$項目までで打ち切って
${\displaystyle \pi (x)=\mathrm{Li}(x)-\frac{1}{2}\mathrm{Li}(\sqrt{x})}$
を得ます。

これで$1000$以下の素数の個数を電卓に入れて計算させてみると
$170.86\dots$という値が返ってきました。
実際$\pi (1000)$は$168.5$なのでまあまあ精度はいいのかも。

以上、素数の電卓で求められて嬉しいというお話でした。

ああ、是非興味のある部屋は積分,級数の部屋に入ってみてくださいー