Quantitative Stability of Generalized $p$-Area Minimizing Surfaces

技术摘要：广义 p 面积极小化曲面的定量稳定性

问题陈述
本文研究了海森群（Heisenberg group）中广义最小梯度问题极小化元的定量稳定性，特别关注解对模型结构参数扰动的依赖性。所考虑的主要变分问题为：
$$\inf_{w \in BV_0(\Omega)} \int_{\Omega} \left( a(x)|Dw + F(x)| + H(x)w \right) dx,$$
其中 $\Omega \subset \mathbb{R}^n$（$n=2,3$）是有界 Lipschitz 区域，$a(x)$ 是权函数，$F(x)$ 是漂移向量场，$H(x)$ 是强迫项（给定的平均曲率）。

虽然作者此前已在文献 [29] 中建立了关于 $H$ 扰动的稳定性，但本文旨在解决泛函缺乏严格凸性这一难题，该问题使得稳定性分析变得复杂。核心挑战在于推导定量估计，描述当权函数 $a$ 和漂移向量场 $F$ 受到扰动时，极小化元及相关的通量向量场如何变化，并将这些结果统一起来以处理所有参数（$a, F, H$）的同时扰动。

方法论
作者采用基于Rockafellar–Fenchel 对偶和水平集几何分析的统一框架。核心方法论包括：

1. 通量变量表述：研究不直接分析极小化元 $u$，而是聚焦于相关的规范通量向量场 $J$。对于极小化元 $u$，通量定义为 $J = \sigma(Du + F)$，其中 $\sigma = a/|Du + F|$。该场满足分布意义下的方程 $\nabla \cdot J = H$ 以及约束条件 $|J| \leq a$。
2. 对偶框架：将原始极小化问题与一个涉及向量场 $b$ 的对偶极大化问题相联系，其中 $\nabla \cdot b = H$ 且 $|b| \leq a$。对偶问题解的存在性得到保证，且通量 $J$ 被识别为该对偶问题的解。
3. 几何分析：极小化元的稳定性通过解的水平集的几何分析，从通量 $J$ 的稳定性转移而来。作者利用余面积公式，并假设水平集具有特定的结构性质（例如：二维中水平集长度的有界性、三维中由一维曲线构成的叶状结构，以及“结构良好”的水平集）。
4. 保守漂移假设：为了处理漂移项 $F$，作者假设 $F$ 是保守向量场（$F = \nabla f$）。这使得问题可以转化为变量 $v = u + f$，从而便于分离变分部分和几何部分。
5. 数值验证：理论估计通过 MATLAB 中实现的收敛算法（文献 [11] 中的算法 1）进行说明，测试了极小化元在数据受噪声扰动下的稳定性。

主要贡献与结果

• 关于权函数（$a$）的稳定性：

  • 作者建立了通量向量场 $J$ 关于 $a$ 扰动的定量 $L^1$ 稳定性估计：$\|J - \tilde{J}\|_{L^1} \leq C \|a - \tilde{a}\|_{L^\infty}^{1/2}$。
  • 在可容许性假设（$\sigma$ 的有界性和 $|J|$ 的非退化性）及关于水平集的几何假设下，他们推导出了极小化元 $u$ 的 $L^1$ 稳定性，收敛速率为 $1/2$。
  • 在额外的正则性假设下（参数的 $C^2$ 光滑性和结构良好的水平集），获得了梯度的 $W^{1,1}$ 稳定性估计，收敛速率为 $1/4$。

• 关于漂移向量场（$F$）的稳定性：

  • 本文推导了通量 $J$ 和极小化元 $u$ 关于 $F$ 扰动的稳定性估计。这些估计依赖于漂移场差值的 $L^1$ 范数，即 $\|F - \tilde{F}\|_{L^1}$。
  • 与权函数情况类似，建立了极小化元的 $L^1$ 稳定性（关于势函数 $f$），速率为 $1/2$，并建立了梯度的 $W^{1,1}$ 稳定性，速率为 $1/4$。
  • 证明利用了弱分部积分法以及沿水平集叶状结构的几何估计。

• 统一稳定性估计：

  • 通过结合关于 $a$、$F$ 的结果以及此前已建立的关于 $H$ 的结果（来自文献 [29]），作者提供了针对所有主要参数同时扰动的统一定量稳定性估计。
  • 最终关于极小化元差值的 $L^1$ 范数和梯度差值的 $W^{1,1}$ 范数的估计，分别是各个扰动项分别提升至 $1/2$ 次幂和 $1/4$ 次幂后的和。

• 数值模拟：

  • 论文在二维域中使用已知精确解进行了数值模拟。
  • 模拟在 $a$、$F$ 和 $H$ 中引入了不同水平（低、中、高）的随机噪声。
  • 结果表明，数值近似在噪声下保持稳定，相对 $L^2$ 误差随噪声水平线性增加，这与理论稳定性框架一致。

意义与主张
本文声称扩展了海森群中 p 面积极小化曲面的定量稳定性理论。其主要意义在于：

1. 完善稳定性图景：它解决了作者先前工作中未涵盖的剩余结构参数（$a$ 和 $F$），为广义问题提供了全面的稳定性理论。
2. 统一框架：通过通量变量 $J$ 发展理论，作者提供了一种统一的方法，自然地连接了变分结构、对偶方法和水平集的几何性质。
3. 处理非严格凸性：该工作展示了如何在底层泛函缺乏严格凸性的情况下推导定量稳定性估计，这是全变分和最小梯度问题中的常见难题。
4. 可容许性与几何：结果强调了可容许性条件和几何正则性假设（特别是关于水平集结构）在将稳定性从通量变量转移到极小化元本身过程中的关键作用。

作者保持了谦逊的语气，指出结果依赖于特定的非退化性和几何假设（例如保守漂移、特定的水平集结构），并且数值模拟旨在说明理论，而非提出新的实验应用。