Uniqueness of solutions to MFG systems with large discount

技术摘要：具有大折扣因子的平均场博弈（MFG）系统的解的唯一性

问题陈述
本文研究了一类具有大折扣因子 $\lambda$ 的平均场博弈（MFG）系统的解的唯一性。该系统记为 $(MFG_\lambda)$，由时空柱 $\mathbb{R}^n \times (0, \infty)$ 上的一个耦合前向-后向偏微分方程（PDE）系统组成：

1. 关于值函数 $u_\lambda$ 的哈密顿-雅可比-贝尔曼（HJB）方程：
   $$-\partial_t u_\lambda - \Delta u_\lambda + \frac{1}{\lambda}H(\lambda D u_\lambda, x) + \lambda u_\lambda = F(x, m_\lambda(t))$$
2. 关于人口密度 $m_\lambda$ 的福克-普朗克（FP）方程：
   $$\partial_t m_\lambda - \Delta m_\lambda - \text{div}(m_\lambda D_p H(\lambda D u_\lambda, x)) = 0$$
   其初始条件为 $m_\lambda(x, 0) = m_0(x)$。

此处，$H$ 是哈密顿量（在动量变量上是凸的），$F$ 是依赖于状态和人口分布的运行成本，$\lambda > 0$ 具有双重角色：它是时间折扣因子，同时也与控制成本成反比。作者将研究重点放在 $\lambda$ 足够大的情形。

动机与背景
本研究的动机源于 Bardi 和 Cardaliaguet [BC21] 的工作，他们证明了当 $\lambda \to \infty$ 时，$(MFG_\lambda)$ 的解收敛于非线性抛物型 PDE $(MF_\infty)$ 的解，而后者是一个 McKean-Vlasov 方程。虽然 $(MF_\infty)$ 在标准的 Cauchy-Lipschitz 理论下通常具有唯一解，但在有限但较大的 $\lambda$ 下，完整 MFG 系统的解的唯一性尚未得到确立。

现有的 MFG 理论中的唯一性结果通常依赖于：

• 单调性结构： 特别是 Lasry-Lions 单调性或位移单调性。
• 小规模假设： 与短时间跨度或弱相互作用相关。

本文识别出的这一情形是不同的。它依赖于“大折扣”参数 $\lambda$，而非单调性或短时间跨度。作者指出，随着 $\lambda$ 的增加，代理人对未来事件的兴趣降低，且“反应成本”变得更低，从而有效地导致系统向极限模型 $(MF_\infty)$ 退化。

方法论与初步结果
作者将分析限制在满足特定增长和正则性条件（具体而言，对于 $u_\lambda$ 满足空间下界和线性增长，以及其导数有界）的一类特定解上。

1. 先验估计（命题 2.1）： 作者建立了对于大 $\lambda$ 下解 $(u_\lambda, m_\lambda)$ 的一致估计。至关重要的是，他们证明了值函数 $u_\lambda$ 及其导数的缩放与 $1/\lambda$ 相关。值得注意的是，这些估计中的常数 $C$ 与扩散参数（粘性）无关，这是一个被强调为非常显著的特征。
2. 存在性（命题 2.2）： 通过取在有限时间区间 $[0, T]$ 上满足零终端条件 $u_\lambda(T) = 0$ 的系统解在 $T \to \infty$ 时的极限，建立了该类解的存在性。
3. 密度的稳定性（命题 2.3 与 推论 2.4）： 利用涉及随机微分方程（SDE）的概率表示，作者推导了两个密度解之间的 Wasserstein 距离 $d_1$ 的估计。这些估计取决于漂移项（$\lambda D u_\lambda$）之差。

核心技术贡献
本文的核心在于量化值函数的梯度与人口密度之间的关系，以及这种关系如何随着 $\lambda$ 的增大而趋于稳定。

