[论文解读] Ergodicity of Stochastic Curve Shortening Flow in the Plane

Abdelhadi Es–Sarhir, M.-K. von Renesse|arXiv (Cornell University)|Mar 10, 2010

Stochastic processes and financial applications参考文献 11被引用 7

一句话总结

本文通过使用一种变分框架，以李雅普诺夫型条件替代强制性，建立了平面内由加法噪声驱动的随机曲线缩短流的适定性与遍历性，适用于退化的非线性随机偏微分方程。关键贡献在于通过 e-性质与具有紧致次水平集的李雅普诺夫函数证明了遍历性，将理论扩展至具有加法噪声的非强制型均曲率类随机偏微分方程。

ABSTRACT

We study a model of the motion by mean curvature of an (1+1) dimensional interface in a 2D Brownian velocity field. For the well-posedness of the model we prove existence and uniqueness for certain degenerate nonlinear stochastic evolution equations in the variational framework of Krylov Rozovskii, replacing the standard coercivity assumption by a Lyapunov type condition. Ergodicity is established for the case of additive noise, using the lower bound technique for Markov semigroups by Komorowski, Peszat and Szarek

研究动机与目标

• 在缺乏标准强制性的情况下，建立平面内退化随机曲线缩短流的适定性。
• 为非线性随机偏微分方程发展一种变分框架，以李雅普诺夫型条件替代强制性。
• 通过 e-性质与李雅普诺夫函数的紧致次水平集，证明在加法噪声下广义解的遍历性。
• 将随机偏微分方程理论的适用范围扩展至具有退化漂移算子的几何流。

提出的方法

• 在 Gelfand 三元组 $ H_0^1([0,1]) \subset L^2([0,1]) \subset H^{-1}([0,1]) $ 中将随机曲线缩短流表述为非线性随机偏微分方程。
• 利用 Krylov-Rozovskiï 框架，在不依赖强制性而采用李雅普诺夫型条件的前提下，证明存在性与唯一性。
• 通过逼近方法，将广义解建立为 $ L^2([0,1]) $ 上的马尔可夫过程，即使初始数据属于 $ L^2 $。
• 利用具有紧致次水平集的李雅普诺夫函数，验证相关 Feller 半群的 e-性质。
• 应用 Komorowski、Peszat 与 Szarek [6, 定理 1] 的抽象遍历性准则，证明在加法噪声下的遍历性。
• 利用概率估计与庞加莱不等式控制解的差异，确保遍历性所必需的下界条件。

实验结果

研究问题

• RQ1 当标准强制性不成立时，是否可以为具有退化漂移与加法噪声的随机曲线缩短流建立适定性？
• RQ2 Krylov-Rozovskiï 的变分框架是否可推广至通过李雅普诺夫型条件处理非强制型随机偏微分方程？
• RQ3 在加法噪声下，随机曲线缩短流的广义解是否具有遍历性？
• RQ4 是否可利用具有紧致次水平集的李雅普诺夫函数，验证与该随机偏微分方程相关的马尔可夫半群的 e-性质？
• RQ5 解过程在 $ L^2([0,1]) $ 中的长期行为如何？是否收敛至唯一的不变测度？

主要发现

• 在条件 $ \sum_{i=1}^\infty (\text{Lip}(\phi_i))^2 \leq \Lambda^2 $ 下，SPDE (1.2) 即使初始数据属于 $ L^2 $，其广义解在 $ L^2([0,1]) $ 上作为马尔可夫过程也存在且唯一。
• 对于初始数据属于 $ H_0^1([0,1]) $ 的情形，解为强解，且可通过变分法唯一确定。
• 广义解满足 e-性质，并在加法噪声下具有遍历性，该结论通过 Komorowski、Peszat 与 Szarek 的下界技术得以证实。
• 存在具有紧致次水平集的李雅普诺夫函数，使得遍历性所必需的下界条件得以验证。
• 转移概率满足 $ \liminf_{T\to\infty} Q^T(x, B_\delta(0)) > 0 $，对所有 $ \delta > 0 $ 与 $ x \in L^2([0,1]) $ 成立，确认了解对零邻域的均匀递归性。
• 尽管确定性流不以局部一致方式收敛至平衡态，从而使得 [6, 定理 3] 等替代准则失效，但遍历性结果依然成立。