[논문 리뷰] A Delaunay-type classification result for prescribed mean curvature surfaces in $\mathbb{M}^2(\kappa) imes\mathbb{R}$

Antonio Bueno|arXiv (Cornell University)|2018. 07. 26.

Geometric Analysis and Curvature Flows참고 문헌 25인용 수 6

한 줄 요약

이 논문은 제품 공간 $\mathbb{M}^2(\kappa) \times \mathbb{R}$ 내에서 주어진 평균 곡률을 갖는 회전 표면에 대해 델로누아 유형의 분류를 수립하며, 회전 H-표면 프로파일의 단계 평면 역학을 분석하여 H-구, H-언듈로이드, H-노이드의 존재를 증명한다. 이는 일정 평균 곡률을 초월하는 H-표면 이론을 확장하며, $\mathbb{M}^2(\kappa) \times \mathbb{R}$ 내 완전한 회전 H-표면이 단계 평면에서 궤도 행동에 따라 언듈로이드, 노이드, 구형 유형으로 분류됨을 보여주며, $\kappa = 1$ 및 $\kappa = -1$에 대해 기하학적이고 위상수학적인 분류 결과를 명시적으로 제시한다. 주요 기여는 $C^1$-함수로 된 각도 함수에 대해 고전적 델로누아 표면과 유사한 완전한 분류를 제공하는 것으로, 이를 통해 성립한다.

ABSTRACT

The purpose of this paper is to study immersed surfaces in the product spaces $\mathbb{M}^2(\kappa) imes\mathbb{R}$, whose mean curvature is given as a $C^1$ function depending on their angle function. This class of surfaces extends widely, among others, the well-known theory of surfaces with constant mean curvature. In this paper we give necessary and sufficient conditions for the existence of prescribed mean curvature spheres, and we describe complete surfaces of revolution proving that they behave as the Delaunay surfaces of CMC type.

연구 동기 및 목표

• 일반 공간 $\mathbb{M}^2(\kappa) \times \mathbb{R}$ 로 주어진 평균 곡률 표면 이론을 $\mathbb{R}^3$ 에서부터 확장한다. 여기서 $\mathbb{M}^2(\kappa)$ 는 일정 곡률 $\kappa$ 를 갖는다.
• H-구의 존재를 위한 필요 및 충분 조건을 $\mathbb{M}^2(\kappa) \times \mathbb{R}$ 내에서 수립한다. 여기서 $H$ 는 각도 함수 $\nu$ 의 $C^1$ 함수이다.
• 완전한 회전 H-표면을 $\mathbb{M}^2(\kappa) \times \mathbb{R}$ 내에서 분류하며, 일정 평균 곡률 표면의 델로누아 분류를 일반화한다.
• 회전 H-표면 프로파일의 단계 평면 역학을 분석하여 기하학적 유형인 언듈로이드, 노이드, 임베디드 토러스를 규명한다.
• H-언듈로이드가 연속적인 1-매개수 가중족을 이룬다는 것을 증명하며, 극단에서 서로 맞닿은 H-구의 사슬과 CMC 실린더로 수렴함을 보인다.

제안 방법

• 회전 대칭성과 주어진 평균 곡률 PDE를 바탕으로, $\mathbb{M}^2(\kappa) \times \mathbb{R}$ 내 H-표면을 정의한다. 여기서 평균 곡률 $H_\Sigma(p) = H(\nu(p))$ 이며, $\nu(p)$ 는 가우스 매핑과 수직 벡터장 $\partial_z$ 사이의 내적을 측정하는 각도 함수이다.
• 회전 대칭성과 주어진 평균 곡률 PDE를 이용해 프로파일 곡선 방정식을 유도하며, 문제를 단계 평면 내의 이阶 자율 상미분방정식으로 환원한다.
• $\varepsilon = \pm1$ 인 단계 평면 $\Theta^\varepsilon_\kappa$ 를 분석하여 평형점과 궤도의 행동 및 대칭성에 따라 궤도를 분류한다.
• 기하학적 최대원리와 H-그래프에 대한 코시 문제의 유일성을 이용하여, $y = \pm1$ 에서 끝점이 존재하는 궤도가 경계를 가진 컴act하고 대칭적인 H-표면을 생성함을 증명한다.
• 경계 성분에서 법선 벡터가 일치하는 $\Sigma^\kappa_1$ 과 $\Sigma^\kappa_{-1}$ 을 접합하여 H-노이드를 구성함으로써, 비임베디드이지만 적절히 임베디드되고 이동 불변인 표면을 얻으며, 이는 $S^1 \times \mathbb{R}$ 와 위상동형이다.
• 평형점 $e^{1,\kappa}_0$ 를 둘러싸는 영역 $W^\kappa_0$ 내의 궤도가 H-언듈로이드를 생성하며, 이는 주기적인 $x(s)$ 와 엄격히 증가하는 $z(s)$ 를 가지며, 각도 방향에서 컴팩트함을 의미한다.

