[论文解读] Optimal gradient continuity for degenerate elliptic equations

Damião J. Araújo, Gleydson C. Ricarte+1 more|arXiv (Cornell University)|Jun 18, 2012

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

一句话总结

本文建立了退化椭圆PDE方程 $\mathcal{H}(X,\nabla u)F(X,D^2u) = f$ 解的梯度最优Hölder连续性估计，其中椭圆性在奇异集 $\{\nabla u = 0\}$ 处退化。关键贡献在于证明了 $\nabla u$ 局部为 $C^{0,\min\{\alpha_0, \frac{1}{1+\gamma}\}}$-Hölder连续，最优指数依赖于退化参数 $\gamma$，且估计仅依赖于绝对常数、$\|f\|_{\infty}$ 和 $\|u\|_{\infty}$。

ABSTRACT

We establish new, optimal gradient continuity estimates for solutions to a class of 2nd order partial differential equations, $\mathscr{L}(X, abla u, D^2 u) = f$, whose diffusion properties (ellipticity) degenerate along the extit{a priori} unknown singular set of an existing solution, $\mathscr{S}(u) := \{X : abla u(X) = 0 \}$. The innovative feature of our main result concerns its optimality -- the sharp, encoded smoothness aftereffects of the operator. Such a quantitative information usually plays a decisive role in the analysis of a number of analytic and geometric problems. Our result is new even for the classical equation $| abla u | \cdot Δu = 1$. We further apply these new estimates in the study of some well known problems in the theory of elliptic PDEs.

研究动机与目标

• 建立退化椭圆PDE方程解的梯度最优Hölder连续性估计，其中椭圆性在奇异集 $\{\nabla u = 0\}$ 处退化。
• 解决形如 $|\nabla u|^\gamma \Delta u = 1$ 的方程解的精确最优正则性指数，该方程是退化PDE理论中的经典模型。
• 提供解的 $C^{1,\alpha}$ 半范数的定量、先验估计，其仅依赖于绝对参数以及 $\|f\|_{\infty}$、$\|u\|_{\infty}$。
• 通过引入新的缩放与迭代论证，将正则性理论从一致椭圆方程的标准 $C^{1,\alpha_0}$ 结果推广至包含退化效应的情形。

提出的方法

• 证明依赖于将问题归约至小量区域的缩放论证，从而在受控归一化下应用迭代估计。
• 构造了一组仿射逼近序列 $\ell_k(X) = a_k + \vec{b}_k \cdot X$，并证明其系数 $\vec{b}_k$ 与 $a_k$ 为柯西序列。
• 通过结合逼近误差的衰减与仿射系数的收敛性，推导出关键估计 $\sup_{B_r} |u(X) - \ell_\star(X)| \leq C r^{1+\alpha}$。
• 通过平衡一致椭圆理论中的绝对正则性（$\alpha_0$）与退化引起的光滑性损失（$\frac{1}{1+\gamma}$），确立最优Hölder指数 $\alpha = \min\{\alpha_0, \frac{1}{1+\gamma}\}$。
• 该方法采用粘性解理论，并借鉴近期工作的技术，特别是以 [11] 中的 $C^1$ 正则性结果作为起点。
• 应用重新缩放变换 $u(X) = v(\eta X + Y_0)/\tau$ 对解进行归一化，将问题转化为可应用引理6.1与引理6.2的区域。

实验结果

研究问题

• RQ1 当椭圆性以 $|\nabla u|^\gamma$ 方式退化时，退化椭圆PDE方程解的梯度最优Hölder指数为何？
• RQ2 能否为 $|\nabla u|^\gamma \Delta u = 1$ 这类已知退化性的模型方程建立尖锐的先验 $C^{1,\alpha}$ 估计？
• RQ3 解的正则性如何依赖于退化参数 $\gamma$？这种依赖关系能否被精确量化？
• RQ4 正则性指数 $\min\{\alpha_0, \frac{1}{1+\gamma}\}$ 是否为尖锐的？能否在所有此类方程中一致实现？
• RQ5 解的 $C^1$ 正则性能否被提升为最优 $C^{1,\alpha}$ 正则性，并获得仅依赖于绝对常数及 $\|f\|_{\infty}$、$\|u\|_{\infty}$ 的定量估计？

主要发现

• 任意粘性解 $u$ 到退化方程 $\mathcal{H}(X,\nabla u)F(X,D^2u) = f$ 的梯度均为局部 $C^{0,\min\{\alpha_0, \frac{1}{1+\gamma}\}}$-Hölder连续，其中 $\alpha_0$ 为Krylov-Safonov理论中的绝对指数。
• 最优Hölder指数 $\alpha = \min\{\alpha_0, \frac{1}{1+\gamma}\}$ 为尖锐，无法进一步改进，已通过显式例子验证。
• $u$ 的 $C^{1,\alpha}$ 半范数被一个仅依赖于 $d$、$\lambda$、$\Lambda$、$\gamma$ 以及 $\|f\|_{\infty}$、$\|u\|_{\infty}$ 的常数 $C$ 控制，且不依赖于解的具体结构。
• 证明建立了仿射函数 $\ell_\star(X) = a_\star + \vec{b}_\star \cdot X$ 的存在性，满足 $|\vec{b}_\star| + |a_\star| \leq C$，且对所有充分小的 $r > 0$，有 $\sup_{B_r} |u(X) - \ell_\star(X)| \leq C r^{1+\alpha}$，其中 $C$ 为绝对常数。
• 即使对于经典方程 $|\nabla u|^\gamma \Delta u = 1$，该结果亦为新成果，此前该方程的尖锐正则性估计尚不为人所知。
• 该方法确认了摄动技术不足，实现尖锐估计需依赖于绝对正则性与退化效应之间新颖的相互作用。