リーマン予想

リーマンのゼータ関数 ζ(1/2 + ix) の実部（赤色）と虚部（青色）を表したもの。自明でない零点が x = ±14.135, ±21.022, ±25.011 に現れる。

リーマン予想（リーマンよそう、Riemann Hypothesis）とは、ドイツの数学者ベルンハルト・リーマンによって提唱された、ゼータ関数の零点の分布に関する予想である。英語表記 Riemann Hypothesis の直訳であるリーマン仮説と表記したり、RH と略すこともある。数学上の未解決問題の一つであり、クレイ数学研究所はミレニアム懸賞問題の一つとしてリーマン予想の解決者に対して100万ドルの懸賞金を支払うことを約束している。

概要

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

ゼータ関数を次のように定義する。

$\zeta (s)=1+\frac{1}{2^s} +\frac{1}{3^s} +\frac{1}{4^s} + ... =\sum_{n=1}^\infty \frac{1}{n^s}$

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

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

と予想した。ここに、自明な零点とは負の偶数 (−2, −4, −6, ...) のことである。自明でない零点は0 < Re(s) < 1の範囲にしか存在しないことが知られており（下記の歴史を参照）、この範囲をクリティカル・ストリップという。

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

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

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

リーマン予想の歴史

• 1859年にリーマンは論文「与えられた数より小さい素数の個数について」を発表し、その中でリーマン予想を提示した。リーマン自身はその証明を試みて成功しなかったことを認めているが中間的な結果としてゼータ関数の自明でない零点の実数部が 1/2 について対称であり、かつ 0 から 1 の間（境界を含む）にしか存在しないことを示していた。
• 1896年にド・ラ・ヴァレ・プーサンとアダマールが独立に素数定理を証明したが、それはゼータ関数の自明でない零点の実数部が1になりえないことの証明によるものだった。よって自明でない零点の実数部の範囲は、境界を含まないところまで狭められた。
• 1900年にパリで開かれた第2回国際数学者会議でヒルベルトは数学上の未解決の問題23題（ヒルベルトの23の問題）を提起した。リーマン予想はこの内、素数の分布に関する8番目の問題に含まれている。
• 1914年、ハーディとリトルウッドは Re(s) = 1/2 上に零点が無限に存在することを示した。ただし、この他に零点が存在する可能性は排除できていない。
• 1972年、ヒュー・モンゴメリーと物理学者フリーマン・ダイソンが、ゼータ関数上の零点の分布の数式が、原子核のエネルギー間隔を表す式と一致することを示し、素数と核物理現象との関連性が示唆された。以降物理学者も含めてリーマン予想の研究が活発化する。
• 1996年、シアトルで第一回世界リーマン予想会議が開催される。この中でアラン・コンヌが素数問題と非可換幾何との関係性を示した。
• 2000年にクレイ数学研究所 (Clay Mathematics Institute) はリーマン予想の証明を含む数学の未解決問題7問に対してそれぞれ100万ドルの賞金を懸けた（ミレニアム懸賞問題）。
• 2004年6月、米パデュー大学の数学者ルイ・ド・ブランジュは、自身のウェブサイトでリーマン予想を証明したと発表し、論文も公表した。しかし、多くの数学者は彼の証明が正しくないと考えている。彼は、幾度も証明を主張しては反証されている。
• 2009年、ルイ・ド・ブランジュが再度リーマン予想の証明を発表（4度目）。NHKによって放送されたドキュメンタリーでも取り上げられた。

同値命題

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

• 十分大きな任意の x に対し、

  $|\pi(x) - {\rm li}(x)| \leq C\,\sqrt x\,\ln(x)$

  が成り立つような定数 C が存在すること。ここに li(x) は対数積分を表す。これは

  $\pi(x)={\rm li}(x)+O(x^{1/2+\epsilon})\,$

  と表現しても同じことである。ただし、O はランダウの記号である。
• 自然数 n の正の約数の和を σ(n)（約数関数）で表すとき、n > 5040 に対して

  $\sigma(n) < e^\gamma n \ln \ln n \,$

  が成り立つこと。ここに γ はオイラー定数を表す。
• 任意の自然数 n に対して

  $\sigma(n) \le H_n + \ln(H_n)e^{H_n}$

  が成り立つこと。ここに H_n は n 番目の調和数、すなわち

  $H_n=\sum_{k=1}^n \frac{1}{k}$

  で定義される有理数である。

関連文献

