Navier-Stokes 問題：開放三維問題概覽

不，尚未解決。

本頁是這個問題的整體概覽。關於 2026 年目前狀態以及失敗的解答宣稱，請見 Navier-Stokes 問題解決了嗎？。關於 Clay 的正式定式，請見 Navier-Stokes 存在性與光滑性。

Navier-Stokes 問題問的是一個看似簡單、實則充滿陷阱的問題：如果你讓一個三維流體以光滑方式開始流動，它是否會保持永遠光滑？或者其運動是否可能變得如此劇烈，以至於方程式失效，光滑性在有限時間內崩潰？

沒有人知道。

這就是 Navier-Stokes 存在性與光滑性問題，是整個數學中最深刻的開放問題之一；自這些方程式在 19 世紀成形以來，它抵擋了所有證明嘗試。曾有人宣稱解決了它，但沒有一個經得起檢驗。完整狀態請見已經解決了嗎？

這個問題仍然開放。

Navier-Stokes 存在性與光滑性問題問的是：對每個足夠光滑、無散度的初始資料$u_0 \in C^\infty(\mathbb{R}^3)$（並具有適當衰減）以及$f \equiv 0$，非壓縮 Navier-Stokes 系統是否承認一個解$u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$；或者，是否存在光滑資料$u_0$（並可能有一個光滑外力$f$）使得有限時間奇異性形成。

兩個方向都仍然開放。沒有任何證明建立了大域正則性；也沒有任何構造能從光滑資料產生有限時間爆發。自 Navier（1822）與 Stokes（1845）的奠基工作以來，這個問題一直未解，至今仍是分析與數學物理中的核心開放問題之一。

關於目前狀態，包括已發表的宣稱及其下場，請見已經解決了嗎？

未解並不代表無人觸及。近一個世紀的深刻數學工作已經描繪出這片地形，並精確揭示困難所在，以及為何它不會屈服於我們現有的工具：

• 弱解大域存在（Leray，1934）。 放寬「解」的概念，允許粗糙、平均化的行為，便可得到全時間存在的解。光滑嗎？沒有人能證明。更多方法 →
• 二維已經解決。 在二維中，光滑解永遠大域存在，但三維是完全不同的猛獸。為何三維更困難 →
• 若奇異性存在，它們也很稀少（CKN，1982）。 Caffarelli、Kohn 與 Nirenberg 證明，可能奇異性的集合具有零一維拋物 Hausdorff 測度，這表示它們甚至不能填滿時空中的一條曲線。子問題與部分結果 →
• 光滑解短時間存在。 從光滑資料出發，可在某個時間區間內得到唯一的光滑解；但該區間是否總能延拓到無窮遠，正是未知之處。
• 精確表述由 Charles Fefferman 為 Clay Mathematics Institute 提出。閱讀千禧年問題陳述 →

以下結果構成主要的部分進展：

• Leray（1934）： 對於$u_0 \in L^2(\mathbb{R}^3)$，大域弱解（現稱 Leray-Hopf 解）存在並滿足能量不等式。這些解的唯一性與正則性仍然開放。方法 →
• 二維大域正則性： Ladyzhenskaya（1959）建立了光滑解在$\mathbb{R}^2$中的大域存在性與唯一性。關鍵在於二維中渦量平方積分可受控制。為何三維不同 →
• CKN（1982）： Caffarelli、Kohn 與 Nirenberg 證明，任何適當弱解之奇異集的一維拋物 Hausdorff 測度為零。子問題 →
• 局部存在性： 對於足夠正則的資料，唯一的局部光滑解存在；在臨界空間如$\dot{H}^{1/2}$中，在 mild 解框架下有局部適定性。開放問題是這些解是否總能對所有時間延拓。
• Clay 表述（2000）： Fefferman 的問題陳述指定了精確的函數空間、衰減條件，以及何者構成有效的證明或反證。千禧年問題 →

核心困難在這裡。流體自身的運動能把活動推向越來越小的尺度，其速度快過目前估計所能控制的範圍。在三維中，數學並未給我們足夠控制來排除這點；同樣也不能讓我們證明它確實發生。

這不是聰明才智的問題，也不是計算能力的問題。已知的數學工具在根本上不足，而集中與耗散之間的這種張力，正是解決此問題需要真正新數學的原因。

超臨界性、尺度缺口、為何三維湍流在根本上不同：完整說明請見為何 Navier-Stokes 問題如此困難。

三維 Navier-Stokes 方程式相對於自然能量估計而言是超臨界的：$L^2$範數受到控制，但尺度臨界正則性位於$\dot{H}^{1/2}$，而單靠能量不等式無法傳播這種正則性。非線性項$(u \cdot \nabla)u$原則上可以把能量轉移到任意精細的尺度，其速度快過 Laplacian 對它的耗散。

這是本質性的分析障礙，且現有技術無法彌合這個缺口。詳細處理請見為何困難。

2000 年，Clay 數學研究所將 Navier-Stokes 方程式的存在性與光滑性列為七個Clay 千禧年問題之一，懸賞 1,000,000 美元徵求正確的證明或反證。二十六年後，獎金仍無人領取。

閱讀關於 Clay 千禧年問題 →

Clay 數學研究所將 Navier-Stokes 方程式的存在性與光滑性列入其 2000 年的 Clay 千禧年問題清單，獎金為 US $1,000,000. The problem statement, written by C. Fefferman, specifies two sub-problems (on $\mathbb{R}^3$ and on $\mathbb{T}^3$），並接受大域光滑存在性的證明，或有限時間爆發的構造作為解答。截至 2026 年，尚無任何解答獲得認可。

精確的千禧年問題表述 →

本頁是一張地圖。真正的領域深不可測。選一條線索：

• 已經解決了嗎？ 沒有。以下是目前狀態、主要已發表主張，以及它們在專家審查下失敗的技術原因。
• Clay 千禧年問題 要求。精確的要求。
• 為何困難 超臨界性、湍流，以及阻擋所有已知方法接近證明的尺度缺口。

關於上述主題的詳細論述：

• 已經解決了嗎？ 問題現狀、已發表與已撤回的主張、驗證標準。
• Clay 千禧年問題 Fefferman 的表述、函數空間，以及何者構成有效證明或反例。
• 為何困難 超臨界尺度變換、非線性的作用，以及能量層級控制與正則性之間的落差。

數學家並非只是盯著這個問題不放。他們為了攻克它，發展出強大的工具、部分結果，以及全新的分析領域。研究仍在持續。

查看迄今進展 →

過去一個世紀，Navier-Stokes 問題推動了調和分析、泛函分析與幾何測度論的重大發展。部分正則性結果、條件式爆發判準（Beale-Kato-Majda、Escauriaza-Seregin-Šverák），以及模型問題分析，持續深化我們對正則性與潛在奇點之間邊界的理解。

進展綜述 →