ナビエ–ストークス問題の研究の進展

1930年代以来、数学者たちはナビエ–ストークス正則性問題を、利用可能なあらゆる角度から攻略してきました：関数解析、調和解析、確率論、幾何学的測度論、凸積分、そして計算実験。単独のアプローチでは完全な3次元の存在と滑らかさの問題を解決したものはありません。しかし、これらの総合的な努力は無駄ではありませんでした — 可能な証明の空間を劇的に狭め、困難な障壁を特定し、重要な部分的ケースを解決してきました。以下はその進展の地図です。

ナビエ–ストークス正則性問題 — 滑らかで急減少するデータに対する3次元非圧縮系の大域的な存在と滑らかさ — は、現代的な定式化以来解決を拒んでいます。主要な攻略路線には、ルレイ–ホップ弱解理論、幾何学的測度論による部分正則性、継続判定条件による条件付き正則性、確率的・確率論的手法、そして非一意性のための凸積分があります。どのアプローチも完全な問題を閉じていませんが、合わせて臨界的な障壁を明らかにしてきました：超臨界スケーリング、エネルギークラスと滑らかな解の間のギャップ、そして弱解クラスにおける一意性自体が失敗する可能性です。

この分野を再形成した結果の選択的年表：

• 1934年 — ルレイ： 任意の合理的な初期データに対して、大域的な弱解が存在することを証明。何かが持続することはわかっています — 問題はそれが滑らかであり続けるかどうかです。
• 1982年 — カファレリ、コーン、ニーレンバーグ： 可能な特異点の集合が消失的に小さいことを示しました — 時空において長さがゼロです。爆発は、もし起これば、極めてまばらです。
• 1984年 — ビール、加藤、マイダ： 滑らかな解が破綻するのは、渦度が爆発する場合に限ることを確立。これにより正確なターゲットが与えられました：渦度を制御できれば、流れを制御できます。
• 2016年 — タオ： ナビエ–ストークスの平均化バージョンに対する爆発を構成し、特定の証明戦略が実際の方程式に対しては機能しえないことを示しました。障壁結果であり、解答ではありません。
• 2022年 — アルブリトン、ブリュエ、コロンボ： 外力が許される場合のルレイ–ホップ弱解が非一意であることを証明。最も弱い解のクラスは期待されたほどうまく振る舞いません。

• 1934年 — ルレイ：データ $u_0 \in L^2(\mathbb{R}^3)$ に対する $L^2$ での弱解の大域的存在、エネルギー不等式を満たす。J. Math. Pures Appl.
• 1982年 — カファレリ–コーン–ニーレンバーグ（CKN）：部分正則性定理 — 特異点集合の1次元放物型ハウスドルフ測度はゼロ：$\mathcal{P}^1(\mathrm{sing}\, u)=0$。Comm. Pure Appl. Math.
• 1984年 — ビール–加藤–マイダ（BKM）：継続判定条件 — $[0,T)$ 上の滑らかな解は、$\int_0^T \|\omega(\cdot,t)\|_{L^\infty}\,dt < \infty$ の場合に限り $T$ を超えて延長可能。元来はオイラー方程式に対して；ナビエ–ストークスに適用。Comm. Math. Phys.
• 2016年 — タオ：真の系と同じエネルギーおよびスケーリング性質を持つ平均化ナビエ–ストークス方程式に対する有限時間爆発。正則性のいかなる証明も、エネルギー評価とスケーリングだけでは不十分な、より精密な構造を使わなければならないことを示す。J. Amer. Math. Soc.
• 2022年 — アルブリトン–ブリュエ–コロンボ：不安定自己相似解を介した、外力付き3次元ナビエ–ストークスのルレイ–ホップ解の非一意性。Ann. of Math.

このページは地図であり、領土そのものではありません。詳細については：

具体的な研究方向の詳細な扱いについて：

• 部分問題 — 解決済みおよび部分的に解決されたケース：2次元大域正則性（ラディジェンスカヤ 1959）、渦なし軸対称、臨界空間の結果（$L^3$、$\dot{H}^{1/2}$、$BMO^{-1}$）、BKMを超える条件付き正則性判定条件。
• アプローチ — 活発に研究されている主要な証明戦略：エネルギーとエンストロフィー法、プロファイル分解、温和解理論、確率的ナビエ–ストークス、凸積分プログラム、計算機支援による上界。

最終レビュー：2026年3月。このページは生きたディレクトリです。新しい結果が現れ、より深い記事が公開されるたびに更新されます。

最終レビュー：2026年3月。このページはナビゲーション用ハブです。修正や提案については、サイトのリポジトリをご覧ください。