[论文解读] Weak solutions for mean field games with congestion

P. Jameson Graber|arXiv (Cornell University)|Mar 16, 2015

Stochastic processes and financial applications参考文献 9被引用 12

一句话总结

本文建立了具有拥堵效应的平均场博弈系统弱解的短时间存在性与唯一性，其中哈密顿量对密度 $ m $ 表现出奇异依赖，例如 $ H = |p|^r / (r m^\alpha) $。关键贡献在于对 $ m $ 和 $ 1/m $ 的先验估计，使得在哈密顿量奇异的情形下可通过福克-普朗克分析与非线性偏微分方程技术实现紧致性与解的构造，该结果在 $ r $ 不过大时成立。

ABSTRACT

We study the short-time existence and uniqueness of solutions to a coupled system of partial differential equations arising in mean field game theory. It has the generic form $$ \left\{ \begin{array}{c} -\partial_t u - Δu + H(t,x,m, abla u) = f(t,x,m) \\ \partial_t m - Δm - \mathrm{div} \left(m abla_p H(t,x,m, abla u) ight) = 0 \end{array} ight. $$ plus initial-final and boundary conditions. The novelty of the problem is that the Hamiltonian $H(t,x,m,p)$ may take such forms as $m^{-α}|p|^r$ for some $α\geq 0$ and $r > 1$. Our main result is the existence of weak solutions for small times $T$ so long as $r$ is not too large, and uniqueness under additional constraints. The main ingredient in the proof is an a priori estimate on solutions to the Fokker-Planck equation. We also briefly consider existence and uniqueness of solutions to an optimal control problem related to mean field games.

研究动机与目标

• 建立具有强奇异依赖于密度 $ m $ 的哈密顿量（如 $ H = |p|^r / (r m^\alpha) $）的平均场博弈系统弱解的存在性与唯一性。
• 解决当 $ H $ 在 $ m \to 0 $ 时趋于无穷大，导致经典拟线性偏微分方程方法失效时，哈密顿量项的紧致性挑战。
• 通过证明哈密顿量在 $ \nabla u $ 中的增长率 $ r $ 满足特定条件时，将现有平均场博弈理论扩展至 $ H $ 与 $ m $ 无关的情形之外。
• 通过对偶性将平均场博弈系统与一个最优控制问题联系起来，表明博弈解与泛函 $ J $ 的极小化器等价。

提出的方法

• 为福克-普朗克方程的解导出先验估计 $ \|m\|_{\infty} + \|1/m\|_{\infty} \leq C $，以控制哈密顿量中的奇异性。
• 利用福克-普朗克方程的结构，对向量场 $ m \nabla_p H $ 进行有界性估计，确保足够可积性以实现紧致性。
• 应用拟线性抛物型理论中的紧致性准则与先验估计，构造小时间 $ T $ 下的弱解。
• 通过 Gâteaux 可微性与伴随方程，建立平均场博弈系统解与泛函 $ J(m,w) $ 的极小化器之间的等价性，其中 $ w = -m \nabla_p H $。
• 当 $ J $ 因 $ m $ 的奇异依赖而缺乏可微性时，使用 Fenchel-Rockafellar 对偶作为推广策略。

实验结果

研究问题

• RQ1 在什么 $ r $ 与 $ \alpha $ 条件下，具有拥堵哈密顿量 $ H = |p|^r / (r m^\alpha) $ 的平均场博弈系统在小时间 $ T $ 内存在弱解？
• RQ2 当 $ H $ 在 $ m \to 0 $ 时趋于无穷大时，是否可在奇异 $ H $ 情形下为福克-普朗克方程的解建立 $ m $ 与 $ 1/m $ 的先验界？
• RQ3 当哈密顿量对 $ m $ 呈非线性且奇异依赖，且经典拟线性方法失效时，如何在哈密顿量项中实现紧致性？
• RQ4 平均场博弈系统与关联的最优控制问题之间存在何种关系？能否通过泛函 $ J $ 的极小化来刻画解？
• RQ5 当 $ J $ 不具备 Gâteaux 可微性时，能否通过对偶方法将解的存在性与唯一性结果推广至当前假设之外？

主要发现

• 当 $ r $ 不过大时，具有拥堵哈密顿量 $ H = |p|^r / (r m^\alpha) $ 的平均场博弈系统在小时间 $ T $ 内存在弱解。
• 为福克-普朗克方程的解建立了先验估计 $ \|m\|_{\infty} + \|1/m\|_{\infty} \leq C $，有效控制了 $ H $ 的奇异行为。
• 在额外约束条件下（如 $ m $ 与 $ 1/m $ 有界，且相关泛函 $ J $ 严格凸），弱解的唯一性成立。
• 平均场博弈系统等价于在 $ (m,w) \in \mathcal{K} $ 上的极小化问题，其中 $ w = -m \nabla_p H $，且解对应于 $ J $ 的极小化器。
• 当 $ m $ 与 $ 1/m $ 有界时，泛函 $ J $ 在极小化点处具有 Gâteaux 可微性，从而可推导伴随方程并验证最优性。
• 该方法可通过 Fenchel-Rockafellar 对偶推广至更广泛情形，即使 $ J $ 因 $ m $ 的奇异依赖而缺乏可微性，仍可获得存在性结果。