為什麼 2D Navier-Stokes 比 3D 容易：渦度與正則性

Navier-Stokes 方程式描述流體如何運動。它們適用於 2D（平面的，例如水在桌面上擴散）和 3D（真實生活中的，例如海流在潛艇周圍打旋，或強風吹過摩天大樓）。同一組方程式。幾乎一模一樣。

轉折在這裡。在 2D 中，數學家可以證明方程式永遠表現良好，數學永不崩壞，解會永遠保持光滑。那 3D 呢？沒有人知道。地球上沒有任何一個人知道。流體可能會做出某種如此劇烈而突然的事情，以至於數學完全失效；而證明這是否可能發生，正是Clay 千禧年問題，獎金一百萬美元。

這不只是「3D 比較難，因為東西比較多」。3D 中有一個特定機制在 2D 中不存在。它改變了一切。

在 $\mathbb{R}^n$ 上的非壓縮 Navier-Stokes 方程式（或週期區域 $\mathbb{T}^n$）且 $\nu > 0$ 為

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

對於 $n = 2$，光滑無散度初始資料的古典解之大域存在性與唯一性是一個定理。關鍵參考文獻是 Ladyzhenskaya（1959），奠基於 Leray（1934）的早期工作。此結果可延伸到 $\mathbb{R}^2$、$\mathbb{T}^2$ 以及具標準邊界條件的有界區域上的光滑解。

對於 $n = 3$，由任意光滑資料出發的古典解之大域存在性仍是未解的。這就是 Fefferman（2000）所表述之Clay 千禧年問題的內容。Leray（1934）建立了 弱解 在 $L^2(\mathbb{R}^3)$ 中的大域存在性，但這些解的唯一性與正則性仍未解決。

$n = 2$ 與 $n = 3$ 之間的差距不是記帳問題。它反映了渦度方程式中的結構差異、非線性項的尺度變換性質，以及可用的先驗估計。以下各節將逐一檢視這些面向。

百萬美元問題只問 3D。為什麼？因為 2D 已經完成了。結束了。數學家幾十年前就證明，二維 Navier-Stokes 解永遠保持光滑，無論你丟給它什麼初始條件，無論你等待多久。已解決的問題不需要獎金。

所以真正的問題不是「為什麼 3D 難？」而是「為什麼 2D 容易而 3D 難？」當你加入第三個維度時，到底什麼東西壞掉了？

Clay 問題（Fefferman 2000）考慮 $\mathbb{R}^3$ 上非壓縮 Navier-Stokes 的 Cauchy 問題，粘性 $\nu > 0$，以及光滑、無散度初始資料 $u_0 \in C^\infty(\mathbb{R}^3)$，其滿足適當的衰減條件。問題是：是否存在具有有界能量的光滑解 $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$？

對於 $\mathbb{R}^2$ 的類似敘述是一個定理。Ladyzhenskaya 證明了 2D Navier-Stokes 在 $u_0 \in H^1(\mathbb{R}^2)$ 下強解的大域存在性與唯一性，而自舉可給出 $C^\infty$ 對光滑資料的正則性。證明依賴二維特有、無法延伸到三維的先驗估計。

因此，千禧年問題純粹是三維的。3D 中的部分結果（Leray 的弱解，1934；Caffarelli-Kohn-Nirenberg 部分正則性定理，1982；各種條件式正則性判準）都未能解決完整的大域正則性問題。每個部分結果都凸顯了我們對 3D 解控制中的一個特定缺口。

2D 有一項祕密武器。它叫做渦度：流體在每個點旋轉的程度。

在 2D 中，渦度只是一個數。就這樣。順時針或逆時針，快或慢。而這正是二維與三維如此驚人不同之處：這些小漩渦可以在流體中四處漂移，並因摩擦而逐漸衰退，但無論在任何情況下，它們都絕不可能變得比一開始更強。時間零的最大旋轉量？那就是你永遠會看到的最大旋轉量。

這為什麼重要？一切都由此推出。速度保持光滑。壓力保持光滑。解會永遠持續有效，無論你把時間推到多麼荒謬遙遠的未來，因為渦度上的這單一限制就像骨牌鏈中的第一張骨牌，會把視野中其他所有骨牌都推倒。

