Navier-Stokes 子問題：弱解、奇點與三維正則性
將大問題拆解成可處理的部分
弱解：它們存在，但是否唯一？
1934 年，Jean Leray 有了一個想法。如果放寬解必須完全光滑的要求會怎樣？捨棄這個要求後，令人驚訝的是，你可以證明解總是存在。數學家稱這些放寬後的解為弱解。
類比：你找不到連接兩座城市的完美道路，所以改而接受一條有些顛簸的泥土小徑。Leray 證明了這條泥土小徑總是存在。Clay 千禧年問題問的是：那條完美道路是否也存在；經過九十年的努力，仍沒有人能回答這個問題。
問題在哪？唯一性。我們不知道弱解是否唯一。從相同初始條件出發，可能有好幾個有效的弱解，每一個都滿足方程式；而方程式也可能允許從同一初始資料出發有不只一個可容許的弱解。
Leray（1934）證明了大域弱解的存在性$u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$並滿足能量不等式
$$\frac{1}{2}\|u(t)\|_{L^2}^2 + \nu \int_s^t \|\nabla u(\tau)\|_{L^2}^2 \, d\tau \leq \frac{1}{2}\|u(s)\|_{L^2}^2$$
對幾乎處處的 $s \geq 0$ 以及所有 $t \geq s$。這些現在稱為Leray-Hopf 弱解。關鍵未解問題包括：
- 唯一性在能量類中仍未知。作為對照，Buckmaster-Vicol（2019）證明了低於 Leray-Hopf 能量類的弱解類中存在非唯一性（具體而言在 $C_t L^2_x$，且沒有 $L^2_t \dot{H}^1_x$ 控制）。
- 能量等式與不等式：弱解滿足不等式，但不保證有等式（如光滑解那樣）。能量可能在奇異時刻流失。
- 光滑性：如果一個 Leray-Hopf 解是光滑的，那它就是唯一的古典解。因此正則性蘊含唯一性。
部分正則性：奇異性很罕見
我們無法完全排除奇異性。但我們知道它們不可能太糟。Caffarelli、Kohn 與 Nirenberg（1982）的里程碑結果（CKN 定理）證明了解可能爆發的點所成的集合極其小。
有多小？在時空中，可能奇異點的集合具有「一維拋物 Hausdorff 測度為零」。用白話說：奇異集在拋物測度論意義下極小（一維拋物 Hausdorff 測度為零）。若奇異性存在，它們不能在時空中形成曲線或曲面，更不可能填滿任何區域。
即使尚未證明完全光滑性，我們也知道奇異性極為罕見。
Caffarelli-Kohn-Nirenberg 定理（1982）：對任意適當弱解 $(u,p)$ 的 Navier-Stokes 方程式，其奇異集 $\Sigma$ 滿足
$$\mathcal{P}^1(\Sigma) = 0$$
其中 $\mathcal{P}^1$ 是一維拋物 Hausdorff 測度。等價地，奇異性不能集中在時空中的曲線上。
證明引入了適當弱解並滿足局部能量不等式
$$\int |u|^2 \varphi(t) + 2\nu \int\!\!\int |\nabla u|^2 \varphi \leq \int\!\!\int |u|^2(\partial_t \varphi + \nu \Delta \varphi) + \int\!\!\int (|u|^2 + 2p)(u \cdot \nabla \varphi)$$
且使用一個 $\varepsilon$-正則性判準：如果尺度不變量 $\frac{1}{r}\int_{Q_r} |\nabla u|^2$ 在拋物柱 $Q_r$ 上足夠小，則 $u$ 在中心處是正則的。CKN 界接著由覆蓋論證推出。
Type-I 與 Type-II 爆發
如果奇異性存在，它會長什麼樣子？數學家常按爆發速率把潛在奇異性分成兩類：
- Type-I：爆發仍落在自然的自相似速率之內。它可能看起來像自相似圖樣，但 Type-I 並不等於「精確自相似」。在附加假設下，許多重要的 Type-I 式情境或有界臨界範數情境都已被排除。
- Type-II：爆發超過自然速率，或表現得更不規則。這一類神祕得多，也更難用現有技術掌握。
證明正則性意味著排除兩種類型。這就是為什麼多數現代方法會清楚區分 Type-I 與 Type-II 情境，儘管有些工具對兩者都適用。
假設 $T^* < \infty$ 是一個假想的第一次爆發時間。分類如下：
- Type-I： 當 $t \to T^*$ 時，$\|u(t)\|_{L^\infty} \leq \frac{C}{\sqrt{T^* - t}}$。這是自然的尺度速率；精確自相似 ansatz 只是更特殊的形式 $u(x,t) = \frac{1}{\sqrt{T^*-t}} U\left(\frac{x-x_0}{\sqrt{T^*-t}}\right)$，但 Type-I 並不要求精確自相似。
- Type-II： $\limsup_{t \to T^*} \sqrt{T^* - t} \, \|u(t)\|_{L^\infty} = \infty$。爆發超過自相似速率。
在臨界範數方面，Escauriaza-Seregin-Šverák（2003）與 Seregin（2012）共同意味著：若直到爆發時間為止 $L^3$ 控制保持有界，則不會出現奇異性；Seregin 的結果更表明，若發生爆發，$L^3$ 範數必須發散。Gallagher-Koch-Planchon 給出了有界臨界範數情境的剖面分解，建立在 Nečas-Růžička-Šverák（1996）與 Tsai（1998）的工作之上；後兩者在相應假設下排除了非平凡的反向自相似解與某些局部自相似解。
Type-II 仍然未解。這正是現代正則性研究計畫聚焦之處。
臨界範數的角色
對流體解有一些特定測量，恰好位於受控與失控行為的邊界上。數學家稱它們為臨界範數。它們就是分界線。
可以把它想成走鋼索。幾個重要的臨界範數都有條件式正則性判準：如果它們保持有界，就能推出光滑性。我們能控制的能量位在這條鋼索之下，令人沮喪地仍搆不到；整個挑戰就在於彌合從能量尺度到臨界門檻之間的落差。
哪些範數重要？關鍵範數衡量速度在 $L^3$（速度的三次方在空間上積分）或相關空間中的大小。近期工作證實了一件令人鼓舞的事：如果這些臨界量中的任何一個保持有界，解就會永遠保持光滑。
一個範數 $\|\cdot\|_X$ 若在 Navier-Stokes 的尺度變換下不變，便稱為臨界：$\|u_\lambda\|_X = \|u\|_X$。主要的臨界正則性判準：
- Escauriaza–Seregin–Šverák（2003）： $u \in L^\infty_t L^3_x$ 接近爆發時 $\Rightarrow$ 正則性
- Ladyzhenskaya–Prodi–Serrin： $u \in L^p_t L^q_x$，$\frac{2}{p} + \frac{3}{q} = 1$，$q > 3$ $\Rightarrow$ 正則性
- Beale–Kato–Majda： $\int_0^{T^*} \|\omega(t)\|_{L^\infty} dt < \infty$ $\Rightarrow$ 正則性
落差在於：能量估計給出 $u \in L^{10/3}_{t,x}$（由 Sobolev 嵌入），但臨界的 Serrin 條件要求 $u \in L^5_{t,x}$。這個從 $10/3$ 到 $5$ 的落差，正是超臨界性問題的核心。
集中性與緊性
如果發生爆發，能量跑到哪裡去了？它會集中。解的某個尺度臨界部分必須以某種方式集中，從而阻止一致控制；而精確理解這個過程如何運作，是排除爆發或證明爆發可能發生的關鍵。
集中緊性給數學家一種方法，用來研究放大到潛在爆發點時會發生什麼。剖面分解論證會分類一個不良序列可能如何無法保持緊性：它可能擴散出去、集中在某個尺度附近，或逃逸到更遠的距離。目標是排除每一種可能性。
策略是什麼？證明上述每一種情境都導致矛盾，從而迫使正則性成立。
集中緊性／剖面分解方法（Kenig-Merle，2006；由 Gallagher-Koch-Planchon、Kenig-Koch 等人改編到 Navier-Stokes）進行如下：
- 臨界元素： 如果大域正則性失敗，則存在一個「最小爆發解」，它具有仍會爆發的最小可能臨界範數。
- 緊性： 這個最小解具有緊性性質：在模掉對稱性後，它的軌道 $\{u(\cdot, t)\}_{t \in [0,T^*)}$ 在臨界空間中是預緊的。
- 剛性： 證明任何具有緊軌道的解都必須為零（或大域正則），從而與爆發假設矛盾。
這套方案已在能量臨界的色散方程式（NLS、NLW）中完成，但對 Navier-Stokes 而言，由於缺乏守恆的臨界量以及壓力的非局部性，仍面臨嚴重障礙。
繼續探索
本文屬於 進展。
每個子問題都有自己的工具庫。請探索主要的 Navier-Stokes 正則性研究方法，以掌握全貌；內容涵蓋從調和分析與能量方法，到凸積分與集中緊性技術，這些都是研究者至今仍在積極推進的方向。
為何如此頑固？請見 為何困難。Clay 的表述：千禧年問題。湍流：Reynolds 數與湍流。