[논문 리뷰] A remark on the continuous subsolution problem for the complex Monge-Ampère equation

Sławomir Kołodziej, Ngoc Cuong Nguyen|arXiv (Cornell University)|2018. 08. 22.

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

한 줄 요약

이 논문은 복소 몽에-암페르 방정식의 딜리클레 문제에 대해, 다수의 하모닉 하위해가 Dini 유형 조건을 만족하는 연속성 모듈러스를 가질 경우 연속해가 존재함을 증명한다. 주요 기여는 측도에 대한 용적 기반 지배 조건 하에서 해의 날카운 모듈러스 연속성 추정을 제공함으로써, 이전에 허들러 연속성 하위해가 필요로 했던 해법의 범위를 더 약한 연속성 조건으로 확장한 것이다.

ABSTRACT

We prove that if the modulus of continuity of a plurisubharmonic subsolution satisfies a Dini type condition then the Dirichlet problem for the complex Monge-Ampère equation has the continuous solution. The modulus of continuity of the solution is also given if the right hand side is locally dominated by capacity.

연구 동기 및 목표

• 하위해의 모듈러스 연속성이 Dini 유형 조건을 만족할 경우 복소 몽에-암페르 방정식의 딜리클레 문제에 연속해가 존재함을 확립하는 것.
• 이전의 해법 결과를 허들러 연속성 하위해를 요구하는 조건에서 더 약한 연속성 조건으로 일반화하는 것.
• 지역 용적 지배 조건 하에서 해의 명시적 모듈러스 연속성 추정을 도출하는 것.
• L^p 밀도 또는 허들러 연속성 하위해를 가진 측도의 범위를 넘어서 딜리클레 문제의 해법 가능성을 확장하는 것.

제안 방법

• 복소다음하모닉 하위해 $ \f $ 의 모듈러스 연속성 $ /varpi(t) $ 에 대해 Dini 유형 조건을 도입하며, $ \textstyle\bigint_{0}^{1} \frac{[/varpi(t)]^{1/n}}{t|\text{log}\thinspace t|} dt < \text{infty} $ 를 요구한다.
• 체적-용적 불등식과 수정된 앨렉산더-테일러 부등식을 사용하여 용적 기반으로 몽에-암페르 측도를 통제한다.
• 이중 정사각형을 사용한 커버링 추론을 통해 문제를 국소화하고 해의 진동을 추정한다.
• 함수 $ F_0 $ 를 통한 용적 기반의 균일한 국소 지배 개념을 도입하여 이전 결과(예: $ F_0(x) = Cx $ 또는 지수 형태)를 일반화한다.
• Dini 조건과 측도의 용적 기반 지배 조건 $ \textstyle\text{supp}\thinspace\text{d}\thinspace\text{mu} \text{ in } \text{H}(\text{alpha},\text{Omega}) $ 를 결합하여 정량적 모듈러스 연속성 추정을 유도한다.
• 상대적 극값 함수와 하위레벨 집합 추정을 사용하여 하위레벨 집합의 용적을 추정함으로써 최종 연속성 추정에 도달한다.

실험 결과

연구 질문

• RQ1 하위해의 허들러 연속성보다 더 약한 정규성 조건 하에서도 복소 몽에-암페르 딜리클레 문제의 해법 가능성이 보장될 수 있는가?
• RQ2 측도가 연속 복소다음하모닉 함수의 몽에-암페르 측도에 의해 지배될 경우, 해의 최적 모듈러스 연속성은 무엇인가?
• RQ3 해의 연속성은 측도의 용적 지배 조건과 도메인의 기하학적 성질에 어떻게 의존하는가?
• RQ4 하위해의 모듈러스 연속성에 Dini 유형 조건이 성립할 경우 연속해 존재를 보장할 수 있는가?
• RQ5 해의 진동은 경계와의 거리 및 하위레벨 집합의 용적에 대해 정확히 어떤 정량적 의존성을 가지는가?

주요 결과

• 연속 복소다음하모닉 하위해 $ \f $ 의 모듈러스 연속성 $ \textstyle\text{varpi}(t) $ 가 $ \textstyle\bigint_{0}^{1} \frac{[\text{varpi}(t)]^{1/n}}{t|\text{log}\thinspace t|} dt < \text{infty} $ 를 만족할 경우, 딜리클레 문제는 유일한 연속해를 가진다.
• 측도 $ \textstyle\text{mu} \text{ in } \text{H}(\text{alpha},\text{Omega}) $ 가 $ F_0 $ 를 통한 균일한 국소 용적 지배를 만족할 경우, 해 $ u $ 는 다음과 같은 모듈러스 연속성 추정을 만족한다: $ \textstyle\text{varpi}(\text{delta};u,\text{Omega}) \text{leq} \text{varpi}(\text{delta};\text{psi},\text{partial}\text{Omega}) + C\big[\text{log}(R_0/\text{delta})^{-1/2} + F_0\big(C_0/[\text{log}(R_0/\text{delta})]^{1/2}\big)\big]^{\text{alpha}_1} $.
• 추정식의 상수 $ C $ 와 $ \text{alpha}_1 $ 는 해나 경계 데이터에 관계없이 $ \text{alpha}, \text{mu}, \text{ 및 } \text{Omega} $ 에만 의존한다.
• 이전 결과에서 하위해의 허들러 연속성 조건이 필요로 했던 것을 개선하여, Dini 유형 모듈러스 연속성만으로도 해법 가능성이 보장됨을 보여준다.
• 증명은 수정된 앨렉산더-테일러 부등식을 통한 정교한 용적 추정과 이중 정사각형을 사용한 커버링 추론에 기반한다.
• 논문은 Dini 연속성 모듈러스를 가진 연속 하위해가 해법 가능성을 보장함을 증명하며, 분야 내 열린 문제의 일부를 해결한다.