在 2D 中，渦度 $\omega = \partial_1 u_2 - \partial_2 u_1$ 是一個純量，滿足

$$\partial_t \omega + (u \cdot \nabla)\omega = \nu \Delta \omega.$$

這是純量渦度 $\omega$ 的一個平流—擴散方程式。完整系統仍然是非線性的，因為 $u$ 是由 $\omega$ 透過 Biot-Savart 定律 $u = \nabla^\perp (-\Delta)^{-1} \omega$ 復原，但該方程式沒有渦旋拉伸源項：右手邊只包含 Laplacian，而沒有 3D 中出現的 $(\omega \cdot \nabla)u$ 項。

純量最大值原理可直接套用：$\|\omega(t)\|_{L^\infty} \leq \|\omega_0\|_{L^\infty}$ 對所有 $t \geq 0$。同時，$\omega$ 的 $L^p$ 範數對所有 $1 \leq p \leq \infty$ 都可控制。

由 $\omega$ 的 $L^\infty$ 界，可透過 Biot-Savart 核的 Calderón-Zygmund 估計恢復 $u \in L^\infty(0,T; W^{1,p})$ 對所有 $p < \infty$。更高正則性則可藉由對渦度方程式微分並施加拋物型 bootstrap 取得：$\omega$ 的每一個空間導數都滿足係數可控的拋物方程式，因此各階界都能傳遞下去。

2D 渦度最大值原理在無粘性情形有更早的淵源。Wolibner（1933）在 Hölder 空間中證明了 2D Euler 的大域存在性，而 Yudovich（1963）則建立了有界渦度 2D Euler 解的唯一性。加入粘性（$\nu > 0$）後，拋物型平滑只會加強這些估計。Ladyzhenskaya 對 2D Navier-Stokes 大域正則性的證明依賴此結構，並結合 Ladyzhenskaya 插值不等式 $\|f\|_{L^4}^2 \leq C \|f\|_{L^2} \|\nabla f\|_{L^2}$（在 2D 中成立，其指數結構不同於 3D 的對應版本）。

在 3D 中，渦度不是一個數。它是一個向量，同時帶有 方向 和強度；你應該把它想像成穿行於流體中的微小龍捲風管。

問題就在這裡。那些管可以被 拉伸。像拉太妃糖那樣拉一根：它會變細，並且旋轉得 更快。快得多、快非常多。這就是 渦旋拉伸，也是整個故事中的反派，因為它意味著流體能放大自身的旋轉，把能量灌入越來越小的尺度，直到有可能在單一點上的旋轉變得無限強烈。

那就是爆發。數學失效了。

粘性（流體的內部摩擦）是否總能在拉伸到達無窮大之前及時煞車，還是拉伸有時會壓過摩擦而勝出？ 沒有人知道。 這真的就是那個百萬美元問題。拉伸與摩擦之間的這場拉鋸戰，正是 問題如此困難 的原因。

在 3D 中，渦度 $\omega = \nabla \times u$ 滿足

$$\partial_t \omega + (u \cdot \nabla)\omega = (\omega \cdot \nabla)u + \nu \Delta \omega.$$

項 $(\omega \cdot \nabla)u$ 是 渦旋拉伸項，在 2D 中不存在。它在某種意義上是二次的：$u$ 可由 $\omega$ 透過 3D Biot-Savart 定律恢復，因此 $(\omega \cdot \nabla)u$ 在最壞情況下大致像 $|\omega|^2$ 那樣尺度化。此項允許 $\|\omega\|_{L^\infty}$ 增長，並破壞了 2D 中可用的純量最大值原理。

對於 3D Euler，Beale-Kato-Majda 判準（1984）指出，定義在 $[0, T)$ 上的光滑解能延拓超過時間 $T$ 若且唯若

$$\int_0^T \|\omega(t)\|_{L^\infty} \, dt < \infty.$$

對 3D Navier-Stokes 也有類似的延拓判準。若爆發發生，則必須有 $\|\omega\|_{L^\infty}$ 在時間上變得不可積。拉伸項是渦度方程式中的來源項，能放大渦度並阻斷最大值原理的論證。在 2D 中，$\|\omega\|_{L^\infty}$ 對所有時間都由初始資料控制；在 3D 中，控制此範數正是核心未解問題。

