[论文解读] Distribution Dependent Reflecting Stochastic Differential Equations

Feng‐Yu Wang|arXiv (Cornell University)|Jun 24, 2021

Stochastic processes and financial applications参考文献 29被引用 5

一句话总结

本论文建立了在可能非凸的域中具有奇异或单调系数的分布依赖反射随机微分方程（DDRSDEs）的适定性及函数不等式。论文提出了一项通用准则，将DDRSDE的适定性与标准反射SDE的适定性联系起来，并为带有Neumann边界条件的关联非线性Fokker-Planck方程推导出一个对数Harnack不等式。

ABSTRACT

To characterize the Neumann problem for nonlinear Fokker-Planck equations, we investigate distribution dependent reflecting SDEs (DDRSDEs) in a domain. We first prove the well-posedness and establish functional inequalities for reflecting SDEs with singular drifts, then extend these results to DDRSDEs with singular or monotone coefficients, for which a general criterion deducing the well-posedness of DDRSDEs from that of reflecting SDEs is established.

研究动机与目标

• 为建模带有Neumann边界条件的非线性Fokker-Planck方程，发展分布依赖反射SDE（DDRSDEs）的理论框架。
• 将具有奇异漂移的反射SDE的适定性理论扩展至分布依赖情形。
• 建立一个通用准则，从分布无关系数的标准反射SDE的适定性推导出DDRSDE的适定性。
• 在一般系数条件下，为DDRSDE生成的马尔可夫半群推导出函数不等式，特别是对数Harnack不等式。
• 将结果应用于具体模型，如带有Neumann边界条件的（奇异）粒状介质方程。

提出的方法

• 分析在域假设（D）下进行，该假设推广了凸性，包含$ C^k_b $-光滑边界。
• 采用耦合方法，结合时间变换的Bessel过程与Girsanov变换，以比较具有不同初始分布的两个解。
• 关键技术工具是时间变换的Bessel过程$ \xi_t $，其控制两个解$ X_t $与$ Y_t $之间的距离，并用于推导Radon-Nikodym导数的局部鞅表示。
• 应用Girsanov变换重新加权概率测度，将带漂移修正的SDE转化为新测度下的标准SDE。
• 通过对相对熵界$ \mathbb{E}[N_{t_0} \log N_{t_0}] \leq \frac{c}{t_0} \mathbb{W}_2(\mu_0, \nu_0)^2 $进行分析，推导出对数Harnack不等式，该界控制了对初始分布距离的依赖性。
• 该方法依赖Itô公式、局部鞅收敛性及Fatou引理，以取极限并建立最终不等式。

实验结果

研究问题

• RQ1 在可能非凸或粗糙边界域中，分布依赖反射SDE在何种条件下存在唯一的强解？
• RQ2 如何将DDRSDE的适定性问题归约为具有分布无关系数的标准反射SDE的适定性问题？
• RQ3 在一般系数条件下，DDRSDE的马尔可夫半群可推导出哪些函数不等式，如对数Harnack不等式？
• RQ4 该理论能否应用于带有Neumann边界条件的非线性Fokker-Planck方程，如粒状介质方程？
• RQ5 对数Harnack不等式对初始分布距离$ \mathbb{W}_2(\mu_0, \nu_0) $的定量依赖关系如何？

主要发现

• 论文在域假设（D）下证明了具有奇异或单调系数的DDRSDE的适定性，即使在非凸域中也成立。
• 建立了一项通用准则，将DDRSDE的适定性归约为具有分布无关系数的标准反射SDE的适定性。
• 为与DDRSDE相关的马尔可夫半群推导出对数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 $。
• Radon-Nikodym导数的相对熵满足$ \mathbb{E}[N_{t_0} \log N_{t_0}] \leq \frac{c}{t_0} \mathbb{W}_2(\mu_0, \nu_0)^2 $，这蕴含了有限时间内的路径唯一性。
• 该理论被应用于带有Neumann边界的粒状介质方程，表明解满足对数Harnack不等式，并表现出与遍历性一致的长期行为。
• 结果在边界上仅需最小正则性假设，包括$ C^k_b $与$ C^{k+\varepsilon}_b $光滑性，并可推广至非凸域之外。