[논문 리뷰] Embedded cmc hypersurfaces on hyperbolic spaces

Óscar Perdomo|ArXiv.org|2009. 03. 28.

Mathematics and Applications참고 문헌 3인용 수 3

한 줄 요약

이 논문은 $n+1$차원 히perspace $H^{n+1}$ 내에서 $H^{n-1} \times S^1$와 미분동형인 임bedded 상수 평균 곡률(CMC) 초곡면을 회전 초곡면의 형태로 구성한다. 모든 $n > 1$에 대해 $H_0 < -1$가 존재하여, $H < H_0$인 모든 $H$가 이러한 임베딩의 평균 곡률로 실현 가능하다고 증명한다. 명시적인 수치 기준은 계산 가능한 함수 $\xi_n(H)$를 통해 제공되며, $\xi_n(H) > -2\pi$이면 해당 임베딩이 존재한다.

ABSTRACT

In this paper we will prove that for every integer n&gt;1, there exists a real number H_0-2π, then, H can be realized as the mean curvature of a embedding of H^{n-1} imes S^1 in the (n+1)-dimensional spaces H^{n+1}.

연구 동기 및 목표

• 충분히 음의 평균 곡률 $H$를 갖는 경우, 히퍼볼릭 공간 내에서 $H^{n-1} \times S^1$와 미분동형인 임bedded CMC 초곡면의 존재를 확립하는 것.
• 이러한 임베딩이 존재하는 $H$ 값의 범위를 수치적으로 계산 가능한 함수 $\xi_n(H)$를 통해 특성화하는 것.
• 회전 초곡면의 형태로 $H^{n+1}$ 내에서 이러한 임베딩을 명시적으로 구성하는 것.
• 모든 $H < H_0$가 이러한 임베딩을 허용하도록 하는 임계 임계값 $H_0$를 결정하는 것. $n=2$일 경우 $H_0 \simeq -1.0158$이다.

제안 방법

• 두 번째 차수 상미분방정식의 해를 이용하여 $\mathbb{R} \times S^1 \to H^{n+1}$로의 일차 매개변수화 가우지 $\phi$의 일차 가우지를 구성한다. 이 방정식은 반경성 및 각도 성분을 제어한다.
• 반경 함수 $r(t)$와 각도 함수 $\theta(t)$는 $\lambda(t)r(t)/(r^2(t) - 1)$의 적분을 통해 정의되며, 여기서 $\lambda(t) = H + (f(t))^{-n}$ 이고, $f(t)$는 매개변수 $C$를 가진 비선형 상미분방정식의 해이다.
• 해 $f(t)$의 주기성, 즉 주기가 $T = \pi / \sqrt{H^2 - 1}$ 임을 이용하여 $u$ 변수에서 $S^1$으로의 내림작용이 가능함을 보장한다.
• 함수 $K(C,H) = \int_0^T \frac{\lambda(s)r(s)}{r^2(s) - 1} ds$ 를 도입하여 $\theta(u)$의 단일화를 결정한다. $u$에 대한 주기성이 $K(C,H) = -2\pi/m$ (정수 $m$)일 때 성립한다.
• $\tilde{C} = -(-H)^{-2/n}$ 일 때 $K(C,H)$의 극한으로 $\xi_n(H)$를 정의한다. 이 함수는 $H$에 대해 계산 가능하고 연속적이다.
• 중간값 정리 적용: $\xi_n(H) > -2\pi$ 이면, $C^* \in (C_0, \tilde{C})$ 가 존재하여 $K(C^*, H) = -2\pi$ 가 되며, 이는 주기적이고 단사적인 $\theta(u)$를 보장하고 따라서 임베딩이 존재함을 의미한다.

실험 결과

연구 질문

• RQ1 어느 $H < -1$ 값에 대해 $H^{n+1}$ 내에서 상수 평균 곡률 $H$를 갖는 임bedded 초곡면 $H^{n-1} \times S^1$ 가 존재하는가?
• RQ2 일반적인 $n$에 대해 이러한 임베딩이 존재하는 임계값 $H_0$를 명시적으로 계산하거나 추정할 수 있는가?
• RQ3 임베딩 존재 여부를 결정하는 조건 $\xi_n(H) > -2\pi$ 를 만족하는 수치적으로 계산 가능한 함수 $\xi_n(H)$ 가 존재하는가?
• RQ4 히퍼볼릭 공간 $H^{n+1}$ 내에서의 히퍼볼릭 유형의 회전 초곡면 기하학은 어떻게 임bedded CMC 구조를 이끌어내는가?

주요 결과

• $n=2$일 경우 임계 값이 명시적으로 $H_0 \simeq -1.0158136657178574$ 로 계산되며, 이 값 이하의 모든 $H$는 $H^3$ 내에서 $H^1 \times S^1$ 초곡면의 임베딩을 허용한다.
• 일반적인 $n > 1$에 대해 함수 $\xi_n(H)$ 는 $(-\infty, -1)$ 에서 정의되며, $\lim_{H \to -\infty} \xi_n(H) = -\pi$ 를 만족하여 충분히 음의 $H$ 에서 $\xi_n(H) > -2\pi$ 가 성립함을 보장한다.
• $\xi_n(H) > -2\pi$ 조건은 $H^{n-1} \times S^1 \to H^{n+1}$ 임베딩이 존재하기 위한 필요충분조건이다.
• 수치적 평가 결과 $\xi_3(-1) \approx -5.971$, $\xi_4(-1) \approx -4.599$, $\xi_5(-1) \approx -4.130$ 로 나타나며, 이는 모두 $-2\pi \approx -6.283$ 보다 작다. 이는 이러한 차원에서 모든 $H < -1$ 에서 임베딩이 존재함을 시사한다.
• 구성 과정은 $\theta(u)$의 단사성과 매개변수화의 주기성을 보장하여, $K(C^*, H) = -2\pi$ 인 $C^* \in (C_0, \tilde{C})$ 가 존재할 경우 잘 정의된 임베딩을 이룬다.
• 주곡률은 $\lambda$ (중복도 $n-1$) 와 $nH - (n-1)\lambda$ 로 구성되며, 이는 상수 평균 곡률 $H$ 를 확인한다.