原文と比べた結果、この記事には多数の（または内容の大部分に影響ある）誤訳 があることが判明しています。情報の利用には注意してください。 正確な表現に改訳できる方を求めています。
数学では、L-函数 の明示公式リーマンゼータ函数 について Riemann (1859) により導入された。明示公式は、代数体の判別式 （英語版 ） 導手 の境界に関する問題への応用も持っている。
リーマンは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))}
により、素数数え上げ函数 （英語版 ） 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 }
の項で与えられた。(リーマンはこのように
f
(
x
)
{\displaystyle f(x)}
f
(
x
)
{\displaystyle f(x)}
J
(
x
)
{\displaystyle J(x)}
n を数え、不連続点で左からの極限と右からの極限の数論的意味を持つものとして（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}}
[ 1]
ψ
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) の和である。これはリーマン明示公式のフォン・マンゴルトによる証明で重要な役割を果たす。
ここで零点を渡る和は、再び、虚数部の増加するオーダーの中でとる必要がある。[ 2]
∑
ρ
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) のエラー項は、オーダーが[ 2]
x
2
log
2
T
T
+
log
x
{\displaystyle x^{2}{\frac {\log ^{2}T}{T}}+\log x}
である。
明示公式の記述の方法にはいくつかの少し異なる方法がある。ヴェィユの明示公式の形は、次の形である。
Φ
(
1
)
+
Φ
(
0
)
−
∑
ρ
Φ
(
ρ
)
=
∑
p
,
m
log
(
p
)
p
m
/
2
(
F
(
log
(
p
m
)
)
+
F
(
−
log
(
p
m
)
)
)
−
1
2
π
∫
−
∞
∞
φ
(
t
)
Ψ
(
t
)
d
t
{\displaystyle {\begin{aligned}&{}\quad \Phi (1)+\Phi (0)-\sum _{\rho }\Phi (\rho )\\&=\sum _{p,m}{\frac {\log(p)}{p^{m/2}}}(F(\log(p^{m}))+F(-\log(p^{m})))-{\frac {1}{2\pi }}\int _{-\infty }^{\infty }\varphi (t)\Psi (t)\,dt\end{aligned}}}
ここに、
ρ はゼータ函数の非自明な零点を渡る。
p は正の素数を渡る。
m は正の整数を渡る。
F はその全ての微分が急減少する滑らかな函数である。
φ
{\displaystyle \varphi }
φ
(
t
)
=
∫
−
∞
∞
F
(
x
)
e
i
t
x
d
x
{\displaystyle \varphi (t)=\int _{-\infty }^{\infty }F(x)e^{itx}\,dx}
Φ
(
1
/
2
+
i
t
)
=
φ
(
t
)
{\displaystyle \Phi (1/2+it)=\varphi (t)}
Ψ
(
t
)
=
−
log
(
π
)
+
R
e
(
ψ
(
1
/
4
+
i
t
/
2
)
)
{\displaystyle \Psi (t)=-\log(\pi )+Re(\psi (1/4+it/2))}
ψ
{\displaystyle \psi }
ディガンマ函数
Γ
′
/
Γ
{\displaystyle \Gamma '/\Gamma }
大まかには、明示公式は、ゼータ函数の零点のフーリエ変換が素数べきの集合にいくつかの基本的要素を加えたものと言うことができる。
公式の中の項は次のように現れる。
ζ
∗
(
s
)
=
Γ
(
s
/
2
)
π
−
s
/
2
∏
p
1
1
−
p
−
s
{\displaystyle \zeta ^{*}(s)=\Gamma (s/2)\pi ^{-s/2}\prod _{p}{\frac {1}{1-p^{-s}}}}
項は p のオイラー要素から来る素数 p へ対応していて、最後の項は Ψ を意味していてガンマ要素（無限遠点のオイラー要素）から来る。 左辺は全ての乗法について数え上げられた ζ * の全ての零点を渡る和であるので、0 と 1 での極は、オーダー −1 として数え上げられる。
リーマンゼータ函数はディリクレ指標 χ のディリクレのL-函数 により置き換えることができる。従って、素数べきを渡る和は余剰要素 χ(p m ) と項 Φ(1) を持っていて、L-級数は極を持たないので Φ(0) は 0 となり消える。
さらに一般的には、リーマンゼータ函数や一般のL-函数は、デデキントゼータ函数 を代数体のヘッケのL-級数 を置き換えることにより得られる。従って、素数を渡る和は、素イデアルを渡る和に置き換えることができる。
明示公式のリーマンによる元々の用途は、与えられた数よりも小さな素数の数を求める完全な公式を与えるためであった。このためには、F(log(y)) を 0 ≤ y ≤ x に対しては y1/2 /log(y) であり、そうでない場合は 0 であるとすると、右辺の和の主要項は、x より小さな素数の数である。左辺の主要項は、Φ(1) であり、この式が素数定理 の主要項であることが分かり、ゼータ函数の非自明な零点を渡る和が主要な補正項であることが分かる。（これを使う場合には F が滑らかであるという条件を満たさないという小さな問題がある。）
ヒルベルト・ポリア予想 に従うと、複素数の零点 ρ はある線型作用素 T の固有値 であるはずである。明示公式の零点を渡る和は、（少なくとも形式的には、）跡（トレース）
∑
ρ
F
(
ρ
)
=
Tr
(
F
(
T
^
)
)
.
{\displaystyle \sum _{\rho }F(\rho )=\operatorname {Tr} (F({\widehat {T}})).\!}
により与えられる。
L-函数の広いクラスについての明示公式は、Weil (1952) で発展した。彼は最初に、アイデアを局所ゼータ函数 へ拡張して、この設定での一般化されたリーマン予想 のバージョンを、位相群 上の超函数 の正値性として定式化した。より最近のアラン・コンヌ (Alain Connes)の仕事は、函数解析的な背景へと大きく進み、そのように一般化されたリーマン予想に等価である跡公式をもたらした。少し異なる観点がラルフ・マイヤー(Ralf Meyer)により、アデール的空間上の調和解析を経由してヴェイユの明示公式が導かれた。
Ingham, A.E. (1990) [1932], The Distribution of Prime Numbers , Cambridge Tracts in Mathematics and Mathematical Physics, 30 , reissued with a foreword by R. C. Vaughan (2nd ed.), Cambridge University Press , ISBN 978-0-521-39789-6 , MR 1074573 , Zbl 0715.11045 Lang, Serge (1994), Algebraic number theory , Graduate Texts in Mathematics, 110 (2nd ed. ed.), New York, NY: Springer-Verlag , ISBN 0-387-94225-4 , Zbl 0811.11001 Riemann, Bernhard (1859), “Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse” , Monatsberichte der Berliner Akademie , http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Zeta/ Weil, André (1952), “Sur les "formules explicites" de la théorie des nombres premiers” (French), Comm. Sém. Math. Univ. Lund [Medd. Lunds Univ. Mat. Sem.] Suppl.-band M. Riesz 1952 : 252–265, MR 0053152 , Zbl 0049.03205 Mangoldt, Hans von (1895), “Zu Riemanns Abhandlung "Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse"” (German), Journal für die reine und angewandte Mathematik 114 : 255–305, ISSN 0075-4102 , Zbl 26.0215.03 Meyer, Ralf (2005), “On a representation of the idele class group related to primes and zeros of L -functions”, Duke Math. Journal 127 (3): 519–595, ISSN 0012-7094 , Zbl 1079.11044 Montgomery, Hugh L. ; Vaughan, Robert C. (2007), Multiplicative number theory. I. Classical theory , Cambridge Studies in Advanced Mathematics, 97 , Cambridge: Cambridge University Press , ISBN 0-521-84903-9 , Zbl 1142.11001 Patterson, S.J. (1988), An introduction to the theory of the Riemann zeta-function , Cambridge Studies in Advanced Mathematics, 14 , Cambridge: Cambridge University Press , ISBN 0-521-33535-3 , Zbl 0641.10029
Edwards, H.M. (1974), Riemann's zeta function , Pure and Applied Mathematics, 58 , New York-London: Academic Press, ISBN 0-12-232750-0 , Zbl 0315.10035 Riesel, Hans (1994), Prime numbers and computer methods for factorization , Progress in Mathematics, 126 (2nd ed.), Boston, MA: Birkhäuser, ISBN 0-8176-3743-5 , Zbl 0821.11001 
