出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/07 08:40 UTC 版)
リーマンの明示公式
リーマンは1859年の論文 「与えられた数より小さい素数の個数について (Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse)」で、
![{\displaystyle \pi _{0}(x)={\frac {1}{2}}\lim _{h\to 0}(\pi (x+h)+\pi (x-h))}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/31832365d3f660255a0d7b10ba5043512aaefde8)
により、素数数え上げ函数(英語版)(prime-counting function) π0(x) を発見した。この函数は、正規化された素数数え上げ函数 π(x) へ関係付けられている。この公式は、関係する函数
![{\displaystyle f(x)=\pi (x)+{\frac {1}{2}}\pi (x^{1/2})+{\frac {1}{3}}\pi (x^{1/3})+\cdots }](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/1534134493d04b618e2eb94eda76b4edbdf2b8e7)
の項で与えられた。(リーマンはこのように
と書き表したが、現在では
といえば関数一般のことを指すため、
と書くことが慣例となっている。)この函数がどのように素数の数を数えるかというと、素数 p の 1/n となるように、素数のべき pn を数え、不連続点で左からの極限と右からの極限の数論的意味を持つものとして(2つの平均をとることで)、数え上げられる。正規化された素数数え上げ函数は、この函数より
![{\displaystyle \pi _{0}(x)=\sum _{n}\mu (n)f(x^{1/n})/n=f(x)-{\frac {1}{2}}f(x^{1/2})-{\frac {1}{3}}f(x^{1/3})-\cdots }](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/1cbd851c8de7a537985296a669a309256bdcf56a)
として得られる。リーマンの公式は
![{\displaystyle f(x)=\operatorname {li} (x)-\sum _{\rho }\operatorname {li} (x^{\rho })-\log(2)+\int _{x}^{\infty }{\frac {dt}{t(t^{2}-1)\log(t)}}}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/51d871fc073a381eec1a35db3c2b1f57eb9fd691)
となり、リーマンゼータ函数が非自明な零点を渡る和を意味する。この和は絶対収束しないが、零点の虚数部の絶対値のオーダーを取ることで、零点を評価できる。最初の項の中の函数 li は、発散積分
![{\displaystyle \operatorname {li} (x)=\int _{0}^{x}{\frac {dt}{\log(t)}}}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/e0c965fa19846a9811fc268dda9e66a517240b10)
のコーシーの主値により与えられる対数積分である。ゼータ函数の零点を意味する項 li(xρ) は、li が 0 と 1 で分岐点を持ち、複素変数 ρ が x > 1 で Re(ρ) > 0 の領域内へ解析接続されることへ注意を払う必要がある。他の項も零点に対応し、主要項 li(x) は s = 1 での極から来ていて、多重度 −1 の零点と考えられる。また残る小さな項は自明な零点から来る。この公式は、リーマンゼータ函数の零点が「期待」された点の周囲での素数の振動を制御していることを意味する。(この級数の最初のいくつかの項のグラフは、Zagier 1977を参照)
リーマンの素数の数え上げ函数 π にかえて、チェビシェフ函数
の正規化
を使うと、リーマンの公式のより単純な形への変形でき、[1] フォン・マンゴルト(von-Mangoldt)の明示公式
![{\displaystyle \psi _{0}(x)={\dfrac {1}{2\pi i}}\int _{0}^{\infty }\left(-{\dfrac {\zeta '(s)}{\zeta (s)}}\right){\dfrac {x^{s}}{s}}ds=x-\sum _{\rho }{\frac {x^{\rho }}{\rho }}-\log(2\pi )-\log(1-x^{-2})/2}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/de1ed38354fe1e472a48069bfc2ee1a6544d9ed6)
を得る。ここに非整数 x に対し、ψ(x) は x よりも小さい全ての素数べき pn を渡る log(p) の和である。これはリーマン明示公式のフォン・マンゴルトによる証明で重要な役割を果たす。
ここで零点を渡る和は、再び、虚数部の増加するオーダーの中でとる必要がある。[2]
![{\displaystyle \sum _{\rho }{\frac {x^{\rho }}{\rho }}=\lim _{T\rightarrow \infty }S(x,T)\ }](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/c84e960dced151d4c937754cc39224b058fd64d6)
ここに、
![{\displaystyle S(x,T)=\sum _{\rho :|\Im \rho |\leq T}{\frac {x^{\rho }}{\rho }}}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/113444cc2a93d528a12f0d01b6a6475fdc2a582b)
である。
和を消去することを意味する S(x,T) のエラー項は、オーダーが[2]
![{\displaystyle x^{2}{\frac {\log ^{2}T}{T}}+\log x}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/1d9853cb4d4dde2f2c5ad3018339a53337abdf4d)
である。