[论文解读] Propagation of Chaos of Forward-Backward Stochastic Differential Equations with Graphon Interactions

Erhan Bayraktar, Ruoyu Wu+1 more|arXiv (Cornell University)|Feb 16, 2022

Stochastic processes and financial applications被引用 4

一句话总结

本文建立了具有图函数相互作用的前向-后向随机微分方程（FBSDEs）的混沌传播，证明了n人博弈纳什均衡收敛于图函数平均场博弈的解。在单调性条件下，利用压缩映射和延拓法，证明了解的存在性、唯一性和稳定性，从而实现了对线性-二次模型之外的一般图函数平均场博弈的首次普遍收敛结果。

ABSTRACT

In this paper, we study graphon mean field games using a system of forward-backward stochastic differential equations. We establish the existence and uniqueness of solutions under two different assumptions and prove the stability with respect to the interacting graphons which are necessary to show propagation of chaos results. As an application of propagation of chaos, we prove the convergence of n-player game Nash equilibrium for a general model, which is new in the theory of graphon mean field games.

研究动机与目标

• 建立具有图函数相互作用的前向-后向随机微分方程（FBSDEs）极限系统的解的存在性与唯一性。
• 证明解在图函数相互作用核扰动下的稳定性。
• 证明由FBSDEs与图函数相互作用所支配的n个相互作用代理系统中混沌传播。
• 在一般模型设置下，证明n人博弈纳什均衡收敛于图函数平均场博弈的解。
• 将平均场博弈理论扩展至非线性-二次模型之外的异质性、基于图函数的相互作用结构。

提出的方法

• 构建一个由n个耦合FBSDE组成的系统，其中相互作用强度由图函数序列 $ G_n $ 决定，近似于极限图函数 $ G $。
• 引入一个以 $ \lambda \in [0,1] $ 索引的极限FBSDE系统，其中相互作用通过对图函数核 $ G(\lambda,\kappa) $ 和 $ X_t^\kappa $ 的分布进行积分来实现。
• 使用延拓法与压缩映射法，在两个单调性假设下证明解的存在性与唯一性，推广了经典FBSDE理论的结果。
• 通过为所有 $ \lambda $ 使用共同的布朗运动，证明映射 $ \lambda \mapsto \mathcal{L}(X_t^\lambda) $ 的可测性，从而保持边际分布。
• 在相同的单调性条件下，利用一致估计证明解对图函数扰动的稳定性。
• 应用混沌传播，证明n人系统经验分布收敛于极限图函数FBSDE系统的解。

实验结果

研究问题

• RQ1 在何种条件下，由FBSDEs与图函数相互作用所支配的n个相互作用代理系统会表现出混沌传播？
• RQ2 在非对称、异质性相互作用下，如何建立极限图函数FBSDE系统解的存在性与唯一性？
• RQ3 何种条件可确保解映射对图函数相互作用核变化的稳定性？
• RQ4 在一般非线性模型中，n人博弈的纳什均衡是否能收敛于图函数平均场博弈的解？
• RQ5 在系统联合分布依赖关系下，如何证明过程 $ X^\lambda $ 的分布关于 $ \lambda $ 的可测性？

主要发现

• 本文在两个标准单调性条件下证明了极限图函数FBSDE系统解的存在性与唯一性，将经典FBSDE结果推广至图函数相互作用情形。
• 建立了对图函数扰动的解稳定性，这对证明混沌传播至关重要。
• 证明了混沌传播：当 $ n \to \infty $ 时，有限n人系统在分布上收敛于极限图函数FBSDE系统。
• 在一般模型下，首次建立了n人博弈纳什均衡收敛于图函数平均场博弈解的结果，突破了线性-二次模型的限制。
• 通过使用共同布朗运动表示，严格证明了映射 $ \lambda \mapsto \mathcal{L}(X_t^\lambda) $ 的可测性，从而使得极限系统中相互作用积分的定义成为可能。
• 通过压缩映射与延拓法获得结果，一致估计确保了在图函数收敛 $ G_n \to G $ 条件下的收敛性与稳定性。