Critical Ledgers and Scale-Defect Cascades for Navier-Stokes

技術的要約：Navier–Stokesにおけるクリティカル・レジャー（重要台帳）とスケール欠陥のカスケード

問題提起
本論文は、三次元非圧縮性ナビエ–ストークス方程式の正則性の問題に取り組んでいる。具体的には、「潜在的な特異軌道」が、Caffarelli–Kohn–Nirenberg (CKN) 理論によって定義される減衰領域（decay basins）への進入を回避するメカニズムを調査している。単にスケール不変な量が大きくなるかどうかを問うのではなく、本論文は次のように問うている：もしある軌道が、多くの連続するスケールにおいて減衰領域の外側に留まり続けるとしたら、何が繰り返しこの「クリティカルな悪癖（critical badness）」を維持し続けているのか？ 本研究の目的は、特異な振る舞いの持続性を有限スケールの会計報告へと変換することであり、不規則な解が存在するために必要とされる条件（供給 vs 税）を特定することにある。

手法
本論文は、PDE（偏微分方程式）の評価から代数的な欠陥複体（defect complexes）、そして最終的には条件付き有限ウィンドウ・テストへと移行する、三部構成の建築的アプローチを採用している。

1. 有限スケール・レジャーの導出 (Part I):

   • 著者らは、スケール $r_k = \theta^k r_0$ を持つ一連の適合的な放物型ウィンドウ $Q_k$ を定義する。
   • スケール臨界的なエネルギー、速度、および圧力ノルムを表す「リザーバーの悪癖（reservoir badness）」量 $B_k = A_k + C_k + D_k$ を導入する。
   • 局所エネルギー不等式、三次補間、および圧力減衰の評価を組み合わせることで、以下の離散的な「レジャー不等式（ledger inequality）」を導出する：
     $$B_{k+1} - (1-\lambda)B_k \leq \text{Sup}^{\text{full}}_k - \text{Tax}^{\text{full}}_k + \text{Leak}^{\text{full}}_k$$
   • ここで、**供給（Supply）**項は非線形フラックス、圧力輸送、および補間増幅から生じる。**税（Tax）**項は粘性散逸、既存の座標の期待減衰、および調和圧力の減衰から生じる。**漏出（Leakage）**は、カットオフおよびウィンドウ遷移の誤差を考慮する。

2. 欠陥カスケードの解釈 (Part II):

   • レジャーの座標は、有限スケールの「欠陥パッケージ（defect package）」として再解釈される。潜在的な特異性は、静的な目に見えない欠陥としてではなく、「収益的・再現可能・検証済み（Profitable Reproducible Verified: PRV）」メカニズムとしてモデル化される。
   • PRVメカニズムは、以下の4つの基準を満たさなければならない：
     1. 再現可能（Reproducible）: 次のスケールにおいて適合的な欠陥状態を生成できること。
     2. 収益的（Profitable）: 累積的な「未課税の供給（Supply minus Tax）」が、正の密度を持つスケールの集合上で正であること。
     3. 検証済み（Verified）: ナビエ–ストークスの残差方程式（運動量、圧力、エネルギー）を満たすこと。
     4. 不可視（Invisible）: 「クリーニング（cleaning）」のアーティファクト（カットオフ、調和ゲージ）を除いて、特定の観測チャネル（圧力、フラックス、エネルギー、トレース）によって検知されないこと。
   • 本論文は「ファントム（phantom）」（不可視の欠陥）という概念を導入し、「漸近的ファントム（観測性の退化）」と「派生的ファントム（局所的なクリーニングの結合の失敗）」を区別している。

3. 有限ウィンドウ・テストと条件付きプログラム (Part III):

   • 著者らは、問題を有限次元の商ギャップ問題として定式化している。彼らは、局所化および調和圧力誤差が除去された「クリーンな周期ウィンドウモデル」を定義する。
   • 非ゲージ欠陥の商空間に制限された観測写像（observability map）に対して、正の下限（スペクトルギャップ）が存在することを証明することが、特異性の不在と等価であることを確立する。
   • 線形化されたギャップがクリーンモデルに存在する場合、誤差予算（非線形剰余、圧力の裾、切断）が十分に小さければ、局所化モデルにおいてもそれが持続することを示す摂動評価を導出する。

