[论文解读] 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)$，将正则性结果扩展至完整范围 $1 < p < \infty$，超越了以往仅限于 $2 < 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$ 在空间和时间上的振荡。
• 初始估计将 $u_\epsilon$ 的时间振荡与空间振荡关联起来，利用 DPP 的结构。
• 通过将函数分解为 $f_1$ 和 $f_2$ 两部分，方法将空间和时间变化分离，分别进行分析。
• 关键估计通过霍尔德型界推导，并通过迭代比较技术升级为利普希茨型界。
• DPP 在抛物柱体内分析，时间步长 $\epsilon^2/2$ 和空间步长 $\epsilon$ 明确嵌入方程中。
• 最终估计中的常数仅依赖于区域半径 $r$、参数 $\alpha$ 和维度 $n$，确保对 $\epsilon$ 的统一控制。

实验结果

研究问题

• RQ1 当 $1 < p < \infty$ 时，如何为满足与归一化抛物 $p$-拉普拉斯算子相关的时变 DPP 的函数建立利普希茨正则性？
• 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$ 的统一性。
• 通过结合霍尔德型估计与迭代比较论证，本文将正则性从霍尔德提升至空间变量的利普希茨正则性。
• 时间正则性被证明为 $|t-s|^{1/2}$ 阶，与底层 PDE 的抛物标度一致。
• 证明方法成功处理了完整范围 $1 < p < \infty$，克服了先前工作仅限于 $2 < p < \infty$ 的局限性。
• 估计中明确捕捉了对 $\epsilon$ 的依赖性，表明当 $\epsilon \to 0$ 时正则性改善，与 DPP 作为 PDE 离散逼近的角色一致。