[論文レビュー] Classical and weak solutions to local first-order mean field games through elliptic regularity

Sebastian Muñoz|arXiv (Cornell University)|Jun 12, 2020

Stochastic processes and financial applications参考文献 14被引用数 11

ひとこと要約

本稿では、密度に関して厳密に単調な結合を有する局所的1階平均場ゲーム系に対して、古典解および弱解の存在と一意性を確立する。Lions型変換を用いて、系を斜交境界条件を伴う非線形楕円型偏微分方程式に還元する。主な貢献は、走行コストがゼロ密度で発散する（厳密に楕円型）場合に滑らかな古典解を証明することであり、コストが下から有界である（退化楕円型）場合には、粘性極限を用いて弱解を構成する。単調性仮定の下で完全な一意性および正則性結果を得る。

ABSTRACT

We study the regularity and well-posedness of the local, first-order forward-backward mean field games system, assuming a polynomially growing cost function and a Hamiltonian of quadratic growth. We consider systems and terminal data that are strictly monotone in the density and study two different regimes depending on whether there exists a lower bound for the running cost function. The work relies on a transformation due to P.-L. Lions, which gives rise to an elliptic partial differential equation with oblique boundary conditions, that is strictly elliptic when the coupling is unbounded from below. In this case, we prove that the solution is smooth. When the problem is degenerate elliptic, we obtain existence and uniqueness of weak solutions analogous to those obtained by P. Cardaliaguet and P.J. Graber for the case of a terminal condition that is independent of the density. The weak solutions are shown to arise as viscous limits of classical solutions to strictly elliptic problems.

研究の動機と目的

• 密度に単調な結合を有する局所的1階平均場ゲーム系の適切性（well-posedness）を確立すること。
• 2つの状態の下で解の正則性を分析すること：発散する走行コスト（f(·,0) ≡ −∞）のとき（厳密に楕円型）と、fが下から有界であるとき（退化楕円型）。
• Lions変換法を1階MFG系に拡張し、それらを斜交微分条件問題に変換すること。
• 厳密に楕円型問題の古典解の粘性極限を通じて、弱解の存在と一意性を証明すること。
• 終端コストおよび走行コストの密度変数に関する厳密な単調性が、標準的変分理論を上回る正則性をもたらすことを示すこと。

提案手法

• Lionsの変換を用いて、前向き・後向きMFG系を斜交境界条件を伴う2階非線形楕円型偏微分方程式に変換する。
• 最大原理およびBernstein法による事前推定を用い、厳密に楕円型状態で解およびその勾配の有界性を示す。
• 非線形連続性法および古典的楕円型推定を用いて、古典解のC3,αおよびC2,α正則性を確立する。
• 粘性項が消える（ǫ → 0）厳密に楕円型問題の古典解の逐次列のa.e.極限として弱解を構成する。
• エネルギー推定を用いたLasry-Lions単調性手続きを用いて、弱解の一意性を証明する。
• 滑らか化および粘性解理論を用いて、極限における分布的副解および上解の性質を正当化する。

実験結果

リサーチクエスチョン

• RQ1 走行コストf(·,0) ≡ −∞のとき、1階MFG系が古典解を有するための条件は何か？
• RQ2 fおよびgの密度変数に関する厳密な単調性は、gm ≡ 0の標準的状況と比較して、解の正則性にどのように影響するか？
• RQ3 退化楕円型MFG系の弱解は、厳密に楕円型問題の古典解の粘性極限として得られるか？
• RQ4 楕円型退化（χ → 0）は正則性の喪失にどのように寄与し、低密度領域とどのように関係するか？
• RQ5 弱解は一意的であり、退化状態でも初期および終端データをa.e.で保存するか？

主な発見

• f(·,0) ≡ −∞の下で、仮定(M)、(H)、(F)、(G)、(SE)の下で、(u, m) ∈ C3,α(QT) × C2,α(QT) に一意な古典解が存在する。
• fが下から有界（DEケース）のとき、弱解は (BV(QT) ∩ L∞(QT)) × (C([0,T], H−1(Td)) ∩ L∞(QT)) に存在し、ǫ → 0 の下で古典解のa.e.極限として得られる。
• 弱解は一意的である：(u′, m′) が別の弱解であれば、QT上でm = m′ a.e. であり、{m > 0} 上でu = u′ a.e. となる。初期および終端データも一致する。
• DE条件の下で、空間に依存しないデータの下で、終端密度および価値関数はグローバルにリプシッツ連続である。
• 粘性極限は元のMFG系の構造を保存する。すべての事前推定はǫに依存せず一様であり、コンパクト性および収束性を保証する。
• Lasry-Lions単調性手続きに加え、エネルギー推定および粘性理論を組み合わせることで、弱解の領域における一意性および安定性を証明する上で中心的な役割を果たす。