コンテンツにスキップ

リーマン予想

出典: フリー百科事典『ウィキペディア(Wikipedia)』
リーマンのゼータ関数 ζ(s) (s = 1/2 + ix) の実部(赤線)と虚部(青線)。最初の非自明な零点Im s = x = ±14.135, ±21.022, ±25.011 に現れる。
臨界線(s = 1/2 + ix)上を移動する点の軌跡をゼータ関数によって変換したもの。この軌跡は繰り返し原点を通る曲線になる。
直線の実部を変化させたときゼータ関数が描く軌跡の変化。実部が 1/2 のときに上記と同じく軌跡は繰り返し原点を通る曲線になる。

数学においてリーマン予想(リーマンよそう、: Riemann hypothesis, : Riemannsche Vermutung、略称:RH)は、リーマンゼータ関数零点が、負の偶数と、実部1/2複素数に限られるという予想である。リーマン仮説とも。ドイツの数学者ベルンハルト・リーマン(1859)により提唱されたため、その名称が付いている。この名称は密接に関連した類似物に対しても使われ、例えば有限体上の曲線のリーマン予想がある。

リーマン予想は素数の分布についての結果を含んでいる。適切な一般化と合わせて、純粋数学において最も重要な未解決問題であると考える数学者もいる[1]。リーマン予想は、ゴールドバッハの予想とともに、ヒルベルトの23の問題のリストのうちの第8問題英語版の一部である。クレイ数学研究所ミレニアム懸賞問題の1つでもある。

リーマンゼータ関数 ζ(s)1 を除くすべての複素数 s で定義され、複素数の値をとる関数である。その零点(つまり、関数値が 0 となる s)のうち、負の偶数 s = −2, −4, −6, … はその自明な零点と呼ばれる。しかしながら、負の偶数以外の零点も存在し、非自明な零点と呼ばれる。リーマン予想はこの非自明な零点の位置についての主張である:

リーマンゼータ関数のすべての非自明な零点の実部は 1/2 である。

いいかえると、

リーマンゼータ関数のすべての非自明な零点は、複素数平面上の直線 1/2 + itt実数)上にある。ここで i虚数単位である。この直線を臨界線 (英語: critical line) という。

リーマン予想に関する非専門の本が何冊か存在する[注 1]

概要

[編集]

リーマン素数の分布に関する研究を行っている際にオイラーが研究していた以下の級数をゼータ関数と名づけ、解析接続を用いて複素数全体への拡張を行った。

ゼータ関数を次のように定義する(複素数 s の実部が 1 より大きいとき、この級数絶対収束する)。

1859年にリーマンは自身の論文の中で、複素数全体 (s ≠ 1) へゼータ関数を拡張した場合、

ζ(s) の自明でない零点 s は、全て実部が 1/2 の直線上に存在する。

と予想した。ここに、自明な零点とは負の偶数 (−2, −4, −6, …) のことである。自明でない零点は 0 < Re s < 1[注 2] の範囲にしか存在しないことが知られており(下記の歴史を参照)、この範囲を臨界帯という。

