Stability of p-area minimizing surfaces in the Heisenberg group

技术摘要：Heisenberg 群中 p-面积极小曲面的稳定性

问题陈述
本文研究了 Heisenberg 群 $\mathbb{H}^n$ 中具有指定 p-平均曲率的曲面所关联的加权 p-面积泛函的极小元的定量稳定性。尽管此类极小元的存在性与唯一性在文献中已得到充分确立（特别是针对极小曲面情形 $H=0$ 和指定曲率情形 $H \neq 0$），但这些极小元在平均曲率函数 $H$ 扰动下的行为仍 largely 未被探索。具体而言，作者解决了非零 $H$ 情形下定量稳定性估计的缺失问题；在该情形中，几何结构与势项 $Hu$ 之间的耦合引入了显著的解析挑战，包括沿特征集的退化以及齐次性的破坏。

方法论
作者采用 Rockafellar–Fenchel 对偶框架来分析变分问题。所考虑的主要泛函为：
$$F(u) = \int_{\Omega} (a|\nabla u - X^*| + Hu) \, dx$$
其中 $X^*$ 编码了水平方向的内蕴旋转，$a$ 为正权函数，且 $\Omega \subset \mathbb{R}^{2n}$。

方法论的核心包括：

1. 对偶表述：利用对偶性识别与任意极小元 $u$ 相关联的唯一底层向量场 $J$。该场满足 $|J| \leq a$，且在几乎处处意义上与水平梯度 $\nabla u - X^*$ 的方向一致。
2. 向量场的稳定性：证明向量场 $J$ 在 $H$ 的扰动下是稳定的。通过建立对应于曲率 $H$ 和 $\tilde{H}$ 的向量场 $J$ 与 $\tilde{J}$ 之间差值的界限，作者推导出了对水平梯度方向的控制。
3. 关于水平集的几何假设：为了将稳定性从向量场推广到极小元本身，作者对极小元的水平集施加了结构假设。
   • 在 $n=2$ 维情形下，假设水平集的长度一致有界，且几乎每个水平集都到达边界。
   • 在 $n=3$ 维情形下，假设水平集可被叶化为具有特定正则性和有界性性质的一维曲线。
4. 正则性与余面积公式：证明利用了余面积公式、BV 函数的分部积分以及椭圆正则性估计（假设数据具有充分光滑性），从而推导出 $L^1$ 和 $W^{1,1}$ 稳定性估计。

主要贡献与结果
本文建立了具有指定非零 p-平均曲率的 p-面积极小图的首个定量稳定性理论，即使在未加权情形（$a \equiv 1$）下也是如此。具体结果包括：

• 向量场稳定性：作者证明了底层向量场 $J$ 关于 $H$ 的扰动在 $L^1$ 范数下是稳定的。具体而言，$\|J - \tilde{J}\|_{L^1(\Omega)} \leq C \|H - \tilde{H}\|_{L^\infty(\Omega)}^{1/2}$。这意味着水平梯度的方向在定量上受平均曲率扰动的控制。
• 极小元的 $L^1$ 稳定性：在关于水平集的自然几何假设下（二维情形下有界长度，三维情形下可叶化），作者为容许极小元建立了 $L^1$ 稳定性：
  $$\|u - \tilde{u}\|_{L^1(\Omega)} \leq C \|H - \tilde{H}\|_{L^\infty(\Omega)}^{1/2}$$
• $W^{1,1}$ 稳定性：在额外的正则性假设下（要求 $C^2$ 边界、$C^2$ 向量场以及“结构良好”的水平集），文章推导出了梯度的 $W^{1,1}$ 稳定性估计：
  $$\|\nabla u - \nabla \tilde{u}\|_{L^1(\Omega)} \leq C \|H - \tilde{H}\|_{L^\infty(\Omega)}^{1/4}$$
  因此，关于权函数 $\sigma$（与梯度模量相关）的稳定性也以相同的速率被推导出来。
• 数值验证：理论结果通过交替分裂 Bregman 算法的数值模拟进行了说明。作者构建了一个具有已知精确解的测试案例，并引入随机噪声到平均曲率 $H$ 中。模拟表明数值近似具有鲁棒性，相对 $L^2$ 误差随噪声水平可预测地增加，从而支持了理论稳定性主张。

意义
作者声称，这些结果提供了对伪 Hermitian p-平均曲率图结构的更精细理解。通过将理论从单纯的存在性与唯一性扩展到包含定量稳定性，该工作解决了次黎曼极小曲面分析中的一个关键空白。识别出唯一的底层向量场 $J$ 构成了这一分析的基础工具。即使在权函数为常数的特殊情形下，这些结果也被呈现为新的，并提供了关于平均曲率扰动的显式收敛速率。包含数值模拟旨在说明这些理论发现在数据扰动存在时的鲁棒性。