Regularity theory for fully nonlinear oblique transmission problems

技术摘要：全非线性斜向传输问题的正则性理论

问题陈述
本文为全非线性斜向传输问题开发了一套正则性理论。这些问题模拟了物理和经济系统中配置空间由多个相（例如复合材料）组成且由界面分隔的情形。与耦合条件仅取决于法向导数的经典传输问题不同，本研究处理的是一类传输条件依赖于每一侧解的全梯度（full gradient）的传输问题。

所考虑的具体问题涉及一个被分为上、下半球（$B_R^+$ 和 $B_R^-$）的区域 $B_R \subset \mathbb{R}^n$，其由平坦界面 $T_R$ 分隔。解 $u$ 在体相中满足全非线性二阶方程 $F^\pm(D^2u, x) = f^\pm(x)$，并在界面上满足全非线性传输条件 $G(\nabla u^+, \theta \nabla u^-, x) = g(x)$，其中 $0 \le \theta \le 1$ 是插值参数。算子 $F^\pm$ 和 $G$ 被假定为一致椭圆型的。

方法论
作者采用了粘性解（viscosity solutions）框架，扩展了其在前作 [7] 中建立的基础工作。该方法论依赖于扰动法，通过用常系数问题近似变系数问题，来建立变系数方程的正则性结果。

关键技术工具包括：

1. 分段二次型障碍函数（Piecewise Quadratic Barriers）： 为了建立哈尔马克不等式（Harnack inequalities）和边界估计，作者构造了特定的分段二次型障碍函数。与非斜向设置中仅需简单径向函数的情况不同，斜向传输条件的特性要求障碍函数必须考虑到切向贡献以及两侧法向分量的相对大小。
2. 哈尔马克不等式与 Hölder 估计： 作者为属于通用解类（universal solution class）的函数证明了一个新的哈尔马克不等式，从而导出了变系数问题粘性解的 $C^\alpha$ 估计。
3. 扰动理论： 正则性证明的核心在于将变系数问题的解与常系数齐次问题的解进行比较。这需要使用一种“紧致性-矛盾”（compactness-contradiction）论证方法。
4. 粘性-$\star$ 解（Viscosity-$\star$ Solutions）： 对于变系数情形，作者引入了一种更强的解的概念（粘性-$\star$ 解），它允许测试函数的 Hessian 在界面处可能趋于无穷大。由于在扰动论证中使用的障碍函数在界面处并不明确已知是 $C^{1,1}$ 的，因此这种处理是必要的。
5. 迭代逼近： 用于证明 $C^{1,\alpha}$ 正则性的过程利用了一种迭代方案（受 Caffarelli 的工作启发），通过构造一系列分段线性多项式来逼近解，并证明误差以特定速率衰减。

主要贡献与结果
本文建立了平坦界面下粘性解的最优正则性，证明了解在界面处是分段 $C^{1,\alpha}$ 的。主要结果如下：

• $C^\alpha$ 估计（定理 1.1）： 对于变系数问题，粘性解在整个定义域内被证明是 $C^\alpha$ 的。该估计依赖于通用常数，且与插值参数 $\theta$ 无关。该结果是通过一个新的哈尔马克不等式推导出来的。
• 常系数情形下的分段 $C^{1,\alpha}$ 正则性（定理 1.3）： 对于常系数齐次问题，解在每一相内直到界面处均为 $化$C^{1,\alpha}$。证明过程利用了问题在水平平移下的不变性，以表明切向差分满足 Hölder 估计。作者指出，这种正则性是优化的；由于全非线性方程中已知的反例，解通常不能达到 $C^{1,1}$，且梯度在界面处可能会发生不连续。
• 变系数情形下的分段 $C^{1,\alpha}$ 正则性（定理 1.5）： 对于具有 Hölder 连续系数的变系数问题，作者证明了粘性-$\star$ 解具有分段 $C^{1,\alpha}$ 正则性。该结果依赖于对常系数问题的扰动以及第 5 节中建立的边界估计。

意义与范围
作者将这项工作定位为现有正则性理论的重要扩展。虽然对于变分（散度形式）传输问题以及具有法向导数条件的非变分问题（如 De Silva-Ferrari-Salsa [5, 6] 和 Soria Carro-Stinga [16]）已存在经典的正则性理论，但本文处理的是更复杂的“斜向”框架，即耦合涉及全梯度。

作者强调，斜向设置提出了截然不同的定性挑战，特别是构建用于哈尔马克不等式的障碍函数时，无法将其简化为简单的径向函数。他们明确指出，其研究结果是首次将几乎所有先前的正则性结果扩展到这一斜向框架中。

本文对未来工作的探讨保持了适度的范围。文中提到，用于扰动论证的障碍函数所满足的传输问题是凸的，如果能证明此类凸问题的解具有分段 $C^{1,1}$ 正则性，那么主定理就可以扩展到普通的粘性解。然而，作者指出这种改进的正则性仍是一个开放性问题，并未声称已解决。此外，作者表示，关于弯曲界面的处理将保留在后续工作中，因为目前的分析依赖于一种会引入低阶项技术复杂性的平坦化程序。

总之，本文为平坦界面上的全非线性斜向传输问题提供了一套全面的正则性理论，通过结合障碍函数法、哈尔马克不等式和扰动论证，建立了最优的分段 $C^{1,\alpha}$ 正则性，同时仔细界定了由斜向传输性质所带来的局限性。