[논문 리뷰] Area-stationary surfaces in the Heisenberg group H^1

Manuel Ritoré, César Rosales|ArXiv.org|2005. 12. 23.

Geometric Analysis and Curvature Flows참고 문헌 15인용 수 26

한 줄 요약

이 논문은 하이젠베르크 군 ℍ¹에서 면적-정적 표면에 대한 변분 프레임워크를 수립하며, 면적의 일阶 변분을 통해 평균 곡률을 정의한다. $C^2$ 체적 보존 면적-정적 표면이 비어 있지 않은 특이 집합을 가질 경우, 이는 두 극점 사이를 연결하는 일정 곡률을 가진 지지선들로 이루어진 회전 대칭 구와 합동임을 증명함으로써, $C^2$ 정규성 조건 하에서의 등주 문제를 해결한다.

ABSTRACT

We use variational arguments to introduce a notion of mean curvature for surfaces in the Heisenberg group H^1 endowed with its Carnot-Carathéodory distance. By analyzing the first variation of area, we characterize C^2 stationary surfaces for the area as those with mean curvature zero (or constant if a volume-preserving condition is assumed) and such that the characteristic curves meet orthogonally the singular curves. Moreover, a Minkowski type formula relating the area, the mean curvature, and the volume is obtained for volume-preserving area-stationary surfaces enclosing a given region. As a consequence of the characterization of area-stationary surfaces, we refine previous Bernstein type theorems in order to describe entire area-stationary graphs over the xy-plane in H^1. A calibration argument shows that these graphs are globally area-minimizing. Finally, by using the known description of the singular set, the characterization of area-stationary surfaces, and the ruling property of constant mean curvature surfaces, we prove our main results where we classify volume-preserving area-stationary surfaces in H^1 with non-empty singular set. In particular, we deduce the following counterpart to Alexandrov uniqueness theorem in Euclidean space: any compact, connected, C^2 surface in H^1 area-stationary under a volume constraint must be congruent with a rotationally symmetric sphere obtained as the union of all the geodesics of the same curvature joining two points. As a consequence, we solve the isoperimetric problem in H^1 assuming C^2 smoothness of the solutions.

연구 동기 및 목표

• 서브리만노프 하이젠베르크 군 ℍ¹에서의 표면에 대해 변분 방법을 사용하여 평균 곡률을 정의하고 분석한다.
• 특성 곡선이 특이 곡선과 수직으로 만날 조건을 만족하는 $C^2$ 면적-정적 표면는 평균 곡률이 0이거나 체적 제약 조건 하에서 일정한 표면로 특성화된다.
• $C^2$ 정규성 조건 하에서 비어 있지 않은 특이 집합을 가진 체적 보존 면적-정적 표면을 분류함으로써, 등주 문제를 해결한다.
• 전체 면적-정적 그래프가 $xy$-평면 위에 있을 경우, 캘리브레이션을 통해 전역적으로 면적을 최소화함을 증명함으로써 베르너스타인 유형 정리를 확장한다.
• 체적 보존 면적-정적 표면에 대해 면적, 평균 곡률, 체적을 연결하는 민코프스키 유형 공식을 증명한다.

제안 방법

• 표면 위에서 수평 단위 법선 벡터장 $\nu_H$ 의 리만 다이버전스를 통해 ℍ¹에서의 평균 곡률를 정의한다.
• 면적의 일阶 변분 공식(보조정리 4.3)을 유도하여, 면적-정적 표면는 평균 곡률이 0이거나 체적 제약 조건 하에서 일정하다는 것을 보인다.
• 캘리브레이션 방법을 사용하여, $xy$-평면 위에 정의된 전체 면적-정적 그래프가 전역적으로 면적을 최소화함을 증명한다.
• [CHMY]에서의 특이 집합 특성과 일정 평균 곡률 표면의 룰링 성질을 활용하여 비어 있지 않은 특이 집합을 가진 면적-정적 표면를 분류한다.
• 체적 보존 변형에 대해 면적, 평균 곡률, 봉쇄된 체적을 연결하는 민코프스키 유형 적분 공식(식 4.10)을 활용한다.
• 아르크시메드형 유일성 추론을 사용하여, 체적 제약 조건 하에서 컴팩트하고 연결된 $C^2$ 면적-정적 표면는 반드시 회전 대칭 구 $\mathbb{S}_\lambda$ 와 합동임을 보인다.

실험 결과

연구 질문

• RQ1 체적 보존 변형 하에서 하이젠베르크 군 ℍ¹에서의 $C^2$ 면적-정적 표면는 어떻게 특성화되는가?
• RQ2 변분 원리에 기반하여 서브리만노프 구조인 ℍ¹에서 평균 곡률의 개념을 일관되게 정의할 수 있는가?
• RQ3 비어 있지 않은 특이 집합을 가진 ℍ¹에서의 체적 보존 면적-정적 표면의 구조는 어떠한가?
• RQ4 ℍ¹에서 $xy$-평면 위에 정의된 전체 면적-정적 그래프는 전역적으로 면적을 최소화하는가?
• RQ5 해결책이 $C^2$ 정규성을 만족할 경우, ℍ¹에서의 등주 문제를 해결할 수 있는가?

주요 결과

• 비어 있지 않은 특이 집합을 가진 ℍ¹에서의 체적 보존 면적-정적 $C^2$ 표면는 두 고정된 점을 연결하는 곡률 $\lambda$ 를 가진 모든 지지선들로 이루어진 회전 대칭 구 $\mathbb{S}_\lambda$ 와 합동이다.
• 구 $\mathbb{S}_\lambda$ 의 면적은 $A(\mathbb{S}_\lambda) = \pi^2 / \lambda^3$ 이며, 봉쇄된 체적은 $V(\Omega_\lambda) = 3\pi^2 / (8\lambda^4)$ 이다.
• 민코프스키 유형 공식(식 4.10)은 체적 보존 면적-정적 표면에 대해 면적, 평균 곡률, 체적을 연결하며, 핵심 적분 항등식을 제공한다.
• $xy$-평면 위에 정의된 ℍ¹에서의 전체 면적-정적 그래프는 캘리브레이션 방법을 통해 전역적으로 면적을 최소화한다.
• $C^2$ 정규성 조건 하에서 ℍ¹에서의 등주 문제는 해결되었으며, 유일한 해는 구 $\mathbb{S}_\lambda$ 로 둘러싸인 집합이며, 최적의 등주 비율은 $\alpha = (8/3)^3 \pi^2$ 이다.
• 이 결과는 유클리드 공간에서 아르크시메드의 유일성 정리의 서브리만노프 대응판으로서, 체적 제약 조건 하에서 컴팩트하고 연결된 $C^2$ 면적-정적 표면는 반드시 회전 대칭 구임을 보여준다.