Uniqueness of synchronized stationary equilibria in the Kuramoto mean field game

技术摘要：Kuramoto 平均场博弈中同步稳态均衡的唯一性

问题陈述
本文探讨了 Kuramoto 平均场博弈（MFG）中稳态纳什均衡的结构唯一性。该模型描述了一群相位振子，其中每个智能体最小化一个包含 Kuramoto 型耦合与控制努力的折现成本泛函。虽然经典的 Kuramoto 模型在相互作用强度 $\kappa$ 超过临界阈值 $\kappa_c$ 时，表现出从非相干到同步的相变，且该相变机制已得到充分理解，但博弈论情境引入了非单调性。在此类非单调 MFG 中，理论上可能存在多个非平凡纳什均衡共存。本文解决的核心问题是：从分岔点处的均匀态涌现出的同步均衡分支（在旋转意义下）是否唯一，以及当相互作用参数趋近于临界阈值时，该分支是否平滑收敛至均匀分布。

Carmona、Cormier 和 Soner [CCS23] 的先前工作确立了当 $\kappa > \kappa_c$ 时同步均衡的存在性，并证明了当 $\kappa \to \infty$ 时它们收敛至完全同步。他们推测，支配这些均衡的标量自洽映射是严格凹的，这将意味着在分岔点附近具有唯一性和平滑收敛性。Cesaroni 和 Cirant [CC24] 的部分结果仅利用变分方法证明了强耦合极限下的唯一性，而分岔阈值附近的行为仍悬而未决。

方法论
证明过程通过分析标量自洽映射 $F_\kappa(\gamma) = \kappa \mu_\gamma(\cos)$ 进行，其中 $\gamma$ 代表序参量（群体平均同步力），$\mu_\gamma$ 是由值函数 $\phi_\gamma$ 导出的均衡测度。核心技术目标是证明 $F_\kappa$ 在 $[0, \infty)$ 上是严格凹的。

1. 无量纲化简化：利用无量纲变量 $\zeta$（对 $\gamma$ 重缩放）和 $v$（对值函数重缩放）重新表述问题，将 Hamilton-Jacobi-Bellman (HJB) 方程简化为稳态形式：
   $$-v_{xx} + \lambda v + \frac{1}{2}v_x^2 = -\zeta \cos x$$
   其中 $\lambda = 2\beta/\sigma^2$。原映射的凹性等价于 $A(\zeta) := \mu_\zeta(\cos)$ 的严格凹性。

2. 二阶导数的分解：二阶导数 $A''(\zeta)$ 被分解为涉及均衡密度 $f = e^{-v}/Z$ 矩的两项：
   $$A''(\zeta) = -\lambda \int_T w^3 f \, dx - 3 \int_T w z^2 f \, dx$$
   其中 $w$ 是中心化的得分函数（与值函数的导数相关），$z = v_x$。两个被积函数均无明显的符号，且标准的分部积分估计无法确定其和的符号。

3. 形状估计与几何分析：证明依赖于在区间 $(0, \pi)$ 上建立值函数 $v$ 及其导数的精确“形状估计”：

   • 引理 3.1：确立 $u = v_x$ 是一个正向的、凹的“驼峰”，并向 $\pi$ 方向“倾斜”。关键在于证明商 $u/\sin x$ 是单调非减的。这是通过对跟踪 Wronskian 和归一化曲率的耦合常微分方程组进行迭代论证（bootstrapping argument）实现的。
   • 引理 3.2：提供了重缩放导数 $Z = v_{x\zeta}/\sin x$ 的界限，表明 $0 \le Z_x \le uZ$。

4. 矩的符号控制：

   • 立方矩（$\int w^3 f$）：证明利用代数代换，将积分核重写为变量 $C = \cos \theta$ 的函数。这将问题转化为分析在推前密度 $\eta$ 下 $\cos \theta$ 的中心化立方矩。符号的确定依赖于证明 $\eta$ 是非增的。这种单调性源于值函数增量的新颖“几何平均单调性”性质（引理 4.2），该性质结合了 $u$ 的凹性与 $Z$ 的界限。随后，一个抽象不等式（引理 4.3）保证了对非增密度而言，立方矩非负。
   • 梯度矩（$\int w z^2 f$）：证明采用了关于 $x = \pi/2$ 的反射论证。通过建立 $w$ 的“中心正性”性质（引理 4.5）——具体而言，即 $w$ 对对称且非减的测试权重具有正积分——并结合非减函数的相关不等式，证明了梯度矩严格为正。

主要贡献与结果
本文确立了以下主要定理：

• 严格凹性：对于所有参数 $\beta, \sigma, \kappa > 0$，标量自洽映射 $F_\kappa$ 在 $[0, \infty)$ 上是严格凹的。这解决了 [CCS23] 的猜想。
• 唯一性：对于 $\kappa \le \kappa_c$，唯一的稳态均衡是均匀分布。对于 $\kappa > \kappa_c$，存在唯一的同步稳态均衡（在环面旋转意义下）。
• 光滑性与收敛性：同步均衡的密度 $\mu_\kappa$ 关于 $\kappa$ 在 $\kappa > \kappa_c$ 时是 $C^\infty$ 光滑的，并且当 $\kappa \downarrow \kappa_c$ 时平滑收敛至均匀密度。

意义
本文声称解决了 Kuramoto MFG 在整个超临界区域（包括发生相变的临界邻域）的结构唯一性问题。这一区域此前无法通过 [CC24] 中使用的能量方法触及，该方法仅提供了足够大耦合强度下的结果。通过证明自洽映射的严格凹性，这项工作确认了该博弈论情境中的同步相变选择了一个单一的、平滑的均衡分支，这类似于经典 McKean–Vlasov 极限中的行为，但它是通过对 Hamilton–Jacobi–Bellman 方程及相关均衡测度的独特分析推导出来的。特别是几何平均单调性以及将二阶导数分解为受控矩的技术，被呈现为实现该结果的主要技术创新。