Navier-Stokes方程式の弱解・強解・滑らかな解：正則性へのギャップ

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

大域弱解の存在と大域的に滑らかな解の存在は異なる結果です。Lerayの定理は有限エネルギーの初期データに弱解を与えますが、外力のない3次元で滑らかな初期データから大域正則性が従うかは未解決です。Clayは外力なしの存在と、許容される外力付きの破綻の両方を選択肢に含めています。 関連項目： ミレニアム賞

では弱解とは何でしょうか？近似ではありません。「だいたい正しい」ものでもありません。弱解は方程式の厳密な解ですが、ルールが緩和されています。速度場が直接微分できるほど滑らかであることを要求する代わりに、方程式にテスト関数を掛けて積分し、部分積分によってすべての微分をテスト関数に移します。その結果がすべてのテスト関数に対して成り立てば、弱解が得られたことになります。

こう考えてみてください。古典解は試験のすべての問題を途中式をきちんと示しながら解く学生です。弱解は途中式を見せることはできませんが、あなたが出しうるどんな問題に対しても最終的な答えが正しいことが証明できる学生です。微分する過程は見えませんが、積分した結果は必ず辻褄が合います。

なぜわざわざそんなことを？　古典解には方程式が荒すぎる場合があるからです。流体が速度の急激な変化を起こし、通常の意味での微分が存在しなくなる領域を発生させることがあります。弱解は古典解が行き詰まるところでも先に進めます。それは安全ネットなのです。

分布の意味での弱解は、外力がなくても一意とは限りません。Buckmaster–VicolはLeray–Hopfクラスの外で有限エネルギーの非一意な例を構成しました。$L^2$ 初期データに対するLerayの大域存在定理は、エネルギー不等式も満たす、より狭いLeray–Hopfクラスの解を与えます。滑らかな初期データを持つ外力なし3次元系の一意性・正則性の未解決問題はこのクラス内の話で、すべての分布的弱解についての同値性ではありません。 関連項目： ミレニアム賞

2026年9月：OpenAIが滑らかな外力による3次元爆発（Clay C/D）を発表。Clayは解決されたようだと表明。評価と賞の授与は別の段階です。 日付付きの状況と資料.

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

ナビエ–ストークス方程式の弱解は、各点でのPDEを分布的定式化に置き換えたものです。$\mathbb{R}^3 \times (0,T)$ 上の非圧縮系を考えます：

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

ベクトル場 $u \in L^2_{\mathrm{loc}}(\mathbb{R}^3 \times [0,T))$ が弱解であるとは、すべての滑らかでコンパクト台を持つ発散なしテスト関数 $\varphi$ に対して以下が成り立つことです：

$$\int_0^T \!\int_{\mathbb{R}^3} \bigl[-u \cdot \partial_t \varphi - (u \otimes u) : \nabla \varphi - \nu \, u \cdot \Delta \varphi \bigr] \, dx \, dt = \int_{\mathbb{R}^3} u_0 \cdot \varphi(x,0) \, dx.$$

$\varphi$ が発散なしであるため、圧力はこの定式化から消えます。部分積分によって、すべての微分は $u$ から $\varphi$ に移されています。要点は：$u$ は古典的に微分可能である必要がなく、これらの積分が収束するのに十分な可積分性があればよいということです。

弱定式化は近似ではありません。PDEを各点で満たす古典解も、すべてのテスト関数に対して弱定式化を満たします（逆方向に部分積分すればよい）。逆は成り立ちません：弱解がPDEを各点で満たすほど滑らかである必要はありません。

分布の意味での弱解は、外力がなくても一意とは限りません。Buckmaster–VicolはLeray–Hopfクラスの外で有限エネルギーの非一意な例を構成しました。$L^2$ 初期データに対するLerayの大域存在定理は、エネルギー不等式も満たす、より狭いLeray–Hopfクラスの解を与えます。滑らかな初期データを持つ外力なし3次元系の一意性・正則性の未解決問題はこのクラス内の話で、すべての分布的弱解についての同値性ではありません。 関連項目： クレイ・ミレニアム問題

2026年9月：OpenAIが滑らかな外力による3次元爆発（Clay C/D）を発表。Clayは解決されたようだと表明。評価と賞の授与は別の段階です。 日付付きの状況と資料.

