Reproducing kernel estimates, bounded projections and duality on large weighted Bergman spaces (Q253792)

Let \(\mathbb{D}=\{z\in\mathbb{C}: |z|<1\}\) be the open unit disk in the complex plane, and let \(dA(z)=\pi^{-1}dx\,dy\) be the normalized area measure in \(\mathbb{D}\). A weight is a positive integrable function on \(\mathbb{D}\). The weight \(\omega\) is said to be radial if it depends only on \(|z|\), rather than \(z\) itself. For \(0<p<1\), the weighted Bergman space \(A^p(\omega)\) consists of the holomorphic functions in the open unit disk for which \[ \| f\|_{A^p(\omega)}=\left(\int_{\mathbb{D}}|f(z)|^p\omega(z)dA(z)\right)^{1/p} \] is finite. The standard Bergman space is the space defined by using the standard weight \(\omega(z)=(\alpha+1)(1-|z|^2)^\alpha\) where \(\alpha\) is a positive number. There has been a lot of interest to study non-radial weights; including both rapidly decreasing weights as well as rapidly increasing weights. The reader may consult [\textit{J. Á. Peláez} and \textit{J. Rättyä}, Mem. Am. Math. Soc. 1066, iii-vi, 122 p. (2014; Zbl 1308.30001)] for a review of recent results on rapidly increasing weights. It is rather well-known that non-radial weights behave strange; for instance, there is no explicit description of the reproducing kernels in this setting; and it is not known whether the polynomials are dense in the corresponding weighted Bergman spaces or not; the same applies to the boundedness of the corresponding Bergman projection if \(p\neq 2\). These questions motivate people to tackle non-radial weights. In the paper under review, the authors consider a large class of rapidly decreasing weights \(\omega\) satisfying certain conditions. The important point with this class of weights is that, for each \(z\in \mathbb{D}\), the point evaluation functionals are continuous on \(A^p(\omega)\), so that the space \(A^2(\omega)\) is a reproducing kernel Hilbert space. This means that there exists a function \(K_z\in A^2(\omega)\) with the property \[ f(z)=\langle f, K_z\rangle_\omega = \int_{\mathbb{D}}f(\zeta)\overline {K_z(\zeta)}\omega(\zeta)dA(\zeta),\qquad f\in A^2(\omega). \] The first main result of the paper (Theorem 4.1) claims that the Bergman projection \(P_\omega\) defined by \[ P_\omega f(z)=\int_{\mathbb{D}}f(\zeta)\overline{K_z(\zeta)}\omega(\zeta)dA(\zeta) \] is a bounded operator from \(L^ p(\omega^{p/2}) := L^ p(\mathbb{D}, \omega^{p/2}dA)\) to \(A^p(\omega^{p/2})\) for \(1\leq p <\infty\). The proof uses some clever estimates for the reproducing kernel \(K_z(\zeta)\) (see Theorem 3.1). It is also proved that for \(1<p<\infty\) the dual of \(A^p(\omega^{p/2})\) can be identified with \(A^q(\omega^{q/2})\) where \(q\) is the conjugate exponent of \(p\), that is, \(q=p/(p-1)\).