[论文解读] On Backward Doubly Stochastic Differential Evolutionary System

Jinniao Qiu, Shanjian Tang|arXiv (Cornell University)|Sep 17, 2013

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

一句话总结

本文通过基于单调算子理论的变分法，建立了后向双重随机微分演化系统（BDSDESs）解的存在性与唯一性。证明了巴拿赫空间值BDSDESs的广义伊藤公式，并将结果推广至无限维设定，填补了后向双重随机偏微分方程（BDSPDEs）广义解理论中的空白。

ABSTRACT

In this paper, we are concerned with backward doubly stochastic differential evolutionary systems (BDSDESs for short). By using a variational approach based on the monotone operator theory, we prove the existence and uniqueness of the solutions for BDSDESs. We also establish an Itô formula for the Banach space-valued BDSDESs.

研究动机与目标

• 在有限维与无限维设定下，建立后向双重随机微分演化系统（BDSDESs）解的存在性与唯一性。
• 为巴拿赫空间值BDSDESs推导广义伊藤公式，将经典伊藤微积分扩展至该类方程。
• 填补此前未解决的后向双重随机偏微分方程（BDSPDEs）广义解理论中的理论空白。
• 将Feynman-Kac公式、随机粘性解及最优控制等现有结果，推广至由无限维BDSDES驱动的过程。
• 基于单调算子理论，为分析超越有限维情形的BDSDESs，提供一个变分框架。

提出的方法

• 基于单调算子理论的变分法，证明BDSDESs解的存在性与唯一性。
• 先在有限维情形应用Galerkin逼近技术建立结果，再推广至无限维希尔伯特空间与巴拿赫空间设定。
• 推导出由两个独立布朗运动（前向与后向）驱动的巴拿赫空间值过程的广义伊藤公式，该公式在本类语境下对随机微积分至关重要。
• 采用弱收敛论证与基于单调算子理论的紧致性方法，处理逼近序列的收敛性。
• 利用Gelfand三元组框架 $ V \hookrightarrow H \cong H' \hookrightarrow V' $ 处理空间之间的对偶关系，确保变分设定下的适定性。
• 通过涉及停时与概率意义上的 $ L^2 $-有界性的极限论证，严格证明离散逼近的收敛性，确保路径连续性与可积性。

实验结果

研究问题

• RQ1 能否在无限维空间中建立后向双重随机微分演化系统解的存在性与唯一性？
• RQ2 巴拿赫空间值后向双重随机过程的恰当伊藤公式是什么？它与经典伊藤公式有何不同？
• RQ3 单调算子理论如何被调整以在超越有限维情形的变分设定中求解BDSDESs？
• RQ4 能否利用该框架完成BDSPDEs广义解理论，特别是对拟线性方程？
• RQ5 Feynman-Kac公式、随机粘性解与最优控制理论等结果在多大程度上可推广至无限维BDSDESs？

主要发现

• 本文通过基于单调算子理论的变分方法，证明了BDSDESs在有限维与无限维设定下的解的存在性与唯一性。
• 为巴拿赫空间值BDSDESs建立了广义伊藤公式，该公式在该类方程的随机微积分中起基础性作用。
• 证明了解过程 $ u $ 属于空间 $ S^2(0,T;H) $，确保其在希尔伯特空间 $ H $ 中的路径连续性与平方可积性。
• 通过弱收敛与紧致性论证，严格证明了逼近序列的收敛性，且极限被验证在 $ L^2 $-意义下满足原始BDSDES。
• 该结果可推广至拟线性BDSPDEs，得出更一般的存在性与唯一性结果，填补了BDSPDEs广义解理论中的关键空白。
• 该框架为随机粘性解、希尔伯特空间上SPDE的平稳解以及具有无限维BDSDE状态动态的最优控制问题提供了潜在扩展路径。