ナビエ–ストークス問題は解決されたのか？2026年9月の更新

資料の状況を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の公式問題文.

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

関連項目： Navier-Stokesの存在と滑らかさ

外力とは速度の方程式に加わる外部からの作用であり、力そのものが無限大になるという意味ではありません。発表された構成は静止状態から始まり、滑らかな外力を用います。運動エネルギーの総量が有界でも、速度がより小さな領域に集中する可能性は排除できません。これは数学モデルの話で、現実の水が無限の速度に達するとの予測ではありません。Clayの声明は授賞通知ではありません。

資料の状況を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の公式問題文.

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

原稿は任意の粘性 $\nu>0$ に対して、コンパクトな台を持つ滑らかな外力 $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$ と初速度 $u_0=0$ を用い、$0\leq t<1$ で滑らかな解があり、速度の $L^2$ ノルムは一様有界でも $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$ となると主張しています。外力は特異時刻を通じて滑らかです。定理1.1は全空間での破綻、系10.6は周期的な破綻を述べています。これは原稿の主張の紹介であり、当サイトの証明検証ではありません。 OpenAI — Navier–Stokes (PDF), 1.1 / 10.6.

正確には：滑らかな発散なし初期データ $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$ かどうかを問う。

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

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

これは公開資料の記述の確認であり、証明の独立監査ではありません。リポジトリの審査状態は「self-assessed」（自己評価）ですが、誰も他に検証していないという意味ではありません。原稿とLeanは検討材料であり、形式化された定理と数学的主張の対応を確認する作業に代わるものではありません。Clayの評価・授賞手続きは発表された数学的結果とは別です。

OpenAIは、外力のない3次元Eulerで滑らかな初期データからの爆発も発表しました。この非粘性の結果は、外力のない粘性ナビエ–ストークスの爆発を示すものではありません。

これは公開資料の記述の確認であり、証明の独立監査ではありません。リポジトリの審査状態は「self-assessed」（自己評価）ですが、誰も他に検証していないという意味ではありません。原稿とLeanは検討材料であり、形式化された定理と数学的主張の対応を確認する作業に代わるものではありません。Clayの評価・授賞手続きは発表された数学的結果とは別です。

OpenAIは、外力のない3次元Eulerで滑らかな初期データからの爆発も発表しました。この非粘性の結果は、外力のない粘性ナビエ–ストークスの爆発を示すものではありません。

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

以下の全空間での記述はAとCの要約で、公式の仮定をすべて列挙したものではありません。Aでは $f=0$ です。Cでは外力のすべての空間・時間微分がClayの減衰条件を満たし、存在しないとする大域解は公式の滑らかでエネルギー有界なクラスの解です。周期的な選択肢はBとDです。

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

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. (C) 破綻： $u_0 \in C^\infty(\mathbb{R}^3)$（発散なし、所定の減衰を満たす）と、外力の微分の減衰条件(5)を満たす $f \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ を構成し、指定された初期データと時間に関して一様有界な運動エネルギーを持つ $(u,p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ が系を満たすことはないと示します。

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

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

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

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

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

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

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