Navier-Stokes 問題解決了嗎？2026 年現況
簡短答案、詳細答案，以及為什麼這個問題比聽起來更棘手
2026 年現況：仍未解決
沒有。截至 2026 年，Navier-Stokes 存在性與光滑性問題仍然未解。沒有人證明三維中光滑解總是存在，也沒有人證明它們會失效。Clay 千禧年獎金（100 萬美元）仍無人領取，等待有人破解這個與 19 世紀所提出的方程式相關、至今仍未解的問題。
本頁是「Navier-Stokes 解決了嗎？」或「Clay 的 Navier-Stokes 問題解決了嗎？」這類問題的目前狀態頁。關於精確的 Clay 問題陳述，請見 Navier-Stokes 存在性與光滑性。
方程式本身並沒有問題。工程師與科學家每天都使用 Navier-Stokes 來設計飛機、預測天氣、模擬血流。模擬是有效的。但尚未解決的是：一個純粹數學問題，即這些方程式是否總能產生行為良好的解，或者它們是否最終可能預測出不可能的情況，例如無限大的速度集中在空間中的單一點。
截至 2026 年，Navier-Stokes 存在性與光滑性的 Clay 千禧年獎仍然開放。對於三維非壓縮 Navier-Stokes 方程式，既未建立大域正則性，也未建立有限時間爆發。
精確地說：給定光滑、無散度的初始資料 $u_0 \in C^\infty(\mathbb{R}^3)$ 並具有適當衰減（或在 $\mathbb{T}^3$ 上），目前不知道是否存在唯一的光滑解 $(u, p)$ 對所有 $t \geq 0$ 都存在且滿足 $u \in C^\infty(\mathbb{R}^3 \times [0, \infty))$。尚未構造出反例。
已知的結果
這並非一片黑暗。數學家們已經在這個問題上努力了一個多世紀，並建立起一幅相當細緻的圖像，說明哪些已知、哪些未知：
- 弱解存在（Leray，1934）。 如果放寬解的概念，則大域解存在。但它們是否保持光滑且唯一，仍然是開放問題。
- 二維已解決（Ladyzhenskaya，1969）。 二維？完成了。光滑解對所有時間都存在，而困難完全且頑固地只屬於三維。
- 奇異性很罕見（Caffarelli-Kohn-Nirenberg，1982）。 即使三維中存在奇異性，它們也被限制在一個零一維拋物 Hausdorff 測度的集合中，這在方程式的自然幾何裡是極小的。
- 短時間解存在。 光滑嗎？是的，至少短暫如此。問題是：它們是否總能永遠延拓下去？
因此缺口狹窄卻很深。我們知道解從光滑開始，也知道弱解大域持續存在；然而沒有人能證明在三維中光滑性會對所有時間保持。
關鍵的既有結果：
- Leray（1934）： 滿足能量不等式的弱（分佈意義）解之大域存在性 $\|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \|u_0\|_{L^2}^2$。唯一性？開放問題。
- Ladyzhenskaya（1969）： 對於二維非壓縮問題，光滑無散度資料產生唯一的大域光滑解。
- Caffarelli-Kohn-Nirenberg（1982）： 適當弱解的部分正則性：奇異集的一維拋物 Hausdorff 測度為零，$\mathcal{P}^1(S) = 0$。
- 局部適定性： 對於 $u_0 \in H^s(\mathbb{R}^3)$ 且 $s > 3/2$，在 $[0, T^*)$ 上存在唯一的光滑解；這在尺度臨界空間 $\dot{H}^{1/2}(\mathbb{R}^3)$ 中也成立（Fujita-Kato，1964），並可延伸到包含 $BMO^{-1}$ 在內的嚴格更大的臨界空間（Koch-Tataru，2001）。是否 $T^* = \infty$？
缺口就在這裡：我們知道弱解大域存在，也知道強解局部存在且具有完全唯一性。強解是否總能延拓到所有時間，正是仍然大開放的問題。
為什麼人們會以為它可能已被解決
每隔一兩年，就會有一篇預印本聲稱解決了 Navier-Stokes 問題。循環相當可預期：興奮、專家審查，接著有人找到漏洞。沒有任何一篇被專家社群接受為正確解決方案。
部分混淆來自於把「已解決」實際上意味著什麼混在一起：
- 「我們可以在電腦上模擬流體。」 當然可以。但數值模擬不是數學證明；模擬把空間與時間切成有限小塊，而問題問的是在你做任何切分之前，連續方程式中會發生什麼。
- 「工程師成功地使用這些方程式。」 是的。但實務上的成功並不能告訴我們，這些方程式在數學家能想像出的每一種可能情境中是否內部一致。
- 「二維問題已經解決。」 正確。但三維問題在根本上不同，因為讓二維可行的機制（沒有渦旋拉伸，因而保持渦度有界）在三維中根本不適用。
聲稱的證明經常出現。它們會失敗，原因相當可預期：
- 錯誤的先驗估計： 假定控制了一個其實尚未建立的臨界或超臨界範數。
- 混淆弱解與強解： 證明 Leray-Hopf 解的性質，但那些性質需要的正是所聲稱的正則性。
- 量綱分析錯誤： 在二維中能閉合的論證（其中渦量平方積分給出 $H^1$ 控制，且次臨界 Sobolev 嵌入已足夠），但在三維中完全失效，因為相同的嵌入不再能控制非線性項。
- 循環的自舉論證： 假設中隱含地假定了正在被證明的結論。
為什麼一切都會失敗？三維問題相對於自然能量範數是超臨界的，因此像能量估計與 Gronwall 型論證這樣的標準技術根本無法提供足夠控制。這就是每個聲稱的證明都會撞上的牆。
一個解決方案會是什麼樣子？
若要聲稱獲得 Clay 獎，你需要完成以下兩件事之一：
- 證明大域正則性： 證明對任意光滑初始條件，解會永遠保持光滑。不會有無窮大的速度。不會崩潰。方程式始終表現良好。
- 構造爆發： 找到光滑初始條件，使得古典數學解在有限時間內崩潰，或以其他方式滿足 Clay 官方的崩潰表述之一。
任一結果都將極為重大。大域正則性會解決 Clay 千禧年問題，並確立非壓縮模型對所有光滑資料在數學上都是適定的。若是爆發呢？那將迫使我們重新思考在極端尺度下發生的事情，並可能指向我們尚未想像過的全新物理。
依照 Fefferman 的 Clay 表述，一個有效的解決方案需要以下之一：
- (A) 存在性與光滑性： 對每個 $u_0 \in C^\infty(\mathbb{R}^3)$ 且 $\nabla \cdot u_0 = 0$ 並且 $|\partial_x^\alpha u_0(x)| \leq C_{\alpha K} (1 + |x|)^{-K}$ 對所有 $\alpha, K$，證明存在 $(u, p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ 滿足方程式，且 $\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$ for all $t \geq 0$.
- (B) 崩潰： 展示 $u_0 \in C^\infty(\mathbb{R}^3)$（無散度，並具有適當衰減）以及 $f \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ 使得不存在 $(u,p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ 滿足方程式。
在 $\mathbb{T}^3$ 上的類似表述也被接受。Fefferman 的完整陳述包含有外力與無外力（$f = 0$ 和 $f \neq 0$）的不同情形；以上濃縮了本質上的兩種選項。
迄今為止的時間線
- 1822： Navier 從分子層面的考量推導出這些方程式。
- 1845： Stokes 給出了它們的現代形式。
- 1934： Leray 證明弱解大域存在。重大成果。
- 1969： Ladyzhenskaya 解決了 2D 情形。
- 1982： Caffarelli、Kohn 與 Nirenberg 證明部分正則性，確立任何奇異性都必定極為罕見，侷限在一維測度為零的集合中。
- 1984： Beale、Kato 與 Majda 證明，對 3D Euler 方程式而言，光滑解的崩潰會迫使渦度的時間積分發散。相關的延拓判準也適用於 Navier-Stokes。
- 2000： Clay 將其列為千禧年問題。一百萬美元。
- 2014： Tao 為方程式的一個平均化版本構造爆發（預印本；2016 年發表），顯示奇異性形成並不存在純粹結構性的障礙。
- 2026： 未解。
- 1822： Navier。分子應力。
- 1845： Stokes。連續介質。
- 1934： Leray。奠基性結果：在 $L^2$ 中的大域弱解、Leray 投影算子，以及形塑此後整整一個世紀數學流體分析並定義後續每一種方法的能量不等式。
- 1951： Hopf 將其延伸到有界區域。
- 1962： Serrin 建立條件正則性：若 $u \in L^p_t L^q_x$ 且 $2/p + 3/q \leq 1$ 並滿足 $q > 3$，則解光滑；端點 $L^\infty_t L^3_x$ 由 Escauriaza-Seregin-Šverák 於 2003 年解決。
- 1969： Ladyzhenskaya。2D 完成。
- 1982： CKN。$\mathcal{P}^1(S) = 0$。
- 1984： Beale-Kato-Majda（針對 3D Euler）。若 $T^* < \infty$，則 $\int_0^{T^*} \|\omega(s)\|_{L^\infty} \, ds = \infty$。Navier-Stokes 也有類似的延拓判準。
- 2000： Clay。
- 2014： Tao。平均化 Navier-Stokes 爆發（JAMS 2016），顯示任何針對真正方程式的正則性證明，都必須利用比平均化模型所保留者更精細的 Navier-Stokes 非線性特徵。
- 2026： 未解。
繼續探索
屬於 問題。
深入閱讀：為什麼這個問題如此困難？，什麼子問題是數學家正在研究的，以及他們嘗試過哪些方法？
Clay 的正式陳述位於千禧年問題頁面；如果你想了解這個問題實際針對的是方程式的哪個版本，請參見非壓縮與壓縮 Navier-Stokes。