------------------------------------------------- 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ページ) (ベルリン王立プロイセン科学アカデミー月報)
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. ⸻
------------------------------------------------- 【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次の曲線および曲面に関するいくつかの一般的な決定法と、そこから導かれる定理について論じた。
------------------------------------------------- 【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日付の書簡によって送付された、以下の通信「与えられた数より小さい素数の個数について」を代読(発表)した。
------------------------------------------------- 【アカデミーへの謝辞】 原文 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. ⸻ 日本語訳 アカデミーが私を通信会員に選出してくださったという栄誉に対する私の感謝の念は、これによって得られた許可をできるだけ早く利用し、素数の頻度に関する調査を報告することによって最もよく表されると存じます。この主題は、ガウスとディリクレが長年にわたり関心を寄せてきたものであり、このような報告を行うに決して無価値ではないと思われるものです。
------------------------------------------------- 【アプローチの提示(オイラー積とゼータ関数)】 原文 Bei dieser Untersuchung diente mir als Ausgangspunkt die von Euler gemachte Bemerkung, dafs das Product
解説 リーマンがこの論文で導入し現代の教科書では ζ(s)=∑n=1∞ns1 と表記される「ゼータ関数」の、まさに最初の登場シーンです。 当時の印刷(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 ζ(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 の関数を、私はζ(s)と表記する。両者は、 s の実部が1より大きい限りにおいてのみ収束する。しかしながら、常に有効であり続けるこの関数の表現を見出すことは容易である。次の等式を適用することにより、
解説 前ページ(オイラー積の式)から続く文章です。リーマンはここで、複素数変数 s の関数として現代でもおなじみの「ゼータ関数」の記号 ζ(s)を初めて公式に定義しています。この級数と乗積は s の実部が1より大きい領域( Re(s)>1)でしか収束しないため、それ以外の領域へ関数を拡張する「解析接続」の必要性を述べています。
解説 これは現代でいう「ガンマ関数Γ(s)」を用いた積分表示の基礎となる変形です。リーマンはガウスにならってガンマ関数をΠ(s−1)という記号で表しています。 (現代の表記ではΓ(s)=Π(s−1)です) なお、分母の n の指数は前ページ同様に当時のフォント特有の形状( s にプライムや変形が加わったような形)をしていますが、文脈上 s を指しています。
解説 先ほどの等式の両辺について、すべての n (1から無限大まで)の和をとることで、右辺に ζ(s)が現れ、左辺は幾何級数(等比級数)の和の公式n=1∑∞e−nx=ex−11によってこの積分形式が導かれます。これがゼータ関数を複素平面全体に拡張するための第一歩となります。
------------------------------------------------- 【複素積分の導入】 原文 Betrachtet man nun das Integral
∫ex−1(−x)s−1dx,
von +∞ bis +∞ 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 ⸻ 日本語訳 いま、積分
vorausgesetzt, dafs in der vieldeutigen Function (−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 ⸻ 日本語訳
------------------------------------------------- 【解析接続と負の偶数での零点】 原文 Diese Gleichung giebt nun den Werth der Function ζ(s) für jedes beliebige complexe s und zeigt, dafs sie einwerthig und für alle endlichen Werthe von s, aufser 1, endlich ist, so wie auch, dafs sie verschwindet, wenn s gleich einer negativen geraden Zahl ist. ⸻ 日本語訳 この方程式は、任意の複素数sに対する関数ζ(s)の値を与え、これが一価であり、1を除くすべての有限のsの値に対して有限(正則)であることを示している。また同時にsが負の偶数に等しいときに、この関数が消滅する(0になる)ことも示している。
------------------------------------------------- 【積分経路の拡張と留数計算の導入】 原文 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 ±2πi wird und das Integral ist daher gleich der Summe der Integrale negativ um diese Werthe genommen. Das Integral um den Werth n2πi aber ist =(−n2πi)s−1(−2πi); man erhält daher ⸻ 日本語訳 s の実部が負であるとき、この積分は、上述の領域を正の方向に回る代わりに、残りのすべての複素数の領域を負の方向に回ることで、領域へと拡張される。なぜなら、絶対値が無限大となる値を通る積分は、そのとき無限小になるからである。しかし、この領域の内部において、積分記号の下にある関数が不連続(分母が0)になるのは、 x が ±2πiの整数倍に等しくなるときのみであり、したがってこの積分は、これらの値の周りを負の方向に回る積分の和に等しくなる。 n2πi という値の周りの積分は、 =(−n2πi)s−1(−2πi)となる。したがって、次が得られる。
------------------------------------------------- 【テータ関数を用いた第2の積分表示の導入】 原文 Diese Eigenschaft der Function veranlafste mich statt Π(s−1) das Integral Π(2s−1) in dem allgemeinen Gliede der Reihe Σns1 einzuführen, wodurch man einen sehr bequemen Ausdruck der Funktion ζ(s) erhält. In der That hat man
------------------------------------------------- 【ヤコビの変換公式の引用】 原文 oder da 2ψ(x)+1=x−21(2ψ(x1)+1), (Jacobi. Fund. S. 184) ⸻ 日本語訳 あるいは2ψ(x)+1=x−21(2ψ(x1)+1)であるため (ヤコビ著『基礎論』184ページ)
解説 リーマンはここで、モジュラー性を示す極めて重要なヤコビのテータ関数の変換公式を引用しています。「Jacobi. Fund.」とは、カール・グスタフ・ヤコブ・ヤコビの不朽の名著『楕円関数論の新基礎(Fundamenta Nova Theoriae Functionum Ellipticorum)』を指します。このx→1/xの反転公式が、ゼータ関数の対称性の本質的な源泉となっています。
------------------------------------------------- 【零点の存在範囲についての議論・「リーマン予想」の提示】 原文 Diese Function ist für alle endlichen Werthe von t endlich, und läfst sich nach Potenzen von tt in eine sehr schnell convergirende Reihe entwickeln. Da für einen Werth von s, dessen reeller Bestandtheil gröfser als 1 ist, logζ(s)=−Σlog(1−p−s) endlich bleibt und von den Logarithmen der übrigen Factoren von ξ(t) dasselbe gilt, so kann die Function ξ(t) nur verschwinden, wenn der imaginäre Theil von t zwischen 21i und −21i liegt. Die Anzahl der Wurzeln von ξ(t)=0, deren reeller Theil zwischen 0 und T liegt, ist etwa =2πTlog2πT−2πT; denn das Integral ∫dlogξ(t) positiv um den Inbegriff der Werthe von t erstreckt, deren imaginärer Theil zwischen 21i und −21i und deren reeller Theil zwischen 0 und T liegt,ist, (bis auf einen Bruchtheil von der Ordnung der Gröfser T1) gleich (Tlog2πT−T)i; dieses Integral aber ist gleich der Anzahl der in diesem Gebiet liegenden Wurzeln von ξ(t)=0, multiplicirt mit 2π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. ⸻ 日本語訳 この関数はtのすべての有限の値に対して有限(正則)でありt2のべき乗によって非常に急速に収束する級数に展開できる。sの実部が1より大きい値に対してはlogζ(s)=−Σlog(1−p−s)は有限にとどまりξ(t)の他の因子の対数についても同様のことが言えるため、関数 ξ(t)が消滅する(0になる)ことができるのはtの虚部が21iと−21iの間にあるときに限られる。 ξ(t)=0の根(解)のうち、実部が0とTの間にあるものの個数は、おおよそ =2πTlog2πT−2πTである。なぜなら、虚部が21iと−21iの間にあり、実部が0とTの間にあるようなtの値の全域を正の方向に巡る積分∫dlogξ(t)は、 (T1の大きさのオーダーの端数を除いて) (Tlog2πT−T)iに等しくなるからである。そしてこの積分は、この領域内に存在するξ(t)=0の根の個数に2πiを掛けたものに等しい。 実際にこれらの境界の内部には、ほぼこれと同数の実数の根が見出され、そしてすべての根が実数であるということは極めて有力(確率が高い)と思われる。これについては確かに厳密な証明が望まれるところであるが、私はいくつかの形式的で無駄な試みの後、この証明の探索をひとまず脇に置くことにした。なぜなら、それは私の調査のさしあたりの目的には不要であると思われたからである。
解説 数学史の不朽のハイライトです。 リーマンはまず、複素積分(のちの「議論の原理」)を用いて、ある範囲内にある零点の個数を与える見積もり式(現代でいう「リーマン・フォン・マンゴルトの公式」の原型)を提示しています。 そして、 「es ist sehr wahrscheinlich, dafs alle Wurzeln reell sind.(すべての根が実数であるということは極めて有力と思われる)」 という一文こそが、現代まで160年以上誰一人として解けていない世紀の未解決問題「リーマン予想」そのものです。変数tが「実数」であるということは、元の変数s=21+tiにおいて「実部が21である」ことを意味します。つまり、「ゼータ関数の非自明な零点は、すべて実部が21の直線(クリティカル・ライン)上に並んでいるはずだ」という大予想です。 リーマン自身が「2、3回ちょっと試してみたけど解けなかったから、今回の素数の数を数える目的には直接関係ないし、一回置いておくわ」と、驚くほど淡々と書き残しているのが非常に印象的です。
-------------------------------------------------
第3章 xi(t)の因数分解(無限積展開)
-------------------------------------------------
------------------------------------------------- 【ξ(t)の無限積展開・因数分解定理の先駆け】原文 Bezeichnet man durch α jede Wurzel der Gleichung ξ(α)=0, so kann man logξ(t) durch
Σlog(1−ααtt)+logξ(0)
ausdrücken; denn da die Dichtigkeit der Wurzeln von der Gröfse t mit t nur wie log2πt wächst, so convergirt dieser Ausdruck und wird für ein unendliches t nur unendlich wie tlogt; er unterscheidet sich also von logξ(t) um eine Function von tt, die für ein endliches t stetig und endlich bleibt und mit tt dividirt für ein unendliches t unendlich klein wird. Dieser Unterschied ist folglich eine Constante, deren Werth durch Einsetzung von t=0 bestimmt werden kann. ⸻ 日本語訳 方程式ξ(α)=0の各々の根をαと表すことにするとlogξ(t)は次のように表すことができる。
------------------------------------------------- 【素数個数関数の導入】 原文 Mit diesen Hülfsmitteln läfst sich nun die Anzahl der Primzahlen, die kleiner als x sind, bestimmen. Es sei F(x), wenn x nicht gerade einer Primzahl gleich ist, gleich dieser Anzahl, wenn aber x eine Primzahl ist, um 21 gröfser, so dafs für ein x, bei welchem F(x) sich sprungweise ändert,
F(x)=2F(x+0)+F(x−0).
Ersetzt man nun in
logζ(s)=−Σlog(1−p−s)=Σp−s+21Σp−2s+31Σp−3s+…
p−s durch s∫p∞x−s−1dx,p−2s durch s∫p2∞x−s−1dx,…,
so erhält man
slogζ(s)=∫1∞f(x)x−s−1dx,
wenn man
F(x)+21F(x21)+31F(x31)+…
durch f(x) bezeichnet. ⸻ 日本語訳 これらの補助手段を用いることでxより小さい素数の個数を決定することができる。 xがちょうど素数に等しくないときはF(x)をこの個数(素数の個数)に等しいものとし、ただしxが素数であるときは、それより 21だけ大きいものとする。したがってF(x)が不連続に(ジャンプして)変化するようなxに対しては、 いま、次の式において
------------------------------------------------- 【式の有効範囲と次なる一般形式の提示】 原文 Diese Gleichung ist gültig für jeden complexen Werth a+bi von s, wenn a>1. Wenn aber in diesem Umfange die Gleichung
------------------------------------------------- 【フーリエの定理の適用と実部・虚部の分解】 原文 gilt, so kann man mit Hülfe des Fourier'schen Satzes die Function h durch die Function g ausdrücken. Die Gleichung zerfällt, wenn h(x) reell ist und
------------------------------------------------- 【反転公式の合成と積分形式の導出】 原文 Wenn man beide Gleichungen mit (cos(blogy)+isin(blogy))db multiplicirt und von −∞ bis ∞ integrirt, so erhält man in beiden auf der rechten Seite nach dem Fourier'schen Satze πh(y)y−a, also, wenn man beide Gleichungen addirt und mit iya multiplicirt
2πih(y)=∫a−∞ia+∞ig(s)ysds,
worin die Integration so auszuführen ist, dafs der reelle Theil von s constant bleibt. ⸻ 日本語訳 両々の方程式に (cos(blogy)+isin(blogy))dbを掛け−∞から∞まで積分すると、フーリエの定理により、両方の右辺においてπh(y)y−aが得られる。したがって、両々の方程式を足し合わせてiyaを掛けると、
------------------------------------------------- 【一般論から素数計数関数 f(y) への適用】 原文 Das Integral stellt für einen Werth von y, bei welchem eine sprungweise Änderung der Function h(y) stattfindet, den Mittelwerth aus den Werthen der Function h zu beiden Seiten des Sprunges dar. Bei der hier vorausgesetzten Bestimmungsweise der Function f(x) besitzt diese dieselbe Eigenschaft, und man hat daher völlig allgemein
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 ⸻ 日本語訳 いまlogζに対して、以前に得られた表現
------------------------------------------------- 【積分定数の決定に関する議論)】 原文 Im ersten Falle bestimmt sich die Integrationsconstante, wenn man den reellen Theil von =β negativ unendlich werden läfst; im zweiten Falle erhält das Integral von =0 bis =x um =2π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 =i in dem Werthe von =β positiv unendlich wird, auf letzterem aber, wenn dieser Coefficient negativ unendlich wird. Hieraus ergiebt sich, wie auf der linken Seite =log(1−βs) zu bestimmen ist, damit die Integrationsconstante wegfällt. ⸻ 日本語訳 第一のケースにおいては=βの実部を負の無限大に近づけることによって積分定数が決定される。第二のケースにおいては=0から=xまでの積分は、正または負の偏角(アルクス)を持つ複素数の値を通じて積分が行われるかどうかに応じて=2πiだけ異なる値をとる。そして、前者の経路をとるならば=βの値における=iの係数(虚部)が正の無限大になるときに積分は無限小となり、後者の経路をとるならば、この係数が負の無限大になるときに無限小となる。ここから、左辺の=log(1−βs)をどのように決定すれば積分定数が消去(相殺)されるかが導かれる。
------------------------------------------------- 【零点に関する総和の順序と収束性の補足】 原文 wenn in Σα für α sämmtliche positiven (oder einen positiven reellen Theil enthaltenden) Wurzeln der Gleichung ξ(α)=0, ihrer Gröfse nach geordnet, gesetzt werden. Es läfst sich, mit Hülfe einer genaueren Discussion der Function ξ, leicht zeigen, dafs bei dieser Anordnung der Werth der Reihe
------------------------------------------------- 【無限和の収束性と条件収束の性質】 原文 bei unaufhörlichem Wachsen der Grölse b convergirt, übereinstimmt; durch veränderte Anordnung aber würde sie jeden beliebigen reellen Werth erhalten können. ⸻ 日本語訳 (前ページから続く:大きさbが絶え間なく増大するときに収束する値)と一致する。しかし、配置(足す順序)を変更したならば、それは任意のいかなる実数値をもとり得る。
------------------------------------------------- 【メビウスの反転公式による F(x) の導出】 原文 Aus f(x) findet sich F(x) mittelst der durch Umkehrung der Relation
f(x)=Σn1F(xn1)
sich ergebenden Gleichung
F(x)=Σ(−1)μm1f(xm1),
worin für m der Reihe nach die durch kein Quadrat aufser 1 theilbaren Zahlen zu setzen sind und μ die Anzahl der Primfactoren von m bezeichnet. ⸻ 日本語訳 f(x)からF(x)は、次の関係式の反転によって
------------------------------------------------- 【素数の分布密度と波動項】 原文 Beschränkt man Σα auf eine endliche Zahl von Gliedern,so giebt die Derivirte des Ausdrucks für f(x) oder, bis auf einen mit wachsendem x sehr schnell abnehmenden Theil,
logx1−2Σαlogxcos(αlogx)x−21
einen angenäherten Ausdruck für die Dichtigkeit der Primzahlen + der halben Dichtigkeit der Primzahlquadrate +31 von der Dichtigkeit der Primzahlcuben u. s. w. von der Grölse x. ⸻ 日本語訳 もしΣαを有限個の項に制限するならばf(x)の式の導関数(微分)、すなわちxの増大とともに極めて急速に減少する部分を除けば、
logx1−2Σαlogxcos(αlogx)x−21
は、大きさ x における、素数の密度 + 素数の平方(2乗)の密度の半分 + …(素数の3乗の密度の3分の1)などの近似的な表現を与える。
解説 リーマンは、先ほどの個数の式f(x)を微分することで、ある数 x の周辺にどれだけの割合で素数が存在するかという「素数の密度(分布密度)」の式を導いています。 第1項のlogx1はガウスが提示した滑らかな密度ですが、そこに第2項のΣαcos(…)という「波(振動)」の項が加わっています。ゼータ関数の零点αの一つ一つが、素数の分布の細かな粗密(波の周波数)を決定していることを視覚的に表した美しい公式です。
------------------------------------------------- 【ガウスの近似式 Li(x)の誤差評価】原文 Die bekannte Näherungsformel F(x)=Li(x) ist also nur bis auf Grölsen von der Ordnung der Grölse x21 richtig und giebt einen etwas zu grofsen Werth; denn die nicht periodischen Glieder in dem Ausdrucke von F(x) sind, von Grölsen, die mit x nicht in's Unendliche wachsen, abgesehen:
------------------------------------------------- 【実際の素数データを用いたガウス・ゴールドシュミットの計算との比較】 原文 In der That hat sich bei der von Gaufs und Goldschmidt vorgenommenen und bis zu x= drei Millionen fortgesetzten Vergleichung von Li(x) mit der Anzahl der Primzahlen unter x diese Anzahl schon vom ersten Hunderttausend an stets ⸻ 日本語訳 実際に、ガウスとゴールドシュミットによって行われx= 300万まで進められたLi(x)とx以下の素数の実際の個数との比較においては、この実際の個数はすでに最初の10万の時点から常に(次ページへ続く: Li(x)よりも小さい値をとることが示されている。)
------------------------------------------------- 【実際の素数データとの比較の続き・論文の結びへ】 原文 kleiner als Li(x) ergeben, und zwar wächst die Differenz unter manchen Schwankungen allmählich mit 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 F(x) würde die Function f(x) zeigen, welche sich schon im ersten Hundert sehr deutlich als mit Li(x)+logξ(0) im Mittel übereinstimmend erkennen läfst. ⸻ 日本語訳 Li(x)よりも小さい値であることが判明しており、実際にその差はいくらかの変動を伴いながらも x とともに徐々に増大している。しかし、周期的な項に依存する素数の局所的な「密」および「粗」の状態もまた、すでに数え上げの段階で注目を集めていた。ただし、そこから何らかの法則性が気づかれるまでには至っていなかった。もし将来的に新たな数え上げが行われるならば、素数の分布密度の式に含まれている個々の周期的項の影響を追跡することは興味深いことだろう。本来の素数個数関数F(x)よりも、関数f(x)の方がより規則的な推移を示すと考えられ、このf(x)は最初の「100」までの範囲においてさえ、平均してLi(x)+logξ(0)と非常によく一致していることがはっきりと認められる。