[논문 리뷰] Plurisubharmonic functions with weak singularities

Slimane Benelkourchi, Vincent Guedj외 1명|ArXiv.org|2008. 02. 22.

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

한 줄 요약

이 논문은 가중 몽주-암페르 에너지 클래스 $\mathcal{E}_\chi(\Omega)$를 통해 약한 특이성을 가진 다항극성 함수의 통합 프레임워크를 제안한다. 이는 케그렐의 클래스를 일반화한 것으로, 하위레벨 집합의 몽주-암페르 용적의 붕괴 속도를 통해 이러한 클래스를 특성화하고, 중간 성장률을 보이는 용적에 의해 지배되는 조건에서 복소 몽주-암페르 방정식을 해결함으로써 케그렐과 코로지에의 결과 사이의 격차를 메운다.

ABSTRACT

We study the complex Monge-Ampère operator in bounded hyperconvex domains of $\C^n$. We introduce a scale of classes of weakly singular plurisubharmonic functions : these are functions of finite weighted Monge-Ampère energy. They generalize the classes introduced by U.Cegrell, and give a stratification of the space of (almost) all unbounded plurisubharmonic functions. We give an interpretation of these classes in terms of the speed of decreasing of the Monge-Ampère capacity of sublevel sets and solve associated complex Monge-Ampère equations.

연구 동기 및 목표

• 증가하는 함수 $\chi:\mathbb{R}^{-}\to\mathbb{R}^{-}$를 사용한 새로운 형식을 도입하여, 유한한 가중 몽주-암페르 에너지를 가진 케그렐의 다항극성 함수 클래스를 일반화한다.
• 기존의 클래스인 $\mathcal{E}^p(\Omega)$, $\mathcal{F}^p(\Omega)$, $\mathcal{F}_a(\Omega)$를 $\mathcal{E}_\chi(\Omega)$ 프레임워크를 통해 통합적으로 다룬다.
• 하위레벨 집합의 몽주-암페르 용적 붕괴 속도를 통해 $\mathcal{E}_\chi(\Omega)$ 클래스를 특성화한다.
• 케그렐과 코로지에가 다룬 영역 사이의 중간 영역에서 성장률을 가지는 유한 보렐 측도 $\mu$에 대해 복소 몽주-암페르 방정식 $(dd^c\varphi)^n = \mu$를 해결한다.
• 해가 $\mathcal{E}_\chi(\Omega)$에 존재하기 위한 필요 및 충분 조건을, 중간 성장률을 가지는 용적에 의해 지배되는 $\mu$의 조건으로 기술한다.

제안 방법

• 다음 조건을 만족하는 다항극성 함수 $u$의 집합으로서 클래스 $\mathcal{E}_\chi(\Omega)$를 정의한다: 감소하는 수열 $u_j \in \mathcal{T}(\Omega)$가 존재하여 $\sup_j \int_\Omega (-\chi) \circ u_j \, (dd^c u_j)^n < \infty$가 성립하며, 이는 케그렐의 에너지 클래스를 일반화한다.
• 표준 근사자 $u_j = \max(u, -j)$를 사용하여, 모든 보렐 집합 $B \subset \Omega \setminus \{u = -\infty\}$에 대해 $\int_B (dd^c u)^n = \lim_{j\to\infty} \int_{B \cap \{u > -j\}} (dd^c u_j)^n$이 성립함을 보여, 몽주-암페르 연산자의 연속성을 확보한다.
• 용적적 해석을 확립한다: $\mathcal{E}^p(\Omega) = \left\{ \varphi \in PSH^{-}(\Omega) \,\middle|\, \int_0^{\infty} (-\varphi)^{n+p-1} \operatorname{Cap}_\Omega(\{\varphi < -t\}) \, dt < \infty \right\}$, 이는 에너지 유한성과 용적 붕괴 사이의 연결 고리를 제공한다.
• 측도 $\mu$를 지배하기 위해 함수 $F_\mu(t) = \sup\{ \mu(K) \mid \operatorname{Cap}_\Omega(K) \leq t \}$를 도입하고, 이를 통해 조건 (5.3)을 통한 $(dd^c\varphi)^n = \mu$의 해 존재성을 특성화한다.
• 조건 (5.3): $\int_\Omega (-\chi) \circ u \, d\mu \leq F(E_\chi(u))$가 모든 $u \in \mathcal{T}(\Omega)$에 대해 성립할 경우, $\mathcal{E}_\chi(\Omega)$ 내 해의 존재성을 증명한다. 여기서 $F$는 증가 함수이며 $\limsup_{t\to\infty} F(t)/t < 1$를 만족한다.
• 해에 대한 사전 추정을 유도한다: $\varphi \geq -s_\infty$, 여기서 $s_\infty \leq e \int_0^\infty \varepsilon(t) \, dt + e\varepsilon(0) + \mu(\Omega)^{1/n}$이며, $\mu$가 $\varepsilon$에 대해 $\int_0^\infty \varepsilon(t) \, dt < \infty$를 만족하는 조건을 지배할 경우 성립한다.

