[논문 리뷰] Conformal Deformation on Manifolds with Boundary

Szu-yu Sophie Chen|ArXiv.org|2008. 11. 15.

Geometric Analysis and Curvature Flows참고 문헌 20인용 수 6

한 줄 요약

이 논문은 경계가 원추형인 컴팩트한 4차원 다양체 위에서 정규화된 $\sigma_2$ 곡률과 경계 곡률 불변량 $\mathcal{B}_{\hat{g}}$가 0이 되는 등각 메트릭의 존재를 확립한다. 경계를 가진 다양체 위에서 변분 방법을 통해 비선형 곡률 함수에 대해 양간 문제를 일반화하며, $\sigma_k$ 곡률의 임계점 특성과 비선형 완전 타입 PDE에 대한 $C^2$ 추정을 확립한다.

ABSTRACT

We consider natural conformal invariants arising from the Gauss-Bonnet formulas on manifolds with boundary, and study conformal deformation problems associated to them. The key technique we used is to derive boundary C^2 estimates directly from C^0 estimates for fully nonlinear equations. The main result has appeared in the author's thesis.

연구 동기 및 목표

• 등각 불변량을 가우스-보네 공식에서 유도하여, 다변량의 양간 문제를 경계를 가진 다양체로 일반화한다.
• 체적 정규화 조건 하에서 기능적 $\mathcal{F}_k(g) = \int_M \sigma_k(A_g) + \oint_{\partial M} \mathcal{B}^k_g$ 의 임계점 특성화.
• 특히 4차원에서 $k=2$ 인 경우, $\sigma_k(A_{\hat{g}})$ 가 상수이고 $\mathcal{B}^k_{\hat{g}} = 0$ 인 등각 메트릭의 존재를 확립한다.
• 경사형 경계 조건을 가진 등각 변형 문제에서 유도된 완전 비선형 타입 타입 PDE에 대한 사전 추정을 개발한다.
• 폐쇄된 다양체에서의 결과를 경계를 가진 다양체로 일반화하기 위해 적절한 경계 곡률 불변량 $\mathcal{B}^k$ 를 정의한다.

제안 방법

• 접선 쇼우텐 텐서와 제2 기본 형식의 혼합 대칭 함수를 사용하여 경계 곡률 불변량 $\mathcal{B}^k$ 를 정의하며, $k=2$ 와 $k\geq3$ 에 대해 특수한 형태를 취한다.
• 기능적 $\mathcal{F}_k(g) = \int_M \sigma_k(A_g) + \oint_{\partial M} \mathcal{B}^k_g$ 를 도입하고, 체적 정규화 조건 하에서 임계점을 연구한다.
• 적절한 곡률 및 위상 조건 하에서, $\mathcal{F}_k|_{\mathcal{M}}$ 의 임계점이 $\sigma_k(A_g) = \text{상수}$ 와 $\partial M$ 에서 $\mathcal{B}^k_g = 0$ 인 해와 대응됨을 증명한다.
• $\mathcal{B}_{\hat{g}} = 0$ 인 조건 하에서 $\sigma_2(A_{\hat{g}}) = f$ 의 완전 비선형 PDE 해에 대한 $C^2$ 추정을 캐시 함수와 최대 원리 기법을 사용하여 확립한다.
• $F = \sigma_2^{1/2}$ 의 볼록성과 곡률 추정을 이용하여 $u_{nnn}$ 의 하한을 도출하고, $e^{ax_n}$ 을 포함하는 보조 함수를 통해 $\Delta u$ 를 제어한다.
• 가중치 함수 $H = \eta(\Delta u + |\nabla u|^2)e^{ax_n}$ 에 최대 원리를 적용하여 $\Delta u$ 와 $|\nabla u|$ 의 균일한 유계성을 확보한다.

실험 결과

연구 질문

• RQ1 경계를 가진 다양체로 비선형 양간 문제를 확장할 수 있는가? 즉, 상수 $\sigma_2$ 곡률과 경계 곡률 $\mathcal{B}_g$ 가 0이 되는 등각 메트릭을 찾을 수 있는가?
• RQ2 경계를 가진 다양체로 가우스-보네 공식을 일반화하기 위해 적절한 경계 곡률 불변량 $\mathcal{B}^k$ 는 무엇인가?
• RQ3 기능적 $\mathcal{F}_k(g) = \int_M \sigma_k(A_g) + \oint_{\partial M} \mathcal{B}^k_g$ 가 $\sigma_k(A_g) = \text{상수}$ 와 $\mathcal{B}^k_g = 0$ 인 경우에 임계점이 되기 위한 조건은 무엇인가?
• RQ4 비디리히트가 아닌 경사형 경계 조건을 가진 등각 변형 문제에서 유도된 완전 비선형 PDE에 대해 $C^2$ 추정을 어떻게 확립할 수 있는가?
• RQ5 $\mathcal{F}_k|_{\mathcal{M}}$ 의 임계점 특성화는 국소 등각 평탄성 또는 원추형 경계 가정 하에서 $k \geq 3$ 에 대해서도 성립하는가?

주요 결과

• 경계가 원추형인 컴팩트한 4차원 다변량에 대해, 양간 상수 $Y(M,\partial M,[g])$ 와 등각 불변량 $\int_M \sigma_2(A_g) + \frac{1}{2}\oint_{\partial M} \mathcal{B}_g$ 가 양수이면, $\sigma_2(A_{\hat{g}})$ 가 상수이고 $\mathcal{B}_{\hat{g}} = 0$ 인 등각 메트릭 $\hat{g}$ 가 존재한다.
• 더 일반적인 존재 결과가 성립한다: 임의의 양수 함수 $f$ 가 주어지면, $M$ 이 표준 반구면과 등각 동치가 아니면, $\sigma_2(A_{\hat{g}}) = f$ 이고 $\mathcal{B}_{\hat{g}} = 0$ 인 등각 메트릭 $\hat{g}$ 가 존재한다.
• $\mathcal{F}_2(g)$ 는 체적 정규화된 등각 동치 클래스에서 임계점을 가진다. 이는 $n \neq 4$ 인 경우에만 $\sigma_2(A_g) = \text{상수}$ 이고 $\mathcal{B}^2_g = 0$ 이다.
• $n > 2k$ 이고 국소 등각 평탄한 다변량에 대해 $\mathcal{F}_k(g)$ 는 임계점을 가진다. 이는 $\sigma_k(A_g) = \text{상수}$ 이고 $\partial M$ 에서 $\mathcal{B}^k_g = 0$ 이다.
• 경계가 원추형인 경우, 임계점 특성화는 모든 $n \neq 2k$ 에 대해 성립하며, 국소 평탄성의 경우를 초월하여 일반화된다.
• 논문은 $\sigma_2(A_{\hat{g}}) = f$ 와 $\mathcal{B}_{\hat{g}} = 0$ 의 해에 대해 $C^2$ 추정을 확립하여, 가중치 최대 원리에 의해 $\overline{B}^+_{r/2}$ 에서 $\Delta u$ 와 $|\nabla u|$ 가 균일하게 유계임을 증명한다.