ナビエ–ストークスの部分問題
大きな問いを扱いやすい断片に分解する
弱解：存在するが、一意か？
1934年、ジャン・ルレイは決定的な発見をしました：解が完全に滑らかであるという要件を緩めれば、解が常に存在することを証明できるのです。この緩和された解は弱解と呼ばれます。
こう考えてください：2つの都市の間に完全な道路が見つからない場合、いくつかの凹凸がある未舗装の道を受け入れるかもしれません。ルレイは未舗装の道が常に存在することを示しました。ミレニアム問題は、完全な道路もまた存在するかを問うています。
問題は？ 弱解が一意であるかどうかさえわかりません。同じ初期条件が与えられても、複数の有効な弱解が存在するかもしれず — 流体がどれを「選ぶ」かはわかりません。
ルレイ（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$$
a.e. $s \geq 0$ およびすべての $t \geq s$ に対して。これらは現在ルレイ–ホップ弱解と呼ばれています。主要な未解決問題：
- 一意性：エネルギークラスにおける一意性は未知です（対比：バックマスター–ヴィコル（2019年）は、ルレイ–ホップエネルギークラス以下のクラス（具体的には $L^2_t \dot{H}^1_x$ 制御なしの $C_t L^2_x$）における弱解の非一意性を証明）。
- エネルギー等式 vs. 不等式：弱解は不等式を満たしますが、（滑らかな解のような）等式は保証されていません — 特異的な時刻でエネルギーが失われる可能性。
- 滑らかさ：ルレイ–ホップ解が滑らかであれば、それは一意の古典解です。したがって正則性は一意性を含意します。
部分正則性：特異点は稀である
特異点を完全に排除できなくても、それがあまりひどくないことはわかっています。カファレリ、コーン、ニーレンバーグ（1982年）の画期的な結果 — CKN定理 — は、解が爆発しうる点の集合が信じられないほど小さいことを証明しています。
どれほど小さいか？ 時空において、可能な特異点の集合は「1次元放物型ハウスドルフ測度ゼロ」を持ちます。実用的に言えば：特異点は、存在するとしても、一瞬現れては消える孤立した点です。持続できず、線や面を形成できず、空間の領域を埋めることは確実にできません。
これは注目すべきことです：完全な滑らかさを証明せずとも、特異点が極めて稀であることがわかっているのです。
カファレリ–コーン–ニーレンバーグ定理（1982年）：ナビエ–ストークス方程式の任意の適切な弱解 $(u,p)$ に対して、特異点集合 $\Sigma$ は
$$\mathcal{P}^1(\Sigma) = 0$$
を満たします。ここで $\mathcal{P}^1$ は1次元放物型ハウスドルフ測度です。同値的に、特異点は時空の曲線上に集中できません。
証明は局所エネルギー不等式を満たす適切な弱解を導入します
$$\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上界は被覆論法から従います。
タイプI vs タイプII 爆発
特異点が存在するとしたら、それはどのようなものか？ 数学者は潜在的な爆発を2つのタイプに分類しています：
- タイプI（自己相似）：爆発は特定のレートに従います — 予測可能なペースで強まる渦のように。これらはよりよく理解されており、さまざまな条件下でほぼ排除されています。
- タイプII（非自己相似）：爆発は予測レートよりも速いか、より不規則です。これらははるかに神秘的で、解析が困難です。
正則性を証明するには、両方のタイプを排除する必要があります。ほとんどの現代的アプローチはこれらを別々の問題として扱い、それぞれに異なるツールを使用しています。
$T^* < \infty$ が仮想的な最初の爆発時刻であるとします。爆発は：
- タイプI：$t \to T^*$ で $\|u(t)\|_{L^\infty} \leq \frac{C}{\sqrt{T^* - t}}$。同値的に、再スケーリングされた解 $\lambda u(x_0 + \lambda x, T^* + \lambda^2 t)$ は有界のまま。タイプI爆発は $u(x,t) = \frac{1}{\sqrt{T^*-t}} U\left(\frac{x-x_0}{\sqrt{T^*-t}}\right)$ の形の自己相似解に関連。
- タイプII：$\limsup_{t \to T^*} \sqrt{T^* - t} \, \|u(t)\|_{L^\infty} = \infty$。爆発率が自己相似率を超える。
重要なタイプIの結果：
- セレギン（2012年）：爆発時刻での有界な $L^3$ ノルムは正則性を含意 — $L^3$ でのタイプI爆発を排除。
- ガラガー–コッホ–プランション（2016年）：タイプI爆発のプロファイル分解；先行研究のネチャス–ルージチカ–シュヴェラーク（1996年）とツァイ（1998年）は後方一意性により自己相似爆発を排除。
タイプII爆発が主要な未解決シナリオであり、現代の正則性プログラムの焦点です。
臨界ノルムの役割
数学者たちは、制御可能な振る舞いと制御不能な振る舞いの正確な「境界」に位置する、流体解の特定の測定を特定しています。これらは臨界ノルムと呼ばれます。
綱渡りのように考えてください：臨界ノルムが有界であることを示せれば、解は滑らかです。爆発すれば、解は破綻します。（制御できる）エネルギーは弱すぎます — 綱の下にあります。下から綱に到達する必要があります。
主要な臨界ノルムは、$L^3$（速度の3乗を空間で積分）や関連する空間で速度を測定します。最近の研究は、これらの臨界量のいずれかが有界であれば、解は滑らかであり続けることを示しています。
ノルム $\|\cdot\|_X$ は、ナビエ–ストークスのスケーリングの下で不変であれば臨界的です：$\|u_\lambda\|_X = \|u\|_X$。主要な臨界正則性判定条件：
- エスカウリアサ–セレギン–シュヴェラーク（2003年）：爆発近傍で $u \in L^\infty_t L^3_x$ $\Rightarrow$ 正則性
- ラディジェンスカヤ–プロディ–セリン：$u \in L^p_t L^q_x$、$\frac{2}{p} + \frac{3}{q} = 1$、$q > 3$ $\Rightarrow$ 正則性
- ビール–加藤–マイダ：$\int_0^{T^*} \|\omega(t)\|_{L^\infty} dt < \infty$ $\Rightarrow$ 正則性
ギャップ：エネルギー評価は（ソボレフ埋め込みにより）$u \in L^{10/3}_{t,x}$ を与えますが、臨界セリン条件は $u \in L^5_{t,x}$ を要求します。$10/3$ から $5$ へのこのギャップが超臨界性問題の核心です。
集中とコンパクト性
爆発が起こるとすれば、エネルギーはどこに行くのか？ 集中しなければなりません — ますます小さな空間の領域に焦点を合わせます。この集中を理解することが、排除するか構成するかのいずれかにとって鍵です。
集中コンパクト性のツールにより、数学者は潜在的な爆発点に拡大するときの極限で何が起こるかを研究できます。解は散乱するか（無限遠に分散）、点に集中するか（「最小爆発解」を形成）、空間的無限遠に逃げるかのいずれかです。
現代のアプローチは、各シナリオが矛盾に導くことを示そうとしています — 正則性だけを唯一の選択肢として残すために。
集中コンパクト性/プロファイル分解アプローチ（ケニグ–メルル、2006年；ガラガー–コッホ–プランション、ケニグ–コッホらによりナビエ–ストークスに適用）は以下のように進みます：
- 臨界要素：大域正則性が失敗すれば、「最小爆発解」が存在する — まだ爆発する最小の臨界ノルムを持つもの。
- コンパクト性：この最小解はコンパクト性を持つ：対称性を法として、その軌道 $\{u(\cdot, t)\}_{t \in [0,T^*)}$ は臨界空間でプレコンパクト。
- 剛性：コンパクト軌道解がゼロである（または大域正則）ことを示し、爆発の仮定に矛盾。
このプログラムはエネルギー臨界分散型方程式（NLS、NLW）で完成していますが、保存される臨界量の欠如と圧力の非局所性のため、ナビエ–ストークスでは深刻な障害に直面しています。
さらに探索する
この記事は研究の進展の一部です。
数学者たちはこれらの部分問題の各々を攻略するための強力なツールを開発してきました。主要な攻略路線についてはナビエ–ストークス正則性へのアプローチを探索してください。
これらの部分問題を困難にしている数学的障害については、なぜ難しいのかをご覧ください。正確な問題文については、ミレニアム問題をご覧ください。乱流と小スケールが正則性にどう関連するかについては、レイノルズ数と乱流をご覧ください。