黎曼猜想

**黎曼猜想**（，RH）由德国數學家波恩哈德·黎曼於1859年提出。它是數學中一個重要而又著名的未解決的問題，有「猜想界皇冠」之稱，多年來它吸引了許多出色的數學家為之絞盡腦汁。其猜想為：

黎曼猜想是關於黎曼ζ函數\zeta (s)的零點分佈的猜想。黎曼ζ函數在任何複數s \neq 1上有定義。它在負偶數上也有零點（例如，當s=-2, s=-4, s=-6,\cdots）。這些零點是「平凡零點」。黎曼猜想關心的是非平凡零點。

黎曼猜想提出：
:黎曼ζ函數非平凡零點的實數部份是\frac{1}{2}

即所有的非平凡零點都應該位於直線\frac{1}{2}+it（“臨界綫”）上。t為一實數，而i為虛數單位。沿臨界綫的黎曼ζ函數有時通過Z-函數進行研究。它的實零點對應於ζ函數在臨界綫上的零點。

素数在自然数中的分布问题在纯粹数学和应用数学上都很重要。素数在自然数中的分布並没有簡單的規律。黎曼（1826－1866）发现素数出现的频率与黎曼ζ函數紧密相关。

1901年Helge von Koch指出，黎曼猜想與强条件的素數定理\pi \left( x \right) = \operatorname{Li} (x) + O\left( {\sqrt x \ln x} \right)等價。现在已经验证了最初的1,500,000,000个素數對這個定理都成立。但是是否所有的解對此定理都成立，至今尚無人給出證明。

黎曼猜想之所以被認爲是當代數學中一個重要的問題，主要是因為很多深入和重要的數學甚至是部分物理結果都能在它成立的大前提下得到證明。大部份數學家也相信黎曼猜想的正確性（約翰·恩瑟·李特爾伍德與阿特勒·塞爾伯格曾提出懷疑。塞爾伯格于晚年部分改變了他的懷疑立場。在1989年的一篇論文中，他猜測黎曼猜想對更廣泛的一類函數也應當成立）。克雷數學研究所設立了$1,000,000美元的奬金給予第一個得出正確證明的人。

## 歷史

黎曼1859年在他的論文《**'》中提及了這個著名的猜想，但它並非該論文的中心目的，他也沒有試圖給出證明。黎曼知道ζ函數的不平凡零點對稱地分佈在直線<math>s = \frac{1}{2} + it</math>上，以及他知道它所有的不平凡零點一定位於區域<math>0 \leq \text{Re}(s) \leq 1</math>中。

1896年，[[雅克·阿達馬]]和分別獨立地證明了在直線<math>\text{Re}(s) = 1</math>上沒有零點。連同了黎曼對於不非凡零點已經證明了的其他特性，這顯示了所有不平凡零點一定處於區域<math>0 < \text{Re}(s) < 1</math>上。這是[[質數定理]]第一個完整證明中很關鍵的一步。

1900年，[[大卫·希尔伯特]]將黎曼猜想包括在他著名的[[希尔伯特的23个问题|23條問題]]中，與[[哥德巴赫猜想]]一起組成了希爾伯特名單上的第8號問題。同时黎曼猜想也是[[希尔伯特的23个问题|希尔伯特问题]]中唯一一个被收入[[克雷数学研究所]]的[[千禧年大獎難題]]的。希尔伯特曾说，如果他在沉睡1000年后醒来，他将问的第一个问题便是：黎曼猜想得到证明了吗？

1914年，[[高德菲·哈羅德·哈代]]證明了有無限個零點在直線<math>\text{Re}(s) = \frac{1}{2}</math>上。然而仍然有可能有無限個不平凡零點位於其它地方（而且有可能是最主要的零點）。後來哈代與[[約翰·恩瑟·李特爾伍德]]在1921年及塞爾伯格在1942年的工作（臨界線定理）也就是計算零點在臨界線<math>\text{Re}(s) = \frac{1}{2}</math>上的平均密度。

近年來的工作主要集中於清楚的計算大量零點的位置（希望藉此能找到一個反例）以及對處於臨界線以外零點數目的比例置一上界（希望能把上界降至零）。

