[논문 리뷰] On a class of fully nonlinear elliptic equations on Hermitian manifolds

Bo Guan, Wei Sun|arXiv (Cornell University)|2013. 01. 24.

Geometry and complex manifolds참고 문헌 12인용 수 8

한 줄 요약

이 논문은 허미션만이에서 복소 몽에-암페르 유형의 완전 비선형 타원형 방정식에 대해 경계를 포함한 C² 사전 추정을 수립하며, 하위해가 존재하는 조건 하에 딜리클레 문제의 매끄러운 적합한 해의 존재성과 유일성을 증명한다. 주요 기여는 비카일러 다양체 이론에서 오랫동안 남아 있던 격차를 해결하는, 비틀림이 존재하는 경우에도 임의의 유계 영역에 대해 확장 가능한 새로운 이阶 경계 추정이다.

ABSTRACT

We derive a priori $C^2$ estimates for a class of complex Monge-Ampere type equations on Hermitian manifolds. As an application we solve the Dirichlet problem for these equations under the assumption of existence of a subsolution; the existence result, as well as the second order boundary estimates, is new even for bounded domains in $\bfC^n$.

연구 동기 및 목표

• 허미션 다양체에서 경계를 포함한 복소 몽에-암페르 유형의 완전 비선형 타원형 방정식에 대해 사전 C² 추정을 수립한다.
• ℂⁿ의 임의의 매끄러운 유계 영역에서 이러한 방정식의 딜리클레 문제를 해결한다. 이는 비카일러 설정을 포함한다.
• 카일러 및 강한 페시코너벡스 케이스를 초월하여, 비틀림이 비영일 경우에도 이阶 경계 추정을 확장한다.
• 엄격한 볼록성 또는 카일러 구조를 요구하지 않고, 하위해가 존재하는 유일한 조건 하에 딜리클레 문제의 새로운 존재 결과를 제공한다.

제안 방법

• 해의 헤시안과 하위해를 포함하는 철저히 구성된 보조 함수에 최대 원리 방법을 적용하여 사전 C² 추정을 유도한다.
• 거리 함수와 하위해를 포함하는 장벽 함수를 사용한 편미분 방법을 적용하여 경계 행동을 통제한다.
• 연산자 G[𝑔𝑖𝑗̄] = 𝑆𝛼−1;𝑖(𝑔𝑙𝑙̄)²𝑔𝑖𝑗̄ 를 사용한 복소 헤시안 구조를 활용한다. 여기서 𝑆𝛼−1;𝑖는 고유값에 대한 기본 대칭 함수를 나타낸다.
• 𝜙 = 𝑒^{𝐴𝜂} 및 𝜂 = 𝑢̲ − 𝑢 + sup(𝑢 − 𝑢̲) 를 도입하여 삼차항을 통제하는 하위해 기법을 구현한다. 이는 비틀림으로 인해 발생하는 항들을 다루는 데 기여한다.
• 정규 이阶 도함수를 경계에서 통제하기 위해 𝐴𝑣 + 𝐵𝜌² + Φ − |(𝑢 − 𝜑)𝑦𝑛|² 형태의 장벽 함수를 사용한다.
• 특히 비카일러 기하학에서 비틀림 항 𝑇𝑙𝑖𝑗 를 포함한 복소 헤시안 및 곡률 항의 구조를 활용하여, 균일한 추정을 도출한다.

실험 결과

연구 질문

• RQ1 비틀림이 비영일 경우, 허미션 다양체에서 복소 몽에-암페르 유형의 완전 비선형 타원형 방정식에 대해 이阶 경계 추정을 확립할 수 있는가?
• RQ2 영역이 강한 페시코너벡스가 아니더라도, ℂⁿ의 임의의 유계 영역에서 하위해가 존재하면 매끄러운 해의 존재성이 보장되는가?
• RQ3 이전에 연구된 경우 𝛼 = 1 및 𝛼 = 𝑛−1 외에도, 전체 범위 2 ≤ 𝛼 ≤ 𝑛−2 에서도 이阶 추정을 확장할 수 있는가?
• RQ4 카일러 구조나 메트릭이 필요 없이 일반 허미션 다양체에서 이러한 방정식에 대해 딜리클레 문제를 해결할 수 있는가?
• RQ5 카일러 경우에서 수행한 바와 같이, 하위해 기법을 사용하여 영차 및 이阶 추정을 비카일러 설정으로 확장할 수 있는가?

주요 결과

• 논문은 허미션 다양체에서 방정식 𝜒𝑢ⁿ = 𝜓𝜒𝑢ⁿ⁻ᵃ ∧ 𝜔ᵃ 의 적합한 해에 대해 경계까지의 사전 C² 추정을 수립한다.
• 비틀림이 존재하고 영역이 임의의 매끄러운 영역일지라도, 하위해가 존재하는 조건 하에 이阶 경계 추정이 증명된다.
• 하위해가 존재하는 조건 하에, 딜리클레 문제 (1.1)–(1.2)의 매끄러운 적합한 해의 존재성과 유일성이 확립되며, 이는 ℂⁿ의 유계 영역에 대해서조차도 새로운 결과이다.
• 핵심 추정 (1.4)는 ∂𝑀에서 |∇²𝑢| 가 |𝑢|_{𝐶¹}, min 𝜓⁻¹, |𝑢̲|_{𝐶²}, 그리고 𝑐₁𝜒𝑢̲ ≥ 𝜔 를 만족하는 상수 𝑐₁ 의 존재 조건에 따라 상수로 유계임을 보여준다.
• 비틀림으로 인해 발생하는 삼차항을 하위해와 철저히 선택된 보조 함수를 사용하여 성공적으로 통제함으로써, 비카일러 기하학에서 주요 기술적 과제를 극복한다.
• 이전의 복소 몽에-암페르 방정식 연구를 확장하며, 하위해 기법을 허미션 다양체에서 더 넓은 범위의 완전 비선형 방정식에 일반화한다.