[論文レビュー] 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システムの解析における長年の問題を解決する。

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 $ のリプシッツ連続性を強化することで、点解釈を可能にする。
• 境界に近づく列における比較原理と極限論的議論を通じて、粘性解と一般化勾配の関係を確立する。
• 有界領域 $ \overline{\Omega} $ に理論を適用し、特異性が生じ得る境界における $ u $ と $ m $ の振る舞いに焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 値関数が滑らかでなく、状態空間が制約を受ける場合、平均場ゲーム（MFG）システムはどのように意味的に解釈可能となるか？
• RQ2 関数 $ u $ が $ C^1 $ でない場合でも、連続の方程式が点解釈可能であるための条件は何か？
• RQ3 値関数 $ u $ が不連続な勾配 $ Du $ を示す場合でも、境界における一般化勾配 $ D^+u(x) $ を用いて、密度 $ m $ の一貫したダイナミクスを定義できるか？
• RQ4 状態制約下で、値関数に保持される正則性特性（例：半連続性、リプシッツ連続性）は何か？ それらは解の存在をどのように支援するか？
• 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 $ でない場合でも、連続の方程式における $ Du $ を $ D^+u $ に置き換えることにより、MFGシステムの点解を定義可能となる。
• 測度の流れ $ m(t) $ を用いた一般化された解釈により、連続の方程式は、境界に特異部を発生させる可能性があるが、反射的または制約付きエージェントのダイナミクスと整合的である。
• 本稿では、値関数 $ u $ が $ [0,T] \times \overline{\Omega} $ 上でリプシッツ連続であり、測度の流れ $ m $ がカントロビッチ＝ルービンシュテイン距離に関してリプシッツ連続であることを確立した。これにより、従来の緩められた均衡手法に比べてより強い正則性が得られる。
• 解析により、MFGシステムが一般化勾配を用いて点解釈可能であることが確認され、制約付きMFG理論における長年の未解決問題が解消された。