[論文レビュー] Extended deterministic mean-field games

Diogo A. Gomes, Vardan Voskanyan|arXiv (Cornell University)|May 12, 2013

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

ひとこと要約

本稿は、状態に加えて、$L^q$ 空間における確率的変数の定式化を用いて、エージェントの集団的行動を組み込んだ拡張された決定的平均場ゲームフレームワークを導入する。著者らは、新規の不動点議論を用いて、一般な条件下で解の存在と一意性を証明し、マスターエンジンと接続することで、古典的定式化を超えた平均場ゲーム理論の発展を図っている。

ABSTRACT

In this paper, we consider mean-field games where the interaction of each player with the mean-field takes into account not only the states of the players but also their collective behavior, To do so, we develop a random variable framework that is particularly convenient for these problems. We prove an existence result for extended mean-field games and establish uniqueness conditions. In the last section, we consider the Master Equation and discuss properties of its solutions.

研究の動機と目的

• 平均場ゲームにおけるエージェントの相互作用が個々の状態と集団的行動の両方に依存する確率的変数フレームワークの構築。
• 平均場パスの非マルコフ的依存性を有する拡張平均場ゲーム系に対する粘性解および古典解の存在の確立。
• 法則の絶対連続性や解の高次正則性を仮定しない一意性条件の提供。
• この新規フレームワーク内でのマスターエンジンの分析と、拡張平均場ゲーム解との接続。
• ハミルトニアンと終端コストが平均場パスの時間微分に依存することを許容することで、既存の結果の一般化。

提案手法

• 拡張平均場ゲームを、ハミルトニアンが平均場パス $\mathbf{X}$ 及びその微分 $\dot{\mathbf{X}}$ に依存するハミルトン・ジャコビ方程式と、$L^q(\Omega; \mathbb{R}^d)$ 内の $\mathbf{X}$ に対する常微分方程式の結合系として定式化。
• ハミルトン・ジャコビ方程式に対して、粘性解フレームワークを用い、古典解が存在しない場合でも適切に定式化されることを保証。
• 平均場パスの時間微分 $\dot{\mathbf{X}}$ に依存する常微分方程式の右辺における局所リプシッツ連続性の欠如を克服するため、新規の不動点議論を適用。
• 集団的行動のモデル化を可能にする確率的変数定式化を導入し、この拡張された設定下でのマスターエンジンの解析を可能にする。
• 古典解に対してはラスリー＝リオンズの単調性議論、粘性解に対してはラグランジュに基づく最適性条件の両方を用いて、解の一意性を確立。
• 2つの例として、$H = \frac{|p|^2}{2} + \beta p \mathbb{E}[Z] + V(x,X)$ および $H = \frac{|\beta \mathbb{E}[Z] + p|^2}{2} + V(x,X)$ のハミルトニアンに対して、閉形式での解が明示的に得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 平均場の時間微分に依存する拡張平均場ゲームは、厳密に定式化され、解けるか？
• RQ2 ハミルトン・ジャコビ方程式の右辺がリプシッツでないために古典解が存在しない場合、解の存在を保証する条件は何か？
• RQ3 法則の絶対連続性や解の正則性を仮定しないで、一意性をどのように確立できるか？
• RQ4 この拡張フレームワーク内でのマスターエンジンの役割は何か？ また、拡張平均場ゲーム系の解とはどのように関連するか？
• RQ5 意味のあるクラスの拡張平均場ゲームモデルに対して、明示的な解を構築できるか？

主な発見

• 本稿では、粘性解 $u \in C([0,T] \times \mathbb{R}^d; \mathbb{R})$ と $C^{1,1}$ 路 $\mathbf{X} \in C^{1,1}([0,T]; L^q(\Omega; \mathbb{R}^d))$ が拡張平均場ゲーム系 (1) を解くことを証明した。
• 解 $u$ は空間に関してリプシッツ連続であり、時間に関しては半凸であり、ラグランジュ関数およびその微分に対するグロンウォール型推定を用いて明示的な評価が得られた。
• 一意性は2通りの異なるアプローチで確立された：古典解に対しては単調性議論、粘性解に対しては法則の絶対連続性や $u$ の正則性を要件としないラグランジュに基づく最適性条件。
• 本稿では、解が閉形式で得られる2つのハミルトニアンの具体例を提示し、フレームワークの取り扱いやすさを示した。
• マスターエンジンがこのフレームワーク内で適切に定義可能であり、命題3および4を用いて拡張平均場ゲーム系の解と関連づけられた。
• 確率的変数定式化により、共通ノイズに起因するエージェント行動の相関をバックワード・フォワードSDEに頼らずにモデル化可能となり、先行研究を拡張した。