Stability Framework for the Singularity of the Euler Equations on $\mathbb{R}^3$

技術要約：$\mathbb{R}^3$ におけるオイラー方程式の特異性に関する安定性フレームワーク

問題設定
本論文は、流体力学における中心的な未解決問題である、「滑らかな初期データが3次元非圧縮オイラー方程式において有限時間の特異性（爆発）を引き起こし得るか」という問題に取り組んでいる。境界のある条件下や非滑らかな初期条件の下では、オイラー方程式における有限時間の爆発は確立されているが、非有界領域 $\mathbb{R}^3$ 上の滑らかな初期データから生じる特異性の存在は依然として未証明である。この問題を解決するための一般的な戦略は、近似的な特異プロファイルを構築し、その非線形安定性を証明することである。著者らは、随伴する数値研究において物理情報ニューラルネットワーク（PINNs）を用いて高精度な近似自己相似プロファイルが発見されたものの、$\mathbb{R}^3$ 上におけるこのプロファイルの厳密な安定性証明はまだ確立されていないことを指摘している。具体的な課題は、安定性に寄与する典型的な性質である「グローバルな流出（outgoing）特性」が欠如していること、および、摂動を集中させる原因となる経向流（meridional flow）における非自明な不動点が存在することにある。

手法
本論文は、随伴研究で発見された近似自己相似プロファイルの非線形安定性を証明するための厳密なフレームワークを確立するものである。手法は以下の段階を経て進行する：

1. 近似プロファイルの表現: 数値的に発見されたPINNプロファイルを、区分的多項式スプライン表現に変換する。この解析的な形式により、厳密な微分および、区間演算（Arb ライブラリを使用）を用いた残差とノルムの厳密な評価が可能となり、数値誤差（例：$L^2$ において $O(10^{-5})$）を確実に抑えることができる。
2. 動的再スケーリングと線形化: 解を、特異点を固定されたスケールに保持するために拡大または収縮する移動フレーム内で捉える、動的再スケーリング定式化を採用する。これにより、近似プロファイルは再スケーリングされたフレームにおける定常状態となる。安定性解析は、この定常状態の周りでの再スケーリングされたオイラー方程式の線形化を行う。
3. スケール整合的な変数: 速度と渦度の異なるスケーリング挙動を扱うため、解析はスケール整合的な摂動変数、すなわち渦度摂動 $\delta\omega$ および速度摂動の勾配 $\nabla \delta u$ を用いて定式化される。
4. 変調と正規化: プロファイルの平行移動と振幅を固定するための変調パラメータを導入し、対称モード（中立方向）を安定性解析から事実上排除する。これにより、安定性の問いが、これらの対称性に直交する真の摂動に関するものとなることが保証される。
5. 重み付きエネルギー推定: 証明の核心は、完全なエネルギー汎関数 $E_k^2 = E_0^2 + \mu_k H_k^2$ の構築にある。これは以下を組み合わせたものである：
   • 低次重み付きエネルギー ($E_0$): 線形減衰を確立するために、プロファイルに適応した特異な重み関数 $\Phi_\omega, \Phi_r, \Phi_z$ を使用する。
   • 高次重み付きエネルギー ($H_k$): 非線形評価を完結させるために必要な、微分の制御および点値の制御のための高次重みを使用する。
6. コンピュータ支援による証明（サーティフィケーション）: 証明は、無限次元の安定性問題を有限次元の最適化問題へと還元する。著者らは、線形減衰、非線形相互作用、およびPDEの残差に関する明示的な解析的評価を導出する。これらの評価は、一連の明示的な定数（行列の境界、補間定数、楕円作用素のノルムなど）に依存する。このフレームワークでは、これらの定数を区間演算および証明済み行列境界を用いて厳密に認証する必要がある。
7. 形式化: 論文では、記号的な導出と証明ステップを定理証明器であるLeanで形式化する並行作業（LeanPDE）についても言及されており、これらを証明済みの数値計算と結合させている。

主要な貢献

• 安定性フレームワーク: $\mathbb{R}^3$ 上の3次元オイラー方程式の候補となる自己相似爆発プロファイルの非線形安定性を証明するための、詳細かつモジュール化されたフレームワークの構築。
• 有限検証への還元: 安定性の証明が、有限個の明示的な定数と評価の厳密な認証へと還元できることを示す。これにより、証明の負担を定性的解析から定量的検証へと移行させている。
• 非流出流の処理: グローバルな流出特性を持たない設定に対し、フローを不動点から遠ざけるためのより弱い局所条件を用い、精緻な高次減衰推定を用いることで、安定性技術を適応させることに成功した。
• スプラインに基づく認証: 数値プロファイルを区分的多項式スプラインで表現することで、PDEの残差および微分の厳密な評価を可能にし、これは厳密な区間演算による認証に不可欠なステップである。
• 二半径安定性定理: 低次エネルギーと高次エネルギーに対して個別の境界を与える、一般化された安定性定理（定理2）を提供し、認証プロセスにおける柔軟性を提供する。

結果
本論文は、証明を完結させるために必要なすべての定数の最終的な数値的認証を完了したと主張するものではない。代わりに、そのような証明のための「アーキテクチャ」を確立している。

• 理論的完全性: 明示的な定数（減衰マージン、非線形境界、残差ノルム）が特定の不等式（例：$\Lambda_{stab} > 0$）を満たすことが認証されれば、再スケーリングされたプロファイルは非線形安定である、ということを著者らは証明している。
• 条件的安定性: これらの定数の厳密な認証を条件として、本フレームワークは再スケーリングされたプロファイルが安定であることを保証する。さらに、動的再スケーリング機構を通じて、この安定性は、元の物理変数において有限時間に特異性を発達させる許容可能な解の存在を意味する。
• 残差境界: スプライン表現によるプロファイルは、残差が $L^2$ において $O(10^{-5})$、$L^\infty$ において $O(10^{-3})$ で抑えられる定常状態プロファイル方程式を満たすことを報告している。これは元のPINNの結果と同等である。

意義
本論文は、滑らかな初期データを持つ3次元オイラー方程式の有限時間爆発を証明する上での主要な障害は、現在、概念的なものではなく計算的および定量的なものであると主張している。問題を検証可能な有限の評価の集合へと還元する厳密なフレームワークを提供することで、著者らは完全な証明への道筋は明確であると論じている。本研究は、数値的発見（PINNs）と厳密な数学的証明の間の架け橋となる、「コンピュータ支援による証明」のパラダイムにおける決定的なステップを象徴している。その意義は、複雑な数値的発見である特異プロファイルの安定性が、体系的かつ検証可能な解析の対象となり得ること、そして、残りの定数が適切に認証されれば、ミレニアム懸賞問題の一つを解決する可能性があることを示した点にある。論文は、議論のモジュール構造により、基礎となる安定性メカニズムを変更することなく、特定の評価の精緻化や重みの調整といったターゲットを絞った改良が可能であることを強調している。