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

外力のない3次元ナビエ–ストークスの大域正則性は未解決です。発表された外力付きの構成は、この問いを解決しません。以下の技術的説明で未解決とする正則性・一意性の問いは、別の設定を明示しない限り、外力のない系を指します。

資料の状況を2026-09-12（日本標準時、JST）に確認。9月8日、OpenAIは滑らかな外力を伴う3次元非圧縮ナビエ–ストークス方程式の有限時間爆発を発表し、Clayの選択肢CとDを満たすと主張しました。論文原稿とLean形式化も公開されています。9月11日、Clayは問題が「解決されたようだ」と述べ、評価と功績の帰属は意図的に時間をかけて行うとしました。これは賞の授与でも、当サイトによる証明の検証でもありません。

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

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

関連項目： Navier-Stokes問題は解決されたのか？（2026-09-12 (JST)時点の状況）

外力のない3次元ナビエ–ストークスの大域正則性は未解決です。発表された外力付きの構成は、この問いを解決しません。以下の技術的説明で未解決とする正則性・一意性の問いは、別の設定を明示しない限り、外力のない系を指します。

資料の状況を2026-09-12（日本標準時、JST）に確認。9月8日、OpenAIは滑らかな外力を伴う3次元非圧縮ナビエ–ストークス方程式の有限時間爆発を発表し、Clayの選択肢CとDを満たすと主張しました。論文原稿とLean形式化も公開されています。9月11日、Clayは問題が「解決されたようだ」と述べ、評価と功績の帰属は意図的に時間をかけて行うとしました。これは賞の授与でも、当サイトによる証明の検証でもありません。

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

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

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

賞を得るには、証明は次の2つのいずれかに該当しなければなりません：

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つの下で、要求される大域的に滑らかな解が存在しないような許容データを構成することが課題です。

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

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

フェファーマンによる $\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.$$

を満たす。

ナビエ–ストークス問題が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年9月：OpenAIが滑らかな外力による3次元爆発（Clay 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年9月：OpenAIが滑らかな外力による3次元爆発（Clay C/D）を発表。Clayは解決されたようだと表明。評価と賞の授与は別の段階です。

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

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

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

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

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

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