Properties of hypersurface singular sets of solutions to the $σ_k$-Yamabe equation in the negative cone

这篇论文由 Jonah A. J. Duncan 和 Luc Nguyen 撰写，主要研究了负锥（negative cone）中 $\sigma_k$-Yamabe 方程的共形平坦 Lipschitz 粘性解，特别是那些具有**光滑超曲面奇点（smooth hypersurface singularities）**的解的性质。

以下是对该论文的详细技术总结：

1. 研究背景与问题定义

• 方程背景：
  文章考虑定义在开集 $\Omega \subset \mathbb{R}^n$ ($n \ge 3$) 上的共形平坦度量 $g = w^{-2}|dx|^2$。其 $(1,1)$ 型 Schouten 张量定义为 $A_w = w\nabla^2 w - \frac{1}{2}|\nabla w|^2 I$。
  研究的核心方程是负锥下的 $\sigma_k$-Yamabe 方程：
  $$\sigma_k(\lambda(-A_w)) = 1, \quad \lambda(-A_w) \in \Gamma_k^+ \quad \text{in } \Omega$$
  其中 $\lambda(-A_w)$ 是 $-A_w$ 的特征值向量，$\sigma_k$ 是第 $k$ 个初等对称多项式，$\Gamma_k^+$ 是 Garding 锥。
• 动机：
  该研究受限于 $\sigma_k$-Loewner-Nirenberg 问题（即上述方程在边界 $w=0$ 条件下的解）的存在性与正则性理论。已知当 $k \ge 2$ 且区域 $\Omega$ 具有多个连通边界分量（如圆环域）时，解在内部某超曲面 $\Sigma$ 处会出现奇点（具体表现为径向导数的跳跃），且解在该超曲面两侧是 $C^{1, 1/k}_{loc}$ 但非 $C^1$ 的。
• 核心问题：
  当解 $w$ 在超曲面 $\Sigma$ 上具有奇点（即 $w$ 是 Lipschitz 连续，但在 $\Sigma$ 两侧 $C^1$ 光滑，跨 $\Sigma$ 不可导）时，解在 $\Sigma$ 上的迹（trace）和法向导数满足什么关系？奇点集 $\Sigma$ 具有怎样的几何性质？

2. 主要定义与假设

• 奇点定义 (Definition 1.1)：
  定义 $w$ 在 $B_\varepsilon$ 内具有奇点超曲面 $\Sigma$，需满足：
  1. $B_\varepsilon \setminus \Sigma$ 分为两个不相交的开连通集 $B_\varepsilon^+$ 和 $B_\varepsilon^-$。
  2. $w \in C^{0,1}(B_\varepsilon) \cap C^1(B_\varepsilon^\pm) \cap C^2_{loc}(B_\varepsilon^\pm)$，但在 $\Sigma$ 上不可导（即跨 $\Sigma$ 导数不连续）。
  3. $w$ 限制在 $\Sigma$ 上是 $C^2$ 的。
• 记号：
  记 $w_0 = w|_\Sigma$，$\nabla_\nu w^\pm$ 为 $\Sigma$ 两侧的法向导数。定义张量 $T_\alpha$ 涉及 $w_0$ 的切向 Hessian、第二基本形式 $II_\Sigma$ 以及法向导数参数 $\alpha$。

3. 主要结果

定理 1.2：奇点处的 PDE 约束

如果 $w$ 是 $\sigma_k$-Yamabe 方程的粘性解且具有奇点超曲面 $\Sigma$，则对于 $\alpha \in \{\nabla_\nu w^+, \nabla_\nu w^-\}$，以下微分包含在 $\Sigma$ 上成立：
$$\lambda(g_\Sigma^{-1} T_\alpha) \in \partial \Gamma_{k-1}^+$$
其中 $T_\alpha$ 是定义在 $\Sigma$ 上的张量。

• 意义：这表明解在 $\Sigma$ 处 $C^1$ 正则性的失效并非任意的，而是由迹 $w_0$ 和法向导数 $\nabla_\nu w^\pm$ 之间精确的非线性偏微分关系所约束。该方程是关于 $\alpha$ 的 $2k-2$ 次多项式方程。

定理 1.3：$k=2$ 时的极小性

当 $k=2$ 时，上述方程简化为关于平均曲率 $H_\Sigma$ 的方程。定理指出：