部分進展：Caffarelli-Kohn-Nirenberg（1982）證明，對任何 3D Navier-Stokes 的適當弱解，其時空中奇異點集合的一維拋物型 Hausdorff 測度為零。若奇異性存在，它們也極其稀疏。但該定理並未排除其存在。

對於無粘性情形，Elgindi（2021）證明了 3D Euler 在 $C^{1,\alpha}$ 初始資料（$\alpha$ 很小）下會形成有限時間奇異性，其機制由沿對稱軸的渦旋拉伸驅動。這並不直接推出 Navier-Stokes 爆發（粘性仍可能使其正則化），但它表明在沒有粘性阻尼時，拉伸機制強到足以產生奇異性。

渦旋拉伸不是唯一的問題。3D 抗拒證明還有更深的結構性原因，而它會在你對流體「放大觀察」時顯現。

Navier-Stokes 方程式有一個放大觀察的技巧。取任何一個解，放大到較小區域，以正確的比例加快時間，你就會得到另一個完全有效的解。那麼：放大時能量會發生什麼？

• 在 2D 中，放大會保持能量不變。數學家稱這為 臨界 尺度變換。你的能量估計在每個尺度都有效。不論大或小，你都不會失去控制。
• 在 3D 中，作為小尺度控制的能量界會變得更弱。這是 超臨界 尺度變換，而且後果嚴重：已知估計恰好在爆發可能集中的尺度上失去抓力。

打個比方。在 2D 中，你的手電筒永遠夠亮。在 3D 中，你看得越小，它就越暗，而流體變得越狂野。最後你陷入黑暗。

這不是某個聰明技巧或許可以修補的技術不便。這是一堵牆。標準數學工具無法在小尺度上控制 3D Navier-Stokes。 需要某種根本上全新的東西。

Navier-Stokes 方程式在以下尺度變換下不變

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

對任何 $\lambda > 0$。其中 $L^2$ 範數變換為 $\|u_\lambda\|_{L^2(\mathbb{R}^n)} = \lambda^{1-n/2} \|u\|_{L^2}$。

• 對於 $n = 2$：$\|u_\lambda\|_{L^2} = \|u\|_{L^2}$。尺度不變。此方程式是能量臨界。
• 對於 $n = 3$：$\|u_\lambda\|_{L^2} = \lambda^{-1/2} \|u\|_{L^2}$，其在 $\lambda \to \infty$（放大觀察）時會減小。此方程式在能量層級上是超臨界的：有界的能量範數作為小尺度控制會變得更弱。

3D Navier-Stokes 方程式的臨界 Sobolev 空間是 $\dot{H}^{1/2}(\mathbb{R}^3)$，在自然尺度變換下保持尺度不變。但能量恆等式只控制 $u$ 於 $L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$。這比臨界低了半個導數。這就是超臨界性缺口。

在 2D 中，能量恆等式 $\frac{d}{dt}\|u\|_{L^2}^2 = -2\nu\|\nabla u\|_{L^2}^2$ 正好提供所需的臨界層級控制；再結合渦度最大值原理，就給出足夠的正則性，可一路自舉到 $C^\infty$。在 3D 中，同一個恆等式給出的界比臨界更弱。目前沒有已知的額外先驗估計能彌合這個缺口。

Tao 強調了這道障礙。僅基於能量不等式與尺度變換的論證，並不被期待能解決 3D 大域正則性；因此任何成功的證明很可能需要利用額外結構，也就是超出單靠尺度分析所能看見的東西。「對超臨界盲目」的方法（只透過方程式的尺度與能量結構來處理它）無法成功。方程式特定的代數結構，尤其是無散條件以及非線性項的反對稱結構，必須發揮作用。更深入的討論見 為什麼 Navier-Stokes 如此困難。

2D 證明之所以可行，是因為渦度保持有界且尺度是臨界的。3D 兩者皆無。那麼一個證明需要什麼？

沒有人知道。但以下是研究者正在追尋的方向：

