[논문 리뷰] Some fully nonlinear problems on manifolds with boundary of negative admissible curvature

Aobing Li, Huan Zhu|arXiv (Cornell University)|2011. 02. 16.

Nonlinear Partial Differential Equations참고 문헌 15인용 수 3

한 줄 요약

이 논문은 경계가 있는 컴act 리만 다양체 위에서 완전히 비선형 타원형 PDE의 해가 존재함을 증명한다. 이 방정식은 수정된 شوتن 텐서의 고유값을 포함하며, 스칼라 곡률과 평균 곡률을 동시에 규정한다. 경계 근처에서 메트릭을 공형적으로 변형하여 음의 리치 곡률을 확보하고, 사전 추정과 연속성 방법을 사용함으로써, 주어진 경계 데이터를 만족하는 $ C^{4,\beta} $ 공형 메트릭이 존재함을 증명한다.

ABSTRACT

In this paper, we consider a fully nonlinear problem on manifolds with boundaries of negative admissible curvatures. As a consequence, we conclude the existence of certain types of metrics on the general differential manifolds with boundaries.

연구 동기 및 목표

• 경계가 있는 컴 pact 리만 다항체에서 스칼라 곡률과 평균 곡률이 모두 규정된 완전히 비선형 곡률 문제의 해가 존재함을 증명하는 것.
• 기존의 경계 양제 문제 결과를 $ t < 1 $ 인 수정된 شوتن 텐서 $ A_g^t $ 를 사용한 완전히 비선형 설정으로 확장하는 것.
• 경계 근처에서 공형 메트릭을 구성함으로써 $ A_g^t $ 의 음의 고유값이 주어진 볼록 콘 $ \Gamma $ 내에 있도록 하여 타원성과 해의 존재를 보장하는 것.
• 임의의 매끄러운 컴 pact 리만 다항체에 대해, 경계 근처에서 공형 메트릭을 찾을 수 있으며, 이는 수정된 شوتن 텐서가 필요한 곡률 조건을 만족하고 평균 곡률가 제어됨을 보장하는 것.

제안 방법

• 기존의 클래식한 شوتن 텐서를 일반화하기 위해 $ t < 1 $ 인 경우에 대해 수정된 شوتن 텐서 $ A_g^t = \frac{1}{n-2}\left(\text{Ric}_g - \frac{tR_g}{2(n-1)}g\right) $ 를 도입한다.
• 경계 근처에서 메트릭의 공형 변형을 통해 $ M $ 전역에서 $ \text{Ric}_{g_3} < 0 $ 가 되도록 보장하며, 이는 $ t < 1 $ 인 경우 $ -\lambda_{g_3}(A_{g_3}^t) \in \Gamma_n \subset \Gamma $ 를 의미한다.
• 완전히 비선형 PDE $ f(-\lambda_{\tilde{g}}(A^{t}_{\tilde{g}})) = \phi $ 를 $ M $ 에서 풀기 위해 연속성 방법과 사전 추정을 적용한다. 여기서 $ \tilde{g} \in [g] $ 는 $ \partial M $ 근처에서 $ g $ 와 공형이다.
• 공형 인자 값이 변형 과정에서 경계에서 일정하게 유지되도록 하여 $ \partial M $ 에서의 평균 곡률 조건 $ h_{\tilde{g}} = \psi $ 를 유지한다.
• 최대 원리와 경계 추정을 사용하여 $ \partial M $ 근처에서 해의 행동을 제어하며, $ h_{g_3} = 0 $ 이라는 사실을 활용한다.
• 문헌 [15] 의 결과를 활용하여 $ \text{Ric}_{g_2} < 0 $ 인 메트릭 $ g_2 $ 를 $ M $ 전역에서 $ \text{Ric}_{g_3} < 0 $ 인 전역 메트릭 $ g_3 $ 로 확장함으로써 필요한 곡률 조건을 보장한다.

실험 결과

연구 질문

• RQ1 경계가 있는 컴 pact 리만 다항체에서 수정된 شوتن 텐서를 포함하는 완전히 비선형 곡률 방정식이 주어진 스칼라 곡률과 평균 곡률을 만족하도록 해를 구할 수 있는가?
• RQ2 배경 메트릭과 곡률 연산자가 어떤 조건을 만족할 경우 연속성 방법을 통해 해가 존재함을 보장할 수 있는가?
• RQ3 경계 근처에서 주어진 메트릭을 공형적으로 변형하여 음의 리치 곡률을 확보하고, 수정된 شوتن 텐서의 허용 가능한 곡률 콘 조건을 유지할 수 있는가?
• RQ4 공형 변형 과정 동안 평균 곡률를 제어하면서도 PDE의 타원성을 유지할 수 있는가?
• RQ5 데이터 $ \phi $ 와 $ \psi $ 에 최소한의 가정을 두었을 때, 완전히 비선형 곡률 문제의 해의 정(regularity)은 어떠한가?

주요 결과

• 임의의 매끄러운 컴 pact 리만 다항체 $ (M^n, g) $ 에 대해 $ n \geq 3 $ 이고 경계가 비어 있지 않은 경우, $ f \in C^{2,\alpha_0}(\Gamma) $ 이며 필요한 볼록성과 타원성 조건을 만족할 때, $ \partial M $ 근처에서 $ C^{4,\alpha_0} $ 공형 메트릭 $ \tilde{g} $ 가 존재하여 $ f(-\lambda_{\tilde{g}}(A^{t}_{\tilde{g}})) = \phi $ 와 $ h_{\tilde{g}} = \psi $ 가 $ \partial M $ 에서 성립함을 보여준다.
• 이 구성은 $ -\lambda_{g_3}(A_{g_3}^t) \in \Gamma_n \subset \Gamma $ 를 $ M $ 전역에서 보장하며, 이는 PDE의 타원성과 연속성 방법의 적용 가능성을 보장한다.
• 논문은 $ \text{Ric}_{g_3} < 0 $ 가 $ M $ 전역에서 성립함을 증명하며, 이는 수정된 شوتن 텐서의 고유값이 완전히 비선형 연산자에 필요한 부정성 조건을 만족함을 의미한다.
• 주어진 곡률 및 경계 조건 하에서, $ g $ 와 경계 근처에서 공형인 메트릭의 클래스 내에서 해 $ \tilde{g} $ 는 유일하다.
• 결과는 모든 $ t < 1 $ 에 대해 성립하며, 특히 $ t = 0 $ 인 경우 방정식은 $ f(-\lambda_{\tilde{g}}(\text{Ric}_{\tilde{g}})) = \phi $ 로 단순화되며, 리치 곡률 유형 PDE의 해가 존재함을 보여준다.
• 해의 존재는 사전 추정과 연속성 방법을 통해 확립되며, 핵심 단계는 음의 리치 곡률과 경계에서의 영이 되는 평균 곡률를 갖는 배경 메트릭 $ g_3 $ 의 구성이다.