ナビエ–ストークス問題

ナビエ–ストークス問題は、流体の運動方程式が3次元で常に良い振る舞いをするかどうかを問うものです。有限エネルギーの滑らかな流れから出発したとき、解はすべての時間にわたって滑らかなままなのか、それとも有限時間ののちに速度が無限大になりうるのか。Clayのミレニアム懸賞問題としての定式化は、外力なしでの大域的な滑らかさの証明と、破綻の例（その際、滑らかで急速に減衰する外力もあわせて選んでよい）のどちらでも受け付けます。

現状の要点：2026年9月、OpenAIはそのような外力を用いた破綻の選択肢の証明を発表し、Clayは問題が「解決されたようだ」と述べ、評価は意図的に時間をかけて行われています。外力のない流れが常に滑らかなままかどうかは、依然としてわかっていません。何が主張され、どのように評価されているかは日付付きの状況解説で扱っています。

このページは案内図です。問いが何か、何が証明されたか、なぜ証明が難しいのか、次にどこを読めばよいかを示します。

一次資料: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Clayの公式問題文.

ナビエ–ストークスの存在と滑らかさの問題は、適切な減衰をもつ十分滑らかで発散ゼロのすべての初期データ $u_0 \in C^\infty(\mathbb{R}^3)$ と $f \equiv 0$ に対して、非圧縮ナビエ–ストークス系がエネルギー有界な解 $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ をもつかどうかを問うものです（$\mathbb{T}^3$ 上の類似の周期問題も含みます）。Clayの定式化は、許容される滑らかな外力を認めた破綻の例も受け付けます。

現状の要点：2026年9月の原稿は、外力付きの破綻の選択肢、すなわち $\mathbb{R}^3$ 上のC（定理1.1）と $\mathbb{T}^3$ 上のD（系10.6）を主張しています。Clayは問題が「解決されたようだ」と述べ、評価は意図的に時間をかけて行われています。$f\equiv0$ の場合は、この主張では決着しません。詳細：日付付きの状況と資料。

一次資料: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Clayの公式問題文.

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

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

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

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

核心的な難しさはこうです。流体自身の運動が、現在の評価で制御できるよりも速く、活動をどんどん小さなスケールへと押しやる可能性があります。外力のない3次元の流れについて、既知の評価はこれを排除するには弱すぎ、それが実際に起こることも誰も示していません。（2026年の構成は、滑らかな外力が加えられた場合にはそれが起こりうると主張しています。）

これは賢さの問題ではありません。計算能力の問題でもありません。既知の評価が足りないのです。集中と散逸のあいだのこの緊張こそが、外力なしの問いを決着させるには新しいアイデアが必要とされる理由です。

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

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

これが本質的な解析的障害であり、$f\equiv0$ の場合、既存のどの手法もこのギャップを埋められていません。詳しくはなぜ難しいのかを参照してください。

2000年、クレイ数学研究所はこの正則性の問いを七つのミレニアム懸賞問題の一つに選び、その規則のもとで認められた解決に100万ドルを提供するとしました。公式の問題文は四つの選択肢のうちいずれか一つを受け付けます：外力なしでの大域的な滑らかさ、または許容される滑らかな外力を認めた破綻で、それぞれ全空間または周期的な箱で考えます。この概説では、その懸賞問題がなぜ重要なのかを文脈のなかで説明します。

正確な定式化については公式問題文の解説を読んでください。現在の状況については現在の状況（資料確認日 2026-09-29）を参照してください。

クレイ数学研究所は、2000年のミレニアム懸賞問題のリストにこの正則性の問いを含めました。C・フェファーマンが執筆した定式化は $\mathbb{R}^3$ と $\mathbb{T}^3$ 上で設定され、$f\equiv0$ での大域的な滑らかな解の存在の証明（A、B）か、許容される滑らかな外力を選んでよい破綻の構成（C、D）のいずれかを受け付けます。

公式問題文の解説を読むか、現在の状況（資料確認日 2026-09-29）を確認してください。

このページは案内図です。知りたいことに合わせて選んでください：

• 解決されたのか？ 2026年9月の発表、Clayの反応、そして未解決のまま残ること。
• Clayは正確に何を求めているのか？ 公式の問題文、四つの選択肢とその条件。
• なぜ難しいのか？ 超臨界性、乱流、スケーリングのギャップ。
• なぜ2次元のほうが易しいのか？ 渦伸長と、それが3次元で何を崩すのか。
• 弱解とは何か？ 弱解・強解・滑らかな解と、それぞれにおける一意性の意味。
• 何が証明されてきたのか？ ルレイから2026年の主張まで。
• 「解く」とはどういう意味か？ 厳密な公式、CFD、数学的な問い、そしてそれらが別物である理由。

詳しい解説：

• 解決されたのか？ 発表された定理、C/Dとの対応、評価の状況、残る問い。
• ミレニアム問題 フェファーマンの定式化、関数空間、条件(4)–(11)、そして何が有効な解決となるか。
• なぜ難しいのか 超臨界スケーリング、非線形性の役割、エネルギー水準での制御と正則性のあいだのギャップ。
• なぜ2次元は3次元より易しいのか 渦度の輸送、エンストロフィーの制御、渦伸長。
• 弱解・強解・滑らかな解 超関数解とルレイ–ホップ解の違い、弱–強一意性。
• 進展 マイルストーンと、文脈のなかに位置づけた2026年の章。
• 方程式を解く 解の三つの意味（閉じた形、離散近似、適切性）と、数値計算の実践がClayの問いを解決しない理由。

数学者たちは、ただ問題を眺めてきたわけではありません。それを解き明かそうとして、強力な道具、部分的な結果、そしてまったく新しい解析の分野を生み出してきました。2026年の主張は研究すべき新しい構成を加えましたが、外力なしの問い、弱解の一意性、流れが集中するメカニズムは、いまも活発な研究の対象です。

関連項目： これまでの進展を見る →

ナビエ–ストークス問題は、この1世紀にわたり、調和解析、関数解析、幾何学的測度論の大きな発展を牽引してきました。部分正則性の結果、条件付き爆発判定条件（ビール–加藤–マイダ、エスカウリアサ–セレギン–シュヴェラーク）、モデル問題の解析は、正則性と潜在的な特異性の境界がどこにあるのかについての理解を研ぎ澄まし続けています。発表された外力付きの構成（C/D）は、いまやこれらの結果と並ぶものとなりましたが、$f\equiv0$ の場合は未解決のままです。

関連項目： 進展の概観 →