なぜ2Dナビエ–ストークスは3Dより簡単なのか

ナビエ–ストークス方程式は流体の運動を記述します。2D（テーブルの上に広がる水のような平面）でも3D（海流や翼の周りの空気のような現実世界）でも機能します。どちらの場合でも方程式はほぼ同じに見えます。

しかしここに意外な事実があります：2Dでは、方程式が常にきちんと振る舞うことを数学者は証明できます。数学は決して壊れません。3Dではどうか？誰にもわかりません。流体が非常に激しく突然的なふるまいをして、数学が完全に機能しなくなる可能性があるのです。それが起こりうるかを証明することがクレイ・ミレニアム賞問題であり、100万ドルの懸賞がかけられています。

これは単に「3Dは物が多いから難しい」という話ではありません。3Dには2Dに存在しない特定のメカニズムがあり、それがすべてを変えてしまうのです。

$\mathbb{R}^n$（または周期領域 $\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)によって定式化されたクレイ・ミレニアム問題の内容です。Leray (1934)は $L^2(\mathbb{R}^3)$ における弱解の大域的存在を確立しましたが、これらの解の一意性と正則性は未解決のままです。

$n = 2$ と $n = 3$ の間のギャップは単なる帳簿付けの問題ではありません。渦度方程式の構造、非線形性のスケーリング特性、および利用可能なアプリオリ評価における根本的な違いを反映しています。これらの各点は以降の節で検討されます。

100万ドルの問題は3Dについてのみ問うています。なぜでしょうか？2Dの問題はすでに解決されているからです。数学者たちは数十年前に、2Dナビエ–ストークスの解が常に滑らかであることを証明しました。賞金は必要ありません — 終わっているのです。

したがって本当の疑問は単に「なぜ3Dは難しいのか？」ではなく、「なぜ2Dは簡単でかつ3Dは難しいのか？」です。3番目の次元を加えたとき、何が壊れるのでしょうか？

クレイ問題（Fefferman 2000）は、$\mathbb{R}^3$ 上の非圧縮ナビエ–ストークスのコーシー問題を考えます。粘性 $\nu > 0$、適切な減衰条件を満たす滑らかな発散なし初期データ $u_0 \in C^\infty(\mathbb{R}^3)$ が与えられたとき、有界なエネルギーを持つ滑らかな解 $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ は存在するか？

$\mathbb{R}^2$ における同様の命題は定理です。Ladyzhenskayaは $u_0 \in H^1(\mathbb{R}^2)$ に対する2Dナビエ–ストークスの強解の大域的存在と一意性を証明し、ブートストラップにより滑らかなデータに対して $C^\infty$ 正則性が得られます。この証明は2次元に固有のアプリオリ評価に依存しており、3次元には拡張されません。

したがってミレニアム問題は純粋に3次元的です。3Dにおける部分的結果——Lerayの弱解（1934）、Caffarelli-Kohn-Nirenbergの部分的正則性定理（1982）、および様々な条件付き正則性基準を含む——はすべて、完全な大域的正則性の問題を解決するには至っていません。各部分的結果は、3D解の制御における特定のギャップを浮き彫りにしています。

2Dの秘密兵器は渦度です——流体の各点でどれだけ回転しているかを表します。流体のあちこちに散らばった小さな渦巻きを想像してください。

2Dでは、渦度は各点で単なる一つの数です：時計回りか反時計回りか、速いか遅いか。そしてここが魔法のような部分です——2Dでは、これらの小さな渦巻きは漂ったり薄れたりできますが、決して強くなることはありません。最初に存在した最大の回転が、永遠に最大の回転です。まるで流体が従わなければならないルールのようです：「新しい回転は許可されない」。

これは非常に強力です。回転が制御不能にならないとわかれば、他のすべても制御下にあることを証明できます。速度は滑らかなまま、圧力も滑らかなまま、解は永遠に機能します。ドミノ倒しのようなものです——最初の一枚（渦度が有界）を倒せば、残りはすべて倒れます。

2Dにおいて、渦度 $\omega = \partial_1 u_2 - \partial_2 u_1$ はスカラーであり、以下を満たします：

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

これはスカラー渦度 $\omega$ に対する移流拡散方程式です。$u$ がBiot-Savart法則 $u = \nabla^\perp (-\Delta)^{-1} \omega$ を通じて $\omega$ から回復されるため完全な系は非線形のままですが、渦の引き伸ばしの源泉項はありません：右辺にはラプラシアンのみが含まれ、3Dに現れる $(\omega \cdot \nabla)u$ 項はありません。

スカラー最大値原理が直接適用されます：すべての $t \geq 0$ に対して $\|\omega(t)\|_{L^\infty} \leq \|\omega_0\|_{L^\infty}$。同時に、すべての $1 \leq p \leq \infty$ に対して $\omega$ の $L^p$ ノルムは単調非増加です。

$\omega$ の $L^\infty$ 有界性から、Biot-Savart核に対するCalderón-Zygmund評価を通じて、すべての $p < \infty$ に対して $u \in L^\infty(0,T; W^{1,p})$ が回復されます。より高い正則性は渦度方程式を微分し放物型ブートストラップを適用することで従います：$\omega$ の各空間微分は制御可能な係数を持つ放物型方程式を満たすため、有界性はすべての階数に伝播します。

