Navier-Stokes 研究進展：已知結果與開放方向

自 1930 年代以來，數學家從許多角度攻克這個問題，從能量估計與幾何，到機率與電腦輔助分析。完整的 3D 存在性與光滑性問題仍然徹底且頑固地懸而未決。

但人們常忽略的是：九十年失敗的攻堅讓我們學到了極多東西，而集體形成的圖像遠比簡單貼上「未解」標籤所暗示的豐富得多。整套策略被排除。子情形被解決。我們知道，而且已有實質進展：某些子情形已解決，若干條件性判準已被理解，主要障礙也清楚得多。以下是一張進展地圖。

Navier-Stokes 正則性問題詢問的是：對具有光滑、快速衰減資料的 3D 非壓縮系統，解是否大域存在且光滑。自其現代表述以來，這個問題一直抗拒被解決。主要的攻擊路線包括 Leray–Hopf 弱解理論、透過幾何測度論的部分正則性、經由延拓判準的條件正則性、機率與隨機方法，以及用於非唯一性的凸積分。

沒有任何方法解決完整問題。不過，合在一起，它們已釐清關鍵障礙：超臨界尺度變換、能量類解與光滑解之間的落差，以及令人不安的可能性——在弱解類中，唯一性本身也可能失效。

重塑此領域的五項結果：

• 1934，Leray： 證明對任何合理的初始資料，時間大域弱解都存在。某種東西會永遠持續下去。但它會保持光滑嗎？這是 Leray 無法回答的問題，九十年後，也仍然沒有人能回答。
• 1982，Caffarelli, Kohn, Nirenberg： 可能奇異點的集合極小：在這些方程式自然的拋物幾何中，它的一維大小為零。小到近乎消失。若爆發發生，其稀疏程度超乎想像。
• 1984，Beale, Kato, Majda： 重大結果。光滑解只有在渦度爆發時才可能崩潰，這給了整個領域一個精確目標：只要足夠強地控制相關的渦度範數，光滑解在該時刻就不可能崩潰。
• 2016，Tao： 建構了一個平均化 Navier-Stokes 的爆發例子，它與真正的方程式共享相同的能量與尺度變換性質；這意味著真方程式的證明必須使用比能量估計與尺度變換本身更精細的結構。這是一道障礙。不是解答。
• 2022，Albritton, Brué, Colombo： 當允許外力時，Leray-Hopf 弱解並不唯一。壞消息是：最弱的解類並沒有我們希望的那麼馴服，這迫使人們重新思考在這個層次上「解」究竟意味著什麼。

• 1934，Leray：對無散度資料 \(L^2\) 中的 \(u_0 \in L^2(\mathbb{R}^3)\)，證明滿足能量不等式的弱解大域存在（J Math Pures Appl）。
• 1982，Caffarelli–Kohn–Nirenberg (CKN)：部分正則性；\(\mathcal{P}^1(\mathrm{sing}\, u)=0\)，意思是奇異集的一維拋物 Hausdorff 測度為零。這仍是我們擁有的最強一般結果（Comm Pure Appl Math）。
• 1984，Beale–Kato–Majda (BKM)：重塑此領域的延拓判準：在 \([0,T)\) 上的光滑解可延拓越過 \(T\)，若且唯若 \(\int_0^T \|\omega(\cdot,t)\|_{L^\infty}\,dt < \infty\)，將正則性化約為對渦度的控制。最初是為 Euler 提出；後來適用於 Navier-Stokes（Comm Math Phys）。
• 2016，Tao：為一個平均化 Navier-Stokes 方程式建構有限時間爆發，該方程式服從與真實系統相同的能量與尺度變換性質，這意味著任何正則性證明都必須利用更精細的結構（J Amer Math Soc）。
• 2022，Albritton–Brué–Colombo：受迫 3D Navier-Stokes 的 Leray-Hopf 解非唯一性，透過不穩定的自相似解建構（Ann of Math）。

本頁是一張地圖，不是疆域本身。細節請見：

關於特定研究方向的詳細處理：

• 子問題：已解決與部分解決的情形，包括 2D 大域正則性（Ladyzhenskaya 1959）、無旋繞的軸對稱、臨界空間結果（\(L^3\)、\(\dot{H}^{1/2}\)、\(BMO^{-1}\)），以及超越 BKM 的條件正則性判準。
• 方法：目前積極研究中的主要證明策略，包括能量與 enstrophy 方法、輪廓分解、溫和解理論、隨機 Navier-Stokes、凸積分計畫，以及電腦輔助界限。

最後審閱：2026 年 3 月。 本頁是一個持續更新的目錄。隨著新結果出現、更深入的文章上線，本頁將會更新。

最後審閱：2026 年 3 月。 本頁作為導覽樞紐。若有更正或建議，請參見本站儲存庫。