なお素数定理はリーマン予想と同値な近似公式[注 3]からの帰結であるが、素数定理自体はリーマン予想が真であるという仮定がなくとも証明できる。この注意は歴史的には重要なことで、実際リーマンがはっきりとは素数定理を証明できなかった理由はリーマン予想の正否にこだわっていたためであると思われている(素数分布とゼータ関数との関係は下記#素数の分布や、リーマンゼータ関数素数定理リーマンの素数公式の項を参照のこと)。

現在もリーマン予想は解決されていない。数学における最も重要な未解決問題の一つである。リーマンのゼータ関数を特殊な場合に含むL関数に対しても同様の予想を考えることができ、これを一般化されたリーマン予想(Generalised Riemann Hypothesis:GRHと略される)と呼んでいる。

最近では、虚部が小さい方から10兆個 (X. Gourdon and P. Demichel, 2004) までの複素零点はすべてリーマン予想を満たすことが計算されており、現在までにまだ反例は知られていない。現在では多くの数学者がリーマン予想は正しいと考えているようである[注 4]。しかし無限にある零点からみれば有限に過ぎない10兆個程度の零点の例などは零点分布の真の姿を反映するには至らないとして、この計算結果に対して慎重な数学者もいる。歴史上有名な数学者の中でもリーマン予想を疑っている人物はいた[5]

リーマンゼータ関数

[編集]

リーマンゼータ関数は実部が 1 よりも大きい複素数 s に対して絶対収束無限級数

によって定義される。レオンハルト・オイラー(リーマンの生まれる40年前に亡くなった)はこの級数がオイラー積

に等しいことを示した、ここで無限積はすべての素数 p を走り、再び実部が 1 より大きい複素数 s に対して収束する。オイラー積の収束は、どの因子も零点を持っていないから、ζ(s) がこの領域において零点を持たないことを示している。

リーマン予想はこの級数とオイラー積の収束領域の外側での零点について議論する。予想が意味をなすために、関数を解析接続して、すべての複素数 s に対して有効な定義を与える必要がある。これは以下のようにディリクレのエータ関数英語版の言葉でゼータ関数を表すことによってできる。s の実部が 1 よりも大きければ、ゼータ関数は

を満たす。しかしながら、右辺の級数は s の実部が 1 より大きいときだけでなく、より広く s の実部が正のときにいつでも収束する。したがって、この代わりの級数はゼータ関数を Re s > 1 からより大きい領域 Re s > 0 に、1 − 2/2s の零点を除いて、拡張する(en:ディリクレのエータ関数を参照)。ゼータ関数はこれらの除かれた値にも極限を取ることによって拡張でき、s = 1 における一位の極を除いて、正の実部を持つすべての s の値に対して有限値を与える。

0 < Re s < 1 において、ゼータ関数は関数等式

を満たす。すると残りのすべての零でない複素数 s に対して ζ(s) を、この方程式が帯の外側でも成り立つと仮定し、ζ(s)s の実部が正でないときに方程式の右辺に等しいとすることで定義できる。s が負の偶数のとき、因子 sin(πs/2) が消えるから ζ(s) = 0 である。これらがゼータ関数の自明な零点である(s が正の偶数のときにはこの議論は適用しない、なぜならば正弦関数の零点はガンマ関数が負の整数の引数を取るからその極によって打ち消されるからである)。値 ζ(0) = +1/2 は関数等式からは定まらないが、s0 に近づくときの ζ(s) の極限値である。関数等式はまた、ゼータ関数が自明な零点の他には実部が負の零点を持たないことも意味しており、したがってすべての非自明な零点は、s の実部が 01 の間の臨界帯 (critical strip) にある。

歴史

[編集]

帰結

[編集]

リーマン予想の仮定の下で真である命題や、リーマン予想と同値である命題が、多く知られている。

同値な命題

[編集]

以下の各命題は、リーマン予想と同値である。

  • ある定数 C が存在して、十分大きな任意の x に対し、
が成り立つこと[6]。ここに li x対数積分を表す。これは
と表現しても同じことである。ただし、Oランダウの記号である。
  • 任意の自然数 n に対して
が成り立つこと[7]。ここに Hnn 番目の調和数、すなわち
で定義される有理数である。

素数の分布

[編集]

リーマンの素数公式は、与えられた数よりも小さい素数の個数を、リーマンのゼータ関数の零点を渡る和で表すものであり、予想される位置の周りでの素数の振動の大きさがゼータ関数の零点の実部によって制御されることを述べている。特に、素数定理における誤差項は、零点の位置に密接に関係している。例えば、β が零点の実部の上界であれば、差 π(x) − Li(x) は error bound O(xβ log(x)) を持つ[8]1/2β ≤ 1 であることが既に知られている[9]

Von Koch (1901) はリーマン予想が素数定理の誤差に対する「最良の」上界を導くことを示した。Schoenfeld (1976) による,Koch の結果の正確なバージョンによれば、リーマン予想から

が従う、ただし π(x)素数計数関数であり、log(x)x自然対数である。

Schoenfeld (1976) はまた、リーマン予想から

が従うことを示した。ここで ψ(x)第二チェビシェフ関数である。

Dudek (2014) はリーマン予想から次が従うことを示した:任意の x ≥ 2 に対して、ある素数 p が存在して、

が成り立つ。これはクラメルの定理の明示的なバージョンである。

数論的関数の増大

[編集]

リーマン予想は、上記の素数計数関数に加えて、他の多くの数論的関数の増大に関する強い上界も導く。

1つの例はメビウス関数 μ に関するものである。等式

が、実部が 1/2 よりも大きいすべての s に対して右辺の和が収束して成り立つという主張は、リーマン予想と同値である。このことから次のことも結論できる:Mertens 関数英語版

によって定義すると、すべての ε > 0 に対して

が成り立つという主張は、リーマン予想と同値である[10](これらの記号の意味については、ランダウの記法を参照)。order nRedheffer 行列英語版の行列式は M(n) に等しいので、リーマン予想はこれらの行列式の増大に関する条件としても述べることができる。リーマン予想は M の増大度についてかなりきつい制限を与える、というのも Odlyzko & te Riele (1985) がわずかに強い Mertens 予想英語版

を反証したからである.

リーマン予想は μ(n) の他の数論的関数の増大率についての多くの予想とも同値である。典型的な例は次の Robin の定理英語版 (Robin 1984) である:σ(n)

で与えられる約数関数とすると、

がすべての n > 5040 に対して成り立つことと、リーマン予想が真であることが同値である。ここで γEuler–Mascheroni 定数である。

別の例は Jérôme Franel英語版 によって発見され、ランダウによって拡張された[11]。リーマン予想は Farey 数列の項がかなり規則的であることを示すいくつかの主張と同値である。1つのそのような同値は以下のようである:Fn1/n で始まり 1/1 までの order n の Farey 数列とすると、すべての ε > 0 に対して

が成り立つという主張は、リーマン予想と同値である。ここで

は order n の Farey 数列における項の数である。

群論からの例として、g(n)ランダウの関数英語版とする、つまり n 次の対称群 Sn の元の最大位数とする。Massias, Nicolas & Robin (1988) はリーマン予想が十分大きい全ての n に対する上界

と同値であることを示した.

リンデレーフ予想とゼータ関数の増大

[編集]

リーマン予想は様々なより弱い結果も導く。その1つは リンデレーフ予想英語版である。これは臨界線上のゼータ関数の増大率に関する予想で、任意の ε > 0 に対して、 のとき

が成り立つというものである。

リーマン予想はまた、臨界帯の他の領域におけるゼータ関数の増大率に対するかなり鋭い上界も与える。例えば、

を与えるので、ζ(1 + it) とその逆数の増大率は2倍の違いを除いて分かることになる[12]

素数の間隔が大きいことの予想

[編集]

素数定理は平均的に素数 p とその次の素数の間の間隔log p であることを意味する。しかしながら、素数間の間隔には平均よりもはるかに大きいものもある。クラメルはリーマン予想を仮定してすべての間隔が O(p log p) であることを示した。これは、リーマン予想を用いて証明できる最もよい上界でさえ、正しいと思われるものよりも遥かに弱い場合である。すなわち、クラメルの予想英語版はすべての間隔が O((log p)2) であることを意味しており、これは平均間隔よりは大きいが、リーマン予想から導かれる上界よりは遥かに小さいのである.数値計算はクラメルの予想を支持している[13]

リーマン予想に同値な主張

[編集]

リーマン予想に同値な多くの主張が発見されているが、これまでのところそれらがリーマン予想を証明する(あるいは反証する)のに大きな進展をもたらしたことはない。いくつかの典型的な例は以下のようである。(他に約数関数英語版 σ(n) に関するものがある。)

Riesz の判定法Riesz (1916) によって与えられた、以下の主張である:

がすべての ε > 0 に対して成り立つこととリーマン予想が成り立つことは同値である。

Nyman (1950) はリーマン予想が真であることと次が同値であることを示した:

の形の関数全体のなす空間、ただし ρ(z)z の小数部分で、0 ≤ θν ≤ 1 で、

は、単位区間上の二乗可積分関数全体のなすヒルベルト空間 L2(0, 1) において稠密である。Beurling (1955) はこれを次を示すことで拡張した:ゼータ関数が実部が 1/p よりも大きい零点を持たないこととこの関数空間が Lp(0, 1) において稠密であることは同値である。

Salem (1953) はリーマン予想が真であることと次が同値であることを示した:積分方程式

1/2 < σ < 1 に対して非自明な有界な解 φ を持たない。

Weil の判定法英語版はある関数の正値性がリーマン予想と同値であるという主張である.関連するのは Li の判定法英語版で,ある数列の正値性がリーマン予想と同値であるという主張である。

Speiser (1934) はリーマン予想が次の主張と同値であることを証明した:ζ(s) の導関数 ζ′(s) は帯

に零点を持たない。ζ(s) が臨界線上に1位の零点しか持たないことはその導関数が臨界線上に零点を持たないことと同値である。

一般リーマン予想の帰結

[編集]

いくつかの応用は ディリクレの L 級数数体のゼータ関数のためにただのリーマン予想ではなく一般リーマン予想を用いる。リーマンゼータ関数の多くの基本的な性質はすべてのディレクレ L 級数に容易に一般化できるので、リーマンゼータ関数に対するリーマン予想を証明する手法がディレクレ L 級数に対する一般リーマン予想に対してもうまくいくというのはもっともらしい。一般リーマン予想を用いて初めに証明されたいくつかの結果は、後にそれを用いない無条件の証明が与えられたが、これらは通常はるかに難しい。以下のリストにある結果の多くは Conrad (2010) から取られている。

  • 1913年、グロンウォールは一般リーマン予想が類数1の虚二次体の Gauss のリストが完全であることを導くことを示した。しかし後に、Baker, Stark および Heegner が、一般リーマン予想を用いないこれの無条件の証明を与えた。
  • 1917年、ハーディとリトルウッドは、一般リーマン予想は
という Chebyshev による予想を導くことを示した。この予想はある意味で、4 を法として 3 に合同な素数は 1 に合同なものよりも多いということを言っている。
  • 1923年、ハーディとリトルウッドは、一般リーマン予想は奇数に対するゴールドバッハ予想の弱い形、すなわち十分大きい任意の奇数は3つの素数の和であることを導くことを示したが、1937年、Vinogradov は無条件下での証明を与えた。1997年、Deshouillers英語版, Effinger, te Riele, および Zinoviev は、一般リーマン予想は5よりも大きい任意の奇数は3つの素数の和であることを導くことを示した。
  • 1934年、Chowla は、一般リーマン予想は次を導くことを示した:等差数列 a mod m の最初の素数はある固定された定数 K に対して高々 Km2log(m)2 である。
  • 1967年、Hooley は一般リーマン予想が原始根に関する Artin の予想英語版を導くことを示した。
  • 1973年、Weinberger は一般リーマン予想が idoneal 数英語版の Euler のリストが完全であることを導くことを示した。
  • Weinberger (1973) は、すべての代数体のゼータ関数に対する一般リーマン予想が次を導くことを示した:類数 1 の任意の数体は、ユークリッド整域であるか、あるいは判別式が −19, −43, −67, あるいは −163 の虚二次体である。
  • 1976年、G. Miller は一般リーマン予想が次を導くことを示した:数が素数であるかどうかミラー判定法によって多項式時間で判定できる。2002年,Manindra Agrawal, Neeraj Kayal および Nitin Saxena は、AKS素数判定法を用いて無条件にこの結果を証明した。
  • Odlyzko (1990) は、一般リーマン予想を数体の判別式と類数のより鋭い評価を与えるためにどのように使うことができるかを議論した。
  • Ono & Soundararajan (1997) は一般リーマン予想が次を導くことを示した:Ramanujan の整二次形式英語版 x2 + y2 + 10z2 は、ちょうど18個の例外を除いて、それが局所的に表すすべての整数を表す。

排中律

[編集]

リーマン予想のいくつかの帰結はその否定の帰結でもあり、したがって定理である。(Ireland & Rosen 1990, p. 359) は,Heilbronnの類数定理の彼らの議論において、次のように言っている:

一般リーマン予想が偽であるということによって何が意味されるかを理解するのに注意を払うべきである:ちょうどどのクラスのディレクレ級数が反例を持っているのか特定すべきである。

このような論法は無理数の無理数乗で表される有理数が少なくとも1つ存在すること(京都大学入試問題)の証明やワイルズによるフェルマーの最終定理の証明などにも見られる(ワイルズの3-5トリック)。

リトルウッドの定理

[編集]

リトルウッドの定理は素数定理における誤差項の符号に関するものである。すべての x ≤ 1023 に対して π(x) < Li(x) であることが計算されており[要出典]π(x) > Li(x) であるような x の値は知られていない。このを参照。

1914年、リトルウッドは次のことを証明した:

となるような任意に大きい x の値が存在し、

となるような任意に大きい x の値も存在する。したがって、差 π(x) − Li(x) は無限回符号を変える。Skewes 数は最初の符号変化に対応する x の値の評価である.

リトルウッドの証明は2つの部分からなっている。リーマン予想を偽と仮定する部分(Ingham 1932, Chapt. V の約半ページ)と、リーマン予想を真と仮定する部分(約12ページ)である。

ガウスの類数予想

[編集]

ガウスの類数予想は,与えられた類数を持つ虚二次体は有限個しかないという(ガウスの Disquisitiones Arithmeticae の article 303 において最初に述べられた)予想である.それを示す1つの方法は、判別式 のとき類数 となることを示すことである。

リーマン予想に関わる以下の定理は Ireland & Rosen 1990, pp. 358–361 に記されている:

定理 (Hecke; 1918). D < 0 を虚二次体 K の判別式とする。すべての虚二次ディレクレ指標の L 関数に対する一般リーマン予想を仮定する。このとき

となるような絶対的な定数 C が存在する。

定理 (Deuring; 1933). リーマン予想が偽ならば,|D| が十分大きいとき h(D) > 1 である.

定理 (Mordell; 1934). リーマン予想が偽ならば、のとき である。

定理 (Heilbronn; 1934). 一般 Riemann 予想がある虚二次 ディレクレ指標の L 関数に対して偽ならば、 のとき である。

(Hecke と Heilbronn の仕事において、現れる L 関数は虚二次指標に付随するものだけであり、それは一般リーマン予想が真であるあるいは一般リーマン予想が偽であることが意図されているのはそれらの L 関数に対してのみである。ある三次のディレクレ指標の L 関数に対して一般 リーマン予想が成り立たなければ、一般リーマン予想は成り立たないが、これは Heilbronn が考えていたような一般リーマン予想の不成立ではなく、したがって彼の仮定は単に一般リーマン予想が偽であるというものよりも限定されていた。)

1935年、Carl Siegel はリーマン予想や一般リーマン予想を全く用いずに結果を強化した。

Growth of Euler's totient

[編集]

1983年、J. L. Nicolas英語版 は、無限個の n に対して

であることを示した (Ribenboim 1996, p. 320)。ただし φ(n)Euler のトーシェント関数で,γEuler の定数である。

Ribenboim は次のように注意している:

一般化と類似物

[編集]

ディリクレの L 級数と他の代数体

[編集]

リーマンのゼータ関数を、形式的には似ているがはるかに一般的な大域的 L-関数に置き換えることによって、リーマン予想を一般化することができる。このより広い設定において、大域的 L-関数の非自明な零点の実部が 1/2 であると期待される。リーマンのゼータ関数のみに対する古典的なリーマン予想よりもむしろ、これらの一般化されたリーマン予想が、数学におけるリーマン予想の真の重要性の理由である。

一般化されたリーマン予想 (generalized Riemann hypothesis) は、リーマン予想を全てのディリクレの L-関数へ拡張したものである。とくにこの予想は、ジーゲルの零点英語版1/21 の間にある L 関数の零点)が存在しないという予想を含んでいる。