2D渦度最大値原理は非粘性の場合により古い歴史を持ちます。Wolibner (1933)はヘルダー空間における2Dオイラーの大域的存在を証明し、Yudovich (1963)は有界渦度の2Dオイラー解の一意性を確立しました。粘性がある場合（$\nu > 0$）、放物型平滑化はこれらの評価をさらに強化します。Ladyzhenskayaの2Dナビエ–ストークス大域的正則性の証明はこの構造に依拠し、Ladyzhenskaya補間不等式 $\|f\|_{L^4}^2 \leq C \|f\|_{L^2} \|\nabla f\|_{L^2}$（2Dで成立、3Dの対応物とは異なる指数構造を持つ）と組み合わされています。

3Dでは、渦度は単なる数ではなく、方向と強さを持ちます。流体を貫く小さな竜巻の管を想像してください。それぞれがある方向を向き、ある速度で回転しています。

そしてここがすべてを壊す部分です：3Dでは、これらの竜巻の管は引き伸ばされることがあります。回転する管を飴のように引っ張ることを想像してください——細くなり、より速く回転します。これが渦の引き伸ばしであり、この物語の悪役です。

2Dの美しいルール（「新しい回転は許可されない」）は完全に破壊されます。3Dでは、流体は自身の回転を増幅できます。引き伸ばしはエネルギーをますます小さなスケールに送り込み、一点で無限に激しい回転を生み出す可能性があります。それが「爆発」——数学の崩壊——です。

粘性（流体の内部摩擦）は常に引き伸ばしが無限になる前に止めるのでしょうか？それとも引き伸ばしが勝つこともあるのでしょうか？誰にもわかりません。 それが文字通り100万ドルの問題です。

引き伸ばしと摩擦のこの競争が、なぜこの問題がこれほど難しいのかの核心です。

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$ が3D Biot-Savart法則を通じて $\omega$ から回復されるため、$(\omega \cdot \nabla)u$ は最悪ケースのスケーリングにおいて概ね $|\omega|^2$ のオーダーで2次的です。この項は $\|\omega\|_{L^\infty}$ の増大を許容し、2Dで利用可能なスカラー最大値原理を破壊します。

3Dオイラーに対して、Beale-Kato-Majda基準（1984）は、$[0, T)$ 上の滑らかな解が時刻 $T$ を超えて延長可能であるための必要十分条件は

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

であると述べています。3Dナビエ–ストークスにも類似の継続基準が成り立ちます。爆発が起こる場合、$\|\omega\|_{L^\infty}$ が時間に関して非可積分となることが必要です。引き伸ばし項は渦度方程式における源泉項であり、渦度を増幅し最大値原理の議論を妨げます。2Dでは $\|\omega\|_{L^\infty}$ はすべての時刻で初期データによって有界ですが、3Dではこのノルムの制御が中心的な未解決問題です。

部分的進展：Caffarelli-Kohn-Nirenberg (1982)は、3Dナビエ–ストークスの任意の適切な弱解に対して、時空における特異点の集合の1次元放物型ハウスドルフ測度がゼロであることを示しました。これは特異点が存在するとしても極めてまばらであることを意味します。しかしこの定理はその存在を排除するものではありません。

非粘性の場合について、Elgindi (2021)は $C^{1,\alpha}$ 初期データ（$\alpha$ が小さい）に対する3Dオイラーの有限時間特異点形成を証明しました。対称軸に沿った渦の引き伸ばしによるメカニズムを使用しています。これはナビエ–ストークスの爆発を直接示唆するものではありませんが（粘性が正則化する可能性がある）、粘性減衰なしでは引き伸ばしメカニズムが特異点を生成するのに十分強いことを示しています。

渦の引き伸ばしの向こうに、3Dが難しいもう一つの深い理由があります。流体を「ズームイン」したときに何が起こるかに関わっています。

ナビエ–ストークス方程式にはズームインのトリックがあります：解があれば、より小さな領域にズームインして時間を加速させると、別の有効な解が得られます。問題は：ズームインしたとき、エネルギーは大きくなるか、小さくなるか、それとも同じままか、です。

• 2Dでは、ズームインしてもエネルギーは同じままです。これは臨界スケーリングと呼ばれます。エネルギー評価があらゆるスケール——大きくても小さくても——で機能することを意味します。制御を失うことはありません。
• 3Dでは、ズームインするとエネルギーが増大します。これは超臨界スケーリングと呼ばれます。小さなスケールでは、激しい非線形効果が穏やかな粘性効果に対して相対的に強くなることを意味します。数学的ツールはまさに最も必要なところで力を失います。

こう考えてください：2Dでは、懐中電灯が常に十分に明るく、流体が何をしているかが見えます。3Dでは、小さく見れば見るほど懐中電灯が暗くなり、流体はよりカオス的になります。最終的には暗闇の中です。