실험 결과

연구 질문

• RQ1 케그렐의 유한 에너지를 가진 다항극성 함수 클래스를 가중 함수 $\chi$를 사용한 통합 프레임워크로 어떻게 일반화할 수 있는가?
• RQ2 하위레벨 집합의 몽주-암페르 용적 붕괴 속도로 표현할 때, 클래스 $\mathcal{E}^p(\Omega)$의 정확한 용적적 특성은 무엇인가?
• RQ3 유한 보렐 측도 $\mu$가 복소 몽주-암페르 방정식 $(dd^c\varphi)^n = \mu$의 해를 $\mathcal{E}_\chi(\Omega)$ 내에 가지기 위한 조건은 무엇인가? 이때 $\mu$는 중간 성장률을 가진다.
• RQ4 용적의 중간 성장률을 가지는 함수 $F$를 도입함으로써, 케그렐과 코로지에의 몽주-암페르 해 존재성 결과 사이의 격차를 메울 수 있는가?
• RQ5 $\mathcal{F}^p(\Omega)$에 속하는 함수의 $L^p(\mu)$ 적분 가능성과 지배 측도 $\mu$가 지수 $\alpha$를 가진 용적에 의해 지배되는 관계는 무엇인가?

주요 결과

• 클래스 $\mathcal{E}^p(\Omega)$는 조건 $\int_0^{\infty} (-\varphi)^{n+p-1} \operatorname{Cap}_\Omega(\{\varphi < -t\}) \, dt < \infty$를 통해 특성화되며, 이는 유한한 $p$-에너지의 날카운 용적적 해석을 제공한다.
• $\chi(t) = -(-t)^p$일 때, 조건 $\int_\Omega (-\chi) \circ u \, d\mu \leq C \cdot E_\chi(u)^{p/(p+n)}$는 $(dd^c\varphi)^n = \mu$의 해 $\varphi \in \mathcal{F}^p(\Omega)$가 존재하기 위한 필요 및 충분 조건이며, 케그렐의 결과를 일반화한다.
• 모든 컴팩트 집합 $K$에 대해 $\mu(K) \leq C \cdot \operatorname{Cap}_\Omega(K)^{p/(p+n)}$이면 $\mathcal{F}^p(\Omega) \subset L^p(\mu)$이며, 반대로 $\mu \lesssim \operatorname{Cap}_\Omega^\alpha$이면서 $\alpha > p/(p+n)$이면 $\mathcal{F}^p(\Omega) \subset L^p(\mu)$가 성립함을 보여, 용적 지배성과 적분 가능성 사이의 쌍대성 관계를 확립한다.
• $(dd^c\varphi)^n = \mu$의 해 $\varphi$는 사전 추정 $\varphi \geq -s_\infty$를 만족하며, 여기서 $s_\infty \leq e \int_0^\infty \varepsilon(t) \, dt + e\varepsilon(0) + \mu(\Omega)^{1/n}$이다. 이때 $\mu$가 $\varepsilon$에 대해 $\int_0^\infty \varepsilon(t) \, dt < \infty$를 만족하는 조건을 지배할 경우, 균일한 제어가 보장된다.
• $\mu$가 모든 $u \in \mathcal{T}(\Omega)$에 대해 $\int_\Omega (-\chi) \circ u \, d\mu \leq F(E_\chi(u))$를 만족하고, $F$가 증가 함수이며 $\limsup_{t\to\infty} F(t)/t < 1$이면, $(dd^c\varphi)^n = \mu$의 해 $\varphi \in \mathcal{E}_\chi(\Omega)$가 존재함을 보장한다. 이는 케그렐의 결과를 광범위한 가중치 클래스로 확장한다.
• $\mathcal{E}_\chi(\Omega)$는 $DMA(\Omega)$에 포함되며, $\mathcal{E}_\chi(\Omega)$ 내 감소 수열에 대해 몽주-암페르 연산자가 연속적이므로, 이 클래스에서 연산자의 잘 정의됨을 보장한다.