[논문 리뷰] Rotationally invariant hypersurfaces with constant mean curvature in the Heisenberg group H^n

Manuel Ritoré, César Rosales|ArXiv.org|2005. 04. 21.

Geometric Analysis and Curvature Flows참고 문헌 4인용 수 16

한 줄 요약

이 논문은 회전 대칭성을 통해 고의의 평균 곡률(CMC)을 갖는 히센베르그 군 ℍⁿ 내의 회전 대칭성 있는 초표면을 분류한다. CMC 편미분방정식을 회전 대칭성에 의해 상미분방정식계로 환원함으로써 이를 달성한다. 주요 결과는 델라운에의 분류에 해당하는 히센베르그 군 버전을 수립하며, CMC 초표면이 노이드, 구, 캣레노이드임을 규명하고, H > 0인 경우 유일한 컴act, 임베디드, 회전 대칭 CMC 초표면은 S_H임을 증명한다.

ABSTRACT

In this paper we study sets in the $n$-dimensional Heisenberg group $\hhn$ which are critical points, under a volume constraint, of the sub-Riemannian perimeter associated to the distribution of horizontal vector fields in $\hhn$. We define a notion of mean curvature for hypersurfaces and we show that the boundary of a stationary set is a constant mean curvature (CMC) hypersurface. Our definition coincides with previous ones. Our main result describes which are the CMC hypersurfaces of revolution in $\hhn$. The fact that such a hypersurface is invariant under a compact group of rotations allows us to reduce the CMC partial differential equation to a system of ordinary differential equations. The analysis of the solutions leads us to establish a counterpart in the Heisenberg group of the Delaunay classification of constant mean curvature hypersurfaces of revolution in the Euclidean space. Hence we classify the rotationally invariant isoperimetric sets in $\hhn$.

연구 동기 및 목표

• n차원 히센베르그 군 ℍⁿ 내에서 평균 곡률가정(CMC)을 갖는 회전 대칭 초표면을 특성화하는 것.
• 문헌에서 이전에 정의된 바와 일치하는 방식으로 ℍⁿ 내 초표면에 대한 평균 곡률의 정의를 제시하고 그 타당성을 입증하는 것.
• ℍⁿ 내에서 존재하는 CMC 회전 초표면의 유형을 규명하여, 고전적인 델라운에 분류를 부분 리만 기하학적 환경으로 확장하는 것.
• ℍⁿ 내에서 회전 대칭인 등면적 집합을 규명하는 것. 이는 부피 제약 조건 하에서 둘레를 최소화하는 데 핵심적이다.

제안 방법

• 水平 벡터장과 드 지오르기 등면적 공식을 이용하여 ℍⁿ 내의 부분 리만 등면적을 정의한다.
• 초표면 위에서 수평 단위법선 벡터장 ν_H의 리만 발산으로서 평균 곡률의 개념을 도입한다.
• t-축을 중심으로 한 회전 대칭성을 활용하여 CMC 편미분방정식을 변수 (x, σ, t)에 대한 상미분방정식계로 환원한다.
• 해석적 기하학적 기법, 특히 리만 곡면 위의 해석적 한계형식을 사용하여 유도된 상미분방정식계를 분석한다.
• 대칭성과 반사 원리를 적용하여 국소적인 상미분방정식계의 해로부터 완전하고 임베디드인 해를 구성한다.
• 복소해석학을 활용하여 t-좌표와 관련된 적분을 평가하고, t₂ > 0임을 증명함으로써 자가교차와 노이드 유사 기하학을 확인한다.

실험 결과

연구 질문

• RQ1 히센베르그 군 ℍⁿ 내에서 완전하고 임베디드이며, 회전 대칭인 평균 곡률가정(CMC) 초표면은 무엇인가?
• RQ2 ℍⁿ 내에서 CMC 방정식이 회전 대칭 하에서 어떻게 행동하며, 어떤 유형의 해가 도출되는가?
• RQ3 유클리드 공간 내에서 평균 곡률가정 표면의 델라운에 분류를 부분 리만 기하학적 환경인 ℍⁿ으로 확장할 수 있는가?
• RQ4 ℍⁿ 내에서 회전 대칭인 등면적 집합은 예제 4.2에 기술된 S_H와 합동인가?
• RQ5 평균 곡률 H ≠ 0 이고 에너지 E > 0 인 경우, ℍⁿ 내 CMC 초표면의 기하학적 구조는 어떠한가?

주요 결과

• ℍⁿ 내에서 컴팩트하고 임베디드이며, 회전 대칭인 CMC 초표면은 예제 4.2에 기술된 H > 0인 경우의 구 S_H 이외에는 존재하지 않는다.
• H > 0 이고 E > 0 이면, 유도된 초표면은 주기적이고 임베디드이며, 자가교차를 보이며 유럽의 노이드 유사 기하학을 띤다. 이는 t₂ > 0 때문이며.
• 최소 곡률(H = 0)인 경우, ℍⁿ 내에서 유일한 회전 대칭 초표면은 t-축에 수직인 유클리드 평면과 캣레노이드 유사 표면이다.
• 건설된 CMC 초표면은 t에 대한 x(t)의 그래프로 표현되는 곡선을 통해 생성되며, x(t)는 특정 구간에서 엄격히 감소하고, 다른 영역에서는 오목/볼록성을 갖는다.
• t₂ 적분은 대칭으로 돌아오기까지의 시간을 나타내며, 이는 엄격히 양수이며, 노이드 유사 기하학과 표면의 비콤팩트성임을 확인한다.
• w² = x^{4n−2} − (E + Hx^{2n})² 과 관련된 리만 곡면 위에서 해석적 한계형식을 사용하면 t₂ 적분을 정확히 평가할 수 있으며, 이는 t₂ > 0임을 증명한다.