[論文レビュー] A dynamic programming principle with continuous solutions related to the $p$-Laplacian, $1 < p < \infty$

Hans Hartikainen|arXiv (Cornell University)|Apr 30, 2015

Nonlinear Partial Differential Equations参考文献 9被引用数 1

ひとこと要約

本稿は、1 < p < ∞ における p-ラプラシアン方程式 Δpu = 0 に対して、動的計画法の原則（DPP）を確立し、新たな直交ノイズを含むタッグ・オブ・ウォー・ゲームの変種を導入する。反復作用素法と下半連続性の議論を用いて、DPPの解の存在、一意性、連続性を証明し、任意の可測解が連続でなければならないことを示す。これにより、1 < p < 2 の範囲で、ゲーム理論的ダイナミクスと p-調和 PDE の間に橋渡しを果たす。

ABSTRACT

We study a Dynamic Programming Principle related to the $p$-Laplacian for $1 < p < \infty$. The main results are existence, uniqueness and continuity of solutions.

研究の動機と目的

• 1 < p < ∞ における p-ラプラシアン方程式 Δpu = 0 に対して、動的計画法の原則（DPP）を確立すること。
• 従来のゲーム理論的手法における連続性と可測性の問題を解決すること。
• 1 < p < 2 の範囲で、提案された DPP の解の存在および一意性を証明すること。これは、以前に確立されていなかった。
• DPP の任意の可測解が連続でなければならないことを示し、離散的ゲームダイナミクスと連続的 p-調和関数との間の関係を強化すること。

提案手法

• 境界補正作用素 I を含む、直交方向における sup-inf 平均と (n−1)-次元球面上の一様測度による径方向平均を組み合わせた、新たな DPP を提案。
• DPP に基づく反復作用素 ˜I を定義し、それがリプシッツ連続性を保つことを証明し、収束解析を可能にする。
• 作用素 I の単調性および連続性保存性を用いて、反復による下位および上位下半連続解の構成を行う。
• 最大値原理を用いて、任意の可測解が境界データ F の本質的下限と上限の点ごとの間に位置することを示す。
• 解列の下半連続性と境界補正項を組み合わせ、極限が DPP を満たし、連続であることを証明する。
• ゲーム理論的解釈を用いて、上位および下位下半連続解が一致しなければならないことを示し、連続解の存在を示す。

実験結果

リサーチクエスチョン

• RQ1 1 < p < ∞ における p-ラプラシアンに対して、連続解をもたらす動的計画法の原則（DPP）は存在するか？
• RQ2 可測関数として仮定された DPP の解でさえ、連続であることが示せるか？
• RQ3 可測関数の範囲で、DPP の解は一意的か？
• RQ4 ε → 0 の極限において、提案されたゲーム理論的 DPP は p-ラプラシアン方程式とどのように関係するか？
• RQ5 境界補正項 δ(x) は、連続性の保証と可測性の問題回避にどのように寄与するか？

主な発見

• 提案された DPP (1.1) は、下位および上位下半連続解を有し、これらが一致するため、連続解の存在が証明される。
• DPP を満たす任意の可測関数 u は、境界データ F の本質的下限と上限の間にある。すなわち、すべての x ∈ Ωε に対して inf F ≤ u(x) ≤ sup F が成り立つ。
• 最大値原理と下半連続解の一致を用いて、可測関数の範囲で DPP の解が一意的であることが示された。
• 境界データの極端値の間での有界性と DPP の構造のおかげで、可測関数として仮定された場合でさえ、解は連続である。
• 作用素 I は、リプシッツ関数をリプシッツ関数に写像し、制御可能なリプシッツ定数を持つため、反復による正則性の伝播が保証される。
• DPP に関連するゲームは、プレイヤーの選択にかかわらず、確率的に有限時間内に終了するため、適切に定義された価値関数の存在を支持する。