A Priori Regularity Estimates for Ratio of Solutions to Elliptic Equations with a Product Structure of Two-Dimensional Nodal Sets

技术摘要：具有二维节点集乘积结构的椭圆方程解之比的先验正则性估计

问题陈述
本文研究了在区域 $B_1 \subset \mathbb{R}^n$ 中，同一一致椭圆方程 $-\text{div}(A\nabla u) = 0$ 的两个解之比 $w = v/u$ 的正则性，其几何约束为它们的节点集满足包含关系 $Z(u) \subseteq Z(v)$。虽然经典的边界哈纳克原理（Boundary Harnack Principle）保证了此类比值在光滑边界附近的 Hölder 连续性，但在节点集 $Z(u)$（其充当内蕴边界）附近的行为要复杂得多，特别是当 $Z(u)$ 包含 $\nabla u = 0$ 的奇点时。

Logunov 和 Malinnikova [16, 17] 以及 Terracini、Tortone 和 Vita [24, 25, 26] 的先前工作已在 $n=2$ 维且系数为 Lipschitz 连续的情况下，建立了该比值的最佳 $C^{1,\alpha}$ 正则性估计。本文解决的主要挑战是在保持系数 $A$ 为 Lipschitz 连续的同时，将这些一致的先验 $C^{1,\alpha}$ 估计推广到更高维度（$n > 2$）。本文特别针对一种几何构型，即节点集 $Z(u)$ 具有二维节点集的乘积结构，亦即 $Z(u) = Z(u_1) \times \dots \times Z(u_m)$，其中每个 $u_i$ 均为二维函数。

方法论
证明策略依赖于比值 $w = v/u$ 与退化加权椭圆方程之间的联系。如先前文献所确立，$w$ 满足：
$$-\text{div}(u^2 A \nabla w) = 0$$
其中权重 $u^2$ 在节点集 $Z(u)$ 上退化。作者采用爆破分析（blow-up analysis）结合反证法来建立 $C^{1,\alpha}$ 估计。

关键的方法论组成部分包括：

1. 一致类（Uniformity Classes）： 分析是在由广义 Almgren 频率泛函的界所定义的类 $S_{N_0}$ 中进行的。这确保了分母序列在爆破极限下的紧性。
2. 正交性假设： 论文施加了一个结构假设（假设 1.1），即系数矩阵 $A$ 和解 $u$ 分解为独立的二维块（若 $n$ 为奇数，则为一个一维块）。具体而言，$A$ 是分块对角矩阵，包含依赖于变量对 $(x_{2i-1}, x_{2i})$ 的 $2\times 2$ 块，而 $u$ 是二维解 $u_i$ 的乘积。
3. 分量分析： 与二维情况不同，高维设置需要一种新颖的方法来控制在奇点集 $S(u)$ 附近 $\nabla w$ 的振荡。作者将梯度 $\nabla w$ 投影到每个二维因子 $u_i$ 的正则集 $R(u_i)$ 上。
4. 爆破与刘维尔定理： 证明假设估计失效并构造了一个爆破序列 $W_k$。通过分析极限方程，作者利用针对整体解的刘维尔型定理（定理 4.2）导出矛盾。极限函数 $W$ 被证明满足带有多项式权重 $U^2$ 的加权方程，其增长被约束为次线性的，从而迫使它为常数，这与非恒定梯度振荡的假设相矛盾。
5. 处理几何情形： 证明根据爆破点与正则集（$\delta_k$）和奇点集（$\delta^*_k$）的距离，细致地分类了爆破序列的行为。分析了三种不同的机制：
   • 一致椭圆情形： 点远离 $Z(u)$。
   • 正则情形： 点接近正则集但远离奇点集。
   • 奇点情形： 点同时接近正则集和奇点集。在此机制下，作者利用引理 3.4（二维结果的推广）找到极限多项式的梯度方向未对齐的点，从而利用共法边界条件来控制振荡。

主要贡献与结果
主要结果是定理 1.2，它建立了比值 $v/u$ 的最佳、一致先验 $C^{1,\alpha}$ 估计。具体而言，对于任意 $\alpha \in (0,1)$，存在一个常数 $C$，其仅依赖于维数、椭圆性常数、$A$ 的 Lipschitz 范数以及频率界 $N_0$，使得：
$$\|v/u\|_{C^{1,\alpha}(B_{1/2})} \leq C \|v\|_{L^2(B_1)}$$
前提是 $Z(u) \subseteq Z(v)$ 且结构假设 1.1 成立。

本文在特定的乘积结构假设下，将 Logunov-Malinnikova 和 Terracini-Tortone-Vita 的平面结果严谨地推广到了高维。一个关键的技术贡献是开发了高维情形下梯度振荡的分量控制机制，这依赖于系数的特定分块对角结构以及节点集的乘积性质。

意义与主张
本文声称将高阶边界哈纳克原理的适用范围扩展到了具有 Lipschitz 系数的高维设置，而在该机制下，由于节点域在奇点附近正则性较差，经典方法往往失效。作者强调，他们的分量方法是“高维设置的一个新特征”，在二维策略中没有直接对应物。

其意义在于证明，尽管加权方程 $-\text{div}(u^2 A \nabla w) = 0$ 具有内蕴退化性，但节点集（作为二维集的乘积）的特定几何结构允许恢复最佳正则性。作者谦逊地建议，这种分量框架可能代表“迈向解决更一般的、非乘积几何构型的零集 $Z(u)$ 的第一步”，但他们并未声称已解决了高维任意节点集的一般情况。结果严格限定在定义的结构假设内的先验估计。