拡張されたリーマン予想 (extended Riemann hypothesis) は、リーマン予想を代数体の全てのデデキントゼータ関数へと拡張したものである。有理数体のアーベル拡大に対する拡張されたリーマン予想は、一般化されたリーマン予想と同値である。リーマン予想は代数体のヘッケ指標L-関数へ拡張することもできる。

大リーマン予想英語版 (grand Riemann hypothesis) は、全ての保型形式のゼータ関数(例えばヘッケ固有形式英語版メリン変換)へ拡張したものである。

種々の結果

[編集]

リーマン予想を証明したと発表した数学者もいるが、正しい解答として受け入れられたものは2019年9月現在存在しない。Watkins (2007) はいくつかの正しくない解答をリストしており、より多くの正しくない解答は頻繁に発表されている[14]

例えば2004年には、ルイ・ド・ブランジュが証明に成功したと発表したが後に否定された[15][16]2018年には、マイケル・アティヤ微細構造定数の導出の副産物としてリーマン予想を証明したと発表したが、多くの専門家は懐疑的に見ている[17][18]。この論文は王立協会が発行する科学誌に投稿され、専門家らにより検証が進められていた[19]ものの、発表から数ヶ月を経て著者は死去、論文は撤回となった。

作用素理論

[編集]

ヒルベルトとポリヤはリーマン予想を導出する1つの方法は自己共役作用素を見つけることであると提案した。その存在から ζ(s) の零点の実部に関する例の主張が、実固有値に主張を適用すると従うのである。このアイデアのいくつかの根拠は、零点がある作用素の固有値に対応するリーマンゼータ関数のいくつかの類似から来る:有限体上の多様体のゼータ関数の零点はエタールコホモロジー群上のフロベニウス元の固有値に対応し、セルバーグゼータ関数の零点はリーマン面のラプラス作用素の固有値であり、p 進ゼータ関数の零点はイデール類群へのガロワ作用の固有ベクトルに対応する。

