[논문 리뷰] The $\mathcal C^{2,α}$ estimate of complex Monge-Ampere equation

Sławomir Dinew, Xi Zhang외 1명|arXiv (Cornell University)|2010. 06. 22.

Geometry and complex manifolds참고 문헌 6인용 수 4

한 줄 요약

이 논문은 해 $u$가 $\mathcal{C}^{1,1}$이고 우변 $f$가 엄격히 양이며 $\mathcal{C}^\alpha$-홀더 연속일 때, 복소 멩게-암페르 방정식 $\det(u_{i\bar{j}}) = f$의 해에 대해 $\chi^{2,\alpha}$ 정규성을 확립한다. 증명은 베드퍼드-테일러 내부 $\mathcal{C}^{1,1}$ 추정을 기반으로 한 왕의 방법을 적응하여, 컴acts부분집합에서 사전 추정 $\mathcal{C}^{2,\alpha}$ 유계성을 도출하며, $n$, $\alpha$, $\lambda$, $\|f\|_{\mathcal{C}^\alpha}$ 및 경계로부터의 거리에 대한 명시적 의존성을 포함한다.

ABSTRACT

We prove that any $\mathcal C^{1,1}$ solution to complex Monge-Ampère equation $det(u_{i\bar{j}})=f$ with $0

연구 동기 및 목표

• 해가 이미 $\mathcal{C}^{1,1}$이고 우변 $f$가 엄격히 양이며 $\mathcal{C}^\alpha$-홀더 연속일 때, 복소 멩게-암페르 방정식 해에 대해 내부 $\mathcal{C}^{2,\alpha}$ 정규성을 확립하는 것.
• 복소 설정에서 볼록 해석의 기하 도구가 이용 불가능한 상황에서, 카프레리의 실 멩게-암페르 정규성 이론을 복소 설정으로 확장하는 것.
• 컴acts부분집합 $K \Subset \Omega$에서 $\|u\|_{\mathcal{C}^{2,\alpha}(K)}$에 대한 사전 추정을 제공하는 것. 이는 $n$, $\alpha$, $\lambda$, $\|f\|_{\mathcal{C}^\alpha}$ 및 $\text{dist}(K, \partial\Omega)$에 의존한다.
• 왕의 방법이 복소 설정에서의 적용 가능성을 보여주는 것. 이는 베드퍼드-테일러 $\mathcal{C}^{1,1}$ 추정을 핵심 입력으로 사용한다.

제안 방법

• 실 멩게-암페르 방정식에 대해 개발된 원래의 왕의 방법을, 베드퍼드-테일러 내부 $\mathcal{C}^{1,1}$ 추정을 기본 도구로 사용하여 복소 설정에 적응하는 것.
• 문제를 국소화하고 두 번째 도함수를 제어하기 위해, $\rho \in (0,1)$인 $\rho^k d$ 반경의 구로 도메인을 이중분할하는 것.
• 특히 겹치는 구에서 $\widetilde{u}_k - \widehat{u}_k$의 차이에 대해, 홀더 연속 우변을 가진 선형화된 방정식에 대해 쇼아우더 내부 추정을 사용하는 것.
• 두 번째 도함수 $D^2u$의 홀더 반정규를 평가하기 위해, 차이 $|w_{st}(x) - w_{st}(y)|$를 세 부분으로 나누는 것: 尾部 오차, 국소 이탈, 겹치는 영역 간의 교차차.
• 비선형성을 다루기 위해 로그 변환 $\log f$를 적용하며, $f$의 $\mathcal{C}^\alpha$ 정규성을 활용해 $|\log f(x) - \log f(y)|$를 $|x-y|^\alpha$로 통제하는 것.
• 기하학적 감쇠 $\rho^{k\alpha}$를 사용해 두 번째 도함수의 급수 전개에서 근사 오차를 통제하여 수렴성과 홀더 통제를 보장하는 것.

실험 결과

연구 질문

• RQ1 실 멩게-암페르 방정식에 대한 $\mathcal{C}^{2,\alpha}$ 정규성 결과를 해와 우변에 최소한의 가정을 두고 복소 설정으로 확장할 수 있는가?
• RQ2 우변 $f$가 $\mathcal{C}^\alpha$이면서 엄격히 양일 때, 해의 $\mathcal{C}^{1,1}$ 정규성이 $\mathcal{C}^{2,\alpha}$ 정규성을 유도하는가?
• RQ3 이중분할과 쇼아우더 추정에 의존하는 왕의 방법이 복소 멩게-암페르 방정식에 대해, 볼록성 도구가 없는 상황에서도 적응 가능한가?
• RQ4 컴팩트 부분집합에서 $\mathcal{C}^{2,\alpha}$ 노름이 데이터에 대해 정확히 어떻게 의존하는가? 특히 $\|f\|_{\mathcal{C}^\alpha}$와 경계로부터의 거리에 대한 의존성은?

주요 결과

• 복소 멩게-암페르 방정식 $\det(u_{i\bar{j}}) = f$의 해로서 $\mathcal{C}^{1,1}$인 임의의 $u$는 $f \geq \lambda > 0$ 이고 $f \in \mathcal{C}^\alpha(\Omega)$일 경우 반드시 $\mathcal{C}^{2,\alpha}(\Omega)$에 속한다.
• 임의의 상대적으로 컴팩트 부분집합 $K \Subset \Omega$에서 $u$의 $\mathcal{C}^{2,\alpha}$ 노름은 $n$, $\alpha$, $\lambda$, $\|f\|_{\mathcal{C}^\alpha(\Omega)}$, 및 $\text{dist}(K, \partial\Omega)$에 의존하는 상수로 유계이다.
• 증명은 베드퍼드-테일러 내부 $\mathcal{C}^{1,1}$ 추정에 의해 결정적으로 의존하며, 이는 $u \in \mathcal{C}^{1,1}$이라는 가정을 정당화한다.
• 복소 설정에서 볼록성 도구가 부족한 상황에서도, 근사치가 아닌 해 자체에 직접 작용함으로써, 복소 설정에서의 볼록성 도구 부족 문제를 성공적으로 다루었다.
• 이론은 $f$가 디니 연속일 경우로 확장되며, 이 경우 $D^2u$는 디니 연속성을 보이고, $f$가 리프시츠일 경우로 확장되며, 이 경우 $D^2u$는 로그-리프시츠 연속성을 보인다.