볼록 복소 영역에서 Carleson 측정의 새로운 동등조건

초록

본 논문은 유한한 차원의 볼록 복소 영역 Ω에서 가중 베르그만 공간 (A^{p}{\alpha})와 측도 (\mu) 사이의 Carleson 임베딩 (J{\mu}:A^{p}_{\alpha}\to L^{q}(\mu)) ( (0<q<p<\infty) )의 유계성에 대한 여러 동등한 조건을 제시한다. 핵심은 Bergman kernel 이 ‘sharp B‑type’ 조건을 만족한다는 가정이며, 이때 유계성은 바로 컴팩트성에 동등함을 보인다. 또한 r‑격자와 원자 분해를 이용해 필요충분조건을 구체화한다.

상세 분석

논문은 먼저 Carleson 측정의 전통적 정의와 Hardy·Bergman 공간에서의 알려진 결과들을 정리하고, 이를 고차원 복소 영역으로 확장하는 문제를 제기한다. 핵심 가정은 Ω가 bounded C‑convex domain이며, 그 Bergman kernel (K_{\Omega}(z,w))가 sharp B‑type 조건을 만족한다는 점이다. 이 조건은 kernel 이 대각선에서 정확히 (\rho_{\Omega}(z)^{-2})와 동등하게 성장하고, 비대각선에서는 ( |K_{\Omega}(z,w)|\gtrsim K_{\Omega}(z,z)^{1/2}K_{\Omega}(w,w)^{1/2}) 를 보장한다. 이러한 기하학적·분석적 특성을 이용해 Kobayashi 거리와 그에 대응하는 볼(ball) (B_{\Omega}(z,r)) 를 정의하고, r‑격자 ({a_j}) 를 구성한다. 격자 덕분에 영역을 유한 겹침을 갖는 볼들의 합으로 분해할 수 있어, 평균 함수 (b_{\mu,r}(z)=\mu(B_{\Omega}(z,r))/V(B_{\Omega}(z,r))) 를 통해 측도 (\mu) 를 정량화한다.

주요 정리인 Theorem 1.2는 다섯 가지 조건을 동등하게 만든다. (i) (J_{\mu}) 가 컴팩트, (ii) (J_{\mu}) 가 유계, (iii) 격자 점들에 대한 수열 ({p_{\Omega}(a_j)^{2+2q(\alpha-1)/p}b_{\mu,r}(a_j)}) 가 (\ell^{p/(p-q)}) 에 속함, (iv) 특정 반경 (R) 에 대해 (p_{\Omega}(z)^{2\alpha q/p}b_{\mu,R}(z)\in L^{p/(p-q)}(\Omega)), (v) 모든 (R\in(0,1)) 에 대해 (iv)와 동일한 조건을 만족한다. 여기서 (p_{\Omega}(z)=n\prod_{i=1}^{n}\eta_i(z)) 은 Kobayashi 거리와 연관된 양이며, (\eta_i(z)) 는 최소 좌표계에서의 거리 성분이다.

증명은 원자 분해(Theorem 3.1)를 핵심으로 한다. r‑격자 ({w_k}) 와 계수열 ({c_k}\in\ell^{p}) 로 정의된 함수
(f(z)=\sum_{k}c_k K_{\Omega}(w_k,w_k)^{1-\alpha/p-N}K_{\Omega}(z,w_k)^{N})
는 (A^{p}{\alpha}) 에 속하고 (|f|{A^{p}{\alpha}}\lesssim|{c_k}|{\ell^{p}}) 를 만족한다. 이때 Schur 테스트와 Lemma 2.7의 포리엘‑루딘 추정식을 이용해 적절한 정수 (N) 를 선택하면, 임베딩의 유계성은 격자 평균 함수의 (\ell^{p/(p-q)}) 적합성으로 환원된다. 반대 방향은 Montel 정리와 Lemma 3.4, 3.3을 이용해 평균 함수가 (L^{p/(p-q)}) 에 속함을 보이며, 이는 다시 Carleson 임베딩의 유계성으로 귀결된다.

특히 p>q 인 경우, 유계성 ⇔ 컴팩트성이라는 강력한 동등성을 얻는다. 이는 일반적인 Bergman 공간에서 알려진 결과와 일치하지만, C‑convex 영역과 sharp B‑type kernel이라는 비표준 환경에서도 동일하게 성립함을 보여준다.