[論文レビュー] Existence for stationary mean field games with quadratic Hamiltonians with congestion

Diogo A. Gomes, Hiroyoshi Mitake|arXiv (Cornell University)|Jul 31, 2014

Stochastic processes and financial applications参考文献 19被引用数 7

ひとこと要約

本稿では、二次のハミルトニアンと混雑効果を伴う定常平均場ゲーム系に対して、滑らかな解の存在と一意性を確立する。ハミルトニアンにおける密度 $ m $ への逆数依存性に起因する特異性が問題となるが、著者らは新たなクラスの事前評価と継続法を用いて、データの弱い正則性および単調性条件のもとで任意次元において解の存在を証明する。

ABSTRACT

In this paper, we investigate the existence and uniqueness of solutions to a stationary mean field game model introduced by J.-M. Lasry and P.-L. Lions. This model features a quadratic Hamiltonian with possibly singular congestion effects. Thanks to a new class of a-priori bounds, combined with the continuation method, we prove the existence of smooth solutions in arbitrary dimensions.

研究の動機と目的

• 定常平均場ゲーム系に対して、二次ハミルトニアンと混雑効果を伴う滑らかな解の存在という長年の未解決問題に取り組む。
• 密度 $ m \to 0 $ のとき、ハミルトニアン項 $ \frac{|Du|^2}{2m^\alpha} $ に起因する特異性が、標準的な存在技法を困難にするという根本的課題を克服する。
• 密度の逆数 $ m^{-1} $ を制御する新しいクラスの事前評価を確立し、正則性およびコンパクトネスの議論を可能にする。
• 潜在関数 $ V $ が $ m $ に関して単調非減少である場合でさえも、任意次元における古典解の存在を継続法を用いて証明する。
• $ V $ が $ m $ に関して厳密に増加であると仮定したもとで、自己完備的な一意性の証明を提供し、既存の結果を拡張する。

提案手法

• ハミルトニアンにおける特異混雑項を取り扱うために、$ \|m^{-1}\|_{L^\infty} $ を制御する新しいクラスの事前評価を導入する。
• 単純な問題（$ \alpha = 0 $）を初期状態として選び、継続法により全系へと変形する。この過程で、すべてのソボレフ空間において一様な事前評価を保証することで、ホモトピー経路に沿った解の存在を保証する。
• 楕円型正則性理論とソボレフ埋め込みを用いて、滑らかなデータのもとで $ L^p $ 範囲の境界から $ C^\infty $ 正則性への段階的アップグレードを $ u $ および $ m $ に対して行う。
• 連立系の構造と新しい $ m^{-1} $ 評価を組み合わせることで、$ u $ および $ m $ の $ W^{2,p} $ 正則性を確立する。
• 一意性を保証するために、$ V $ を厳密に増加にするために $ \varepsilon \arctan(m) $ を加える摂動法を用い、その後極限に近づけることで、非厳密増加の場合への一般化を達成する。
• 2つの解の差に対する部分積分とエネルギー型評価を用いて一意性を証明する。$ \alpha \in [0,2] $ の範囲で、系の凸性に類似した構造を活用する。

実験結果

リサーチクエスチョン

• RQ1 密度 $ m \to 0 $ のときハミルトニアンに特異性が生じるが、二次ハミルトニアンと混雑効果を伴う定常平均場ゲーム系に対して、滑らかな解の存在を確立できるか？
• RQ2 混雑効果の下で、密度の逆数 $ m^{-1} $ を制御するために必要な新しい事前評価は何か？
• RQ3 特異系に対して継続法を適用し、任意次元における存在性を証明できるか？
• RQ4 $ V $ および $ b $ にどのような条件下で古典解の一意性が成立するか？
• RQ5 $ V $ が $ m $ に関して厳密に増加でない場合（非減少にとどまる場合）に、存在結果を拡張できるか？

主な発見

• 著者らは、$ V $、$ b $ に弱い仮定を課したもとで、$ \alpha \in [0,1) $ において、$ m > 0 $ を満たす古典解 $ (u, m) \in C^\infty(\mathbb{T}^d) \times C^\infty(\mathbb{T}^d) $ の存在を証明する。
• ハミルトニアンにおける特異項 $ \frac{|Du|^2}{2m^\alpha} $ を取り扱うために不可欠な、$ \|m^{-1}\|_{L^\infty} $ を制御する新しいクラスの事前評価が導出された。
• 全系に継続法が成功裏に適用され、すべてのソボレフ空間において一様な境界が保証されたため、ホモトピー経路に沿った解の存在が保証された。
• $ V $ が厳密に増加である場合、2つの解の差に対するエネルギー評価を用いて古典解の一意性が確立され、鍵となる恒等式 (A.3) の左辺が非負であることが示された。
• $ V $ が $ m $ に関して厳密に増加でない場合でも、$ \varepsilon \arctan(m) $ を $ V $ に加える摂動法を用い、厳密増加の場合の解を得た後、コンパクトネスを用いて極限に近づけることで、存在結果を拡張した。
• 楕円型正則性とブートストラップ法に依拠し、$ L^p $ 解から $ C^\infty $ 解への段階的アップグレードが達成された。これにより、滑らかなデータのもとで解の滑らかさが確認された。