Navier-Stokesの部分問題：弱解、特異点、三次元正則性

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年）は、ルレイ–ホップエネルギークラス以下のクラス（具体的には $C_t L^2_x$ において、$L^2_t \dot{H}^1_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上界は被覆論法から従います。

特異点が存在するとしたら、それはどのようなものか？　数学者は潜在的な爆発を2つのタイプに分類しています：

• タイプI：爆発が自然な自己相似レートの範囲内に収まる場合です。自己相似そのものとは限りませんが、そのレートに従います。
• タイプII：爆発がその自然なレートを超えるか、より不規則に振る舞う場合です。こちらの方がはるかに神秘的で、既存の手法では捉えにくいです。

正則性を証明するには、両方のタイプを排除する必要があります。ほとんどの現代的アプローチはこれらを鋭く区別して扱います。

$T^* < \infty$ が仮想的な最初の爆発時刻であるとします。分類は次の通りです：

• タイプI：$\|u(t)\|_{L^\infty} \leq \frac{C}{\sqrt{T^* - t}}$（$t \to T^*$ のとき）。これは自然なスケーリング率です。正確な自己相似仮定 $u(x,t) = \frac{1}{\sqrt{T^*-t}} U\left(\frac{x-x_0}{\sqrt{T^*-t}}\right)$ はその特別な場合ですが、タイプIは正確な自己相似性を要求しません。
• タイプII：$\limsup_{t \to T^*} \sqrt{T^* - t} \, \|u(t)\|_{L^\infty} = \infty$。爆発率が自己相似率を超えます。

臨界ノルムの観点では、エスカウリアサ–セレギン–シュヴェラーク（2003年）とセレギン（2012年）により、爆発時刻まで $L^3$ 制御が有界なら特異点は生じず、実際に爆発が起きるなら $L^3$ ノルムは発散しなければならないことが示されています。ガラガー–コッホ–プランションは有界臨界ノルムシナリオに対するプロファイル分解を与え、ネチャス–ルージチカ–シュヴェラーク（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年；ガラガー–コッホ–プランション、ケニグ–コッホらによりナビエ–ストークスに適用）は以下のように進みます：

1. 臨界要素：大域正則性が失敗すれば、「最小爆発解」が存在する — まだ爆発する最小の臨界ノルムを持つもの。
2. コンパクト性：この最小解はコンパクト性を持つ：対称性を法として、その軌道 $\{u(\cdot, t)\}_{t \in [0,T^*)}$ は臨界空間でプレコンパクト。
3. 剛性：コンパクト軌道解がゼロである（または大域正則）ことを示し、爆発の仮定に矛盾。

このプログラムはエネルギー臨界分散型方程式（NLS、NLW）で完成していますが、保存される臨界量の欠如と圧力の非局所性のため、ナビエ–ストークスでは深刻な障害に直面しています。

この記事は研究の進展の一部です。

数学者たちはこれらの部分問題の各々を攻略するための強力なツールを開発してきました。主要な攻略路線についてはナビエ–ストークス正則性へのアプローチを探索してください。

これらの部分問題を困難にしている数学的障害については、なぜ難しいのかをご覧ください。正確な問題文については、ミレニアム問題をご覧ください。乱流と小スケールが正則性にどう関連するかについては、レイノルズ数と乱流をご覧ください。

この記事は研究の進展の一部です。

これらの部分問題に対処するために開発された解析的・幾何学的ツールについては、アプローチをご覧ください。スケーリングと超臨界性の障害については、なぜ難しいのかをご覧ください。クレイの定式化については、ミレニアム問題をご覧ください。