[論文レビュー] Local regularity for mean-field games in the whole space

Diogo A. Gomes, Edgard A. Pimentel|arXiv (Cornell University)|Jul 3, 2014

Stochastic processes and financial applications参考文献 6被引用数 20

ひとこと要約

本稿は、全空間 ℝᵈ における時刻に依存する平均場ゲームの解について、双対変数に対する新しいエントロピー散逸推定式を導入することにより、局所的ソボレフ正則性を確立する。この手法により、非線形双対法を用いて、ハミルトニアン・ジャコビ方程式に対する W¹ᵖ_loc(ℝᵈ) 内の一様な境界を得ることが可能になる。主な貢献は、ハミルトニアンおよび非線形項に関する適切な仮定の下で、非線形項 g の Lᶜ(0,T;Lᵃ(ℝᵈ)) ノルムで表される空間勾配 Du の局所的 L∞ 推定式の確立である。

ABSTRACT

In this paper, we investigate the Sobolev regularity for mean-field games in the whole space $\Rr^d$. This is achieved by combining integrability for the solutions of the Fokker-Planck equation with estimates for the Hamilton-Jacobi equation in Sobolev spaces. To avoid the mathematical challenges posed due to the lack of compactness, we prove an entropy dissipation estimate for the adjoint variable. This, together with the non-linear adjoint method, yields uniform estimates for solutions of the Hamilton-Jacobi equation in $W^{1,p}_{loc}(\Rr^d)$.

研究の動機と目的

• 全空間 ℝᵈ における時刻に依存する平均場ゲームの解について、局所的ソボレフ正則性を確立すること。
• コンパクト性の欠如により、標準的な正則性推定式が無効となる ℝᵈ における問題を克服すること。
• ソボレフ空間内での解の成長を制御するため、双対変数に対する新しいエントロピー散逸推定式を開発すること。
• 非線形項 g の Lᶜ(0,T;Lᵃ(ℝᵈ)) ノルムで表される、Du の W¹ᵖ_loc(ℝᵈ) 内の一様な局所的推定式を導出すること。
• 有界領域に限らない設定において双対法の適用範囲を拡張するために、可積分性および補間技術を不有界領域に組み込むこと。

提案手法

• 不有界領域における解の成長を制御するため、双対変数に対するエントロピー散逸推定式を導入すること。
• 非線形双対法をハミルトニアン・ジャコビ方程式に適用し、双対変数を用いて事前推定式を導出すること。
• ホルダーおよびガリャルド＝ニレングラート不等式を用いて、双対変数のノルムと非線形項 g 及びその微分のノルムとの関係を確立すること。
• 補間技術およびカットオフ関数を用いて、空間的・時間的局所化を図り、球体 𝒟_R に焦点を当てる。
• 埋め込みおよび可積分性条件を満たすために、指数 P, Q, a′, c′, β, κ を含む不等式系を導出すること。
• ε重み付きのヤングの不等式を適用し、双対変数の Lᶜ′(0,T;Lᵃ′(ℝᵈ)) ノルムを非線形項 g の Lᶜ(0,T;Lᵃ(ℝᵈ)) ノルムで上から抑えること。

実験結果

リサーチクエスチョン

• RQ1 コンパクト性の欠如により標準的アプローチが無効となる全空間 ℝᵈ における平均場ゲーム系について、どのように局所的ソボレフ正則性を確立できるか？
• RQ2 エントロピー散逸は、不有界領域における双対方程式の解の成長をどのように制御するか？
• RQ3 ハミルトニアンが可積分でない場合に、非線形双対法をどのように変更して局所的 W¹ᵖ_loc 正則性推定式を得られるか？
• RQ4 非線形項 g およびハミルトニアン H にどのような条件を課すと、任意の R > 0 に対して ∇u が L∞(0,T;Lᵖ(ℬ_R)) 内で有界に保たれるか？
• RQ5 m, g, 及び双対変数の可積分性の相関関係をどのように活用して、ソボレフ空間内の一様な局所的推定式を導出できるか？

主な発見

• 本稿では、非線形項 g の Lᶜ(0,T;Lᵃ(ℝᵈ)) ノルムで表される空間勾配 Du の局所的 L∞ 推定式が確立され、その境界は R およびデータにのみ依存する。
• 双対変数に対するエントロピー散逸推定式が導出され、これは ℝᵈ におけるコンパクト性の欠如を克服するために不可欠である。
• エントロピー推定式と補間技術を組み合わせることで、非線形双対法が不有界領域へと成功裏に拡張された。
• 不等式 (24)–(27) を満たす指数 P, Q, a′, c′, β, κ の存在が証明され、ホルダーおよびガリャルド＝ニレングラート不等式の適用が可能になった。
• 主結果である定理 1.1 は、任意の R > 0 に対して、定数 C_R が存在し、‖Du‖_L∞(0,T;Lᵖ(ℬ_R)) ≤ C_R が成り立つことを示している。仮定 A1–A9 の下で成立する。
• 証明は、事前推定式に依存しており、論文の結論的発言にあるように、その後の高階正則性は標準的手法により得られる。