今天小編分享的科學經驗:35歲北大校友突破125年數學難題!網友:華人數學奇迹年,歡迎閱讀。
時隔125 年,著名的希爾伯特第六問題,終于被華人解決了!
這項研究共有三位作者,包括:
鄧煜,芝加哥大學教授,北大(07 級)/MIT 校友
馬骁,密歇根大學助理教授,本科畢業于中科大少年班
Zaher Hani:密歇根大學教授,師從陶哲軒
希爾伯特第六問題,是 David Hilbert 在 1900 年提出的 23 個數學問題之一,要求通過公理化方法推導物理定律。
具體而言,就需要作者們從微觀的牛頓力學出發,通過玻爾茲曼(Boltzmann)動力學理論,推導出流體力學中的基本方程。
而他們的這一成果不僅具有理論上的重要意義,也為流體力學的研究提供了新的數學工具。
可以說是對數學界和物理界都產生了重要的影響。
小紅書網友" 數學五人組 "(五位在德國、法國讀純數學博士生們的賬号)給出了這樣的評價:
是華人數學奇迹年。
為狹義希爾伯特第六問題畫上了圓滿的句号。
(若論文)正确的話,那絕對是(菲爾茲獎)候選人之一。
不僅如此,網友們結合之前北大校友王虹(91 年生,16 歲考入北大,07 級)破解了挂谷猜想,直呼" 北大數學系不愧中華第一系 "、"07 級真的太牛了 "。
那麼希爾伯特第六問題,到底是如何解的?我們一起來看下論文 ~
從牛頓經典力學到流體運動定律
1900 年,在巴黎舉行的第二屆國際數學家大會上上,德國數學家大衛 · 希爾伯特提出了 23 道難題,被稱為 " 希爾伯特的 23 個問題 "。
我們比較熟悉黎曼猜想、哥德巴赫猜想,以及孿生素數猜想,共同作為的第八個問題被列入了其中,而這次三人組合解決的是其中的第六個問題,也就是 " 公理化物理 "。
略顯與眾不同的是," 公理化物理 " 不是一個具體的數學表達式,更像一種數學思想,它的核心内容是這樣的:
将數學方法嚴格應用于物理學,并為物理學建立數學公理體系。
具體來說,希爾伯特希望類比歐幾裡得幾何的公理化過程,給物理學也構建一個基于數學邏輯的嚴格體系。
希爾伯特在後續讨論中,将問題拆分為兩個關鍵目标——
一是概率論的公理化基礎,這一部分已經在 20 世紀上半葉被解決;
其二,就是從原子論到連續介質運動定律的數學極限過程。
再說簡單些,就是從牛頓運動定律(微觀)出發,用數學方法推導出流體的運動方程(宏觀),而其中起到過渡作用的極限方法,就是玻爾茲曼方程(介觀)。
但牛頓運動定律是可逆的,玻爾茲曼方程卻是不可逆的,如何實現兩者之間的轉換,成了破解希爾伯特第六問題的關鍵。
包括希爾伯特本人在内,科學家們一直在嘗試通過将玻爾茲曼方程展開等方式來完成這一過程。
直到 1975 年,美國數學家 Oscar Lanford 證明了蘭福德定理,表明宏觀不可逆性和微觀可逆性之間的概念差距在原則上是可以克服的,為希爾伯特第六問題的解決奠定了基礎。
直到去年,鄧煜等三人聯手,用一篇 164 頁的論文,從稀薄氣體硬球系統嚴格推導了玻爾茲曼動力學方程,使得希爾伯特第六問題的解決之路又向前邁進了一大步。
在這篇論文當中,作者采用累積量解析方法,通過引入累積量假設來追蹤粒子碰撞的完整歷史。
其核心步驟是将硬球動力學的演化表示為一系列費曼圖結構,稱為碰撞歷史分子,并證明這些累積量在 L1 空間中的小性(smallness),即其對玻爾茲曼極限的漸近收斂性。
關鍵部分是通過一個復雜的 " 切割算法 " 來控制這些分子的組合性質,确保其中的復碰撞數量受限,以消除導致發散的因素。
最終,研究者證明,在整個玻爾茲曼方程解的存在時間範圍内,累積量的貢獻是可控的,從而嚴格推導出玻爾茲曼方程的長期有效性。
在此基礎之上,剛剛發表的新論文終于給給狹義希爾伯特第六問題畫上了圓滿的句号,并在此基礎上推導出了可壓縮流體的歐拉方程以及不可壓縮條件下的 Navier-Stokes-Fourier 方程。
作為此前工作的拓展,作者在 2 維和 3 維周期環面上推導了玻爾茲曼方程。
考慮一個由 N 個直徑為 ε 的粒子組成的硬球系統,假設粒子之間發生彈性碰撞,運動滿足牛頓定律。取 Boltzmann-Grad 極限,即 N 趨于無窮、ε 趨于 0,而 N ε d-1 保持為常數 α。
在這個尺度下,作者證明了粒子系統的 s 粒子關聯函數收斂到玻爾茲曼方程的解,其中 s 遠小于總粒子數 N,這一步将微觀的粒子系統與介觀的動理論方程玻爾茲曼方程聯系了起來。
接下來考慮從玻爾茲曼方程到宏觀流體力學方程的極限過程。在碰撞率 α 趨于無窮時,物理上對應于稀薄氣體的平均自由程趨于 0,宏觀上體現為流體的連續介質極限。
數學上已有結果表明,在一定條件下,玻爾茲曼方程的局部 Maxwellian 形式的解會收斂到流體力學方程的解。
最後,将上述從粒子系統到玻爾茲曼方程、再從玻爾茲曼方程到流體力學方程的極限過程結合起來,取迭代極限,先固定 α 讓 N 趨于無窮、ε 趨于 0,再讓 α 趨于無窮,論文證明了粒子系統的物理量的極限滿足宏觀流體力學方程。
這就完成了 Hilbert 第六問題的方案,即從微觀粒子系統的牛頓定律出發,通過玻爾茲曼動力學理論,嚴格推導出了宏觀流體力學偏微分方程。
作者簡介
如開頭介紹,這項研究院由芝加哥大學教授鄧煜、密歇根大學的Zaher Hani教授和馬骁助理教授共同完成。
鄧煜畢業于深圳高級中學,之後進入北大,期間轉學到 MIT,博士畢業于普林斯頓。
據鄧煜本人在知乎介紹,他轉到 MIT 的第二個學期,選了五六門數學課,同時讀着三本書,最多時每天工作 8 小時 40 分鍾,曾花一個星期讀完過 85 頁的論文并驗證每一個細節包括挑錯……
這則回答寫于 2018 年 3 月,當時鄧煜在貼文中稱自己快 29 歲了,由此推算,今年鄧煜的年齡大概是 35 歲。
有趣的是,關于前段時間剛被破解的挂谷猜想,鄧煜也在知乎寫過一篇科普文章。
密歇根大學教授 Zaher Hani,年齡則要稍長一些。
Hani 來自黎巴嫩,并在貝魯特美國大學完成了他的本科學業,碩士和博士均在 UCLA 就讀。
Hani 讀博期間的導師,正是大名鼎鼎的數學家陶哲軒。
畢業後,Hani 留校擔任研究和教學助理,2011 年到紐約大學從事博後研究,然後到佐治亞理工學院工作。
2018 年,Hani 加入了現在任職的密歇根大學,并于 2022 年升任教授,研究興趣為 " 非線性偏微分方程的數學分析及其與統計物理和湍流理論的聯系 "。
另一名作者馬骁,2018 年畢業于中科大少年班,2023 年博士畢業于普林斯頓。
之後馬骁到密歇根大學從事博後研究,并同時擔任助理教授。
論文地址:
https://arxiv.org/html/2503.01800v1
參考鏈接:
[ 1 ] https://www.zhihu.com/question/14073117334
[ 2 ] https://blog.sciencenet.cn/blog-2641489-1363512.html