明示公式
(リーマンの明示公式 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/02/07 08:40 UTC 版)
|
原文と比べた結果、この記事には多数の（または内容の大部分に影響ある）誤訳があることが判明しています。情報の利用には注意してください。
|
数学では、L-函数の明示公式(explicit formulae for L-function)は、L-函数の複素数の零点を渡る総和と素数冪を渡る総和との関係のことを言い、リーマンゼータ函数について Riemann (1859) により導入された。明示公式は、代数体の判別式(discriminant of an algebraic number field)や導手の境界に関する問題への応用も持っている。
リーマンの明示公式
リーマンは1859年の論文 「与えられた数より小さい素数の個数について (Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse)」で、
リーマンの明示公式
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/31 15:52 UTC 版)
リーマンは1859年の論文 「与えられた数より小さい素数の個数について (Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse)」で、 π 0 ( x ) = 1 2 lim h → 0 ( π ( x + h ) + π ( x − h ) ) {\displaystyle \pi _{0}(x)={\frac {1}{2}}\lim _{h\to 0}(\pi (x+h)+\pi (x-h))} により、素数数え上げ函数（英語版）(prime-counting function) π0(x) を発見した。この函数は、正規化された素数数え上げ函数 π(x) へ関係付けられている。この公式は、関係する函数 f ( x ) = π ( x ) + 1 2 π ( x 1 / 2 ) + 1 3 π ( x 1 / 3 ) + ⋯ {\displaystyle f(x)=\pi (x)+{\frac {1}{2}}\pi (x^{1/2})+{\frac {1}{3}}\pi (x^{1/3})+\cdots } の項で与えられた。この函数がどのように素数の数を数えるかというと、素数 p の 1/n となるように、素数のべき pn を数え、不連続点で左からの極限と右からの極限の数論的意味を持つものとして（2つの平均をとることで）、数え上げられる。正規化された素数数え上げ函数は、この函数より π 0 ( x ) = ∑ n μ ( n ) f ( x 1 / n ) / n = f ( x ) − 1 2 f ( x 1 / 2 ) − 1 3 f ( x 1 / 3 ) − ⋯ {\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 } として得られる。リーマンの公式は f ( x ) = li ( x ) − ∑ ρ li ( x ρ ) − log ( 2 ) + ∫ x ∞ d t t ( t 2 − 1 ) log ( t ) {\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)}}} となり、リーマンゼータ函数が非自明な零点を渡る和を意味する。この和は絶対収束しないが、零点の虚数部の絶対値のオーダーを取ることで、零点を評価できる。最初の項の中の函数 li は、発散積分 li ( x ) = ∫ 0 x d t log ( t ) {\displaystyle \operatorname {li} (x)=\int _{0}^{x}{\frac {dt}{\log(t)}}} のコーシーの主値により与えられる対数積分である。ゼータ函数の零点を意味する項 li(xρ) は、li が 0 と 1 で分岐点を持ち、複素変数 ρ が x > 1 で Re(ρ) > 0 の領域内へ解析接続されることへ注意を払う必要がある。他の項も零点に対応し、主要項 li(x) は s = 1 での極から来ていて、多重度 −1 の零点と考えられる。また残る小さな項は自明な零点から来る。この公式は、リーマンゼータ函数の零点が「期待」された点の周囲での素数の振動を制御していることを意味する。（この級数の最初のいくつかの項のグラフは、Zagier 1977を参照） リーマンの素数の数え上げ函数 π にかえて、チェビシェフ函数 ψ {\displaystyle \psi } の正規化 ψ 0 {\displaystyle \psi _{0}} を使うと、リーマンの公式のより単純な形への変形でき、 フォン・マンゴルト(von-Mangoldt)の明示公式 ψ 0 ( x ) = 1 2 π i ∫ 0 ∞ ( − ζ ′ ( s ) ζ ( s ) ) x s s d s = x − ∑ ρ x ρ ρ − log ( 2 π ) − log ( 1 − x − 2 ) / 2 {\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} を得る。ここに非整数 x に対し、ψ(x) は x よりも小さい全ての素数べき pn を渡る log(p) の和である。これはリーマン明示公式のフォン・マンゴルトによる証明で重要な役割を果たす。 ここで零点を渡る和は、再び、虚数部の増加するオーダーの中でとる必要がある。 ∑ ρ x ρ ρ = lim T → ∞ S ( x , T ) {\displaystyle \sum _{\rho }{\frac {x^{\rho }}{\rho }}=\lim _{T\rightarrow \infty }S(x,T)\ } ここに、 S ( x , T ) = ∑ ρ : | ℑ ρ | ≤ T x ρ ρ {\displaystyle S(x,T)=\sum _{\rho :|\Im \rho |\leq T}{\frac {x^{\rho }}{\rho }}} である。 和を消去することを意味する S(x,T) のエラー項は、オーダーが x 2 log 2 T T + log x {\displaystyle x^{2}{\frac {\log ^{2}T}{T}}+\log x} である。
※この「リーマンの明示公式」の解説は、「明示公式」の解説の一部です。
「リーマンの明示公式」を含む「明示公式」の記事については、「明示公式」の概要を参照ください。
- リーマンの明示公式のページへのリンク
