[论文解读] Boundary Lipschitz Regularity and the Hopf Lemma for Fully Nonlinear Elliptic Equations

Yuanyuan Lian, Kai Zhang|arXiv (Cornell University)|Dec 29, 2018

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

一句话总结

本文通过将曲边界视为平面的扰动，采用统一的扰动方法，分别在外部和内部 $C^{1,\text{Dini}}$ 条件下，建立了完全非线性椭圆方程粘性解的边界 Lipschitz 正则性与 Hopf 引理。作者通过简短直接的论证，证明了 $C^{1,\text{Dini}}$ 条件在两种情形下均最优。

ABSTRACT

In this paper, we study the boundary regularity for viscosity solutions of fully nonlinear elliptic equations. We use a unified, simple method to prove that if the domain $Ω$ satisfies the exterior $C^{1,\mathrm{Dini}}$ condition at $x_0\in \partial Ω$ (see Definition 1.2), the solution is Lipschitz continuous at $x_0$; if $Ω$ satisfies the interior $C^{1,\mathrm{Dini}}$ condition at $x_0$ (see Definition 1.3), the Hopf lemma holds at $x_0$. The key idea is that the curved boundaries are regarded as perturbations of a hyperplane. Moreover, we show that the $C^{1,\mathrm{Dini}}$ conditions are optimal.

研究动机与目标

• 在外部 $C^{1,\text{Dini}}$ 条件下，建立完全非线性椭圆方程粘性解的边界 Lipschitz 正则性。
• 在内部 $C^{1,\text{Dini}}$ 条件下，证明粘性解的 Hopf 引理。
• 通过基于平面边界近似的一致扰动框架，统一证明两个结果。
• 证明 $C^{1,\text{Dini}}$ 几何条件在正则性与 Hopf 型结论中均为最优。
• 将先前针对经典解或线性解的结果，推广至完全非线性和粘性解情形。

提出的方法

• 将曲边界视为平面的扰动，利用平面上 $C^{1,\alpha}$ 正则性结果。
• 构造辅助函数，并利用最大原理估计曲边界与平面边界上解之间的误差。
• 以受控方式应用边界 Harnack 不等式与正则化距离技术，以控制导数的界。
• 通过满足 $a_k = (1 - c_0 \omega(\eta^k))a_{k-1}$ 的序列 $\{a_k\}$ 进行迭代障碍构造，以在更小尺度上传播正则性。
• 利用 Dini 条件 $\int_0^{r_0} \frac{\omega(r)}{r} dr < \infty$ 控制边界曲率的累积效应。
• 通过构造反例证明最优性：当 Dini 条件不成立时，若 $\tilde{\omega}(r) \to 0$ 当 $r \to 0$，则正则性将丧失。

实验结果

研究问题

• RQ1 在外部 $C^{1,\text{Dini}}$ 条件下，是否可建立完全非线性椭圆方程粘性解的边界 Lipschitz 正则性？
• RQ2 在内部 $C^{1,\text{Dini}}$ 条件下，Hopf 引理是否对粘性解成立？
• RQ3 $C^{1,\text{Dini}}$ 条件是否对边界正则性与 Hopf 引理均为最优？
• RQ4 能否使用统一且简洁的方法证明两个结果，而无需依赖边界 Harnack 不等式或经典解理论？
• RQ5 以 Dini 模量衡量的区域曲率，如何影响边界处法向导数的有界性与正性？

主要发现

• 若区域在边界点满足外部 $C^{1,\text{Dini}}$ 条件，则完全非线性椭圆方程粘性解的边界 Lipschitz 正则性成立。
• 在内部 $C^{1,\text{Dini}}$ 条件下，Hopf 引理对粘性解成立，确保法向导数在边界处不为零。
• $C^{1,\text{Dini}}$ 条件对两个结果均为最优：若 Dini 条件不成立，则正则性与 Hopf 型结论可能失效。
• 证明方法通过将曲边界视为平面边界的扰动，统一了两个结果，采用迭代障碍估计。
• 证明中序列 $\{a_k\}$ 满足 $a_k = (1 - c_0 \omega(\eta^k))a_{k-1}$，当 $\omega$ 不满足 Dini 条件时，有 $\prod_{i=1}^k (1 - c_0 \omega(\eta^i)) \to 0$ 当 $k \to \infty$。
• 该方法避免依赖边界 Harnack 不等式，转而使用最大原理与具有通用常数的迭代障碍构造。