1. 漂移项的收敛（命题 3.1）： 作者证明了一个定量收敛结果，表明项 $\lambda D u_\lambda$ 在 $\lambda \to \infty$ 时一致收敛于 $D_x F(x, m_\lambda(t))$。具体而言：
   $$\|\lambda D u_\lambda - D_x F(\cdot, m_\lambda(\cdot))\|_\infty \lesssim \frac{1}{\lambda}$$
   这意味着对于较大的 $\lambda$，驱动人口演化的漂移项几乎完全取决于当前状态的密度 $m_\lambda(t)$，而非其未来的轨迹。这弥合了 MFG 系统在时间上的非局部性质与极限 McKean-Vlasov 方程在时间上的局部性质之间的差距。

2. 梯度定量的稳定性（命题 3.4）： 实现唯一性的关键步骤是建立梯度差 $\lambda D u^1_\lambda - \lambda D u^2_\lambda$ 如何依赖于密度差 $m^1_\lambda - m^2_\lambda$。作者推导出了如下形式的估计：
   $$\|\lambda D u^1_\lambda(\cdot, t) - \lambda D u^2_\lambda(\cdot, t)\|_\infty \lesssim d_1(m^1_\lambda(t), m^2_\lambda(t)) + \int_t^\infty d_1(m^1_\lambda(r), m^2_\lambda(r)) e^{-(\lambda-\eta)(r-t)} dr$$
   该不等式表明，对于较大的 $\lambda$，未来的密度变化对当前梯度的影响呈指数级衰减。

3. 通过非局部 Grönwall 引理实现唯一性（定理 3.5）： 通过结合密度稳定性估计（推论 2.4）与梯度估计（命题 3.4），作者构建了两个潜在解之间距离的积分不等式。他们采用了一种专门的“未来积分”型 Grönwall 引理（引理 2.9），以证明如果 $\lambda$ 超过某个阈值 $\Lambda$，则该不等式的唯一解为零函数。因此，这两个解必须是恒等的。

主要结果
主要结果是 定理 3.5：在对 $H$ 和 $F$（具体为 $C^{2,\alpha}$ 正则性、凸性和 Lipschitz 连续性）满足标准假设的情况下，存在一个常数 $\Lambda > 0$，使得对于所有 $\lambda \geq \Lambda$，系统 $(MFG_\lambda)$ 在满足既定增长条件的函数类中存在唯一解。

该阈值 $\Lambda$ 取决于 $F$ 和 $H$ 的 Lipschitz 常数，但与粘性（扩散参数）无关。

意义与主张
本文声称识别了一种新的“渐近唯一性机制”，该机制超出了标准的单调性框架。其意义在于：

• “借用”唯一性： 证明策略有效地“借用”了极限 McKean-Vlasov 方程 $(MF_\infty)$ 的唯一性，并展示了这种唯一性在有限但较大的 $\lambda$ 下依然存在。
• 与粘性无关： 只要 $\lambda$ 足够大，该结果对扩散强度的大小均成立。
• 结构性洞察： 分析揭示了对于较大的 $\lambda$，MFG 系统的非局部时间依赖性变得可以忽略不计，从而允许系统表现得像一个局部时间的 McKean-Vlasov 方程。

局限性与范围
作者对其研究范围保持了审慎的态度：

• 解的类别： 唯一性仅针对满足特定增长条件（命题 2.1）的解进行证明。他们明确指出，无法排除在这一类别之外存在其他解的可能性。
• $F$ 的正则性： 目前的论证假设 $F$ 是关于 $m$ 的正则化泛函（例如卷积类型）。作者指出，若要将其扩展到对密度 $m(x,t)$ 的局部依赖，可能需要非退化的扩散，这是未来研究的一个方向。
• 极限行为： 虽然 $\lambda \to \infty$ 会产生唯一解，但本文并未声称如果极限问题 $(MF_\infty)$ 本身具有多解，则 $(MFG_\lambda)$ 也是唯一的，尽管他们推测二阶正则化在这些情况下仍可能强制实现唯一性。

综上所述，本文提供了一个严格的证明，表明大折扣因子能够强制实现 MFG 系统的唯一性，这提供了一种不同于单调性且独立于扩散参数的机制。