主要な貢献と結果

• 有限スケール・レジャー定理: 中心となる無条件の結果は、クリティカルな悪癖が生存するための必要条件である。もし $B_k \geq \varepsilon$ が $N$ 個のスケールにわたって続くならば、以下が成立する：
  $$\sum_{k=0}^{N-1} (\text{Sup}^{\text{full}}_k - \text{Tax}^{\text{full}}_k)_+ \geq \lambda \varepsilon N - B_0 - \sum_{k=0}^{N-1} \text{Leak}^{\text{full}}_k$$
  これは、持続的な悪癖には、重大な漏出、あるいは正の累積的な「未課税の供給」のいずれかが必要であることを意味する。

• 動的障害の言語: 本論文は、焦点を静的なノルムの増大から動的なメカニズムへと転換している。反例は「収益的・再現可能・検証済みメカニズム」でなければならないと主張している。これにより、正則性の問題を、そのようなメカニズムの探索（または排除）へと再構成している。

• 条件付きアンチ・ファントム定理:

  • 厳密な商基準: 有限次元の設定において、不可視の非ゲージ欠陥が存在しないことは、商空間 $D/\text{Im}(G)$ 上で観測写像が強コア（coercive）であることと等価である。
  • スケール鎖の退化: 「結合（gluing）」観測量（$d_{k+1} \approx d_k$ であるかどうかを確認するもの）は、スケール深度が増すにつれて退化すること（$\mu_L \sim \pi/L$）を示しており、局所的なリザーバー、散逸、およびフラックスのテストが必要となる。
  • 正の錐（Positive-Cone）の排除: 定理 22.4 は、クリーンな周期ウィンドウにおいて、正のレイノルズ共変性を持つナビエ–ストークス実現可能な欠陥が、圧力、フラックス、および正のエネルギー・チャネルのすべてに対して同時に不可視であることはあり得ないことを示している。

• 結合の障害: 本論文は、すべての有限スケールにおける局所的な正則性が、必ずしもグローバルな正則性を意味しないことを強調している。これは、「派生的結合の障害（derived gluing obstructions）」（局所的なクリーニングが適合的なグローバル・ファミリーを形成できないこと）に起因する。これにはホモロジー代数の概念（派生逆極限）を用いている。

意義と主張
本論文は、その範囲と意義について次のように明言している：

• 正則性の証明ではない: 本研究は、ナビエ–ストークスの大域的正則性を証明するものでも、特異解を構成するものでもない。
• 必要メカニズムの定理: 主な貢献は「有限スケールへの還元」である。それは、持続的な障害がどのような性質のオブジェクトであるべきかを孤立させている：すなわち、収益的であり、再現可能であり、NS（ナビエ–ストークス）実現可能であり、かつ税に対して不可視であるメカニズムである。
• 研究フレームワーク: 本論文は、将来の研究を整理するための「レジャー（台帳）」および「欠陥カスケード」の語彙を提供している。それは、以下のいずれかのプログラムを示唆している：
  1. すべてのNS実現可能な供給は一様に課税されることを証明する（PRVメカニズムを否定する）。
  2. 検証済みのPRVメカニズムを構築する（反例を見つける）。
• 計算経路: 有限ウィンドウの商定理は、コンピュータ支援による探索のための厳密な枠組みを提供する。低損失の候補（ニア・ファントム）を探索し、それらをニュートン・カントロヴィッチ推定によって証明するか、あるいは商ギャップの下限によって排除することができる。

要約すると、本論文は「減衰の失敗」という曖昧な概念を、精密な会計恒等式へと置き換えている。もし特異性が存在するならば、それは「未課税の供給」または「漏出」によって支払われなければならないと主張しており、そのような支払いメカニズムがナビエ–ストークス方程式の制約内で存在し得るかどうかをテストするための代数的および解析的なツールを提供している。