[논문 리뷰] An existence theorem for the Yamabe problem on manifolds with boundary

Simon Brendle, S. Chen|ArXiv.org|2009. 08. 29.

Nonlinear Partial Differential Equations참고 문헌 8인용 수 10

한 줄 요약

이 논문은 $ n \geq 6 $ 차원에서 경계를 가진 컴act 리만다이프만다의 양라베 문제에 대해 존재 정리를 확립한다. 경계점 $ p $ 가 집합 $ \mathcal{Z} $에 속하지 않으면(즉, 와일 텐서와 그 도함수들이 순서 $ d-2 $ 까지 0이 되는 점이 아니면), 양라베 상수는 반구의 것보다 엄격히 작으며, 이는 경계에서 상수 스칼라 곡률과 0 평균 곡률를 가진 등각 메트릭의 존재를 보장한다.

ABSTRACT

Let (M,g) be a compact Riemannian manifold with boundary. We consider the problem (first studied by Escobar in 1992) of finding a conformal metric with constant scalar curvature in the interior and zero mean curvature on the boundary. Using a local test function construction, we are able to settle most cases left open by Escobar's work. Moreover, we reduce the remaining cases to the positive mass theorem.

연구 동기 및 목표

• 차원 $ n \geq 6 $ 에서 경계가 유클리드적이며 와일 텐서가 0이 되지 않는 경우, 양라베 문제의 남은 열린 케이스를 해결한다.
• 문제 (a)의 해 존재를 보장하는 조건인 엄격한 부등식 $ Y(M,\partial M,g) < Y(S_+^n,\partial S_+^n) $ 를 확립한다.
• 포물형 양라베 흐름과 등각 기하학의 기법을 비판적 경우인 경계가 유클리드적이며, 매니폴드가 반구와 등각적으로 동치가 아닌 경우에도 적용할 수 있도록 확장한다.
• 와일 텐서가 경계점에서 순서 $ d-2 $ 까지 0이 되는 조건 하에서, 양라베 함수가 최소화자를 가짐을 증명한다. 이는 정교한 시험 함수 구성 기법을 사용한다.

제안 방법

• 경계점 $ p $ 근처의 등각 피보르 좌표계에서, 양라베 방정식의 해의 붕괴 행동을 모델링하는 시험 함수 $ u_\varepsilon(x) = \left( \frac{\varepsilon}{\varepsilon^2 + |x|^2} \right)^{\frac{n-2}{2}} $ 를 구성한다.
• 결과 함수가 경계 조건을 만족하고 $ p $ 근처에서 잘 행동하도록 하기 위해, $ u_\varepsilon $ 를 수정하는 보정항 $ w $ 를 도입한다.
• 국소 시험 함수 $ u_\varepsilon + w $ 를 점 $ p $ 에 극을 가진 등각 라플라스 연산자의 그린 함수와 붙여, $ M $ 전역에서 정의된 함수로 만든다.
• 비선형성과 에너지 제어를 위해 [4]의 점점 평탄한 매니폴드 및 가중 $ L^2 $ 추정 기법을 적용한다.
• 벡터장과 대칭 텐서를 $ \mathbb{R}_+^n $ 에서 $ \mathbb{R}^n $ 으로 대칭을 유지하고 추적 자유성 성질을 보존하는 방식으로 반사 원리를 적용한다.
• 와일 텐서가 $ p $ 에서 0이 되는 것(즉, $ p \notin \mathcal{Z} $) 을 이용하여 보정항의 감쇠를 제어하고, 시험 함수의 에너지가 반구의 것보다 엄격히 작다는 것을 보장한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $ n \geq 6 $ 차원에서 경계가 유클리드인 매니폴드에서 $ Y(M,\partial M,g) < Y(S_+^n,\partial S_+^n) $ 가 성립하는가?
• RQ2 매니폴드가 반구와 등각적으로 동치가 아니면, 상수 스칼라 곡률과 경계에서 평균 곡률가 0인 등각 메트릭의 존재를 보장할 수 있는가?
• RQ3 경계점에서 와일 텐서와 그 도함수들이 순서 $ d-2 $ 까지 0이 되는 것이 양라베 함수의 최소화자 존재에 어떤 역할을 하는가?
• RQ4 변분 접근법에서 팔라이스-스무스 조건이 실패할 경우, 이를 어떻게 극복할 수 있는가?
• RQ5 경계가 유클리드적이며 고차원인 비판적 경우에도, 정교하게 구성된 시험 함수의 에너지가 반구의 양라베 상수보다 엄격히 작은지 증명할 수 있는가?

주요 결과

• 만약 $ p \in \partial M $ 가 $ p \notin \mathcal{Z} $ 를 만족하는 경계점이면, $ Y(M,\partial M,g) < Y(S_+^n,\partial S_+^n) $ 가 성립하며, 이는 상수 스칼라 곡률과 경계에서 평균 곡률가 0인 등각 메트릭의 존재를 암시한다.
• $ \mathcal{Z} $ 는 등각 불변이며, 와일 텐서와 그 도함수들이 순서 $ d-2 $ 까지 0이 되는 점들의 집합이며, $ d = \lfloor (n-2)/2 \rfloor $ 이다.
• $ p \in \mathcal{Z} $ 이면, 관련된 점점 평탄한 매니폴드의 ADM 질량이 양수이면 여전히 부등식 $ Y(M,\partial M,g) < Y(S_+^n,\partial S_+^n) $ 가 성립한다.
• 시험 함수 $ u_\varepsilon $ 는 방정식 $ \Delta u_\varepsilon = -n(n-2) u_\varepsilon^{\frac{n+2}{n-2}} $ 를 만족하며, 유클리드 공간에서 아인슈타인 메트릭의 행동을 모델링한다.
• 보정항 $ w $ 는 경계 조건 $ \kappa_{\tilde{g}} = 0 $ 를 유지하고, 전역 시험 함수의 유한한 에너지를 확보하기 위해 구성된다.
• 증명은 $ L^2 $ 추정과 반사 및 타원형 정칙성 기법을 통해 유도된 벡터장과 대칭 텐서의 가중 감쇠 제어에 기반한다.