Odlyzko (1987) は、リーマンゼータ関数の零点の分布はガウスのユニタリアンサンブル英語版から来るランダム行列の固有値といくつかの統計学的性質を共有していることを示した。これはヒルベルト–ポリヤ予想にいくらかの根拠を与える。

1999年、マイケル・ベリージョナサン・キーティング英語版は古典ハミルトニアン H = xp のある未知の量子化 が存在して、以下を満たすと予想した。

あるいはさらに強く、リーマンの零点が作用素 のスペクトルと一致する。これは正準量子化と対照的である。正準量子化はハイゼンベルクの不確定性原理 を導き、量子調和振動子英語版のスペクトルとして自然数が得られる。重要な点は、ハミルトニアンは量子化がヒルベルト–ポリヤプログラムの実現であるように自己共役作用素であるべきことである。この量子力学の問題との関連で、ベリーとコンヌは以下を提案した。ハミルトニアンのポテンシャルの逆は関数

の半微分と関連があり、ベリー–コンヌのアプローチでは

(Connes 1999). これは次のようなハミルトニアンを生み出す。固有値がリーマンの零点の虚部の平方であり、またこのハミルトニアン作用素の汎関数行列式はリーマンのクシー関数である。実はリーマンのクシー関数はコンヌらによって証明されたように汎関数行列式(アダマール積)