• Harold M. Edwards (2001). Riemann's Zeta Function. Dover Publications. ISBN 0-486-41740-9. 
  • ハロルド・M・エドワーズ 『明解　ゼータ関数とリーマン予想』 鈴木治郎 訳、講談社、2012年6月25日。ISBN 978-4-06-155799-4。
• 『リーマン予想』 鹿野健 編、日本評論社、1991年9月。ISBN 4-535-78181-8。
• 黒川信重・梅田亨・若山正人・中島さち子 『ゼータの世界』 日本評論社、1999年6月。ISBN 4-535-78261-X。
• 黒川信重・若山正人 『絶対カシミール元』 岩波書店、2002年2月22日。ISBN 4-00-006270-0。
• 『ゼータ研究所だより』 黒川信重 編、日本評論社、2002年3月。ISBN 4-535-78344-6。
• 黒川信重 『オイラー、リーマン、ラマヌジャン　時空を超えた数学者の接点』 岩波書店〈岩波科学ライブラリー 126〉、2006年12月8日。ISBN 4-00-007466-0。
• 黒川信重・小山信也 『絶対数学』 日本評論社、2010年9月。ISBN 978-4-535-78552-6。
• 黒川信重・小山信也 『リーマン予想のこれまでとこれから』 日本評論社、2009年12月。ISBN 4-535-78550-2。
• 黒川信重 『リーマン予想の150年』 岩波書店〈数学，この大きな流れ〉、2009年11月。ISBN 978-4-00-006792-8。
• 黒川信重・小山信也 『リーマン予想の数理物理　ゼータ関数と分配関数』 サイエンス社〈臨時別冊・数理科学 SGCライブラリ 86〉、2011年11月25日。
• 黒川信重 『リーマン予想の探求　ABCからZまで』 技術評論社〈知りたい!サイエンス 118〉、2012年11月30日。ISBN 978-4-7741-5388-9。
• 小山信也 『素数からゼータへ、そしてカオスへ』 日本評論社、2010年12月。ISBN 978-4-535-78553-3。
• カール・サバー 『リーマン博士の大予想　数学の未解決最難問に挑む』 黒川信重 監修、南條郁子 訳、紀伊国屋書店、2004年12月7日。ISBN 4-314-00973-X。 - 原タイトル：Dr.Rieman’s zero.
• 清水健一 『大学入試問題で語る数論の世界　素数、完全数からゼータ関数まで』 講談社〈ブルーバックス B-1743〉、2011年10月20日。ISBN 978-4-06-257743-4。
• マーカス・デュ・ソートイ 『素数の音楽』 冨永星 訳、新潮社〈新潮クレスト・ブックス〉、2005年8月31日。ISBN 4-10-590049-8。 - 原タイトル：The music of the primes.
• ジョン・ダービーシャー 『素数に憑かれた人たち　リーマン予想への挑戦』 松浦俊輔 訳、日経BP社、2004年8月30日。ISBN 4-8222-8204-X。 - 原タイトル：Prime obsession.
• E.C. Titchmarsh (1987). The Theory of the Riemann Zeta-Function (2nd ed.). Oxford University Press. ISBN 0-19-853369-1. 
• 『岩波 数学辞典』 日本数学会 編、岩波書店、2007年3月15日、第4版。ISBN 978-4-00-080309-0。
• 松本耕二 『リーマンのゼータ関数』 朝倉書店〈開かれた数学 1〉、2005年11月20日。ISBN 4-254-11731-0。
• 本橋洋一 『リーマンゼータ函数と保型波動』 共立出版〈共立講座21世紀の数学 第21巻〉、1999年1月。ISBN 4-320-01573-8。
• 本橋洋一 『解析的整数論 2（ゼータ解析）』 朝倉書店〈朝倉数学大系 2〉、2011年7月10日。ISBN 978-4-254-11822-3。
• リーマン 『リーマン論文集』 足立恒雄・杉浦光夫・長岡亮介 編、朝倉書店、2004年2月20日。ISBN 4-254-11460-5。

関連項目

• 与えられた数より小さい素数の個数について - リーマンの原論文。エドワーズ (2012)・鹿野 (1991)・リーマン (2004)に収録。
• L関数
• ゼータ関数
• 素数定理
• ヒルベルトの23の問題
• ベルンハルト・リーマン
• ミレニアム懸賞問題
• モンゴメリー・オドリズコ予想
• ヒルベルト・ポリア予想

外部リンク

• 知恵蔵2013『リーマン予想』 - コトバンク
• 原論文「与えられた数より小さな素数の個数について」の日本語訳 (PDF)
• Weisstein, Eric W., "Riemann Hypothesis" - MathWorld.（英語）
• The Riemann Hypothesis（英語）