[论文解读] Convergence in variation of solutions of nonlinear Fokker-Planck-Kolmogorov equations to stationary measures

В. И. Богачев, Michael Röckner+1 more|arXiv (Cornell University)|Jan 8, 2018

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

一句话总结

本文建立了非线性福克-普朗克-柯尔莫哥洛夫方程解在变分范数下指数收敛于平稳测度的充分条件，即使系数在无穷远处表现出任意增长，并通过无界、不连续的卷积核非线性依赖于解。关键结果是一个加权总变差界：\|W\cdot(\mu_t - \mu)\|_{TV} \leq \alpha_1 e^{-\alpha_2 t}，在李雅普诺夫型条件和漂移依赖性连续性假设下，确保了解以指数速率收敛到唯一的平稳测度。

ABSTRACT

We study convergence in variation of probability solutions of nonlinear Fokker-Planck-Kolmogorov equations to stationary solutions. We obtain sufficient conditions for the exponential convergence of solutions to the stationary solution in case of coefficients that can have an arbitrary growth at infinity and depend on the solutions through convolutions with unbounded discontinuous kernels. In addition, we study a more difficult case where the nonlinear equation has several stationary solutions and convergence to a stationary solution depends on initial data. Finally, we obtain sufficient conditions for solvability of nonlinear Fokker-Planck-Kolmogorov equations.

研究动机与目标

• 建立非线性福克-普朗克-柯尔莫哥洛夫方程解在总变差范数下指数收敛于平稳测度的充分条件。
• 分析当存在多个平稳解时的收敛行为，表明其依赖于初始数据及诸如均值等不变量。
• 在系数弱正则性和无界性假设下，扩展非线性福克-普朗克-柯尔莫哥洛夫方程的可解性结果。
• 构建一个包含加权总变差范数的收敛性框架，允许使用无界或增长的权函数。

提出的方法

• 使用李雅普诺夫函数 $ V $，满足 $ L_\mu V \leq C_1 - C_2 V $，以控制解的增长并确保可积性。
• 对漂移 $ b(x,\mu) $ 施加条件：在 $ V^{1/2 - \gamma} $ 范数下有界，并且在 $ \mu $ 上关于加权范数 $ \|\cdot\|_W $ 连续。
• 在 $ L^1 $-可积密度的凸紧子集上应用施瓦兹不动点定理，证明在 $[0,\infty)$ 上存在解。
• 通过 $ \int_{\alpha_0}^{\alpha(t)} du / N_1(u) = t $ 定义时间依赖的李雅普诺夫函数 $ \alpha(t) $，确保一致的矩界。
• 依赖于测试函数属于 $ C_0^\infty(\mathbb{R}^d) $ 的福克-普朗克-柯尔莫哥洛夫方程的积分形式，确保弱解性质。
• 通过证明解半群在加权总变差范数下收缩，且具有指数衰减率 $ \alpha_2 $，建立收敛性。

实验结果

研究问题

• RQ1 在何种条件下，非线性福克-普朗克-柯尔莫哥洛夫方程的解在总变差范数下指数收敛于平稳测度？
• RQ2 当存在多个平稳解时，收敛行为如何依赖于初始测度？
• RQ3 在漂移核无界或不连续时，确保非线性福克-普朗克-柯尔莫哥洛夫方程存在平稳解的条件是什么？
• RQ4 当漂移系数在无穷远处任意增长，并通过与无界核的卷积非线性依赖于解时，能否建立指数收敛性？

主要发现

• 在李雅普诺夫和连续性条件下，建立了加权总变差范数下的指数收敛性：$ \|W\cdot(\mu_t - \mu)\|_{TV} \leq \alpha_1 e^{-\alpha_2 t} $，其中 $ \alpha_1, \alpha_2 > 0 $。
• 平稳解 $ \mu $ 满足 $ \int V \, d\mu \leq C_1 / C_2 $，确保在李雅普诺夫函数 $ V $ 下的可积性和稳定性。
• 对每个初始测度 $ \nu \in \mathcal{P}_V(\mathbb{R}^d) $，在 $[0, \infty)$ 上存在唯一的全局解 $ \mu_t $，且对所有 $ T > 0 $，有 $ \sup_{t \in [0,T]} \int V \, d\mu_t < \infty $。
• 收敛性在系数的小扰动下不稳定；例如，当 $ \varepsilon = 1 $ 时，向漂移中添加一个很小的常数 $ \delta > 0 $ 可能破坏平稳解的存在性。
• 当存在多个平稳解时（例如奥恩斯坦-乌伦贝克例子中的 $ \varepsilon = 1 $ 情况），收敛性依赖于初始数据的不变量，如均值。
• 当 $ \int_0^\infty du / N_1(u) = \infty $ 时，柯西问题的可解性得到保证，确保时间依赖的李雅普诺夫函数 $ \alpha(t) $ 全局定义。