[论文解读] Existence of weak solutions to time-dependent mean-field games

Rita Ferreira, Diogo A. Gomes+1 more|arXiv (Cornell University)|Jan 12, 2020

Stochastic processes and financial applications参考文献 26被引用 4

一句话总结

本文建立了具有非局部耦合和退化抛物动力学的一类广义时变平均场博弈（MFG）弱解的存在性。通过采用高阶时空椭圆正则化方法并结合Schaefer不动点定理，作者证明了正则化问题的存在性与唯一性，随后利用Minty方法在正则化参数趋于零时取极限，得到在耦合项与哈密顿项满足一般单调性与正则性条件下的原始MFG系统弱解。

ABSTRACT

Here, we establish the existence of weak solutions to a wide class of time-dependent monotone mean-field games (MFGs). These MFGs are given as a system of degenerate parabolic equations with initial and terminal conditions. To construct these solutions, we consider a high-order elliptic regularization in space-time. Then, using Schaefer's fixed-point theorem, we obtain the existence and uniqueness for this regularized problem. Using Minty's method, we prove the existence of a weak solution to the original MFG. Finally, the paper ends with a discussion on congestion problems and density constrained MFGs.

研究动机与目标

• 建立一类具有非局部耦合与退化抛物动力学的时变平均场博弈弱解的存在性。
• 通过引入高阶时空正则化方法，解决具有广义单调耦合项与非光滑数据的MFG系统求解挑战。
• 将MFG理论扩展至包含初值与终值条件、非局部相互作用及潜在拥堵效应的情形。
• 分析密度约束型MFG系统，其中代理密度有上界，以建模人口分布的物理或社会约束。

提出的方法

• 对原始退化抛物MFG系统引入高阶时空椭圆正则化，将其转化为适定的统一抛物问题。
• 应用Schaefer不动点定理，在Sobolev型函数空间中证明正则化问题解的存在性与唯一性。
• 利用Minty方法在正则化参数趋于零时取极限，建立正则化解收敛于原始MFG系统弱解的性质。
• 通过变分形式与哈密顿-雅可比方程及福克-普朗克方程的弱形式，处理非线性与退化性。
• 定义适当的带约束函数空间（如密度的$L^1$，价值函数的$L^\rho$），并运用紧致性与弱收敛性论证。
• 通过引入允许密度的有界集合$\widehat{\mathcal{A}}_1$，并将其适配于约束设定下的不动点论证，处理密度约束。

实验结果

研究问题

• RQ1 在何种条件下，具有非局部耦合与退化扩散的时变平均场博弈存在弱解？
• RQ2 能否为具有广义单调耦合项与非光滑数据的MFG系统建立解的存在性？
• RQ3 如何将解理论扩展至包含密度约束（如$0 \leq m \leq M$）的情形？
• RQ4 高阶时空正则化在证明退化抛物MFG系统解的存在性中起何作用？
• RQ5 Minty方法能否有效应用于具有终值条件与非局部相互作用的时变MFG系统？

主要发现

• 作者在一般单调性与正则性假设下，证明了原始时变MFG系统弱解$(m, \tilde{u}) \in L^1(\Omega_T) \times L^\gamma((0,T); W^{1,\gamma}(\mathbb{T}^d))$的存在性。
• 当施加密度约束时，解满足几乎处处有$m \geq 0$且$m \leq M$。
• 对每个$\epsilon > 0$，正则化问题均有唯一解，且当$\epsilon \to 0$时，该解弱收敛于原始系统的弱解。
• 通过基于Morrey定理与Rellich–Kondrachov嵌入的紧致性论证，建立了收敛性，确保在$C^{2,l}(\overline{\Omega}_T)$中强收敛，其中$l \in (0,1)$。
• 该方法适用于具有非局部耦合$g(m, h(\boldsymbol{m}))$的MFG系统，其中$h$为测度值密度$\boldsymbol{m}$上的非线性算子，将适用范围扩展至非局部耦合情形。
• 即使哈密顿量$H$不严格凸或无强制性，只要$g$与$H$满足相应的增长条件，该存在性结果依然成立。