重大突破，三位數學家用數學，建立了整個物理學的邏輯體系

1900年8月8日，巴黎，國際數學家大會的講臺上，戴希爾伯特用德語宣讀了一個數學界聞所未聞的宣言。他沒有報告某個最新定理，也沒有演示什么復雜計算，而是列出了一份清單——二十三個尚未解決的問題，作為新世紀數學的工作清單。對他來說，真正重要的不是過去解出了什么，而是未來應該解什么。

第六題看上去不太像數學問題。它沒有給出具體方程，也沒有要求證明某個命題。它提出的，是一種要求：像歐幾里得那樣，用公理化的方式建立整個物理學的邏輯體系。

原文是這樣的：“將那些在其中數學起重要作用的物理科學，用幾何所采用的方式，通過公理加以處理。”——這不是普通意義上的研究任務，而是一場范式革命的號召。

十九世紀末的物理學雖然已初具體系，卻遠未形成統一語言。電磁學、熱力學、統計力學、流體力學等領域各自為政，充滿直覺性定義、經驗性假設和模糊的邊界。一個物理量在熱力學中可能叫熵，在統計力學中又是狀態數的對數，而在動力系統中干脆是混沌的度量。不同分支用不同方程描述同一對象，彼此間的橋梁只是物理學家的信念，而非數學家的定理。

希爾伯特對此不滿。他要求的不僅是理論一致性，而是邏輯推演上的完備性。正如歐幾里得幾何的全部內容都可以從五條公理中演繹出來，他希望從一組“物理公理”出發，推出熱力學、統計學、流體力學、電磁學——乃至全部自然規律。

這就是第六問題的真正含義。不是“寫出”某個模型，而是“證明”不同模型之間的推演關系。不是構造一個新方程，而是構造從微觀到宏觀、從離散到連續、從力學到熱學的邏輯鏈條。

從今天的角度看，這個要求極不現實。但正因如此，它才具有哲學上的重量：它將“物理學是否數學化”這個常識性判斷，變成了“能否數學化”的根本追問。

在這個意義上，希爾伯特第六問題不是一項研究計劃，而是一種根本立場：自然界的結構是否能被還原為邏輯的演繹系統？

而它之所以如此難，不是因為它要求太多，而是因為它試圖將物理學的“解釋力”，轉化為數學的“推導力”。

三個層次的物理模型

如果說希爾伯特第六問題是一道橋梁工程的藍圖，那么它要跨越的，不是河流，而是三個尺度：從粒子，到群體，再到連續介質。這三個層次并非理論的分類，而是物理學中對同一現實——比如一團氣體——在不同視角下的建模方式。

第一個層次是微觀模型，統治者是牛頓。

在這個層面，一切都是確定的。氣體并不是一團連續的霧，而是由無數硬球狀的粒子組成，每個粒子都有精確的位置和速度，在時間中遵循牛頓三定律推進。粒子之間發生彈性碰撞，守恒動量與能量，軌道如行星。這就是所謂的“硬球模型”（hard-sphere model）。從嚴格意義上說，這是物理學中最“真實”的模型，因為它描述的是構成氣體的基本成分——分子——的個體運動。

但有個問題：一立方厘米的空氣大約包含10^19個分子。沒有人能寫下這么多方程，更沒有人能解出它們。因此，即使這是最基本的圖景，它在實踐中幾乎毫無用武之地。

于是，物理學進入第二個層次：中觀模型，主角是玻爾茲曼。

這里不再嘗試追蹤每一個粒子，而是引入一個分布函數 f(x,v,t)：在位置 x、速度 v、時刻 t，有多少粒子以該速度存在。這個函數不描述單個粒子，而是描述整體的概率密度。它是統計的，但又比宏觀流體模型細致許多。它知道粒子的速度分布、知道碰撞頻率、知道局部非平衡態。這種描述的核心是玻爾茲曼方程，它告訴你：如果你知道現在的分布 f，你就可以預測它下一刻的演化。

玻爾茲曼模型的奇妙之處在于它的兩面性。一方面，它不需要解出所有粒子的軌跡；另一方面，它仍然源于牛頓動力學，并試圖保留微觀信息。它是連接微觀粒子與宏觀現象之間的橋梁，是物理建模中最精致、最難以把握的中層。

然后，我們到達第三個層次：宏觀模型，舞臺屬于納維-斯托克斯。

