[논문 리뷰] Bekollé-Bonami estimates on some pseudoconvex domains

Zhenghui Huo, Nathan A. Wagner외 1명|arXiv (Cornell University)|2020. 01. 22.

Holomorphic and Operator Theory참고 문헌 30인용 수 7

한 줄 요약

이 논문은 유한 타입의 강볼록 도메인, 즉 엄밀히 강볼록, 볼록, 분리 가능한 도메인을 포함한 $\mathbb{C}^n$ 내에서 베르그만 프로젝션에 대한 날카로운 가중 $L^p$ 노름 추정을 수립한다. 스퍼스 도메인화와 베르그만 커널 추정을 통해, Bekollé-Bonami 유형의 상수에 따라 프로젝션 노름의 상한을 제공하며, 이 상한이 날카로운 것으로 밝혀지고, 엄밀히 강볼록인 경우의 약형 $(1,1)$ 유계성과 하한 또한 증명한다.

ABSTRACT

We establish a weighted $L^p$ norm estimate for the Bergman projection for a class of pseudoconvex domains. We obtain an upper bound for the weighted $L^p$ norm when the domain is, for example, a bounded smooth strictly pseudoconvex domain, a pseudoconvex domain of finite type in $\mathbb C^2$, a convex domain of finite type in $\mathbb C^n$, or a decoupled domain of finite type in $\mathbb C^n$. The upper bound is related to the Bekollé-Bonami constant and is sharp. When the domain is smooth, bounded, and strictly pseudoconvex, we also obtain a lower bound for the weighted norm.

연구 동기 및 목표

• 유한 타입의 강볼록 도메인에서의 베르그만 프로젝션에 대한 정량적 가중 $L^p$ 유계성을 수립하여, 이전의 정성적 Bekollé-Bonami 결과를 확장한다.
• 엄밀히 강볼록 도메인의 경우에만 알려진 바와 같이, Bekollé-Bonami 상수에 따라 가중 연산자 노름의 날카로운 상한과 하한을 제공한다.
• 단위 구를 초월하는 도메인, 즉 볼록, 분리 가능한, 유한 타입의 도메인에 대해 스퍼스 도메인화 방법을 일반화한다.
• 주요 방법의 부산물로, 이러한 도메인에서의 베르그만 프로젝션에 대한 약형 $(1,1)$ 유계성을 증명한다.
• 상한의 날카로움과 하한이 더 넓은 유한 타입 도메인 클래스로 확장 가능한지 탐색한다.

제안 방법

• 저자들은 최근의 $A_2$-추측에 기반한 스퍼스 도메인화 기법을 활용하여, 이원적 스퍼스 연산자를 통해 베르그만 프로젝션을 제어한다.
• 도메인의 경계 기하학에 적합한 수정된 텐트 $B^\#(z,\delta)$를 정의하여, 이원적 조화 분석 도구의 적용을 가능하게 한다.
• 노름 추정은 도메인의 이원적 분해와 스퍼스 연산자 유계성에 기반하며, 주요 추정은 베르그만 커널의 크기와 분포에 의존한다.
• Folland-Stein, McNeal 등이 제시한 유한 타입 도메인에서의 베르그만 커널의 점별 추정을 활용하여 커널의 감쇠 및 증식을 제어한다.
• 핵심 단계로는 연산자를 이원 정사각형으로 분해하고, 최대 함수 추정을 사용하여 약형 $(1,1)$ 노름을 유계화한다.
• 엄밀히 강볼록인 경우의 하한은 경계 근처에서의 베르그만 커널의 점근적 전개를 통해 확립되며, 이는 연산자 노름과 도메인의 기하학적 성질을 연결한다.

실험 결과

연구 질문

• RQ1 Bekollé-Bonami 상수에 따라 가중 $L^p$ 노름의 상한이 유한 타입 도메인에서 날카로운가?
• RQ2 현재 엄밀히 강볼록 도메인에서만 알려진 베르그만 프로젝션 노름에 대한 하한은 볼록 또는 분리 가능한 유한 타입 도메인으로 확장 가능한가?
• RQ3 유한 타입의 강볼록 도메인 전반에 걸쳐 베르그만 프로젝션의 약형 $(1,1)$ 유계성이 균일하게 성립하는가?
• RQ4 유한 타입 설정에서 베르그만 프로젝션 노름은 Bekollé-Bonami 상수에 대해 정확히 어떻게 의존하는가?
• RQ5 이 논문에서 사용된 스퍼스 도메인화 방법은 바레진 변환 또는 일반화된 베르그만 유형 연산자와 같은 다른 적분 연산자로도 적용 가능한가?

주요 결과

• 베르그만 프로젝션의 가중 $L^p$ 연산자 노름은 $\|P\|_{L^p(\Omega,\sigma)} \lesssim \mathcal{[}\sigma]_p$ 를 만족하며, 여기서 $\mathcal{[}\sigma]_p$ 는 가중치와 그 쌍대 가중치를 포함하는 Bekollé-Bonami 유형의 상수이다.
• 상한은 날카로우며, 섹션 6.1에서 $\mathcal{[}\sigma]_p$ 에 대한 의존성이 향상될 수 없음을 보여주는 반례로 입증된다.
• 부드럽고 유계된 엄밀히 강볼록 도메인의 경우, 베르그망 커널의 점근적 전개를 통해 상한과 상수 인자로 일치하는 하한이 확립된다.
• 모든 고려된 유한 타입 도메인에서 베르그만 프로젝션은 약형 $(1,1)$ 유계이며, 이는 스퍼스 도메인화 방법에서 유도된 결과이다.
• 이 방법은 네 가지 도메인 유형에 균일하게 적용 가능하다: $\mathbb{C}^2$ 내의 유한 타입, $\mathbb{C}^n$ 내에서 경계가 부드러운 엄밀히 강볼록 도메인, $\mathbb{C}^n$ 내에서 볼록 유한 타입 도메인, $\mathbb{C}^n$ 내에서 분리 가능한 유한 타입 도메인.
• 증명 기법은 최종 단락에서 언급한 바와 같이, $S_{a,b}$ 및 $S^{+}_{a,b}$ 와 같은 다른 연산자로의 확장 가능성을 시사한다.