[論文レビュー] Bismut Formula for Lions Derivative of Distribution Dependent SDEs and Applications

Panpan Ren, Feng‐Yu Wang|arXiv (Cornell University)|Sep 17, 2018

Stochastic processes and financial applications参考文献 24被引用数 6

ひとこと要約

この論文は、Malliavin微分法を用いて、分布依存SDEのLions微分に関するBismut型公式を確立し、明示的な勾配推定と異なる初期分布を持つ解間のWasserstein距離の上限を可能にする。主な貢献は、半群構造の欠如や標準的公式 $P_t f(\mu) = \int P_t f(x)\mu(dx)$ の不成立に起因する課題を克服し、非退化・退化の両方のノイズの場合に有効な $L$-微分に関するBismut公式を提供することにある。

ABSTRACT

By using Malliavin calculus, Bismut type formulas are established for the Lions derivative of $P_tf(μ):=\mathbb E f(X_t^μ)$, where $t>0,$ $ f $ is a bounded measurable function, and $X_t^μ$ solves a distribution dependent SDE with initial distribution $μ$. As applications, explicit estimates are derived for the Lions derivative and the total variational distance between distributions of solutions with different initial data. Both degenerate and non-degenerate situations are considered. Due to the lack of the semigroup property and the invalidity of the formula $P_tf (μ)= \int P_tf(x)μ(d x)$, essential difficulties are overcome in the study.

研究の動機と目的

• 分布依存SDEに関連する半群 $P_t f(\mu) = \mathbb{E}[f(X_t^\mu)]$ のLions微分に関するBismut型公式を導出すること。ここで、遷移期待値は初期分布 $\mu$ に依存する。
• 半群性質の欠如と公式 $P_t f(\mu) = \int P_t f(x)\mu(dx)$ の不成立により、標準的手法が困難になる状況を克服すること。
• 異なる初期測度から出発する解の分布間の全 Variation 距離に関する、Lions微分と明示的な推定を提供すること。
• 分布依存SDEにおける非退化および退化の拡散係数に対し、Bismut公式の手法を拡張すること。

提案手法

• 関数的 Itô微分法の枠組みを用い、測度依存過程に対してMalliavin微分法を適用し、$P_t f(\mu)$ のLions微分に関するBismut型公式を導出する。
• ウィENER空間上での部分積分公式を応用し、Bismut-Elworthy-Liの公式を $L$-微分設定に適応する。
• 初期分布の摂動 $\mu^\phi = \mu \circ (\text{Id} + \phi)^{-1}$ を導入し、解の流れの微分を用いて方向微分 $D_\phi^L P_T f(\mu)$ を研究する。
• 微分作用素の随伴に関する重要な恒等式を確立する：$D_\phi^L P_T f(\mu) = \mathbb{E}[\langle \nabla f(X_T), \nabla_{\phi(X_0)} X_T \rangle] = \mathbb{E}[f(X_T) D^*(h)]$ であり、$D^*(h)$ は過程 $h$ のSkorohod積分である。
• 極限 $\varepsilon \to 0$ における微分公式の収束を示し、$\mathbb{E}|D^*(h^{\alpha^{\phi,s}}) - D^*(h)|^2 \to 0$ を証明し、条件付き期待値を用いて差 $f(X_T^{\phi,s}) - f(X_T)$ を制御する。
• 部分積分恒等式と極限議論を組み合わせることで、主なBismut公式 (2.16) を導出し、有界可測関数 $f$ に対して $P_T f$ の $L$-微分可能性を確立する。

実験結果

リサーチクエスチョン

• RQ1 分布依存SDEに関連する半群 $P_t f(\mu)$ のLions微分に対して、Bismut型公式を確立できるか？
• RQ2 半群性質が成り立たない場合に、$L$-微分の勾配推定と正則性特性をどのように導出できるか？
• RQ3 異なる初期分布を持つ解の間の $L$-微分とWasserstein距離に関する明示的上限は何か？
• RQ4 Malliavin微分法は、非マルコフ的かつ非半群的構造を示す分布依存SDEに対し、どのように適合可能か？

主な発見

• 有界可測関数 $f$ に対して、$P_t f(\mu)$ のLions微分に関するBismut型公式が確立され、$D_\phi^L P_T f(\mu) = \mathbb{E}[\langle \nabla f(X_T), \nabla_{\phi(X_0)} X_T \rangle]$ で与えられる。
• Skorohod積分 $D^*(h)$ を含む部分積分恒等式を用いて公式が導出され、$h$ は流れの微分から構成される。
• 有界可測関数 $f \in \mathscr{B}_b(\mathbb{R}^{m+d})$ に対して、$P_T f$ の $L$-微分可能性が証明され、従来の結果を一般の有界関数へと拡張する。
• 不等式 $\|D^L P_T f(\mu)\| \leq \sup_{\mu(|\phi|^2) \leq 1} \mathbb{E}[|D^*(h^\alpha)|]$ を用いて、$L$-微分ノルムの明示的推定が得られ、$D^*(h^\alpha) \in L^p(\mathbb{P})$ がすべての $p \in (1,\infty)$ に対して成り立つ。
• 導出された勾配推定と $L$-微分構造を用いて、異なる初期測度から出発する解の分布間の全 Variation 距離が推定される。
• 本手法は、非退化および退化の両方の拡散係数を効果的に取り扱い、半群構造の欠如や標準的公式 $P_t f(\mu) = \int P_t f(x)\mu(dx)$ の不成立という課題を克服する。