在這一尺度下，我們放棄了對粒子的所有痕跡。氣體被視為一種連續介質，像是一塊可變形的橡皮泥，可以被壓縮、拉伸、卷曲、旋轉，但再也看不見里面的微粒。它的狀態由密度、速度場和溫度等“場量”描述，這些量在空間中變化，并隨時間演化。其主導方程是納維-斯托克斯方程組，它不再處理分布函數，而是直接描述速度與壓強如何在空間中流動。

這套方程能夠描述從空氣動力學中的機翼繞流，到廚房里滾開的水蒸氣，從颶風的路徑到血液在動脈中的流動，幾乎無所不能。但它的前提是假設氣體是連續的，而不是由粒子組成的。這種近似在多數情況下有效，但從根本上說，它只是對玻爾茲曼模型的極限處理，而玻爾茲曼本身，又源自牛頓。

于是我們得到了三個層次，三種語言，三套方程：

• 牛頓描述單個粒子的命運；

• 玻爾茲曼描述粒子群體的統計分布；

• 納維-斯托克斯描述宏觀物質的整體運動。

三者共同描述同一個物理現實：氣體。但它們之間的邏輯關系，并不透明。每一層都有自己的假設、變量和演化機制。物理學家傾向于認為這三層“兼容”，但數學家想知道，它們是否可演繹。是否可以從牛頓方程推出玻爾茲曼方程，從玻爾茲曼方程推出納維-斯托克斯方程？是否可以證明，三者并不是不同的模型，而是同一個模型在不同分辨率下的變形？

希爾伯特第六問題，正是要求證明這一點——在邏輯上，而不僅是物理直覺上。

如果你希望繼續，我們可以進入第三點：“歷史上嘗試的突破”，介紹20世紀以來數學家如何嘗試接通上述模型之間的推導鏈條，但都止步于早期階段。是否繼續？

歷史上嘗試的突破

盡管希爾伯特第六問題提出于1900年，它真正引發系統性回應是在二戰之后。20世紀上半葉，數學界大多將注意力放在解析函數、偏微分方程、泛函分析等工具的建設上，為以后的攻堅戰準備武器。但當人們真正著手處理第六問題時，才發現這不只是數學難題，而是數學方法論本身的極限測試。

先看從玻爾茲曼到納維-斯托克斯這一段。這是三段鏈條中最早取得實質性進展的部分。物理學上，人們一直認為玻爾茲曼方程在特定條件下趨于局部熱平衡，熱力學量在時間演化中變得光滑，于是可以近似為連續介質。這一過程稱為流體極限。在數學上，這意味著當克努森數（自由程與特征長度之比）趨于零時，玻爾茲曼解應當收斂到納維-斯托克斯解。

上世紀五六十年代，Cercignani、Grad、Bardos 等人推動了這一方向的發展。特別是Chapman-Enskog展開提供了一種形式上的連接方式：從玻爾茲曼方程出發，通過對分布函數作漸近展開，可以得到一階近似的歐拉方程，二階近似下引入粘性與熱導，恰好是納維-斯托克斯方程。

數學家進一步引入函數空間工具，如Sobolev空間、緊致性、弱極限、熵方法等，來控制解的行為。這些技術，使得在某些理想條件下，從玻爾茲曼方程導出納維-斯托克斯成為可能。1990年代，Lions 和 Masmoudi 等人開始建立所謂的耗散極限理論，在無碰撞極限、低馬赫數極限等設定下，也能部分導出連續介質模型。

但這是從中觀到宏觀，鏈條的“后半段”。

問題的“前半段”——從微觀牛頓動力學推導玻爾茲曼方程——才是真正令人絕望的部分。

早在19世紀，玻爾茲曼就提出了他的分子混合假設（Stosszahlansatz）：每次碰撞發生之前，粒子之間的速度分布是獨立的。但這一假設始終缺乏從牛頓力學中嚴格推導的依據。它看似自然，卻可能被粒子的前一次碰撞破壞。一旦考慮“再碰撞”（recollision）——即兩個粒子不止一次碰撞——統計獨立性就難以維持，而再碰撞是不可避免的。

1975年，奧斯卡·蘭福德（Oscar Lanford）邁出了劃時代的一步。他在極端限制條件下——極稀薄的硬球氣體、非常短的時間尺度內——證明了：在這一時間區間內，從牛頓力學確實可以導出玻爾茲曼方程。這是第一個真正意義上“從微觀到中觀”的數學推導。

