[論文レビュー] Weak solutions for mean field games with congestion

P. Jameson Graber|arXiv (Cornell University)|Mar 16, 2015

Stochastic processes and financial applications参考文献 9被引用数 12

ひとこと要約

本稿は、密度 $ m $ に対して特異的依存を示すハミルトニアン $ H = |p|^r / (r m^\alpha) $ を持つコンゲスト効果を伴う平均場ゲーム系に対して、短時間における弱解の存在および一意性を確立する。主な貢献は、$ m $ および $ 1/m $ に対する事前推定であり、これにより、フォッカー・プランク解析と非線形偏微分方程式技法を用いてコンパクト性を確立し、解を構成可能となる。これは $ r $ が大きすぎない場合に有効である。

ABSTRACT

We study the short-time existence and uniqueness of solutions to a coupled system of partial differential equations arising in mean field game theory. It has the generic form $$ \left\{ \begin{array}{c} -\partial_t u - Δu + H(t,x,m, abla u) = f(t,x,m) \\ \partial_t m - Δm - \mathrm{div} \left(m abla_p H(t,x,m, abla u) ight) = 0 \end{array} ight. $$ plus initial-final and boundary conditions. The novelty of the problem is that the Hamiltonian $H(t,x,m,p)$ may take such forms as $m^{-α}|p|^r$ for some $α\geq 0$ and $r > 1$. Our main result is the existence of weak solutions for small times $T$ so long as $r$ is not too large, and uniqueness under additional constraints. The main ingredient in the proof is an a priori estimate on solutions to the Fokker-Planck equation. We also briefly consider existence and uniqueness of solutions to an optimal control problem related to mean field games.

研究の動機と目的

• ハミルトニアンが密度 $ m $ に対して強い特異的依存を示す、例えば $ H = |p|^r / (r m^\alpha) $ のような平均場ゲーム系に対して、弱解の存在および一意性を確立すること。
• ハミルトニアンが $ m \to 0 $ の際に発散する場合に、$ H $ 項におけるコンパクト性の課題に対処すること。これは、古典的準線形偏微分方程式手法が無効になる状況である。
• ハミルトニアンが $ m $ に依存しない場合に限らない既存の平均場ゲーム理論を、$ \nabla u $ におけるハミルトニアンの成長率 $ r $ に関する条件下で拡張すること。
• 双対性を用いて平均場ゲーム系と最適制御問題を結びつけ、ゲームの解と汎関数 $ J $ の最小化子との等価性を示すこと。

提案手法

• フォッカー・プランク方程式の解に対して、$ \|m\|_{\infty} + \|1/m\|_{\infty} \leq C $ という事前推定を導出することにより、$ H $ の特異性を制御する。
• フォッカー・プランク方程式の構造を用いて、ベクトル場 $ m \nabla_p H $ をバインドし、コンパクト性に十分な可積分性を保証する。
• 準線形放物型理論からのコンパクト性基準および事前推定を応用し、小さな時間 $ T $ に対して弱解を構成する。
• ゲートックス微分可能性および随伴方程式を用いて、平均場ゲーム系の解と汎関数 $ J(m,w) $ の最小化子との間の等価性を確立する。ここで $ w = -m \nabla_p H $ である。
• $ J $ が $ m $ に特異的依存により微分不能となる場合の一般化戦略として、フェンヒェル＝ロカファラー双対性を用いる。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアン $ H = |p|^r / (r m^\alpha) $ を持つコンゲスト効果を伴う平均場ゲーム系が、短時間 $ T $ に対して弱解を有するための $ r $ および $ \alpha $ に関する条件は何か？
• RQ2 ハミルトニアン $ H $ が $ m \to 0 $ の際に発散する場合でも、特異的 $ H $ の下でフォッカー・プランク方程式に対して $ m $ および $ 1/m $ に対する事前推定を確立できるか？
• RQ3 ハミルトニアンが $ m $ に対して非線形的かつ特異的に依存する場合、特に古典的準線形手法が失敗する状況で、$ H $ 項におけるコンパクト性をどのように達成できるか？
• RQ4 平均場ゲーム系と関連する最適制御問題との関係は何か？また、汎関数 $ J $ の最小化を用いて解を特徴づけられるか？
• RQ5 $ J $ がゲートックス微分不能である場合、双対性手法を用いて、現在の仮定を超えて解の存在および一意性を拡張できるか？

主な発見

• ハミルトニアン $ H = |p|^r / (r m^\alpha) $ を持つコンゲスト効果を伴う平均場ゲーム系に対して、$ r $ が大きすぎない限り、短時間 $ T $ に対して弱解が存在する。
• フォッカー・プランク方程式の解に対して、$ \|m\|_{\infty} + \|1/m\|_{\infty} \leq C $ という事前推定が確立され、$ H $ の特異的挙動が制御される。
• $ m $ および $ 1/m $ の有界性、および関連汎関数 $ J $ の強い凸性といった追加制約の下で、弱解の一意性が成立する。
• 平均場ゲーム系は、$ w = -m \nabla_p H $ である $ (m,w) \in \mathcal{K} $ 上の最小化問題と等価であり、解は $ J $ の最小化子に対応する。
• $ m $ および $ 1/m $ が有界である場合、汎関数 $ J $ は最小化点でゲートックス微分可能であり、随伴方程式が導出可能で最適性の検証が可能となる。
• フェンヒェル＝ロカファラー双対性を用いることで、この手法はより広範な設定へ拡張可能であり、$ m $ に特異的依存があるために $ J $ が微分不能であっても、存在結果が得られる。