Coarse-Grained Resolution and Pressure-Flux Work Depletion for Navier-Stokes CKN Badness

技術的要約：Navier–Stokes CKNの「悪さ」に関する粗視化分解と圧力–フラックス仕事の枯渇

問題提起
本論文は、Caffarelli–Kohn–Nirenberg（CKN）理論の枠組みにおける、3次元非圧縮Navier–Stokes方程式の局所正則性問題を取り扱う。中心となる課題は、「CKN-bad（CKN的に悪い）」スケール、すなわちスケール臨界量 $\Psi(r)$（$L^3$ 速度ノルムおよび $L^{3/2}$ 圧力ノルムを含む）が大きくなる時空領域の挙動を理解することである。著者は、この局所正則性問題を、粗視化分解（フィルタリングされたスケールで可視なもの）とサブフィルタ残差（フィルタによって隠されているもの）という2つの明確な構成要素へと分解することを試みている。さらに、有限のスケール連鎖にわたってエネルギーがどのように転送、散逸、または逆散乱（バックスキャッター）されるかを決定するために、解像された場のエネルギー収支、特に符号付きの「結合圧力–フラックス仕事」分布 $G_\ell$ を調査する。

手法
本論文は、確率論的または数値的なヒューリスティクスを避け、空間的な粗視化（平滑化）と厳密なエネルギー恒等式に基づいた、厳密な数学的解析を採用している。

1. 空間的粗視化: 著者は、長さ $\ell > 0$ を持つ空間フィルタ $S_\ell$ を定義し、解像された速度 $U_\ell$ と圧力 $P_\ell$、およびレイノルズ応力テンソル $R_\ell = S_\ell(u \otimes u) - U_\ell \otimes U_\ell$ を生成する。
2. CKN量の分解: 完全なCKN量 $\Psi(r)$ は、解像された部分 $\Psi_\ell(r)$ と、サブフィルタ振動を表す残差部分 $\Omega_\ell(r)$ に分解される。
3. 有限連鎖の望遠鏡和: 解析は、半径 $r_k = \theta^k r_0$ を持つ隣接する放物型スラブ $Q_k$ の固定された幾何学的連鎖上で実行される。著者は、これらのスラブにわたる局所エネルギー恒等式の「望遠鏡的（telescoping）」な和を構成する。
4. 能動的仕事の抽出: 仕事の分布 $G_\ell$ が非負である、あるいは一定の符号を持つと仮定する代わりに、本論文では有限次元のテストプロファイルを用いて、非負の重みを構成的に抽出する。これにより、各スラブにおいて仕事が「前方（順方向）」であるか（散逸的）、あるいは「後方（逆方向）」であるか（バックスキャッター）を特定することが可能になる。
5. 圧力の分解: 圧力項は、リースの変換（Riesz transforms）を介した局所的な特異積分部分と、調和的なテイル（harmonic tail）に分割される。これにより、ゲージ不変性と調和的な寄与への仕事への影響を精密に制御することが可能となる。

主要な貢献および結果

1. 解像レマ（無条件）
第一の主要な結果は、完全なCKNの「悪さ」とその粗視化成分および残差成分との関係を示す代数的な不等式である：
$$\Psi(r) \leq 4\Psi_\ell(r) + 4\Omega_\ell(r)$$

• 意義: このレマは無条件であり、Navier–Stokes方程式、局所エネルギー不等式、または微小性の条件には依存しない。これは、あるスケールが「悪い（$\Psi$ が大きい）」場合、それは解像された場（$\Psi_\ell$）に現れているか、あるいは大きなサブフィルタ残差（$\Omega_\ell$）によって運ばれているかのいずれかであることを確立している。
• 含意: フィルタリングのみに基づく検出器は、サブフィルタ残差が定量的に大きくない限り、特異性を見逃すことはない。これにより、フィルタリングのアーティファクトによる「偽陰性（見落とし）」を防いでいる。

2. 有限連鎖の仕事枯渇定理
第二の主要な結果は、有限の連鎖のスラブにおける結合圧力–フラックス仕事 $G_\ell = \Pi_\ell + \nabla \cdot (P_\ell U_\ell)$ に関する厳密な恒等式である。

• 構成的抽出: 任意の有限連鎖に対して、各スラブ上に特定のテスト重み $\phi_k$ が存在することを証明し、仕事の大きさ $|W_k|$ が仕事分布の係数ノルムによって下限付けられることを示す。
• 望遠鏡不等式: 局所エネルギー恒等式を総和することで、以下の重み付き不等式が得られる：
  $$\sum_{k} w_k (W_k^+ + D_k) \leq E_0^- + \sum_{k} w_k |L_k| + \sum_{k} w_k W_k^-$$
  ここで、$W_k^+$ は前方仕事、$W_k^-$ は逆方向の仕事（バックスキャッター）、$D_k$ は解像された散逸、$L_k$ は局在化による漏れ（リーケージ）を表す。
• 意義: この定理は、「バックスキャッター（小スケールから大スケールへのエネルギー転送）」と「漏れ（テスト関数による境界でのエネルギー損失）」を厳密に考慮に入れている。これは、前方仕事と散逸が、初期運動エネルギー、漏れ、および逆方向の仕事によって「支払われている」ことを示している。

3. 条件付き検出器インターフェース
本論文は、これらの結果を条件付きの含意へと統合する。もし独立した「粗視化観測可能性（coarse observability）」の推定が存在する場合（すなわち、大きな解像された悪さ $\Psi_\ell$ が大きな能動的仕事係数 $A_k(G_\ell)$ を意味する場合）、枯渇定理が適用される。

• ギャップ: 本論文は、$\Psi_\ell \geq \epsilon \implies A_k(G_\ell) \geq c$ という含意は、ここでは証明されていないことを明示している。これは、圧力–フラックスの相殺、調和的な圧力のテイル、あるいはコヒーレントな低周波プロファイルによって失敗する可能性がある、別の困難なコンパクト性・剛性問題として特定されている。

4. 診断例と限界
著者は以下のことを示す例を提示している：

• 調和的な圧力（グローバルな意味でのゲージ）は、実質的な局所的仕事を行い、無視することはできない。
• 前方転送とバックスキャッターは、ともに粗視化された場において代数的に起こり得る。
• 圧力–フラックスの相殺により、小さな結合仕事 $G_\ell$ の中に大きな個々の成分が隠される可能性がある。

意義と主張
本論文は、Navier–Stokesの正則性問題に対する**有限スケールの粗視化障害計算（coarse-grained obstruction calculus）**を提供すると主張している。その主な貢献は構造的かつ代数的である：

1. 関心の分離: 「検出すること」（解像された悪さが大きな仕事を意味することの証明が必要）と、「エネルギーを計上すること」（厳密な枯渇定理によって扱われる）を明確に分離している。
2. 無条件の解像: 解像レマを通じて、CKN基準におけるサブフィルタ・スケールの曖昧さを排除している。
3. 厳密な計上: エネルギーフラックス、散逸、およびバックスキャッターの厳密な台帳を提供し、漏れや調和的なテイルを明示的に追跡している。

著者は、自身の研究を、検出器インターフェースに必要な「無条件の解像と固定連鎖の仕事恒等式」を孤立させるものとして控えめに位置づけている。本論文は、Navier–Stokesの正則性問題を解決したり、特異性が存在し得ないことを証明したりすることを目的としていない。むしろ、解像された仕事に基づく検出器が成功するか失敗するかを決定する正確な数学的条件を確立しており、残された困難は「粗視化観測可能性」のステップ（調和的なテイルや相殺などの静かなプロファイルを排除すること）にあることを浮き彫りにしている。