[论文解读] Distribution Dependent SDEs with Singular Coefficients

Xing Huang, Feng‐Yu Wang|arXiv (Cornell University)|May 4, 2018

Stochastic processes and financial applications参考文献 13被引用 3

一句话总结

该论文在可积性条件下，针对具有奇异系数的分布依赖SDE，建立了存在性与唯一性，将Krylov估计和Zvonkin变换推广至McKean-Vlasov框架。在Dini连续性条件下，推导出梯度估计与对数Harnack不等式，将经典结果推广至分布依赖情形，并给出了Wasserstein距离与时间依赖系数的新定量界。

ABSTRACT

Under integrability conditions on distribution dependent coefficients, existence and uniqueness are proved for McKean-Vlasov type SDEs with non-degenerate noise. When the coefficients are Dini continuous in the space variable, gradient estimates and Harnack type inequalities are derived. These generalize the corresponding results derived for classical SDEs, and are new in the distribution dependent setting.

研究动机与目标

• 将Krylov的估计与Zvonkin的变换推广至具有奇异系数的分布依赖SDE。
• 在系数的可积性与Dini连续性条件下，建立McKean-Vlasov SDE的存在性与路径唯一性。
• 针对关联的Fokker-Planck方程，在分布依赖设定下推导梯度估计与对数Harnack不等式。
• 将经典SDE结果推广至非马氏、分布依赖框架，且在更弱的正则性假设下成立。

提出的方法

• 提出一种新的分布依赖SDE的Krylov型估计，证明在漂移与扩散系数满足可积性条件时，其矩有界性。
• 通过逼近论证与随机过程的弱收敛性，构造弱解。
• 应用Zvonkin变换识别两个解的分布，借助经典SDE技巧实现路径唯一性。
• 利用Girsanov定理与鞅表示，通过时间正则化耦合与熵界推导对数Harnack不等式。
• 推导出涉及Wasserstein距离 $\mathbb{W}_2(\mu_0, \nu_0)$ 与时间依赖权函数 $\zeta_s$ 的关键估计，实现熵控制。
• 利用Young不等式与指数矩界控制Girsanov变换中的Radon-Nikodym导数 $R_t$。

实验结果

研究问题

• RQ1 Krylov估计能否推广至具有奇异系数的分布依赖SDE？
• RQ2 在何种条件下，分布依赖SDE的弱解会成为强解？
• RQ3 当漂移仅具有Dini连续性而非Lipschitz连续性时，能否推导出梯度估计与Harnack不等式？
• RQ4 初始分布之间的Wasserstein距离如何影响解半群的长期行为？
• RQ5 Zvonkin变换在证明分布依赖SDE的路径唯一性中起什么作用？

主要发现

• 在系数满足可积性条件与非退化噪声下，建立了分布依赖SDE强解的存在性与唯一性。
• 推导出新的Krylov型估计，确保形式为 $\mathbb{E}\left[\int_s^t f_r(X_r)\,dr \mid \mathscr{F}_s\right] \leq C(t-s)^\delta \|f\|_{L^q_p(T)}$ 的矩有界性，其中 $ (p,q) \in \mathscr{K} $。
• 证明了对数Harnack不等式：$ (P_{t_0}\log f)(\nu_0) \leq \log(P_{t_0}f)(\mu_0) + \frac{C}{t_0} \mathbb{W}_2(\mu_0, \nu_0)^2 $，并显式给出初始距离的依赖关系。
• 在漂移具有Dini连续性条件下获得梯度估计，改进了以往要求Lipschitz条件的结果。
• 通过耦合与熵控制推导出带幂次的Harnack不等式，常数依赖于 $ \|\sigma_t^{-1}\|_\infty $ 与Dini模 $ \phi $。
• Radon-Nikodym导数 $ R_t $ 满足 $ \mathbb{E}[R_t \log R_t] \leq \frac{C}{t_0} \mathbb{W}_2(\mu_0, \nu_0)^2 $，确保一致可积性与路径唯一性。