[論文レビュー] Existence of weak solutions to time-dependent mean-field games

Rita Ferreira, Diogo A. Gomes+1 more|arXiv (Cornell University)|Jan 12, 2020

Stochastic processes and financial applications参考文献 26被引用数 4

ひとこと要約

本稿では、非局所的結合項と退化する放物型ダイナミクスを有する広範なクラスの時間依存型平均場ゲーム（MFG）に対して、弱解の存在を確立する。高次の空間時間楕円型正則化とシュエーファーの不動点定理を用いて、正則化問題の解の存在と一意性を証明し、その後ミンティの方法を用いて正則化パラメータを0に近づける極限をとることで、一般の単調性および正則性条件の下で元のMFG系に対する弱解が得られる。

ABSTRACT

Here, we establish the existence of weak solutions to a wide class of time-dependent monotone mean-field games (MFGs). These MFGs are given as a system of degenerate parabolic equations with initial and terminal conditions. To construct these solutions, we consider a high-order elliptic regularization in space-time. Then, using Schaefer's fixed-point theorem, we obtain the existence and uniqueness for this regularized problem. Using Minty's method, we prove the existence of a weak solution to the original MFG. Finally, the paper ends with a discussion on congestion problems and density constrained MFGs.

研究の動機と目的

• 非局所的結合項と退化する放物型ダイナミクスを有する広範なクラスの時間依存型平均場ゲーム（MFG）に対して、弱解の存在を確立すること。
• 一般の単調な結合項と滑らかでないデータを有するMFG系を解く挑戦に、高次の空間時間正則化を導入することにより対処すること。
• 初期および終期条件、非局所的相互作用、および混雑効果を含む状況にまでMFG理論を拡張すること。
• 代理密度が上界で制限される密度制約付きMFGの解析を行うこと。これは、人口分布に物理的または社会的制約をモデル化する。

提案手法

• 元の退化する放物型MFG系に高次の空間時間楕円型正則化を導入し、適切に定義された一様放物型問題に変換すること。
• シュエーファーの不動点定理を用いて、ソボレフ型関数空間における正則化問題の解の存在と一意性を証明すること。
• 正則化パラメータが0に近づく極限において、ミンティの方法を用いて正則化解の収束を示し、元のMFG系に対する弱解の存在を確立すること。
• 非線形性と退化性に対処するため、ハミルトニアン–ジャコビ方程式およびフォッカー–プランク方程式の変分的・弱い定式化を用いること。
• 適切な関数空間（例：密度に対して$L^1$、価値関数に対して$L^\rho$）を定義し、制約を含む設定を扱う。コンパクト性および弱収束の議論を用いること。
• 密度制約を扱うために、許容密度の有界集合$\widehat{\mathcal{A}}_1$を導入し、この制約付き設定に適合した不動点議論を適応すること。

実験結果

リサーチクエスチョン

• RQ1 非局所的結合項と退化する拡散を有する時間依存型MFGに対して、弱解が存在する条件は何か？
• RQ2 一般の単調な結合項と滑らかでないデータを有するMFGに対して、解の存在を確立できるか？
• RQ3 密度制約（例：$0 \leq m \leq M$）を含む状況に解理論をどのように拡張できるか？
• RQ4 高次の空間時間正則化は、退化する放物型MFG系に対する存在証明においてどのような役割を果たすか？
• RQ5 ミンティの方法は、終期条件および非局所的相互作用を有する時間依存型MFGに効果的に適用可能か？

主な発見

• 著者らは、一般の単調性および正則性仮定の下で、元の時間依存型MFG系に対して弱解$(m, \tilde{u}) \in L^1(\Omega_T) \times L^\gamma((0,T); W^{1,\gamma}(\mathbb{T}^d))$の存在を証明した。
• 密度制約が課された場合には、$m \geq 0$および$m \leq M$が$\Omega_T$ almost everywhere で成立する。
• 正則化問題は各$\epsilon > 0$に対して一意な解を有し、この解は$\epsilon \to 0$のとき弱収束により元の系の弱解に収束する。
• コンパクト性の議論（モリィの定理およびRellich–Kondrachov埋め込みに基づく）により、収束が確立され、$C^{2,l}(\overline{\Omega}_T)$で強い収束が保証される（$l \in (0,1)$）。
• 非局所的結合項$g(m, h(\boldsymbol{m}))$を有するMFGに対しても本手法は適用可能であり、局所的結合項を超える範囲に拡張される。
• ハミルトニアン$H$が厳密に凸的または強制的でなくても、$g$および$H$の成長条件が満たされていれば、存在結果は成立する。