Steven G. Krantz
Abstract:On a reasonable class of domains in $\CC^n$, we characterize those holomorphic functions which continue analytically past the boundary. Then we give some applications of this result to holomorphic mappings. In addition, some new results about the Lu Qi-Keng conjecture are treated.
What problem does this paper attempt to address?
This paper attempts to solve the following key problems:
1. **Characterization of Analytic Continuation**:
- The main objective of the paper is to characterize holomorphic functions that can be analytically continued outside the boundary. Specifically, the author studies holomorphic functions \(\phi\) on a class of reasonable domains in the complex space \(\mathbb{C}^n\), and these functions can be analytically continued at certain points on the boundary.
- By introducing the Bergman projection \(P\), the author proves that if a holomorphic function \(\phi\) is defined on a bounded, pseudoconvex domain \(\Omega\) with a real - analytic boundary and can be analytically continued at all boundary points, then there exists a smooth function \(g\in C_c^\infty(\Omega)\) with compact support such that \(Pg = \phi\).
2. **Bergman Kernel and Lu Qi - Keng Conjecture**:
- The Lu Qi - Keng conjecture focuses on whether the Bergman kernel is never zero on the domain \(\Omega\subseteq\mathbb{C}^n\). The author explores this conjecture in this paper and presents some new results.
- The author proves that for domains of a specific form \(\Omega_{m_1,m_2,\ldots,m_n}=\{(z_1,z_2,\ldots,z_n)\in\mathbb{C}^n:|z_1|^{2m_1}+|z_2|^{2m_2}+\cdots+|z_n|^{2m_n}<1\}\), where \(m_1,m_2,\ldots,m_n\) are positive integers, the Bergman kernel is indeed non - zero. This resolves the Lu Qi - Keng conjecture for these domains.
3. **Applications of Holomorphic Mappings**:
- The author also applies the above results to study the properties of holomorphic mappings. In particular, the author generalizes Bell's result and proves that if \(\Phi\) is a proper holomorphic mapping between two domains \(\Omega_1\) and \(\Omega_2\) that satisfy certain conditions, and \(\Omega_1\) satisfies the Lu Qi - Keng property, then \(\Phi\) must be a biholomorphic mapping (i.e., \(\Phi\) is bijective and its inverse is also holomorphic).
### Main Conclusions
- **Theorem 2.1**: Let \(\Omega\subseteq\mathbb{C}^n\) be a bounded, pseudoconvex domain with a real - analytic boundary. Assume that the \(\partial\)-Neumann problem is real - analytically subelliptic on \(\Omega\). If \(\phi\) is a holomorphic function on \(\Omega\) and can be analytically continued at all boundary points, then there exists a \(g\in C_c^\infty(\Omega)\) such that \(Pg=\phi\).
- **Theorem 3.2**: Let \(\Omega_1\) and \(\Omega_2\) be bounded, pseudoconvex domains with real - analytic boundaries, and the \(\partial\)-Neumann problem on each domain is real - analytically subelliptic. Assume that \(\Omega_1\) satisfies the Lu Qi - Keng property. If \(\Phi:\Omega_1\rightarrow\Omega_2\) is a proper holomorphic mapping, then \(\Phi\) is a biholomorphic mapping.
### Applications
- The author uses these results to study the properties of holomorphic mappings and proves that under specific conditions, proper holomorphic mappings are necessarily biholomorphic mappings. In addition, the author also explores the non - zero property of the Bergman kernel on some special domains and resolves the Lu Qi - Keng conjecture for these domains.
These results not only deepen the understanding of the Bergman kernel and holomorphic mappings but also have important significance in the theory of several complex variables.