ClayのNavier-Stokes問題文：公式基準の解説

クレイ数学研究所のナビエ–ストークス問題は、2000年に発表されたミレニアム懸賞問題のためにチャールズ・フェファーマンが執筆したもので、3次元非圧縮ナビエ–ストークス方程式がすべての時間にわたって滑らかな解をもつのか、それとも滑らかな解が破綻しうるのかを問うものです。このページでは、公式の問題文が正確に何を要求しているかを説明します。方程式、許容される初期の流れと外力、何が「物理的に妥当な」解とみなされるか、そしていずれか一つで問題が解決する四つの選択肢です。

2026年9月、OpenAIは破綻の選択肢CとDの証明を発表し、Clayは問題が「解決されたようだ」と述べました。評価は意図的に時間をかけて行われており、賞は授与されていません。外力なしの存在に関する選択肢AとBは、この結果では決着しません。

何が発表され、どのように評価されているか：ナビエ–ストークス問題は解決されたのか？（資料確認日 2026-09-29）

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

フェファーマンの公式問題文は、$\mathbb{R}^3$ または $\mathbb{T}^3=\mathbb{R}^3/\mathbb{Z}^3$ 上の、粘性 $\nu>0$ をもつ3次元非圧縮ナビエ–ストークス系を対象とします。許容される初期データと外力、物理的に妥当な解のクラス（すべての $t\ge0$ で滑らか、$\mathbb{R}^3$ 上ではエネルギー有界）を定義し、四つの主張A〜Dのいずれか一つの証明を求めています。

2026年9月、OpenAIは破綻の選択肢CとDの証明を発表し、Clayは問題が「解決されたようだ」と述べました。評価は意図的に時間をかけて行われており、賞は授与されていません。外力なしの存在に関する選択肢AとBは、この結果では決着しません。

状況と資料：ナビエ–ストークス問題は解決されたのか？（資料確認日 2026-09-29）

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

Clay問題が問うているのは、流体シミュレーションが機能するかどうかでも、工学者が管内流の例題を解けるかどうかでも、弱解が存在するかどうかでもありません。それらは別の問いです。懸賞の問いは、3次元非圧縮方程式に対する大域的な滑らかさ、または有限時間破綻についてのものです。

解決は、次の二つのいずれかに当てはまらなければなりません：

1. 大域的な滑らかさ：外力がない場合に、許容される滑らかな初期の流れがすべて、将来のすべての時間にわたって滑らかなままであることを示す。
2. 破綻：許容される滑らかな設定、すなわち初期の流れと、必要なら滑らかで急速に減衰する外力を与え、それに対して大域的に滑らかな解が存在しえないことを示す。

Clayが求めるのは四つすべてではなく、一つの選択肢の証明です：(A) R³上で外力なしの大域的な滑らかな解の存在、(B) 周期的トーラスT³上で外力なしの大域的な滑らかな解の存在、(C) 許容される滑らかな外力を認めたR³上の破綻、(D) 許容される滑らかな外力を認めた周期的な破綻。A/Bはすべての許容初期データを対象とし、C/Dには許容される反例が必要です。外力付きの破綻はA/Bの反証にはなりません。

中心となる系は3次元非圧縮ナビエ–ストークス方程式

$$\partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u + f, \qquad \nabla \cdot u = 0.$$

です。Clayの定式化は全空間の場合と周期的な場合を分けています。全空間での存在の方向では、初期速度は滑らかで発散がなく急減衰するものとし、目標はすべての時刻で有限エネルギーを持つ大域的に滑らかな解です。破綻の方向では、公式の選択肢の1つの下で、要求される大域的に滑らかな解が存在しないような許容データを構成することが課題です。

存在（A、B）は $f\equiv0$ で設定され、すべての許容データについて量化されています。破綻（C、D）は、以下の減衰条件のもとで外力を認めたうえで、許容される組 $(u_0,f)$ を一つ求めるものです。

1. (A) 全空間での滑らかさ。外力がない場合、無限遠で導関数が急速に減衰する、滑らかで発散ゼロの初期の流れはすべて、全エネルギーが有界な、すべての時間にわたる滑らかな解をもつ。
2. (B) 周期的な箱での滑らかさ。同じことを、外力なしで、各方向に周期的に繰り返す滑らかで発散ゼロの流れについて主張する。
3. (C) 全空間での破綻。ある許容される滑らかな初期の流れと、大きさとすべての導関数が空間と時間について急速に減衰するある滑らかな外力に対して、すべての時間にわたる滑らかでエネルギー有界な解が存在しない。
4. (D) 周期的な箱での破綻。ある滑らかで周期的な初期の流れと、時間について急速に減衰する滑らかで周期的な外力に対して、すべての時間にわたる滑らかな周期解が存在しない。

