【古典数学:原論文の講読】 「Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse.」Bernhard Riemann.1859年(与えられた大きさ以下の素数の個数について)
-------------------------------------------------
$${\rm Published}$$ $${\rm Online}$$ $${\rm First}$$ $${\rm (7/26/2026)}$$
$${\rm Latest}$$ $${\rm additions}$$ $${\rm(7/26/2026)}$$
-------------------------------------------------
-------------------------------------------------
1. Introduction【はじめに】
-------------------------------------------------
1.はじめに
この記事では
【Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse】を紹介します.
(与えられた大きさ以下の素数の個数について)
Bernhard Riemann. 1859年
リーマン予想が初めて公表された.
一次資料として数学史上認められているもの.
執筆・提出:1859年10月
公表:1859年11月
掲載誌:Monatsberichte der Königlichen Preußischen Akademie der Wissenschaften zu Berlin pp. 671–680(全9ページ)
(ベルリン王立プロイセン科学アカデミー月報)
https://www.biodiversitylibrary.org/item/41575?utm_source=chatgpt.com#page/687/mode/1up
-------------------------------------------------
もし現代の論文として章立てを付けるなら
第1章:解析的接続とゼータ関数の基本性質
第2章:補助関数$${\displaystyle \small \xi(t)}$$と「リーマン予想」の提示
第3章:$${\displaystyle \small \xi(t)}$$の因数分解と
ワイエルシュトラス無限積の先駆
第4章:素数計数関数へのアプローチ
第5章:リーマンの明示公式(Explicit Formula)
第6章:実際の数値データとの比較(結論)
という構成になると思います。
-------------------------------------------------
日本評論社の『リーマン予想』という本では、
第2章で「Riemannの原論文とその解説」として、
原論文テキストと解説が収録されています。
目次
第1章 概説
1 Riemannの動機と意図
2 歴史的展開
第2章 Riemannの原論文とその解説
1 原論文
2 RiemannからWeierstrassへの手紙の草案
第3章 ゼータ関数の零点に関する数値計算
1 計算の歴史
2 σ=1/2の線上での零点の探査
3 Euler-Maclaurinの和公式
4 ξ(s)の近似公式
5 θ(t)の近似公式
6 tが小さいときのZ(t)の値の計算とN(t)
の数え上げの方法
7 Riemann-Siegel公式
8 tが大きいときの零点分布の研究
第4章 Riemann予想に同値な命題
1 解析的数論から
2 関数解析から
3 保型関数の散乱理論から
4 拡散過程によるアプローチ
第5章 Riemann予想と約数問題
1 Lindelof予想と約数問題
2 Mosorの宇宙論から
3 明示公式とその応用
第6章 Riemannゼータ関数のいろいろな拡張
1 Dirichlet級数とDirichletL関数
2 Dedekindゼータ関数
3 Epsteinゼータ関数
第7章 Weil-Deligneの定理
1 Weilの結果
2 有限体上の代数幾何学
3 代数多様体の合同ゼータ関数Z(μ,X)
4 Riemann-Weil予想とDeligneによる証明
5 Weil-Deligneの定理の応用
索引
-------------------------------------------------
2. Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse
-------------------------------------------------
第0章 タイトルおよびヘッダー部分
-------------------------------------------------

