
不久之前歐亞國立大學(xué)的 Mukhtarbay Otelbaev 教授宣布他解決了一個千禧年大獎難題——納維葉-斯托克斯方程解的存在性與光滑性。但是最近他很遺憾的發(fā)現(xiàn)他的證明存在一個嚴重的紕漏。
納維葉-斯托克斯方程是應(yīng)用最廣泛,最優(yōu)美的公式之一。這個公式由法國工程師 Claude-Louis Navier 和愛爾蘭數(shù)理科學(xué)家 Gabriel Stokes 共同導(dǎo)出。納維葉-斯托克斯方程用于建立流體模型,比如流動的空氣,洋流,血液或其他液體。
最大的難題在于,沒有人知道這個公式在具體情況下會如何。它時常會無法求解或者求解出物理上不可能存在的結(jié)果?!傲黧w在科學(xué)中的地位是舉足輕重的,但是我們對于它們的了解驚人的少?!保樟炙诡D大學(xué)數(shù)學(xué)研究員的 Charles Fefferman 說。
如果納維葉-斯托克斯方程問題得到證明,我們可以得到更好的飛機,游艇的設(shè)計。我們還能優(yōu)化天氣預(yù)報。一些數(shù)學(xué)家在這個問題上已經(jīng)耗費了很大的精力。來自密西西比大學(xué)的數(shù)學(xué)家 Stephen Montgomery-Smith 從1995年就開始研究此問題,他說:“這絕對是我遇到過的最優(yōu)美的問題,而且它在實際的世界中也令人驚奇?!?/p>
2014年1月,Otelbaev 教授在一本俄羅斯數(shù)學(xué)期刊上發(fā)表了他的證明,一個國際數(shù)學(xué)小組給予了很大的關(guān)注。但遺憾的是,一個月之后,他們在在線模擬測試中發(fā)現(xiàn)了一個錯誤。Otelbaev 教授經(jīng)過檢查發(fā)現(xiàn)證明過程存在紕漏,其中的一個引理不正確。他寫信給 Montgomery-Smith ,表達了遺憾和歉意。
當然 Otelbaev 并沒有放棄。就在一周前,他表示:“我會盡快給出漏洞的彌補,修正之前的錯誤。我想,修正版的證明應(yīng)該能在三個月內(nèi)完成?!?但是其他數(shù)學(xué)家顯得比較謹慎:曾經(jīng)獲得過菲爾茲獎的數(shù)學(xué)家陶哲軒說:“大多數(shù)數(shù)學(xué)家認為 Otelbaev 的證明方式是不太可行的?!?/p>
如果 Otelbaev 真的修正了他的證明,那么他就能獲得千禧年大獎。千禧年大獎難題(Millennium Prize Problems), 又稱世界七大數(shù)學(xué)難題, 是七個由美國克雷數(shù)學(xué)研究所(Clay Mathematics Institute,CMI) 于2000年5月24日公布的數(shù)學(xué)猜想。根據(jù)克雷數(shù)學(xué)研究所訂定的規(guī)則,任何一個猜想的解答,只要發(fā)表在數(shù)學(xué)期刊上,并經(jīng)過兩年的驗證期,解決者就會被頒發(fā)一百萬美元獎金。目前僅有一位數(shù)學(xué)家獲此殊榮,俄羅斯數(shù)學(xué)家 Grigory Perelman 解決了龐加來猜想,但他拒絕領(lǐng)獎金及菲爾茲獎。
[BXD via nature]