== 黎曼猜想與質數定理 ==
黎曼猜想傳統的表達式隠藏了這個猜想的真正重要性。[[黎曼ζ函數]]與[[質數]]的分佈有著深厚的連結。Helge von Koch在1901年證明了黎曼猜想等價於[[質數定理]]一個可觀的強化：給出任何<math>\varepsilon > 0</math>，我們有

:<math>\left|\pi(x) - \int_0^x \frac{\mathrm{d}t}{\ln(t)}\right| = O(x^{1/2+\varepsilon}), </math>

式中<math>\pi(x)</math>為[[質數計數函數]]，<math>\ln(x)</math>為<math>x</math> 的[[自然對數]]，以及右手邊用上了[[大O符號]]。一個由Lowell Schoenfeld提出的非近似版本，表示黎曼猜想等價於：<math>\left|\pi(x) - \int_0^x \frac{\mathrm{d}t}{\ln(t)}\right| <\frac{1}{8\pi} \sqrt{x} \, \ln(x), \qquad \text{for all } x \ge 2657</math>。

黎曼ζ函數的零點與質數滿足一個稱為**明確公式**的對偶性，這表明了：在[[调和分析]]的意義下，黎曼ζ函數的零點可視為質數分佈的谐波。

將黎曼ζ函數代為更一般的[[L-函數]]，此時仍有相應的猜想：整體L-函數的非平凡零點的實部必等於<math>1/2</math>。這被稱為[[廣義黎曼猜想]]。[[函數域]]上的廣義黎曼猜想已被證明，[[數域]]的情形仍懸而未決。

== 黎曼猜想之結果及其等價命題 ==
黎曼猜想的實際用途包括一些在黎曼猜想成立前提底下能被證明為真的命題，當中有些更被證明了跟黎曼猜想等價。其中一個就是以上素數定理誤差項的增長率。

=== 默比烏斯函數的增長率 ===
其中一個命題牽涉了[[默比烏斯函數]]<math>\mu</math>。命題「等式

:<math>\frac{1}{\zeta(s)} = \sum_{n=1}^\infty \frac{\mu(n)}{n^s}</math>

在<math>s</math>的實部大於<math>\frac{1}{2}</math>的時候成立，而且右邊項的和收斂」就等價於黎曼猜想。由此我們能夠總結出假如Mertens函數的定義為

:<math>M(x) = \sum_{n \le x} \mu(n)</math>

那黎曼猜想就等價於對任何<math>\varepsilon > 0</math>都有
:<math>M(x) = O(x^{1/2+\varepsilon})</math>，
這將會對於<math>M</math>的增長給出了一個更緊的限制，因為即使沒有黎曼猜想我們也能得出

:<math>M(x) \ne o(x^\frac{1}{2})</math>

（關於這些符號的意思，見[[大O符號]]。）

=== 積性函數增長率 ===
黎曼猜想等價於一些除<math>\mu(n)</math>以外一些[[積性函數]]增長率的猜想。例如，[[因數函數]]<math>\sigma(n)</math>由下式給出：

:<math>\sigma(n) = \sum_{d\mid n} d </math>

那在<math>n > 5040</math>的時候，

:<math>\sigma(n) < e^\gamma n \ln \ln n</math>，

這名為Robin定理並在1984年以Guy Robin命名。另一個有關的上限在2002年由Jeffrey Lagarias提出，他證明了黎曼猜想等價於命題「對於任意自然數<math>n</math>，

:<math> \sigma(n) \le H_n + \ln(H_n)e^{H_n}</math>

而<math>H_n</math>為第<math>n</math>個[[调和数]]<math>H_n := 1 + \frac{1}{2} + \ldots + \frac{1}{n}</math>。

=== 里斯判準與二項式係數和 ===
里斯判準由里斯在1916年給出，它斷言黎曼猜想等價於下式對所有<math>\epsilon > 0</math>成立
:<math>-\sum_{k=1}^\infty \frac{(-x)^k}{(k-1)!\,\zeta(2k)}=O\left(x^{1/4+\epsilon}\right)</math>
[[高德菲·哈羅德·哈代|哈代]]稍後於1918年以波萊爾求和法及[[梅林變換]]證明了下式的積分表法。
:<math>-\sum_{k=1}^\infty \frac{(-x)^k}{(k-1)!\,\zeta(2k)}=f(x)</math>
其它相關的[[積性函數]]的增長率也具有與黎曼猜想等價的表述。