四つのうちいずれか一つを証明すれば、提示されたとおりの問題は解決します。これらは主張とその否定という形に並んでいるわけではありません。Cは「Aが偽である」よりも弱い主張です。Cでは解答者が外力も選べるからです。公式の文章は、四つの選択肢を「問題の核心を保ちつつ、解答者に合理的な裁量の余地を与える」ものと説明しています。

フェファーマンによる $\mathbb{R}^3$ 上、$f \equiv 0$ の定式化に従います：

仮定：$u_0 \in C^\infty(\mathbb{R}^3)$ を発散なしとする。すべての $\alpha$ と $K$ に対して定数 $C_{\alpha,K}$ が存在して

$$|\partial^\alpha u_0(x)| \leq \frac{C_{\alpha,K}}{(1 + |x|)^K}, \qquad x \in \mathbb{R}^3.$$

結論（証明すべきこと）：$p \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ と $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ が存在して、ナビエ–ストークス方程式と $u(x,0) = u_0(x)$、およびエネルギー上界

$$\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C \quad \text{すべての } t \geq 0.$$

を満たす。

破綻（C）：上記の減衰条件を満たす滑らかで発散ゼロの $u_0$ と、$\mathbb{R}^3\times[0,\infty)$ 上の滑らかな $f$ で条件(5)

$$|\partial_x^\alpha \partial_t^m f(x,t)| \leq \frac{C_{\alpha m K}}{(1+|x|+t)^{K}},$$

をすべての $\alpha, m, K$ について満たすものが存在し、それに対して、方程式、初期条件、エネルギー上界を満たす $(p,u)$（$p,u\in C^\infty(\mathbb{R}^3\times[0,\infty))$）が存在しない。

周期版（B、D）：$u_0$ と $f$ は各座標について周期1をもちます。外力の条件は $|\partial_x^\alpha\partial_t^m f(x,t)|\le C_{\alpha mK}(1+|t|)^{-K}$、すなわち条件(9)となります。解は $x$ について滑らかかつ周期的でなければならず、付記された正誤表は圧力も周期的であることを要求しています。Bは $f\equiv0$ とし、滑らかで周期的な発散ゼロのすべての $u_0$ に対して大域的な滑らかな周期解を求めます。Dは、大域的な滑らかな周期解をもたない許容される周期的な組 $(u_0,f)$ を求めます。周期版の選択肢には、別個のエネルギー上界は課されていません。

発表された全空間の定理は速度ゼロから出発し（これは初期データの条件を満たします）、空間と時間の有界な領域に台をもつ滑らかな外力を用います（これは外力の減衰条件を満たします）。結論は、そのデータに対してエネルギー有界な大域的に滑らかな解は存在しないというもので、これがCの要求するところです。系によって構成は周期的な箱に移され、Dが得られます。これらのデータ条件の確認は初歩的なものであり、証明そのものを検証するものではありません。

この対応が関わるのはCとDだけです。外力なしでの大域的な滑らかさであるAとBは、これによって証明も反証もされません。また、CまたはDが確立されれば、Clayの問題文はAとBを要求しません。証明が正しいかどうかは、専門家による確認とClayの手続きに委ねられます。状況解説を参照してください。

• 初期値。$u_0=0$ は滑らかで発散ゼロであり、減衰条件(4)と周期性条件(8)を自明に満たします。
• Cのための外力。$f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$ は時空間でコンパクトな台をもつので、各導関数は有界で、あるコンパクト集合の外では0になります。よって(5)が成り立ちます。
• Cの結論。定理1.1は、$\sup_{0\le t<1}\|u(t)\|_{L^2}<\infty$ かつ $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$ となる $[0,1)$ 上の滑らかな $(u,p)$ を与え、同じ初期値と外力をもつ $\mathbb{R}^3\times[0,\infty)$ 上の滑らかな解で運動エネルギーが一様に有界なもの、すなわち(6)–(7)が要求するクラスの解は存在しないと述べています。
• D。系10.6：任意の $\nu>0$ に対して、時間についてコンパクトな台をもつ（したがって(9)を満たす）$\mathbb{T}^3\times[0,\infty)$ 上の滑らかな外力、初速度ゼロ、$t=1$ での速度の爆発、そして同じ初期値と外力に対する大域的な滑らかな周期解の非存在。速度と圧力は、正誤表が要求するとおり周期的です。
• 限界。これらは原稿の主張であり、上記のデータクラスの確認は初歩的なものです。構成そのもの、Leanによる形式化、あるいはそれと公式の文章との対応を検証するものではありません。

原稿：OpenAI — Navier–Stokes（PDF）、定理1.1と系10.6。

ナビエ–ストークス問題が7つのミレニアム問題の1つに選ばれたのは、以下の交差点に位置するためです：

