[论文解读] On the existence of classical solutions for stationary extended mean field games

Diogo A. Gomes, Stefania Patrizi+1 more|arXiv (Cornell University)|May 13, 2013

Geometric Analysis and Curvature Flows参考文献 5被引用 7

一句话总结

本文通过先验估计、伴随方法和连续性方法，建立了具有速度场依赖哈密顿量的静止扩展平均场博弈中经典解的存在性。证明了在一般哈密顿量下（包括对数型和幂次非线性）光滑解的存在性，并给出了与维度相关的显式正则性阈值。

ABSTRACT

In this paper we consider extended stationary mean field games, that is mean-field games which depend on the velocity field of the players. We prove various a-priori estimates which generalize the results for quasi-variational mean field games in [GPSM12]. In addition we use adjoint method techniques to obtain higher regularity bounds. Then we establish existence of smooth solutions under fairly general conditions by applying the continuity method. When applied to standard stationary mean-field games as in [LL06a], [GSM11] or [GPSM12] this paper yields various new estimates and regularity properties not available previously. We discuss additionally several examples where existence of classical solutions can be proved.

研究动机与目标

• 解决静止平均场博弈中具有速度依赖成本函数的经典解存在性结果缺乏的问题。
• 将先前针对拟变分平均场博弈的先验估计和正则性界推广至扩展情形。
• 通过连续性方法和伴随技术，在一般条件下建立光滑解。
• 通过将框架扩展至速度依赖性，为标准平均场博弈提供新的正则性和存在性结果。
• 通过具体例子（包括对数型和幂次非线性）分析，展示方法的适用性及与维度相关的可解性。

提出的方法

• 推导涉及值函数 $u$、密度 $m$、有效哈密顿量 $\overline{H}$ 和速度场 $V$ 的扩展平均场博弈系统的先验估计。
• 应用伴随方法技术，获得解的高阶正则性界。
• 使用连续性方法，通过从已知解连续变形至完整系统，证明经典解的存在性。
• 分析哈密顿量的海森矩阵及其对 $V$ 的依赖性，以控制系统中的非线性项。
• 采用加权 $L^2$ 估计以及柯西-施瓦茨和赫尔德不等式，控制二次型 $\mathcal{H}_{\lambda,I}$ 中的交叉项。
• 通过 $D^2_{pp}H$、$V$ 和 $m$ 的有界性，建立二次型 $\mathcal{H}_{\lambda,I}$ 的强制性，确保线性化算子的统一强椭圆性。

实验结果

研究问题

• RQ1 在何种条件下，具有速度依赖哈密顿量的静止扩展平均场博弈中存在经典解？
• RQ2 哈密顿量中包含速度场 $V$ 对解的正则性和存在性有何影响？
• RQ3 对于非线性项 $g(m)$，其存在光滑解的维度依赖约束为何？
• RQ4 连续性方法能否成功应用于具有非变分结构的扩展平均场博弈？
• RQ5 在此扩展框架下，线性化算子的精确正则性和强制性界为何？

主要发现

• 本文在 $H$ 的一般条件下，证明了扩展静止平均场博弈系统 (1.2) 的经典解存在性。
• 对于示例 $H(x,p,m,V) = \frac{1}{2}|p|^2 - \alpha p \int V \, dm - \ln m$，在任意维度 $d$ 下均存在光滑解。
• 对于 $H(x,p,m,V) = \frac{1}{2}|p|^2 - \alpha p \int V \, dm - m^\gamma$，当 $d \leq 4$ 或 $d \geq 5$ 且 $\gamma \leq \frac{1}{d-4}$ 时，存在光滑解。
• 该分析获得了标准平均场博弈中此前未见的新型先验估计和更高阶正则性界。
• 通过 $L^2$ 加权估计和 $D^2_{pp}H$ 的有界性，建立了二次型 $\mathcal{H}_{\lambda,I}$ 的强制性，确保线性化问题的可解性。
• 当 $|\alpha|$ 足够小时（具体为 $|\alpha| \leq \min\{\sigma_1/26, \eta_0/27\}$），二次型具有统一强制性，从而支持连续性方法的应用。