ミレニアム懸賞問題

ナビエ–ストークス問題の解説：方程式・Clay賞・2026年の状況

方程式、その厳密解、Clayのミレニアム問題、そして3次元の流れが滑らかであり続けるかをめぐる一世紀の研究を案内します。

状況の更新 資料確認日：

外力による有限時間爆発の証明が発表

2026年9月8日、OpenAIは、滑らかな外力のもとで3次元非圧縮ナビエ–ストークス方程式の解が有限時間で爆発しうるという証明を発表しました。これはClayの選択肢CとDに当たります。9月11日、Clayは問題が「解決されたようだ」と述べましたが、評価は意図的に時間をかけて行われ、賞は授与されていません。外力のない流れが常に滑らかなままかどうかは、この結果では決まりません。

ここから始める

01

方程式を学ぶ

方程式が何を記述し、各項がどう働くかを学びます。

 02

具体的な解と例を見る

厳密に計算できる特殊な流れと、それでもClay問題の解答にはならない理由を見ていきます。

 03

Clay問題を理解する

Clayの公式問題が何を問うのか、なぜ3次元が難しいのか、そして問いの現状。

 04

研究の進展を見る

数学者が証明したこと、試みてきたアプローチ、なお不明な点をたどります。

初めての方は、まず方程式から。

ライブ流体シミュレーション。ドラッグしてかき混ぜてください。

水 蜂蜜

シミュレーションの背後にある方程式

∂tu  +  (u⋅∇)u  =  −∇p  +  νΔu,∇⋅u=0\textcolor{#e0e0e0}{\partial_t u} \;+\; \textcolor{#e040fb}{(u \cdot \nabla)u} \;=\; \textcolor{#66bb6a}{-\nabla p} \;+\; \textcolor{#4fc3f7}{\nu \Delta u}, \qquad \textcolor{#90a4ae}{\nabla \cdot u = 0}
これらの項は何を意味するのか？
粘性ν∆u
流体の粘り気 — 蜂蜜は渦を抑え、水は自由に流れる。上のスライダーで制御 粘性拡散 — 流れを滑らかにし広げる。上のνスライダーで制御
運動量(u·∇)u 運動が運動を運ぶ — 速い流れが近くの流体を引きずり、渦を生む 非線形移流 — 速度が自身を輸送し、渦伸張とカスケードを生む
圧力−∇p 流体が密集すると、圧力がそれを押し広げる — ソルバーが自動的に処理 圧力勾配 — 発散なし拘束条件を強制する射影ステップで計算
変化∂ₜu 結果 — 各点での流体の速度変化を他の全項から計算 正味の変化率 — 移流、圧力、粘性のバランスで決まる左辺
保存∇·u = 0 流体は圧縮も膨張もできない — ただ再配置するだけ。水が水のように振る舞う理由 発散なし拘束条件 — ヘルムホルツ–ホッジ射影により各ステップで満たされる

3次元問題が問うていること

ナビエ–ストークス方程式は、水や空気のような粘性流体の運動を記述する偏微分方程式系です。流体の慣性を、圧力、粘性、外力とつり合わせるもので、航空機の設計や管内の流れから、天気予報、血流に至るまで、あらゆるところで使われています。

よく知られた未解決の問いは、これらの方程式が3次元で何を予言するかです。有限エネルギーの滑らかな流れから出発したとき、解は永遠に滑らかなままか、それとも有限時間ののちに速度が無限大になりうるのか。Clayの公式問題文は四つの答えのうちいずれか一つを受け付けます。外力がない場合にすべての滑らかな初期状態が滑らかなままであることの証明（全空間ではA、周期的な箱ではB）、あるいはいずれかの設定での破綻の例（滑らかで急速に減衰する外力もあわせて選んでよい。CとD）です。2次元では滑らかな解が永遠に続くことが知られていますが、外力がない場合の3次元の問いはいまも未解決です。

正確な条件はClayの公式問題文の解説で、その背後にある1世紀の成果はナビエ–ストークス問題の研究の進展で説明しています。

Clayが2000年にナビエ–ストークスを七つのミレニアム問題の一つに選んだのは、根本的な数学の難しさと、流体力学における方程式の中心的役割を兼ね備えているためです。2026年9月の発表は状況を変えますが、その重要性の理由を変えるものではありません。

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

∂tu+(u⋅∇)u=−∇p+νΔu,∇⋅u=0.\partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u, \qquad \nabla \cdot u = 0.

このサイトは、R3\mathbb{R}^3 または T3\mathbb{T}^3 上の3次元非圧縮ナビエ–ストークス方程式の大域正則性問題を中心としています。公式の減衰（または周期性）条件を満たす滑らかで発散ゼロの初期データと f≡0f\equiv0 に対して、すべての t≥0t\ge0 で滑らかな解（R3\mathbb{R}^3 上ではエネルギー有界）が存在するか？Clayの定式化は、大域存在の証明（R3\mathbb{R}^3 上のA、T3\mathbb{T}^3 上のB、いずれも f≡0f\equiv0）か、公式の減衰条件を満たす滑らかな外力もあわせて選んでよい破綻の例（C、D）を受け付けます。2次元の類似問題は古くから決着しており、f≡0f\equiv0 の場合の3次元の問いは未解決のままです。

形式的な条件：Clayの公式問題文の解説。結果と手法：進展。

Clayが2000年にナビエ–ストークスを七つのミレニアム問題の一つに選んだのは、根本的な数学の難しさと、流体力学における方程式の中心的役割を兼ね備えているためです。2026年9月の発表は状況を変えますが、その重要性の理由を変えるものではありません。

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

よくある質問

ナビエ–ストークス方程式とは何か？

ナビエ–ストークス方程式は、水や空気のような粘性流体の運動を記述する偏微分方程式系です。流体の慣性を、圧力、粘性、外力とつり合わせるもので、航空機の設計や管内の流れから、天気予報、血流に至るまで、あらゆるところで使われています。

ナビエ–ストークス方程式は解かれたのか？

2026年9月8日、OpenAIは、滑らかな外力のもとで3次元非圧縮ナビエ–ストークス方程式の解が有限時間で爆発しうるという証明を発表しました。これはClayの選択肢CとDに当たります。9月11日、Clayは問題が「解決されたようだ」と述べましたが、評価は意図的に時間をかけて行われ、賞は授与されていません。外力のない流れが常に滑らかなままかどうかは、この結果では決まりません。

なぜナビエ–ストークス問題はミレニアム懸賞問題なのか？

Clayが2000年にナビエ–ストークスを七つのミレニアム問題の一つに選んだのは、根本的な数学の難しさと、流体力学における方程式の中心的役割を兼ね備えているためです。2026年9月の発表は状況を変えますが、その重要性の理由を変えるものではありません。

Navier-Stokes に関連する新規・改訂・クロスリストの arXiv 論文を毎日更新する横スクロールの一覧です。

各ページには2つのバージョンがあります。ヘッダーの簡潔 / 厳密トグルで、平易な説明と完全な数学的記述を切り替えられます。読んでいる位置を失うことなくいつでもモードを変更できます。

各ページは並行して書かれています。簡潔モードは物理的直感を、厳密モードはPDEレベルの記述を提供します。自由に切り替えてください — 構造は両モードで対応しています。