[论文解读] Exponential Contractivity in the $L^p$-Wasserstein Distance for Diffusion Processes

Dejun Luo, Jian Wang|arXiv (Cornell University)|Jul 8, 2014

Geometric Analysis and Curvature Flows被引用 1

一句话总结

该论文通过反射耦合与无穷远处的凸辅助函数，建立了扩散半群在 $L^p$-Wasserstein 距离下的指数收缩。证明了对所有 $p \in [1,\infty)$，有 $W_p(\delta_x P_t, \delta_y P_t) \leq C e^{-\lambda t/p} \cdot \max(|x-y|^{1/p}, |x-y|)$，优于以往仅限于 $p=1$ 的结果。

ABSTRACT

By adopting the coupling by reflection and choosing an auxiliary function which is convex near infinity, we establish the exponential convergence of diffusion semigroups $(P_t)_{t\ge0}$ with respect to the standard $L^p$-Wasserstein distance for all $p\in[1,\infty)$. In particular, we show that for the Ito stochastic differential equation $$\d X_t=\d B_t+b(X_t)\,\d t,$$ if the drift term $b$ satisfies that for any $x,y\in\R^d$, $$\langle b(x)-b(y),x-y angle\le \begin{cases} K_1|x-y|^2,& |x-y|\le L; -K_2|x-y|^2,& |x-y|> L \end{cases}$$ holds with some positive constants $K_1$, $K_2$ and $L>0$, then there is a constant $\lambda:=\lambda(K_1,K_2,L)>0$ such that for all $p\in[1,\infty)$, $t>0$ and $x,y\in\R^d$, $$W_p(\delta_x P_t,\delta_y P_t)\leq Ce^{-\lambda t/p} \begin{cases} |x-y|^{1/p}, & \mbox{if } |x-y|\le 1; |x-y|, & \mbox{if } |x-y|> 1. \end{cases}$$ where $C:=C(K_1,K_2,L,p)$ is a positive constant. This improves the main result in \cite{Eberle} where the exponential convergence is only proved for the $L^1$-Wasserstein distance.

研究动机与目标

• 建立所有 $p \in [1,\infty)$ 下扩散过程在 $L^p$-Wasserstein 距离下的指数收敛性，超越仅限于 $L^1$-Wasserstein 情形的已有结果。
• 通过构建适用于所有有限 $p$ 的框架，弥补现有文献中仅对 $p=1$ 证明了指数收缩的空白。
• 分析具有分段线性漂移行为（在 $L^1$-类似与 $L^\infty$-类似区域中均有界）的漂移条件对收敛速率的影响。
• 推导收缩率 $\lambda$ 与常数 $C$ 对漂移参数 $K_1$、$K_2$、$L$ 及 $p$ 的显式依赖关系。
• 提出统一框架，结合反射耦合与凸辅助函数，以处理非均匀漂移行为。

提出的方法

• 采用反射耦合技术，将从不同初始点出发的两个扩散过程进行耦合。
• 引入一个在无穷远处为凸的辅助函数，以控制耦合距离的增长并确保有限时间内的耦合。
• 使用一种漂移条件：在小距离区域（$|x-y| \leq L$）呈线性耗散性，在大距离区域（$|x-y| > L$）呈强耗散性，其中 $K_1, K_2 > 0$ 为常数。
• 利用 Itô 公式与耦合过程的生成元，推导出耦合距离的 $p$ 阶矩的微分不等式。
• 通过比较论证，利用耦合距离的 $p$ 阶矩期望来界定 $L^p$-Wasserstein 距离。
• 通过仔细分析漂移与辅助函数，建立指数衰减率 $\lambda = \lambda(K_1, K_2, L) > 0$ 与常数 $C = C(K_1, K_2, L, p)$。

实验结果

研究问题

• RQ1 对于具有分段耗散漂移的扩散过程，是否能在所有 $p \in [1,\infty)$ 下建立 $L^p$-Wasserstein 距离下的指数收缩？
• RQ2 反射耦合方法结合凸辅助函数，是否能为 $p > 1$ 的情形提供优于现有方法的收敛速率？
• RQ3 收缩率 $\lambda$ 与常数 $C$ 对漂移参数 $K_1$、$K_2$、$L$ 及指数 $p$ 的精确依赖关系为何？
• RQ4 分段耗散漂移条件如何影响扩散半群在 $L^p$-Wasserstein 拓扑下的长期行为？
• RQ5 能否将 Eberle 的 $L^1$-Wasserstein 结果推广至所有 $L^p$-Wasserstein 距离，且使用相同的耦合框架？

主要发现

• 在分段耗散漂移条件下，指数收缩在所有 $p \in [1,\infty)$ 下的 $L^p$-Wasserstein 距离中成立，不仅限于 $p=1$。
• 收缩率 $\lambda = \lambda(K_1, K_2, L) > 0$，其依赖于耗散常数 $K_1$、$K_2$ 与阈值 $L$。
• 该界表现出 $t$-依赖的衰减 $e^{-\lambda t/p}$，表明随着 $p$ 增大，收敛速率变慢。
• 对于小初始距离（$|x-y| \leq 1$），界按 $|x-y|^{1/p}$ 刻画，反映了 $L^p$-范数的行为特征。
• 对于大初始距离（$|x-y| > 1$），界呈线性增长 $|x-y|$，与 $L^1$-型行为一致。
• 常数 $C = C(K_1, K_2, L, p)$ 有限且显式依赖于 $p$、$K_1$、$K_2$ 与 $L$，确保对所有初始条件的一致性。