[논문 리뷰] Minkowski type problems for convex hypersurfaces in hyperbolic space

Claus Gerhardt|ArXiv.org|2006. 02. 27.

Geometric Analysis and Curvature Flows참고 문헌 12인용 수 7

한 줄 요약

이 논문은 초구형 공간에서 엄격하게 볼록인 초표면에 대한 민코프스키 유형 문제를 해결하며, $ F|_M = f(\tilde{x}) $ 형태의 곡률 지정 문제에 대한 해의 존재성을 증명한다. 여기서 $ F $ 는 역함수가 클래스 $ (K^*) $ 에 속하는 곡률 함수이다. 곡률 흐름 접근법과 가우스 사상에 의한 이중성에 기반하여, 장벽 조건과 미세도 조건 하에 $ \mathbb{H}^{n+1} $ 내의 엄격하게 볼록인 초표면 $ M $ 이 존재함을 증명하며, 이중 문제인 데 시터 공간 내에서도 해가 존재함을 보인다.

ABSTRACT

We consider the problem $F=f(ν)$ for strictly convex, closed hypersurfaces in hyperbolic space and solve it for curvature functions $F$ the inverses of which are of class $(K^*)$.

연구 동기 및 목표

• 초구형 공간 $ \mathbb{H}^{n+1} $ 내 엄격하게 볼록인 초표면에 대해 민코프스키 유형 문제 $ F|_M = f(\tilde{x}) $ 를 해결하는 것. 여기서 $ F $ 는 역함수가 클래스 $ (K^*) $ 에 속하는 곡률 함수이다.
• 가우스 사상과 곡률 흐름을 통한 $ \mathbb{H}^{n+1} $ 내 초표면과 데 시터 공간 $ N $ 내 시공간 초표면 간의 이중성을 확장하는 것.
• 장벽 조건과 $ F $, $ f $ 의 미세도 조건 하에 해의 존재성을 확립하며, 이는 이전의 대칭성 및 동차 곡률 함수에 대한 결과를 일반화하는 것이다.
• 곡률 흐름이 정적 해로 수렴함을 증명하여 원래의 곡률 지정 문제의 해를 도출하는 것.

제안 방법

• 가우스 사상을 이용해 엄격하게 볼록인 초표면 $ M \subset \mathbb{H}^{n+1} $ 와 시공간 초표면 $ M^* \subset N $ 간의 이중성을 정의하며, $ M^{**} = M $ 이다.
• 초구형 공간 $ \mathbb{H}^{n+1} $ 내 곡률 흐름을 적용하며, 스칼라 편미분방정식 $ \partial_t u = -v(\varPhi - \tilde{f}) $ 로 표현하며, 초기 자료는 $ C^{4,\alpha}(S^n) $ 에 속한다.
• 곡률과 제2 기본형식에 대한 사전 추정을 활용하여, 최대원리에 의해 균일 타원성과 유계성을 보여준다. 이를 위해 $ w = \log h_n^n + \lambda \chi $ 를 사용한다.
• 장벽 조건 $ (\tilde{F}, f^{-1}) $ 를 적용하여 흐름을 제어하고 수렴성을 확보하며, $ \varPhi(F) $ 의 오목성과 균일 타원성을 활용한다.
• 문헌 [10, 챕터 5.5] 의 정규성 이론을 적용하여 $ C^{4,\alpha} $-추정을 도출하며, 이는 흐름이 모든 시간 $ T^* = \infty $ 동안 존재함을 보장한다.
• 유한한 시간 동안의 $ u(t,x) $ 가 극한 $ \tilde{u}(x) \in C^{4,\alpha}(S^n) $ 로 수렴하며, $ \varPhi - \tilde{f} \to 0 $ 이다. 이는 정적 해의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 만약 $ F $ 의 역함수가 클래스 $ (K^*) $ 에 속한다면, 초구형 공간 $ \mathbb{H}^{n+1} $ 내 엄격하게 볼록인 초표면에 대해 민코프스키 유형 문제 $ F|_M = f(\tilde{x}) $ 는 해를 갖는가?
• RQ2 가우스 사상과 곡률 흐름에 의한 $ \mathbb{H}^{n+1} $ 와 $ N $ 내 초표면 간의 이중성은 곡률 지정 문제를 $ N $ 내 이중 문제로 변환하는 데 사용될 수 있는가?
• RQ3 곡률 흐름 $ \partial_t u = -v(\varPhi - \tilde{f}) $ 가 초구형 공간 $ \mathbb{H}^{n+1} $ 내에서 정적 해로 수렴하는 조건은 무엇인가?
• RQ4 만약 $ F $ 와 $ f $ 에 대해 미세도 조건과 장벽 조건이 만족된다면, 곡률 문제의 해는 반드시 $ C^{m+2,\alpha} $ 클래스에 속하는가?

주요 결과

• 장벽 조건이 성립하고 $ \tilde{F} \in (K^*) $, $ f \in C^{m,\alpha}(N) $ 라면, 초구형 공간 $ \mathbb{H}^{n+1} $ 내 엄격하게 볼록인 해 $ M \subset \mathbb{H}^{n+1} $ 가 존재하며, 이는 $ C^{m+2,\alpha} $ 클래스에 속한다.
• 데 시터 공간 내 시공간 초표면 $ M^* \subset N $ 에서의 이중 문제 $ \tilde{F}|_{M^*} = f^{-1}(\tilde{x}) $ 는 원래 문제와 동치이며, $ M^{**} = M $ 이다.
• 곡률 흐름 $ \partial_t u = -v(\varPhi - \tilde{f}) $ 는 모든 시간 $ t \in [0, \infty) $ 에서 존재하며, 균일한 $ C^{4,\alpha} $-추정이 성립한다.
• 흐름은 극한 $ \tilde{u}(x) \in C^{4,\alpha}(S^n) $ 로 수렴하며, $ \varPhi - \tilde{f} \to 0 $ 이 점별로 성립한다. 이는 극한이 정적 곡률 문제를 만족함을 의미한다.
• 해 $ M $ 은 균일하게 엄격히 볼록하며, 주곡률가 0 에서 멀리 떨어져 있고, 곡률 연산자가 균일하게 타원적이다.
• 이 결과는 이전의 $ H_k $, $ |A|^2 $, 그리고 동차도 1인 대칭 곡률 함수에 대한 존재 정리들을 더 넓은 클래스 $ (K^*) $ 로 일반화한다.