Clay 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 問題解決了嗎？（2026-09-12 (JST) 狀態）

無外力三維 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。

Clay 問題問的不是流體模擬是否可行、工程師能否解出管流的例題，也不是弱解是否存在。那些是另外的問題。獎金問題關心的是三維不可壓方程的全域光滑性或有限時間破裂。

要贏得獎金，證明必須落在以下兩類之一：

1. 全域光滑性：證明每個允許的光滑初始流動對所有未來時間都保持光滑。
2. 破裂：給出一個允許的光滑設定，使得全域光滑解不可能存在。

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

核心系統是三維不可壓 Navier-Stokes 方程

$$\partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u + f, \qquad \nabla \cdot u = 0.$$

Clay 的表述將全空間情形與週期情形分開。在全空間的存在性方向，初始速度是光滑、無散度且快速衰減的；目標是對所有時間都具有有限能量的全域光滑解。在破裂方向，任務是在官方選項之一之下構造允許的資料，使得所要求的全域光滑解不存在。

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

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

依照 Fefferman 在 $\mathbb{R}^3$ 上且 $f \equiv 0$ 的表述：

假設： 令 $u_0 \in C^\infty(\mathbb{R}^3)$ 為無散度。假設對每個 $\alpha$ 和 $K$ 都存在常數 $C_{\alpha,K}$ 使得

$$|\partial^\alpha u_0(x)| \leq \frac{C_{\alpha,K}}{(1 + |x|)^K} \quad \text{在 } \mathbb{R}^3.$$

結論（待證）： 存在 $p \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ 和 $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ 滿足 Navier-Stokes 方程式，$u(x,0) = u_0(x)$，以及能量界

$$\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C \quad \text{對所有 } t \geq 0.$$

有三件事讓 Navier-Stokes 進入這份候選名單：

• 實際重要性。 這些方程式支撐了流體動力學的大部分領域：飛機設計、氣候模型、血流、洋流。即使沒有完整證明，工程師仍在許多範圍內成功使用這些方程式；未解問題在於三維方程式是否總能在數學上得到嚴格論證。
• 數學深度。 它同時涉及分析、幾何、拓撲與物理。
• 持久的重要性。 Clay 在2000年把 Navier–Stokes 選為七個千禧年問題之一，因為它兼具根本性的數學困難與流體動力學中方程式的核心地位。2026年9月的聲明改變了問題狀態，而非這些重要性理由。 另見： 探索原因

這個問題的困難根源在於三維方程式的 超臨界 性質。自然的能量估計

$$\frac{1}{2}\|u(t)\|_{L^2}^2 + \nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \frac{1}{2}\|u_0\|_{L^2}^2$$

將 $u$ 放在 $L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$ 中，而這 低於 臨界尺度變換。Navier-Stokes 方程式在以下變換下不變

$$u(x,t) \mapsto \lambda u(\lambda x, \lambda^2 t), \quad p(x,t) \mapsto \lambda^2 p(\lambda x, \lambda^2 t)$$

而臨界空間是 $L^3(\mathbb{R}^3)$（或 $\dot{H}^{1/2}$）。能量類 $L^2$ 是超臨界的。它位於臨界尺度變換閾值之下，單靠本身無法控制小尺度的非線性級聯，留下了現有所有技術都難以跨越的缺口。

此處展示的能量估計適用於零外力。有外力時，右側還需包含功項： $\int_0^t\!\int f(x,s)\cdot u(x,s)\,dx\,ds$.

關鍵里程碑：

• 1822： Navier 從分子層面的考量推導出方程式。
• 1845： Stokes 從連續介質力學給出現代推導。
• 1934： Leray 證明「弱」解總是存在。這是一項重大成果，但這些解可能並不光滑。
• 1982： Caffarelli、Kohn 與 Nirenberg 證明奇點（更多關於部分正則性）若存在，則極其小：在這些方程式自然對應的拋物幾何中，奇異集的一維拋物 Hausdorff 測度為零。
• 1984： Beale、Kato 與 Majda 證明（最初針對 Euler，並有 Navier-Stokes 類比）爆發只有在渦量變為無限大時才可能發生。
• 2000： Clay 將其列為千禧年問題。
• 2026年9月：OpenAI 宣布光滑外力下的三維爆破（Clay C/D）；Clay 表示問題看來已解決。評估與頒獎是不同階段。

另見： 臨界空間方法

基礎性結果（擇要）：

• Leray（1934）：大域 弱解 $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$ 存在，透過緊性證明。他引入了 Leray 投影算子與湍流解的概念。這為後續一切研究鳴響了起跑槍。
• Hopf（1951）：將 Leray 的構造推廣到有界區域。
• Ladyzhenskaya、Prodi、Serrin（1960 年代）：正則性判準。若 $u \in L^p_t L^q_x$ 且 $2/p + 3/q \leq 1$、$q > 3$，則解是光滑的。Escauriaza、Seregin 與 Šverák 於 2003 年解決了端點情形 $L^\infty_t L^3_x$。
• Caffarelli、Kohn、Nirenberg（1982）：$\mathcal{P}^1(\Sigma) = 0$。奇異集的一維拋物 Hausdorff 測度為零。
• Beale、Kato、Majda（1984）：最初為非壓縮 Euler 證明：爆發發生若且唯若 $\int_0^{T^*} \|\omega(\cdot,t)\|_{L^\infty} \, dt = \infty$。Navier-Stokes 也有類似判準。
• Koch、Tataru（2001）：對 $\mathrm{BMO}^{-1}$ 中的小資料給出局部適定性。這是目前已知適定性成立的最大臨界空間。
• Seregin（2012）：在爆發時間 $T^*$，$L^3$ 範數必須發散：$\|u(t)\|_{L^3} \to \infty$ 當 $t \to T^*$。這嚴格強於 ESS（2003），後者只證明了一致有界性失效。

2026年9月：OpenAI 宣布光滑外力下的三維爆破（Clay C/D）；Clay 表示問題看來已解決。評估與頒獎是不同階段。

本文是 問題 的一部分。

如果你來到這裡是想知道是否已有人解決它，請先看 Navier-Stokes 問題已經解決了嗎？。

接著可探索 為什麼它如此困難，或看看數學家如何將它 拆解為子問題。若想了解 2D 問題可處理而 3D 仍未解決的結構性原因，請見 為什麼 2D 比 3D 容易。

本文是 問題 的一部分。

想知道它是否已被解決的簡短答案？請見 Navier-Stokes 問題已經解決了嗎？ 該頁也闡明了弱解存在性與大域光滑正則性之間的差距。

數學上的障礙整理於為什麼它很難。若要了解如何將問題分解為可處理的部分（弱解、部分正則性、爆發分類），請見子問題。至於為什麼 2D 情形已解決而 3D 尚未解決，請見為什麼 2D 比 3D 容易。