• 超曲面 $\Sigma \cap B_\varepsilon$ 关于度量 $g|_{B_\varepsilon^\pm} = w_\pm^{-2}|dx|^2$ 和法向量 $\pm \nu$ 具有负的平均曲率。
• 推论：$\Sigma \cap B_\varepsilon$ 在变分意义下是极小超曲面（minimal hypersurface），即它是与 Lipschitz 度量 $g|_{B_\varepsilon}$ 相关的面积泛函的驻点。
• 背景联系：这一结果呼应了 Li, Nguyen & Xiong 在 [26] 中的工作，他们利用极小超曲面理论证明了多连通区域上 $C^1$ 解的不存在性。定理 1.3 表明，当解仅 Lipschitz 连续时，奇点集本身表现为极小曲面。

命题 1.6：奇点附近的渐近展开与正则性

针对 $k=2$ 的情况，作者研究了奇点附近的渐近行为。假设存在形式为 $\bar{w} = \tilde{w}_0 + w_1 d + w_* d^p$ 的展开（其中 $d$ 是到 $\Sigma$ 的距离）：

• 结论：存在非零函数 $w_*$ 和指数 $p \in (1, 2)$ 使得展开式满足方程，当且仅当 $p = \frac{3}{2}$。
• 唯一性：当 $p=3/2$ 时，$w_*$ 被唯一确定且为负值。
• 意义：这为 $\sigma_2$-Loewner-Nirenberg 问题解的梯度具有 $C^{1, 1/2}$ 正则性（即 $p=3/2$ 对应 $d^{3/2}$ 项）提供了理论证据，推广了圆环域上的已知结果。

4. 方法论

1. 粘性解理论（Viscosity Solutions）：
   由于解在 $\Sigma$ 处不可导，作者严格使用粘性解的定义。通过构造特定的测试函数（Test functions）$\xi_{\alpha, \beta}$ 和 $\xi_{\alpha, \beta, \gamma}$，利用粘性解在极值点必须满足的不等式条件（即 $\lambda(-A\xi) \in \Gamma_k^+$ 或 $\le 1$ 等），推导奇点处的约束。
2. 测试函数构造：
   • 为了证明法向导数的排序（$\nabla_\nu w^+ < \nabla_\nu w^-$），构造了二次型测试函数，利用 $\beta \to \infty$ 或 $\beta \to -\infty$ 时的矛盾来排除不可能的情况。
   • 为了证明定理 1.2，构造了包含参数 $\alpha, \beta, \gamma$ 的精细测试函数，通过控制误差项（Error terms），利用 Cauchy 交错定理（Cauchy's interlacing theorem）将 $n \times n$ 矩阵的特征值条件降维到 $(n-1) \times (n-1)$ 的切向矩阵上。
3. 渐近分析（Asymptotic Analysis）：
   在命题 1.6 的证明中，作者将假设的展开式代入 $\sigma_2$ 方程，按距离 $d$ 的幂次展开。通过分析最低阶项（$d^{p-2}$）和次低阶项（$d^0$ 或 $d^{2p-3}$），确定指数 $p$ 必须为 $3/2$，并导出 $w_*$ 的显式表达式。

5. 关键贡献与意义

• 揭示了奇点的内在结构：首次严格证明了 $\sigma_k$-Yamabe 方程解的奇点超曲面并非随机分布，而是满足特定的 PDE 约束（定理 1.2）。
• 几何解释：在 $k=2$ 的情形下，将奇点集的几何性质与极小曲面联系起来（定理 1.3），为理解解在奇点处的行为提供了几何直观。
• 正则性预测：通过命题 1.6，为一般域上解的梯度 $C^{1, 1/2}$ 正则性提供了强有力的证据，解释了为何在圆环域上观察到的 $C^{1, 1/2}$ 行为是普遍的。
• 技术突破：克服了在退化椭圆方程（在奇点处方程可能退化）和 Lipschitz 解框架下进行分析的困难，展示了粘性解技术在处理此类几何 PDE 奇点问题中的强大能力。

6. 总结

该论文深入探讨了 $\sigma_k$-Yamabe 方程在负锥下具有超曲面奇点的解的性质。通过粘性解理论和精细的渐近分析，作者证明了奇点集必须满足特定的微分方程，且在 $k=2$ 时表现为极小曲面。此外，文章还确定了奇点附近解的渐近展开指数为 $3/2$，这为理解此类非线性椭圆方程解的正则性界限提供了重要的理论依据。这项工作不仅推广了 Loewner-Nirenberg 问题的已知结果，也为高维几何分析中奇点理论的发展做出了贡献。