Navier-Stokes問題へのアプローチ：Leray、CKN、臨界空間

最も基本的なアプローチはエネルギーを使います。運動する流体は運動エネルギーを持ち、粘性がそれを散逸させます — 摩擦が物を減速させるように。全エネルギーは（外力がなければ）時間とともに減少するしかありません。

これが1934年のルレイの重要な洞察でした：エネルギー上界を使って何らかの解が存在しなければならないことを証明する。彼の方法は近似解を（人工的な平滑化で）構成し、すべてがエネルギー上界を満たすことを証明し、極限を取ります。

限界：エネルギー上界は滑らかさを保証するには粗すぎます。流体が有限の全エネルギーを持つことは教えてくれますが、速度がどこでも有限であることは教えてくれません。

論文リンク： Leray, Sur le mouvement d'un liquide visqueux emplissant l'espace (1934); Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen (1951).

ルレイ–ホップ構成はガレルキン近似またはモリファイにより進みます。主要ステップ：

1. 近似：有限次元部分空間上でモリファイされた系 $\partial_t u_\varepsilon + (J_\varepsilon u_\varepsilon \cdot \nabla) u_\varepsilon = \nu \Delta u_\varepsilon - \nabla p_\varepsilon$ を解く。
2. エネルギー上界：ア・プリオリ評価 $\|u_\varepsilon(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u_\varepsilon\|_{L^2}^2 \leq \|u_0\|_{L^2}^2$ が $\varepsilon$ に関して一様に成り立つ。
3. コンパクト性：オーバン–リオンの補題を使って、弱収束部分列 $u_\varepsilon \rightharpoonup u$ を $L^2_t \dot{H}^1_x$ において抽出。
4. 極限への移行：非線形項は、強 $L^2_{\text{loc}}$ 位相での $u_\varepsilon$ の収束により収束。

得られた弱解はエネルギー不等式を満たします（等式ではない — 不正則な時刻でエネルギーが失われる可能性）。エネルギークラス $L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$ と滑らかさの間のギャップが、まさに正則性問題です。

論文リンク： Leray, Sur le mouvement d'un liquide visqueux emplissant l'espace (1934); Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen (1951).

カファレリ–コーン–ニーレンバーグのアプローチ（1982年）は完全な滑らかさを証明しようとはしません。代わりに問います：特異点はどれほどひどくなりうるか？

答え：驚くほど穏やかです。彼らの $\varepsilon$-正則性定理は、小さな時空領域で流体のエネルギーが十分小さければ、そこでの解は滑らかであると言います。全エネルギーは有限なので、多くの特異点に対する「予算」が単純に足りません。

壁にひびがあるかもしれない。でも、そのひび全体は放物型の測度論的意味で極めて小さい、というイメージです。特異点集合の1次元放物型ハウスドルフ測度はゼロになります。

論文リンク： Caffarelli-Kohn-Nirenberg, Partial regularity of suitable weak solutions of the Navier-Stokes equations (1982); Albritton-Barker-Prange, Epsilon regularity for the Navier-Stokes equations via weak-strong uniqueness.

CKN $\varepsilon$-正則性定理：適切な弱解に対して、$u$ と $p$ の両方を含むある種のスケール不変な局所量（放物型シリンダー $Q_r(z_0) = B_r(x_0) \times (t_0 - r^2, t_0)$ 上の量）が十分小さければ、点 $z_0 = (x_0, t_0)$ の近傍で正則性（ヘルダー連続性）が従います。

証明は局所エネルギー不等式とカンパナート型反復を組み合わせます：スケール不変エネルギーが小さければ、ブートストラップ議論により $u$ は有界、次にヘルダー連続、次に古典的シャウダー理論により滑らかになります。

次元評価 $\mathcal{P}^1(\Sigma) = 0$ はヴィタリ被覆論法から従います。特異点はスケール不変な局所散逸・エネルギー量に下界を強制し、その被覆によって特異点集合の1次元放物型測度が局所エネルギー測度で支配されます。この量は小スケールで消えるため、結果として特異点集合の1次元放物型測度はゼロになります。

論文リンク： Caffarelli-Kohn-Nirenberg, Partial regularity of suitable weak solutions of the Navier-Stokes equations (1982); Albritton-Barker-Prange, Epsilon regularity for the Navier-Stokes equations via weak-strong uniqueness.

古典的な継続判定条件は、ビール、加藤、マイダにより最初に3次元オイラー方程式に対して証明され、後にナビエ–ストークスに複数の形で適用されました。爆発は渦度制御が失われた場合にのみ起こりうるというものです。

渦度は流体がどれだけ局所的に回転しているかを測ります。BKM型判定条件のメッセージは：適切なノルムで最大回転を制御できれば、解は滑らかに継続するということです。他の危険な量も制御下に置かれます。

これにより問題は単一の量の族に帰着されました。残念ながら、それらを制御することは元の問題と同じくらい困難であることが判明しました。

論文リンク： Beale-Kato-Majda, Remarks on the breakdown of smooth solutions for the 3-D Euler equations (1984); Kozono-Taniuchi, Bilinear estimates in BMO and the Navier-Stokes equations (2000).

元のビール–加藤–マイダ定理（1984年）は3次元オイラー方程式に対するものです。ナビエ–ストークスでは、滑らかな解 $u$ が $[0, T^*)$ 上で与えられたとき、類似の継続判定条件は、$T^*$ を超えた延長が

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

のもとで可能であることを含意します（$\omega = \nabla \times u$ は渦度）。改良版には：

• 小薗–谷内（2000年）：$\|\omega\|_{L^\infty}$ を $\|\omega\|_{\mathrm{BMO}}$ に置き換え可能
• ベゾフ空間変形：臨界または境界的ベゾフ制御も継続判定条件となる
• 方向制限判定条件：ダ・ヴェイガ（1995年）は $\nabla u$ に対する特定のスケール不変上界ですでに十分であることを示した

これらの判定条件は渦伸長の描像と結びつきます：任意の有限時間特異点は、上の時間積分が有限に留まるには速すぎる速度で渦度が蓄積することを強制しなければなりません。

論文リンク： Beale-Kato-Majda, Remarks on the breakdown of smooth solutions for the 3-D Euler equations (1984); Kozono-Taniuchi, Bilinear estimates in BMO and the Navier-Stokes equations (2000); Chemin-Planchon, Self-improving bounds for the Navier-Stokes equations (2012).

現代的なアプローチは、スケーリング対称性が許す境界にちょうど位置する関数空間（$L^3$ や $\dot{H}^{1/2}$ など）を扱います。これらは臨界空間と呼ばれます。

アイデア：解が特定の臨界空間の上界内に留まることを示せれば、滑らかさが自動的に従います。複数のチームがこれを確立し、「正則性判定条件」のメニューを作成しました — 検証されれば滑らかさを保証する条件です。

課題はギャップです。エネルギー法が与えるのは、エネルギー超臨界で、臨界スケールより下にある制御です。必要なのは臨界上界です。このギャップは狭いですが、橋渡しのあらゆる試みに抵抗しています。

論文リンク： Kenig-Koch, An alternative approach to regularity for the Navier-Stokes equations in critical spaces; Gallagher-Koch-Planchon, A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier-Stokes regularity criterion.

臨界空間正則性における主要なプログラム：

• コッホ–タタル（2001年）：$\text{BMO}^{-1}$ での小データに対する大域適切性。鍵となる評価は、$\text{BMO}^{-1}$ データ上に構築されたコッホ–タタルの熱流解空間におけるDuhamel双線形写像の不動点評価であって、$\text{BMO}^{-1}$ 上の素朴な静的積評価ではありません。これは摂動的手法として最も鋭い既知の結果の一つです。
• ガラガー–コッホ–プランション（2013年）：$L^\infty_t L^3_x$ 正則性判定条件に対するプロファイル分解アプローチ。有界な臨界ノルムを持つ解の列は、漸近的に分離されたプロファイルに分解する部分列を持ちます。

根本的な障害：発展方程式によって制御されかつナビエ–ストークスのスケーリングに関して臨界的である既知の強制的汎関数が存在しない。

論文リンク： Kenig-Koch, An alternative approach to regularity for the Navier-Stokes equations in critical spaces; Gallagher-Koch-Planchon, A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier-Stokes regularity criterion.

現代のPDE理論は調和解析のツールを使います — 関数を異なる周波数の波に分解する数学（音楽のコードを個々の音符に分解するように）。

流体速度を異なる空間スケールの成分に分解し、スケール間のエネルギー移動を追跡することで、数学者は「エネルギーカスケード」の漠然とした直感を精密にすることができます。リトルウッド–ペイリー分解と呼ばれるこれらの手法は、正則性判定条件と爆発率に関する最も鋭い既知の結果を生み出しました。

論文リンク： Cannone-Meyer, Littlewood-Paley decomposition and Navier-Stokes equations (1995); Gallagher-Koch-Planchon, A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier-Stokes regularity criterion.

リトルウッド–ペイリー理論は $u = \sum_j \Delta_j u$ と分解します。ここで $\Delta_j$ は周波数 $|\xi| \sim 2^j$ に局在化します。移流非線形項 $(u \cdot \nabla)u$ に適用すると：

非線形性 $(u \cdot \nabla)u$ のパラプロダクト分解は、低-高、高-低、高-高の周波数相互作用に分割されます：

$$(u \cdot \nabla)u = T_u \nabla u + T_{\nabla u} u + R(u, \nabla u)$$

ここで $T$ はパラプロダクト、$R$ は剰余項。各部分はベゾフ空間 $\dot{B}^s_{p,q}$ で異なる正則性を持ちます。

この装置を使った主要結果：

• シュマン–レルネ空間：$\widetilde{L}^\rho_T \dot{B}^s_{p,q}$ が臨界適切性の自然な枠組みを提供：ナビエ–ストークスの双線形形式が $\widetilde{L}^\infty_T \dot{B}^{-1+3/p}_{p,q} \times \widetilde{L}^1_T \dot{B}^{1+3/p}_{p,q} \to \widetilde{L}^1_T \dot{B}^{-1+3/p}_{p,q}$ を写す。
• カノーネ–メイヤー：リトルウッド–ペイリー法が小データ理論のクリーンなウェーブレット/ベゾフ定式化を与える。

論文リンク： Cannone-Meyer, Littlewood-Paley decomposition and Navier-Stokes equations (1995); Gallagher-Koch-Planchon, A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier-Stokes regularity criterion.

あまり伝統的ではないが、ますます強力になっているアプローチは、流れの幾何学を使います。数値（ノルム、エネルギー）を追跡する代わりに、解の形 — 渦管がどう曲がるか、激しい回転の領域が空間でどう配置されるか — を研究します。

洞察は、爆発は単に何かが大きくなることではなく — 流体が非常に特定の幾何学的配置に自己組織化することだということです。その配置が不可能であること（例えばエネルギー保存や非圧縮性との矛盾を導くため）を示せれば、爆発を排除できます。

この幾何学的視点は、純粋に解析的な正則性判定条件の重要な補完となっています。

論文リンク： Constantin, Geometric statistics in turbulence (1994); Albritton-Barker-Prange, Localized smoothing and concentration for the Navier-Stokes equations in the half space.

幾何学的–位相幾何学的アプローチは、純粋に解析的な手法では見えない構造的拘束を利用します：

• 渦線の幾何学：コンスタンティン（1994年）は、高渦度領域で渦度方向場 $\hat{\omega} = \omega/|\omega|$ がリプシッツであれば解は正則であることを示しました。爆発は渦度の方向が大きさと同時に特異点を発展させることを要求します。
• 不適合性の議論：爆発配置が幾何学的に拘束されている場合（例えば、エネルギーと散逸の予算内に収まる独立した集中領域の数のパッキング上界を通じて）、臨界ノルムを直接評価せずに矛盾を導出できます。
• 場合分け：各空間領域を有限個のシナリオのいずれかに分類し（例えば、局所正則、タイプI的、タイプII的、密にパックされた）、各シナリオが正則性を与えるか、問題を有界な数え上げ議論に転送することを示すことで、爆発を組合せ的に排除できます。

本サイトの証明ページはこの種の議論を探索することを意図しています；ミレニアム問題の完成した正式な証明として提示されているものではありません。

論文リンク： Constantin, Geometric statistics in turbulence (1994); Albritton-Barker-Prange, Localized smoothing and concentration for the Navier-Stokes equations in the half space.

驚くべき最近の展開：ルレイの方法で構成された弱解は非一意であることが判明しました — 少なくとも外力が許される場合に。

この発見の背後にあるツールは凸積分であり、元来は幾何学の問題のために発明された手法で、2009年頃からデ・レリスとセケルヒディにより流体方程式に適用されました。方程式を総合的に満たすが不規則に振る舞う高周波補正を反復的に加えることで「野性的な」解を構築するアイデアです。

3次元ナビエ–ストークス方程式に対して、バックマスターとヴィコル（2019年）は、ルレイ–ホップクラスより下で有限エネルギー弱解の非一意性を証明しました。次に2022年、アルブリトン、ブリュエ、コロンボが外力が存在する場合の3次元ナビエ–ストークス方程式のルレイ–ホップ解でさえ非一意であることを証明しました。外力なしのナビエ–ストークスで非一意性が続くかどうかは未解決です。

これが重要なのは、「弱解が存在する」— ルレイ以来の見出し的結果 — が単一の答えを特定しないことを示すからです。どの解が（もしあれば）物理的に正しいのかという問いを鋭くしています。

論文リンク： De Lellis-Székelyhidi, Dissipative continuous Euler flows (2013); Buckmaster-Vicol, Nonuniqueness of weak solutions to the Navier-Stokes equation (2019); Albritton-Brué-Colombo, Non-uniqueness of Leray solutions of the forced Navier-Stokes equations (2022).

流体方程式に対する凸積分は、ナッシュ–カイパーの $C^1$ 等長埋め込み手法を適用してエネルギーを散逸するオイラー方程式の弱解を構成する、デ・レリス–セケルヒディプログラム（2009年–2013年）に起源を持ちます。主要段階：

• デ・レリス–セケルヒディ（2013年）：連続（$C^0$）散逸的オイラー流の $\mathbb{T}^3$ 上での存在（$1/5$ 未満のヘルダー正則性は後続のバックマスター–デ・レリス–イゼット–セケルヒディ（2015年）で達成；後に $< 1/3$ までイゼット（2018年）により改善、オンサーガー予想の柔軟側を解決）。
• バックマスター–ヴィコル（2019年）：3次元ナビエ–ストークスの有限エネルギー弱解の非一意性。解は $C^0_t H^\beta_x$（ある $\beta > 0$ に対して）に属します。構成は間欠的ベルトラミ流をビルディングブロックとして使い、各反復ステップで振動的補正を加えながらレイノルズ応力の制御を維持します。これはルレイ–ホップエネルギークラスの下であるため、ルレイの一意性に直接矛盾しません。
• アルブリトン–ブリュエ–コロンボ（2022年）：外力付き3次元ナビエ–ストークス方程式のルレイ–ホップ解の非一意性。証明は背景の不安定自己相似解を構成し、不安定性メカニズムを使って同じ初期データから異なるルレイ–ホップ解に分岐します。これはエネルギー不等式だけでは外力が存在する場合に一意な解を選択しないことを示します。

中心的な未解決問題は、外力なしのナビエ–ストークス方程式のルレイ–ホップクラスで非一意性が持続するかどうか。外力ありの結果は、エネルギー不等式が十分な選択原理ではないことを示しますが、外力なしの方程式が一意性を回復する追加構造を持つかどうかは解決していません。

論文リンク： De Lellis-Székelyhidi, Dissipative continuous Euler flows (2013); Buckmaster-Vicol, Nonuniqueness of weak solutions to the Navier-Stokes equation (2019); Albritton-Brué-Colombo, Non-uniqueness of Leray solutions of the forced Navier-Stokes equations (2022).

少なくとも特定の証明戦略を排除できるか？　テレンス・タオ（2016年）は、答えはイエスであることを示しました — そして結果は厳しいものです。

タオは修正されたナビエ–ストークス方程式 — 「平均化」された系 — を構成しました。これは実際の方程式の主要な構造的特徴を保存しています：エネルギー恒等式、エンストロフィーの成長の仕方、スケーリング対称性。しかしこの修正された系では、解は有限時間で爆発します。

含意：大域的な滑らかさが実際のナビエ–ストークス方程式で成り立つことの証明は、平均化された系が持たない真の非線形性の何らかの特定の構造的性質を使わなければならない。エネルギー上界、スケーリング、エンストロフィーの成長だけを使って正則性を証明することはできません — それらのツールだけでは爆発と整合的だからです。

これは実際の方程式が爆発することを言っているのではありません。証明戦略の全族が行き止まりであり、最終的な証明（正則性が成り立つ場合）は一般的なエネルギー議論よりもデリケートでなければならないと言っているのです。

論文リンク： Tao, Finite time blowup for an averaged three-dimensional Navier-Stokes equation (2016).

タオ（2016年）は以下の形の系を考えます

$$\partial_t u + \tilde{B}(u, u) = \nu \Delta u - \nabla p, \quad \nabla \cdot u = 0,$$

ここで $\tilde{B}$ は真のナビエ–ストークス非線形性 $(u \cdot \nabla)u$ と以下の意味で一致する双線形作用素です：

• 1次のフーリエ乗算子であり、スケーリング $u(x,t) \mapsto \lambda u(\lambda x, \lambda^2 t)$ を保存
• 同じエネルギー恒等式を満たす：$\langle \tilde{B}(u,u), u \rangle = 0$
• エンストロフィーの成長構造を再現

この平均化された系に対して、タオは解が有限時間で爆発する滑らかな初期データを構成します。爆発メカニズムは、ますます小さなスケールでのエンストロフィー集中のシーケンスをプログラムし、各段階で制御されたカスケードによりエンストロフィーを倍増させます。

これが生じる障害：(a) エネルギークラスの発展方程式によって制御され (b) ナビエ–ストークスのスケーリングの下で不変である任意の超臨界量は、それ自体で爆発を排除できません。なぜなら、それは爆発する平均化された系でも制御されるからです。正則性の証明は、真の輸送項 $(u \cdot \nabla)u$ が持ち、平均化された作用素 $\tilde{B}$ は共有しない特定の代数的相殺構造を利用しなければなりません。

論文リンク： Tao, Finite time blowup for an averaged three-dimensional Navier-Stokes equation (2016).

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

これらのアプローチ — 1934年のルレイの存在証明から現代の凸積分と証明障壁の結果まで — が3次元ナビエ–ストークス問題の全体像を描いています。いずれも解決していません。粘性が非粘性オイラー方程式と比較して数学的全体像をどう形成するかについては、オイラー方程式 vs. ナビエ–ストークス方程式をご覧ください。現在の状況については、ナビエ–ストークス問題は解決されたのか？をご覧ください。正確な形式的問題文については、ミレニアム問題に戻ってください。

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

上記のアプローチは2022年までの正則性と一意性の文献における主要な厳密なスレッドを代表しています。いずれの組み合わせも完全な3次元問題を解決していません。全体像は進化し続けています — 計算機支援証明法は本サイトで別途扱われる活発な領域です。

粘性系と非粘性系の基礎的比較 — そしてなぜ粘性は役立つが十分ではないか — については、オイラー方程式 vs. ナビエ–ストークス方程式をご覧ください。これらのアプローチが対象とする部分問題については、部分問題をご覧ください。スケーリングの障害については、なぜ難しいのかをご覧ください。