[논문 리뷰] Entire spacelike hypersurfaces of prescribed Gauss curvature in Minkowski space

Bo Guan, Huaiyu Jian외 1명|ArXiv.org|2006. 11. 29.

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

한 줄 요약

이 논문은 변분 접근법을 사용하여 약한 시공간적 조건을 만족하는 적합한 최대 해를 구성함으로써, 미량키우스 공간에서 주어진 가우스 곡률을 갖는 전체 시공간적 초표면의 존재성과 정칙성을 확립한다. 두 차원에서 리프시츠 경계 데이터에 대해, 몽체-암페르 방정식에 대해 유일한 매끄럽고 엄밀히 볼록한 해가 존재하며, 이는 주어진 곡률 함수를 갖는 완전하고 매끄러운 시공간적 초표면을 유도한다.

ABSTRACT

We are concerned with spacelike convex hypersurfaces of positive constant (K-hypersurfaces) or prescribed Gauss curvature in Minkowski space. Our main purpose is to study entire solutions as well as the Dirichlet problem in bounded domains of the related Monge-Ampere equation.

연구 동기 및 목표

• 미량키우스 공간에서 회전 대칭을 갖는 전체 시공간적 K-초표면을 분류함으로써, 이전의 하이퍼볼릭 공간의 등거리 임bedding의 비유일성 결과를 확장한다.
• 주어진 주요 곡률이 유계가 아닌 시공간적 초표면의 渐近적 행동을 그 초점의 무한대에서의 탄성 원뿔을 특성화함으로써 연구한다.
• 특히 $ \Omega = \mathbb{H}^n_+ $ 에서는, 단위 구면의 부분집합에서의 가우스 곡률에 대한 민트키우스 유형 문제를 해결하기 위해, 주어진 경계 데이터를 갖는 해를 구성함으로써, 미량키우스 공간에서의 단위 구면의 부분집합에서의 가우스 곡률에 대한 민트키우스 유형 문제를 해결한다.
• 리프시츠 경계 데이터를 허용함으로써 리의 결과를 민트키우스 문제에 확장함으로써, 매끄러움보다도 더 자연스러운 기하학적 가정을 한다.
• 약한 시공간적 조건 $ |Du| \leq 1 $ 하에서 몽체-암페르 방정식의 약한 해의 존재성과 정칙성을, 적합한 최대 해를 갖는 변분 프레임워크를 사용하여 확립한다.

제안 방법

• 일반 미분방정식을 사용하여 $ \mathbb{R}^{n,1} $ 에서의 회전 대칭 시공간적 초표면을 구성하고, 그들의 완전성과 무한대에서의 渐近적 행동을 분석한다.
• 약한 시공간적 조건 $ |Du| \leq 1 $ 하에서 방정식 $ \det D^2 u = \psi(x,u)(1 - |Du|^2)^{\frac{n+2}{2}} $ 의 몽체-암페르 방정식을 해결하기 위한 변분 접근법을 도입하고, 적합한 최대 해를 정의한다.
• 레전드르 변환을 사용하여 민트키우스 유형 문제를 $ \mathbb{R}^n $ 내의 단위 구 $ B_1(0) \subset \mathbb{R}^n $ 에 정의된 곡률 함수로 재구성하며, 가우스 지도를 해의 법선 벡터와 연결한다.
• 비선형 해석 이론과 에반스-크릴로프 정칙성 이론을 적용하여 볼록한 비선형 해석 해가 내부에서 매끄럽고 엄밀히 볼록하다는 것을 증명한다.
• 지지 평면과 장벽 함수를 사용하여 경계 추정을 수립하고, 경계점에서 $ \lim_{t \to 0^+} \frac{v(\hat{y} + t\mathbf{e}) - v(\hat{y})}{t} = -\infty $ 를 만족함을 증명함으로써 선형 성장을 막고 엄밀한 볼록성을 확보한다.
• 근사화와 최대 원리 추정을 사용하여 경계에 대한 연속성과 내부에서의 정칙성을 증명한다. 특히 두 차원에서 리프시츠 경계 데이터에 대해 성립한다.

실험 결과

연구 질문

• RQ1 주어진 가우스 곡률을 갖는 전체 시공간적 초표면이 주요 곡률의 유계성 조건 없이 미량키우스 공간에서 구성될 수 있는가?
• RQ2 그러한 초표면의 무한대에서의 渐近적 행동은 무엇이며, 그들의 탄성 원뿔을 통해 어떻게 특성화할 수 있는가?
• RQ3 특히 $ \mathbb{H}^n_+ $ 와 같이 단위 구면의 적절한 부분집합에서, 경계 데이터에 대한 최소한의 정규성 조건을 갖는 가우스 곡률에 대한 민트키우스 유형 문제를 해결할 수 있는가?
• RQ4 두 차원에서 리프시츠 경계 데이터에 대해 매끄럽고 완전한 시공간적 초표면의 존재성을 이전의 매끄러운 조건이 필요한 결과들보다 확장하여 확립할 수 있는가?
• RQ5 약한 시공간적 조건 $ |Du| \leq 1 $ 를 만족하는 적합한 최대 해는 시공간 영역에서의 고전적 몽체-암페르 방정식 해와 어떻게 관련되어 있는가?

주요 결과

• 회전 대칭을 갖는 전체 시공간적 K-초표면 $ \mathbb{R}^{n,1} $ 에서는 유도된 리만 기하학에 대해 완전하다.
• 두 차원에서, 리프시츠 경계 데이터를 갖는 몽체-암페르 방정식에 대해 유일한 매끄럽고 엄밀히 볼록한 해 $ v \in C^\infty(\Omega) \cap C^0(\overline{\Omega}) $ 가 존재하며, 경계점에서 $ \lim_{t \to 0^+} \frac{v(\hat{y} + t\mathbf{e}) - v(\hat{y})}{t} = -\infty $ 를 만족한다.
• 얻어진 초표면 $ M = \text{graph}(v^*) $ 는 매끄럽고 완전하며 엄밀히 볼록하며, 모든 $ y \in B_1(0) $ 에 대해 $ K_M(\mathbf{n}^{-1}(y)) = \eta(y) $ 를 만족한다.
• 해 $ v $ 는 $ |x| \to \infty $ 일 때 $ x \cdot Dv(x) - v(x) \to -\infty $ 라는 渐近적 조건을 만족하며, 이는 주요 곡률이 유계가 아님을 나타낸다.
• 두 차원에서 경계 조건 $ \varphi \in C^{0,1}(\partial\Omega) $ 는 해의 존재에 필수적이고 충분하며, $ \varphi $ 가 엄밀히 볼록인 점에서는 해가 $ C^{0,1} $ 가 아님을 보여준다.
• 주어진 가정 하에 $ \Omega = \mathbb{H}^n_+ $ 에서의 민트키우스 유형 문제는 해가 존재하며, 그 해 클래스는 주요 곡률이 유계가 아닌 초표면을 포함한다.