1934年、Jean Lerayはこの分野を今なお規定する偉業を成し遂げました。Acta Mathematicaに掲載された73ページの一本の論文「Sur le mouvement d'un liquide visqueux emplissant l'espace」において、3次元の発散なし初期データに対するナビエ–ストークス方程式の弱解がすべての時刻にわたって存在することを証明したのです。これは3D方程式に対する最初の大域的存在結果であり、90年以上が経過した今日でも最も強い無条件の存在定理です。

彼の手法は美しく具体的でした。非線形性をモリファイ（滑らかに近似）して方程式を正則化し、正則化された方程式を解き（最悪の非線形相互作用が抑えられているため容易）、次に平滑化パラメータをゼロに近づけて極限を取り、コンパクト性の議論によって極限が存在し弱定式化を満たすことを保証します。

しかしLerayが証明しなかったことがあります。一意性です。彼の手法は少なくとも一つの弱解を生成しますが、同じ初期データから始まる他の弱解が存在するかもしれず、それを排除できませんでした。滑らかさも証明していません。彼の解は有限エネルギーを持ち、エネルギー不等式を満たします（エネルギーは粘性を通じて散逸しうるが自然に増加はしない）。それだけです。それ以上のことはありません。

Leray自身は特異点が形成されると考えていました。彼はその姿を描きました：流体が特定のスケーリング構造を持ちながら一点に向かって崩壊し、ますます速く、エネルギーを無限小の領域に集中させる自己相似的爆発です。1996年、Nečas、Růžička、Šverákは、この正確な自己相似的シナリオが起こりえないことを証明しました。潜在的な爆発の形に関するLerayの推測は間違っていたのです。爆発がどんな形であれ実際に起こるのか？誰にもわかりません。

1951年、Eberhard HopfはLerayの構成を有界領域に拡張し、得られたクラスはLeray-Hopf弱解として知られるようになりました：エネルギー不等式を満たす弱解です。これが標準的な概念です。研究者が追加の修飾なしに「弱解」と言うとき、ほぼ常にこれを意味しています。

もう一点。Leray-Hopf弱解の中にも、適切な弱解（suitable weak solutions）と呼ばれる厳密により小さなクラスがあり、大域的なエネルギー不等式だけでなく局所的なエネルギー不等式を満たします。Caffarelli、Kohn、Nirenbergは1982年の有名な部分的正則性の結果を、まさにこの小さなクラスに対して証明しました。二つを混同しないでください：CKNが適用されるのは適切な弱解であり、すべてのLeray-Hopf解ではありません。

Lerayの1934年の論文は以下を確立しました：任意の発散なし $u_0 \in L^2(\mathbb{R}^3)$ に対して、ナビエ–ストークス方程式の弱解 $u$ が $\mathbb{R}^3 \times (0,\infty)$ 上に少なくとも一つ存在し、以下を満たす：

• $u \in L^\infty(0,\infty; L^2(\mathbb{R}^3)) \cap L^2(0,\infty; \dot{H}^1(\mathbb{R}^3))$
• エネルギー不等式：$\|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \|u_0\|_{L^2}^2$ がほとんどすべての $t > 0$ に対して成り立つ

構成はモリファイによって進められます。非線形性 $(u \cdot \nabla)u$ を $(u_\varepsilon \cdot \nabla)u$（$u_\varepsilon = J_\varepsilon * u$ は空間的モリファイ）に置き換えます。正則化された系は大域的に滑らかな解を持ちます（モリファイが最悪の非線形相互作用を除去するため）。Lerayは正則化された解に対する一様なエネルギー評価を得て、弱収束する部分列を抽出しました。その極限は弱定式化とエネルギー不等式を満たします。

Lerayは一意性を確立しませんでした。コンパクト性の議論は少なくとも一つの集積点の存在を与えますが、異なる部分列は異なる極限に収束する可能性があります。3DにおけるLeray-Hopf弱解の一意性は今日まで未解決です。

Hopf (1951)はGalerkin近似（有限次元部分空間への射影）を用いて、Dirichlet境界条件を持つ有界領域 $\Omega \subset \mathbb{R}^3$ に構成を適応させました。得られたクラス——エネルギー不等式を満たす弱解——は両方の名前を持ちます：Leray-Hopf弱解。

Caffarelli-Kohn-Nirenbergの定理（1982）は厳密により小さなクラスに関するものです：適切な弱解は、以下の形の局所エネルギー不等式を追加的に満たします

$$\partial_t \left(\frac{|u|^2}{2}\right) + \nabla \cdot \left(\left(\frac{|u|^2}{2} + p\right)u\right) + \nu |\nabla u|^2 \leq \nu \Delta \left(\frac{|u|^2}{2}\right)$$

