[論文レビュー] Distribution-Dependent SDEs for Landau Type Equations

Feng‐Yu Wang|arXiv (Cornell University)|Jun 19, 2016

Stochastic processes and financial applications参考文献 18被引用数 7

ひとこと要約

本稿では、分布に依存する確率微分方程式（DDSDE）が均一なランダウ型方程式をモデル化するための強い解の存在および一意性を確立し、測度の変更によるカップリング技法を用いて、確率測度上の非線形半群における指数的収縮およびハルナック不等式を証明する。主な貢献は、Fokker-Planck-Kolmogorov方程式と分布に依存する係数を有するSDEを厳密に確立する確率的枠組みを構築し、$γ \in (0,1]$ のランダウ方程式に対して検証することである。結果は、初期密度の適切なモーメントおよび可積分性条件のもとで平衡状態への指数的収束を確認する。

ABSTRACT

The distribution-dependent stochastic differential equations (DDSDEs) describe stochastic systems whose evolution is determined by both the microcosmic site and the macrocosmic distribution of the particle. The density function associated with a DDSDE solves a non-linear PDE. Due to the distribution-dependence, some standard techniques developed for SDEs do not apply. By iterating in distributions, a strong solution is constructed using SDEs with control. By proving the uniqueness, the distribution of solutions is identified with a non-linear semigroup $P_t^*$ on the space of probability measures. The exponential contraction as well as Harnack inequalities and applications are investigated for the non-linear semigroup $P_t^*$ using coupling by change of measures. The main results are illustrated by homogeneous Landau equations.

研究の動機と目的

• 解の法則に依存する係数（ドリフトおよび拡散係数）を有する分布に依存する確率微分方程式（DDSDE）に対する強い解の存在および一意性を確立すること。
• 解の分布を確率測度上に作用する非線形半群 $P_t^*$ を用いて特徴づけること。
• カップリング技法を用いて、非線形半群 $P_t^*$ の長時間挙動を調査し、指数的収縮およびハルナック不等式を明らかにすること。
• 均一なランダウ方程式（$γ \in (0,1]$）に対してフレームワークを検証し、初期密度が $\int f_0(x)(f_0(x) + e^{|x|^\alpha})dx < \infty$ を満たす $\alpha > \gamma$ が存在することを条件とする。

提案手法

• 時間に依存する係数を有する制御されたSDEを用いた分布における反復により強い解を構築する。
• 測度の変更によるカップリングを用いて非線形半群 $P_t^*$ を分析し、ハルナック不等式および指数的収縮の導出を可能にする。
• ヤマダ＝ワタナベの原理を用いて、係数および初期法則に適切な条件下で弱解と強い解の存在・一意性を同等視する。
• 有限の $\theta$ 階モーメントを有する空間 $\mathscr{P}_\theta$ 上で Wasserstein 距離 $\mathbb{W}_\theta$ を用い、分布空間における収束を保証する。
• 反復近似を用いてDDSDEを固定された周辺分布を持つ通常のSDEに還元し、先行研究における弱解の存在および一意性結果を活用する。
• 均一なランダウ方程式（$\gamma \in (0,1]$）に対して、既知の弱解の存在結果を出発点としてフレームワークを検証する。

実験結果

リサーチクエスチョン

• RQ1 解の法則に依存する係数を有するDDSDEに対して、強い解を構築することは可能か？
• RQ2 解の分布に関連する非線形半群 $P_t^*$ は、Wasserstein 距離において指数的収縮を示すか？
• RQ3 カップリング技法を用いて、非線形半群 $P_t^*$ に対してハルナック不等式を導出できるか？
• RQ4 ランダウ方程式の設定において、平衡状態への指数的収束を保証する初期分布の十分条件は何か？
• RQ5 強い解および半群の性質に関する結果は、ランダウ方程式における既知の弱解の存在および一意性とどのように関係するか？

主な発見

• 係数が可測であり、適切な可積分性およびモーメント条件を満たす場合、初期分布が $\mathscr{P}_\theta$ に属する限り、DDSDE (1.7) は一意な強い解を有する。
• 解の分布は、解の法則を介して特定される確率測度上の非線形半群 $P_t^*$ に従って時間発展する。
• $L^\theta$-Wasserstein 距離において $P_t^*$ は指数的収縮を示し、初期測度の小さな摂動に対しても半群の安定性が保証される。
• 測度の変更によるカップリング法を用いて、$P_t^*$ に対してハルナック不等式を確立し、$P_t^*\mu$ の密度が $P_t^*\nu$ の密度に関して上界を提供する。
• 均一なランダウ方程式（$\gamma \in (0,1]$）に対しては、$\int f_0(x)(f_0(x) + e^{|x|^\alpha})dx < \infty$ を満たす $\alpha > \gamma$ が存在する条件下で、平衡状態への指数的収束が確認される。収束速度は初期測度に依存する。
• 一般には半群 $P_t^*$ はエルゴード的でない。これは、極限でのガウス分布が初期平均および分散に依存するためであり、$t \to \infty$ のときハルナック不等式の上界が消えないこととも整合する。