考慮[[二項式係數]]和
:<math>c_k = \sum_{j=0}^k (-1)^j {k \choose j} \frac {1}{\zeta(2j+2)}</math>，
Báez-Duarte與Flajolet、Brigitte Vallée證明了黎曼猜想等價於對所有的<math>\epsilon > 0</math>下式成立
:<math>c_k \ll k^{-3/4+\epsilon}</math>。

類似的還有以下級數
:<math>d_k = \sum_{j=2}^k (-1)^j {k \choose j} \frac {1}{\zeta(j)}</math>。
對此。Flajolet與Vepstas證明了黎曼猜想等價於對所有的<math>\epsilon > 0</math>下式成立
:<math>|d_n| < C_\epsilon n^{1/2+\epsilon}</math>
其中的<math>C_\epsilon</math>是依賴於<math>\epsilon</math>的某個常數。

=== 韋伊判準、李判準 ===
[[韋伊判準]]斷言某些函數的正定性等價於廣義黎曼猜想。與此相似的還有李判準，這斷言某些數列的正性等價於黎曼猜想。

=== 与法里數列的關係 ===
另外兩個跟黎曼猜想等價的命題牽涉了[[法里數列]]。假如<math>F_n</math>是法里數列中的第<math>n</math>項，由<math>\frac{1}{n}</math>開始而終於<math>\frac{1}{1}</math>，那命題「給出任何<math>e > \frac{1}{2}</math>

:<math>\sum_{i=1}^m|F_n(i) - i/m| = O(n^e)</math>

」等價於黎曼猜想。在這裏<math>m = \sum_{i=1}^n\phi(i)</math>是法里數列中<math>n</math>階項的數目。類似地等價於黎曼猜想的命題是「給出任何<math>e > -1</math>.

:<math>\sum_{i=1}^m(F_n(i) - i/m)^2 = O(n^e)</math>」

=== 跟群論的關係 ===
黎曼猜想等價於[[群論]]中的一些猜想。舉例說，<math>g(n)</math>，是[[对称群 (n次对称群)|對稱群]]<math>S_n</math>的所有元素的秩之中，最大的一個，也就是[[蘭道函數]]，則黎曼猜想等價於：對夠大的<math>n</math>，下式成立：
:<math>\ln g(n) < \sqrt{\operatorname{Li}^{-1}(n)}</math>。

=== 临界线定理 ===
黎曼猜想等價於命題「<math>\zeta(s)</math>的導函數<math>\zeta'(s)</math>在區域
:<math>0 < \text{Re}(s) < \frac12</math>
上無零點。」
函數ζ在臨界線上只有單零點的充要條件是其導函數在臨界線上非零。所以若黎曼猜想成立，命題中的非零區域可以延伸為<math>0 < \text{Re}(s) \le \frac12</math>。這條進路帶來了一些成果。Norman Levinson將此條件加細，從而得到了較強的[[臨界線定理]]。

== 已否證的猜想 ==
一些比黎曼猜想強的猜想曾被提出，但它們有被否證的趨勢。Paul Turan證明了假如級數
:<math>\sum_{n=1}^M n^{-s}</math>
當<math>\text{Re}\left(s\right)>1</math>時沒有零點，則黎曼猜想成立，但Hugh Montgomery證明了這前提並不成立。另一個更強的[[默滕斯猜想]]也同樣被否證。

== 相對弱的猜想 ==

=== 林德勒夫猜想 ===
黎曼猜想有各種比較弱的結果；其中一個是由芬蘭數學家恩斯特·列奧納德·林德勒夫（Ernst Leonard Lindelöf）所提出，關於ζ函數於臨界線上的增長速度的猜想，表明了給出任意的<math>e > 0</math>，當<math>t</math>趨向無限，

:<math>\zeta\left(\frac12 + it\right) = O(t^e)</math>。