• 找到一個新的「控制旋鈕」。 渦度是 2D 的控制旋鈕：它保持有界，而其他一切都僅由這個事實推出。在 3D 中，我們需要不同的量，某種無論流體如何運動都保持受控、且強到足以迫使整個解永遠保持光滑的東西。還沒有人找到。研究者已經尋找了數十年，它仍然缺席。
• 利用隱藏結構。 流體是非壓縮的。它們不能被擠壓。這個約束限制了渦旋伸展所能造成的效果，而方程式中也許還埋藏著更深的幾何模式，尚未被任何人充分利用。
• 證明它確實會破裂。 也許 3D 解會爆發。那同樣會是極其重大的結果。你需要構造一個特定初始條件，使渦旋伸展壓過粘性，並在有限時間內把解推向無窮；而對於較簡單的 Euler 方程式（沒有摩擦的 Navier-Stokes 方程式），在相關情境中已經展示了奇異性形成，但粘性情形仍完全未解。

更多已嘗試方法見 Navier-Stokes 子問題。

3D 大域正則性的證明需要彌合超臨界性缺口。具體而言，需要某種形式的先驗估計 $\|u(t)\|_X \leq C(\|u_0\|_Y, t)$，其中某個範數 $X$ 處於或高於臨界尺度，而 $C$ 對所有 $t$ 都保持有限。已知的能量界 $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$ 比臨界低半個導數，因此不足夠。

有幾個研究計畫針對這個缺口：

• 剖面分解與集中緊性。 這些方法借鑑臨界色散方程式的成功（Kenig-Merle 2006），試圖分類爆發剖面。對 Navier-Stokes 方程式，已有部分結果（例如 Gallagher-Koch-Planchon 2016），但能量的超臨界性使完整計畫比在能量臨界波方程或 Schrödinger 情境中更難執行。
• 溫和解延拓。 Fujita-Kato（1964）框架給出 $\dot{H}^{1/2}(\mathbb{R}^3)$ 中的局部適定性，以及臨界空間中小資料的大域適定性（$L^3$、$\dot{H}^{1/2}$、$BMO^{-1}$）。問題在於大資料解是否能大域延拓，而這需要控制臨界範數。
• 正則性判準。 除了 Beale-Kato-Majda（$\int_0^T \|\omega\|_{\infty} < \infty$）之外，還有 Prodi-Serrin 條件（$u \in L^p_t L^q_x$，其中 $2/p + 3/q = 1$ 且 $q > 3$）、Escauriaza-Seregin-Šverák（2003）的 $u \in L^\infty_t L^3_x$ 端點判準，以及其他端點結果。每一個都把大域正則性化約為單一先驗估計，但證明該估計仍是未解問題。
• 構造爆發。 Tao（2016）為一個平均化的 Navier-Stokes 系統構造了爆發解；該系統保留能量恆等式與尺度變換，但不保留完整的無散結構。這告訴我們，任何正則性證明都必須使用非線性項的特定幾何結構，而不只是其尺度性質。真正的 Navier-Stokes 方程式是否允許爆發仍是未解問題。

對於無粘性問題，Elgindi 的 $C^{1,\alpha}$ 3D Euler 爆發（2021）顯示，渦旋伸展可以在低於 $C^\infty$ 正則性的情況下產生奇異性。光滑（$C^\infty$）Euler 爆發問題仍未解，粘性是否能在 Navier-Stokes 情境中遏止這類機制，也同樣未解。

以上所有內容，用一張表表示：

這不是技術細節。2D 與 3D 之間的差距是一道鴻溝。在二維中完美奏效的證明策略，並不是只要「再多做一點工作」就能處理三維；它根本不可能奏效，因為它所依賴的數學結構，也就是使 2D 如此易處理的渦度最大值原理與能量臨界性，在 3D 中根本不存在。

完整方程式見 什麼是 Navier-Stokes 方程式？ 關於精確的公開問題，見 Navier-Stokes 存在性與光滑性。關於為何它如此困難，見 為什麼 Navier-Stokes 如此困難。

以下對比總結了這道數學分界：

2D 結果不只是低維度的暖身。它是一個完整定理，其證明機制（渦度最大值原理結合能量臨界性）在 3D 中沒有已知的對應物。3D 問題的任何解決，無論是正則性還是爆發，都將需要根本性的新想法。關於部分結果與研究計畫的現況，見 Navier-Stokes 子問題 與 為什麼 Navier-Stokes 如此困難。