[论文解读] A (rough) pathwise approach to a class of non-linear stochastic partial differential equations

Michael Caruana, Peter K. Friz+1 more|arXiv (Cornell University)|Feb 19, 2009

Stochastic processes and financial applications参考文献 31被引用 10

一句话总结

本文提出了一种针对由多维布朗运动驱动的非线性随机偏微分方程（SPDEs）的路径无关方法，通过路径无关的粘性解避免了概率测度论的复杂性。借助粗糙路径理论，该方法在最小正则性假设下建立了解的存在性、唯一性和稳定性，从而可通过确定性连续性定理支持大偏差、支撑定理等概率应用。

ABSTRACT

We consider nonlinear parabolic evolution equations of the form $\partial_{t}u=F(t,x,Du,D^{2}u) $, subject to noise of the form $H(x,Du) \circ dB$ where $H$ is linear in $Du$ and $\circ dB$ denotes the Stratonovich differential of a multidimensional Brownian motion. Motivated by the essentially pathwise results of [Lions, P.-L. and Souganidis, P.E.; Fully nonlinear stochastic partial differential equations. C. R. Acad. Sci. Paris Sér. I Math. 326 (1998), no. 9] we propose the use of rough path analysis [Lyons, T. J.; Differential equations driven by rough signals. Rev. Mat. Iberoamericana 14 (1998), no. 2, 215--310] in this context. Although the core arguments are entirely deterministic, a continuity theorem allows for various probabilistic applications (limit theorems, support, large deviations, ...).

研究动机与目标

• 开发一种针对由伊tô型噪声驱动的非线性SPDEs的路径无关方法，避免依赖随机微积分。
• 通过粗糙路径技术将粘性解理论推广至SPDEs，确保在驱动信号扰动下解的稳定性和连续性。
• 建立一个确定性框架，支持大偏差、支撑定理和极限定理等概率应用。
• 通过引入粗糙路径连续性，将Lions–Souganidis的粘性解方法推广至SPDEs，从而能够分析不规则噪声路径。
• 证明一类具有H"older连续系数的完全非线性SPDEs的有界粘性解的存在性与唯一性。

提出的方法

• 采用粗糙路径框架，将随机驱动项视为具有H"older正则性的粗糙路径，从而实现确定性解理论。
• 通过布朗运动的粗糙路径提升，利用路径无关的粘性形式定义SPDE的解。
• 在粗糙路径空间中应用连续性定理，将确定性稳定性结果转移至概率设定。
• 通过正则化构造近似解，并利用上半连续极限与下半连续极限在粘性意义下取极限。
• 定义近似解的上半连续与下半连续包络，以在极限中恢复初始数据。
• 利用具有受控增长与曲率的测试函数，验证粘性不等式，并通过大参数控制导出矛盾论证。

实验结果

研究问题

• RQ1 能否为由布朗运动驱动的非线性SPDEs发展一种完全路径无关的粘性解理论，而无需依赖随机积分？
• RQ2 粗糙路径理论如何在驱动噪声扰动下实现解的稳定性和连续性？
• RQ3 在多大程度上可仅通过纯粹的确定性粗糙路径论证推导出概率结果（如大偏差、支撑定理）？
• RQ4 能否为具有粗糙路径输入的完全非线性SPDEs建立有界粘性解的存在性与唯一性？
• RQ5 在粗糙路径框架下，何种条件可确保近似解的极限能恢复初始条件？

主要发现

• 本文建立了具有伊tô型噪声的完全非线性SPDEs初值问题的有界粘性解的存在性与唯一性。
• 粗糙路径空间中的连续性定理确保了解对驱动信号的连续依赖性，从而支持概率应用。
• 近似解的极限在上半连续与下半连续包络意义下，于时间零处恢复初始数据。
• 通过构造一个具有大线性项与二次项的测试函数，利用矛盾论证证明：在极限中，解在原点处不可能超过初始数据。
• 该方法避免了对近似解导数的控制，转而依赖稳定性与半连续极限，与Barles–Perthame方法一致。
• 解理论在系数与初始数据一致收敛下具有鲁棒性，确保在扰动下保持稳定性。