• 実用的重要性 — この方程式は航空機設計から気候モデリングまで、流体力学の大部分を支えている
• 数学的深さ — 問題は解析学、幾何学、位相幾何学、物理学に同時に関わる
• 長く続く重要性。 Clayが2000年にナビエ–ストークスを七つのミレニアム問題の一つに選んだのは、根本的な数学の難しさと、流体力学における方程式の中心的役割を兼ね備えているためです。2026年9月の発表は状況を変えますが、その重要性の理由を変えるものではありません。 関連項目： 理由を探る

問題文は非数学者にもアクセス可能ですが、問題はほぼ2世紀にわたる真剣な努力に抵抗してきました。

問題の困難さは3次元方程式の超臨界的性質に根ざしています。自然なエネルギー評価

$$\frac{1}{2}\|u(t)\|_{L^2}^2 + \nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \frac{1}{2}\|u_0\|_{L^2}^2$$

は $u$ を $L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$ に置きますが、この制御は臨界スケーリングより下にあります。ナビエ–ストークス方程式は

$$u(x,t) \mapsto \lambda u(\lambda x, \lambda^2 t), \quad p(x,t) \mapsto \lambda^2 p(\lambda x, \lambda^2 t)$$

の下で不変であり、臨界空間は $L^3(\mathbb{R}^3)$（または $\dot{H}^{1/2}$）です。エネルギー類 $L^2$ は超臨界です。これは臨界スケーリングの閾値より下にあり、それ自身では小スケールの非線形カスケードを制御できず、既存のすべての手法が橋渡しに苦闘するギャップを残します。

ここに示すエネルギー評価は外力がゼロの場合です。外力がある場合、右辺には仕事の項も加わります： $\int_0^t\!\int f(x,s)\cdot u(x,s)\,dx\,ds$.

物語の主要なマイルストーン：

• 1822年 — ナビエが分子論的考察から方程式を導出
• 1845年 — ストークスが連続体力学からの近代的な導出を与える
• 1934年 — ルレイが「弱」解が常に存在することを証明（巨大な突破口だが、これらの解は滑らかでないかもしれない）
• 1982年 — カファレリ、コーン、ニーレンバーグが特異点（部分正則性の詳細）は時空で1次元放物型ハウスドルフ測度ゼロの集合に限定されることを証明 — 時空の曲線や面を作れないほど小さい
• 1984年 — ビール、加藤、マイダが、爆発は渦度が無限大になる場合にのみ起こりうることを示す
• 2000年 — クレイがミレニアム問題に指定
• 2026年：OpenAIが、選択肢CとDを主張する、滑らかな外力による破綻の証明を発表。Clayは問題が「解決されたようだ」と述べ、評価は意図的に時間をかけて行われています。

関連項目： 臨界空間アプローチ

基礎的結果の選択的年表：

• ルレイ（1934年）：コンパクト性による大域弱解 $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$ の存在。ルレイ射影と乱流解の概念を導入。
• ホップ（1951年）：ルレイの構成を有界領域に拡張。
• ラディジェンスカヤ–プロディ–セリン（1960年代）：正則性判定条件 — $u \in L^p_t L^q_x$、$2/p + 3/q \leq 1$、$q > 3$ は滑らかさを含意。端点の $L^\infty_t L^3_x$ はエスカウリアサ–セレギン–シュヴェラーク（2003年）により解決。
• カファレリ–コーン–ニーレンバーグ（1982年）：特異点集合の1次元放物型ハウスドルフ測度はゼロ：$\mathcal{P}^1(\Sigma) = 0$。
• ビール–加藤–マイダ（1984年）：爆発条件は $\int_0^{T^*} \|\omega(\cdot,t)\|_{L^\infty} \, dt = \infty$。
• コッホ、タタル（2001年）：$\mathrm{BMO}^{-1}$ における小さいデータに対する大域適切性。これは、このような結果が知られている標準的な臨界空間のなかで最大のものです。
• セレギン（2012年）：爆発時刻 $T^*$ では $L^3$ ノルムが発散しなければならない：$\|u(t)\|_{L^3} \to \infty$（$t \to T^*$）。一様有界性の破れのみを示したESS（2003年）より真に強い。
• 2026年：CとDを主張する、外力付きの破綻の発表（原稿の定理1.1と系10.6）。上記の対応を参照。

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

問題がすでに解決されたか尋ねにここに来た方は、ナビエ–ストークス問題は解決されたのか？から始めてください。

そしてなぜこれほど解決が難しいかを探索するか、数学者がどのように問題を部分問題に分解したかをご覧ください。

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

簡潔な現状の回答と、弱い存在と大域的な滑らかな正則性の区別については、ナビエ–ストークス問題は解決されたのか？をご覧ください。

正則性問題の基礎にある数学的障害については、なぜ難しいのかをご覧ください。取り組み可能な構成要素への分解 — 弱解、部分正則性、爆発の分類 — については、部分問題をご覧ください。