A proof of Saitoh's conjecture for conjugate Hardy \(H^2\) kernels (Q2302625)

Let \(D\) be a planar, regular region with \(n\) boundary components which are analytic Jordan curves. By \(H_2^{(c)}(D)\) denote the analytic Hardy class on \(D\), i.e., the class of all analytic functions \(f\) on \(D\) such that the subharmonic function \(|f(z)|^2\) has a harmonic majorant \(U(z)\) satisfying \(|f(z)|^2\leq U(z)\) for \(z\in D\). Let \(\hat R_t(z,\bar w)\) be the conjugate Hardy \(H^2\) kernel on \(D\), i.e., the reproducing kernel such that \[ f(w)=\frac {1}{2\pi}\int_{\partial D}f(z)\overline{\hat R_t(z,\bar w)}\left(\frac {\partial G(z,t)}{\partial \nu_z}\right)^{-1}d|z| \] holds for any function \(f\in H^{(c)}_2(D)\) such that \[ \int_{\partial D}|f(z)|^2\left(\frac {\partial G(z,t)}{\partial \nu_z}\right)^{-1}d|z|<\infty, \] where \(G(z,t)\) is the Green function on \(D\), \(f(z)\) is Fatou's nontangential boundary value and \(\nu_z\) is the outer normal unit vector. The aim of this paper is to prove the following conjecture of Saitoh: if \(n>1\), then \(\hat R_z(z,\bar z)>\pi B(z,\bar z)\), where \(B\) is the Bergman kernel on \(D\).