[论文解读] Classical and weak solutions to local first-order mean field games through elliptic regularity

Sebastian Muñoz|arXiv (Cornell University)|Jun 12, 2020

Stochastic processes and financial applications参考文献 14被引用 11

一句话总结

本论文通过Lions型变换将具有严格单调密度耦合的局部一阶平均场博弈系统转化为带有斜向边界条件的拟线性椭圆型PDE，从而建立了该系统经典解与弱解的存在性与唯一性。关键贡献在于：当运行成本在零密度处趋于无穷（严格椭圆情形）时，证明了解的光滑性；当成本有下界（退化椭圆情形）时，通过粘性极限构造弱解，且在单调性假设下获得完整的唯一性与正则性结果。

ABSTRACT

We study the regularity and well-posedness of the local, first-order forward-backward mean field games system, assuming a polynomially growing cost function and a Hamiltonian of quadratic growth. We consider systems and terminal data that are strictly monotone in the density and study two different regimes depending on whether there exists a lower bound for the running cost function. The work relies on a transformation due to P.-L. Lions, which gives rise to an elliptic partial differential equation with oblique boundary conditions, that is strictly elliptic when the coupling is unbounded from below. In this case, we prove that the solution is smooth. When the problem is degenerate elliptic, we obtain existence and uniqueness of weak solutions analogous to those obtained by P. Cardaliaguet and P.J. Graber for the case of a terminal condition that is independent of the density. The weak solutions are shown to arise as viscous limits of classical solutions to strictly elliptic problems.

研究动机与目标

• 建立具有密度单调耦合的局部一阶平均场博弈系统适定性。
• 分析在两种情形下的解正则性：当f(·,0) ≡ −∞时为严格椭圆情形，当f有下界时为退化椭圆情形。
• 将Lions变换方法拓展至一阶MFG系统，将其转化为斜向导数问题。
• 通过严格椭圆问题的经典解的粘性极限，证明弱解的存在性与唯一性。
• 表明终端与运行成本的严格单调性可使解的正则性超越标准变分理论的范围。

提出的方法

• 利用Lions变换将前向-后向MFG系统转化为带有斜向边界条件的二阶拟线性椭圆型PDE。
• 在严格椭圆情形下，通过最大值原理与Bernstein方法建立先验估计，以有界解及其梯度。
• 运用非线性连续性方法与经典椭圆估计，建立经典解的C3,α与C2,α正则性。
• 通过令粘性系数ǫ → 0，构造弱解为严格椭圆问题经典解的几乎处处极限。
• 采用Lasry-Lions单调性程序结合能量估计，证明弱解的唯一性。
• 通过光滑化与粘性解理论，验证极限下分布次/超解性质的合理性。

实验结果

研究问题

• RQ1 当运行成本f(·,0) ≡ −∞时，一阶MFG系统在何种条件下存在经典解？
• RQ2 f与g在密度变量上的严格单调性相较于标准情形（gm ≡ 0）如何影响解的正则性？
• RQ3 退化椭圆MFG系统的弱解能否作为严格椭圆问题经典解的粘性极限获得？
• RQ4 椭圆退化性（χ → 0）在正则性损失中的作用是什么？其与低密度区域有何关联？
• RQ5 弱解是否唯一？在退化情形下，其是否几乎处处保持终端与初始数据？

主要发现

• 在假设(M)、(H)、(F)、(G)与(SE)下，当f(·,0) ≡ −∞时，系统存在唯一经典解(u, m) ∈ C3,α(QT) × C2,α(QT)。
• 当f有下界（DE情形）时，弱解存在于(BV(QT) ∩ L∞(QT)) × (C([0,T], H−1(Td)) ∩ L∞(QT))，且为ǫ → 0时经典解的几乎处处极限。
• 弱解唯一：若(u′, m′)为另一弱解，则在QT上几乎处处有m = m′，且在{m > 0}上几乎处处有u = u′，初始与终端数据一致。
• 在DE条件下，当数据与空间无关时，终端密度与值函数为全局Lipschitz连续。
• 粘性极限保持了原始MFG系统的结构，且所有先验估计在ǫ中一致，确保紧致性与收敛性。
• Lasry-Lions单调性程序结合能量估计与粘性解理论，是证明弱解情形下唯一性与稳定性的关键。