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

短く言うと：Clayの公式問題は、滑らかな3次元非圧縮Navier-Stokes流がすべての将来時刻にわたって滑らかなままでなければならないのか、それとも許容される滑らかな初期データから破綻が起こりうるのかを問うものです。2026年7月時点で、Clay Mathematics Instituteが受理した証明も反例もありません。

2000年、クレイ数学研究所は数学における最も難しい未解決問題7つを選び、それぞれに100万ドルの賞金を懸けました。ナビエ–ストークスの存在と滑らかさの問題はその1つです。

このページでは、公式の問題文 — 下にリンクしたCharles FeffermanのClay Mathematics InstituteのPDF — を平易な言葉で読み解きます：Clayが何を問うているのか、どのようなデータが許されるのか、何が証明または反例として認められるのか。現在の状況だけを知りたい場合はNavier-Stokes問題は解決されたのか？（2026年7月時点の状況）を見てください。

問いを突き詰めれば：流体運動の方程式は常に滑らかで良い振る舞いの解を生み出すのか、それとも爆発しうるのか？

誰も賞金を請求していません。解答（または破綻）がどのようなものかの理解には実質的な進展がありましたが、クレイ・ミレニアム懸賞問題そのものは依然として完全に未解決です。

短く言うと：Clay問題は、認められた3次元非圧縮Navier-Stokesの定式化において、滑らかで発散のないデータから常に大域的な滑らかな解が得られるのか、それとも許容される滑らかなデータが有限時間破綻を強制しうるのかを問います。2026年7月時点で、どちらの選択肢も証明されていません。

ナビエ–ストークスに対するクレイ・ミレニアム懸賞問題は、チャールズ・フェファーマンによる公式問題記述で述べられています。$\mathbb{R}^3$ 上のものと、周期境界条件を課した $\mathbb{T}^3$ 上のものという2つの定式化が与えられています。有効な解答は、Clayの問題文で認められた選択肢のいずれかを解決しなければなりません。

賞は以下のいずれかを要求します：

• (A) 存在と滑らかさ：該当する滑らかで発散のない初期データが、所定のエネルギー制御を伴い、すべての $t \geq 0$ で滑らかな解を生成することを証明する。
• (B) 破綻：該当する定式化で許される外力を伴う、許容される滑らかなデータであって、大域的に滑らかな解が存在しないものを提示する。

このページは公式の問題文を言い換えて解説するものです。権威あるテキストとしては、下にリンクしたClayの資料を使ってください。

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

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

1. 大域的な滑らかさ：許容されるすべての滑らかな初期流が、すべての将来時刻にわたって滑らかなままであることを示す。
2. 破綻：大域的に滑らかな解が存在しえないような、許容される滑らかな設定を与える。

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

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

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

問題が実際に問うていることを、平易な言葉で述べます：

設定：完全に滑らかな（鋭い角や不連続点のない）初期流体速度を取り、無限遠で減衰する（流体は作用の中心から遠くでは本質的に静止している）とします。

問い：流体速度はすべての未来の時刻で滑らかかつ有限であり続けるか？　あるいは速度がある点で無限大になる — 「爆発」する — ことが可能か？

答えは2つの可能性のうちの1つです：

1. 常に滑らか — どのような滑らかな初期状態から始めても、解は永遠に滑らかであり続けることを証明する。
2. 爆発が可能 — 解が最終的に破綻する特定の滑らかな初期配置を見つける。

フェファーマンによる $\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つに選ばれたのは、以下の交差点に位置するためです：

• 実用的重要性 — この方程式は航空機設計から気候モデリングまで、流体力学の大部分を支えている
• 数学的深さ — 問題は解析学、幾何学、位相幾何学、物理学に同時に関わる
• 既知の手法への抵抗（理由を探る） — 180年以上にわたる最も偉大な数学者たちの研究にもかかわらず、大域正則性も有限時間爆発も確立されていない

問題文は非数学者にもアクセス可能ですが、問題はほぼ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$ は超臨界です。これは臨界スケーリングの閾値より下にあり、それ自身では小スケールの非線形カスケードを制御できず、既存のすべての手法が橋渡しに苦闘するギャップを残します。

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

• 1822年 — ナビエが分子論的考察から方程式を導出
• 1845年 — ストークスが連続体力学からの近代的な導出を与える
• 1934年 — ルレイが「弱」解が常に存在することを証明（巨大な突破口だが、これらの解は滑らかでないかもしれない）
• 1982年 — カファレリ、コーン、ニーレンバーグが特異点（部分正則性の詳細）は時空で1次元放物型ハウスドルフ測度ゼロの集合に限定されることを証明 — 時空の曲線や面を作れないほど小さい
• 1984年 — ビール、加藤、マイダが、爆発は渦度が無限大になる場合にのみ起こりうることを示す
• 2000年 — クレイがミレニアム問題に指定
• 現在 — 問題は臨界空間アプローチ、タイプI/II爆発の分類、計算機支援証明に関する活発な研究とともに未解決のまま

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

• ルレイ（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年）より真に強い。

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

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

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

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

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

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