Stability of p-area minimizing surfaces in the Heisenberg group

기술적 요약: 하이젠베르크 군에서 p-면적 최소화 표면의 안정성

문제 제기
본 논문은 하이젠베르크 군 $\mathbb{H}^n$에서 지정된 $p$-평균 곡률을 갖는 표면과 관련된 가중 $p$-면적 범함수의 최소화자들의 정량적 안정성을 조사한다. 이러한 최소화자들의 존재성과 유일성은 문헌에서 잘 확립되어 있다 (특히 최소 표면 경우인 $H=0$과 지정된 곡률 경우인 $H \neq 0$). 그러나 평균 곡률 함수 $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. 벡터장의 안정성: 곡률 $H$와 $\tilde{H}$에 대응하는 벡터장 $J$와 $\tilde{J}$ 사이의 차이에 대한 경계를 수립함으로써, 벡터장 $J$가 $H$의 섭동에 대해 안정적임을 증명한다. 이를 통해 저자들은 수평 기울기의 방향에 대한 통제를 유도한다.
3. 레벨 세트에 대한 기하학적 가정: 벡터장으로부터 최소화자 자체로 안정성을 확장하기 위해, 저자들은 최소화자들의 레벨 세트에 구조적 가정을 부과한다.
   • 차원 $n=2$에서는 레벨 세트의 길이가 균일하게 유계이며 거의 모든 레벨 세트가 경계에 도달한다고 가정한다.
   • 차원 $n=3$에서는 레벨 세트가 특정 규칙성과 유계 성질을 가진 1차원 곡선들로 잎사귀(foliated) 될 수 있다고 가정한다.
4. 규칙성과 코영역 공식: 증명에는 코영역 공식, BV 함수에 대한 부분적분, 그리고 (충분한 데이터의 매끄러움을 가정할 때) 타원적 규칙성 추정이 활용되어 $L^1$ 및 $W^{1,1}$ 안정성 추정이 유도된다.

주요 기여 및 결과
본 논문은 가중 함수가 상수인 경우 ($a \equiv 1$) 에조차 지정된 비영 $p$-평균 곡률을 갖는 $p$-면적 최소화 그래프에 대한 최초의 정량적 안정성 이론을 확립한다. 구체적인 결과는 다음과 같다:

• 벡터장 안정성: 저자들은 근본적인 벡터장 $J$가 $H$의 섭동에 대해 $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$에 대한 안정성도 동일한 속도로 유도된다.
• 수치적 검증: 이론적 결과는 번갈아 수행되는 split Bregman 알고리즘을 사용한 수치 시뮬레이션을 통해 설명된다. 저자들은 알려진 정확한 해를 갖는 테스트 사례를 구성하고 평균 곡률 $H$에 확률적 노이즈를 도입한다. 시뮬레이션은 수치적 근사가 견고하게 유지되며 상대 $L^2$ 오차가 노이즈 수준에 따라 예측 가능하게 증가함을 보여줌으로써 이론적 안정성 주장을 지지한다.

의의
저자들은 이러한 결과들이 의사허미트 $p$-평균 곡률 그래프의 구조에 대한 더 정교한 이해를 제공한다고 주장한다. 단순한 존재성과 유일성을 넘어 정량적 안정성을 포함하는 이론으로 확장함으로써, 이 연구는 준리만 최소 표면 분석의 중요한 공백을 해소한다. 고유한 근본 벡터장 $J$의 식별은 이러한 분석을 위한 기초적 도구로 작용한다. 결과는 가중 함수가 상수인 특수한 경우에서도 새로운 것으로 제시되며, 평균 곡률의 섭동에 대한 명시적 수렴 속도를 제공한다. 수치 시뮬레이션의 포함은 데이터 섭동 존재 하에서 이러한 이론적 발견의 견고함을 설명하는 역할을 한다.