これは単なる技術的不便ではありません——根本的な障壁です。標準的な数学的ツールは、小さなスケールで3Dナビエ–ストークスを制御するには単純に十分な力がありません。新しいアイデアが必要です。

ナビエ–ストークス方程式は以下のスケーリングの下で不変です：

$$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ナビエ–ストークスの臨界ソボレフ空間は $\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の大域的正則性を解決することは期待できず、成功する証明はおそらく追加的な構造を必要とします。特に、「超臨界盲目的」な手法（方程式をスケーリングとエネルギー構造を通じてのみ扱う手法）は成功しえません。方程式の特定の代数的構造——例えば発散なし条件や非線形性の反対称構造——が役割を果たす必要があるでしょう。これらの障壁のより深い議論については、なぜナビエ–ストークスは難しいのかを参照してください。

2Dの証明が有界な渦度と臨界スケーリングのおかげで機能し、3Dにはそのどちらもないとすれば…3Dの証明には何が必要でしょうか？

正直なところ、誰にもわかりません。しかし人々が取り組んでいる主なアイデアは以下の通りです：

• 新しい「制御つまみ」を見つける。2Dでは、渦度が制御つまみです——有界であり続け、すべてがそこから従います。3Dでは、制御下にとどまり、解を滑らかに保つのに十分強力な別の何かが必要です。まだ誰もそれを見つけていません。
• 隠れた構造を利用する。流体はある制約を満たさなければなりません：非圧縮的であること（より小さな体積に押し込められないこと）。この制約は渦の引き伸ばしにできることを制限します。おそらくここには、まだ誰も完全に活用していないより深い幾何学的パターンがあるかもしれません。
• 実際に壊れることを証明する。もう一つの可能性があります：3Dの解は実際に爆発するかもしれません。それを証明することも同様に大きな成果です。渦の引き伸ばしが粘性に打ち勝つ具体例を構成する必要があります。より単純なオイラー方程式（摩擦なしのナビエ–ストークス）では、関連する設定で特異点の形成が実証されていますが、粘性のある場合は未解決です。

これまでに試みられたことの詳細については、ナビエ–ストークスの部分問題を参照してください。

3Dの大域的正則性の証明には超臨界性ギャップを閉じることが必要です。具体的には、臨界スケーリング以上のノルム $X$ について $\|u(t)\|_X \leq C(\|u_0\|_Y, t)$ の形のアプリオリ評価が必要であり、$C$ はすべての $t$ に対して有限でなければなりません。既知のエネルギー有界性 $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$ は臨界より半微分低く、十分ではありません。

このギャップを標的とする研究プログラムがいくつかあります：

• プロファイル分解と集中コンパクト性。臨界分散型方程式（Kenig-Merle 2006）の成功から適応されたこれらの手法は、爆発プロファイルの分類を目指しています。ナビエ–ストークスでは部分的結果が存在しますが（例：Gallagher-Koch-Planchon 2016）、エネルギーの超臨界的性質により、エネルギー臨界波動方程式やシュレーディンガー方程式の場合より完全なプログラムの実行は困難です。
• 温和な解の拡張。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（$u \in L^\infty_t L^3_x$、2003）、およびその他の端点基準があります。各基準は大域的正則性を一つのアプリオリ評価に帰着させますが、その評価を証明することは未解決です。
• 爆発の構成。Tao (2016)はエネルギー恒等式とスケーリングを尊重するが完全な発散なし構造は尊重しない平均化ナビエ–ストークス系の爆発解を構成しました。これは正則性の証明が非線形性の特定の幾何学的構造を使用しなければならず、スケーリング特性だけでは不十分であることを示しています。真のナビエ–ストークスが爆発を許すかは未解決です。

非粘性問題について、Elgindiの3Dオイラーに対する $C^{1,\alpha}$ 爆発（2021）は、$C^\infty$ 正則性以下で渦の引き伸ばしが特異点を生成しうることを示しています。滑らかな（$C^\infty$）オイラーの爆発の問題は未解決のままであり、粘性がナビエ–ストークス設定でそのようなメカニズムを阻止できるかという問題も同様です。

以下が核心的な違いの概観です：

2Dと3Dの間のギャップは小さな技術的問題ではありません。それは壁です。2Dで完璧に機能する証明戦略は3Dで「もう少し作業が必要」なだけではなく——依拠している構造が存在しないため根本的に機能しえないのです。

完全な方程式については、ナビエ–ストークス方程式とは何か？を参照してください。正確な未解決問題については、ナビエ–ストークスの存在と滑らかさを参照してください。なぜこれほど難しいかについては、なぜナビエ–ストークスは難しいのかを参照してください。

以下の対比が数学的な分水嶺を要約しています：

2Dの結果は単なる低次元のウォームアップではありません。渦度最大値原理とエネルギー臨界性を組み合わせた証明メカニズムを持つ完全な定理であり、3Dの対応物は知られていません。3D問題の解決——正則性であれ爆発であれ——には根本的に新しいアイデアが必要です。部分的結果と研究プログラムの現状については、ナビエ–ストークスの部分問題およびなぜナビエ–ストークスは難しいのかを参照してください。