明示公式

数学では、L-函数の明示公式(explicit formulae for L-function)は、L-函数の複素数の零点を渡る総和と素数冪を渡る総和との関係のことを言い、リーマンゼータ函数について により導入された。明示公式は、(discriminant of an algebraic number field)や導手の境界に関する問題への応用も持っている。
リーマンの明示公式.
リーマンは1859年の論文 「与えられた数より小さい素数の個数について (Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse)」で、
により、(prime-counting function) π0(x) を発見した。この函数は、正規化された素数数え上げ函数 π(x) へ関係付けられている。この公式は、関係する函数
の項で与えられた。この函数がどのように素数の数を数えるかというと、素数 p の 1/n となるように、素数のべき pn を数え、不連続点で左からの極限と右からの極限の数論的意味を持つものとして（2つの平均をとることで）、数え上げられる。正規化された素数数え上げ函数は、この函数より
として得られる。リーマンの公式は
となり、リーマンゼータ函数が非自明な零点を渡る和を意味する。この和は絶対収束しないが、零点の虚数部の絶対値のオーダーを取ることで、零点を評価できる。最初の項の中の函数 li は、発散積分
のコーシーの主値により与えられる対数積分である。ゼータ函数の零点を意味する項 li(xρ) は、li が 0 と 1 で分岐点を持ち、複素変数 ρ が x > 1 で Re(ρ) > 0 の領域内へ解析接続されることへ注意を払う必要がある。他の項も零点に対応し、主要項 li(x) は s = 1 での極から来ていて、多重度 −1 の零点と考えられる。また残る小さな項は自明な零点から来る。この公式は、リーマンゼータ函数の零点が「期待」された点の周囲での素数の振動を制御していることを意味する。（この級数の最初のいくつかの項のグラフは、を参照）
リーマンの素数の数え上げ函数 π にかえて、チェビシェフ函数 formula_6 の正規化 formula_7 を使うと、リーマンの公式のより単純な形への変形でき、 フォン・マンゴルト(von-Mangoldt)の明示公式
を得る。ここに非整数 x に対し、ψ(x) は x よりも小さい全ての素数べき pn を渡る log(p) の和である。これはリーマン明示公式のフォン・マンゴルトによる証明で重要な役割を果たす。
ここで零点を渡る和は、再び、虚数部の増加するオーダーの中でとる必要がある。
ここに、
である。
和を消去することを意味する S(x,T) のエラー項は、オーダーが
である。
ヴェイユの明示公式.
明示公式の記述の方法にはいくつかの少し異なる方法がある。ヴェィユの明示公式の形は、次の形である。
ここに、
大まかには、明示公式は、ゼータ函数の零点のフーリエ変換が素数べきの集合にいくつかの基本的要素を加えたものと言うことができる。
公式の中の項は次のように現れる。
一般化.
リーマンゼータ函数はディリクレ指標 χ のディリクレのL-函数により置き換えることができる。従って、素数べきを渡る和は余剰要素 χ(p m) と項 Φ(1) を持っていて、L-級数は極を持たないので Φ(0) は 0 となり消える。
さらに一般的には、リーマンゼータ函数や一般のL-函数は、デデキントゼータ函数を代数体のヘッケのL-級数を置き換えることにより得られる。従って、素数を渡る和は、素イデアルを渡る和に置き換えることができる。
応用.
明示公式のリーマンによる元々の用途は、与えられた数よりも小さな素数の数を求める完全な公式を与えるためであった。このためには、F(log(y)) を 0 ≤ y ≤ x に対しては y1/2/log(y) であり、そうでない場合は 0 であるとすると、右辺の和の主要項は、x より小さな素数の数である。左辺の主要項は、Φ(1) であり、この式が素数定理の主要項であることが分かり、ゼータ函数の非自明な零点を渡る和が主要な補正項であることが分かる。（これを使う場合には F が滑らかであるという条件を満たさないという小さな問題がある。）
ヒルベルト・ポリア予想.
ヒルベルト・ポリア予想に従うと、複素数の零点 ρ はある線型作用素 T の固有値であるはずである。明示公式の零点を渡る和は、（少なくとも形式的には、）跡（トレース）
により与えられる。
L-函数の広いクラスについての明示公式は、 で発展した。彼は最初に、アイデアを局所ゼータ函数へ拡張して、この設定での一般化されたリーマン予想のバージョンを、位相群上の超函数の正値性として定式化した。より最近のアラン・コンヌ(Alain Connes)の仕事は、函数解析的な背景へと大きく進み、そのように一般化されたリーマン予想に等価である跡公式をもたらした。少し異なる観点がラルフ・マイヤー(Ralf Meyer)により、アデール的空間上の調和解析を経由してヴェイユの明示公式が導かれた。