[论文解读] Hölder gradient estimates for parabolic homogeneous p-Laplacian equations

Tianling Jin, Luís Silvestre|arXiv (Cornell University)|May 20, 2015

Nonlinear Partial Differential Equations参考文献 32被引用 5

一句话总结

本文建立了抛物型齐次 $p$-拉普拉斯方程 $u_t = |\nabla u|^{2-p} \text{div}(|\nabla u|^{p-2}\nabla u)$（其中 $1 < p < \infty$）的黏性解的空间梯度的内部 Hölder 估计。通过黏性解理论与几何最大值原理，作者证明了空间梯度 $\nabla u$ 局部 Hölder 连续，将正则性结果推广至非变分型、非散度形式的 $p$-拉普拉斯方程，该类方程源于带有噪声的随机拔河游戏。

ABSTRACT

We prove interior Hölder estimates for the spatial gradient of viscosity solutions to the parabolic homogeneous $p$-Laplacian equation \[ u_t=| abla u|^{2-p} \mbox{ div} (| abla u|^{p-2} abla u), \] where $1

研究动机与目标

• 建立抛物型齐次 $p$-拉普拉斯方程的黏性解空间梯度的 Hölder 正则性，该方程缺乏变分结构且处于非散度形式。
• 解决由于方程 $u_t = |\nabla u|^{2-p} \text{div}(|\nabla u|^{p-2}\nabla u)$ 缺乏变分框架而导致经典正则性理论不适用的问题。
• 通过黏性解技术与几何最大值原理论证，为该方程提供一种新的正则性理论，区别于经典 $p$-拉普拉斯方法。
• 拓展对源自随机博弈（特别是带有噪声的拔河游戏）的方程中梯度正则性的理解，该方程作为极限情形出现。

提出的方法

• 作者以黏性解理论为基础定义并分析解，避免使用分布或弱解框架。
• 他们应用 Krylov-Safonov 理论，由于方程的统一抛物性，建立了解 $u$ 在时空变量上的 Hölder 连续性。
• 通过障碍函数与比较函数的几何最大值原理论证，推导出梯度 $\nabla u$ 的内部 Hölder 估计。
• 证明依赖于在 dyadic 柱体内分析解的行为，并利用方程在非散度形式下的结构，构造 $\nabla u$ 的模连续性。
• 关键估计通过将解与障碍函数比较，并利用系数矩阵 $\delta_{ij} + (p-2)|\nabla u|^{-2}u_i u_j$ 的内在几何结构获得，该矩阵是统一强椭圆的。
• 一系列引理（B.1–B.5）建立了从边界到内部的 Hölder 连续性传播，最终得出主梯度估计（命题 2.5）。

实验结果

研究问题

• RQ1 当方程缺乏变分结构时，能否为抛物型齐次 $p$-拉普拉斯方程的黏性解建立空间梯度的 Hölder 正则性？
• RQ2 方程 $u_t = |\nabla u|^{2-p} \text{div}(|\nabla u|^{p-2}\nabla u)$ 的非散度形式如何影响解的正则性，相较于标准抛物型 $p$-拉普拉斯方程？
• RQ3 对于无法应用能量方法或弱解理论的非散度形式方程，哪些技术能有效证明梯度正则性？
• RQ4 几何方法与最大值原理在 $p$-拉普拉斯型方程中，能在多大程度上弥补缺乏变分结构的不足？

主要发现

• 任意黏性解的空间梯度 $\nabla u$ 在时空上是局部 Hölder 连续的，Hölder 指数仅依赖于 $n$、$p$ 和强椭圆常数。
• 通过几何最大值原理论证建立了 $\nabla u$ 的 Hölder 连续性，而非依赖能量或弱解方法，标志着与经典 $p$-拉普拉斯正则性理论的分道扬镳。
• 证明了 $u$ 在时空上是局部 $C^{\alpha}$ 的，且梯度 $\nabla u$ 通过从边界数据传播正则性的论证继承了 Hölder 连续性。
• $\nabla u$ 的模连续性仅依赖于维数 $n$、指数 $p$、强椭圆界以及解在抛物边界上的 $L^\infty$ 范数。
• 该结果对所有 $p \in (1, \infty)$ 均一致成立，包括极限情形 $p=1$ 和 $p=\infty$，尽管这些情形未包含在主证明中。
• 该证明技术具有鲁棒性，适用于非散度形式方程，其系数矩阵形式为 $\delta_{ij} + (p-2)\frac{u_i u_j}{|\nabla u|^2}$，在 $1 < p < \infty$ 时为统一抛物型。