[论文解读] Displacement convexity for first-order mean-field games

Diogo A. Gomes, Tommaso Seneci|arXiv (Cornell University)|Jul 18, 2018

Point processes and geometric inequalities被引用 4

一句话总结

本论文通过扩展最优传输技术，将位移凸性推广至一阶平均场博弈（MFGs），证明在特定条件下，密度的$L^q$范数在时间上是凸的。通过将一种新颖的凸性框架应用于MFG规划问题，推导出新的先验估计，包括$L^q$范数的对数凸性以及即使在拥堵情况下也成立的统一$L^\infty$有界性。

ABSTRACT

Here, we consider the planning problem for first-order mean-field games (MFG). When there is no coupling between players, MFG degenerate into optimal transport problems. Displacement convexity is a fundamental tool in optimal transport that often reveals hidden convexity of functionals and, thus, has numerous applications in the calculus of variations. We explore the similarities between the Benamou-Brenier formulation of optimal transport and MFG to extend displacement convexity methods from to MFG. In particular, we identify a class of functions, that depend on solutions of MFG, that are convex in time and, thus, obtain new a priori bounds for solutions of MFG. A remarkable consequence is the log-convexity of $L^q$ norms. This convexity gives bounds for the density of solutions of the planning problem and extends displacement convexity of $L^q$ norms from optimal transport. Additionally, we prove the convexity of $L^q$ norms for MFG with congestion.

研究动机与目标

• 将最优传输中的位移凸性方法推广至一阶平均场博弈（MFGs），特别是规划问题。
• 识别一类依赖于MFG解的泛函，其在时间上为凸，从而获得新的先验估计。
• 建立一阶MFG中密度$L^q$范数的对数凸性，推广最优传输中的关键性质。
• 通过识别$L^q$范数凸性的条件，证明在拥堵情况下MFG解的统一$L^\infty$有界性。

提出的方法

• 将最优传输的Benamou-Brenier公式化方法适配至MFG框架，使用时间参数化的密度路径$\rho^t$。
• 沿MFG轨迹推导$\int U(m(x,t))\,dx$的二阶时间导数，以分析凸性。
• 应用带参数$\alpha$和$\beta$的加权凸性框架，以控制哈密顿-雅可比方程和连续性方程中的非线性。
• 利用矩阵迹不等式和曲率型估计，确保二阶导数非负，从而保证凸性。
• 对$\alpha$和$\beta$施加条件，以确保在$q$较大时二阶导数非负，从而保证$L^q$范数的凸性。
• 将所得凸性应用于推导密度$m(x,t)$的统一$L^\infty$有界性，且与时间无关。

实验结果

研究问题

• RQ1 位移凸性能否从最优传输推广至一阶平均场博弈？
• RQ2 在何种条件下，MFG密度的$L^q$范数在时间上是凸的？
• RQ3 在存在非零相互作用项的一般MFG设置中，最优传输中$L^q$范数的对数凸性是否仍然成立？
• RQ4 在拥堵存在的情况下，能否通过基于凸性的估计推导出密度的统一$L^\infty$有界性？
• RQ5 在拥堵MFG情形下，$\alpha$和$\beta$的何种参数约束可确保大$q$时$L^q$范数的凸性？

主要发现

• 在$\alpha$和$\beta$满足适当条件时，MFG密度$m(x,t)$的$L^q$范数在时间上对所有足够大的$q$均为凸。
• 在一阶MFG中建立了$L^q$范数的对数凸性，推广了最优传输中的关键性质。
• 在拥堵MFG情形下，当$\beta \geq 2$且$\alpha < \frac{2}{\beta-1}$，或$1 < \beta < 2$且$\alpha < 2$时，对于大$q$，$L^q$范数在时间上仍保持凸性。
• 获得了密度的统一$L^\infty$有界性：$\|m(\cdot,t)\|_{L^\infty} \leq \max\{\|m^0\|_{L^\infty}, \|m^T\|_{L^\infty}\}$，对所有$t \in [0,T]$成立。
• 在维度$d=1$时，即使$\alpha = \frac{2}{\beta-1}$或$\alpha = 2$，该界依然成立，原因在于缺少$1/d$校正项。
• 证明依赖于一种新颖的矩阵迹不等式，以控制曲率项，确保$L^q$泛函二阶导数的非负性。