[论文解读] Second order backward stochastic differential equations and fully non-linear parabolic PDEs

Patrick Cheridito, H. Meté Soner+2 more|ArXiv.org|Sep 14, 2005

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

一句话总结

本文通过二阶倒向随机微分方程（2BSDEs）为完全非线性抛物型PDEs的解建立了随机表示。在粘性解比较原理和单调性条件下，证明了2BSDE的唯一解对应于相关PDE的粘性解，从而使得此类PDE能够采用蒙特卡洛数值方法求解。

ABSTRACT

We introduce a class of second order backward stochastic differential equations and show relations to fully non-linear parabolic PDEs. In particular, we provide a stochastic representation result for solutions of such PDEs and discuss Monte Carlo methods for their numerical treatment.

研究动机与目标

• 通过二阶倒向随机微分方程（2BSDEs）为完全非线性抛物型PDEs的解建立随机表示。
• 证明在比较原理和单调性条件下，2BSDE的解唯一对应于相关完全非线性PDE的粘性解。
• 将随机方程与PDE之间的联系扩展至半线性和拟线性情况之外，这些情况受限于线性二阶项。
• 通过2BSDE形式化，使完全非线性PDEs的数值求解成为可能，借助蒙特卡洛方法。

提出的方法

• 构建一个由扩散过程X_t驱动的二阶倒向随机微分方程（2BSDE），其适应过程为(Y, Z, Γ, A)。
• 应用伊藤引理表明，若关联PDE存在C^3解v，则(v(t,X_t), Dv(t,X_t), D^2v(t,X_t), L Dv(t,X_t))满足2BSDE。
• 对PDE应用粘性解理论，假设PDE的值函数满足比较原理。
• 对生成器f施加Y的利普希茨连续性及Γ的递减性，以确保解的唯一性和稳定性。
• 推导出一个随机表示，其中解过程Y_t等于v(t,X_t)，将2BSDE解与PDE解联系起来。
• 通过在区域边界引入停止时间，将框架适配于边值问题，相应地修改终端条件。

实验结果

研究问题

• RQ1 二阶倒向随机微分方程（2BSDEs）能否为完全非线性抛物型PDEs的解提供随机表示？
• RQ2 在何种条件下，2BSDE的解唯一对应于相关PDE的粘性解？
• RQ3 如何通过2BSDEs将蒙特卡洛方法应用于完全非线性抛物型PDEs的数值求解？
• RQ4 生成器f和终端条件g需要满足哪些正则性和结构条件，以保证2BSDE解的存在性和唯一性？
• RQ5 2BSDE框架能否扩展至具有侧向边界条件的边值问题？

主要发现

• 若在比较原理下，关联PDE存在唯一的连续粘性解，则2BSDE至多存在一个解，从而保证了解的唯一性。
• 2BSDE的解过程Y_t满足Y_t = v(t, X_t)，其中v为PDE的粘性解。
• 若PDE存在C^3解，则2BSDE存在解，这提供了一个充分条件。
• 为确保解的唯一性和稳定性，生成器f必须在Y上满足利普希茨连续性，并在Γ上呈递减性。
• 2BSDE框架允许通过蒙特卡洛模拟对完全非线性PDEs进行数值逼近。
• 通过在区域边界引入停止时间，该方法可扩展至边值问题，同时保持2BSDE与PDE解之间的对应关系。