[论文解读] Local Lipschitz continuity in the initial value and strong completeness for nonlinear stochastic differential equations

Sonja Cox, Martin Hutzenthaler+1 more|Zenodo (CERN European Organization for Nuclear Research)|Sep 22, 2013

Stochastic processes and financial applications被引用 12

一句话总结

本文建立了非线性随机微分方程（SDE）的漂移项和扩散项的充分条件，以保证在强 $L^p$-范数意义下解关于初值的局部Lipschitz连续性。文中给出了Lipschitz常数的显式、可计算的上界，并将其应用于证明多种SDE的强完备性，包括随机van der Pol振子、Cahn-Hilliard-Cook方程以及随机Burgers方程。

ABSTRACT

Recently, Hairer et. al (2012) showed that there exist SDEs with infinitely often differentiable and globally bounded coefficient functions whose solutions fail to be locally Lipschitz continuous in the strong L^p-sense with respect to the initial value for every p \in [1,\infty). In this article we provide sufficient conditions on the coefficient functions of the SDE and on p \in (0,\infty] which ensure local Lipschitz continuity in the strong L^p-sense with respect to the initial value and we establish explicit estimates for the local Lipschitz continuity constants. In particular, we prove local Lipschitz continuity in the initial value for several nonlinear SDEs from the literature such as the stochastic van der Pol oscillator, Brownian dynamics, the Cox-Ingersoll-Ross processes and the Cahn-Hilliard-Cook equation. As an application of our estimates, we obtain strong completeness for several nonlinear SDEs.

研究动机与目标

• 确定漂移项和扩散项的充分条件，以保证非线性SDE在强 $L^p$-范数意义下关于初值的局部Lipschitz连续性。
• 推导解映射关于初值的局部Lipschitz常数的显式、可计算的上界。
• 为一大类非线性SDE和SPDE（包括不满足全局单调性条件的方程）建立强完备性。
• 将分析扩展至随机常微分方程和随机偏微分方程，涵盖数学物理和金融学中的模型。
• 基于L yapunov型函数和扩展生成元，提出一个通用框架，以分析初值处的稳定性和正则性。

提出的方法

• 利用扩展生成元和噪声算子框架，分析从不同初值出发的两条解路径之间差值的动力学。
• 应用L yapunov型函数 $V$ 控制差值过程 $X_t^x - X_t^y$ 的 $L^p$-范数的增长。
• 通过矩估计和Kolmogorov-Chentsov连续性准则，推导解的指数可积性界。
• 采用两步稳定性分析：边际稳定性和一致强稳定性，以控制路径级和矩级的正则性。
• 应用广义Kolmogorov-Chentsov定理，建立路径连续性和矩界。
• 使用Galerkin逼近和收敛性论证，将有限维情形的结果推广至无限维SPDE，如Cahn-Hilliard-Cook方程和随机波动方程。

实验结果

研究问题

• RQ1 在何种漂移项和扩散项条件下，解映射 $x \mapsto X_t^x$ 在强 $L^p$-范数意义下（$p \in (0, \infty]$）关于初值是局部Lipschitz连续的？
• RQ2 能否为解映射在 $L^p$-范数下的局部Lipschitz常数推导出显式、可计算的上界？
• RQ3 所提出的框架是否能确保不满足全局单调性或全局Lipschitz条件的非线性SDE和SPDE的强完备性？
• RQ4 L yapunov型函数和扩展生成元如何用于控制两条解路径差值的 $L^p$-范数？
• RQ5 这些结果在多大程度上可推广至Cahn-Hilliard-Cook方程和随机Burgers方程等SPDE？

主要发现

• 在 $\mu$ 和 $\sigma$ 的温和条件下，本文建立了对所有 $t, p \in (0, \infty)$ 的解映射 $x \mapsto X_t^x$ 的局部 $L^p$-Lipschitz连续性，并给出了Lipschitz常数的显式上界。
• 对于随机van der Pol振子、Cahn-Hilliard-Cook方程和随机Burgers方程，作者推导出显式估计，表明解关于初值具有局部 $L^p$-Lipschitz连续性。
• 不等式 $\|X_t^x - X_t^y\|_{L^p} \leq \varphi_{t,p}(x,y) \|x - y\|$ 成立，其中 $\varphi_{t,p}(x,y)$ 可显式计算；对于Cahn-Hilliard-Cook方程，该界依赖于 $\kappa(r_q)$、$|D|$ 和 $\varsigma^2$。
• 通过验证所需的矩和路径正则性，本文证明了多个非线性SDE（包括随机Duffing-van der Pol振子和随机SIR模型）的强完备性。
• 对于具有迹类噪声的Cahn-Hilliard-Cook方程，本文推导出如下界：$\left\| \sup_{t \in [0,T]} \|X_t^{x,n} - X_t^{y,n}\|_H \right\|_{L^r} \leq \frac{\|x-y\|_H}{\sqrt{1 - 2/p}} \exp(\cdots)$，其显式依赖于 $T$、$\eta$、$\varsigma^2$ 和 $U(x) + U(y)$。
• 该框架适用于满足初始数据和噪声算子正则性与紧支集假设的加性噪声SPDE，如随机波动方程。