Navier-Stokes問題の研究進展：既知の結果と未解決課題

90年あまりのあいだに、数学者たちは次のことを証明してきました。弱解がすべての時間にわたって存在すること（ルレイ）、特異点があるとしても極めて小さくなければならないこと（カファレリ–コーン–ニーレンバーグ）、最初の特異時刻でどの量が爆発しなければならないか（ビール–加藤–マイダとその後の判定条件）、そしてエネルギーとスケーリングだけでは爆発を排除できないこと（タオ）。2026年9月、OpenAIは滑らかな外力をもつ3次元方程式の有限時間爆発、すなわちClayの破綻の選択肢の証明を発表し、Clayは問題が「解決されたようだ」と述べました。外力のない流れが常に滑らかなままかどうかは、未解決のままです。

このページはその流れをたどります。まずマイルストーン、次に2026年の章とそれらとのつながりです。日付付きの状況だけを知りたい場合はナビエ–ストークス問題は解決されたのか？を参照してください。

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

90年あまりのあいだに、数学者たちは次のことを証明してきました。弱解がすべての時間にわたって存在すること（ルレイ）、特異点があるとしても極めて小さくなければならないこと（カファレリ–コーン–ニーレンバーグ）、最初の特異時刻でどの量が爆発しなければならないか（ビール–加藤–マイダとその後の判定条件）、そしてエネルギーとスケーリングだけでは爆発を排除できないこと（タオ）。2026年9月、OpenAIは滑らかな外力をもつ3次元方程式の有限時間爆発、すなわちClayの破綻の選択肢の証明を発表し、Clayは問題が「解決されたようだ」と述べました。外力のない流れが常に滑らかなままかどうかは、未解決のままです。

以下では、マイルストーンを正確な形で述べ、そのうえで主張されている外力付きの破綻（原稿の定理1.1と系10.6）をそれらに照らして読みます。日付付きの状況：ナビエ–ストークス問題は解決されたのか？

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

この分野を塗り替えた結果：

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

これらの結果が2026年の発表とどう関わるかは、次の節で扱います。

• 1934年 — ルレイ：データ $u_0 \in L^2(\mathbb{R}^3)$ に対する $L^2$ での弱解の大域的存在、エネルギー不等式を満たす。Acta Mathematica
• 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.
• 2019年、バックマスター–ヴィコル：凸積分により、外力のない方程式に対して、有限の運動エネルギーをもつ超関数の意味の弱解の非一意性を示しました。これらの解はエネルギー不等式を満たさず、したがってルレイ–ホップ・クラスの外にあります（Annals 2019）。
• 2022年 — アルブリトン–ブリュエ–コロンボ：不安定自己相似解を介した、外力付き3次元ナビエ–ストークスのルレイ–ホップ解の非一意性。Ann. of Math.

次の節では、2026年の主張をこれらの結果に照らして読みます。

2026年9月8日、OpenAIは、任意の正の粘性に対して、静止状態から出発し、滑らかでコンパクトな台をもつ外力で駆動される滑らかな解が、運動エネルギーは有界のまま、有限時刻で非有界な速度をもつに至ることの証明を発表しました。OpenAIは、これがClayの選択肢C、およびその周期版Dを確立するとしています。9月11日、Clayは問題が「解決されたようだ」と述べ、評価は意図的に時間をかけて行われています。詳細と資料。

これまでの研究との関係。以下の各点は整合性と文脈に関するものであり、いずれも証明を検証するものではありません。

• ルレイの問い。ルレイ（1934年）は弱（「乱流」）解を導入しましたが、滑らかな解が正則性を失いうるかどうかは未解決のまま残し、自己相似的な爆発のシナリオを提案しました。その特定のシナリオは、のちに自然な可積分性条件のもとで排除されました（ネチャス–ルジチカ–シュヴェラーク、1996年；ツァイ、1998年）。2026年の主張は外力のある設定で破綻の問いに答えるものであり、外力のない流れについては未解決のままです。
• 部分正則性。カファレリ–コーン–ニーレンバーグは特異集合がどれほど大きくなりうるかを制限しますが、特異性を排除したことは一度もありません。したがって、爆発の構成はそれと矛盾しません。
• 延長判定条件。ビール–加藤–マイダ型やプロディ–セリン–ラディジェンスカヤ型の判定条件は、最初の特異時刻にどの量が非有界にならなければならないかを述べます。Clayの問題文は、ナビエ–ストークスでは有限の爆発時刻の近くで速度が非有界になることを記しており、発表された定理もその形で述べられています。特異時刻が近づくにつれて最大速度は非有界になり、一方でエネルギーは有界のままです。
• タオの障壁。タオの平均化方程式は、正則性の証明が、エネルギーとスケーリングよりも細かい、真の非線形性の構造を使わなければならないことを示しました。発表された構成は真の方程式を扱っていますが、外力を伴うため、外力なしの力学に爆発を防ぐ構造があるかどうかについては何も教えてくれません。
• 非一意性。バックマスター–ヴィコル（外力なし、ルレイ–ホップ・クラスの外）とアルブリトン–ブリュエ–コロンボ（ルレイ–ホップ、外力あり）は、弱解の一意性に関するものです。2026年の主張は、滑らかに始まる解が滑らかさを失うことに関するもので、別の問いです。
• Euler方程式。OpenAIは、外力のない3次元Eulerで滑らかな初期データからの爆発も発表しました。この非粘性の結果は、外力のない粘性ナビエ–ストークスの爆発を示すものではありません。