の定数倍であり、このアプローチでは

有限体上のリーマン予想との類似は、零点と対応する固有ベクトルを含むヒルベルト空間は整数のスペクトル Spec(Z) のある種の1次コホモロジー群かもしれないと示唆する。Deninger (1998) はそのようなコホモロジー論を見つける試みのいくつかを記述した (Leichtnam 2005)。

Zagier (1981) はラプラス作用素の下でリーマンゼータ関数の零点に対応する固有値をもつ上半平面上の不変関数の自然な空間を構成した。そして、この空間上の適切な正定値内積の存在を示すというありそうもないイベントにおいてリーマン予想が従うことを注意した。Cartier (1982) は関連した例を議論した。奇妙なバグによってコンピュータープログラムが同じラプラス作用素の固有値としてリーマンゼータ関数の零点をリストするのである。

Schumayer & Hutchinson (2011) はリーマンゼータ関数に関連した適切な物理模型を構成する試みのいくつかをサーベイした。

リー–ヤンの定理

[編集]

リー・ヤンの定理は、統計力学におけるある分割関数の零点がすべて実部 0 の「臨界線」上に乗っていると述べており、これはリーマン予想との関係についての推測をもたらした (Knauf 1999)。

トゥランの結果

[編集]

Pál Turán (1948) は次のことを示した。関数