실험 결과

연구 질문

• RQ1 주어진 평균 곡률 함수 $H \in C^1([−1,1])$ 가 $\mathbb{M}^2(\kappa) \times \mathbb{R}$ 내에서 컴팩트하고 임베디드된 H-구를 유도하는 조건은 무엇인가?
• RQ2 $\mathbb{M}^2(\kappa) \times \mathbb{R}$ 내에서 완전한 회전 H-표면의 유형은 무엇이며, 고전적 델로누아 표면을 어떻게 일반화하는가?
• RQ3 H-언듈로이드는 연속적인 1-매개수 가중족으로 분류될 수 있는가? 그리고 그 점점 가까워지는 극한은 무엇인가?
• RQ4 단계 평면의 구조가 회전 H-표면의 위상수학적 및 기하학적 성질을 결정하는 데 어떤 역할을 하는가?
• RQ5 경계 성분을 따라 H-표면을 접합하여 더 큰 H-표면을 만들 수 있는가? 그리고 어떤 조건에서 임베디드 토러스가 발생하는가?

주요 결과

• $\kappa = 1$ 인 경우, $S^2 \times \mathbb{R}$ 내에서 임베디드 H-토러스가 존재할 조건은 궤도가 $(\pi/2, \pm1)$ 를 통과할 때이며, 이는 정확히 $x_1 = \pi/2$ 일 때 발생하여 평면 $\{x = \pi/2\}$ 에 대해 대칭이 된다.
• H-구는 프로파일 곡선의 궤도가 $(x_\kappa, \pm1)$ 에서 끝날 때 $\mathbb{M}^2(\kappa) \times \mathbb{R}$ 내에서 존재하며, 이는 $\mathbb{M}^2$ 내의 링형 영역 위에 대한 컴팩트하고 대칭적인 이중그래프이다.
• H-언듈로이드는 평형점 $e^{1,\kappa}_0$ 를 둘러싸는 $W^\kappa_0$ 내의 닫힌 궤도에 의해 생성되며, 주기적인 $x(s)$ 와 엄격히 증가하는 $z(s)$ 를 가지며, 연속적인 1-매개수 가중족을 이룬다.
• H-노이드는 $\Sigma^\kappa_1$ 과 $\Sigma^\kappa_{-1}$ 을 경계 성분에서 법선 벡터가 일치하는 방식으로 접합하여 구성되며, 이는 비임베디드이지만 적절히 임베디드되고 이동 불변인 표면을 만들어내며, 이는 $S^1 \times \mathbb{R}$ 와 위상동형이다.
• H-언듈로이드 가중족은 단계 평면 역학에 의해 예측된 바와 같이, 한쪽 끝에서는 특이적인 수직 방향의 맞닿은 H-구 $S_H$ 로, 다른 쪽 끝에서는 CMC 실린더 $C_H$ 로 연속적으로 수렴한다.
• $H^2 \times \mathbb{R}$ ($\kappa = -1$) 에서는 위상수학적 장애로 인해 임베디드 H-토러스가 존재할 수 없다. 이는 제2.3조의 결과에 의해 $a = d$ 이면서 $b = c$ 인 경우가 제거됨을 의미한다.