-
黎曼猜想
(數學猜想)
鎖定
黎曼猜想(或稱黎曼假設)是關於黎曼ζ函數ζ(s)的零點分佈的猜想,由數學家波恩哈德·黎曼於1859年提出。黎曼觀察到,素數的頻率緊密相關於一個精心構造的所謂黎曼zeta函數ζ(s)的性態。複平面上使黎曼ζ 函數取值為零的點被稱為黎曼ζ函數的零點。s=-2n (n 為正整數)是黎曼ζ 函數的零點,這些零點分佈有序、 性質簡單,被稱為黎曼ζ 函數的平凡零點 (trivial zero)。除了這些平凡零點外,黎曼ζ函數還有許多其它零點,它們的性質遠比那些平凡零點來得複雜,被稱為非平凡零點 (non-trivial zeros)。
在黎曼猜想的研究中, 數學家們把複平面上 Re(s)=1/2 的直線稱為 critical line(臨界線)。運用這一術語,黎曼猜想也可以表述為:黎曼ζ 函數的所有非平凡零點都位於 critical line 上。即黎曼ζ 函數的所有非平凡零點都位於複平面上 Re(s)=1/2 的直線上(Re(s)表示複數s的實數部分)。
當今數學文獻中已有超過一千條數學命題以黎曼猜想(或其推廣形式)的成立為前提。
黎曼猜想與費馬大定理已經成為廣義相對論和量子力學融合的m理論幾何拓撲載體。
黎曼猜想簡介
黎曼猜想是波恩哈德·黎曼1859年提出的,這位數學家於1826年出生在當時屬於漢諾威王國的名叫佈列斯倫茨的小鎮。1859年,黎曼被選為了柏林科學院的通信院士。作為對這一崇高榮譽的回報,他向柏林科學院提交了一篇題為“論小於給定數值的素數個數”的論文。這篇只有短短八頁的論文就是黎曼猜想的“誕生地”。
[4]
黎曼那篇論文所研究的是一個數學家們長期以來就很感興趣的問題,即素數的分佈。素數又稱質數。質數是像2、3、5、7、11、13、17、19那樣大於1且除了1和自身以外不能被其他正整數整除的自然數。這些數在數論研究中有着極大的重要性,因為所有大於1的正整數都可以表示成它們的合。從某種意義上講,它們在數論中的地位類似於物理世界中用以構築萬物的原子。質數的定義簡單得可以在中學甚至小學課上進行講授,但它們的分佈卻奧妙得異乎尋常,數學家們付出了極大的心力,卻迄今仍未能徹底瞭解。
[4]
黎曼論文的一個重大的成果,就是發現了質數分佈的奧秘完全藴藏在一個特殊的函數之中,尤其是使那個函數取值為零的一系列特殊的點對質數分佈的細緻規律有着決定性的影響。那個函數如今被稱為黎曼ζ函數,那一系列特殊的點則被稱為黎曼ζ函數的非平凡零點。
[4]
有意思的是,黎曼那篇文章的成果雖然重大,文字卻極為簡練,甚至簡練得有些過分,因為它包括了很多“證明從略”的地方。而要命的是,“證明從略”原本是應該用來省略那些顯而易見的證明的,黎曼的論文卻並非如此,他那些“證明從略”的地方有些花費了後世數學家們幾十年的努力才得以補全,有些甚至直到今天仍是空白。但黎曼的論文在為數不少的“證明從略”之外,卻引人注目地包含了一個他明確承認了自己無法證明的命題,那個命題就是黎曼猜想。
[4]
有人統計過,在當今數學文獻中已有超過一千條數學命題以黎曼猜想(或其推廣形式)的成立為前提。如果黎曼猜想被證明,所有那些數學命題就全都可以榮升為定理;反之,如果黎曼猜想被否證,則那些數學命題中起碼有一部分將成為陪葬。
[4]
黎曼猜想內容
黎曼觀察到,素數的頻率緊密相關於一個精心構造的所謂黎曼zeta函數ζ(s)的性態。黎曼假設斷言,方程ζ(s)=0的所有有意義的解都在一條直線上。這點已經對於開始的1,500,000,000個解驗證過。
黎曼ζ 函數 ζ(s) 是級數表達式
[5]
在複平面上的解析延拓。
之所以要對這一表達式進行解析延拓, 是因為這一表達式只適用於複平面上 s 的實部 Re(s) > 1 的區域 (否則級數不收斂)。黎曼找到了這一表達式的解析延拓(當然黎曼沒有使用 “解析延拓” 這樣的現代複變函數論術語)。運用路徑積分,解析延拓後的黎曼ζ 函數可以表示為:
[5]
這裏我們採用的是歷史文獻中的記號, 式中的積分實際是一個環繞正實軸進行的圍道積分(即從 +∞ 出發, 沿實軸上方積分至原點附近, 環繞原點積分至實軸下方, 再沿實軸下方積分至 +∞ ,而且離實軸的距離及環繞原點的半徑均趨於 0),按照現代數學記號應記成:
[6]
式中的 Γ 函數 Γ(s) 是階乘函數在複平面上的推廣, 對於正整數 s>1:Γ(s)=(s-1)!。可以證明, 這一積分表達式除了在 s=1 處有一個簡單極點外在整個複平面上解析。這就是黎曼ζ 函數的完整定義。
從這個關係式中不難發現,黎曼ζ 函數在 s=-2n (n 為正整數) 取值為零,因為 sin(πs/2) 為零。複平面上的這種使黎曼ζ 函數取值為零的點被稱為黎曼ζ 函數的零點。因此 s=-2n (n 為正整數)是黎曼ζ 函數的零點。這些零點分佈有序、 性質簡單,被稱為黎曼ζ 函數的平凡零點 (trivial zero)。除了這些平凡零點外,黎曼ζ 函數還有許多其它零點,它們的性質遠比那些平凡零點來得複雜, 被稱為非平凡零點 (non-trivial zeros)。
在黎曼猜想的研究中, 數學家們把複平面上 Re(s)=1/2 的直線稱為 critical line(臨界線)。運用這一術語,黎曼猜想也可以表述為:黎曼ζ 函數的所有非平凡零點都位於 critical line 上。
黎曼猜想等價定理
1901年Helge von Koch指出,黎曼猜想與強條件的素數定理等價。
黎曼猜想進展
荷蘭三位數學家J.van de Lune,H.J.Riele te以及D.T.Winter利用電子計算機來檢驗黎曼的假設,他們對最初的2億個zeta函數的零點檢驗,證明黎曼的假設是對的。他們在1981年宣佈他們的結果,目前他們還繼續用電子計算機檢驗底下的一些零點。
1975年美國麻省理工學院的萊文森在他患癌症去世前證明了No(T)>0.3474N(T)。
英國《每日郵報》2015年11月17日報道,尼日利亞教授奧派耶米 伊諾克(Opeyemi Enoch)成功解決已存在156年的數學難題——黎曼猜想,獲得100萬美元(約合人民幣630萬元)的獎金。
伊諾克博士在尼日利亞某大學任教。他表示,自己在2010年取得關鍵性突破,這為後來能夠解決這一千年難題奠定了基礎。他説,自己之所以決定解決這一著名的數學難題不是為了獎金,而是因為自己的學生。正是因為學生們相信自己,他才開始嘗試解決這一數學難題。
邁克爾·阿蒂亞證明黎曼假設(猜想)的預印本(4張)
2022年10月15日,張益唐在參加北京大學校友Zoom線上會議時,口頭表達了自己攻克朗道—西格爾零點猜想(Landau-Siegel Zeros Conjecture)的最新進展,且相關文章將在11月初上線。
[9]
黎曼猜想至今尚未被成功證明。
- 參考資料
-
- 1. Millennium Problems .克雷數學研究所[引用日期2015-08-21]
- 2. 159年沒被解決黎曼猜想"被證明"了?它究竟説了啥? .新浪[引用日期2018-09-21]
- 3. 黎曼猜想被證明了嗎 .中國日報網.2018-09-25[引用日期2020-2-6]
- 4. 素數之魂——黎曼和他的偉大猜想 .南方週末[引用日期2014-11-11]
- 5. 揭示黎曼手稿中zeta函數的真相 .百度文庫.2015-08-16[引用日期2015-12-19]
- 6. 論小於某給定值的素數的個數(黎曼提出黎曼猜想的原始論文)——謝國芳譯註 .語數之光[引用日期2015-08-21]
- 7. 尼日利亞教授成功解決黎曼猜想數學難題 .人民網[引用日期2016-03-11]
- 8. 數學界大地震!剛剛,證明黎曼猜想預印本被貼出 .鳳凰網[引用日期2018-09-24]
- 9. 張益唐新成果將震驚學界?他曾説:要做就做大問題 .科學網.2022-10-18[引用日期2022-10-18]