A Comparison Pogorelov Estimate for Graphical $\sigma_k$-Curvature Equations

技术摘要：图形 $\sigma_k$-曲率方程的比较 Pogorelov 估计

问题陈述
本文致力于开发图形 $\sigma_k$-曲率方程容许解的内部二阶导数估计（Pogorelov 估计）。具体而言，其目标是将传统的 Pogorelov 方法（通常应用于 Monge–Ampère 和 $k$-Hessian 方程）推广到几何图形设定中，其中预设曲率是位置、高度以及可能存在的梯度函数的函数。

将这些估计扩展到图形曲率方程中的核心困难在于“比较图形”（comparison graph）。经典方法通常依赖于仿射比较函数或使切空间对齐的边界数据，从而避免两个一般图形之间法向与切空间不匹配的问题。Qiu 和 Yan 的前序工作成功建立了图形标量曲率方程（$k=2$）的比较 Pogorelov 估计，该方法使用任意 $\Gamma_2$-容许的上图。本文旨在将这种“双曲面比较框架”推广到 $k \ge 2$ 且具有可变预设数据 $f(x, u)$ 及 $f(x, u, Du)$ 的 $\sigma_k$-曲率方程。

研究方法
证明过程结合了几种来自全非线性椭圆理论和微分几何的高级技术：

1. 双曲面局部化（Two-Surface Localization）： 遵循 Qiu 和 Yan 的方法，论证被局部化在两个图形 $M_u$ 和 $M_w$ 的乘积空间上。通过使用二次平移代价函数，将测试函数的极大值点置于一对内部点 $(x^*, y^*)$ 处。
2. 自然旋转与混合 Gårding 不等式： 在极大值点处，通过“自然旋转”（natural rotation）识别两个图形的切空间，该旋转将下图中图形的法向映射到上图中图形的法向。这种几何识别使得应用混合 Gårding 不等式成为可能。至关重要的是，这一步仅要求比较图形 $w$ 是 $k$-容许的（即 $\kappa[w] \in \Gamma_k$），而不要求 $w$ 满足特定的曲率方程或具有有界的二阶导数。
3. 谱凹性（Yan 不等式）： 为了处理由于对最大主曲率求导而产生的三阶项，作者采用了 Yan 的谱凹性不等式。该不等式控制了与 $\sigma_k$ 算子线性化相关的谱二次型。
4. 角度函数权重： 引入了一个基于图形法向与垂直方向之间夹角的权重函数。该项提供了一个正的二次曲率贡献，用以吸收“不良”谱方向以及与梯度相关的误差项。
5. Jacobi 不等式： 作者推导了关于最大主曲率对数（$\ell = \log \kappa_1$）和角度函数（$\omega$）的微分不等式，并将它们组合成一个测试函数 $G = \ell + q\omega$，以应用极大值原理。

主要贡献与结果
本文建立了两个定理，提供了最大主曲率 $\kappa_1[u]$（以及随之而来的完整曲率矩阵 $|A_u|$）相对于解图形 $u$ 与比较图形 $w$ 之间的垂直间隙 $\rho = w - u$ 的内部估计。

• 定理 1.1（位置相关数据）： 对于 $2 \le k < n$，若 $\sigma_k(A_u) = f(x, u)$，则存在常数 $\beta > 1$ 和 $C < \infty$，使得：
  $$\sup_{\Omega} \rho^\beta |A_u| \le C$$
  常数 $C$ 取决于维度、$k$、斜率界限以及 $f$ 的 $C^{1,1}$ 范数，但与 $\|D^2 w\|_{L^\infty}$、$\sigma_k(A_w)$ 的下界以及区域的凸性无关。

• 定理 1.2（梯度相关数据）： 对于超临界范围 $n/2 \le k < n$，若 $\sigma_k(A_u) = f(x, u, Du)$，则上述估计同样成立。

  • 注关于范围： 对于梯度相关数据，限制 $k \ge n/2$ 是因为在 Yan 不等式中，为了吸收法向漂移带来的线性损失而所需的参数 $q$，会与谱参数 $\gamma$ 的容许性产生冲突，当 $k < n/2$ 时情况如此。

意义与主张
本文声称成功地将 Qiu 和 Yan 的双曲面比较框架从标量曲率（$k=2$）扩展到了完整的 $\sigma_k$-曲率方程范围。其主要意义在于放宽了对比较图形 $w$ 的假设：

• $w$ 不需要求解曲率方程。
• $w$ 不需要具有有界的二阶导数。
• $w$ 仅需是 $k$-容许的，并具有有界的斜率以及在边界上消失的正内部间隙。

作者指出，严格的间隙假设是一个前提条件而非推导结果，而如何从边界数据构造出这样的比较图形仍然是一个独立的问题。这项工作强调，纯粹的内部二阶估计强烈依赖于算子的结构，这从谱凹性不等式的必要性以及梯度相关数据对 $k$ 的特定范围要求中可见一斑。该证明表明，通过结合谱凹性和角度函数权重，可以克服（由 Qiu 和 Yan 提出的）固定坐标单点论证在一般 $k$ 情况下的几何障碍。