記第<math>n</math>個素數為<math>p_n</math>，一個由英國數學家阿爾伯特·英厄姆(Albert Ingham)得出的結果顯示，[[林德勒夫猜想]]將推導出「給出任意<math>e > 0</math>，對足夠大的<math>n</math>有

:<math>p_{n+1}-p_n<p_n^{\frac{1}{2}+e}</math>」

不過這個結果比大素數間隙猜想弱，詳如下述。

=== 大質數間隙猜想 ===
另一個猜想是大[[質數間隙]]猜想。[[哈拉爾德·克拉梅爾]]證明了：假設黎曼猜想成立，質數<math>p</math>與其後繼者之間的間隙將會為<math>O(\sqrt{p} \ln p)</math>。平均來說，該間隙的階僅為<math>O(\ln p)</math>，而根據數值計算結果，它的增長率並不似黎曼猜想所預測的那麼大。

== 證明黎曼猜想的嘗試 ==
過去的一百多年，許多數學家聲稱證明了黎曼猜想。截至2015年為止，尚有一些證明還未被驗證；但它們都被數學社群所質疑，多數專家並不相信它們是正確的。[[艾希特大學]]的Matthew R. Watkins為這些或是嚴肅或是荒唐的證明編輯了一份列表。其他一些證明可在[[arXiv]]數據庫中找到。

2018年9月24日[[迈克尔·阿蒂亚]]爵士声称证明黎曼猜想。他用[[精细结构常数]]作為一個主要成分用以證明，然而由於一個[[物理]]觀測數字能否用於純數學領域證明題產生爭議，而精细结构常数本身的由來理由還是謎團，且該數字是否全宇宙永恆不變有重大疑問，阿蒂亚爵士則主張「數學是物理學的理想化版本」所以兩領域之間的學問可以共通共用。導致本次證明以疑慮和失敗論點者居多无法使大部分数学家信服。

=== 黎曼猜想證明的可能的着手方向 ===

由於黎曼猜想是有關二維變量（[[臨界線]]（critical line）上的[[虛數]]解和[[黎曼ζ函數]]中的自然數變量<math>n</math>）的問題，故不但要考慮在二維變量下的情況，似乎還可以從更高維數（例如三或四維甚至更高維）變量的情況下來考慮問題。

另外，由於黎曼猜想從本質上來說是證明一個方程的非平凡的[[复数 (数学)|複數]]解必然是<math>\frac{1}{2}+b\mathbf{i}</math>的形式（<math>b</math>是[[實數]]，<math>\mathbf{i}</math>是[[虛數單位]]），因此應該與代數學是密不可分的；就是說，[[代數幾何]]、[[代數數論]]甚至[[代數拓撲]]等學科的知識是不可缺少的。如果能從上述幾個分支學科之間找到新的聯繫，以及對這些分支學科有進一步的新發現，那可能可以爲證明黎曼猜想打下基礎，或爲黎曼猜想的證明做好準備。

=== 與算子理论的可能聯繫 ===


長久以來，人們猜測黎曼猜想的「正解」是找到一個適當的[[自伴算符]]，再由[[實特徵值]]的判準導出<math>\zeta(s)</math>零點實部的資訊。在此方向上已有許多工作，卻仍未有決定性的進展。

黎曼ζ函數的統計學性質與[[隨機矩陣]]的特徵值有許多相似處。這為希爾伯特-波利亞猜想提供了一些支持。

在1999年，Michael Berry與Jon Keating猜想經典[[哈密頓函數]]<math>H=xp</math>有某個未知的量子化<math>\hat{H}</math>，使得下式成立
:<math> \zeta (1/2+\mathbf{i}\hat H) = 0 </math>
更奇特的是，黎曼ζ函數的零點與算子<math>1/2 + i \hat{H}</math>的譜相同。[[正則量子化]]的情形則相反：正則量子化引致[[海森堡測不準原理]]<math>[x,p]=1/2</math>，並使[[量子諧振子]]的譜為自然數。重點在於，所求的[[哈密頓算符]]應當是個閉自伴算符，方能滿足希爾伯特-波利亞猜想之要求。

== 搜尋ζ函數的零點 ==