変わっていないこと：外力なしの大域正則性の問い（ClayのAとB）、外力なしでのルレイ–ホップ解の一意性、そして部分正則性と延長判定条件の研究プログラムは、いまも開かれた研究の方向です。部分問題とアプローチを参照してください。

主張。任意の $\nu>0$ に対して、原稿は $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$ と、$\mathbb{R}^3\times[0,1)$ 上の滑らかな $(u,p)$ で、$u(\cdot,0)=0$、$\sup_{0\le t<1}\|u(t)\|_{L^2}<\infty$ かつ $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$ を満たすものを構成しています（定理1.1、選択肢C）。系10.6は周期の場合（選択肢D）を与えます。Clay（9月11日）：「解決されたようだ」。状況と資料。

• ルレイ。$\lambda(t)=(2a(T-t))^{-1/2}$ とするルレイの自己相似仮定 $u(x,t)=\lambda(t)U(\lambda(t)x)$ は、$U\in L^3(\mathbb{R}^3)$ の場合にネチャス–ルジチカ–シュヴェラーク（1996年）によって、局所エネルギー評価のもとでツァイ（1998年）によって排除されました。これらの結果は一つの爆発プロファイルを制約するものであり、特異性一般を排除するものではありません。
• CKN。$\mathcal{P}^1(S)=0$ は、適切な弱解（suitable weak solution）の特異集合の大きさを制限します。孤立特異点とは両立するため、爆発の構成と矛盾しません。
• 判定条件。ビール–加藤–マイダ（$\int_0^{T^*}\|\omega\|_{L^\infty}\,dt=\infty$）、プロディ–セリン–ラディジェンスカヤ（$u\notin L^p_tL^q_x$, $2/p+3/q\le1$, $q>3$）、エスカウリアサ–セレギン–シュヴェラークは、最初の特異時刻における必要な振る舞いを記述します。フェファーマンの問題文は、$\nu>0$ のとき有限の爆発時刻の近くで速度が非有界になることを記しています。定理1.1は、$L^2$ ノルムが有界のまま $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$ となる形で述べられています。
• タオ。平均化モデルは、エネルギー恒等式とスケーリングだけでは爆発を防げないことを示します。外力付きの構成は真の非線形性を用いています。外力なしの真の力学が、エネルギーとスケーリングを超える正則化のメカニズムをもつかどうかという問いは、影響を受けません。
• 非一意性。バックマスター–ヴィコル（2019年）：外力なし、超関数解、ルレイ–ホップの外。アルブリトン–ブリュエ–コロンボ（2022年）：ルレイ–ホップ、外力あり。2026年の主張は古典解に関する正則性（破綻）の主張であり、一意性の主張ではありません。
• Euler方程式。OpenAIは、外力のない3次元Eulerで滑らかな初期データからの爆発も発表しました。この非粘性の結果は、外力のない粘性ナビエ–ストークスの爆発を示すものではありません。

変わらず未解決の問題には、A/B（$f\equiv0$）、$f\equiv0$ に対するルレイ–ホップ解の一意性、最適な延長判定条件が含まれます。部分問題とアプローチを参照してください。

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

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

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

資料確認日：2026-09-29（JST）。このページは公表された文献と公開声明を要約したものであり、独立した証明の監査ではありません。リポジトリはレビューを「self-assessed」（自己評価）と表示していますが、それは独立した検証を確立するものでも、ほかの誰も確認していないことを示すものでもありません。Leanのリリースと原稿は検討のための材料を提供しますが、形式的な主張が意図された定理と一致するかを確認することの代わりにはなりません。

2026年の資料：Clay（2026-09-11） · OpenAI（2026-09-08） · 原稿（PDF） · Lean / GitHub。

資料確認日：2026-09-29（JST）。このページは公表された文献と公開声明を要約したものであり、独立した証明の監査ではありません。リポジトリはレビューを「self-assessed」（自己評価）と表示していますが、それは独立した検証を確立するものでも、ほかの誰も確認していないことを示すものでもありません。Leanのリリースと原稿は検討のための材料を提供しますが、形式的な主張が意図された定理と一致するかを確認することの代わりにはなりません。

2026年の資料：Clay（2026-09-11） · OpenAI（2026-09-08） · 原稿（PDF） · Lean / GitHub。