[논문 리뷰] Convergence in capacity

Urban Cegrell|ArXiv.org|2005. 05. 11.

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

한 줄 요약

이 논문은 복소다양체 $\mathbb{C}^n$ 에서 클래스 $\mathcal{F}$ 에 속하는 다항하모닉 함수의 수열 $u_j$ 가 $\mathbb{C}^n$-용량에서 $u$ 로 수렴할 조건 하에 몽헤-암페르 측도 $(dd^c u_j)^n$ 이 약한* 위상에서 $(dd^c u)^n$ 으로 수렴함을 확립한다. 주요 결과는 초구형 영역 내에서의 근사와 용량 추정을 통해 용량 수렴과 관련된 몽헤-암페르 측도의 약한* 수렴을 연결함으로써 이전의 수렴 정리들을 일반화한다.

ABSTRACT

The purpose of this paper is to study convergence of Monge-Ampere measures associated to sequences of plurisubharmonic functions defined on a hyperconvex subset of ${\mathbb C^n}$.

연구 동기 및 목표

• 클래스 $\mathcal{F}$ 에 속하는 다항하모닉 함수의 수열에 대한 몽헤-암페르 측도의 수렴을 일반화하는 것.
• 다항하모닉 함수가 $\mathbb{C}^n$-용량에서 수렴할 경우 관련 몽헤-암페르 측도의 약한* 수렴을 확립하는 것.
• 이전 결과를 일정한 유계성 조건을 갖는 수열에서 더 넓은 클래스 $\mathcal{F}$ 로 확장하는 것. 이 클래스는 성장 조절이 되어 있고 몽헤-암페르 질량이 유한한 함수를 포함한다.
• 용량과 근사를 이용한 기능해석적 프레임워크를 제공하여 비선형 측도의 수렴을 제어하는 것.

제안 방법

• 용량 수렴의 개념을 활용하며, 이는 모든 컴acts $K \subset \subset \Omega$ 와 $\delta > 0$ 에 대해 $\mathrm{cap}(\{z \in K : |u - u_j| > \delta\}) \to 0$ 로 정의된다.
• 문제를 연속 함수로 간소화하기 위해 $\mathcal{E}_0 \cap C(\bar{\Omega})$ 에 속하는 함수를 이용한 근사 기법을 적용한다. 이 함수들은 경계가 정규화된 클래스에서 컴팩트 지지 집합을 가진다.
• 일반적인 양의 측도 중에서 다항포텐셜 집합에서 사라지는 측도를 다루기 위해 $\mu_p = \min(f, p)(dd^c \psi)^n$ 으로 정의된 절단 기법을 사용한다.
• 적분의 약한* 수렴 $\int u_j \, d\mu_p \to \int u \, d\mu_p$ 를 이용하고, 패투의 보조정리와 단조 수렴 정리를 적용하여 극한으로 넘어간다.
• 몽헤-암페르 형식의 차수에 대한 귀납적 증명을 사용한다. $p$-형식에 대해 성립함을 가정하고, $p+1$-형식에 대해 오차 항을 용량과 하위레벨 집합을 통해 추정함으로써 수렴을 증명한다.
• 차이 $u_j - u$ 를 제어하기 위해 $|u_j - u| > \varepsilon$ 인 집합에서 작용하는 용량 기반의 상한 함수 $h_N^*$ 의 수열을 구성한다. 이는 적분 가능성과 오차 항의 감쇠를 보장한다.

실험 결과

연구 질문

• RQ1 클래스 $\mathcal{F}$ 에 속하는 수열 $u_j$ 가 $\mathbb{C}^n$-용량에서 수렴할 경우, 관련 몽헤-암페르 측도 $(dd^c u_j)^n$ 이 약한* 수렴하는가?
• RQ2 유계 수열에 대한 수렴 결과를 $\mathcal{F}$ 로 확장할 수 있는가? 이 클래스는 유계가 아닌 다항하모닉 함수이지만 몽헤-암페르 질량이 유한한 함수를 포함한다.
• RQ3 용량 추정은 다항포텐셜 이론에서 비선형 측도의 수렴을 제어하는 데 어떻게 활용될 수 있는가?
• RQ4 다항포텐셜 함수 $\mathcal{E}_0$ 에 의한 근사와 측도의 절단 기법은 몽헤-암페르 측도의 약한* 수렴을 증명하는 데 어떤 역할을 하는가?

주요 결과

• 만약 $u_j \in \mathcal{F}$, $u_0 \leq u_j$ 이고 $u_j$ 가 $\mathbb{C}^n$-용량에서 $u$ 로 수렴한다면, $j \to \infty$ 일 때 $(dd^c u_j)^n$ 이 $(dd^c u)^n$ 으로 약한* 수렴한다.
• 이 수렴은 모든 테스트 함수 $h \in \mathcal{E}_0$ 에 대해 성립하며, 다항포텐셜 이론의 표준 쌍대성 원리에 의해 측도의 약한* 수렴을 보장한다.
• 증명은 몽헤-암페르 형식의 차수에 대한 귀납적 추론에 기반한다. $p$-형식에 대해 성립함을 가정하고, $p+1$-형식에 대해 수렴을 증명한다.
• 차이 $\int (u_j - u)(dd^c u_j)^p \land \cdots$ 에서 발생하는 오차 항은 용량 기반 상한 함수 $h_N^*$ 와 절단 기법을 통해 제어되며, 이는 극한에서 0으로 수렴한다.
• 핵심 추정은 $|I_{j_k}|$, $|II_{j_k}|$, $|III_{j_k}|$ 를 $\int (-h_N)(dd^c u)^p \land \cdots$ 와 $\varepsilon \int (dd^c u_0)^p \land \cdots$ 로 바인딩하는 것으로, 이 두 항은 $N \to \infty$ 와 $\varepsilon \to 0$ 일 때 모두 0으로 수렴한다.
• 결과는 부분수열에 대해 안정하다: $u_j$ 의 모든 부분수열은 $(dd^c u_j)^n$ 이 $(dd^c u)^n$ 으로 약한* 수렴하는 더 작은 부분수열을 포함한다. 이는 전체 수렴을 증명한다.