Navier-Stokes問題は解決されたのか？2026年公式状況：未解決

いいえ。2026年7月時点で、ナビエ–ストークス問題は未解決です。3次元で滑らかな解が常に存在することを証明した人はおらず、受理された爆発の反例を提示した人もいません。クレイ・ミレニアム賞 — 100万ドル — は未請求のままです。

このページは「Navier-Stokesは解決されたのか」「ClayのNavier-Stokes問題は解かれたのか」という問いの現在状況をまとめるページです。正確なClay問題文についてはNavier-Stokesの存在と滑らかさを見てください。

方程式自体は問題になっていません。エンジニアと科学者はナビエ–ストークスを毎日使って航空機の設計、天気の予測、血流のモデル化を行っています。シミュレーションは機能します。未解決なのは数学的な問題です：方程式が常に行儀の良い解を生成することを証明できるのか、あるいはある点で無限の速度のような不可能なことを予測するかもしれないのか？

いいえ。2026年7月時点で、ナビエ–ストークスの存在と滑らかさに対するクレイ・ミレニアム賞は未解決のままです。3次元非圧縮ナビエ–ストークス方程式に対して、大域正則性も有限時間爆発も確立されていません。

正確には：滑らかな発散なし初期データ $u_0 \in C^\infty(\mathbb{R}^3)$ で適切な減衰を持つもの（または $\mathbb{T}^3$ 上）が与えられたとき、一意の滑らかな解 $(u, p)$ がすべての $t \geq 0$ に対して存在し、$u \in C^\infty(\mathbb{R}^3 \times [0, \infty))$ を満たすかどうかは不明です。反例は構成されていません。

問題は完全に暗闇ではありません — 数学者たちは過去1世紀にわたって深い進展を遂げてきました：

• 弱解は存在する（ルレイ、1934年）。解が完全に滑らかであるという要件を緩めれば、大域解は存在することが示せます。これらの「弱解」は粗い箇所があるかもしれませんが、爆発はしません。
• 2次元は解決済み（ラディジェンスカヤ、1969年）。2次元では、滑らかな解は常に全時刻で存在します。困難は3次元特有です。
• 特異点は稀である（カファレリ–コーン–ニーレンバーグ、1982年）。3次元で特異点が存在するとしても、1次元放物型ハウスドルフ測度ゼロの集合に限定されます。方程式に自然な幾何で見ても極めて小さい集合です。
• 短時間の解は存在する。任意の滑らかな初期データに対して、少なくとも短い時間は一意の滑らかな解が存在します。問題はそれを常に永遠に延長できるかどうかです。

つまりギャップは狭いが深い：解は滑らかに始まり、弱解は大域的に持続することはわかっています。3次元で全時刻にわたって滑らかさが保存されることを証明できないのです。

確立された主要な結果：

• ルレイ（1934年）：エネルギー不等式 $\|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \|u_0\|_{L^2}^2$ を満たす大域弱（超関数）解の存在。ルレイ–ホップ解の一意性は未解決。
• ラディジェンスカヤ（1969年）：2次元非圧縮ナビエ–ストークスの大域正則性 — 滑らかなデータは一意の大域滑らかな解を生じる。
• カファレリ–コーン–ニーレンバーグ（1982年）：適切な弱解の部分正則性 — 特異点集合の1次元放物型ハウスドルフ測度はゼロ：$\mathcal{P}^1(S) = 0$。
• 局所的適切性：$u_0 \in H^s(\mathbb{R}^3)$（$s > 3/2$）に対して、一意の滑らかな解がある区間 $[0, T^*)$ で存在。スケーリング臨界空間 $\dot{H}^{1/2}(\mathbb{R}^3)$（藤田–加藤、1964年）でも局所的適切性が成り立ち、$BMO^{-1}$（コッホ–タタル、2001年）を含む厳密により大きい臨界空間にも拡張。正則性問題は $T^* = \infty$ かどうかを問う。

ギャップ：弱解の大域的存在は既知。強解の局所的存在と一意性は既知。大域正則性 — 強解が常に延長可能かどうか — が未解決の問題。

1〜2年ごとに、ナビエ–ストークス問題を解いたと主張するプレプリントが現れます。パターンは驚くほど一貫しています：最初の興奮、それに続く専門家の精査、そしてギャップまたはエラーの特定。現在まで査読を生き延びたものはありません。

混乱の一部は「解決された」の異なる意味の混同から来ています：

• 「流体をコンピュータでシミュレーションできる」 — 確かにそうですが、数値シミュレーションは数学的証明ではありません。シミュレーションは空間と時間を離散化します；問題は連続方程式についてです。
• 「エンジニアはこの方程式を成功裡に使っている」 — これも確かですが、実用的成功は方程式がすべての場合に内部的に整合的であるかを解決しません。
• 「2次元問題は解決された」 — 正しいですが、3次元問題は本質的に異なります。2次元がうまくいくメカニズム（渦伸長の不在、渦度が大域的に有界に保たれる）は3次元では適用されません。

主張された証明は定期的に現れます。一般的な失敗モードには：

• 不正確なア・プリオリ評価：実際には確立されていない臨界または超臨界ノルムの制御を仮定する。
• 弱解と強解の混同：主張されている正則性を必要とするルレイ–ホップ解の性質を証明する。
• 次元解析のエラー：2次元では閉じる議論（エンストロフィーが $H^1$ 制御を与え、劣臨界ソボレフ埋め込みが十分）が3次元では同じ埋め込みがもはや非線形性を制御しないため失敗する。
• ブートストラップ議論の循環論法：ブートストラップ仮説が証明しようとしていることを暗黙に仮定する。

