[논문 리뷰] The smoothing of $m$-subharmonic functions

Szymon Pliś|arXiv (Cornell University)|2013. 12. 06.

Geometry and complex manifolds참고 문헌 11인용 수 14

한 줄 요약

이 논문은 컴act 카플러 다양체와 엄격한 편평한 볼록 도메인에서 $m$-하모닉 함수에 대한 Richberg 유형의 근사 정리를 수립하며, 연속적인 $m$-하모닉 함수가 위에서부터 매끄러운 엄격한 $m$-하모닉 함수로 균일하게 근사될 수 있음을 증명한다. 핵심 방법은 딜리클레 데이터를 가진 복소 헤시안 방정식을 푸는 데 기반하며, 매끄러운 해의 존재성과 유일성을 보장함으로써 스무딩 절차를 가능하게 하고, 연속 함수에 대한 $m$-하모닉성의 다양한 정의가 동치임을 밝혀내는 기초적인 질문을 해결한다.

ABSTRACT

We prove Richberg type theorem for $m$-subharmonic function. The main tool is the complex Hessian equation for which we obtain the existence of the unique smooth solution in strictly pseudoconvex domains.

연구 동기 및 목표

• 연속 함수에 대한 $m$-하모닉성의 다양한 정의가 동치가 되는지 여부라는 기초적인 질문을 해결하기 위해.
• 컴 pact 카플러 다양체와 엄격한 편평한 볼록 도메인에서 $m$-하모닉 함수에 대한 Richberg 유형의 정리를 수립하기 위해.
• 엄격한 편평한 볼록 도메인에서 복소 헤시안 방정식의 딜리클레 문제에 대한 매끄러운 해의 존재성과 유일성을 증명하기 위해.
• 연속적인 $m$-하모닉 함수를 엄격한 매끄러운 $m$-하모닉 함수로 제어 가능한 상한을 갖는 구조적 방법으로 근사하는 데 기여하기 위해.

제안 방법

• 매끄러운 근사자들을 구성하기 위한 중심 분석적 도구로 복소 헤시안 방정식 $(dd^c u)^m \wedge \beta^{n-m} = dV$ 를 사용한다.
• 비직교 복소 벡터장에 적응된, 균일성, 기울기, 내부 이阶 도함수 추정을 포함하는 사전 추정을 적용한다.
• $m$-하모닉 함수에 대한 비교 원리를 활용하여 하위해의 행동을 제어하고 해의 유일성을 보장한다.
• 유한 개의 열린 덮개 위에서 정의된 국소적 매끄러운 $m$-하모닉 함수들의 로그 평균을 이용해 매끄러운 근사화를 구성한다.
• 레비 형식과 곡률 항을 포함한 장벽 함수의 접근을 통해 경계 행동을 제어하고 이阶 도함수 추정을 유도한다.
• 엄격한 편평한 볼록 도메인에서의 엄격한 복소볼록 정의 함수의 존재성을 이용하여 헤시안 방정식의 해가 존재함을 보장한다.

실험 결과

연구 질문

• RQ1 컴 pact 카플러 다양체에서 연속적인 $m$-하모닉 함수는 위에서부터 매끄러운 엄격한 $m$-하모닉 함수로 균일하게 근사될 수 있는가?
• RQ2 엄격한 편평한 볼록 도메인에서 복소 헤시안 방정식의 매끄러운 해가 존재하면, 연속 함수에 대한 $m$-하모닉성의 다양한 정의가 동치가 되는가?
• RQ3 엄격한 편평한 볼록 도메인에서 연속 경계 데이터를 가진 복소 헤시안 방정식의 딜리클레 문제는 유일하게 해가 존재하는가?
• RQ4 비틀림을 포함한 엄격한 $m$-하모닉 함수에 대한 비교 원리를 확장하여 근사 정리를 증명할 수 있는가?

주요 결과

• 정리 1은 컴 pact 카플러 다양체에서 연속적인 $\omega$-$m$-하모닉 함수가 주어진 $h$-근처에서 위에서부터 매끄러운 엄격한 $\omega$-$m$-하모닉 함수로 균일하게 근사될 수 있음을 수립한다.
• 정리 2는 연속적인 엄격한 $m$-하모닉 함수가 엄격한 매끄러운 $m$-하모닉 함수로 위에서부터 근사될 수 있으며, 엄격한 하모닉성의 성질을 유지함을 증명한다.
• 정리 3은 유계 엄격한 편평한 볼록 도메인에서 연속 경계 데이터를 가진 복소 헤시안 방정식 $(dd^c u)^m \wedge \beta^{n-m} = dV$ 에 대한 매끄러운 해가 존재하고 유일함을 보장한다.
• 보조정리 4는 엄격한 편평한 볼록 도메인에서 연속 경계 데이터를 가진 동차 헤시안 방정식 $(dd^c u)^m \wedge \beta^{n-m} = 0$ 에 대한 연속 해가 존재함을 확인한다.
• 논문은 두 가지 주요 $m$-하모닉성 정의(미분 부등식을 통한 정의와 매끄러운 함수의 근사화를 통한 정의)가 연속 함수에 대해 동치임을 보여 기초적인 문제를 해결한다.
• 국소적 매끄러운 함수들의 로그 평균을 통한 근사화 구성은 결과 함수가 여전히 엄격한 $m$-하모닉이면서도 원하는 상한 내에 있도록 보장한다.