On a construction of L. Hua for positive reproducing kernels (Q977118): Difference between revisions

Let \(\Omega\subset\mathbb C^n\) be a bounded domain and let \(dV\) be the standard Euclidean volume measure on \(\Omega\). It is well known that both the Bergman space \[ A^2(\Omega)=\left\{f\text{ holomorphic on }\Omega:\int_{\Omega}|f(z)|^2\,dV(z)<\infty\right\} \] and the Hardy space \[ H^2(\Omega)=\left\{f\text{ holomorphic on }\Omega:|f|^2\text{ has a harmonic majorant on }\Omega\right\} \] have reproducing kernel. The Bergman kernel \(K\) (for \(A^2\)) and the Szegő kernel \(S\) (for \(H^2\)) both have the advantage of being canonical. But neither is positive, and this makes them tricky to handle. It is a classical construction of [\textit{L. K. Hua}, Harmonic analysis of functions of several complex variables in classical regions. Translations of Mathematical Monographs. 6. Providence, RI: American Mathematical Society (AMS) (1963; Zbl 0112.07402)] that one can use the Szegő kernel to produce another reproducing kernel \[ \mathcal P(z,\zeta):=\frac{|S(z,\zeta)|^2}{S(z,z)} \] the so-called Poisson-Szegő kernel, that also reproduces \(H^2\) (i.e., for any bounded domain \(\Omega\) with \(C^2\) boundary and any \(f\in C(\overline{\Omega})\) holomorphic on \(\Omega\), we have \[ f(z)=\int_{\partial\Omega}\mathcal P(z,\zeta)f(\zeta)\,d\sigma(\zeta),\quad z\in\Omega, \] where \(d\sigma\) is the Hausdorff measure on \(\partial\Omega\)) but is positive. The author develops these ideas with the Szegő kernel replaced by the Bergman kernel. He defines the so-called Poisson-Bergman kernel \[ \mathcal B(z,\zeta):=\frac{|K(z,\zeta)|^2}{K(z,z)} \] that is positive and in some cases (e.g., if \(\Omega\) is smoothly bounded pseudoconvex domain) reproduces \(A^2(\Omega)\), i.e., \[ f(z)=\int_{\Omega}\mathcal B(z,\zeta)f(\zeta)\,dV(\zeta),\quad z\in\Omega,\quad f\in A^2(\Omega). \] In this paper, the author studies properties of the Poisson-Bergman kernel \(\mathcal B\). The author provides some information about the boundary limits of potentials of the form \(\mathcal Bf\) for \(f\in L^2(\Omega)\), where \(\Omega\subset\mathbb C^n\) is a smoothly bounded and strongly pseudoconvex domain. Namely, he proves that, for \(f\in C(\overline{\Omega})\), the function \(\mathcal Bf\) extends to be continuous on \(\overline{\Omega}\). Moreover, if \(P\in\partial\Omega\), then \(\lim_{\Omega\ni z\to P}F(z)=f(P)\). It is known that the Poisson-Szegő kernel on the unit ball in \(\mathbb C^n\) solves the Dirichlet problem for the invariant Laplacian [see \textit{E. M. Stein}, Boundary behavior of holomorphic functions of several complex variables. Mathematical Notes. Princeton, N.J.: Princeton University Press (1972; Zbl 0242.32005)] and that this is untrue on any other domain [\textit{C. R. Graham}, Commun. Partial Differ. Equations 8, 563--641 (1983; Zbl 0527.35032)]. Nevertheless, the result can be extended -- in an approximate sense -- to a broader class of domains. The author shows that, for smoothly bounded strongly pseudoconvex domain \(\Omega\subset\mathbb C^n\) and for any function \(f\in C(\partial\Omega)\), the Poisson-Szegő kernel may be written \[ \mathcal Pf(z)=\mathcal P_1f(z)+\mathcal Ef(z), \] where the term \(\mathcal P_1f\) is ``approximately annihilated'' by the invariant Laplacian on \(\Omega\) and the operator \(\mathcal E\) is smoothing in the sense of pseudodifferential operators.