[논문 리뷰] Interior estimates for solutions of Abreu's equation

Simon Donaldson|ArXiv.org|2004. 07. 28.

Geometry and complex manifolds참고 문헌 3인용 수 128

한 줄 요약

이 논문은 토릭 다양체 위의 상수 스칼라 곡률 켈러 메트릭과 관련된 네째계수 비선형 편미분방정식인 아브류의 방정식에 대한 내부 사전 추정을, 자료에 대한 자연스러운 기하 조건 하에서 수립한다. 주요 결과는 경계 자료와 관련된 함수형이 강제 조건을 만족할 경우, 두 차원에서 해에 대한 균일한 $C^{3,\beta}$ 추정을 도출하는 것이다. 이를 통해 연속성 방법을 존재성 문제에 적용할 수 있다.

ABSTRACT

The paper develops various estimates for solutions of a fourth order nonlinear PDE, which corresponds to prescribing the scalar curvature of a toric Kahler metric.

연구 동기 및 목표

• 아브류의 방정식, 즉 토릭 다양체 위의 상수 스칼라 곡률 켈러 메트릭과 관련된 네째계수 편미분방정식에 대한 사전 내부 추정을 도출하는 것.
• 해가 고계 노름에서 균일하게 유계임을 보장할 수 있는 조건을 설정하여, 연속성 방법을 통한 존재성 증명을 가능하게 하는 것.
• 경계에서 해의 행동을, $\partial\Omega$ 위의 측도 $\sigma$로 정의된 기하 경계 조건을 통해 분석하는 것.
• 선형 함수형 $\mathcal{L}$에 대한 강제 조건이 만족될 경우, 클래스 $\mathcal{S}_{\Omega,\sigma}$에 속하는 해가 내부 정규성 추정을 균일하게 가짐을 증명하는 것.

제안 방법

• 해 $u$의 등고선에 대한 스케일링 추론을 적용하여, 이를 정규화된 볼록 집합으로 변환하고 기하 부등식을 적용하는 분석 방법.
• 해의 헤시안의 구조를 그 등고선 집합의 기하학과 연결하기 위해 레지아드르 변환을 사용하는 증명.
• 핵심 단계로, PDE의 구조에서 유도된 곡률 유사 텐서 $F^*$에 대한 $L^2$-추정을 이용해 쌍대 메트릭 텐서 $G^*$를 유계로 제한하는 것.
• 연속성 방법을 적용하기 위해, 강제 조건 상수 $\lambda$가 유계이면 해가 내부에서 발산하지 않음을 보이는 방법.
• 국소 추정을 전역 내부 유계로 확장하기 위해, 컴acts부분집합 위에서의 파artition of unity와 커버링 추론을 사용하는 방법.
• 두 차원에서는 $L^p_2$ 유계성으로 제2도함수의 $C^{3,\alpha}$ 정규성을 유도할 수 있으므로, 고계 도함수의 제어가 가능하다는 사실을 활용하는 방법.

실험 결과

연구 질문

• RQ1 영역 $\Omega$, 함수 $A$, 그리고 경계 측도 $\sigma$에 대해 어떤 조건이 아브류의 방정식이 클래스 $\mathcal{S}_{\Omega,\sigma}$에 속하는 해를 가질 수 있게 하는가?
• RQ2 데이터가 함수형 $\mathcal{L}$에 대해 강제 조건을 만족할 경우, 두 차원에서 아브류의 방정식의 해에 대해 균일한 내부 $C^{3,\alpha}$ 유계성을 확립할 수 있는가?
• RQ3 해의 등고선 집합의 기하학은 해의 정규성에 어떤 영향을 미치며, 스케일링 기법을 사용해 보편적 유계성을 도출할 수 있는가?
• RQ4 선형 함수형에 대한 강제 조건 $\mathcal{L}(f) \geq \lambda^{-1} \int_{\partial\Omega} f d\sigma$는 내부에서 헤시안 $u_{ij}$의 열화를 방지하는 데 어떤 역할을 하는가?

주요 결과

• 두 차원에서, $\mathcal{S}_{\Omega,\sigma}$에 속하는 임의의 정규화된 해 $u$는 $K^{-1} \leq (u_{ij}) \leq K$를 만족하며, 여기서 $K = K(\Omega,\sigma,A,\lambda,d)$는 $d$가 경계까지의 거리인 낙관적 함수이다.
• $p$-번째 도함수는 $|\nabla^p u| \leq C_p$를 만족하며, 여기서 $C_p$는 자료에 대한 낙관적 함수이므로 고계 도함수에 대한 균일한 제어가 가능하다.
• 증명은 정규화된 등고선 집합에서 쌍대 메트릭 텐서 $G^*$가 $L^2$에서 유계임을 보이며, 이는 곡률 텐서 $F^*$에 대한 $L^p$ 유계성을 이끌어낸다.
• 두 차원에서 $L^p_2 \subset C^{3,\alpha}$의 소볼레프 임베딩을 적용함으로써, $u_{ij}$에 대한 $L^p_2$ 유계성은 $\Omega$의 컴팩트 부분집합에서의 $C^{3,\alpha}$ 정규성을 이끌어내며, 이는 $C^4$ 정규성을 의미한다.
• 함수형 $\mathcal{L}$에 대한 강제 조건은 해가 내부에서 열화되지 않음을 보장하며, $\lambda$의 유계성은 연속성 방법에서의 발산을 방지한다.
• 결과는 자료의 연속적 변형에 대해 강건하며, 낙관적 함수 의존성 덕분에 $\Omega$, $\sigma$, $A$, $\lambda$의 위상에서의 연속성이 보장된다.