分布の意味で成り立ちます。CKNは、任意の適切な弱解に対して、時空における特異点集合の1次元放物型Hausdorff測度がゼロであることを証明しました。これは特異点が存在するとしても極めてまばらであることを意味します（1次元放物型Hausdorff測度がゼロです）。しかしこの定理は特異点が実際に発生するかどうかについては何も述べておらず、適切な弱解にのみ適用され、すべてのLeray-Hopf解には適用されません。

Leray自身は $u(x,t) = (T-t)^{-1/2} U(x / (T-t)^{1/2})$ の形の自己相似的爆発の可能性を考えました。Nečas、Růžička、Šverák (1996)は $L^3(\mathbb{R}^3)$ に属する解に対してそのような自己相似的爆発が存在しないことを証明し、Tsai (1998)は対応する仮定の下で特定の漸近的自己相似爆発シナリオを排除しました。潜在的な特異点の形は、もし存在するとしても、未知のままです。

大域弱解は存在します。外力のない3次元のLeray–Hopf解の滑らかさと一意性は、今も重要な未解決の問いです。

はい、ただし局所的にだけです。強解は、方程式がほとんどいたるところで意味を持つだけの十分な正則性を持つ解です。滑らかな解、あるいは古典解は、方程式が各点で成り立つ解です。3Dの滑らかな初期データに対して、強解は短い時間だけ存在します。どれだけ短いかはデータに依存します：初期速度が大きく荒いほど、保証される存在区間は短くなります。そしてこれらの強解が最終的に爆発しないことは誰にも証明できていません。

Serrinの条件付き正則性判定はLeray–Hopf弱解に適用され、所定の可積分性が滑らかさを導きます。弱解–強解の一意性とは、同じ初期データを持つすべてのLeray–Hopf解が、強解の存在区間でその強解に一致するということです。すべての分布的弱解の一意性を意味するわけではありません。

Serrin条件は条件付き正則性の結果です。「もし解が荒すぎなければ、完全に良い振る舞いをする」と教えてくれます。困難の全体は「もし」の部分を証明することにあります。

外力のない2次元系では、滑らかな初期データを持つLeray–Hopf解は大域的に滑らかで一意です。3次元では、エネルギー評価だけでは対応する正則性の制御が得られません。 関連項目： 2次元

研究者たちは他の条件付きテストも見つけてきました。それぞれが異なる攻め口です：「解についてこの特定の一点を証明してくれれば、滑らかさはただでついてくる」というものです。そのうちのどれか一つでも無条件に証明できれば外力なしの大域正則性問題は解決されます。誰も成功していません。人々が試みてきたさまざまな証明戦略の概観は、専用のページがあります。

ナビエ–ストークス方程式の強解とは、PDEが（ほとんどいたるところで）各点的に成り立ち、非線形項 $(u \cdot \nabla)u$ が単なる分布ではなく関数として定義できるだけの正則性を持つ解です。典型的には $u \in L^\infty(0,T; H^1(\mathbb{R}^3)) \cap L^2(0,T; H^2(\mathbb{R}^3))$ を意味します。関連するが異なる枠組みとしてFujita-Kato (1964)があり、臨界空間における局所的な温和解を構成します。

十分に正則なSobolevデータに対する強解の局所存在はよく確立されています。臨界空間では、Fujita-Kato (1964)の枠組みが不動点論法を通じて局所的な温和解を構成します：

$$u(t) = e^{\nu t \Delta} u_0 - \int_0^t e^{\nu(t-s)\Delta} \mathbb{P} \nabla \cdot (u \otimes u)(s) \, ds,$$

ここで $\mathbb{P}$ は発散なし場へのLeray射影です。この積分方程式は適切な関数空間における縮小写像原理によって一意な局所解を持ちます。臨界空間（$L^3$、$\dot{H}^{1/2}$、$BMO^{-1}$）における小さなデータに対しては、解は大域的です。

問題は、大きなデータの強解がすべての時刻にわたって持続するかどうかです。鍵となる条件付き結果はSerrin (1962)のものです：Leray-Hopf弱解が $u \in L^p(0,T; L^q(\mathbb{R}^3))$ を満たし

$$\frac{2}{p} + \frac{3}{q} \leq 1, \qquad q > 3,$$

ならば、$u$ は $(0,T] \times \mathbb{R}^3$ 上で滑らかであり、与えられた初期データを持つ一意のLeray-Hopf弱解です。これらはProdi-Serrin条件と呼ばれます（Prodi 1959が関連する結果を確立しました）。

