[论文解读] Short time solution to the master equation of a first order mean field game system

Sergio Mayorga|arXiv (Cornell University)|Nov 21, 2018

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

一句话总结

本文建立了在光滑、非凸哈密顿量且对运行成本和初始成本不作单调性或凸性假设下，一阶平均场博弈主方程的短时经典解的存在性。通过在 Wasserstein 空间中使用不动点论证与特征方法，将先前结果推广至更广泛的哈密顿量类别，证明了值函数及其 Wasserstein 导数的局部时间正则性。

ABSTRACT

The goal of this paper is to show existence of short-time classical solutions to the so called Master Equation of \emph{first order} Mean Field Games, which can be thought of as the limit of the corresponding master equation of a stochastic mean field game as the individual noises approach zero. Despite being the equation of an idealistic model, its study is justified as a way of understanding mean field games in which the individual players'~randomness is negligible; in this sense it can be compared to the study of ideal fluids \cite{gangboberkeleynotes}. We restrict ourselves to potential mean field games but do not impose any monotonicity conditions on the running and initial costs, and we do not require convexity of the Hamiltonian, thus extending the result of \cite{mfgmain} to a considerably broader class of Hamiltonians.

研究动机与目标

• 建立一阶平均场博弈主方程短时经典解的存在性，无需假设哈密顿量的凸性或成本函数的单调性。
• 将已知的二次哈密顿量情形下的存在性结果（Gangbo 和 Święch，2015）推广至更广泛的光滑、非凸哈密顿量类别。
• 在具有光滑系数的确定性平均场博弈背景下，分析值函数及其 Wasserstein 导数的正则性。
• 为在概率测度空间中使用不动点方法与特征方程求解主方程，建立一个严格的理论框架。
• 为具有可忽略个体噪声的平均场博弈提供一个类似于流体动力学中理想流体研究的 PDE 理论基础。

提出的方法

• 将主方程表述为在空间 $(0,T) \times \mathbb{T}^d \times \mathscr{P}(\mathbb{T}^d)$ 上的非局部、无穷维 PDE，涉及值函数的 Wasserstein 梯度。
• 对由 MFG 系统导出的方程组应用不动点论证，依赖于关联特征 ODE 解的存在性与正则性。
• 通过使用流映射的离散化版本，建立参数化值函数沿特征线的映射 $\Sigma[s,\cdot](t,q)$ 的正则性。
• 利用 Wasserstein 导数的链式法则，将值函数的正则性传播至主方程解。
• 采用 Wasserstein 空间中二阶可微性的概念，包括 $\nabla_\mu u$ 与 $\nabla^2_{\mu\mu} u$ 的使用，以分析耦合项。
• 为耦合函数 $F$ 与 $g$ 实现路径式梯度构造，确保与主方程结构的一致性。

实验结果

研究问题

• RQ1 能否在不假设哈密顿量凸性的前提下，构造一阶平均场博弈主方程的经典解？
• RQ2 当哈密顿量为非凸时，运行成本 $F$ 与初始成本 $g$ 需满足何种条件，可保证解的短时存在性？
• RQ3 在无随机噪声的情况下，值函数及其 Wasserstein 导数的正则性如何沿特征线传播？
• RQ4 不动点方法在多大程度上可被适配于平均场博弈理论中出现的无穷维、非局部 PDE？
• RQ5 是否可将存在性结果从二次哈密顿量情形推广至一般光滑、非凸哈密顿量？

主要发现

• 本文证明了对任意光滑、非凸哈密顿量 $H$，主方程存在短时经典解，且无需对 $F$ 或 $g$ 做单调性假设。
• 解通过在特征系统上应用不动点论证构造，确保在足够小的 $T > 0$ 范围内存在局部时间解。
• 证明了值函数 $u(s,q,\mu)$ 在 Wasserstein 意义下为二阶连续可微，且 $\nabla_\mu u$ 与 $\nabla^2_{\mu\mu} u$ 均有定义且连续。
• 通过离散化流映射与反函数定理论证，建立了映射 $\Sigma[s,\cdot](t,q)$ 的正则性，该映射用于追踪值函数沿特征线的演化。
• 路径式耦合梯度 $\nabla_\mu \mathcal{W}(\mu)$ 被证明可由光滑函数的梯度在 $L^2(\mu)$ 意义下逼近，确保与 Wasserstein 导数定义的一致性。
• 该结果推广了 Gangbo 和 Święch (2015) 的工作，后者仅处理了二次哈密顿量 $H(q,p) = \frac{1}{2}|p|^2$ 的情形，扩展至更广泛的光滑、非凸哈密顿量类别。