[论文解读] Existence for stationary mean field games with quadratic Hamiltonians with congestion

Diogo A. Gomes, Hiroyoshi Mitake|arXiv (Cornell University)|Jul 31, 2014

Stochastic processes and financial applications参考文献 19被引用 7

一句话总结

本文在数据具有较弱正则性和单调性条件的前提下，通过引入一类新型先验估计与延拓法，证明了具有二次哈密顿函数和拥堵效应的静止平均场博弈系统光滑解的存在性与唯一性，其中奇异性源于哈密顿函数中对密度 $ m $ 的逆依赖。该奇异性使得标准存在性技术难以应用。

ABSTRACT

In this paper, we investigate the existence and uniqueness of solutions to a stationary mean field game model introduced by J.-M. Lasry and P.-L. Lions. This model features a quadratic Hamiltonian with possibly singular congestion effects. Thanks to a new class of a-priori bounds, combined with the continuation method, we prove the existence of smooth solutions in arbitrary dimensions.

研究动机与目标

• 解决长期悬而未决的开放问题：在具有二次哈密顿函数和拥堵效应的静止平均场博弈系统中，光滑解的存在性问题。
• 克服哈密顿项 $ \frac{|Du|^2}{2m^\alpha} $ 在 $ m \to 0 $ 时出现的奇异性所带来的根本性挑战，该奇异性使标准存在性方法失效。
• 建立一类新的先验估计，以控制密度的倒数 $ m^{-1} $，从而支持正则性与紧致性论证。
• 利用延拓法在任意维度下证明经典解的存在性，即使势函数 $ V $ 仅关于 $ m $ 非减。
• 在 $ V $ 关于 $ m $ 严格递增的假设下，提供一个自包含的唯一性证明，扩展了先前的结果。

提出的方法

• 引入一类新型先验估计，以控制 $ \|m^{-1}\|_{L^\infty} $，这对处理哈密顿函数中具有奇异性拥堵项至关重要。
• 利用延拓法将一个简单问题（$ \alpha = 0 $ 时）连续变形为完整系统，依赖于所有索伯列夫空间中的一致先验估计，以确保同伦路径上解的存在性。
• 应用椭圆正则性理论与索伯列夫嵌入，将 $ L^p $ 估计提升为在光滑数据条件下 $ u $ 和 $ m $ 的 $ C^\infty $ 正则性。
• 利用耦合系统的结构与新的 $ m^{-1} $ 估计，建立 $ u $ 和 $ m $ 的 $ W^{2,p} $ 正则性。
• 通过添加 $ \varepsilon \arctan(m) $ 到 $ V $ 的扰动方法，使 $ V $ 严格递增，从而保证唯一性，随后取极限恢复非严格递增情形。
• 采用分部积分与能量型估计于两个解之差，证明唯一性，利用系统在 $ \alpha \in [0,2] $ 时的类似凸性结构。

实验结果

研究问题

• RQ1 尽管在 $ m \to 0 $ 时哈密顿函数中存在奇异性，是否仍可建立具有二次哈密顿函数和拥堵效应的静止平均场博弈系统光滑解的存在性？
• RQ2 在存在拥堵效应的情况下，为控制逆密度 $ m^{-1} $，需要哪些新型先验估计？
• RQ3 延拓法是否可应用于此类奇异系统，以在任意维度下证明存在性？
• RQ4 在何种 $ V $ 与 $ b $ 的条件下，经典解的唯一性成立？
• RQ5 是否可将存在性结果推广至 $ V $ 仅关于 $ m $ 非减而非严格递增的情形？

主要发现

• 作者在 $ V $、$ b $ 具有较弱假设且 $ \alpha \in [0,1) $ 的条件下，证明了静止平均场博弈系统存在经典解 $ (u, m) \in C^\infty(\mathbb{T}^d) \times C^\infty(\mathbb{T}^d) $，且满足 $ m > 0 $。
• 推导出一类新型先验估计，可控制 $ \|m^{-1}\|_{L^\infty} $，这对处理奇异项 $ \frac{|Du|^2}{2m^\alpha} $ 至关重要。
• 成功将延拓法应用于完整系统，依赖于所有索伯列夫空间中的一致有界性，确保了同伦路径上解的存在性。
• 在 $ V $ 严格递增的条件下，通过两个解之差的能量估计，建立了经典解的唯一性，表明关键恒等式 (A.3) 左侧非负。
• 通过扰动方法将存在性结果推广至 $ V $ 仅关于 $ m $ 非减的情形：在 $ V $ 中加入 $ \varepsilon \arctan(m) $，求解严格递增情形，再利用紧致性取极限。
• 证明依赖于椭圆正则性与逐步提升（bootstrapping）技术，将 $ L^p $ 解提升为 $ C^\infty $ 解，从而在光滑数据下确认了解的光滑性。