[论文解读] A posteriori error estimates for fully coupled McKean-Vlasov forward-backward SDEs

Christoph Reisinger, Wolfgang Stockinger+1 more|arXiv (Cornell University)|Jul 15, 2020

Stochastic processes and financial applications参考文献 32被引用 8

一句话总结

该论文为完全耦合的麦凯恩-弗拉斯托夫前向-后向随机微分方程（MV-FBSDEs）提出了一种基于残差的后验误差估计器，通过测量给定离散近似在时间网格上对原始SDE系统满足程度的好坏，量化了数值解的L2逼近误差。关键贡献在于证明了该估计器与前向欧拉格式全局误差的等价性，从而建立了欧拉格式的稳定性，并验证了基于残差的算法在平均场控制与博弈问题中的适用性。

ABSTRACT

Fully coupled McKean-Vlasov forward-backward stochastic differential equations (MV-FBSDEs) arise naturally from large population optimization problems. Judging the quality of given numerical solutions for MV-FBSDEs, which usually require Picard iterations and approximations of nested conditional expectations, is typically difficult. This paper proposes an a posteriori error estimator to quantify the $L^2$-approximation error of an arbitrarily generated approximation on a time grid. We establish that the error estimator is equivalent to the global approximation error between the given numerical solution and the solution of a forward Euler discretized MV-FBSDE. A crucial and challenging step in the analysis is the proof of stability of this Euler approximation to the MV-FBSDE, which is of independent interest. We further demonstrate that, for sufficiently fine time grids, the accuracy of numerical solutions for solving the continuous MV-FBSDE can also be measured by the error estimator. The error estimates justify the use of residual-based algorithms for solving MV-FBSDEs. Numerical experiments for MV-FBSDEs arising from mean field control and games confirm the effectiveness and practical applicability of the error estimator.

研究动机与目标

• 为完全耦合的麦凯恩-弗拉斯托夫前向-后向随机微分方程（MV-FBSDEs）的数值解缺乏可靠误差评估的问题提供解决方案，这些方程在平均场控制与博弈论中具有核心地位。
• 开发一种可计算的、基于残差的后验误差估计器，用于量化任意给定数值解在时间网格上的L2逼近误差。
• 建立MV-FBSDEs前向欧拉格式的稳定性，这是误差分析中关键但具有挑战性的一步。
• 证明该误差估计器即使在高维、预极限设置下，且计算资源有限时，也能可靠地衡量数值解的精度。
• 通过在平均场控制与博弈问题中产生的MV-FBSDEs上的数值实验，验证该误差估计器的实际应用价值。

提出的方法

• 该误差估计器定义为在离散时间网格上对前向与后向SDE的残差之和，用于衡量SDE动力学与终端条件的违反程度。
• 其构造基于MV-FBSDE的离散时间近似，残差通过预测与实际增量之间时间积分的平方差计算得出。
• 分析依赖于伊tô等距、杨不等式与霍尔德不等式，以及格朗沃尔不等式，以控制由离散化与条件数学期望近似引起的误差项。
• 在生成器及其导数的弱正则性与连续性假设下，严格证明了欧拉格式的稳定性，该结果本身具有独立意义。
• 证明该估计器与给定数值解和欧拉离散化MV-FBSDE解之间的全局L2误差等价。
• 该方法适用于任意时间步长格式、条件数学期望的数值方法以及布朗运动增量的近似方式，具有广泛适用性。

实验结果

研究问题

• RQ1 能否为完全耦合的MV-FBSDEs构造一种可计算的、基于残差的后验误差估计器，使其准确反映真实逼近误差？
• RQ2 所提出的误差估计器是否与数值解相对于欧拉离散化MV-FBSDE的全局L2误差等价？
• RQ3 在一般条件下，MV-FBSDEs的前向欧拉格式稳定性是否成立，从而支持严格的误差分析？
• RQ4 在高维、预极限设置下，当解析解不可得时，该误差估计器能否可靠地评估解的精度？
• RQ5 该误差估计器在指导与验证数值算法（如深度BSDE求解器）求解平均场控制与博弈问题方面，效果如何？

主要发现

• 所提出的后验误差估计器被证明与给定数值解和MV-FBSDE欧拉离散化解之间的全局L2逼近误差等价。
• 在生成器及其导数的标准正则性与连续性假设下，完全耦合MV-FBSDEs的前向欧拉格式的稳定性得到严格证明。
• 对于足够精细的时间网格，该误差估计器还能衡量数值解相对于连续MV-FBSDE的精度，从而支持其在实际计算中的应用。
• 该误差估计器对时间步长格式、条件数学期望近似方法以及布朗运动增量离散化方式的选择具有鲁棒性，具备广泛适用性。
• 数值实验验证了该估计器在评估平均场控制与博弈问题中产生的MV-FBSDE解的质量方面的有效性。
• 理论框架支持基于残差的算法求解MV-FBSDEs，尤其适用于传统误差控制不可行的高维场景。