Clay Navier-Stokes 問題陳述：官方標準詳解

簡短回答：Clay Mathematics Institute 問的是：每個光滑、無散度的三維不可壓 Navier-Stokes 初始狀態是否會永遠保持光滑，或者是否能構造出允許的光滑資料導致破裂。截至2026年7月，還沒有被接受的證明或反例。

2000 年，Clay 數學研究所選出了七個數學中最困難的未解問題，並為每一個設下 100 萬美元 的獎金。Navier-Stokes 存在性與光滑性問題名列其中。

本頁解釋 Clay 問題陳述：三維非壓縮 Navier-Stokes 的精確問題、允許的初始資料，以及什麼算作證明或反例。如果只想看目前狀態，請見 Navier-Stokes 問題解決了嗎？（2026年7月 狀態）

把問題簡化來說：流體運動方程式是否總是產生光滑、行為良好的解，還是它們可能爆發？

至今沒有人領到這筆獎金。甚至還差得很遠。人們在理解一個解（或崩潰）會是什麼樣子方面確實取得了進展，但問題本身仍然完全未解。

簡短回答：Clay 問題問的是：被接受的三維不可壓 Navier-Stokes 表述是否總能從光滑無散度資料產生全域光滑解，或者允許的光滑資料是否能迫使有限時間破裂。截至2026年7月，兩種可能都尚未被證明。

Navier-Stokes 的 Clay 千禧年獎題由 Charles Fefferman（2000）在官方問題說明中陳述。它給出兩種表述，一種在 $\mathbb{R}^3$ 上，另一種在 $\mathbb{T}^3$ 上（週期邊界條件）。有效解答必須處理其中之一。

該獎題要求以下二者之一：

• (A) 存在性與光滑性： 證明適當的光滑無散度初始資料會產生對所有 $t \geq 0$ 都存在的光滑解，並具有所述的能量控制。
• (B) 崩潰： 給出允許的光滑資料，並在相關表述中帶有允許的外力，使得所要求的全域光滑解不存在。

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

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

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

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

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

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

以下用通俗語言說明這個問題實際上在問什麼：

設定： 取任意完全光滑（沒有尖角、沒有不連續）的初始流體速度，並且在無窮遠處衰減。遠離主要運動區域時，流體保持靜止。

問題： 速度是否會保持光滑且有限，對所有未來時間 都如此？還是它可能爆發？

兩種答案。只有兩種。

1. 是，永遠光滑。 證明無論選取什麼光滑初始狀態，解都會永遠保持光滑。每個初始條件、每個時刻皆然。
2. 否，會發生爆發。 找到一個具體的光滑起始配置，可能還加上一個光滑外力，使得解發生崩潰。只要一個例子就夠了。

依照 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 進入這份候選名單：

• 實際重要性。 這些方程式支撐了流體動力學的大部分領域：飛機設計、氣候模型、血流、洋流。即使沒有完整證明，工程師仍在許多範圍內成功使用這些方程式；未解問題在於三維方程式是否總能在數學上得到嚴格論證。
• 數學深度。 它同時涉及分析、幾何、拓撲與物理。
• 純粹的頑強難解（探索原因）。 180 多年來，一些有史以來最偉大的數學家持續努力，而我們仍然不知道答案。

聰明的大學生可以在五分鐘內說清楚這個問題。卻沒有人找到答案。簡單陳述與遙不可及的證明之間的這道鴻溝，正是 Clay 千禧年問題的特徵。

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

$$\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$ 是超臨界的。它位於臨界尺度變換閾值之下，單靠本身無法控制小尺度的非線性級聯，留下了現有所有技術都難以跨越的缺口。

關鍵里程碑：

• 1822： Navier 從分子層面的考量推導出方程式。
• 1845： Stokes 從連續介質力學給出現代推導。
• 1934： Leray 證明「弱」解總是存在。這是一項重大成果，但這些解可能並不光滑。
• 1982： Caffarelli、Kohn 與 Nirenberg 證明奇點（更多關於部分正則性）若存在，則極其小：在這些方程式自然對應的拋物幾何中，奇異集的一維拋物 Hausdorff 測度為零。
• 1984： Beale、Kato 與 Majda 證明（最初針對 Euler，並有 Navier-Stokes 類比）爆發只有在渦量變為無限大時才可能發生。
• 2000： Clay 將其列為千禧年問題。
• 今日： 仍未解決。目前在 臨界空間方法、I/II 型爆發分類，以及電腦輔助證明方面仍有活躍研究。

基礎性結果（擇要）：

• 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），後者只證明了一致有界性失效。

本文是 問題 的一部分。

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

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

本文是 問題 的一部分。

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

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