s の実部が 1 よりも大きいときに零点をもたないならば、

となる。ここで λ(n)リュービル関数英語版で、nr 個の素因子をもつとき (−1)r によって与えられる。彼はこのことからリーマン予想が真であることが導かれると示した。しかしながら、Haselgrove (1958)T(x) は無限個の x で負であること示し(また密接に関連したポリア予想も反証し)、Borwein, Ferguson & Mossinghoff (2008) は最小のそのような x72185376951205 であることを示した。Spira (1968) は数値計算によって、上の有限ディリクレ級数が N = 19 のときに実部が 1 よりも大きい零点をもつことを示した。トゥランはまた、いくぶん弱い仮定、すなわち上の有限ディリクレ級数で大きい N に対して実部が 1+N -+1/2 よりも大きい零点が存在しないことが、リーマン予想を導くことを示したが、Montgomery (1983) はすべての十分大きい N に対してこれらの級数は実部が 1 + log (log N)/4 log N よりも大きい零点をもつことを示した。したがって、トゥランの結果は空虚な真であって、リーマン予想の証明のためには使えない。

非可換幾何学

[編集]

Connes (1999, 2000) はリーマン予想と非可換幾何学の間の関係を記述し、アデール類空間へのイデール類群の作用に対するセルバーグ跡公式の適切な類似があればリーマン予想が従うことを示した。これらのアイデアのいくつかは Lapidus (2008) に詳細に述べられている。