關於電腦計算上找尋ζ函數零點越多越好的嘗試，已經有一段很長的歷史了。其中一個出名的嘗試乃ZetaGrid，一個[[分散式計算]]的計劃，一天可檢查上十億個零點。這計劃在2005年11月終止。直至2006年沒有計算計劃成功找到黎曼猜想的一個反例，這一型類窮盡法的結果再次吻合了眾多科學家在「直覺」上認知黎曼猜想為真的傾向，但不能成為最終數學證明。

2004年，Xavier Gourdon與Patrick Demichel透過Odlyzko-Schönhage algorithm驗證了黎曼猜想的頭十兆個非平凡零點。而Michael Rubinstein給了公眾一個[https://web.archive.org/web/20160227185407/http://oto.math.uwaterloo.ca/~mrubinst/L_function_public/L.html 算法]去算出零點。

== 相關 ==

*[[埃拉托斯特尼筛法]]
*[[素数]]
*[[素数公式]]
*[[素数判定法则]]
*[[广义黎曼猜想]]

== 參考文獻 == 
=== 引用 ===


=== 来源 ===
; 引用来源
* Bollobas, Bela, foreword to Littlewood's Miscellany, Cambridge University Press, 1986

; 歷史文獻
* Bernhard Riemann, ''[https://web.archive.org/web/20130523061451/http://www.claymath.org/millennium/Riemann_Hypothesis/1859_manuscript/ Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse]'', (1859) Monatsberichte der Berliner Akademie. ''
* Jacques Hadamard, ''Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques'', Bulletin Société Mathématique de France **14** (1896) pp.&nbsp;199–220.

; 現代技術參考
* H. M. Edwards, ''Riemann's Zeta Function'', Academic Press, 1974. (Reprinted by Dover Publications, 2001 ISBN 0-486-41740-9)
* E. C. Titchmarsh, ''The Theory of the Riemann Zeta Function'', second revised (Heath-Brown) edition, Oxford University Press, 1986
* Jeffrey Lagarias, ''An Elementary Problem Equivalent to the Riemann Hypothesis'', ''American Mathematical Monthly'' (2002), no. 109, 534--543（論及與和諧數的關聯）
* ''[http://numbers.computation.free.fr/Constants/Miscellaneous/zetazeroscompute.html Computation of zeros of the Zeta function]'' (2004).（關於GUE猜想的評論，兼具豐富的書目資料。）
* Schoenfeld, Lowell. "Sharper bounds for the Chebyshev functions θ(''x'') and ψ(''x''). II." ''Mathematics of Computation'' **30*' (1976), no. 134, 337–360.
* Conrey, J. Brian. "the Riemann Hypothesis" Notices of the American Mathematical Society, March 2003, 341–353.可自由[http://www.ams.org/notices/200303/fea-conrey-web.pdf 下載]。

; 受歡迎的參考資料
* Clay Mathematics Institute, *Millennium Problems*, (2000)
* Marcus du Sautoy, *The Music of the Primes*, HarperCollins, 2003
* Marcus du Sautoy, "[https://web.archive.org/web/20170922145127/http://seedmagazine.com/content/article/prime_numbers_get_hitched/ Prime Numbers Get Hitched]", *Seed Magazine*" (03/27/2006)
* Daniel Rockmore, *Stalking the Riemann Hypothesis : The Quest to Find the Hidden Law of Prime Numbers*, Pantheon Books, New York, 2005. ISBN 0-375-42136-X.
* John Derbyshire, *Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics*, Joseph Henry Press (April 23, 2003), ISBN 0-309-08549-7. 448 pages.
* *Zetagrid* (2002)試圖否證黎曼猜想的分散式計算計畫，已於2005年11月終止.
* Ed Pegg, Jr., *Ten Trillion Zeta Zeros*, (2004) 討論Xavier Gourdon對前十兆個非平凡零點的計算.
* de Vries, *The Graph of the Riemann Zeta function ζ(s)* (2004).
* Erica Klarreich, "[https://web.archive.org/web/20070921065216/http://www.timetoeternity.com/time_space_light/prime_time.htm Prime Time]", *New Scientist* - November 11, 2000, p.&nbsp;32. 對黎曼猜想的簡介.
* QEDen *A wiki dedicated to solving the millennium problems''