Navier-Stokes 問題

無外力三維 Navier–Stokes 的全域正則性仍未解決：所宣布的有外力構造並不解決此問題。以下技術討論中的正則性與唯一性未解問題，除非明確另述背景，均指無外力系統。

資料狀態核查日期：2026-09-12（JST）。9月8日，OpenAI 宣布三維不可壓 Navier–Stokes 在光滑外力下發生有限時間爆破，聲稱滿足 Clay 的選項 C 和 D，並公開論文稿與 Lean 形式化。9月11日，Clay 表示問題「看來已獲解決」，並說明評估與功勞歸屬將刻意從容進行。這不是頒獎公告，也不是本站對證明的驗證。

一手資料: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Clay 官方問題陳述.

另見： Navier-Stokes 問題解決了嗎？ · Navier-Stokes 存在性與光滑性 · 已經解決了嗎？

無外力三維 Navier–Stokes 的全域正則性仍未解決：所宣布的有外力構造並不解決此問題。以下技術討論中的正則性與唯一性未解問題，除非明確另述背景，均指無外力系統。

資料狀態核查日期：2026-09-12（JST）。9月8日，OpenAI 宣布三維不可壓 Navier–Stokes 在光滑外力下發生有限時間爆破，聲稱滿足 Clay 的選項 C 和 D，並公開論文稿與 Lean 形式化。9月11日，Clay 表示問題「看來已獲解決」，並說明評估與功勞歸屬將刻意從容進行。這不是頒獎公告，也不是本站對證明的驗證。

一手資料: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Clay 官方問題陳述.

另見： 已經解決了嗎？

Clay 要求證明四個選項中的一個，而非全部：(A) R³ 上無外力的全域光滑存在性；(B) 週期環面 T³ 上無外力的全域光滑存在性；(C) R³ 上的破裂，允許符合條件的光滑外力；(D) 週期情形的破裂，允許符合條件的光滑外力。A/B 針對所有允許的初始資料；C/D 要求一個允許的反例。有外力的破裂並不否定 A/B。

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))$；或者，允許的光滑資料是否可能導致有限時間爆發。

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

• 弱解大域存在（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 美元徵求正確的證明或反證。本概覽說明這個獎題在整體脈絡中為何重要。

關於精確的表述，請閱讀官方問題陳述詳解。關於目前的最新狀況，請見目前狀態（2026-09-12 (JST)）。

Clay 數學研究所將 Navier-Stokes 方程式的存在性與光滑性列入其 2000 年的千禧年大獎問題清單。問題陳述由 C. Fefferman 撰寫，給出了在 $\mathbb{R}^3$ 與 $\mathbb{T}^3$ 上的表述，並接受在官方選項下的大域光滑存在性證明，或有限時間爆發的構造作為解答。

請閱讀官方問題陳述詳解，或查看目前狀態（2026-09-12 (JST)）。

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

• 已經解決了嗎？ 2026年9月：OpenAI 宣布光滑外力下的三維爆破（Clay C/D）；Clay 表示問題看來已解決。評估與頒獎是不同階段。
• Clay 千禧年問題 要求。精確的要求。
• 為何困難 超臨界性、湍流，以及阻擋所有已知方法接近證明的尺度缺口。

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

• 已經解決了嗎？ 2026年9月：OpenAI 宣布光滑外力下的三維爆破（Clay C/D）；Clay 表示問題看來已解決。評估與頒獎是不同階段。
• Clay 千禧年問題 Fefferman 的表述、函數空間，以及何者構成有效證明或反例。
• 為何困難 超臨界尺度變換、非線性的作用，以及能量層級控制與正則性之間的落差。

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

另見： 查看迄今進展 →

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

另見： 進展綜述 →