[论文解读] An ergodic problem for Mean Field Games: qualitative properties and numerical simulations

Simone Cacace, Fabio Camilli+2 more|arXiv (Cornell University)|Jan 26, 2018

Advanced Mathematical Modeling in Engineering参考文献 4被引用 6

一句话总结

本文研究了在小噪声条件下均场博弈（MFG）系统的遍历极限，分析了幂函数型和对数型非线性项下有效哈密顿量 $\bar{H}$ 与漂移项 $\bar{b}$ 的定性性质。结果表明，在对数型情况下（$\nabla_P\bar{H} = \bar{b}$）MFG结构得以保持，而在幂函数型情况下（$\nabla_P\bar{H} \neq \bar{b}$）则被破坏，该结论通过有限差分格式和对偏差 $\mathcal{R}$ 的收敛性分析得到数值验证。

ABSTRACT

This paper is devoted to some qualitative descriptions and some numerical results for ergodic Mean Field Games systems which arise, e.g., in the homogenization with a small noise limit. We shall consider either power type potentials or logarithmic type ones. In both cases, we shall establish some qualitative properties of the effective Hamiltonian $\bar H$ and of the effective drift $\bar b$. In particular we shall provide two cases where the effective system keeps/looses the Mean Field Games structure, namely where $ abla_P \bar H(P,α)$ coincides or not with $\bar b(P, α)$. On the other hand, we shall provide some numerical tests validating the aforementioned qualitative properties of $\bar H$ and $\bar b$. In particular, we provide a numerical estimate of the discrepancy $ abla_P \bar H(P,α)-\bar b(P, α)$.

研究动机与目标

• 研究均场博弈在小噪声极限下有效哈密顿量 $\bar{H}$ 与漂移项 $\bar{b}$ 的定性行为。
• 确定遍历有效系统在何种条件下保持MFG结构，即判断 $\nabla_P\bar{H} = \bar{b}$ 是否成立。
• 通过周期域上的有限差分格式，数值验证理论结果，特别是偏差 $\nabla_P\bar{H} - \bar{b}$。
• 分析不同非线性形式下 $\bar{H}$ 与 $\bar{b}$ 在 $|P| \to \infty$ 时的渐近行为。
• 确认在网格细化下，关系式 $\partial_P\bar{H} = \bar{b} - \alpha \int V_m \tilde{m} m\,dy$ 中数值误差的收敛阶。

提出的方法

• 在环面 $\mathbb{T}^n$ 上求解均场博弈细胞问题，其中 $V(y,m) = v(y) + m^q$（幂函数型）和 $V(y,m) = v(y) + \log m$（对数型），$v$ 为1-周期且Lipschitz连续。
• 通过均场博弈系统（3）的解 $(u,m)$ 计算 $\bar{H}(P,\alpha)$ 与 $\bar{b}(P,\alpha)$，其中 $\bar{b}(P,\alpha) = \int_{\mathbb{T}^n} (\nabla u + P) m\,dy$。
• 通过数值求解线性化细胞问题（6）中的 $\tilde{m}_i$，计算残差 $\mathcal{R}(P,\alpha) = \left| \alpha \int V_m \tilde{m} m\,dy \right|$，该量度量 $\nabla_P\bar{H}$ 与 $\bar{b}$ 之间的偏差。
• 在均匀网格上应用二阶有限差分格式对PDE进行离散化，$\mathbb{T}^1$ 上采用 $N$ 个节点，$P \in [-10,10]$，$\alpha \in [1,20]$ 的参数网格为 $51 \times 51$。
• 估计误差 $\mathcal{E}_\infty = \left\| \partial_P\bar{H} - \bar{b} + \alpha \int V_m \tilde{m} m\,dy \right\|_\infty$，并在网格细化下分析其收敛速率。
• 通过直接计算残差与有限差分近似 $\|m_{(P,\alpha)}\|_{L^{q+1}}^{q+1}$ 两种方式，验证恒等式中导数项的正确性。

实验结果

研究问题

• RQ1 在何种势函数 $V(y,m)$ 条件下，有效系统能保持均场博弈结构，即 $\nabla_P\bar{H} = \bar{b}$？
• RQ2 对于幂函数型非线性项，当 $|P| \to \infty$ 时，有效哈密顿量 $\bar{H}(P,\alpha)$ 的渐近行为如何？
• RQ3 在恒等式 $\partial_P\bar{H} = \bar{b} - \alpha \int V_m \tilde{m} m\,dy$ 中，误差 $\mathcal{E}_\infty$ 的数值收敛阶是多少？
• RQ4 对数势 $V(y,m) = v(y) + \log m$ 是否导致 $\bar{H}(P,\alpha)$ 具有可分结构，且 $\bar{b}$ 是否与 $\alpha$ 无关？
• RQ5 残差 $\mathcal{R}(P,\alpha)$ 在参数空间中的行为如何？在对数情况下是否趋于零？

主要发现

• 对于幂函数型势 $V(y,m) = v(y) + m^q$，MFG结构被破坏：$\nabla_P\bar{H}(P,\alpha) \neq \bar{b}(P,\alpha)$，数值模拟中非零残差 $\mathcal{R}(P,\alpha)$ 证实了这一点。
• 在对数型情况下 $V(y,m) = v(y) + \log m$，残差消失（$\mathcal{R}(P,\alpha) = 0$），原因在于 $V_m = 1/m$ 且 $\tilde{m}$ 的均值为零，从而确认 $\nabla_P\bar{H} = \bar{b}$。
• 对于 $q=1$ 和 $q=2$，数值误差 $\mathcal{E}_\infty$ 在网格细化下均呈现一阶收敛，表明有限差分格式具有第一阶收敛性。
• 当 $|P| \to \infty$ 时，有 $\bar{H}(P,\alpha)/P^2 \to 1/2$ 且 $|\bar{b}(P,\alpha) - P|/P \to 0$，与命题2.1-(iv)预测的渐近行为一致。
• 在对数型情况下，$\bar{H}(P,\alpha)$ 关于 $P$ 是凸的，且 $\bar{b}(P,\alpha)$ 与 $\alpha$ 无关，验证了理论上的变量分离。
• 在对数型情况下，$\mathcal{E}_\infty$ 的 $L^\infty$ 范数在 $\alpha$ 变化下保持恒定，并呈现一阶收敛，验证了理论恒等式。