端点 $q = 3$（$p = \infty$）はEscauriaza、Seregin、Šverák (2003)によって解決されました：$u \in L^\infty(0,T; L^3(\mathbb{R}^3))$ ならば、$u$ は時刻 $T$ で爆発しません。これはProdi-Serrinスケールの端点であり、知られている中で最も鋭い継続基準の一つです。

2次元では、エネルギー有界性 $u \in L^\infty_t L^2_x \cap L^2_t H^1_x$ とLadyzhenskaya不等式 $\|f\|_{L^4}^2 \leq C\|f\|_{L^2}\|\nabla f\|_{L^2}$（2D特有）を組み合わせることで $u \in L^4_t L^4_x$ が得られ、これはSerrin条件 $2/4 + 2/4 = 1$（2D版で $2/p + 2/q \leq 1$）を満たします。3Dでは、エネルギー有界性はSobolev埋め込みにより $u \in L^{10/3}_t L^{10/3}_x$ を与え、$2/(10/3) + 3/(10/3) = 3/2 > 1$ となります。Serrin条件は超臨界性ギャップに正確に対応するマージンで成り立ちません。この構造的障害の詳細については、なぜナビエ–ストークスは難しいのかを参照してください。

滑らかな解は最高基準です。空間と時間の両方で無限回微分可能、特異点なし、角なし、不連続性なし。何度微分しても常にきちんとした答えが得られます。

外力なしの存在を問うA/Bは、すべての許容される滑らかな初期速度が、全空間または周期的な設定で大域的に滑らかな解を生むかを問います。これはClayの定式化の一部です。C/Dの破綻の構成では、許容される滑らかな外力も認められています。 関連項目： クレイ・ミレニアム賞問題

外力のない3次元ナビエ–ストークスでは、任意の許容される滑らかな初期データに対する大域正則性も、そのようなデータからの爆発例も確立されていません。発表された外力付きC/Dの構成は、この残る問いを解決しません。

局所的な描像は問題ありません。滑らかな初期データに対して、方程式はある時間区間で滑らかな解を生成します。流体は動き始め、数学は機能し、すべてがきれいです。問題はその後に何が起こるかです。解は永遠に滑らかなままか、それとも最終的に速度（またはその微分）が無限大になる特異点を発生させるか？

滑らか $\Rightarrow$ 強 $\Rightarrow$ 弱ですが、一意性の適用範囲は限定されます。滑らかな解は存在する間、同じデータを持つ唯一のLeray–Hopf弱解です。大域正則性が示されればこのクラス内で解が一致しますが、すべての分布的弱解が一致するわけではありません。これは外力なしの正則性の問いであり、Clay問題全体や別の賞金の保証ではありません。

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

Clayの選択肢A（Fefferman 2000）は、$f=0$ として次のように問います：任意の発散なし $u_0 \in C^\infty(\mathbb{R}^3)$ で、$|\partial^\alpha u_0(x)| \leq C_{\alpha K}(1 + |x|)^{-K}$ をすべての $\alpha, K$ に対して満たすものについて、ナビエ–ストークス方程式を満たす $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ と $p \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ で、$\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$ がすべての $t \geq 0$ に対して成り立つものは存在するか？

外力のない破綻の構成とは、上記のクラスの $u_0$ を見つけ、$f=0$ のもとで、そのようなエネルギー有界の大域的な滑らかな解が存在しないことを示すことです。これは今なお研究上の可能性であり、Clayの選択肢Bを意味するものではありません。

知られていること：

• 局所存在：$u_0 \in H^s(\mathbb{R}^3)$（$s \geq 1/2$）に対して、一意な局所温和解/強解が $[0,T^*)$ 上に存在します（ある $T^* > 0$ は $\|u_0\|_{H^s}$ に依存）。この解はすべての正の時刻 $t > 0$ で滑らかです。$T^* < \infty$ ならば、$\|u(t)\|_{H^s} \to \infty$ が $t \to T^*$ のとき成り立ちます。
• 小さなデータの大域的存在：$\|u_0\|_{\dot{H}^{1/2}}$（あるいは $\|u_0\|_{L^3}$、$\|u_0\|_{BMO^{-1}}$）が普遍定数より小さければ、解は大域的で滑らかです。主要な文献：$\dot{H}^{1/2}$（Fujita-Kato 1964）、$BMO^{-1}$（Koch-Tataru 2001）、また $L^3$ における類似の結果（Kato 1984）。
• 弱解-強解の一意性：$[0,T]$ 上に強解が存在すれば、同じ初期データを持つすべてのLeray-Hopf弱解は $[0,T]$ 上でそれと一致します。これはSerrin (1962)によって確立され、後続の研究で精密化されました。正則性を証明することがLeray-Hopfクラス内での一意性も決定することを意味します。

