[论文解读] Mean Field Games with state constraints: from mild to pointwise solutions of the PDE system

Piermarco Cannarsa, Rossana Capuani+1 more|arXiv (Cornell University)|Dec 29, 2018

Stochastic processes and financial applications参考文献 33被引用 39

一句话总结

本文通过证明值函数的全局半凹性，为带有状态约束的平均场博弈（MFG）建立了严格的数学框架，使得即使在值函数非光滑且状态空间有界的情况下，也能定义MFG系统的逐点解。关键贡献在于通过广义梯度与粘性解重新诠释连续性方程，解决了长期存在的约束MFG系统分析中的PDE解释问题。

ABSTRACT

Mean Field Games with state constraints are differential games with infinitely many agents, each agent facing a constraint on his state. The aim of this paper is to provide a meaning of the PDE system associated with these games, the so-called Mean Field Game system with state constraints. For this, we show a global semiconvavity property of the value function associated with optimal control problems with state constraints.

研究动机与目标

• 为玩家被限制在有界区域内的MFG系统提供数学上严谨的解释。
• 解决在值函数非光滑且测度在边界处出现奇点时，带状态约束MFG中连续性方程缺乏一致解概念的问题。
• 在状态约束下建立值函数的半凹性，从而支持广义梯度与逐点解的定义。
• 通过推导更强的正则性与一致性条件，弥合弱（松弛）均衡与经典PDE解之间的差距。

提出的方法

• 利用非光滑分析技术，证明带状态约束的最优控制问题中值函数的全局半凹性。
• 通过极限次微分定义边界点处的广义梯度 $ D^+u(x) $，从而实现哈密顿-雅可比方程的一致解释。
• 通过沿允许方向的一阶导数分析，提出一种新的连续性方程形式，即使 $ u $ 不属于 $ C^1 $，也使用广义梯度 $ Du $ 进行表述。
• 以先前工作中提出的松弛MFG均衡概念为基础，进一步强化正则性至 $ u $ 与 $ m $ 的Lipschitz连续性，从而实现逐点解释。
• 通过比较原理与逼近边界序列的极限论证，建立粘性解与广义梯度之间的联系。
• 将理论应用于有界区域 $ \overline{\Omega} $，重点关注 $ u $ 与 $ m $ 在边界处的行为，其中可能出现奇点。

实验结果

研究问题

• RQ1 当值函数非光滑且状态空间受约束时，如何对MFG系统进行有意义的解释？
• RQ2 在缺乏 $ C^1 $ 正则性的情况下，何种条件可确保带状态约束MFG中连续性方程可实现逐点解释？
• RQ3 即使 $ Du $ 不连续，能否利用边界处的广义梯度 $ D^+u(x) $ 定义密度 $ m $ 的一致动力学？
• RQ4 在状态约束下，哪些正则性性质（如半凹性、Lipschitz连续性）被保留，且如何支持解的存在性？
• RQ5 如何将松弛MFG均衡的概念升级，以获得PDE系统的经典型解？

主要发现

• 与状态约束下最优控制问题相关的值函数 $ u $ 具有全局半凹性，这保证了在每一点（包括边界）都存在广义梯度 $ D^+u(x) $。
• 在边界 $ \partial\Omega $ 上，沿满足 $ \langle \theta, \nu(x) \rangle \leq 0 $ 的允许方向 $ \theta $，$ u $ 的单侧导数满足 $ \limsup_{h \to 0^+} \frac{u(x+h\theta') - u(x)}{h} \leq \min_{p \in D^+u(x)} \langle p, \theta \rangle $，从而为哈密顿-雅可比方程提供了统一解释。
• 广义梯度 $ D^+u(x) $ 允许在 $ u $ 不属于 $ C^1 $ 的情况下，通过在连续性方程中以 $ D^+u $ 替代 $ Du $，定义MFG系统的逐点解。
• 连续性方程通过测度流 $ m(t) $ 的形式以广义方式解释，该测度流可能在边界处产生奇异部分，与反射或受约束代理人的动力学一致。
• 本文证明了值函数 $ u $ 在 $ [0,T] \times \overline{\Omega} $ 上为Lipschitz连续，且测度流 $ m $ 关于Kantorovich-Rubinstein度量也为Lipschitz连续，其正则性强于以往的松弛均衡方法。
• 分析结果确认，通过广义梯度可对MFG系统实现有意义的逐点解释，解决了约束MFG理论中长期存在的开放问题。