[論文レビュー] Local Lipschitz regularity for functions satisfying a time-dependent dynamic programming principle

Jeongmin Han|arXiv (Cornell University)|Dec 3, 2018

Optimization and Variational Analysis参考文献 19被引用数 5

ひとこと要約

本稿は、正規化された放物型 $p$-ラプラシアンに関連する時間に依存する動的計画法原理（DPP）を満たす関数について、局所的内部リプシッツ正則性を確立する。ゲーム理論的および比較的議論を用いて、解が $|u_\epsilon(x,t) - u_\epsilon(z,s)| \leq C(\|u_\epsilon\|_{\infty})(|x-z| + |t-s|^{1/2} + \epsilon)$ を満たすことを証明し、従来の $2 < p < \infty$ に限られていた正則性結果を、$1 < p < \infty$ の全域に拡張する。

ABSTRACT

We prove in this article that functions satisfying a dynamic programming principle have a local interior Lipschitz type regularity. This DPP is partly motivated by the connection to the normalized parabolic $p$-Laplace operator.

研究の動機と目的

• 動的計画法原理のリプシッツ正則性結果を、$2 < p < \infty$ の場合から、$1 < p < \infty$ の全域に拡張すること。
• 正規化された放物型 $p$-ラプラシアンに由来する時間に依存するDPPの解について、局所的内部リプシッツ型正則性を確立すること。
• 従来のゲーム理論的手法の制限を克服するため、解析的比較議論を適応して、$p$ の全域を扱えるようにすること。
• 空間および時間における解の変動の定量的評価を提示すること、特にパラメータ $\epsilon$ への依存性を含めること。
• 離散的DPPと連続的正規化放物型 $p$-ラプラシアン方程式との間のギャップを、正則性解析を通じて埋めること。

提案手法

• 解 $u_\epsilon$ の空間的および時間的変動を制御するため、二つの補助関数間の比較議論を用いる。
• 初期の推定では、DPPの構造を活用して、$u_\epsilon$ の時間的変動を空間的変動に関連付ける。
• 関数を $f_1$ と $f_2$ の成分に分割することで、空間的および時間的変動を別々に分析できるようにする。
• ヘイラー型の評価を導出し、反復的比較技術を用いてそれをリプシッツ型評価に高める。
• DPPは放物型シリンダ内で解析され、時間ステップ $\epsilon^2/2$ および空間ステップ $\epsilon$ が方程式に明示的に組み込まれている。
• 最終的な評価における定数は、ドメインの半径 $r$、パラメータ $\alpha$、次元 $n$ のみに依存し、$\epsilon$ にわたる一様な制御を保証する。

実験結果

リサーチクエスチョン

• RQ1 正規化された放物型 $p$-ラプラシアンに関連する時間に依存するDPPを満たす関数について、$1 < p < \infty$ の範囲でリプシッツ正則性をどのように確立できるか？
• RQ2 従来のゲーム理論的または解析的手法にどのような修正を加えることで、$2 < p < \infty$ から $1 < p < \infty$ への正則性結果の拡張が可能になるか？
• RQ3 DPPの時間に依存する構造が、空間的正則性と時間的正則性の間の相互作用にどのように影響するか？
• RQ4 直接的なゲーム理論的対称性が存在しない状況でも、比較議論を効果的に用いてリプシッツ型評価を導出できるか？
• RQ5 リプシッツ定数が空間的距離、時間差、およびパラメータ $\epsilon$ に対して、どのように依存するか？

主な発見

• 時間に依存するDPPの解 $u_\epsilon$ は、放物型シリンダ内の $(x,t), (z,s)$ に対して、局所的内部リプシッツ型評価 $|u_\epsilon(x,t) - u_\epsilon(z,s)| \leq C\|u_\epsilon\|_{\infty}(|x-z| + |t-s|^{1/2} + \epsilon)$ を満たす。
• 評価における定数 $C$ は、ドメインの半径 $r$、パラメータ $\alpha$、空間次元 $n$ のみに依存し、$\epsilon$ にわたる一様性を保証する。
• ヘイラー型評価と反復的比較議論を組み合わせることで、空間変数における正則性をヘイラーからリプシッツに高める。
• 時間的正則性は、元のPDEの放物型スケーリングに一致する $|t-s|^{1/2}$ のオーダーであることが示された。
• 証明手法は、$1 < p < \infty$ の全域を正しく扱うことができ、従来の $2 < p < \infty$ に限られていた制限を克服した。
• 評価に明示的な $\epsilon$ 依存性が含まれており、$\epsilon \to 0$ のとき正則性が向上することを示しており、DPPがPDEの離散的近似としての役割を果たすことに整合的である。