滑らか $\Rightarrow$ 強 $\Rightarrow$ 弱ですが、一意性の適用範囲は限定されます。滑らかな解は存在する間、同じデータを持つ唯一のLeray–Hopf弱解です。大域正則性が示されればこのクラス内で解が一致しますが、すべての分布的弱解が一致するわけではありません。これは外力なしの正則性の問いであり、Clay問題全体や別の賞金の保証ではありません。 関連項目： 外力なしの大域正則性問題

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

弱解が存在し流体を記述するのなら、なぜ滑らかさを気にするのでしょうか？

理由は三つあります。

第一に、一意性。物理学は一つの答えを要求します。流体の初期状態を与えられたら、次に何が起こるかを正確に、厳密に、曖昧さなく言えるべきであり、可能性のメニューを差し出して肩をすくめるべきではありません。弱解は一意性を保証しません。同じ出発点から複数の弱解が現れる可能性があり、物理的な流体がどれに従うかはわかりません。一意性が崩れれば、方程式はそのレベルの正則性での決定論的予測力を失います。

第二に、数値計算の信頼性。地球上のすべてのCFDシミュレーションは、これらの方程式を近似的に解いています。一般的な滑らかさと一意性の理論がなければ、格子の細分化がすべての3D設定で単一の物理的に妥当な解に収束することを保証する定理はありません。あるマシンでは一つの弱解に収束し、別のマシンでは別の弱解に収束する可能性があります。

第三に、モデルの限界。 特異点は、理想化された連続体モデルで大域的に滑らかな解が成立しなくなることを意味します。現実の流れがその領域に達するか、どの追加的な物理が重要かは別の問いです。数学的な破綻だけが新しい物理の実証的証拠になるわけではありません。

大域Leray–Hopf解の存在と大域正則性の隔たりは、外力のない3次元系で重要な問いとして残ります。Clayの定式化は外力付きの破綻も認めており、授賞の評価はこれらの研究課題とは別です。 関連項目： なぜ渡るのがこれほど難しいのか？

関連項目： 証明戦略

3D非圧縮ナビエ–ストークス方程式の解の階層は以下の通りです：

$$\text{smooth} \subset \text{strong} \subset \text{Leray-Hopf weak} \subset \text{distributional weak}$$

（smooth＝滑らかな解、strong＝強解、Leray-Hopf weak＝Leray-Hopf弱解、distributional weak＝分布的弱解）

各レベルで知られていること：

大域Leray–Hopf解の存在と大域正則性の隔たりは、外力のない3次元系で重要な問いとして残ります。Clayの定式化は外力付きの破綻も認めており、授賞の評価はこれらの研究課題とは別です。 核心的困難：エネルギー不等式は $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$ を与え、これは臨界スケーリング $\dot{H}^{1/2}$ より半微分低いです。この超臨界性ギャップを橋渡しすることは、大域的正則性を証明することと同値です。

弱解–強解の一意性によって解が一致するのはLeray–Hopfクラス内であり、すべての分布的弱解ではありません。 より正確には：与えられた $u_0 \in C^\infty$ に対して滑らかな解 $u$ が $[0,T]$ 上に存在すれば、同じデータを持つすべてのLeray-Hopf弱解は $u$ と $[0,T]$ 上で一致します。したがって大域的滑らかさ $\Rightarrow$ Leray-Hopfクラス内での大域的一意性。

逆に、Leray-Hopf弱解の非一意性は、滑らかな解が大域的に持続しないことを意味します（滑らかな解は一意性を強制するため）。凸積分に関する最近の研究（オイラー方程式に対するDe Lellis-Székelyhidiに基づき、Buckmaster-Vicol 2019がLeray-Hopf正則性以下のナビエ–ストークスの非一意弱解を構成するように拡張）は、分布的弱解が高度に非一意でありうることを示しています。この非一意性がLeray-Hopfクラスに及ぶかどうかは、外力なしの大域正則性問題に直接的な含意を持つ重要な未解決問題です。

このギャップに挑む証明戦略の現状、およびそれがかくも困難である構造的理由については、なぜナビエ–ストークスは難しいのかを参照してください。