[论文解读] Fully nonlinear stochastic and rough PDEs: Classical and viscosity solutions

Rainer Buckdahn, Christian Keller+2 more|arXiv (Cornell University)|Jan 28, 2015

Stochastic processes and financial applications被引用 3

一句话总结

本文通过引入基于光滑检验函数的粘性解概念，为完全非线性随机和粗糙PDE（SPDEs/RPDEs）建立了一个统一框架，证明了其一致性、稳定性以及部分比较原理。当扩散系数为半线性时，利用特征线法与粗糙路径分析，实现了完整的理论体系，包括全局存在性与完整的比较原理。

ABSTRACT

We study fully nonlinear second-order (forward) stochastic partial differential equations (SPDEs). They can also be viewed as forward path-dependent PDEs (PPDEs) and will be treated as rough PDEs (RPDEs) under a unified framework. We develop first a local theory of classical solutions and define then viscosity solutions through smooth test functions. Our notion of viscosity solutions is equivalent to the alternative one using semi-jets. Next, we prove basic properties such as consistency, stability, and a partial comparison principle in the general setting. When the diffusion coefficient is semi-linear (but the drift can be fully nonlinear), we establish a complete theory, including global existence and comparison principle. Our methodology relies heavily on the method of characteristics.

研究动机与目标

• 在粗糙路径设定下，为完全非线性二阶前向SPDE与路径依赖PDE（PPDEs）发展一致的粘性解理论。
• 在单一分析框架下统一处理随机PDE、路径依赖PDE与粗糙PDE。
• 当扩散系数为半线性时，建立粘性解的存在性与比较原理。
• 在一般情况下证明关键性质，如一致性、稳定性以及部分比较原理。
• 通过特征线法与粗糙泰勒展开，将经典解理论扩展至局部与全局适定性。

提出的方法

• 将SPDE（1.1）以Stratonovich形式表述，并利用Dupire的路径导数将其重新解释为前向PPDE（1.2）。
• 利用Gubinelli导数与粗糙路径理论，将SPDE重述为粗糙PDE（1.3），并将其与控制粗糙路径联系起来。
• 通过特征线法定义经典解，推导相关特征方程的局部适定性。
• 通过光滑检验函数引入粘性解，并证明其与基于上喷射的定义等价。
• 利用粗糙路径技术建立变量变换公式与粘性解的稳定性性质。
• 在一般情况下证明部分比较原理，在扩散系数为半线性时证明完整比较原理，从而实现全局存在性。

实验结果

研究问题

• RQ1 在路径依赖设定下，如何一致地定义完全非线性粗糙PDE的粘性解？
• RQ2 在粗糙PDE背景下，何种条件可确保粘性解的稳定性和一致性？
• RQ3 在何种条件下，粗糙PDE粘性解的完整比较原理成立？
• RQ4 当扩散系数为半线性时，能否建立粘性解的全局存在性？
• RQ5 特征线法如何扩展至粗糙PDE设定以确保适定性？

主要发现

• 基于光滑检验函数的粘性解概念与基于上喷射的定义等价，确保了解框架的一致性。
• 该理论证明了粘性解在一致收敛下的稳定性，这是数值方法与逼近方案的关键性质。
• 在一般情况下建立了部分比较原理，为在缺乏完全正则性时的唯一性提供了基础。
• 当扩散系数为半线性时，完整比较原理成立，从而可证明粘性解的唯一性与全局存在性。
• 在半线性扩散条件下，建立了粘性解的全局存在性，解属于空间 $ C^{k, ext{loc}}_{eta,eta}(bR_T) $，确保了空间与时间上的霍尔德正则性。
• 特征线法结合粗糙泰勒展开与粗糙路径积分，得到了经典解在 $ C^{k+2}_{eta,eta}([0,T]) $ 中的局部适定性，且显式估计依赖于 $ f $、$ g $ 与初始数据。