[論文レビュー] Global-in-time regularity via duality for congestion-penalized Mean Field Games

Adam Prosinski, Filippo Santambrogio|HAL (Le Centre pour la Communication Scientifique Directe)|Mar 31, 2016

Navier-Stokes equation solutions参考文献 21被引用数 6

ひとこと要約

本稿は、流体力学から発展した双対性に基づく手法をMFGに応用することで、混雑ペナルティ付き平均場ゲームにおける密度 $ m $ の時間全域にわたる $ H^1 $ 正則性を確立する。変数変換 $ J(m) = m^{q/2} $ が $ H^1_{\text{loc}}((0,T] \times \mathbb{T}^d) $ に属することを証明し、終端時刻 $ T $ にまで正則性と可積分性が向上することを示した。これは、標準的手法が $ t = T $ 近傍で失敗する局所的混雑モデルにおける主要な課題を解決する。

ABSTRACT

After a brief introduction to one of the most typical problems in Mean Field Games, the congestion case (where agents pay a cost depending on the density of the regions they visit), and to its variational structure, we consider the question of the regularity of the optimal solutions. A duality argument, used for the first time in a paper by Y. Brenier on incompressible fluid mechanics, and recently applied to MFG with density constraints, allows to easily get some Sobolev regularity, locally in space and time. In the paper we prove that a careful analysis of the behaviour close to the final time allows to extend the same result including t = T .

研究の動機と目的

• 混雑ペナルティ付き平均場ゲームにおける密度 $ m $ の時間全域における正則性、特に標準的手法が失敗する終端時刻 $ T $ における正則性を確立すること。
• 流体力学および密度制約付きMFGで用いられた双対性に基づく正則性手法を、局所的混雑ケースに拡張すること。
• 定理4.3による $ J(m) = m^{q/2} $ の $ H^1 $ 正則性を活用し、Sobolev埋め込みを介して解の可積分性を向上させること。
• 非局所ケースよりも困難である局所的相互作用モデルにおけるコンパクト性および正則性の欠如を克服すること。
• 特に高階可積分性や最大関数推定に必要な解析のための厳密な基礎を提供すること。

提案手法

• 混雑ペナルティ付きMFG問題の変分的定式化に凸双対性を適用し、目的関数の最小化問題を双対問題に変換する。
• 時刻 $ t = T $ 近傍で摂動を導入し、ベクトル場 $ v $ 沿いの押し出し写像を用いて一価パラメータ族 $ m^ au $ を構成し、解の最適性を検証する。
• 時間方向の2次テイラー展開を用いて目的関数 $ \mathcal{B}(m) $ の変化を推定し、運動エネルギー項、ペナルティ項、終端コスト項に分解する。
• 条件 $ \mathrm{B}(m) \leq \mathrm{B}(m^\varepsilon) $ を課すことにより、時間微分を含む必要十分な不等式を導出し、時間方向の $ H^1 $ 制御を確立する。
• 摂動法による時間微分の推定と定理4.3による空間微分の推定を組み合わせ、$ J(m) $ の時間全域における $ H^1_{\text{loc}} $ 正則性を結論づける。
• 仮定として $ \Psi \in C^{1,1} $、$ G $ が凸かつ (Hsuper) および (Hpol) を満たすことを仮定し、境界の複雑さを避けるためにトーラス領域 $ \mathbb{T}^d $ を用いる。

実験結果

リサーチクエスチョン

• RQ1 流体力学および密度制約付きMFGで用いられた双対性手法を、混雑ペナルティ付きMFGにおける時間全域の正則性の証明に適応可能か？
• RQ2 標準的な双対性手法がなぜ $ t = T $ で正則性を提供できないのか、そしてその特異性をどのように克服できるか？
• RQ3 変換密度 $ J(m) = m^{q/2} $ の正確な正則性クラスは何か？また、$ m \in L^q $ と比較して可積分性がどのように向上するか？
• RQ4 終端コスト $ \Psi $ およびペナルティ $ G(m) $ の選択が、$ t = T $ 近傍での解の正則性にどのように影響するか？
• RQ5 $ J(m) $ の $ H^1 $ 正則性を用いて、非線形PDEへの応用を想定し、$ m \in L^{q2^*/2} $ のような改善された可積分性推定を導出可能か？

主な発見

• 本稿では、$ J(m) = m^{q/2} $ が $ H^1_{\text{loc}}((0,T] \times \mathbb{T}^d) $ に属することを証明し、トーラス上における混雑ペナルティ付きMFGにおける密度の時間全域の正則性を確立した。
• ベクトル場 $ v $ を用いた摂動法により、$ J(m) $ の時間微分が制御され、$ t = T $ を含む時間方向の $ L^2 $ 推定が得られた。
• $ G(m) = m^q $ の場合、$ J(m) $ の $ H^1 $ 正則性から $ m \in L^{q2^*/2} $ が導かれる。ここで $ 2^* $ は $ d+1 $ 次元における臨界Sobolev指数である。
• 対数型の場合 $ G(m) = m\log m - m $ では、$ m \in L^{2^*/2} $ が得られ、これは多くの解析的ツールが機能しない $ L^1 $ 空間からの脱出に不可欠である。
• 自然な $ L^q $ 可積分性を上回る可積分性の向上が達成され、最大関数制御や非線形PDE解析への応用においてより強い推定が可能になった。
• 双対性に基づく手法により、局所的混雑モデルにおける主要な障壁である終端時刻特異性を、$ T $ の右近傍における $ m $ の振る舞いを分析することで効果的に扱った。