A Structural Audit of Navier-Stokes Obstruction Calculus

技術要約：ナビエ–ストークス障害カルキュラスの構造的監査

問題提起
本論文は、三次元非圧縮ナビエ–ストークス方程式における局所正則性問題を取り扱う。具体的には、「微小性の前段階における局所正則性問題」を調査する。すなわち、もし解が持続的なCaffarelli–Kohn–Nirenberg (CKN) の「悪さ」（スケール臨界量が増分ゼロに減衰しない状態）を保持している場合、どのような物理的または数学的メカニズムが、この「悪さ」を異なるスケール間で維持、隠蔽、転送、あるいは再生させているのかという問いである。著者は、この問いに答えるために設計された有限スケール・プログラムを監査しており、そこには様々な構造的ツール（台帳、欠陥分解、仕事の恒等式）が蓄積されているが、正則性の証明や特異点の決定的な排除には至っていない。

手法およびフレームワーク
本論文は「構造的監査」のアプローチを採用し、既存の有限スケールおよび有限ウィンドウ分解理論の論理的アーキテクチャを分析する。その手法は以下の通りである：

1. 分類： 「簿記」または「界面構造」（エネルギーや欠陥が発生する場所を整理するもの）と、「強制的な偏微分方程式（PDE）評価」（総損失が支払不可能である、あるいは障害が存在し得ないことを証明するもの）を区別する。
2. 分解分析： 先行研究で開発された特定のモジュール（有限スケール臨界台帳、粗視化された欠陥パッケージ、圧力・フラックスの仕事の恒等式、商によるクリーニングなど）を検討する。
3. 解明とボトルネックの特定： 全体としてのCKNの「悪さ」を「粗い悪さ」と「サブフィルター残差」に分離する補題を証明し、現在の検出器ベースのアプローチが、いかにして無条件に全「悪さ」を支配することに失敗しているかを実証する。
4. メカニズムの転換： 焦点は、抽象的な検出器の比較（例：単一成分近似）から、渦の伸長（vortex stretching）という固有の三次元メカニズムへと移行しなければならないと論じる。

主要な貢献および結果

1. 中心的なテーゼ：
   本論文は、既存の有限スケール・プログラムが、成功した**障害カルキュラス（obstruction calculus）ではあるものの、未だ正則性メカニズム（regularity mechanism）**にはなっていないことを確立する。開発されたツール（台帳、欠陥パッケージ、商定理）は、どこで「支払い」が必要となるか（例：漏出、圧力のテイル、あるいはバックスキャッターによるもの）を正しく特定するが、それ自体は、その価格が支払不可能であることを証明するものではない。これらは障害を排除するのではなく、障害を整理するものである。

2. 解明補題と検出器の限界：

   • 解明補題（Resolution Lemma）： 著者は、全CKNの「悪さ」が、「粗い悪さ」（フィルタリングされたスケールで検出可能）または「サブフィルター残差」のいずれかを意味することを証明する。
   • 無条件の支配の不在： 主要な結果として、符号付きの結合仕事検出器（圧力＋フラックス）が、CKNノルムを普遍的に上界で抑えるような、無条件の単一スケール支配は存在しないことを証明する。反例（定数速度場）は、検出器が消失している一方で、解が非ゼロのCKN量を持つことが可能であることを示している。
   • 沈黙のメカニズム： 本論文は、検出器を作動させることなくCKNの「悪さ」を存続させる6つの「沈黙のメカニズム」を特定した：サブフィルター残差、調和的な圧力のテイル、圧力・フラックスの相殺、コヒーレントな低周波流、バックスキャッター、および移動窓の崩壊。

3. 既存構造への批判：
   監査により、なぜ現在の構造が「壁」に突き当たっているのかが明らかになった：

   • 簡約 $\neq$ 閉鎖： 多くの結果は問題を有限ウィンドウの低次境界へと簡約するが、それ自体が困難なPDE評価である構造的入力（スケール一様なチャートの可視性など）に依存している。
   • 台帳 vs リャプヌフ： 臨界台帳不等式は会計上の定理であり、リャプヌフ関数ではない。それは、供給が「税金 ＋ 漏出」よりも常に少ないことを証明するものではない。
   • 有限 vs 一様： 有限ウィンドウにおける厳密性（コンパクト性によるもの）は、スケール一様な厳密性を意味しない。窓が変化するにつれて定数は退化する可能性がある。

4. 提案される新しい評価（「欠けている」リンク）：
   論文は、アーキテクチャを完成させるために必要な新しいPDE評価の具体的なリストを策定し、フィルタリングされた伸長–拡散評価を優先事項としている：

   • フィルタリングされた渦度： 適当な弱解は $\nabla \omega \in L^2$ を欠くため、本論文は空間的にフィルタリングされた渦度（$\Omega_\ell = \nabla \times S_\ell u$）を用いた定式化を主張する。
   • 伸長–拡散のバランス： 主要なターゲットは、以下の形式の評価である：
     $$V^+_{r,\ell} \leq (1-\varepsilon^*) P_{r,\ell} + \text{defects}$$
     ここで、$V^+$ は正の伸長項、$P$ はフィルタリングされた散逸であり、「欠陥（defects）」には方向の不整合、サブグリッド強制、漏出、および圧力のテイルが含まれる。
   • 条件的閉鎖： 論文は、制御された「沈黙集合」の外側で前方への仕事を抽出でき、漏出／バックスキャッターを制御でき、かつ沈黙集合を抑え込むことができれば、持続的な非CKN分岐は不可能であるという、抽象的な条件的閉鎖定理を証明する。

5. 修正された経路：
   論文は戦略の転換を提案する：

   • 旧経路： 検出器の幾何学 $\to$ 悪化スケールの計数。
   • 新経路： フィルタリングされた渦伸長メカニズム $\to$ 伸長–拡散評価 $\to$ 悪化スケールの計数 $\to$ 有限ウィンドウによる認証。

意義および主張
本論文の意義は、現在の正則性プログラムにおける失敗の正確な地点を診断している点にある。検出器の言語や簿記をさらに洗練させるだけでは不十分であると主張している。むしろ、分野には、潜在的な特異性の維持メカニズム、具体的には、フィルタリングされた設定における渦の伸長と拡散のバランスに直接作用する、真のPDE評価が必要である。

著者は、既存のフレームワークは障害のチャネルを特定するための精密な「簿記」システムを提供しているが、それを真の正則性メカニズムへと変えるためには、正の伸長項とサブグリッド効果に対する「強制的な制御」によって拡張されなければならないと、謙虚に結論づけている。本論文は正則性を証明するものではない。むしろ、現在の分解理論を、障害を排除できるメカニズムへと転換させるために満たされるべき必要条件（「次の必須ターゲット」）を定義するものである。