整関数のヒルベルト空間

[編集]

Louis de Branges (1992) はリーマン予想がある整関数のヒルベルト空間上の正性条件から従うことを示した。しかしながら、Conrey & Li (2000) は必要な正性条件が満たされないことを示した。この障害にもかかわらず、ド・ブランジュは同じ方針でリーマン予想を証明しようと取り組み続けたが、他の数学者から広く受け入れられていない (Sarnak 2005)。

準結晶

[編集]

リーマン予想はゼータ関数の零点が準結晶をなすことを意味する、つまり discrete support をもつ distribution でありそのフーリエ変換も discrete support をもつ。Dyson (2009) は1次元の準結晶を分類する、あるいは少なくとも研究することによって、リーマン予想を証明しようとすることを提案した。

数体上の楕円曲線のモデルの数論的ゼータ関数

[編集]

幾何次元 1、例えば代数体、から、幾何次元 2、例えば数体上の楕円曲線の regular model, に行った時、モデルの数論的ゼータ函数に対する一般リーマン予想の2次元部分はゼータ関数の極を扱う。次元1ではテイト論文におけるゼータ積分の研究はリーマン予想に関して新しい重要な情報を導かなかった。これに対し、次元 2 ではテイト論文の2次元の一般化に関するイヴァン・フェセンコの研究はゼータ関数に密接に関係するゼータ積分の積分表現を含む。次元 1 では可能ではなかったこの新しい状況において、ゼータ関数の極はゼータ積分と付随するアデール群を通して研究することができる。ゼータ積分に伴う boundary function の四次導関数の正性に関する Fesenko (2010) の関連した予想は一般リーマン予想の極部分を本質的に含む。Suzuki (2011) はある技術的仮定と合わせて後者がフェセンコの予想を導くことを示した。

多重ゼータ関数

[編集]

有限体上のリーマン予想のドリーニュの証明は、もとのゼータ関数の零点の実部を制限するために、零点と極がもとのゼータ関数の零点と極の和に対応する、積多様体のゼータ関数を用いた。アナロジーによって、Kurokawa (1992) は零点と極がリーマンゼータ関数の零点と極の和に対応する多重ゼータ関数を導入した。級数を収束させるため彼はすべて非負の虚部をもつ零点や極の和に制限した。今のところ、多重ゼータ関数の零点と極について知られている制限はリーマンゼータ関数の零点に対して有用な評価を与えるほど強くない。

零点の位置

[編集]

零点の個数

[編集]

関数等式を偏角の原理と合わせて考えれば虚部が 0T の間にあるゼータ関数の零点の個数は s = 1/2 + iT に対して次で与えられる:

ここに偏角は、偏角 0∞ + iT から出発し、直線 Im s =T に沿って連続的に変化させることで定義される。これは大きいがよく分かっている項

と小さいがよく分かっていない項

の和である。なので虚部が T の近くの零点の密度は約 log T/2π であり、関数 S はこれとの小さな差を記述する。関数 S(t) はゼータ関数の各零点において 1 飛び、t ≥ 8 に対しては零点の間で導関数がおよそ −log t で単調に減少する。

零点の存在

[編集]

Hardy (1914)Hardy & Littlewood (1921) は、ゼータ関数に関連したある関数のモーメントを考えることによって、臨界線上には零点が無限個存在することを証明した。Selberg (1942) は、少なくとも(小さい)正の割合の零点は臨界帯上にあることを証明した。Levinson (1974) は、ゼータ関数の零点をゼータ関数の導関数の零点と関連付けることで、それを 1/3 に改善し、Conrey (1989) はさらに 2/5 に改善した。

真偽の議論

[編集]

リーマン予想に関する数学の論文は、それが真であるかどうか注意深く明言しない傾向にある。Riemann (1859)Bombieri (2000) のように、意見を述べる人の大半は、リーマン予想は正しいと予想(あるいは少なくとも期待)している。これについて深刻に疑問を呈することを表明する人は少なく、その中には Ivić (2008)Littlewood (1962) がいる。Ivić は懐疑的に考えている理由を並べている。また Littlewood は、誤りであると信じており、正しいという何らの証拠がない、正しいことを示す想像できる理由も全く存在しない、ときっぱり述べている。サーベイの論文 (Bombieri 2000, Conrey 2003, Sarnak 2008) の共通認識としては、リーマン予想が正しいという証拠は、強いが圧倒的ではないので、おそらく正しいであろうが、これを疑問視するのも妥当であるとしている。

