[论文解读] A variational approach to second order mean field games with density constraints: The stationary case

Alpár R. Mészáros, Francisco J. Silva|arXiv (Cornell University)|Feb 20, 2015

Nonlinear Partial Differential Equations参考文献 45被引用 57

一句话总结

本文通过变分方法，证明了在有界区域上，带有密度约束（m ≤ 1 几乎处处）的二阶平稳均场博弈（Mean Field Game, MFG）系统弱解的存在性。通过将问题表述为具有Benamou-Brenier型泛函的凸优化问题，证明了对任意增长阶数 q′ 的幂函数型哈密顿量，其解存在，该证明利用了Sobolev正则性、次微分微分学及在标准资格条件不成立时的逼近技术。

ABSTRACT

In this paper we study second order stationary Mean Field Game systems under density constraints on a bounded domain $\\Omega \\subset \\mathbb{R}^d$. We show the existence of weak solutions for power-like Hamiltonians with arbitrary order of growth. Our strategy is a variational one, i.e. we obtain the Mean Field Game system as the optimality condition of a convex optimization problem, which has a solution. When the Hamiltonian has a growth of order $q' \\in ]1, d/(d-1)[$, the solution of the optimization problem is continuous which implies that the problem constraints are qualified. Using this fact and the computation of the subdifferential of a convex functional introduced by Benamou-Brenier, we prove the existence of a solution of the MFG system. In the case where the Hamiltonian has a growth of order $q'\\geq d/(d-1)$, the previous arguments do not apply and we prove the existence by means of an approximation argument.

研究动机与目标

• 严格证明在人口密度满足 m ≤ 1 几乎处处的约束下，二阶平稳均场博弈系统的弱解存在性。
• 构建一个变分框架，将MFG系统表述为包含Benamou-Brenier型泛函的凸最小化问题的最优性条件。
• 将现有存在性结果推广至哈密顿量具有任意增长阶数 q′ 的情形，包括标准资格条件失效的临界情形 q′ ≥ d/(d−1)。
• 通过引入正则化与逼近方案，处理优化问题中非严格凸且非光滑的性质。

提出的方法

• 将MFG系统表述为涉及电流 w 的 Lq-范数与能量项 F(x,m) 的凸最小化问题的最优性条件，同时满足连续性方程与密度约束。
• 利用变分法的直接法，证明在 W1,q(Ω) × Lq(Ω)d 中存在最小化元 (m,w)，其中 q > d。
• 利用 W1,q(Ω) ↪ C(Ω) 的嵌入性质（当 q > d 时），确保 m 的连续性，从而保证优化问题的约束资格条件成立。
• 对由Benamou-Brenier引入的凸泛函应用次微分微分学，推导出对偶变量 (u, λ, µ, p)，并导出MFG系统的弱形式。
• 在临界情形 q′ ≥ d/(d−1) 时，采用哈密顿量的正则化与 ε > 0 的逼近方案，通过Sobolev空间与Lebesgue空间中的弱收敛与几乎处处收敛，证明解的收敛性。
• 利用紧致性论证（Poincaré不等式、Sobolev嵌入），在 W1,q′(Ω) 与 Lq(Ω)d 中通过弱收敛提取收敛子列，并在正则化系统中取极限。

实验结果

研究问题

• RQ1 是否可以使用变分方法证明在密度约束 m ≤ 1 几乎处处下，二阶平稳MFG系统的弱解存在性？
• RQ2 当哈密顿量的增长阶数 q′ ≥ d/(d−1) 时，标准资格条件失效，此时存在性理论将如何变化？
• RQ3 在存在密度约束的条件下，如何计算Benamou-Brenier型泛函的次微分？
• RQ4 在非光滑情形下，MFG系统中的拉格朗日乘子 µ 和 p 是否可解释为分别支撑于 {m=0} 和 {m=1} 的测度？

主要发现

• 对于增长阶数 q′ ∈ (1, d/(d−1)) 的幂函数型哈密顿量，凸优化问题的解 (m,w) 是连续的，这确保了约束资格条件成立，从而可直接应用次微分微分学。
• 证明了MFG系统（MFGq）在分布意义下存在弱解 (u, m, λ, µ, p)，其中 µ 和 p 分别为支撑于 {m=0} 和 {m=1} 的非负测度。
• 在临界情形 q′ ≥ d/(d−1) 时，通过使用正则化哈密顿量的逼近方案，证明了解的存在性，且解列 (uε, mε, wε) 在 W1,q′(Ω) × W1,q(Ω) × Lq(Ω)d 中收敛于极限 (u, m, w)。
• 极限系统满足MFG方程的弱形式，其中第一式包含一个测度值项 ρ = γ − (1/q′)|∇u|q′dx，且最终不等式 (5.3) 暗示了弱集中性质 ⟨µ − p, m⟩ ≤ 0。
• 本文证明了对偶变量 p 作为约束 m ≤ 1 的拉格朗日乘子，其支撑包含于 {m = 1}，而 µ 的支撑位于 {m = 0}。
• 分析表明，即使标准PDE估计失效，该变分方法依然有效，其关键在于依赖凸对偶性与逼近技术。