Logarithmic derivatives of variational and singular stochastic partial differential equations

技術要約：変分および特異確率偏微分方程式の対数微分

問題提起
本論文は、固定された時刻 $t$ における解 $X(t)$ の法則 $\mu_t$ の、状態空間 $H$ 内の所定の方向 $h$ に沿った対数微分（またはフォミン微分）の計算を扱う。有限次元においては、この微分はスコア関数および時間逆転ダイナミクスと密接に関連している。しかし、Gelfandの三重複列 $V \hookrightarrow H \hookrightarrow V^*$ 上に構成される変分SPDEの場合、無限次元の性質が主に2つの障害をもたらす：

1. フローの因子分解の失敗： 有限次元では、積分による部分計算のための被覆ベクトル場は、第1変分フロー（$Y^{-1}$）の逆数を用いて構成される。SPDEの場合、第1変分 $Y(t, r)$ は一般に $H$ 上の有界作用素の空間に属さず、その逆作用素や経路的な随伴作用素も標準的な変分フレームワーク内では利用できない。
2. 非有界な擬逆作用素： マルリアバン共分散作用素 $\gamma_t$ はトレースクラスであり、固有値はゼロに集積する。標準的なチホノフ正則化による被覆場の構成は、スコロホド積分の収束に必要な一様なマルリアバン・ソボレフ境界（$D^{1,2}$）を得るには不十分である。

本論文は、Röckner, Shang, および Zhang による完全局所単調条件を満たす方程式に対して、フローの反転を回避し、かつ正則化された被覆場の一様な境界を必要としない、対数微分の本質的な公式を導出することを目的としている。

手法
著者らは、焦点を生理的なフロー $Y$ から、解の直感的なマルリアバン微分 $\Phi_r := D_r X(t)$ へと移行させるフレームワークを開発している。その手法は、以下の4つの段階を経て進行する：

1. 抽象ヒルベルト空間フレームワーク： 問題はまず、可分なヒルベルト空間へと抽象化される。著者らは、被覆場 $u_h$ がスコロホド積分のドメインに存在し、かつマルリアバン行列 $T$ が $T u_h = h$ を満たすならば、対数微分は $-\mathbb{E}[\delta(u_h) | F]$ で与えられるというビスムト・フォミン恒等式（定理 2.24）を確立する。
2. ムーア・ペンローズ構成： フローを反転させる代わりに、被覆場はマルリアバン共分散のムーア・ペンローズ擬逆作用素を用いて構成される：$v_h(r) = \Phi_r^* \gamma_t^\dagger h$。この構成は、変数 $z = \gamma_t^\dagger h$ に関して線形である。
3. チホノフ正則化とトレース公式： $\gamma_t^\dagger$ の非有界性を扱うため、著者らはチホノフ正則化を用い、族 $v_h^{(\varepsilon)} = \Phi^* (\gamma_t + \varepsilon I)^{-1} h$ を検討する。彼らは、スコロホド積分 $\delta(v_h^{(\varepsilon)})$ が $\varepsilon \downarrow 0$ として $L^2(\Omega)$ において収束することを証明する。この極限は、「主項」（ヒルベルト・シュミット核の評価）と「補正項」（共分散のマルリアバン微分 $D_r \gamma_t$ を含むトレース積分）に分解される。
4. 変分SPDEへの特殊化： 抽象的な結果が、特定のSPDEの設定に適用される。鍵となる革新は、表現 $\Phi_r = Y(t, r) B(r, X(r))$ である。著者らは、写像 $z \mapsto \Phi_r^* z$ の線形性が、正則性の要求を $D^{1,4}_{loc}$ から $D^{1,2}$ へと下げる基底ごとの代入（定理 5.3）を可能にすることを検証する。これにより、逆フロー $Y^{-1}$ の必要性が回避される。補正項の収束は、「キャメロン・マーチン適合性」仮説によって確保される。これは、被覆場のグローバルな $D^{1,2}$ 境界を要求するのではなく、トレース積分が収束し、かつ優限定されていることを要求するものである。

主要な貢献と結果

• 本質的な対数微分公式： 本論文は、変分SPDEの対数微分 $\beta_h(X(t))$ の閉じた形式の表現を提供する。この公式は、第1変分フローの反転を必要とせず、完全に方程式の構造から得られるヒルベルト・シュミット・マルリアバン微分 $\Phi_r$ と共分散 $\gamma_t$ を通じて記述される。
  $$\beta_h(X(t)) = -\mathbb{E}[\delta_U(v_h) | X(t)]$$
  ここで $\delta_U(v_h) = M_h + C_h$ であり、$M_h$ は主項、$C_h$ はトレース補正項である。
• 無限次元の障害の解決： 本研究は、SPDE設定における2つの主要な困難を解決している：
  • $\Phi_r$ を直接扱うことで、$Y(t, r)^{-1}$ の必要性を排除した。
  • チホノフ正則化による $D^{1,2}$ 境界の失敗を、特定の優限定仮説の下でスカラー・トレース・レベルでの収束を証明することによって回避した。
• 特定の方程式への適用： 仮定は以下に対して検証されている：
  • 確率的 $p$-Laplacian： $p > 3$ の場合、ドリフトの微分可能性と優限定評価が直接検証される。$2 < p \le 3$ の場合、正則化された定式化が用いられ、公式は安定性仮説に基づいている。
  • 二次元ナビエ・ストークス方程式： 公式は許容方向の部分空間 $H^\sharp_t$ 上で成立する。この部分空間の $H$ における稠密性は未解決の課題である。
• 特異SPDEへの拡張： Bruned–Chandra–Chevyrev–Hairer (BCCH) フレームワークにおける特異SPDEに対し、スカラー・ペアリング $\langle u(t), \phi \rangle$ の法則に関する無条件の分布微分を導出している。真の対数微分（二次マルリアバン滑らかさと負のモーメント仮定が必要）の存在については、依然として未解決の問題であることが示されている。

意義と主張
本論文は、従来の有限次元の手法（フローの反転）が失敗する広範なクラスの準線形および特異SPDEに対して、対数微分を計算するための堅牢で本質的な手法を提供すると主張している。

• 本質的な性質： 公式は $\Phi_r$ と $\gamma_t$ という、方程式の構造によって提供される対象のみに依存しており、アドホックな密度正則性の仮定なしに適用可能である。
• 汎用性： 加法的ノイズを持つ線形方程式、半線形方程式、および準線形方程式（$p$-Laplacianのような）の扱いを、単一の変分フレームワークの下で統一している。
• 特異なケースに関する謙虚な姿勢： 特異SPDEに関して、著者らは、分布微分は無条件に得られるものの、真の対数微分（スコアの $L^2$ 可積分性を要求する）の存在は、開かれた問題である正則性仮定（二次マルリアバン滑らかさと負のモーメント）に依存することを明示している。
• 特異なケースに関する動的な主張の不在： 特異SPDEについては、得られた結果はスカラー・ペアリングの周辺法則に関する積分による部分計算の恒等式であり、時間逆転に関する動的な主張は一切行っていないことを明記している。

本研究は、有限次元近似が（必要な作用素特性を保持できない可能性があるため）機能しない状況において、Bismut–Fomin 型の公式を、完全局所単調なクラスのSPDEへと拡張するための基礎的なステップとして提示されており、法則の正則性や潜在的な時間逆転構造を分析するための道筋を示すものである。