[论文解读] Forward Feynman-Kac type representation for semilinear nonconservative Partial Differential Equations

Anthony Le Cavil, Nadia Oudjane+1 more|arXiv (Cornell University)|Aug 17, 2016

Fractional Differential Equations Solutions参考文献 28被引用 8

一句话总结

本文为带有解及其梯度依赖的非线性漂移和反应项的非保守型半线性抛物PDE提出了一种前向费曼-卡茨型表示方法。通过非线性SDE建立了解的存在性与唯一性，并展示了加权粒子系统的收敛性，将概率表示方法扩展至非保守情形，包括伯奇斯-费舍尔方程和HJB方程。

ABSTRACT

We propose a nonlinear forward Feynman-Kac type equation, which represents the solution of a non-conservative semilinear parabolic Partial Differential Equations (PDE). We show in particular existence and uniqueness. The solution of that type of equation can be approached via a weighted particle system.

研究动机与目标

• 将PDE的概率表示方法推广至反应项依赖于解及其梯度的非保守型半线性抛物方程。
• 为包含非保守项（如反应-扩散过程中的项）的PDE建立一种时间前向的概率表示方法。
• 将现有的麦凯恩型非线性SDE推广，通过带时间依赖指数鞅因子的时齐前向SDE处理非保守动力学。
• 为求解二阶非线性PDE（超越保守情形）提供严格的概率框架，包括随机控制中的HJB方程。
• 证明可通过加权粒子系统近似解，并利用混沌传播和收敛性结果分析其行为。

提出的方法

• 提出一个由布朗运动驱动的前向非线性SDE（1.2），其中漂移和扩散系数依赖于解 $ u $，且时间演化包含涉及 $ \nabla u $ 的非线性指数因子。
• 使用费曼-卡茨型公式（1.2）将解 $ u(t, \cdot) $ 定义为包含加权经验分布期望的时间变测量的密度。
• 对非线性SDE的解应用伊藤公式，推导出PDE（1.1），证明SDE的解是PDE的弱解。
• 采用时间离散化方案（3.13），使用转移核 $ P(s,x_0,t,dx) $ 定义测度 $ \mu $ 的演化，并通过归纳法证明其一致性。
• 引入一种加权粒子系统近似方法，其中粒子通过基于解 $ u $ 的平均场型加权相互作用，随着粒子数增加，近似趋于真实解。
• 利用柯尔莫哥洛夫-查普曼方程验证转移核的马尔可夫性质，并确保时间离散化方案的一致性。

实验结果

研究问题

• RQ1 能否为反应项依赖于解及其梯度的非保守型半线性PDE构造一种前向概率表示？
• RQ2 所提出的非线性SDE（1.2）是否产生唯一解，且该解是否对应于底层PDE（1.1）的弱解？
• RQ3 非保守型PDE的解能否通过加权粒子系统近似？此类方案的收敛行为如何？
• RQ4 包含依赖于 $ u $ 和 $ \nabla u $ 的 $ \Lambda $-项如何影响概率表示，相较于保守情形（$ \Lambda = 0 $）？
• RQ5 所提出的框架是否适用于伯奇斯-费舍尔方程或汉密尔顿-雅可比-贝尔曼方程等重要PDE类？

主要发现

• 在适当的正则性和非退化条件下，PDE（1.1）的解 $ u $ 被证明等价于非线性SDE（1.2）解 $ Y_t $ 的分布密度。
• 在 $ \Phi $ 具有光滑性、利普希茨连续性和非退化性，且 $ g $ 满足利普希茨连续性条件下，非线性SDE（1.2）的解存在且路径唯一。
• PDE（1.4）的弱解被表征为前向方程（1.2）的唯一解，其中解 $ u $ 是通过指数鞅因子定义的测度 $ \nu_t $ 的密度。
• 通过归纳法和柯尔莫哥洛夫-查普曼方程，证明时间离散化方案（3.13）与连续时间方程（1.2）一致，确保了近似解的收敛性。
• 加权粒子系统近似在分布意义下收敛至真实解，收敛速率依赖于时间步长 $ \tau $，且混沌传播现象得以保持。
• 该框架成功扩展至非保守型PDE，如伯奇斯-费舍尔方程和HJB方程，为经典PDE求解器提供了概率替代方法。