[论文解读] ${\cal C}^{1,\beta}$ regularity for Dirichlet problems associated to fully nonlinear degenerate elliptic equations

Isabeau Birindelli, F. Demengel|arXiv (Cornell University)|Aug 2, 2012

Nonlinear Partial Differential Equations参考文献 7被引用 4

一句话总结

本文建立了在有界 $C^2$ 域中，形如 $|\nabla u|^\alpha(F(D^2u) + h(x) \cdot \nabla u) = f$ 的完全非线性退化椭圆方程的粘性解的 $C^{1,\beta}$ 正则性，将先前的内部正则性结果推广至边界。作者引入了新的边界平坦性改进技术，并通过加权障碍函数和紧致性论证处理退化性，证明当 $\alpha \geq 0$ 时，解在边界处梯度的 Hölder 连续性成立，且显式 Hölder 指数 $\beta$ 依赖于 $\alpha$、$N$ 和强椭圆性常数。

ABSTRACT

In this paper we prove Holder regularity of the gradient for solutions of Dirichlet problem associate to degenerate elliptic equations, extending the recent result of Imbert and Silvestre. Indeed we obtain regularity up to the boundary and when the equation has lower order terms.The proof follows their scheme but requires new tools and new ideas. In particular we give some a priori Lipschitz and H\"older estimates in the presence of boundary condition on one part of the boundary.

研究动机与目标

• 建立当 $\alpha \geq 0$ 时，退化完全非线性椭圆方程的粘性解在边界处的 $C^{1,\beta}$ 正则性，将先前的内部正则性结果推广至边界。
• 解决关于形如 $|\nabla u|^\alpha(F(D^2u) + h(x) \cdot \nabla u) = f$ 的方程在梯度附近边界处正则性的开放问题，这对证明广义主特征值的简洁性至关重要。
• 发展新的边界平坦性改进技术与紧致性论证，以处理由 $|\nabla u|^\alpha$ 和低阶项 $h(x) \cdot \nabla u$ 引入的退化性。
• 证明在边界连通的 $C^2$ 域中，算子 $|\nabla u|^\alpha(F(D^2u) + h(x) \cdot \nabla u) + \bar{\lambda} u^{1+\alpha} = 0$ 的广义主特征值是简洁的。
• 将正则性理论扩展至包含低阶项和边界条件的情形，提供对数据具有显式依赖关系的完整 $C^{1,\beta}$ 估计。

提出的方法

• 使用适配于含 $|\nabla u|^\alpha$ 和边界条件的退化方程的平坦性改进引理，证明 $u - p \cdot x$ 的振幅以 $r^{1+\beta}$ 的速率衰减。
• 应用含低阶项 $h(x) \cdot \nabla u$ 的粘性解的比较原理，确保即使在退化区域中比较原理依然成立。
• 采用加权障碍函数和到边界距离的估计，以控制边界行为，特别是在 $\nabla u$ 较小时。
• 使用紧致性论证：解的有界序列在紧子集上一致收敛，且极限方程继承原始方程的结构。
• 应用爆破论证与反证法，证明梯度在边界处保持 Hölder 连续性，依赖于梯度序列的有界性。
• 引入一个技术性命题，证明当 $a$ 为 $C^2$、$a(0) = \nabla a(0) = 0$ 且 $a$ 不恒为零时，满足 $|p_n \cdot (x', a(x'))| \leq C$ 的序列 $p_n$ 有界。

实验结果

研究问题

• RQ1 当 $\alpha \geq 0$ 时，$|\nabla u|^\alpha(F(D^2u) + h(x) \cdot \nabla u) = f$ 的粘性解在边界处是否具有 $C^{1,\beta}$ 正则性？
• RQ2 在 $|\nabla u| \to 0$ 时出现退化的情况下，是否可在边界附近应用强比较原理？
• RQ3 在边界连通的 $C^2$ 域中，算子 $|\nabla u|^\alpha(F(D^2u) + h(x) \cdot \nabla u) + \bar{\lambda} u^{1+\alpha} = 0$ 的广义主特征值是否简洁？
• RQ4 低阶项 $h(x) \cdot \nabla u$ 的加入如何影响解在边界附近的正则性与紧致性？
• RQ5 梯度的最优 Hölder 指数 $\beta$ 在 $\alpha$、$N$ 和强椭圆性常数方面的表达式为何？

主要发现

• 本文建立了粘性解的全局 $C^{1,\beta}$ 估计：$\|u\|_{C^{1,\beta}(\Omega)} \leq C\left(\|\phi\|_{C^{1,\beta_0}(\partial\Omega)} + \|u\|_{L^\infty(\Omega)} + \|f\|_{L^\infty(\Omega)}^{1/(1+\alpha)}\right)$，其中 $\beta$ 依赖于 $\lambda, \Lambda, \|f\|_\infty, N, \Omega, \|h\|_\infty, \beta_0$。
• Hölder 指数 $\beta$ 被显式量化，且依赖于强椭圆性常数 $\lambda, \Lambda$、维数 $N$ 和数据范数。
• 作者证明了算子 $|\nabla u|^\alpha(F(D^2u) + h(x) \cdot \nabla u) + \bar{\lambda} u^{1+\alpha} = 0$ 的广义主特征值 $\bar{\lambda}$ 是简洁的，即任意两个正特征函数彼此为标量倍数。
• 该证明依赖于边界处的 $C^{1,\beta}$ 正则性，这确保了强比较原理在边界附近成立，从而支持简洁性证明。
• 该方法引入了一个新的边界平坦性改进引理，可处理退化性和低阶项，将 Imbert 和 Silvestre 的内部论证推广至边界。
• 一个关键的技术性结果表明：当 $a \in C^2$、$a(0) = \nabla a(0) = 0$ 且 $a$ 不恒为零时，满足 $|p_n \cdot (x', a(x'))| \leq C$ 的序列 $p_n$ 有界，这对紧致性至关重要。