Navier-Stokes問題：未解決の3次元問題の概観

いいえ、解決されていません。

このページは問題全体の概観です。2026年7月時点の状況や失敗した解決主張についてはNavier-Stokes問題は解決されたのか？を見てください。Clayの正式な定式化についてはNavier-Stokesの存在と滑らかさを見てください。

ナビエ–ストークス問題は、一見すると単純な質問を投げかけます：3次元の流体が滑らかに流れ始めたら、それはずっと滑らかなままでいるのか？　それとも運動があまりに激しくなり、方程式が破綻する — 速度が有限時間で無限大に発散する — ことがありうるのか？

誰にもわかりません。これがナビエ–ストークスの存在と滑らかさの問題であり、数学における最も深い未解決問題の一つです。方程式が1840年代に書き下されて以来、あらゆる試みに抵抗してきました。解答を主張した人もいますが — どれも精査に耐えていません。完全な現状については解決されたのか？をご覧ください。

問題は未解決です。

ナビエ–ストークスの存在と滑らかさの問題は、十分に滑らかなすべての初期データ $u_0 \in C^\infty(\mathbb{R}^3)$（適切な減衰条件付き）と外力 $f \equiv 0$ に対して、非圧縮ナビエ–ストークス系が $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ なる解を許容するか — それとも有限時間特異点が形成されうるかを問います。

両方向とも未解決です。大域正則性を確立する証明は存在せず、滑らかなデータから有限時間爆発を構成するものもありません。この問題は、ナビエ（1822年）とストークス（1845年）の基礎的研究以来未解決であり、解析学と数理物理学における中心的な未解決問題の一つであり続けています。

現在の状況（公表された主張とその顛末を含む）については、解決されたのか？をご覧ください。

ナビエ–ストークス問題は未解決ですが、手つかずではありません。ほぼ1世紀にわたる研究が地形図を描き出し — 困難がどこにあるかを正確に明らかにしました：

• 弱解は大域的に存在する（ルレイ、1934年）。「解」の概念を緩めて — 粗い、平均化された振る舞いを許せば — 解はいつでも存在します。問題は滑らかであり続けるかです。アプローチの詳細 →
• 2次元は解決済み。2次元では、滑らかな解は常に大域的に存在します。困難なのは3次元です。なぜ3次元が難しいか →
• 特異点は稀である（CKN、1982年）。カファレリ、コーン、ニーレンバーグは、可能な特異点の集合が1次元放物型ハウスドルフ測度ゼロであることを証明しました。部分問題と部分的結果 →
• 短時間の滑らかな解は存在する。滑らかな初期データが与えられれば、一意の滑らかな解がある時間区間で存在します — 問題はその区間を常に無限大まで延長できるかどうかです。
• 正確な定式化はチャールズ・フェファーマンがクレイ数学研究所のために策定しました。ミレニアム問題の記述を読む →

以下の結果が主な部分的進展を構成します：

• ルレイ（1934年）： $u_0 \in L^2(\mathbb{R}^3)$ に対して、エネルギー不等式を満たす大域弱解（現在ルレイ–ホップ解と呼ばれる）が存在。これらの解の一意性と正則性は未解決。アプローチ →
• 2次元大域正則性：ラディジェンスカヤ（1959年）が $\mathbb{R}^2$ で滑らかな解の大域的存在と一意性を確立。鍵は2次元でエンストロフィーが制御されること。なぜ3次元は異なるか →
• CKN（1982年）：カファレリ、コーン、ニーレンバーグは、任意の適切な弱解の特異点集合の1次元放物型ハウスドルフ測度がゼロであることを証明。部分問題 →
• 局所存在：十分に正則なデータに対して、一意の局所的な滑らかな解が存在。$\dot{H}^{1/2}$ のような臨界空間では、温和解の枠組みで局所的適切性が成り立つ。未解決の問題は、これらの解が常に全時刻まで延長できるかどうか。
• クレイの定式化（2000年）：フェファーマンの問題文は、正確な関数空間、減衰条件、および有効な証明または反証の条件を特定。ミレニアム問題 →

核心的な困難：流体自身の運動が粘性が滑らかにできるよりも速く、エネルギーをますます小さな領域に集中させることができます。3次元では、数学はこれを排除するにも、実際に起こることを証明するにも十分な制御を与えてくれません。

これは巧妙さや計算能力の問題ではありません。既知の数学的道具が根本的に不十分なのです。集中と散逸の間の緊張が、ナビエ–ストークス問題をこれほど頑固に未解決にしている理由であり — 解決するには真に新しい数学が必要な理由です。

超臨界性、スケーリングギャップ、3次元乱流がなぜ根本的に異なるかの全貌については、ナビエ–ストークス問題はなぜ難しいかをご覧ください。

3次元ナビエ–ストークス方程式は、自然なエネルギー評価に対して超臨界的です：$L^2$ ノルムは制御されますが、スケーリング臨界正則性は $\dot{H}^{1/2}$ にあり、これはエネルギー不等式だけでは伝播されません。非線形項 $(u \cdot \nabla)u$ は原理的に、ラプラシアンが散逸するよりも速く、任意に細かいスケールにエネルギーを転送できます。

これが本質的な解析的障害であり、既存のいかなる手法もこのギャップを閉じることができていません。詳細な扱いについては、なぜ難しいのかをご覧ください。

2000年、クレイ数学研究所はこの正則性問題を7つのミレニアム懸賞問題の1つに選び、正しい証明または反証に対して100万ドルの賞金を提供しました。この概観では、その懸賞問題が全体の文脈でなぜ重要なのかを説明します。

正確な定式化については公式の問題文の解説を読んでください。現在の状況については最新の状況（2026年7月時点）をご覧ください。

クレイ数学研究所は、2000年のミレニアム懸賞問題リストにナビエ–ストークスの存在と滑らかさを含め、賞金は100万米ドルです。C. フェファーマンによって書かれた問題文は、2つの部分問題（$\mathbb{R}^3$ 上と $\mathbb{T}^3$ 上）を特定し、大域的な滑らかな存在の証明または有限時間爆発の構成のいずれかを受け入れます。2026年現在、いかなる解答も受理されていません。

正確なミレニアムの定式化 →

このページは地図であり、領土そのものではありません。以下の各スレッドは、問題の異なる側面をより深く探ります：

• 解決されたのか？ — 現在の状況、主張された証明、そしてなぜいずれも成立しなかったか。
• ミレニアム問題 — クレイ研究所の正確な定式化と、有効な解答の条件。
• なぜ難しいのか — 超臨界性、乱流、そしてあらゆる既知のアプローチを阻むスケーリングギャップ。

上で紹介されたトピックの詳細な扱いについて：

• 解決されたのか？ — 問題の状況、公表・撤回された主張、検証基準。
• ミレニアム問題 — フェファーマンの定式化、関数空間、有効な証明または反例の条件。
• なぜ難しいのか — 超臨界スケーリング、非線形性の役割、エネルギーレベルの制御と正則性のギャップ。

数学者たちは問題を見つめているだけではありません — 強力なツール、部分的結果、そしてまったく新しい解析分野を開発しながら解決に取り組んできました。この研究は続いています。

これまでの進展を見る →

ナビエ–ストークス問題は、過去1世紀にわたって調和解析、関数解析、幾何学的測度論の主要な発展を推進してきました。部分正則性結果、条件付き爆発判定条件（ビール–加藤–マイダ、エスカウリアサ–セレギン–シュヴェラーク）、そしてモデル問題の解析が、正則性と潜在的な特異点の境界がどこにあるかについての理解を鋭くし続けています。

進展の概観 →