Exact mean-covariance dynamics of the Weber field in the stochastic Lagrangian representation of the 3D Navier-Stokes equations

技術要約：3次元ナビエ・ストークス方程式の確率論的ラグランジュ表現におけるウェーバー場の正確な平均–共分散力学

問題設定
本論文は、3次元トーラス $\mathbb{T}^3$ 上の非圧縮ナビエ・ストークス方程式を調査している：
$$\partial_t u + (u \cdot \nabla)u - \nu\Delta u + \nabla p = 0, \quad \text{div } u = 0.$$
この解析は、速度場 $u$ を、すべてのラグランジュ・ラベルに共通の単一のブラウン運動 $W$ によって駆動される確率的フロー $X_t$ の逆 $A_t = X_t^{-1}$ を用いた、確率的ウェーバー場の期待値の射影として表現する、コンスタンティン・アイヤー（Constantin–Iyer）の確率的ラグランジュ表現に基づいている：
$$u(t) = \mathcal{P} \mathbb{E}\left[ (\nabla A_t)^\top (u_0 \circ A_t) \right].$$
中心となる問題は、変形勾配の期待値 $\mathbb{E}[\nabla A_t]$ 単独で解の正則性を制御できるのか、それとも軌道に沿ってサンプリングされた初期データとの相関が不可欠であるのかという点である。本論文は、この表現の統計的モーメントを記述する、正確で閉じた決定論的方程式を導出し、正則性のメカニズムと潜在的な障害を理解することを目的としている。

手法
著者は、厳密な確率解析の手法、具体的には確率的フロー $A_t$ と関連する変形勾配 $J_t = \nabla A_t$ に対するイトー・ウェントセル（Itô–Wentzell）公式およびイトーの積の法則を用いている。

1. 分解: ウェーバー場の期待値は、平均の積と中心化された共分散へと分解される：
   $$\mathbb{E}[J_t^\top V_t] = M^\top N + R,$$
   ここで $M = \mathbb{E}[J_t]$、$N = \mathbb{E}[V_t]$、そして $R = \mathbb{E}[(J_t - M)^\top (V_t - N)]$ である。
2. 閉鎖: これらの成分に対して演算子 $D_u = \partial_t + u \cdot \nabla - \nu\Delta$ を適用することで、著者はこれらの決定論的な移流拡散方程式を導出する。主要な構造的観察として、すべてのラグランジュ・ラベルが同一のブラウン運動の経路によって駆動されるため、二次共分散項がラプラシアンへと崩壊し、無限のモーメント階層の出現を防いでいる。
3. 2点解析: 分離変数 $r = x - y$ における共分散の挙動を調査するために、解析を2点統計へと拡張する。
4. 反例と剛性: 様々な正則性仮説の限界をテストするために、剪断流（shear flows）や振動積分を用いた明示的な反例を構築し、古代解（ancient solutions）に対するリウヴィル型の議論を用いて剛性の結果を確立する。

主要な貢献および結果

1. 共分散に関する閉じた決定論的方程式
主要な理論的貢献は、共分散場 $R$ に関する閉じた方程式（定理3.1）の導出である：
$$D_u R + G^\top R = 2\nu \sum_{k=1}^3 (\partial_k M)^\top (\partial_k N), \quad R(0) = 0.$$
この方程式は変数 $(u, M, N, R)$ において閉じており、より高次のモーメントを必要としない。同様に、変形分散テンソル $Q = \mathbb{E}[(J_t - M)^\top (J_t - M)]$ に対しても閉じた方程式が導かれる（定理3.3）。これらの方程式は、ブラウン運動による強制力が、ラプラシアンを通じて共分散を散逸させると同時に、平均の勾配を含むソース項を通じて共分散を生成することを示している。

2. エネルギーおよび正則性境界

• エネルギーバランス: 共分散の正確なエネルギー／生成バランスが確立されており（命題3.4）、歪み項（strain term）が確定した符号を持たないため、単純なエネルギー評価が困難であることを示している。
• 平均変位: 平均変位 $\ell = \mathbb{E}[A_t] - x$ は、強制熱方程式を満たす。$\ell$ に対する無条件の $L^2$ 境界は、初期エネルギーのみによって制御されることが証明されている（定理5.1）。
• ヘルダー境界: 無条件の $L^2$ 境界は存在するものの、平均変形 $M$ に対する無条件のヘルダー境界は、$t=0$ まで一様に成立しないことが示されている。具体的には、厳密な剪断解において、$M$ のヘルダーノルムは $t \to 0$ の際に爆発する（命題5.2）。

3. 「平均のみ」による制御への妨げ
本論文は、以下の潜在的な証明戦略を系統的に排除している：

• ノルムの分離: 期待される変形勾配のノルムは、滑らかな発散ゼロのドリフトに対しても、期待される勾配のノルムを制御しない（命題6.1, 6.3）。
• エネルギーのみの境界: 初期エネルギーが固定されていても、ヘルダーノルムの平均変形が、初期データのスケールが縮小するにつれて任意に大きくなるような、滑らかなグローバル・ナビエ・ストークス剪断解が存在する（命題6.4）。これは、$\sup_t \|M(t)\|_{C^\alpha} \leq F(\|u_0\|_{L^2})$ という形式の推定を否定するものである。
• 空間的 vs 時間的正則性: 平均の空間的ヘルダー境界は、パラボリック・カンパナト（Campanato）減衰を意味しない（命題6.5）。これは、時間的な振動が空間的な滑らかさと独立して存続し得るためである。

4. 決定的な基準と剛性

• セリン–ウェーバー商: 著者はウェーバー場のゲージ不変な商ノルム $\|[\bar{F}]\|_{L^q/\nabla W^{1,q}}$ を定義し、それが速度のセリン・ノルムと等価であることを証明している（定理7.1）。この商がクリティカルなセリン範囲において有限であることは、グローバルな正則性を意味する。
• アフィン剛性: 平均座標 $\Theta$ がランク $\geq 1$ のアフィン関数である古代適合解に対するリウヴィル型定理が証明されている。タイプI（Type-I）境界の下では、そのような解は自明（$u \equiv 0$）でなければならない（定理7.2）。

意義および主張
本論文は、ナビエ・ストークス方程式のグローバルな正則性問題に関する主張は一切行っていないことを明示している。その意義は以下の点にある：

1. 構造的明晰さ: 確率的ラグランジュ表現における正確で閉じた決定論的枠組みを提供し、共分散 $R$ と分散テンソル $Q$ の具体的な役割を分離したこと。
2. 障害の境界画定: 直感的なアプローチ（例えば、平均変形のみによって解を制御しようとしたり、エネルギー境界のみを使用したりすること）が不十分であることを、明示的に特定し証明したこと。
3. 未解決問題: 本論文は、これらの構造的結果を正則性の証明へと転換するために必要な具体的なステップを特定して締めくくっている。これらには、正の時間における平均の境界の確立、ナビエ・ストークス解の特定の構造を利用した自己整合的な共分散の閉鎖、およびランクゼロの剛性問題の解決が含まれる。

総括すると、本研究は平均–共分散力学の厳密な「地図」を提供しており、確率的表現が正確で閉じた方程式をもたらす一方で、グローバルな正則性への道は、無条件の境界だけでは解決できない、平均変形と共分散構造の相互作用に関連する非自明な障害を克服する必要があることを示している。