蘭福德的證明依賴于精妙的圖論技巧和漸近分析。他將所有可能的碰撞歷史表示為樹狀圖結構，通過統計控制來排除絕大多數“復雜路徑”，最終證明在短時間內，再碰撞的概率可以忽略不計。但這個時間窗口極短，短到大多數粒子還沒來得及發生第一次碰撞，玻爾茲曼方程的演化才剛剛開始。

接下來的幾十年，無數人嘗試延長這個時間窗口，放寬假設條件，處理更復雜的初態，考慮有限體積、有邊界的情況。但都止步于最前沿的混亂。不是因為他們的技巧不夠，而是因為結構本身太復雜。牛頓力學的粒子系統雖然形式簡單，卻擁有幾乎無限的動力學可能性。任何一個小的粒子路徑偏差，都可能通過鏈式碰撞放大為整個系統的行為改變。

于是，20世紀末的圖景是這樣的：

• 從玻爾茲曼到納維-斯托克斯，邏輯上基本打通，雖然仍需額外假設與數學精煉；

• 從牛頓到玻爾茲曼，只有在短時稀薄極限下，存在一個極窄的突破口；

• 三層模型之間的全鏈條推導，依舊未能完成。

數學家們在此問題上留下的，是一個個拼圖碎片。每一塊都有意義，但整體畫面仍模糊不清。他們建立了部分極限、短時存在性、局部控制結構，甚至設計了路徑空間上的測度構造，但始終缺少那條決定性的貫通軌道——那條從確定性粒子系統導出不可逆統計演化的嚴格路徑。

三位數學家的突破性工作

轉折點出現在21世紀的第三個十年。

2023年末，三位原本并不專攻粒子系統的數學家——鄧宇（Yu Deng）、哈尼（Zaher Hani）、馬嘯（Xiao Ma）——突然宣布，他們完成了從牛頓力學到玻爾茲曼方程的嚴格推導，而且不再局限于蘭福德式的極短時間窗口，而是在更長時間尺度、更一般的設定下，控制住了那個困擾了百年的難點：再碰撞。

他們的背景原本來自波動系統（非粒子系統）的長期演化研究。他們擅長處理非線性干涉、相互作用鏈、復雜路徑的結構分解問題。而正是這些工具，在過去從未被應用于玻爾茲曼問題中。

他們將波動領域發展出的頻率解耦、擾動穩定性、路徑重構技術轉化為粒子系統中的碰撞圖譜分析與概率估計技巧，成功壓縮了再碰撞路徑的復雜度。他們不再逐個枚舉所有可能的粒子路徑，而是將這些路徑重新組織為具有控制結構的“模式簇”，再通過分層控制的方法估計其整體概率，并嚴格證明：在稀薄氣體中，粒子之間的再碰撞在統計意義下確實可以忽略不計，從而滿足玻爾茲曼的分子混合假設。

更重要的是，他們并未止步于“全空間”設定（即無限大、無邊界的理想空間），而是在2024年完成了關鍵的第二步：將整個方法遷移到“盒中氣體”模型，即粒子在有限體積中、以周期性邊界反射運動。這正是現實氣體模型最基本的形式。

這一成果直接打通了那條從牛頓到玻爾茲曼的通道，而玻爾茲曼到納維-斯托克斯的通道早已在多個特定情形下建立。因此，首次意義上的希爾伯特第六問題的閉環邏輯鏈條，在一個完整的建模體系內，成立了。

這一鏈條的閉合，除了技術上的意義，更讓人回想起一個曾長期被物理學家視作“哲學困惑”的舊問題。

牛頓力學是時間可逆的。如果你錄像一群粒子撞來撞去，再將視頻倒放，方程不會說出破綻。軌跡與規律在數學上毫無異議。

但玻爾茲曼方程不是。它描述的是熵的增長、系統的彌散、不可逆性。一滴墨水滴入水中，擴散是自然的，聚攏是荒謬的。熱從熱源傳向冷體，永不倒流。玻爾茲曼指出：這是統計的必然——雖然每一個可逆過程在數學上允許，但它的概率趨近于零。

這個直覺早就存在，蘭福德曾短暫實現了它，而鄧宇等人的工作，是首次在嚴格數學意義上確認了它。不是哲學解釋，不是數值模擬，而是邏輯推導：在牛頓力學可逆的前提下，宏觀不可逆行為以統計壓倒性地必然出現。

這不只是對時間之箭的一次確認，更是對數學本身解釋自然能力的再度擴展。數學家終于能夠告訴物理學家：你們一直以來“合理”的假設，現在，有了可證明的基礎。