Stability of p-area minimizing surfaces in the Heisenberg group

技術的概要：ヘンゼンベルグ群における p-面積最小化曲面の安定性

問題提起
本論文は、ヘンゼンベルグ群 $\mathbb{H}^n$ において、 prescribed p-平均曲率を持つ曲面に関連する重み付き p-面積汎関数の最小化子の定量的安定性を調査する。そのような最小化子の存在と一意性は文献において確立されている（特に $H=0$ の極小曲面の場合と $H \neq 0$ の prescribed 曲率の場合）が、平均曲率関数 $H$ の摂動に対するこれらの最小化子の挙動は未だ largely 未探索である。具体的には、著者らは、幾何学とポテンシャル項 $Hu$の間の結合が、特性集合に沿った退化や同次性の崩壊を含む重大な解析的課題をもたらす非ゼロ$H$ 領域における定量的安定性推定の欠如に対処する。

手法
著者らは、変分問題を解析するために 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$ では、レベルセットが特定の正則性と有界性を持つ 1 次元曲線に葉状分解できると仮定する。
4. 正則性とコエリア公式：証明には、コエリア公式、BV 関数に対する部分積分、および（データの十分な滑らかさを仮定して）楕円的正則性推定が用いられ、$L^1$ および $W^{1,1}$ 安定性推定が導き出される。

主要な貢献と結果
本論文は、重み付きでない場合（$a \equiv 1$）であっても、 prescribed 非ゼロ p-平均曲率を持つ p-面積最小化グラフに対する最初の定量的安定性理論を確立する。具体的な結果は以下の通りである：

• ベクトル場の安定性：著者らは、$H$ の摂動に対して、基底となるベクトル場 $J$ が $L^1$ ノルムにおいて安定であることを証明する。具体的には、$\|J - \tilde{J}\|_{L^1(\Omega)} \leq C \|H - \tilde{H}\|_{L^\infty(\Omega)}^{1/2}$ である。これは、水平勾配の方向が平均曲率の摂動によって定量的に制御されることを意味する。
• 最小化子の $L^1$ 安定性：レベルセットに関する自然な幾何学的仮定（2 次元では長さの有界性、3 次元では葉状分解）の下で、著者らは許容される最小化子に対する $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$ 誤差がノイズレベルに応じて予測可能に増加することを示しており、理論的安定性の主張を支持する。

重要性
著者らは、これらの結果が擬ヘルミット p-平均曲率グラフの構造に対するより洗練された理解を提供すると主張する。単なる存在と一意性を超えて定量的安定性を含む理論へと拡張することで、この研究は亜リーマン幾何学的極小曲面の解析における重要なギャップに対処する。一意の基底ベクトル場 $J$ の同定は、この解析のための基礎的な道具として機能する。結果は、重み関数が定数である特別な場合であっても新らしく提示され、平均曲率の摂動に関する明示的な収束レートを提供する。数値シミュレーションの包含は、データ摂動の存在下におけるこれらの理論的発見のロバスト性を示すために含まれている。