ESTIMATES OF THE BERGMAN KERNEL FUNCTION ON PSEUDOCONVEX DOMAINS WITH COMPARABLE LEVI FORM (Q4551902)

Let \(\Omega=\{z\in\mathbb{C}^n: r(z)<0\}\) be a smoothly bounded pseudoconvex domain in \(\mathbb{C}^n\) with a smooth defining function \(r\) and \(\lambda_1(z),\dots,\lambda_{n-1}(z)\) the eigenvalues of the Levi form \(\partial\overline\partial r\) at a point \(z\in\partial\Omega\). We say that \(\Omega\) has comparable Levi form near \(z_0\in\partial\Omega\) if there exists a constant \(c>0\) and a neighbourhood \(U\) of \(z_0\) such that \(\lambda_k(z)\geq\sum_{j=1}^{n-1} \lambda_j(z)\) \(\forall z\in U\) \(\forall k=1,\dots,n-1\). If in addition \(z_0\) is of finite type, then the author has obtained in his earlier paper [Boundary behavior of the Bergman kernel function on pseudoconvex domains with comparable Levi form, per bibl.] estimates for the values \(K_\Omega(z,z)\) of the Bergman kernel function of \(\Omega\) on the diagonal near \(z_0\). In the present paper, these estimates are extended to \(K_\Omega(z,w)\) and its derivatives on and off the diagonal near \(z_0\). As a corollary, it also follows that for any neighbourhood \(V\) of \(z_0\) there exists a Hölder continuous peak function peaking at \(z_0\) and extending holomorphically to \(\overline\Omega\setminus V\); consequently, \(\Omega\) is complete in a neighbourhood of \(z_0\) in the Kobayashi, Bergman and Carathéodory metrics.