一秒記住無彈窗,更新快,免費閱讀!
紫金山腳下的彆墅中,徐川沉迷於對黎曼猜想的研究。
雖然說他找到了一條通向弱黎曼猜想的道路,但最終是否能解決這個問題,依舊是不得而知的。
而且,就算是這條思路有效果,能夠繼續推進黎曼猜想的臨界帶,要將其繼續縮小和解決,也不是一件容易的事情。
數學家經常把黎曼函數非平凡零點的實部和虛部分彆寫成σ和t,把複平麵上0atσat1的豎直條帶稱為臨界帶,把σ12的豎線稱為臨界線。
而早在波恩哈德黎曼寫出“論小於給定數值的素數個數”這篇論文的時候,就給出了黎曼函數的所有非平凡零點都位於12這條臨界線上。
後續的數學家在針對性的研究時,因為證明非平凡零點都位於12這條臨界線太難,才將其擴展0res1,希望能夠證明所有的非平凡零點都位於這條臨界帶上。
關於這點,有意思的是,在黎曼當初給出的論文中其實早就已經給出了準確的答案。
至於原因,或許是因為不屑覺得這太容易了不配出現在論文上
亦或許就像是十七世紀提出費馬猜想的法國數學家皮耶德費馬曾在丟番圖算術拉丁文譯本時寫下的那句名言一樣。
“關於此此指後世的費馬大定理,我確信已發現了一種美妙的證法,可惜這裡空白的地方太小,寫不下。”
在黎曼寫的那篇“論小於給定數值的素數個數”論文中,也有不少類似的言語。
很多原本應該有寫詳細過程的重要地方,最終都被一句證明從略代替了。
否則他所贈送給柏林科學院的論文,也不可能隻有短短的八頁。
當然,用證明從略這種類似的詞來節省論文的篇幅,可以說幾乎所有的學者都乾過。
包括徐川自己,也曾在自己證明的論文中繁多的簡略化計算步驟。
但是不管是他也好,還是其他的數學家也好,使用證明從略這種方法,一般都是用來省略那些顯而易見的證明的地方的。
但黎曼不同,他的論文卻並非如此,他在那八頁論文中所寫的那些“證明從略”的地方,有些花費了後世數學家們幾十年的努力才得以補全,有些甚至直到今天仍是空白。
就像是後世的學者依舊花費了幾十年的時間,才完全的排除掉黎曼函數res0以及res1這兩個區域不存在非平凡零點一樣。
包括對臨界帶的推進,也都是基於此而進行提出和研究的。
如果有人問,壓縮臨界帶,將非平凡零點貼近12除了證明黎曼猜想外,還有什麼其他好處沒。
那數學界會告訴你,後世的素數定理,就是基於黎曼函數res0以及res1這兩個區域不存在非平凡零點被解決後才證明的。
至於素數定理的重要性,想必就不用多說了。
如今涉及計算機安全的網絡密碼,很大一部分就是基於素數定理而建立的。
除此之外,工業、農業等很多方麵也離不開素數。
比如很多高精密的齒輪設計,變速齒輪一大一小兩個齒輪之間就和素數有很大關係。簡單的來說,就是通過素數設計可以增加齒輪的耐用度,減少機械故障。
當然,對於很多數學家來說,他們研究數學並不是因為數學有多大的應用能力。而是它就在那裡。
包括徐川,現在他所研究的黎曼猜想,若要說真的證實了黎曼猜想,會對整個世界造成翻天覆地的變化嗎
其實並不會。
一方麵是黎曼猜想一直都被數學界認作為定理在使用。
另一方麵,即便是黎曼猜想涉及到密碼學等多個領域,要將理論成果化為應用,開拓出各種相關的用途,也需要極其漫長的時間。
而這份時間,是以十年,甚至更長為單位計算的。
比如同是七大千禧年難題的龐加萊猜想、霍奇猜想、ns方程、楊米爾斯存在性和質量間隙等難題被解決了也有不短的時間了。
尤其是龐加萊猜想,從2003年被佩爾雷曼證明到現在,更是已經超過了20年。但也才堪堪在計算機、醫療、工業等應用起來。
至於後麵由徐川解決的三個,除了針對ns方程建立起來了有關於超高溫高壓等離子體湍流的控製模型外,其他領域的應用,依舊寥寥無幾。
數學,就是一門這樣純粹的科學。
很多時候,數學家研究數學並不是為了能有多少的應用,而是在於那一個個美妙的數學公式中隱藏的世間真理
書房中,徐川開著燈,將手中打印出來沒多久的一篇有關於黎曼猜想的論文放到了角落中。
在那邊,可以看見已經堆起來近半米的紙張,都是這些天以來他翻閱過。
當然,並不是所有的論文他都詳細看過,有一部分隻是簡略的翻了一下,尋找一些有價值的東西。
這些天,為了幫助自己更深入的了解黎曼猜想,從而解決這個世紀難題,他搜集了大量關於這方麵的論文。
不僅僅是黎曼函數和非平凡零點相關的論文,還πx函數和隨機厄密矩陣本征值對關聯函數相關的論文。
甚至,他還專門打了個電話給他的導師皮埃爾德利涅。
當在電話中聽到徐川目前正在研究什麼東西的時候,這位平常對除了數學之外任何事情幾乎都不怎麼關心的老先生臉上的表情頓時就變了,呼吸變得急促起來。
從愣神中回過來,德利涅顧不上心中的震驚,快速的開口問道“你在研究黎曼猜想”
“嗯。”
徐川點了點頭,應了一聲,數學上的這種研究,能和他交流的也就站在金字塔頂尖的這一批人了。
他的導師皮埃爾德利涅雖然繼承自教皇格羅滕迪克老先生,主要研究領域在代數幾何,但在數論方麵,他同樣擁有著極強的實力。
如他老人家證明的韋伊猜想,就是橢圓曲線上的黎曼猜想。