関連項目

[編集]

脚注

[編集]

注釈

[編集]
  1. ^ 例えば ブルーバックス (2015)[2]Derbyshire (2003), Rockmore (2005), (Sabbagh 2003a, 2003b), du Sautoy (2003).本 Edwards (1974), Patterson (1988), Borwein et al. (2008), Mazur & Stein (2015) は数学的な入門を与え、Titchmarsh (1986), Ivić (1985), Karatsuba & Voronin (1992) は進んだモノグラフである。さらに、John Forbes Nash Jr. と Michael Th. Rassias によって編集された本 Open Problems in Mathematics英語版 は、Alain Connes によるリーマン予想に関する広範なエッセイを取り上げている[3][4]
  2. ^ Re は複素数の実部を示す記号。
  3. ^ 素数計数関数 π(x)対数積分による近似公式を指す。同値命題の節の第一の命題を参照。リーマンの素数公式より、π(x) の対数積分による近似の誤差項はゼータ関数の零点が臨界帯の両端から遠ければ遠いほど小さくなることが分かる。この距離が最大限に遠いということ、即ち全てのゼータ零点が臨界帯の中心線上に整列しており、近似の誤差がその方針で考え得る限り最も小さくなるだろうということがリーマン予想のそもそもの意味である。
  4. ^ 当然のことだが、はっきりした根拠を持たずに。

出典

[編集]
  1. ^ Bombieri 2000.
  2. ^ 中村, 亨. (2015). リーマン予想とは何か. 講談社, 東京 
  3. ^ Nash, J. F.; Rassias, M. Th. (2016). Open Problems in Mathematics. Springer, New York 
  4. ^ Connes, Alain (2016). “An Essay on the Riemann Hypothesis”. In: Open Problems in Mathematics (J. F. Nash Jr. and M. Th. Rassias, eds.), Springer: 225–257. doi:10.1007/978-3-319-32162-2_5. 
  5. ^ ダービーシャー 2004, pp. 309, 411.
  6. ^ Helge von Koch, "Sur la distribution des nombres premiers", Acta Mathematica 24 (1901), 159–182. doi:10.1007/BF02403071
  7. ^ Lagarias, Jeffrey C., "An elementary problem equivalent to the Riemann hypothesis." American Mathematical Monthly 109 (2002), no. 6, 534-543.
  8. ^ Ingham 1932, Theorem 30.
  9. ^ Ingham 1932, p. 82.
  10. ^ J.E. Littlewood, 1912; see for instance: paragraph 14.25 in Titchmarsh (1986)
  11. ^ Franel & Landau 1924.
  12. ^ Titchmarsh 1986.
  13. ^ Nicely 1999.
  14. ^ the Riemann hypothesis”. arxiv.org (2018年10月3日). 2018年10月3日閲覧。
  15. ^ リーマン予想 - 意味・説明・解説 : ASCII.jpデジタル用語辞典”. yougo.ascii.jp. 2018年10月11日閲覧。
  16. ^ リーマン予想の150年. Kurokawa, Nobushige, 1952-, 黒川, 信重, 1952-. 東京: 岩波書店. (2009). ISBN 9784000067928. OCLC 676013439. https://www.worldcat.org/oclc/676013439 
  17. ^ “Famed mathematician claims proof of 160-year-old Riemann hypothesis” (英語). New Scientist. https://www.newscientist.com/article/2180406-famed-mathematician-claims-proof-of-160-year-old-riemann-hypothesis/#.W6l4nF6LAG9.twitter 2018年9月25日閲覧。 
  18. ^ “2018-The_Riemann_Hypothesis.pdf”. Google Docs. https://drive.google.com/file/d/17NBICP6OcUSucrXKNWvzLmrQpfUrEKuY/view 2018年9月25日閲覧。 
  19. ^ “超難問「リーマン予想」証明? 英数学者に懐疑的な声も:朝日新聞デジタル” (日本語). 朝日新聞デジタル. https://www.asahi.com/articles/ASL9T42NNL9TULBJ004.html?_requesturl=articles/ASL9T42NNL9TULBJ004.html&rm=606 2018年10月11日閲覧。 

参考文献

[編集]
和書
洋書

外部リンク

[編集]