[論文レビュー] Repeated games for eikonal equations, integral curvature flows and non-linear parabolic integro-differential equations

Cyril Imbert, Sylvia Serfaty|arXiv (Cornell University)|Nov 2, 2009

Geometric Analysis and Curvature Flows参考文献 20被引用数 3

ひとこと要約

本稿は、非局所的発展方程式、特に積分的曲率流れや完全非線形放物型積分微分方程式（PIDEs）を、離散的で決定論的な制御解釈を通じて近似するための零和反復ゲームを導入する。安定性、単調性、一貫性の議論を用いて、ゲーム価値関数が粘性解に収束することを確立し、局所的ハミルトニアン・ジャコビ方程式に関する先行研究を、特異積分作用素を含む非局所設定へと拡張する。

ABSTRACT

The main purpose of this paper is to approximate several non-local evolution equations by zero-sum repeated games in the spirit of the previous works of Kohn and the second author (2006 and 2009): general fully non-linear parabolic integro-differential equations on the one hand, and the integral curvature flow of an interface (Imbert, 2008) on the other hand. In order to do so, we start by constructing such a game for eikonal equations whose speed has a non-constant sign. This provides a (discrete) deterministic control interpretation of these evolution equations. In all our games, two players choose positions successively, and their final payoff is determined by their positions and additional parameters of choice. Because of the non-locality of the problems approximated, by contrast with local problems, their choices have to "collect" information far from their current position. For integral curvature flows, players choose hypersurfaces in the whole space and positions on these hypersurfaces. For parabolic integro-differential equations, players choose smooth functions on the whole space.

研究の動機と目的

• 局所的ハミルトニアン・ジャコビ方程式を超えて、幾何学的および非局所的PDEの決定論的制御解釈を拡張すること。
• 特異積分項を含む完全非線形放物型積分微分方程式を近似する零和反復ゲームを構築すること。
• 界面形状のグローバル依存性によって非局所的となる積分的曲率流れのためのゲーム理論的枠組みを提供すること。
• バーレス＝スーガニディス枠組みを用いて、ゲーム価値関数が粘性解に収束することを確立すること。
• 広範な非局所的発展方程式のクラスに対して、新たなミニマックス定式化を提供し、数値スキームの構築と可能性のある定性的な洞察を可能にすること。

提案手法

• 非定数符号の速度を有するアイケオナル方程式に対して、離散的プレイヤー選択を用いて解を価値関数として近似する反復ゲームを構築する。
• プレイヤーが超曲面とその上の位置を選択するゲームを導入し、グローバルな情報を収集することで非局所的速さをシミュレートする積分的曲率流れのためのゲームを構築する。
• プレイヤーが全空間上の滑らかな関数を選択するようにすることで、一般のPIDEsのためのゲームを設計し、非局所項の近似を可能にする。
• レベルセット法と粘性解理論を用いて幾何的発展を定義し、適切な定式化を保証する。
• バーレス＝スーガニディス収束法を適用し、ゲームに基づくスキームの一致性、単調性、安定性を検証する。
• 動的計画法の原則と終端条件の推定を用いて、目標解への収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 特異積分作用素を含む非局所的放物型積分微分方程式を近似するための反復ゲームを構築できるか？
• RQ2 界面形状のグローバル依存性によって特徴づけられる積分的曲率流れに、ゲーム理論的解釈をどのように拡張できるか？
• RQ3 提案された反復ゲームの価値関数は、目標PDEの粘性解に収束するか？
• RQ4 局所方程式を超えて、非局所的で完全非線形のPDEs、特に符号が定数でない速度を持つ方程式へとこの枠組みを拡張できるか？
• RQ5 パウル＝カロルゲームを非局所設定に一般化するための最小限のゲームルールは何か？

主な発見

• ステップサイズ ε → 0 のとき、ゲーム価値関数は目標非局所PDEの粘性解に収束する。
• 収束はバーレス＝スーガニディス枠組みを用いて確立され、ゲームスキームの一貫性、単調性、安定性に依存する。
• 積分的曲率流れの文脈では、プレイヤーが全超曲面とその上の位置を選択する必要があり、界面のグローバル依存性を反映する。
• 本手法は、局所的ハミルトニアン・ジャコビ方程式に関する先行研究を拡張し、広範な非局所的発展方程式の決定論的制御解釈を提供する。
• 終端条件は O(T−t) の誤差境界で満たされ、時間的最終状態と整合性を保つ。
• 証明は背理法と非局所的曲率作用素を含む推定に依拠し、期待される振る舞いからの逸脱がゲームダイナミクスに一貫性の欠如を引き起こすことを示す。