[論文レビュー] Convergence of dynamic programming principles for the $p$-Laplacian

Félix del Teso, Juan J. Manfredi+1 more|arXiv (Cornell University)|Aug 30, 2018

Nonlinear Partial Differential Equations参考文献 14被引用数 3

ひとこと要約

本稿は、p-ラプラシアンに関連する動的計画法（DPP）の統一的収束枠組みを確立し、離散的および連続的DPPの解が、p-ラプラシアンのディリクレ問題の粘性解に一様に収束することを証明する。この手法は、確率的手段を避け、数値解析の枠組みにおける単調性と一致性の分析に依拠しており、一般のリプシッツ領域およびすべての p ∈ (1, ∞] に拡張された収束を実現する。

ABSTRACT

We provide a unified strategy to show that solutions of dynamic programming principles associated to the $p$-Laplacian converge to the solution of the corresponding Dirichlet problem. Our approach includes all previously known cases for continuous and discrete dynamic programming principles, provides new results, and gives a convergence proof free of probability arguments.

研究の動機と目的

• すべての p ∈ (1, ∞] に対して、p-ラプラシアンに関連する動的計画法（DPP）の収束結果を統一的かつ拡張すること。
• tug-of-warゲームや価値関数結合などの確率的ツールを避けるDPPの収束証明を提供すること。
• 連続的および離散的DPPの両方の収束を、一般のリプシッツ領域に対しても確立すること。
• 一般化された粘性解に適用可能な、数値解析に基づく収束証明の枠組みを提供すること。
• より優れた数値スキームを得るための高次単調 quadrature ルールへの理論の拡張。

提案手法

• p に依存する重み付き平均（sup, inf, 平均）を ε-球上で用いる一般化されたDPPフレームワークを定式化する。
• p ≥ 2 の場合、Aε,p を Bε(x) 上の max, min, 平均の凸結合として定義し、係数 αp = (p−2)/(p+d), βp = (d+2)/(p+d) を用いる。
• 数値解析的アプローチ（単調性と一貫性）を用いて、DPP解 uε が p-ラプラシアン解 u に収束することを証明する。
• C²領域では安定性と一貫性の議論により一様収束を確立し、その後一般のリプシッツ領域への拡張を近似法で行う。
• 有限差分近似と正の重みを持つ高次 quadrature ルール（例：ニュートン・コーツ）を用いて格子上の離散DPPを導出する。
• 離散的球 Bhε(x) と離散的領域 Ωhε を用いて、O(h²) またはそれ以上の精度を持つ完全離散スキームを構築する。

実験結果

リサーチクエスチョン

• RQ1 すべての p ∈ (1, ∞] に対して、p-ラプラシアンに関連する動的計画法（DPP）の統一的で確率的でない収束証明を確立できるか？
• RQ2 数値解析の枠組みにおいて、単調性と一貫性を厳密にどのように適用し、DPP解の収束を証明できるか？
• RQ3 リプシッツ領域上でのDPP解が、p-ラプラシアンのディリクレ問題の粘性解に一様収束するための条件は何か？
• RQ4 正の重みを持つ単調 quadrature ルールを用いて、格子上の離散DPPを高次精度で構築できるか？
• RQ5 一般化された粘性解と同等の解概念は、非滑らか領域におけるDPP収束とどのように関係するか？

主な発見

• すべての p ∈ (1, ∞] およびリプシッツ領域に対して、式 (1.2) に示される動的計画法の解は、ε → 0 のとき、p-ラプラシアンのディリクレ問題の粘性解に一様に収束する。
• 収束証明は確率的議論を一切含まず、数値解析の枠組みにおける単調性、一貫性、安定性に依拠している。
• 本手法は連続的および離散的DPPの両方、C²領域に限らず一般のリプシッツ領域に対しても一様に適用可能である。
• 格子上の離散DPPは、正の重みを持つ quadrature ルール（例：ニュートン・コーツ法で O(h⁷) の誤差まで）を用いて高次精度で構築可能である。
• 本フレームワークは一般化された粘性解へ拡張可能であり、p ∈ (1, 2) に対しても、従来確率的ツールを要していた領域で新たな結果を提供する。
• DPP作用素 Aε,p はp-ラプラシアンの平均値性質を満たし、テイラー展開と平均化を用いてPDEとの一貫性が確立されている。