3次元問題の超臨界性は、標準的な手法（エネルギー評価、グロンウォール型の議論）が不十分な制御しか提供しないことを意味します。3次元問題は自然なエネルギーノルムに関して超臨界的であるため、標準的な放物型の装置は閉じる議論を提供しません。

クレイ問題の有効な解決は、以下のいずれかを行わなければなりません：

1. 大域正則性を証明する：任意の滑らかな初期条件に対して、解は永遠に滑らかであり続けることを示す。これは方程式が非物理的なことを決して予測しないことを意味します — 無限の速度も破綻もありません。
2. 爆発を構成する：解が有限時間で特異点を発生させる特定の滑らかな初期条件を見つける。これは方程式に根本的な限界があることを意味します — 最終的に不可能なことを予測します。

どちらの結果も画期的です。大域正則性は方程式を流体運動の完全なモデルとして正当化するでしょう。爆発は極端なスケールで何が起こるかを再考することを強いるでしょう — そして新しい物理を明らかにするかもしれません。

フェファーマンのクレイ定式化に従い、有効な解決には以下のいずれかが必要です：

1. (A) 存在と滑らかさ：すべての $u_0 \in C^\infty(\mathbb{R}^3)$ であって、$\nabla \cdot u_0 = 0$ かつ $|\partial_x^\alpha u_0(x)| \leq C_{\alpha K} (1 + |x|)^{-K}$ をすべての $\alpha, K$ に対して満たすものについて、方程式を満たす $(u, p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ の存在を証明せよ。ただし $\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$ がすべての $t \geq 0$ で成り立つこと。
2. (B) 破綻：$u_0 \in C^\infty(\mathbb{R}^3)$（発散なし、適切な減衰付き）と $f \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ であって、方程式を満たす $(u,p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ が存在しないものを示せ。

$\mathbb{T}^3$ 上の類似の定式化も受理されます。フェファーマンの完全な問題文は外力あり・なし（$f = 0$ と $f \neq 0$）の別々のケースを含みます；上記は本質的な選択肢を抽出したものです。

• 1822年 — ナビエが分子論的考察から方程式を導出
• 1845年 — ストークスが近代的な数学的形式を与える
• 1934年 — ルレイが弱解の大域的存在を証明
• 1969年 — ラディジェンスカヤが2次元の場合を完全に解決
• 1982年 — カファレリ、コーン、ニーレンバーグが部分正則性を証明：特異点は存在するとしても極めて稀である
• 1984年 — ビール、加藤、マイダが3次元オイラー方程式の爆発への唯一の経路が非有界渦度を通ることを示す（判定条件はナビエ–ストークスにも拡張）
• 2000年 — クレイ数学研究所がミレニアム懸賞問題に指定
• 2014年 — タオが方程式の平均化バージョンに対する爆発を構成（プレプリント；2016年出版）、特異点形成に対する純粋に構造的な障害がないことを示す
• 2026年 — 問題は未解決のまま

• 1822年 — ナビエ：分子応力モデルを介した方程式の導出
• 1845年 — ストークス：厳密な連続体導出
• 1934年 — ルレイ：$L^2$ における弱解の大域的存在；ルレイ射影とエネルギー不等式を導入
• 1951年 — ホップ：ルレイの構成を有界領域に拡張（ルレイ–ホップ弱解）
• 1962年 — セリン：条件付き正則性 — $u \in L^p_t L^q_x$、$2/p + 3/q \leq 1$、$q > 3$ ならば滑らか；端点の $L^\infty_t L^3_x$ はエスカウリアサ–セレギン–シュヴェラークが2003年に解決
• 1969年 — ラディジェンスカヤ：2次元の大域正則性を完全に解決
• 1982年 — カファレリ–コーン–ニーレンバーグ：スケーリングされたエネルギー評価による部分正則性；$\mathcal{P}^1(S) = 0$
• 1984年 — ビール–加藤–マイダ：3次元オイラーの爆発判定条件 — $T^* < \infty$ ならば $\int_0^{T^*} \|\omega(s)\|_{L^\infty} \, ds = \infty$（ナビエ–ストークスにも類似の継続判定条件が成り立つ）
• 2000年 — クレイ・ミレニアム問題の指定（フェファーマンの定式化）
• 2014年 — タオ：平均化ナビエ–ストークス方程式に対する有限時間爆発（プレプリント；JAMS 2016年出版）、純粋に構造保存的な議論では特異点を排除できないことを示す
• 2026年 — 未解決

この記事は未解決問題の一部です。

現状がわかったところで、より深い問題を探索してください：なぜこの問題はこれほど難しいのか？、数学者が取り組んでいる主要な部分問題は何か、そしてどのようなアプローチが試みられてきたか。

クレイの正式な問題文については、ミレニアム問題のページをご覧ください。この問題がどのバージョンの方程式を扱うかを理解するには、非圧縮 vs. 圧縮ナビエ–ストークスをご覧ください。

この記事は未解決問題の一部です。

クレイの正確な定式化と賞の条件については、ミレニアム問題をご覧ください。数学的障害については、なぜ難しいのかをご覧ください。部分的結果と戦略の全体像については、部分問題とアプローチをご覧ください。クレイ問題が扱う方程式のどのバージョンかについては、非圧縮 vs. 圧縮ナビエ–ストークスをご覧ください。