-------------------------------------------------
【タイトルおよびヘッダー部分】
原文
Bericht
über die
zur Bekanntmachung geeigneten Verhandlungen
der Königl.Preufs. Akademie der Wissenschaften
zu Berlin
im Monat November 1859.
⸻
Vorsitzender Sekretär: Hr. Encke.
⸻
日本語訳
報告
公表に適した決議について
王立プロイセン科学アカデミー(ベルリン)
1859年11月度
⸻
議長・秘書:エンケ氏
⸻
解説
これはベルリンのアカデミーが毎月発行していた紀要・報告書の表紙(見出し)です。「Preufs.」は当時の古い綴りで、現代の「Preußische(プロイセンの)」に相当します。議長として名を連ねている「Hr. Encke(エンケ氏)」はエンケ彗星の発見で有名な天文学者
ヨハン・フランツ・エンケのことです。
-------------------------------------------------
【11月3日の総会記録(前半:シュタイナー氏)】
原文
3. Nov. Gesammtitzung der Akademie.
Hr. Steiner las über einige allgemeine Bestimmungsarten der Curven und Flächen zweiter Ordnung und daraus folgenden Sätzen.
⸻
日本語訳
11月3日 アカデミー総会
シュタイナー氏は、2次の曲線および曲面に関するいくつかの一般的な決定法と、そこから導かれる定理について論じた。
解説
この日の総会で行われた報告の記録です。最初に登壇した「シュタイナー氏」とは、近代幾何学(射影幾何学)の大家であるヤコブ・シュタイナーのことです。「2次の曲線および曲面」とは、楕円や双曲線、あるいは楕円面といった現代でいう「二次曲線・二次曲面」を指します。
-------------------------------------------------
【11月3日の総会記録(後半:クンマー氏によるリーマン論文の紹介)】
原文
Hierauf trug Hr. Kummer folgende von Hrn. Riemann,Correspondenten der Akademie, mittelst eines an den Sekretar Hrn. Encke gerichteten Schreibens vom 19. October d. J. eingesandte Mittheilung „über die Anzahl der Primzahlen unter einer gegebenen Grösse” vor:
⸻
日本語訳
これに続いて、クンマー氏は、アカデミーの通信会員であるリーマン氏から、秘書であるエンケ氏宛ての本年10月19日付の書簡によって送付された、以下の通信「与えられた数より小さい素数の個数について」を代読(発表)した。
解説
シュタイナーに続き、「クンマー氏(高名な数学者エルンスト・クンマー)」が、当時まだ若く通信会員だったベルンハルト・リーマンの論文を代読したことが記されています。この「与えられた数より小さい素数の個数について」こそが、のちに数学史上最大の未解決問題となる「リーマン予想」が提示された記念碑的な論文です。
-------------------------------------------------
第1章 解析的接続とゼータ関数の基本性質
-------------------------------------------------
【アカデミーへの謝辞】
原文
Meinen Dank für die Auszeichnung, welche mir die Akademie durch die Aufnahme unter ihre Correspondenten hat zu Theil werden lassen, glaube ich am besten dadurch zu erkennen zu geben, dafs ich von der hiedurch erhaltenen Erlaubnifs baldigst Gebrauch mache durch Mittheilung einer Untersuchung über die Häufigkeit der Primzahlen; ein Gegenstand, welcher durch das Interesse, welches Gauss und Dirichlet demselben längere Zeit geschenkt haben, einer solchen Mittheilung vielleicht nicht ganz unwerth erscheint.
⸻
日本語訳
アカデミーが私を通信会員に選出してくださったという栄誉に対する私の感謝の念は、これによって得られた許可をできるだけ早く利用し、素数の頻度に関する調査を報告することによって最もよく表されると存じます。この主題は、ガウスとディリクレが長年にわたり関心を寄せてきたものであり、このような報告を行うに決して無価値ではないと思われるものです。
解説
ここからリーマン自身の文章が始まります。
冒頭はアカデミーへの丁寧な挨拶と謝辞です。
注目すべきは、彼が数学界の巨頭である
「Gauss(カール・フリードリヒ・ガウス)」と「Dirichlet(ペーター・グスタフ・ルジューヌ・ディリクレ)」の名を挙げている点です。
ガウスは素数定理(素数がどのように分布しているか)を十代の時点で予想しており、ディリクレは解析的整数論の基礎を築きました。
リーマンは先達の偉業を引き継ぐ形でこの研究を始めたことを示しています。
-------------------------------------------------
【アプローチの提示(オイラー積とゼータ関数)】
原文
Bei dieser Untersuchung diente mir als Ausgangspunkt die von Euler gemachte Bemerkung, dafs das Product
$${\Pi \dfrac{1}{1 - \dfrac{1}{p^{s'}}} = \Sigma \dfrac{1}{n^{s'}},}$$
⸻
日本語訳
この調査において、私が出発点としたのは、次の積(プロダクト)に関するオイラーの指摘である。
$${\Pi \dfrac{1}{1 - \dfrac{1}{p^{s'}}} = \Sigma \dfrac{1}{n^{s'}},}$$
解説
リーマンがこの論文で導入し現代の教科書では
$${\zeta(s) = \sum_{n=1}^{\infty} \dfrac{1}{n^s}}$$
と表記される「ゼータ関数」の、まさに最初の登場シーンです。
当時の印刷(1859年)では、複素数の変数として s という文字が使われていますが、活字の形状が現代の標準的なフォントとは異なり、やや縦長であったり、上部に特徴的な飾り(あるいは数式独自の記号配置)がついているため、一見すると別の記号(s や、それに類する文字)のようにも見えます。リーマンはこの数式を出発点とし、この変数(指数部分)を複素数全体へと拡張する議論を展開していきます。
-------------------------------------------------

-------------------------------------------------
【ゼータ関数の定義】
原文
wenn für p alle Primzahlen, für n alle ganzen Zahlen gesetzt werden. Die Function der complexen Veränderlichen s, welche durch diese beiden Ausdrücke, so lange sie convergiren, dargestellt wird, bezeichne ich durch $${\zeta(s).}$$Beide convergiren nur, so lange der reelle Theil von s gröfser als 1 ist; es läfst sich indefs leicht ein immer gültig bleibender Ausdruck der Function finden. Durch Anwendung der Gleichung
⸻
日本語訳
ここで p にはすべての素数が、n にはすべての整数が代入されるものとする。これら両方の式が収束する限りにおいて、これらによって表される複素変数 s の関数を、私は$${\small \zeta(s)}$$と表記する。両者は、 s の実部が1より大きい限りにおいてのみ収束する。しかしながら、常に有効であり続けるこの関数の表現を見出すことは容易である。次の等式を適用することにより、
解説
前ページ(オイラー積の式)から続く文章です。リーマンはここで、複素数変数 s の関数として現代でもおなじみの「ゼータ関数」の記号 $${\small \zeta(s)}$$を初めて公式に定義しています。この級数と乗積は s の実部が1より大きい領域( $${\small \text{Re}(s) > 1}$$)でしか収束しないため、それ以外の領域へ関数を拡張する「解析接続」の必要性を述べています。
-------------------------------------------------
【ガンマ関数との関係式】
原文
$${\displaystyle \int_0^\infty e^{-nx} x^{s-1} dx = \dfrac{\Pi(s-1)}{n^s}}$$
erhält man zunächst
⸻
日本語訳
$${\displaystyle \int_0^\infty e^{-nx} x^{s-1} dx = \dfrac{\Pi(s-1)}{n^s}}$$
まず次が得られる。
解説
これは現代でいう「ガンマ関数$${\small \Gamma(s)}$$」を用いた積分表示の基礎となる変形です。リーマンはガウスにならってガンマ関数を$${\small \Pi(s-1)}$$という記号で表しています。
(現代の表記では$${\small \Gamma(s) = \Pi(s-1)}$$です)
なお、分母の n の指数は前ページ同様に当時のフォント特有の形状( s にプライムや変形が加わったような形)をしていますが、文脈上 s を指しています。
-------------------------------------------------
【ゼータ関数の積分表示】
原文
$${\displaystyle \Pi(s-1) \zeta(s) = \int_0^\infty \dfrac{x^{s-1} dx}{e^x - 1}.}$$
⸻
日本語訳
$${\displaystyle \Pi(s-1) \zeta(s) = \int_0^\infty \dfrac{x^{s-1} dx}{e^x - 1}.}$$
解説
先ほどの等式の両辺について、すべての n (1から無限大まで)の和をとることで、右辺に $${\displaystyle \zeta(s)}$$が現れ、左辺は幾何級数(等比級数)の和の公式$${\displaystyle \sum_{n=1}^{\infty} e^{-nx} = \dfrac{1}{e^x - 1}}$$によってこの積分形式が導かれます。これがゼータ関数を複素平面全体に拡張するための第一歩となります。
-------------------------------------------------
【複素積分の導入】
原文
Betrachtet man nun das Integral
$${\displaystyle \int \dfrac{(-x)^{s-1} dx}{e^x - 1},}$$
von $${\displaystyle +\infty}$$ bis $${\displaystyle +\infty}$$ positiv um ein Gröfsengebiet erstreckt, welches den Werth 0, aber keinen andern Unstetigkeitswerth der Function unter dem Integralzeichen im Innern enthält, so ergiebt sich dieses leicht als gleich
⸻
日本語訳
いま、積分
$${\displaystyle \int \dfrac{(-x)^{s-1} dx}{e^x - 1},}$$
を検討する。これは$${\displaystyle \small +\infty}$$から$${\displaystyle \small +\infty}$$まで、被積分関数の不連続点のうち値0を含み、それ以外の不連続点を含まないような領域を正の方向に(反時計回りに)取り囲むものである。すると、これが以下と等しいことが容易に導かれる。
解説
リーマンはここで、実軸上の積分から、複素平面上の原点「0」をぐるりと回って戻ってくる「ハンケル経路(または輪回積分)」へと積分を拡張しようとしています。
「不連続点」と訳した部分は、現代の複素関数論の用語でいう「極(ポール)」を意味しており
$${\displaystyle \small e^x - 1 = 0}$$となる点($${\displaystyle \small x = 2k\pi i}$$)のうち、原点$${\displaystyle \small x=0}$$だけを内部に含むように経路を設定しています。
-------------------------------------------------
【経路の変形と係数】
原文
$${\displaystyle (e^{-s\pi i} - e^{s\pi i}) \int_0^\infty \dfrac{x^{s-1} dx}{e^x - 1},}$$
vorausgesetzt, dafs in der vieldeutigen Function $${\displaystyle \small (-x)^{s-1} = e^{(s-1)\log(-x)}}$$ der Logarithmus von -x so bestimmt worden ist, dafs er für ein negatives x reell wird. Man hat daher
⸻
日本語訳
$${\displaystyle (e^{-s\pi i} - e^{s\pi i}) \int_0^\infty \dfrac{x^{s-1} dx}{e^x - 1},}$$
ただし多価関数$${\displaystyle \small (-x)^{s-1} = e^{(s-1)\log(-x)}}$$において$${\displaystyle \small -x}$$の対数は、負の$${\displaystyle \small x}$$に対し実数となるように決定されているものとする。したがって、次が得られる。
解説
原点を取り囲む複素積分を進めると、多価関数である$${\displaystyle \small (-x)^{s-1}}$$の偏角が、原点を回る前と回った後で$${\displaystyle \small 2\pi}$$変化するため、実軸の往路と復路で相殺されずにこのような位相因子(指数関数の差)の係数が残ります。
多価関数である複素数の対数関数$${\displaystyle \small \log(-x)}$$の「枝(ブランチ)」の選び方を厳密に指定しています。$${\displaystyle \small x}$$が負の実数であるとき$${\displaystyle \small -x}$$は正の実数になるため、その対数$${\displaystyle \small \log(-x)}$$が通常の自然対数(実数)になるように主値を決めているという、数学的な厳密性を担保するための注記です。
-------------------------------------------------
【ゼータ関数の関数等式への足がかり】
原文
$${\displaystyle 2 \sin \pi s \;\Pi(s-1) \zeta(s) = i \int_\infty^\infty \dfrac{(-x)^{s-1} dx}{e^x - 1},}$$
das Integral in der eben angegebenen Bedeutung verstanden.
⸻
日本語訳
$${\displaystyle 2 \sin \pi s \;\Pi(s-1) \zeta(s) = i \int_\infty^\infty \dfrac{(-x)^{s-1} dx}{e^x - 1},}$$
ただし積分は先ほど示された意味として理解されるものとする。
解説
オイラーの公式から$${\displaystyle \small e^{s\pi i} - e^{-s\pi i} = 2i \sin(\pi s)}$$となるため両辺を整理することで右辺の複素積分
(無限大から原点を回って無限大へ戻る積分)
とゼータ関数を結びつける重要な関係式が導かれました。右辺の積分はすべての複素数$${\displaystyle \small s}$$で収束するため、これによって$${\displaystyle \small \zeta(s)}$$の解析接続が可能になります。
-------------------------------------------------
【解析接続と負の偶数での零点】
原文
Diese Gleichung giebt nun den Werth der Function $${\displaystyle \small \zeta(s)}$$ für jedes beliebige complexe $${\displaystyle \small s}$$ und zeigt, dafs sie einwerthig und für alle endlichen Werthe von $${\displaystyle \small s}$$, aufser $${\displaystyle \small 1}$$, endlich ist, so wie auch, dafs sie verschwindet, wenn $${\displaystyle \small s}$$ gleich einer negativen geraden Zahl ist.
⸻
日本語訳
この方程式は、任意の複素数$${\displaystyle \small s}$$に対する関数$${\displaystyle \small \zeta(s)}$$の値を与え、これが一価であり、1を除くすべての有限の$${\displaystyle \small s}$$の値に対して有限(正則)であることを示している。また同時に$${\displaystyle \small s}$$が負の偶数に等しいときに、この関数が消滅する(0になる)ことも示している。
解説
この節は極めて重要です。リーマンは、この新しい積分表示によって$${\displaystyle \small \zeta(s)}$$が s=1 (一位の極)を除く複素平面全体で一価正則(有限の値を持つ)に拡張されたことを宣言しています。さらに$${\displaystyle \small \sin(\pi s)}$$の性質から$${\displaystyle \small s = -2, -4, -6, \dots}$$という「負の偶数」のときに$${\displaystyle \small \zeta(s) = 0}$$になることをさらりと指摘しています。これは現代数学で「自明な零点(Trivial zeros)」と呼ばれるものです。
-------------------------------------------------
【積分経路の拡張と留数計算の導入】
原文
Wenn der reelle Theil von s negativ ist, kann das Integral, statt positiv um das oben angegebene Gröfsengebiet, auch negativ um das Gröfsengebiet welches sämmtliche übrigen complexen Gröfsen enthält erstreckt werden, da das Integral durch Werthe mit unendlich grofsem Modul dann unendlich klein ist. Im Innern dieses Gröfsengebiets aber wird die Function unter dem Integralzeichen nur unstetig, wenn x gleich einem ganzen Vielfachen von $${\displaystyle \small \pm 2\pi i}$$ wird und das Integral ist daher gleich der Summe der Integrale negativ um diese Werthe genommen.
Das Integral um den Werth $${\displaystyle \small n 2\pi i}$$ aber ist $${\displaystyle \small = (-n 2\pi i)^{s-1} (-2\pi i);}$$ man erhält daher
⸻
日本語訳
s の実部が負であるとき、この積分は、上述の領域を正の方向に回る代わりに、残りのすべての複素数の領域を負の方向に回ることで、領域へと拡張される。なぜなら、絶対値が無限大となる値を通る積分は、そのとき無限小になるからである。しかし、この領域の内部において、積分記号の下にある関数が不連続(分母が0)になるのは、 x が $${\displaystyle \small \pm 2\pi i}$$の整数倍に等しくなるときのみであり、したがってこの積分は、これらの値の周りを負の方向に回る積分の和に等しくなる。 $${\displaystyle \small n 2\pi i}$$ という値の周りの積分は、 $${\displaystyle \small = (-n 2\pi i)^{s-1} (-2\pi i)}$$となる。したがって、次が得られる。
解説
リーマンは複素積分経路を無限大まで大きく広げる変形(留数定理の適用)を行っています。無限遠方での積分寄与がゼロに消えていくことを説明し、領域内にある極(不連続点) $${\displaystyle \small x = \pm 2\pi i n}$$ の周りの留数を足し合わせることで、元の積分を書き換えています。
-------------------------------------------------

-------------------------------------------------
【関数等式の導出前半】
原文
$${\displaystyle \footnotesize 2 \sin \pi s \;\Pi(s-1) \zeta(s) = (2\pi)^s \Sigma n^{s-1} ((-i)^{s-1} + i^{s-1}),}$$
also eine Relation zwischen $${\displaystyle \small \zeta(s)}$$ und $${\displaystyle \small \zeta(1-s)}$$, welche sich mit Benutzung bekannter Eigenschaften der Function $${\displaystyle \small \Pi}$$ auch so ausdrücken läfst:
⸻
日本語訳
$${\displaystyle \footnotesize 2 \sin \pi s \;\Pi(s-1) \zeta(s) = (2\pi)^s \Sigma n^{s-1} ((-i)^{s-1} + i^{s-1}),}$$
すなわち$${\displaystyle \small \zeta(s)}$$と$${\displaystyle \small \zeta(1-s)}$$の間の関係式であり、これは$${\displaystyle \small \Pi}$$関数の既知の性質を用いることで、次のように表すこともできる。
解説
極のまわりの留数をすべて足し合わせた結果、右辺に再び $${\displaystyle \footnotesize \sum n^{s-1}}$$という形の級数が現れます。複素数の虚数単位 $${\displaystyle \footnotesize i}$$と$${\displaystyle \footnotesize -i}$$の位相因子を整理すると、これが$${\displaystyle \footnotesize \zeta(1-s)}$$と深く結びついていることがわかります。これが数学史上に残る、ゼータ関数の「関数等式」が姿を現した瞬間です。
-------------------------------------------------
【ゼータ関数の対称形式】
原文
$${\displaystyle \Pi(\frac{s}{2}-1) \pi^{-\frac{s}{2}} \zeta(s)}$$
bleibt ungeändert, wenn $${\displaystyle \footnotesize s}$$ in $${\displaystyle \footnotesize 1-s}$$ verwandelt wird.
⸻
日本語訳
$${\displaystyle \Pi(\frac{s}{2}-1) \pi^{-\frac{s}{2}} \zeta(s)}$$
は$${\displaystyle \footnotesize s}$$を$${\displaystyle \footnotesize 1-s}$$に置き換えても不変(不変のまま維持)である。
解説
ガンマ関数(リーマンの表記では$${\displaystyle \footnotesize \Pi}$$)と$${\displaystyle \footnotesize \pi^{-\frac{s}{2}}}$$を$${\displaystyle \footnotesize \zeta(s)}$$に掛け合わせたこの数式は、現代数学において 完成されたゼータ関数(Completed zeta function)、あるいは$${\displaystyle \footnotesize \xi(s)}$$(クシー関数)と呼ばれるものです。この形に整理すると$${\displaystyle \footnotesize s}$$と$${\displaystyle \footnotesize 1-s}$$を入れ替えても値が変わらないという完璧な対称性(関数等式:$${\displaystyle \footnotesize \xi(s) = \xi(1-s)}$$)を持つことが示されました。
-------------------------------------------------
第2章 補助関数 xi(t) と「リーマン予想」の提示
-------------------------------------------------
【テータ関数を用いた第2の積分表示の導入】
原文
Diese Eigenschaft der Function veranlafste mich statt $${\displaystyle \footnotesize \Pi(s-1)}$$ das Integral $${\displaystyle \footnotesize \Pi(\dfrac{s}{2}-1)}$$ in dem allgemeinen Gliede der Reihe $${\displaystyle \footnotesize \Sigma \dfrac{1}{n^s}}$$ einzuführen, wodurch man einen sehr bequemen Ausdruck der Funktion $${\displaystyle \footnotesize \zeta(s)}$$ erhält. In der That hat man
$${\displaystyle \footnotesize \dfrac{1}{n^s} \Pi(\dfrac{s}{2}-1) \pi^{-\frac{s}{2}} = \int_0^\infty e^{-n^2\pi x} x^{\frac{s}{2}-1} dx,}$$
also, wenn man
$${\displaystyle \footnotesize \sum_{1}^\infty e^{-n^2\pi x} = \psi(x)}$$
setzt,
$${\displaystyle \footnotesize \Pi(\dfrac{s}{2}-1) \pi^{-\frac{s}{2}} \zeta(s) = \int_0^\infty \psi(x) x^{\frac{s}{2}-1} dx,}$$
⸻
日本語訳
関数のこの性質により、私は級数$${\displaystyle \footnotesize \Sigma \frac{1}{n^s}}$$の一般項において$${\displaystyle \footnotesize \Pi(s-1)}$$の代わりに積分$${\displaystyle \footnotesize \Pi(\frac{s}{2}-1)}$$を導入することを思い至った。これにより、関数$${\displaystyle \footnotesize \zeta(s)}$$の非常に便利な表現が得られる。実際に、以下が成り立つ。
$${\displaystyle \footnotesize \dfrac{1}{n^s} \Pi(\dfrac{s}{2}-1) \pi^{-\frac{s}{2}} = \int_0^\infty e^{-n^2\pi x} x^{\frac{s}{2}-1} dx,}$$
したがって、ここで以下のように
$${\displaystyle \footnotesize \sum_{1}^\infty e^{-n^2\pi x} = \psi(x)}$$
と置くと、
$${\displaystyle \footnotesize \Pi(\dfrac{s}{2}-1) \pi^{-\frac{s}{2}} \zeta(s) = \int_0^\infty \psi(x) x^{\frac{s}{2}-1} dx,}$$
解説
リーマンは、関数等式が持つ $${\displaystyle \footnotesize s \leftrightarrow 1-s}$$の美しい対称性をより直接的に扱うために、ここからもう一つの新しいアプローチ(ヤコビのテータ関数を用いた積分表示)へ舵を切ります。
リーマンはここで$${\displaystyle \footnotesize n^2}$$を指数に持つ無限級数 $${\displaystyle \footnotesize \psi(x)}$$を定義しています。これは現代でいうヤコビのテータ関数 $${\displaystyle \footnotesize \theta(x)}$$に非常に関連の深い関数です(現代では$${\displaystyle \footnotesize \theta(x) = 1 + 2\psi(x)}$$と置くことが多いです)。
すべての n について和をとることで、完成されたゼータ関数が、テータ関数$${\displaystyle \footnotesize \psi(x)}$$を用いた 0 から $${\displaystyle \footnotesize \infty}$$までの積分として美しく書き表されました。
-------------------------------------------------
【ヤコビの変換公式の引用】
原文
oder da $${\displaystyle \footnotesize 2\psi(x) + 1 = x^{-\frac{1}{2}} (2\psi(\dfrac{1}{x}) + 1),}$$
(Jacobi. Fund. S. 184)
⸻
日本語訳
あるいは$${\displaystyle \footnotesize 2\psi(x) + 1 = x^{-\frac{1}{2}} (2\psi(\dfrac{1}{x}) + 1)}$$であるため
(ヤコビ著『基礎論』184ページ)
解説
リーマンはここで、モジュラー性を示す極めて重要なヤコビのテータ関数の変換公式を引用しています。「Jacobi. Fund.」とは、カール・グスタフ・ヤコブ・ヤコビの不朽の名著『楕円関数論の新基礎(Fundamenta Nova Theoriae Functionum Ellipticorum)』を指します。この$${\displaystyle \footnotesize x \rightarrow 1/x}$$の反転公式が、ゼータ関数の対称性の本質的な源泉となっています。
-------------------------------------------------
【積分経路の分割と最終的な対称形式への変形】
原文
$${\displaystyle \footnotesize \Pi(\frac{s}{2}-1) \pi^{-\frac{s}{2}} \zeta(s) = \int_1^\infty \psi(x) x^{\frac{s}{2}-1} dx + \int_0^1 \psi(\frac{1}{x}) x^{\frac{s}{2}-\frac{3}{2}} dx + \frac{1}{2} \int_0^1 (x^{\frac{s}{2}-\frac{3}{2}} - x^{\frac{s}{2}-1}) dx}$$
$${\displaystyle \footnotesize = \frac{1}{s(s-1)} + \int_1^\infty \psi(x) (x^{\frac{s}{2}-1} + x^{-\frac{s}{2}-\frac{1}{2}}) dx.}$$
⸻
日本語訳
$${\displaystyle \footnotesize \Pi(\frac{s}{2}-1) \pi^{-\frac{s}{2}} \zeta(s) = \int_1^\infty \psi(x) x^{\frac{s}{2}-1} dx + \int_0^1 \psi(\frac{1}{x}) x^{\frac{s}{2}-\frac{3}{2}} dx + \frac{1}{2} \int_0^1 (x^{\frac{s}{2}-\frac{3}{2}} - x^{\frac{s}{2}-1}) dx}$$
$${\displaystyle \footnotesize = \frac{1}{s(s-1)} + \int_1^\infty \psi(x) (x^{\frac{s}{2}-1} + x^{-\frac{s}{2}-\frac{1}{2}}) dx.}$$
解説
リーマンは積分区間を$${\displaystyle \footnotesize [0, \infty)}$$から$${\displaystyle \footnotesize [0, 1]}$$と$${\displaystyle \footnotesize [1, \infty)}$$の二つに分割し、ヤコビの変換公式を適用して$${\displaystyle \footnotesize [0, 1]}$$の積分を$${\displaystyle \footnotesize [1, \infty)}$$へと巧みに統合しました。
その結果得られた最終行の式:
$${\displaystyle \footnotesize \dfrac{1}{s(s-1)} + \int_1^\infty \psi(x) (x^{\frac{s}{2}-1} + x^{-\frac{s}{2}-\frac{1}{2}}) dx.}$$
は$${\displaystyle \footnotesize s}$$を$${\displaystyle \footnotesize 1-s}$$に置き換えても、第一項の$${\displaystyle \footnotesize \frac{1}{(1-s)(-s)} = \frac{1}{s(s-1)}}$$も、積分内の括弧の中身も完全に形が不変になります。これにより、関数等式$${\displaystyle \footnotesize \xi(s) = \xi(1-s)}$$が完全に、そして視覚的にも明快に証明されました。
-------------------------------------------------

-------------------------------------------------
【変数 t と新しい関数$${\displaystyle \footnotesize \xi(t)}$$の定義】
原文
Ich setze nun $${\displaystyle \footnotesize s = \dfrac{1}{2} + ti}$$ und
$${\displaystyle \footnotesize \Pi(\dfrac{s}{2}) (s-1) \pi^{-\frac{s}{2}} \zeta(s) = \xi(t),}$$
so dafs
$${\displaystyle \footnotesize \xi(t) = \dfrac{1}{2} - (tt + \dfrac{1}{4}) \int_1^\infty \psi(x) x^{-\frac{3}{4}} \cos(\dfrac{1}{2} t \log x) dx}$$
oder auch
$${\displaystyle \footnotesize \xi(t) = 4 \int_1^\infty \dfrac{d(x^{\frac{3}{4}} \psi'(x))}{dx} x^{-\frac{1}{4}} \cos(\dfrac{1}{2} t \log x) dx.}$$
⸻
日本語訳
私は今$${\displaystyle \footnotesize s = \frac{1}{2} + ti}$$と置き、
$${\displaystyle \footnotesize \Pi(\dfrac{s}{2}) (s-1) \pi^{-\frac{s}{2}} \zeta(s) = \xi(t),}$$
と定義する。これにより、
$${\displaystyle \footnotesize \xi(t) = \dfrac{1}{2} - (t^2 + \dfrac{1}{4}) \int_1^\infty \psi(x) x^{-\frac{3}{4}} \cos(\dfrac{1}{2} t \log x) dx}$$
あるいは次のようにも書ける。
$${\displaystyle \footnotesize \xi(t) = 4 \int_1^\infty \dfrac{d(x^{\frac{3}{4}} \psi'(x))}{dx} x^{-\frac{1}{4}} \cos(\dfrac{1}{2} t \log x) dx.}$$
解説
前ページの最終行の式に$${\displaystyle \footnotesize s = \frac{1}{2} + ti}$$を代入して整理した式です。リーマンの表記における$${\displaystyle \footnotesize tt}$$は$${\displaystyle \footnotesize t^2}$$を意味します。指数関数部分がオイラーの公式によって三角関数$${\displaystyle \footnotesize \cos}$$にまとめられており$${\displaystyle \footnotesize t}$$を$${\displaystyle \footnotesize -t}$$に変えても式全体が不変であることが視覚的にも明らかになっています。
さらに部分積分を用いて変形し、定数項($${\displaystyle \footnotesize \dfrac{1}{2}}$$)を積分記号の内部に組み込んだ綺麗な形です。この関数$${\displaystyle \footnotesize \xi(t)}$$の零点(=0になる点)を調べることは、元のゼータ関数$${\displaystyle \footnotesize \zeta(s)}$$の非自明な零点を調べることと完全に同値です。
-------------------------------------------------
【零点の存在範囲についての議論・「リーマン予想」の提示】
原文
Diese Function ist für alle endlichen Werthe von $${\displaystyle \footnotesize t}$$ endlich, und läfst sich nach Potenzen von $${\displaystyle \footnotesize tt}$$ in eine sehr schnell convergirende Reihe entwickeln. Da für einen Werth von $${\displaystyle \footnotesize s}$$, dessen reeller Bestandtheil gröfser als $${\displaystyle \footnotesize 1}$$ ist, $${\displaystyle \footnotesize \log \zeta(s) = - \Sigma \log(1 - p^{-s})}$$ endlich bleibt und von den Logarithmen der übrigen Factoren von $${\displaystyle \footnotesize \xi(t)}$$ dasselbe gilt, so kann die Function $${\displaystyle \footnotesize \xi(t)}$$ nur verschwinden, wenn der imaginäre Theil von $${\displaystyle \footnotesize t}$$ zwischen $${\displaystyle \footnotesize \dfrac{1}{2}i}$$ und $${\displaystyle \footnotesize -\dfrac{1}{2}i}$$ liegt. Die Anzahl der Wurzeln von $${\displaystyle \footnotesize \xi(t) = 0}$$, deren reeller Theil zwischen $${\displaystyle \footnotesize 0}$$ und $${\displaystyle \footnotesize T}$$ liegt, ist etwa $${\displaystyle \footnotesize = \dfrac{T}{2\pi} \log \dfrac{T}{2\pi} - \dfrac{T}{2\pi};}$$ denn das Integral $${\displaystyle \footnotesize \int d \log \xi(t)}$$ positiv um den Inbegriff der Werthe von $${\displaystyle \footnotesize t}$$ erstreckt, deren imaginärer Theil zwischen $${\displaystyle \footnotesize \dfrac{1}{2}i}$$ und $${\displaystyle \footnotesize -\dfrac{1}{2}i}$$ und deren reeller Theil zwischen $${\displaystyle \footnotesize 0}$$ und $${\displaystyle \footnotesize T}$$ liegt,ist, (bis auf einen Bruchtheil von der Ordnung der Gröfser $${\displaystyle \footnotesize \dfrac{1}{T})}$$ gleich $${\displaystyle \footnotesize (T \log \dfrac{T}{2\pi} - T)i}$$; dieses Integral aber ist gleich der Anzahl der in diesem Gebiet liegenden Wurzeln von $${\displaystyle \footnotesize \xi(t) = 0,}$$ multiplicirt mit $${\displaystyle \footnotesize 2\pi i}$$. Man findet nun in der That etwa so viel reelle Wurzeln innerhalb dieser Grenzen, und es ist sehr wahrscheinlich, dafs alle Wurzeln reell sind. Hievon wäre allerdings ein strenger Beweis zu wünschen; ich habe indels die Aufsuchung desselben, nach einigen flüchtigen vergeblichen Versuchen vorläufig bei Seite gelassen, da er für den nächsten Zweck meiner Untersuchung entbehrlich schien.
⸻
日本語訳
この関数は$${\displaystyle \footnotesize t}$$のすべての有限の値に対して有限(正則)であり$${\displaystyle \footnotesize t^2}$$のべき乗によって非常に急速に収束する級数に展開できる。$${\displaystyle \footnotesize s}$$の実部が$${\displaystyle \footnotesize 1}$$より大きい値に対しては$${\displaystyle \footnotesize \log \zeta(s) = - \Sigma \log(1 - p^{-s})}$$は有限にとどまり$${\displaystyle \footnotesize \xi(t)}$$の他の因子の対数についても同様のことが言えるため、関数 $${\displaystyle \footnotesize \xi(t)}$$が消滅する(0になる)ことができるのは$${\displaystyle \footnotesize t}$$の虚部が$${\displaystyle \footnotesize \dfrac{1}{2}i}$$と$${\displaystyle \footnotesize -\dfrac{1}{2}i}$$の間にあるときに限られる。
$${\displaystyle \footnotesize \xi(t) = 0}$$の根(解)のうち、実部が$${\displaystyle \footnotesize 0}$$と$${\displaystyle \footnotesize T}$$の間にあるものの個数は、おおよそ $${\displaystyle \footnotesize = \dfrac{T}{2\pi} \log \dfrac{T}{2\pi} - \dfrac{T}{2\pi}}$$である。なぜなら、虚部が$${\displaystyle \footnotesize \dfrac{1}{2}i}$$と$${\displaystyle \footnotesize -\dfrac{1}{2}i}$$の間にあり、実部が$${\displaystyle \footnotesize 0}$$と$${\displaystyle \footnotesize T}$$の間にあるような$${\displaystyle \footnotesize t}$$の値の全域を正の方向に巡る積分$${\displaystyle \footnotesize \int d \log \xi(t)}$$は、
($${\displaystyle \footnotesize \dfrac{1}{T}}$$の大きさのオーダーの端数を除いて) $${\displaystyle \footnotesize (T \log \dfrac{T}{2\pi} - T)i}$$に等しくなるからである。そしてこの積分は、この領域内に存在する$${\displaystyle \footnotesize \xi(t) = 0}$$の根の個数に$${\displaystyle \footnotesize 2\pi i}$$を掛けたものに等しい。
実際にこれらの境界の内部には、ほぼこれと同数の実数の根が見出され、そしてすべての根が実数であるということは極めて有力(確率が高い)と思われる。これについては確かに厳密な証明が望まれるところであるが、私はいくつかの形式的で無駄な試みの後、この証明の探索をひとまず脇に置くことにした。なぜなら、それは私の調査のさしあたりの目的には不要であると思われたからである。
解説
数学史の不朽のハイライトです。
リーマンはまず、複素積分(のちの「議論の原理」)を用いて、ある範囲内にある零点の個数を与える見積もり式(現代でいう「リーマン・フォン・マンゴルトの公式」の原型)を提示しています。
そして、
「es ist sehr wahrscheinlich, dafs alle Wurzeln reell sind.(すべての根が実数であるということは極めて有力と思われる)」
という一文こそが、現代まで160年以上誰一人として解けていない世紀の未解決問題「リーマン予想」そのものです。変数$${\displaystyle \footnotesize t}$$が「実数」であるということは、元の変数$${\displaystyle \footnotesize s = \dfrac{1}{2} + ti}$$において「実部が$${\displaystyle \footnotesize \dfrac{1}{2}}$$である」ことを意味します。つまり、「ゼータ関数の非自明な零点は、すべて実部が$${\displaystyle \footnotesize \dfrac{1}{2}}$$の直線(クリティカル・ライン)上に並んでいるはずだ」という大予想です。
リーマン自身が「2、3回ちょっと試してみたけど解けなかったから、今回の素数の数を数える目的には直接関係ないし、一回置いておくわ」と、驚くほど淡々と書き残しているのが非常に印象的です。
-------------------------------------------------
第3章 xi(t)の因数分解(無限積展開)
-------------------------------------------------

-------------------------------------------------
【$${\displaystyle \footnotesize \xi(t)}$$の無限積展開・因数分解定理の先駆け】
原文
Bezeichnet man durch $${\displaystyle \footnotesize \alpha}$$ jede Wurzel der Gleichung $${\displaystyle \footnotesize \xi(\alpha)=0}$$, so kann man $${\displaystyle \footnotesize \log \xi(t)}$$ durch
$${\displaystyle \footnotesize \Sigma \log(1 - \dfrac{tt}{\alpha\alpha}) + \log \xi(0)}$$
ausdrücken; denn da die Dichtigkeit der Wurzeln von der Gröfse $${\displaystyle \footnotesize t}$$ mit $${\displaystyle \footnotesize t}$$ nur wie $${\displaystyle \footnotesize \log \frac{t}{2\pi}}$$ wächst, so convergirt dieser Ausdruck und wird für ein unendliches $${\displaystyle \footnotesize t}$$ nur unendlich wie $${\displaystyle \footnotesize t \log t}$$; er unterscheidet sich also von $${\displaystyle \footnotesize \log \xi(t)}$$ um eine Function von $${\displaystyle \footnotesize tt}$$, die für ein endliches $${\displaystyle \footnotesize t}$$ stetig und endlich bleibt und mit $${\displaystyle \footnotesize tt}$$ dividirt für ein unendliches $${\displaystyle \footnotesize t}$$ unendlich klein wird. Dieser Unterschied ist folglich eine Constante, deren Werth durch Einsetzung von $${\displaystyle \footnotesize t=0}$$ bestimmt werden kann.
⸻
日本語訳
方程式$${\displaystyle \footnotesize \xi(\alpha)=0}$$の各々の根を$${\displaystyle \footnotesize \alpha}$$と表すことにすると$${\displaystyle \footnotesize \log \xi(t)}$$は次のように表すことができる。
$${\displaystyle \footnotesize \Sigma \log(1 - \dfrac{t^2}{\alpha^2}) + \log \xi(0)}$$
なぜなら、根の密度は$${\displaystyle \footnotesize t}$$の大きさに対して$${\displaystyle \footnotesize t}$$とともにおおよそ$${\displaystyle \footnotesize \log \frac{t}{2\pi} }$$のようにしか増大しないため、この式は収束し、無限大の$${\displaystyle \footnotesize t}$$に対して$${\displaystyle \footnotesize t \log t}$$のように無限大になるだけだからである。したがって、この式は$${\displaystyle \footnotesize \log \xi(t)}$$と$${\displaystyle \footnotesize t^2}$$の関数(の差)だけ異なっており、その関数は有限の$${\displaystyle \footnotesize t}$$に対して連続かつ有限であり続け$${\displaystyle \footnotesize t^2}$$で割ると無限大の$${\displaystyle \footnotesize t}$$に対して無限小になる。ゆえに、この差は定数であり、その値は$${\displaystyle \footnotesize t=0}$$を代入することによって決定できる。
解説
リーマンはここで、のちにアダマールによって厳密に証明されることになる**「ワイエルシュトラスの因数分解定理(の全関数への応用)」**を先取りした議論を展開しています。$${\displaystyle \footnotesize \xi(t)}$$という関数を、その零点$${\displaystyle \footnotesize \alpha}$$を用いた無限積の形に因数分解できることを示しています(対数を取っているため積が和$${\displaystyle \footnotesize \Sigma}$$の形になっています)。ここでも$${\displaystyle \footnotesize tt, \alpha\alpha}$$はそれぞれ$${\displaystyle \footnotesize t^2, \alpha^2}$$の意味です。
-------------------------------------------------
第4章 素数計数関数へのアプローチ
-------------------------------------------------
【素数個数関数の導入】
原文
Mit diesen Hülfsmitteln läfst sich nun die Anzahl der Primzahlen, die kleiner als $${\displaystyle \footnotesize x}$$ sind, bestimmen.
Es sei $${\displaystyle \footnotesize F(x)}$$, wenn $${\displaystyle \footnotesize x}$$ nicht gerade einer Primzahl gleich ist, gleich dieser Anzahl, wenn aber $${\displaystyle \footnotesize x}$$ eine Primzahl ist, um $${\displaystyle \footnotesize \dfrac{1}{2}}$$ gröfser, so dafs für ein $${\displaystyle \footnotesize x}$$, bei welchem $${\displaystyle \footnotesize F(x)}$$ sich sprungweise ändert,
$${\displaystyle \footnotesize F(x) = \dfrac{F(x+0)+F(x-0)}{2}.}$$
Ersetzt man nun in
$${\displaystyle \footnotesize \log \zeta(s) = -\Sigma \log(1-p^{-s}) = \Sigma p^{-s} + \dfrac{1}{2} \Sigma p^{-2s} + \dfrac{1}{3} \Sigma p^{-3s} + \dots}$$
$${\displaystyle \footnotesize p^{-s}}$$ durch $${\displaystyle \footnotesize s \int_p^\infty x^{-s-1} dx, \; p^{-2s}}$$ durch $${\displaystyle \footnotesize s \int_{p^2}^\infty x^{-s-1} dx, \; \dots,}$$
so erhält man
$${\displaystyle \footnotesize \dfrac{\log \zeta(s)}{s} = \int_1^\infty f(x) x^{-s-1} dx,}$$
wenn man
$${\displaystyle \footnotesize F(x) + \dfrac{1}{2} F(x^{\frac{1}{2}}) + \dfrac{1}{3} F(x^{\frac{1}{3}}) + \dots}$$
durch $${\displaystyle \footnotesize f(x)}$$ bezeichnet.
⸻
日本語訳
これらの補助手段を用いることで$${\displaystyle \footnotesize x}$$より小さい素数の個数を決定することができる。
$${\displaystyle \footnotesize x}$$がちょうど素数に等しくないときは$${\displaystyle \footnotesize F(x)}$$をこの個数(素数の個数)に等しいものとし、ただし$${\displaystyle \footnotesize x}$$が素数であるときは、それより $${\displaystyle \footnotesize \dfrac{1}{2}}$$だけ大きいものとする。したがって$${\displaystyle \footnotesize F(x)}$$が不連続に(ジャンプして)変化するような$${\displaystyle \footnotesize x}$$に対しては、
いま、次の式において
$${\displaystyle \footnotesize F(x) = \dfrac{F(x+0)+F(x-0)}{2}.}$$
置き換えると、次が得られる。
$${\displaystyle \footnotesize \log \zeta(s) = -\Sigma \log(1-p^{-s}) = \Sigma p^{-s} + \dfrac{1}{2} \Sigma p^{-2s} + \dfrac{1}{3} \Sigma p^{-3s} + \dots}$$$${\displaystyle \footnotesize p^{-s}}$$
$${\displaystyle \footnotesize s \int_p^\infty x^{-s-1} dx, \; p^{-2s}}$$
$${\displaystyle \footnotesize s \int_{p^2}^\infty x^{-s-1} dx, \; \dots,}$$
$${\displaystyle \footnotesize \dfrac{\log \zeta(s)}{s} = \int_1^\infty f(x) x^{-s-1} dx,}$$
ここで、次のように
$${\displaystyle \footnotesize F(x) + \dfrac{1}{2} F(x^{\frac{1}{2}}) + \dfrac{1}{3} F(x^{\frac{1}{3}}) + \dots}$$
を$${\displaystyle \footnotesize f(x)}$$と表すものとする。
解説
ここで定義された$${\displaystyle \footnotesize f(x)}$$は、現代の数論において 「リーマンの素数計数関数」 と呼ばれ、通常$${\displaystyle \footnotesize \Pi(x)}$$や$${\displaystyle \footnotesize J(x)}$$という記号で表されることが多い関数です。
素数の個数$${\displaystyle \footnotesize F(x)}$$だけでなく、素数の平方根($${\displaystyle \footnotesize x^{1/2}}$$)、三乗根($${\displaystyle \footnotesize x^{1/3}}$$)といった「素数のベキ」のカウントを重み付き($${\displaystyle \footnotesize 1/2, 1/3, \dots}$$)で足し合わせたものになっています。この$${\displaystyle \footnotesize f(x)}$$を媒介にすることでゼータ関数の零点と素数の分布が直接結びつくことになります。
-------------------------------------------------
【式の有効範囲と次なる一般形式の提示】
原文
Diese Gleichung ist gültig für jeden complexen Werth $${\displaystyle \footnotesize a+bi}$$ von $${\displaystyle \footnotesize s}$$, wenn $${\displaystyle \footnotesize a>1}$$. Wenn aber in diesem Umfange die Gleichung
$${\displaystyle \footnotesize g(s) = \int_0^\infty h(x) x^{-s} d\log x}$$
⸻
日本語訳
この方程式は$${\displaystyle \footnotesize a>1}$$ のとき$${\displaystyle \footnotesize s}$$の任意の複素数の値$${\displaystyle \footnotesize a+bi}$$に対して有効である。しかし、この範囲において、方程式
$${\displaystyle \footnotesize g(s) = \int_0^\infty h(x) x^{-s} d\log x}$$
(が成り立つならば……次ページへ続く)
解説
この積分表示が収束して有効である領域($${\displaystyle \footnotesize s}$$の実部 $${\displaystyle \footnotesize a = \text{Re}(s) > 1}$$)を明記しています。そしてページの最後では、この関係をさらに一般化し、積分で表された関数から元の関数(この場合は素数に関する関数)を逆算して取り出すための「反転公式(メリン逆変換)」の一般的な議論へと移行しようとしています。文章は数式の途中で次のページへと続いています。
-------------------------------------------------

-------------------------------------------------
【フーリエの定理の適用と実部・虚部の分解】
原文
gilt, so kann man mit Hülfe des Fourier'schen Satzes die Function $${\displaystyle \footnotesize h}$$ durch die Function $${\displaystyle \footnotesize g}$$ ausdrücken. Die Gleichung zerfällt, wenn $${\displaystyle \footnotesize h(x)}$$ reell ist und
$${\displaystyle \footnotesize g(a + bi) = g_1(b) + i g_2(b),}$$
in die beiden folgenden
$${\displaystyle \footnotesize g_1(b) = \int_0^\infty h(x) x^{-a} \cos(b \log x) d\log x,}$$
$${\displaystyle \footnotesize i g_2(b) = -i \int_0^\infty h(x) x^{-a} \sin(b \log x) d\log x.}$$
⸻
日本語訳
(前ページから続く:が成り立つ)ならば、フーリエの定理の助けを借りて、関数$${\displaystyle \footnotesize h}$$を関数$${\displaystyle \footnotesize g}$$によって表すことができる。$${\displaystyle \footnotesize h(x)}$$が実数であり、
$${\displaystyle \footnotesize g(a + bi) = g_1(b) + i g_2(b),}$$
であるとき、この方程式は次の二つに分解される。
$${\displaystyle \footnotesize g_1(b) = \int_0^\infty h(x) x^{-a} \cos(b \log x) d\log x,}$$
$${\displaystyle \footnotesize i g_2(b) = -i \int_0^\infty h(x) x^{-a} \sin(b \log x) d\log x.}$$
解説
前ページの最後に登場した積分変形を逆算するための一般論です。リーマンはここで「Fourier'schen Satzes(フーリエの定理)」と言及していますが、これは現代でいうフーリエ変換の反転公式、あるいは複素平面におけるメリン反転公式を導くためのプロセスです。まず関数$${\displaystyle \footnotesize g}$$をオイラーの公式 $${\displaystyle \footnotesize e^{-ib\log x} = \cos(b\log x) - i\sin(b\log x)}$$を用いて、積分を実数($${\displaystyle \footnotesize \cos}$$)部分と虚数($${\displaystyle \footnotesize \sin}$$)部分にばらした式です。
-------------------------------------------------
【反転公式の合成と積分形式の導出】
原文
Wenn man beide Gleichungen mit $${\displaystyle \footnotesize (\cos(b \log y) + i \sin(b \log y)) db}$$ multiplicirt und von $${\displaystyle \footnotesize -\infty}$$ bis $${\displaystyle \footnotesize \infty}$$ integrirt, so erhält man in beiden auf der rechten Seite nach dem Fourier'schen Satze $${\displaystyle \footnotesize \pi h(y) y^{-a}}$$, also, wenn man beide Gleichungen addirt und mit $${\displaystyle \footnotesize i y^a}$$ multiplicirt
$${\displaystyle \footnotesize 2 \pi i h(y) = \int_{a-\infty i}^{a+\infty i} g(s) y^s ds,}$$
worin die Integration so auszuführen ist, dafs der reelle Theil von $${\displaystyle \footnotesize s}$$ constant bleibt.
⸻
日本語訳
両々の方程式に $${\displaystyle \footnotesize (\cos(b \log y) + i \sin(b \log y)) db}$$を掛け$${\displaystyle \footnotesize -\infty}$$から$${\displaystyle \footnotesize \infty}$$まで積分すると、フーリエの定理により、両方の右辺において$${\displaystyle \footnotesize \pi h(y) y^{-a}}$$が得られる。したがって、両々の方程式を足し合わせて$${\displaystyle \footnotesize i y^a}$$を掛けると、
$${\displaystyle \footnotesize 2 \pi i h(y) = \int_{a-\infty i}^{a+\infty i} g(s) y^s ds,}$$
となる。ここで積分は$${\displaystyle \footnotesize s}$$の実部が一定(定数)に保たれるように実行されるものとする。
解説
フーリエの反転定理を適用して、積分の中から元の関数$${\displaystyle \footnotesize h(y)}$$を一本の複素積分として引っ張り出すことに成功しました。積分経路は実部$${\displaystyle \footnotesize a}$$を一定に保ったまま、虚部を$${\displaystyle \footnotesize -\infty}$$から$${\displaystyle \footnotesize +\infty}$$まで動かす垂直な直線(複素平面上の縦直線)になります。これがメリン反転公式(Mellin inversion formula)の明示的な導出プロセスです。
-------------------------------------------------
【一般論から素数計数関数 f(y) への適用】
原文
Das Integral stellt für einen Werth von $${\displaystyle \footnotesize y}$$, bei welchem eine sprungweise Änderung der Function $${\displaystyle \footnotesize h(y)}$$ stattfindet, den Mittelwerth aus den Werthen der Function $${\displaystyle \footnotesize h}$$ zu beiden Seiten des Sprunges dar. Bei der hier vorausgesetzten Bestimmungsweise der Function $${\displaystyle \footnotesize f(x)}$$ besitzt diese dieselbe Eigenschaft, und man hat daher völlig allgemein
$${\displaystyle \footnotesize f(y) = \dfrac{1}{2 \pi i} \int_{a-\infty i}^{a+\infty i} \dfrac{\log \zeta(s)}{s} y^s ds.}$$
⸻
日本語訳
この積分は、関数$${\displaystyle \footnotesize h(y)}$$の不連続な変化(ジャンプ)が起こるような$${\displaystyle \footnotesize y}$$の値に対して、そのジャンプの両側における関数$${\displaystyle \footnotesize h}$$の値の平均値を表している。ここで前提とされている関数$${\displaystyle \footnotesize f(x)}$$の決定方法(定義)においても、この関数はまったく同じ性質を有している。したがって、完全に一般に次が成り立つ。
$${\displaystyle \footnotesize f(y) = \dfrac{1}{2 \pi i} \int_{a-\infty i}^{a+\infty i} \dfrac{\log \zeta(s)}{s} y^s ds.}$$
解説
前ページで定めた「不連続点では左右の平均値とする」という$${\displaystyle \footnotesize f(x)}$$の定義が、このフーリエ的な複素積分の性質(ギブズ現象などに関連する反転の不連続点での挙動)と完全に一致することを補足しています。そして、一般論の$${\displaystyle \footnotesize h(y)}$$を$${\displaystyle \footnotesize f(y)}$$に$${\displaystyle \footnotesize g(s)}$$を$${\displaystyle \footnotesize \dfrac{\log \zeta(s)}{s}}$$に置き換えることで、素数の分布を表す関数$${\displaystyle \footnotesize f(y)}$$を、ゼータ関数$${\displaystyle \footnotesize \zeta(s)}$$の対数を用いた複素積分として直接表す究極の公式が導かれました。
-------------------------------------------------
第5章 リーマンの明示公式(Explicit Formula)
-------------------------------------------------
【$${\displaystyle \footnotesize \bf \log\zeta(s)}$$の因数分解式の代入と部分積分の必要性】
原文
Für $${\displaystyle \footnotesize \log \zeta}$$ kann man nun den früher gefundenen Ausdruck
$${\displaystyle \footnotesize \dfrac{s}{2} \log \pi - \log(s-1) - \log \Pi \dfrac{s}{2} + \log(1 + \dfrac{(s-\frac{1}{2})^2}{\alpha\alpha}) + \log \xi(0)}$$
substituiren; die Integrale der einzelnen Glieder dieses Ausdrucks würden aber dann in's Unendliche ausgedehnt nicht convergiren, weshalb es zweckmäfsig ist, die Gleichung vorher durch partielle Integration in
⸻
日本語訳
いま$${\displaystyle \footnotesize \log \zeta}$$に対して、以前に得られた表現
$${\displaystyle \footnotesize \dfrac{s}{2} \log \pi - \log(s-1) - \log \Pi \dfrac{s}{2} + \log(1 + \dfrac{(s-\frac{1}{2})^2}{\alpha^2}) + \log \xi(0)}$$
を代入することができる。しかし、この表現の個々の項の積分は、無限大まで拡張したときに収束しない。そのため、あらかじめ部分積分によって、この方程式を(次ページへ続く:~に変形することが好都合である。)
解説
リーマンは、先ほど導いた複素積分公式の$${\displaystyle \footnotesize \log \zeta(s)}$$の部分に、これまでに得られていた$${\displaystyle \footnotesize \xi}$$関数の零点($${\displaystyle \footnotesize \alpha}$$)を用いた無限積の展開式を代入しようとしています。
しかし、そのまま項別にばらして積分を計算しようとすると、無限遠($${\displaystyle \footnotesize \pm \infty i}$$)の方向で積分が収束しないという数学的な問題にぶつかります。そこでリーマンは、この困難を回避するために、事前に「partielle Integration(部分積分)」を行って被積分関数の収束性を高めるという、次ページに続く巧妙なテクニックを予告してこのページを終えています。
-------------------------------------------------

-------------------------------------------------
【部分積分の実行結果】
原文
$${\displaystyle \footnotesize f(x) = - \dfrac{1}{2\pi i} \dfrac{1}{\log x} \int_{a-\infty i}^{a+\infty i} \dfrac{d \frac{\log \zeta(s)}{s}}{ds} x^s ds}$$
umzuformen.
Da
$${\displaystyle \footnotesize - \log \Pi \dfrac{s}{2} = \lim \left( \sum_{n=1}^{n=m} \log(1 + \dfrac{s}{2n}) - \dfrac{s}{2} \log m \right)}$$, für $${\displaystyle \footnotesize m=\infty,}$$
also
$${\displaystyle \footnotesize - \dfrac{d \dfrac{1}{s} \log \Pi \dfrac{s}{2}}{ds} = \sum_{1}^\infty \dfrac{d \dfrac{1}{s} \log(1 + \dfrac{s}{2n})}{ds},}$$
so erhalten dann sämmtliche Glieder des Ausdrucks für $${\displaystyle \footnotesize f(x)}$$ mit Ausnahme von
$${\displaystyle \footnotesize \dfrac{1}{2\pi i} \frac{1}{\log x} \int_{a-\infty i}^{a+\infty i} \frac{1}{ss} \log \xi(0) x^s ds = \log \xi(0)}$$
die Form
$${\displaystyle \footnotesize \pm \dfrac{1}{2\pi i} \dfrac{1}{\log x} \int_{a-\infty i}^{a+\infty i} \dfrac{d \left( \dfrac{1}{s} \log(1 - \dfrac{s}{\beta}) \right)}{ds} x^s ds.}$$
Nun ist aber
⸻
日本語訳
$${\displaystyle \footnotesize f(x) = - \dfrac{1}{2\pi i} \dfrac{1}{\log x} \int_{a-\infty i}^{a+\infty i} \dfrac{d \frac{\log \zeta(s)}{s}}{ds} x^s ds}$$
へと変形する。
ここで、
$${\displaystyle \footnotesize - \log \Pi \dfrac{s}{2} = \lim \left( \sum_{n=1}^{n=m} \log(1 + \dfrac{s}{2n}) - \dfrac{s}{2} \log m \right)}$$, für $${\displaystyle \footnotesize m=\infty,}$$
であり、したがって
$${\displaystyle \footnotesize - \dfrac{d \dfrac{1}{s} \log \Pi \dfrac{s}{2}}{ds} = \sum_{1}^\infty \dfrac{d \dfrac{1}{s} \log(1 + \dfrac{s}{2n})}{ds},}$$
となる。これにより、以下を除く$${\displaystyle \footnotesize f(x)}$$の表現のすべての項は、
$${\displaystyle \footnotesize \dfrac{1}{2\pi i} \frac{1}{\log x} \int_{a-\infty i}^{a+\infty i} \frac{1}{s^2} \log \xi(0) x^s ds = \log \xi(0)}$$
(……を除くすべての項は、次の)形(をとる。)
$${\displaystyle \footnotesize \pm \dfrac{1}{2\pi i} \dfrac{1}{\log x} \int_{a-\infty i}^{a+\infty i} \dfrac{d \left( \dfrac{1}{s} \log(1 - \dfrac{s}{\beta}) \right)}{ds} x^s ds.}$$
しかし、ここで次が成り立つ。
解説
前ページの最後で述べられていた通り、収束性を改善するために部分積分を実行した式です。前ページでは積分変数が$${\displaystyle \footnotesize y}$$でしたが、このページからは通常の$${\displaystyle \footnotesize x}$$に戻っています。$${\displaystyle \footnotesize \dfrac{\log \zeta(s)}{s}}$$を$${\displaystyle \footnotesize s}$$で微分した項を作ることで、無限遠での減衰が強くなり、項別にばらしても積分が綺麗に収束するようになります。
リーマンは各項の計算を進めるため、ガウスによるガンマ関数($${\displaystyle \footnotesize \Pi}$$関数)の無限乗積表示の対数形式を導入しています。これにより、ガンマ関数に由来する項も、対数と和($${\displaystyle \footnotesize \Sigma}$$)の形に分解して微分・積分できるようになります。なお、総和記号の上にある文字群は$${\displaystyle \footnotesize n=m}$$と印字されています。
無限積表示を$${\displaystyle \footnotesize s}$$で割り、さらに$${\displaystyle \footnotesize s}$$で微分を計算した形です。これにより、ガンマ関数に由来する部分も、後述する一般的な形式へと統一されることになります。
$${\displaystyle \footnotesize \log \zeta(s)}$$の展開式に含まれていた定数項$${\displaystyle \footnotesize \log \xi(0)}$$に由来する部分の積分計算です。被積分関数の$${\displaystyle \footnotesize \dfrac{1}{s^2}}$$(画像では ss)の複素積分を留数定理などで計算すると、見事に $${\displaystyle \footnotesize \log \xi(0)}$$という定数だけが残ります。この項だけは例外的な単純さを持つため、ここで先に処理されています。
定数項以外のすべての項(ゼータ関数の非自明な零点$${\displaystyle \footnotesize \alpha}$$に由来する項や、ガンマ関数の極に由来する項など)は、すべてこの$${\displaystyle \footnotesize \log(1 - \frac{s}{\beta})}$$という形($${\displaystyle \footnotesize \beta}$$にそれぞれの根や極が対応する)の微分積分に帰着されることを示しています。ここから、この共通の一般形式の積分をどう解くかの解説に入ります。
-------------------------------------------------
【一般項の微分変形】
原文
$${\displaystyle \footnotesize \dfrac{d \left( \dfrac{1}{s} \log(1 - \dfrac{s}{\beta}) \right)}{d\beta} = \dfrac{1}{(\beta-s)\beta}}$$
und, wenn der reelle Theil von $${\displaystyle \footnotesize s}$$ gröfser als der reelle Theil von $${\displaystyle \footnotesize \beta}$$ ist,
⸻
日本語訳
$${\displaystyle \footnotesize \dfrac{d \left( \dfrac{1}{s} \log(1 - \dfrac{s}{\beta}) \right)}{d\beta} = \dfrac{1}{(\beta-s)\beta}}$$
であり、また$${\displaystyle \footnotesize s}$$の実部が$${\displaystyle \footnotesize \beta}$$の実部よりも大きいとき、
解説
リーマンはここで、積分を直接$${\displaystyle \footnotesize s}$$で計算する代わりに、パラメータである$${\displaystyle \footnotesize \beta}$$でいったん微分するという非常に鮮やかなトリックを使っています。これによって対数関数$${\displaystyle \footnotesize \log}$$が消え、単純な有理式 $${\displaystyle \footnotesize \dfrac{1}{(\beta-s)\beta}}$$に変形されます。
-------------------------------------------------
【有理式の複素積分と実積分への帰着】
原文
$${\displaystyle \footnotesize \dfrac{1}{2\pi i} \int_{a-\infty i}^{a+\infty i} \dfrac{x^s ds}{(\beta-s)\beta} = \dfrac{x^\beta}{\beta} = \int_\infty^x x^{\beta-1} dx,}$$
oder $${\displaystyle \footnotesize = \int_0^x x^{\beta-1} dx,}$$
je nachdem der reelle Theil von $${\displaystyle \footnotesize \beta}$$ negativ oder positiv ist.
Man hat daher
⸻
日本語訳
$${\displaystyle \footnotesize \dfrac{1}{2\pi i} \int_{a-\infty i}^{a+\infty i} \dfrac{x^s ds}{(\beta-s)\beta} = \dfrac{x^\beta}{\beta} = \int_\infty^x x^{\beta-1} dx,}$$
$${\displaystyle \footnotesize = \int_0^x x^{\beta-1} dx,}$$
これは$${\displaystyle \footnotesize \beta}$$の実部が負であるか、あるいは正であるかに応じる。
したがって、次が得られる。
解説
$${\displaystyle \footnotesize \beta}$$で微分した後の有理式の複素積分を実行しています。留数定理を適用することで、積分結果は単純に $${\displaystyle \footnotesize \dfrac{x^\beta}{\beta}}$$となります。
これを再び元の形に戻すために積分形式で表すと$${\displaystyle \footnotesize \beta}$$の実部の正負に応じて、下端が 0 または$${\displaystyle \footnotesize \infty}$$の実積分$${\displaystyle \footnotesize \int x^{\beta-1} dx}$$として書き換えることができます。
-------------------------------------------------
【一般項の最終的な積分表示の提示】
原文
$${\displaystyle \footnotesize \dfrac{1}{2\pi i} \dfrac{1}{\log x} \int_{a-\infty i}^{a+\infty i} \dfrac{d \left( \dfrac{1}{s} \log(1 - \dfrac{s}{\beta}) \right)}{ds} x^s ds}$$
⸻
日本語訳
$${\displaystyle \footnotesize \dfrac{1}{2\pi i} \dfrac{1}{\log x} \int_{a-\infty i}^{a+\infty i} \dfrac{d \left( \dfrac{1}{s} \log(1 - \dfrac{s}{\beta}) \right)}{ds} x^s ds}$$
解説
ページの最下部です。前の節で準備した$${\displaystyle \footnotesize \beta}$$に関する微積分の関係を使って、この一般項の複素積分が具体的にどのような関数(現代でいう「対数積分$${\displaystyle \footnotesize Li(x^\beta)}$$」の形)に化けるのか、その最終的な結論を導く直前で次のページへと続いています。
-------------------------------------------------

-------------------------------------------------
【一般項の積分結果と対数積分への帰着】
原文
$${\displaystyle \footnotesize = - \dfrac{1}{2\pi i} \int_{a-\infty i}^{a+\infty i} \dfrac{1}{s} \log(1 - \dfrac{s}{\beta}) x^s ds}$$
$${\displaystyle \footnotesize = \int_\infty^x \dfrac{x^{\beta-1}}{\log x} dx +}$$ const. im ersten
und
$${\displaystyle \footnotesize = \int_0^x \dfrac{x^{\beta-1}}{\log x} dx +}$$ const. im zweiten Falle.
⸻
日本語訳
$${\displaystyle \footnotesize = - \dfrac{1}{2\pi i} \int_{a-\infty i}^{a+\infty i} \dfrac{1}{s} \log(1 - \dfrac{s}{\beta}) x^s ds}$$
$${\displaystyle \footnotesize = \int_\infty^x \dfrac{x^{\beta-1}}{\log x} dx +}$$定数 第1の場合
および
$${\displaystyle \footnotesize = \int_0^x \dfrac{x^{\beta-1}}{\log x} dx +}$$ 定数 第2の場合
解説
前ページの最後で提示された一般項の複素積分を、部分積分を戻す形で計算した結果です。この積分$${\displaystyle \footnotesize \int \frac{x^{\beta-1}}{\log x} dx}$$は、変数変換すると現代でいう対数積分$${\displaystyle \footnotesize Li(x^\beta)}$$にほかなりません。$${\displaystyle \footnotesize \beta}$$の実部の正負に応じて、積分区間の下端が$${\displaystyle \footnotesize \infty}$$になる場合(第一のケース)と 0 になる場合(第二のケース)に分けて定数項(積分定数)を伴う形で示されています。
-------------------------------------------------
【積分定数の決定に関する議論)】
原文
Im ersten Falle bestimmt sich die Integrationsconstante, wenn man den reellen Theil von $${\displaystyle \footnotesize = \beta}$$ negativ unendlich werden läfst; im zweiten Falle erhält das Integral von $${\displaystyle \footnotesize = 0}$$ bis $${\displaystyle \footnotesize = x}$$ um $${\displaystyle \footnotesize = 2\pi i}$$ verschiedene Werthe, je nachdem die Integration durch complexe Werthe mit positiven oder negativen Arcus geschieht, und wird, auf jenem Wege genommen, unendlich klein, wenn der Coefficient von $${\displaystyle \footnotesize = i}$$ in dem Werthe von $${\displaystyle \footnotesize = \beta}$$ positiv unendlich wird, auf letzterem aber, wenn dieser Coefficient negativ unendlich wird. Hieraus ergiebt sich, wie auf der linken Seite $${\displaystyle \footnotesize = \log(1 - \dfrac{s}{\beta})}$$ zu bestimmen ist, damit die Integrationsconstante wegfällt.
⸻
日本語訳
第一のケースにおいては$${\displaystyle \footnotesize = \beta}$$の実部を負の無限大に近づけることによって積分定数が決定される。第二のケースにおいては$${\displaystyle \footnotesize = 0}$$から$${\displaystyle \footnotesize = x}$$までの積分は、正または負の偏角(アルクス)を持つ複素数の値を通じて積分が行われるかどうかに応じて$${\displaystyle \footnotesize = 2\pi i}$$だけ異なる値をとる。そして、前者の経路をとるならば$${\displaystyle \footnotesize = \beta}$$の値における$${\displaystyle \footnotesize = i}$$の係数(虚部)が正の無限大になるときに積分は無限小となり、後者の経路をとるならば、この係数が負の無限大になるときに無限小となる。ここから、左辺の$${\displaystyle \footnotesize = \log(1 - \dfrac{s}{\beta})}$$をどのように決定すれば積分定数が消去(相殺)されるかが導かれる。
解説
多価関数である対数関数のブランチ(枝)の選び方と、積分経路の複素平面上での動かし方によって生じる複素数のズレ($${\displaystyle \footnotesize = 2\pi i}$$の整数倍)をコントロールし、積分定数が綺麗にゼロ(相殺)になるように厳密な条件を課すための極めて専門的な複素解析の議論を行っています。
-------------------------------------------------
【素数計数関数 $${\displaystyle \footnotesize f(x)}$$の明示公式の提示】
原文
Durch Einsetzung dieser Werthe in den Ausdruck für $${\displaystyle \footnotesize f(x)}$$ erhält man
$${\displaystyle \footnotesize f(x) = Li(x) - \Sigma^\alpha (\text{Li}(x^{\frac{1}{2}+\alpha i}) + Li(x^{\frac{1}{2}-\alpha i})) + \int_x^\infty \dfrac{1}{x^2-1} \dfrac{dx}{x \log x} + \log \xi(0),}$$
⸻
日本語訳
これらの値を$${\displaystyle \footnotesize f(x)}$$ の表現に代入することにより、次が得られる。
$${\displaystyle \footnotesize f(x) = Li(x) - \Sigma^\alpha (\text{Li}(x^{\frac{1}{2}+\alpha i}) + Li(x^{\frac{1}{2}-\alpha i})) + \int_x^\infty \dfrac{1}{x^2-1} \dfrac{dx}{x \log x} + \log \xi(0),}$$
解説
この論文、そして解析的整数論におけるもっとも偉大な数式(リーマンの明示公式)です。
素数の分布を表す関数 $${\displaystyle \footnotesize f(x)}$$が、4つの要素の足し引きだけで完全に決定されることを証明しました。
1. $${\displaystyle \footnotesize Li(x)}$$:主項(ガウスが予想した対数積分)。素数分布の全体的な流れを決めます。
2. $${\displaystyle \footnotesize Σ^α (...)}$$:ゼータ関数の非自明な零点 \alpha に由来する補正項。主項 $${\displaystyle \footnotesize Li(x)}$$からの細かなズレ(揺らぎ)を表現しており、素数分布の「波」を作っています。
3. $${\displaystyle \footnotesize ∫_x^∞ ...}$$:ガンマ関数の極(自明な零点)に由来する、 x が小さいときの微小な補正項。
4. $${\displaystyle \footnotesize \log ξ(0)}$$:定数項。
素数という離散的で不規則な存在が、ゼータ関数の零点という複素平面上の「位置」によって完全に統支配されていることがこの式によって証明されました。
-------------------------------------------------
第6章 実際の数値データとの比較(結論)
-------------------------------------------------
【零点に関する総和の順序と収束性の補足】
原文
wenn in $${\displaystyle \footnotesize \Sigma^\alpha}$$ für $${\displaystyle \footnotesize \alpha}$$ sämmtliche positiven (oder einen positiven reellen Theil enthaltenden) Wurzeln der Gleichung $${\displaystyle \footnotesize \xi(\alpha)=0}$$, ihrer Gröfse nach geordnet, gesetzt werden. Es läfst sich, mit Hülfe einer genaueren Discussion der Function $${\displaystyle \footnotesize \xi}$$, leicht zeigen, dafs bei dieser Anordnung der Werth der Reihe
$${\displaystyle \footnotesize \Sigma Li(x^{\frac{1}{2}+\alpha i}) +Li(x^{\frac{1}{2}-\alpha i})) \log x}$$
mit dem Grenzwerth, gegen welchen
$${\displaystyle \footnotesize \dfrac{1}{2\pi i} \int_{a-bi}^{a+bi} \dfrac{d \dfrac{1}{s} \log(1 + \dfrac{(s-\frac{1}{2})^2}{\alpha\alpha})}{ds} x^s ds}$$
⸻
日本語訳
ただし$${\displaystyle \footnotesize \Sigma^\alpha}$$においては、方程式$${\displaystyle \footnotesize \xi(\alpha)=0}$$のすべての正の(あるいは正の実部を含む)根が、その大きさの順に並べられて$${\displaystyle \footnotesize \alpha}$$に代入されるものとする。関数$${\displaystyle \footnotesize \xi}$$のより詳細な議論の助けを借りれば、このような配置(順序)において、級数
$${\displaystyle \footnotesize \Sigma Li(x^{\frac{1}{2}+\alpha i}) +Li(x^{\frac{1}{2}-\alpha i})) \log x}$$
の値が、次の式が近づく極限値と(等しくなることを容易に示すことができる……次ページへ続く)
$${\displaystyle \footnotesize \dfrac{1}{2\pi i} \int_{a-bi}^{a+bi} \dfrac{d \dfrac{1}{s} \log(1 + \dfrac{(s-\frac{1}{2})^2}{\alpha^2})}{ds} x^s ds}$$
解説
明示公式に登場する零点$${\displaystyle \footnotesize \alpha}$$の無限和$${\displaystyle \footnotesize \Sigma^\alpha}$$について、ただランダムに足すのではなく、「虚部の大きさが小さい順(絶対値の順)」に並べて足し合わせていく(主値をとる)ことで初めてこの無限和が正しく収束するという、数学的な極限の取り方の厳密な順序について補足しています。文章は積分公式の途中で次ページへ続いています。
-------------------------------------------------

-------------------------------------------------
【無限和の収束性と条件収束の性質】
原文
bei unaufhörlichem Wachsen der Grölse $${\displaystyle \footnotesize b}$$ convergirt, übereinstimmt; durch veränderte Anordnung aber würde sie jeden beliebigen reellen Werth erhalten können.
⸻
日本語訳
(前ページから続く:大きさ$${\displaystyle \footnotesize b}$$が絶え間なく増大するときに収束する値)と一致する。しかし、配置(足す順序)を変更したならば、それは任意のいかなる実数値をもとり得る。
解説
前ページの非自明な零点に関する無限和の続きです。リーマンはここで、この無限級数が「条件収束(Conditional convergence)」していることを指摘しています。数学における有名な定理「リーマンの級数再配置定理」の通り、条件収束する級数は足す順番を変えるとどんな値にでも収束させることができてしまうため、前ページで指定した「虚部の絶対値が小さい順に足す」というルールが数論的に極めて重要であることをここで念押ししています。
-------------------------------------------------
【メビウスの反転公式による F(x) の導出】
原文
Aus $${\displaystyle \footnotesize f(x)}$$ findet sich $${\displaystyle \footnotesize F(x)}$$ mittelst der durch Umkehrung der Relation
$${\displaystyle \footnotesize f(x) = \Sigma \dfrac{1}{n} F(x^{\frac{1}{n}})}$$
sich ergebenden Gleichung
$${\displaystyle \footnotesize F(x) = \Sigma (-1)^\mu \dfrac{1}{m} f(x^{\frac{1}{m}}),}$$
worin für $${\displaystyle \footnotesize m}$$ der Reihe nach die durch kein Quadrat aufser 1 theilbaren Zahlen zu setzen sind und $${\displaystyle \footnotesize \mu}$$ die Anzahl der Primfactoren von $${\displaystyle \footnotesize m}$$ bezeichnet.
⸻
日本語訳
$${\displaystyle \footnotesize f(x)}$$から$${\displaystyle \footnotesize F(x)}$$は、次の関係式の反転によって
$${\displaystyle \footnotesize f(x) = \Sigma \dfrac{1}{n} F(x^{\frac{1}{n}})}$$
得られる方程式
$${\displaystyle \footnotesize F(x) = \Sigma (-1)^\mu \dfrac{1}{m} f(x^{\frac{1}{m}}),}$$
を用いて見出される。ここで$${\displaystyle \footnotesize m}$$には、1以外の平方数で割り切れない(平方因子を持たない)数が順に代入されるものとし$${\displaystyle \footnotesize \mu}$$は$${\displaystyle \footnotesize m}$$の素因数の個数を表す。
解説
中間関数であるリーマンの素数計数関数$${\displaystyle \footnotesize f(x)}$$から、本来の目的である「素数の個数そのもの」を表す関数$${\displaystyle \footnotesize F(x)}$$を逆算する公式です。ここで使われているのは、現代の整数論における「メビウスの反転公式」に相当する変形です。係数に現れる$${\displaystyle \footnotesize (-1)^\mu}$$は、現代の記号でいうメビウス関数$${\displaystyle \footnotesize \mu(m)}$$の定義そのものです。
-------------------------------------------------
【素数の分布密度と波動項】
原文
Beschränkt man $${\displaystyle \footnotesize \Sigma^\alpha}$$ auf eine endliche Zahl von Gliedern,so giebt die Derivirte des Ausdrucks für $${\displaystyle \footnotesize f(x)}$$ oder, bis auf einen mit wachsendem $${\displaystyle \footnotesize x}$$ sehr schnell abnehmenden Theil,
$${\displaystyle \footnotesize \dfrac{1}{\log x} - 2 \Sigma^\alpha \dfrac{\cos(\alpha \log x) x^{-\frac{1}{2}}}{\log x}}$$
einen angenäherten Ausdruck für die Dichtigkeit der Primzahlen + der halben Dichtigkeit der Primzahlquadrate $${\displaystyle \footnotesize + \dfrac{1}{3}}$$ von der Dichtigkeit der Primzahlcuben u. s. w. von der Grölse $${\displaystyle \footnotesize x.}$$
⸻
日本語訳
もし$${\displaystyle \footnotesize \Sigma^\alpha}$$を有限個の項に制限するならば$${\displaystyle \footnotesize f(x)}$$の式の導関数(微分)、すなわち$${\displaystyle \footnotesize x}$$の増大とともに極めて急速に減少する部分を除けば、
$${\displaystyle \footnotesize \dfrac{1}{\log x} - 2 \Sigma^\alpha \dfrac{\cos(\alpha \log x) x^{-\frac{1}{2}}}{\log x}}$$
は、大きさ x における、素数の密度 + 素数の平方(2乗)の密度の半分 + $${\displaystyle \footnotesize \dots}$$(素数の3乗の密度の3分の1)などの近似的な表現を与える。
解説
リーマンは、先ほどの個数の式$${\displaystyle \footnotesize f(x)}$$を微分することで、ある数 x の周辺にどれだけの割合で素数が存在するかという「素数の密度(分布密度)」の式を導いています。
第1項の$${\displaystyle \footnotesize \dfrac{1}{\log x}}$$はガウスが提示した滑らかな密度ですが、そこに第2項の$${\displaystyle \footnotesize \Sigma^\alpha \cos(\dots)}$$という「波(振動)」の項が加わっています。ゼータ関数の零点$${\displaystyle \footnotesize \alpha}$$の一つ一つが、素数の分布の細かな粗密(波の周波数)を決定していることを視覚的に表した美しい公式です。
-------------------------------------------------
【ガウスの近似式 $${\displaystyle \footnotesize Li(x)}$$の誤差評価】
原文
Die bekannte Näherungsformel $${\displaystyle \footnotesize F(x) = Li(x)}$$ ist also nur bis auf Grölsen von der Ordnung der Grölse $${\displaystyle \footnotesize x^{\frac{1}{2}}}$$ richtig und giebt einen etwas zu grofsen Werth; denn die nicht periodischen Glieder in dem Ausdrucke von $${\displaystyle \footnotesize F(x)}$$ sind, von Grölsen, die mit $${\displaystyle \footnotesize x}$$ nicht in's Unendliche wachsen, abgesehen:
$${\displaystyle \footnotesize Li(x) - \dfrac{1}{2}Li(x^{\frac{1}{2}}) - \dfrac{1}{3} Li(x^{\frac{1}{3}}) - \dfrac{1}{5} Li(x^{\frac{1}{5}}) + \dfrac{1}{6} Li(x^{\frac{1}{6}}) - \dfrac{1}{7} Li(x^{\frac{1}{7}}) + \dots}$$
⸻
日本語訳
したがって、よく知られた近似公式$${\displaystyle \footnotesize F(x) = \text{Li}(x)}$$ は、高々$${\displaystyle \footnotesize x^{\frac{1}{2}}}$$のオーダーの大きさの範囲内でのみ正しく、やや大きすぎる値を与える。なぜなら$${\displaystyle \footnotesize F(x)}$$の表現における非周期的な項(周期を持たない項)は$${\displaystyle \footnotesize x}$$とともに無限大にはならない大きさを除けば、次のようになるからである。
$${\displaystyle \footnotesize Li(x) - \dfrac{1}{2}Li(x^{\frac{1}{2}}) - \dfrac{1}{3} Li(x^{\frac{1}{3}}) - \dfrac{1}{5} Li(x^{\frac{1}{5}}) + \dfrac{1}{6} Li(x^{\frac{1}{6}}) - \dfrac{1}{7} Li(x^{\frac{1}{7}}) + \dots}$$
解説
ガウスが提案した素数定理の主項$${\displaystyle \footnotesize Li(x)}$$は、実際の素数の個数よりも「常に少しだけ大きい値を出してしまう(多めに見積もってしまう)」という有名な現象を、リーマンはこの反転公式から導かれた非周期項の引き算によって数学的に完璧に説明しています。この式の第2項にある$${\displaystyle \footnotesize -\dfrac{1}{2} Li(x^{1/2}}$$) の存在こそが、ガウスの式が抱えていた「わずかな過大評価」を削ぎ落とす役割を果たしています。この誤差の精密な評価こそが、まさにリーマン予想(零点の実部が 1/2 であること)と直結しています。
-------------------------------------------------
【実際の素数データを用いたガウス・ゴールドシュミットの計算との比較】
原文
In der That hat sich bei der von Gaufs und Goldschmidt vorgenommenen und bis zu $${\displaystyle \footnotesize x =}$$ drei Millionen fortgesetzten Vergleichung von $${\displaystyle \footnotesize Li(x)}$$ mit der Anzahl der Primzahlen unter $${\displaystyle \footnotesize x}$$ diese Anzahl schon vom ersten Hunderttausend an stets
⸻
日本語訳
実際に、ガウスとゴールドシュミットによって行われ$${\displaystyle \footnotesize x =}$$ 300万まで進められた$${\displaystyle \footnotesize Li(x)}$$と$${\displaystyle \footnotesize x}$$以下の素数の実際の個数との比較においては、この実際の個数はすでに最初の10万の時点から常に(次ページへ続く: $${\displaystyle \footnotesize Li(x)}$$よりも小さい値をとることが示されている。)
解説
理論的な正しさを裏付けるために、当時の実際の数値計算データを引用している場面です。ガウス、および天文学者・数学者のベンジャミン・ゴールドシュミットが手計算で300万までの素数を一画一画数え上げて作った膨大な統計データと、自分の数式を比較しています。「最初の10万の時点で、すでに$${\displaystyle \footnotesize Li(x)}$$の方が実際の素数より常に少し多くなっている」という実際のデータ上の事実が、前節でリーマンが提示した理論(マイナス項の存在)と完全に一致していることを証明しようとして、次ページへ続いています。
-------------------------------------------------

-------------------------------------------------
【実際の素数データとの比較の続き・論文の結びへ】
原文
kleiner als $${\displaystyle \footnotesize Li(x)}$$ ergeben, und zwar wächst die Differenz unter manchen Schwankungen allmählich mit $${\displaystyle \footnotesize x}$$. Aber auch die von den periodischen Gliedern abhängige stellenweise Verdichtung und Verdünnung der Primzahlen hat schon bei den Zählungen die Aufmerksamkeit erregt, ohne dafs jedoch hierin eine Gesetzmäfsigkeit bemerkt worden wäre. Bei einer etwaigen neuen Zählung würde es interessant sein, den Einflufs der einzelnen in dem Ausdrucke für die Dichtigkeit der Primzahlen enthaltenen periodischen Glieder zu verfolgen. Einen regelmäfsigeren Gang als $${\displaystyle \footnotesize F(x)}$$ würde die Function $${\displaystyle \footnotesize f(x)}$$ zeigen, welche sich schon im ersten Hundert sehr deutlich als mit $${\displaystyle \footnotesize Li(x) + \log \xi(0)}$$ im Mittel übereinstimmend erkennen läfst.
⸻
日本語訳
$${\displaystyle \footnotesize Li(x)}$$よりも小さい値であることが判明しており、実際にその差はいくらかの変動を伴いながらも x とともに徐々に増大している。しかし、周期的な項に依存する素数の局所的な「密」および「粗」の状態もまた、すでに数え上げの段階で注目を集めていた。ただし、そこから何らかの法則性が気づかれるまでには至っていなかった。もし将来的に新たな数え上げが行われるならば、素数の分布密度の式に含まれている個々の周期的項の影響を追跡することは興味深いことだろう。本来の素数個数関数$${\displaystyle \footnotesize F(x)}$$よりも、関数$${\displaystyle \footnotesize f(x)}$$の方がより規則的な推移を示すと考えられ、この$${\displaystyle \footnotesize f(x)}$$は最初の「100」までの範囲においてさえ、平均して$${\displaystyle \footnotesize Li(x) + \log \xi(0)}$$と非常によく一致していることがはっきりと認められる。
解説
リーマンの論文の最終段落です。ガウスらの手計算データにおいて、素数の現れ方に「詰まっている場所(密)」と「まばらな場所(粗)」という揺らぎがあることは当時から知られていましたが、当時は誰もその理由を説明できませんでした。リーマンは、自分が導いた「ゼータ関数の零点による周期的な波($${\displaystyle \footnotesize \cos}$$の項)」こそがその正体であることを明かし、「将来もっと大きな数まで素数が計算されたら、この波の効果を1つずつ検証してみると面白いよ」と後世にバトンを渡しています。
最後の数式$${\displaystyle \footnotesize Li(x) + log ξ(0)}$$は、先ほど登場した極微小な補正積分を除いた$${\displaystyle \footnotesize f(x)}$$の滑らかな主成分を表しており、これが小さな数( x=100 )の段階でも驚くほど実際のデータと一致することを述べて、数論の歴史を塗り替えたこの不朽の名著を締めくくっています。
-------------------------------------------------
3. Historical supplement.
【歴史的補足】
-------------------------------------------------
この論文全体の数論史上の位置づけ
「与えられた数未満の素数の個数について」
(1859年)
「素数研究を複素関数の世界へと昇華させた、
歴史上最大の転換点」です。
要点は以下の3点に凝縮されます。
1. 解析的数論の誕生
それまで実数の範囲や統計的な予想に留まっていた素数研究に、リーマンは初めて本格的な「複素関数論」を導入しました。これにより、整数という離散的な対象の難問を複素平面上の幾何学的な振る舞いから解き明かす「解析的数論」という巨大な分野が確立されました。
2. 「素数の分布」と「ゼータの零点」の結合
論文の核心である「明示公式」により、素数の個数関数$${\displaystyle \footnotesize \pi(x)}$$の近似式から生じる現実データとの「ズレ」が、ゼータ関数の非自明な零点(波動の和)によって完璧に相殺されることを証明しました。「数(素数)」と「波(関数)」が表裏一体であるという驚くべき事実を初めて提示したのです。
3. 「リーマン予想」による現代数学の牽引
第2章で提示された「ゼータ関数の非自明な零点の実部はすべて$${\displaystyle \footnotesize \dfrac{1}{2}}$$である」という一言は、160年以上経った現代も数学史上最大の未解決難問であり続けています。
この予想は数論のみならず、現代数学・物理学の無数の定理の前提となっています。
ガウスの直感を精密な数式へと変え、
1896年の「素数定理」の証明へ航路を開いた、
わずか8ページの不滅の金字塔です。
-------------------------------------------------
4. 【古典数学】原論文の講読
-------------------------------------------------
-------------------------------------------------
