Abstract
We study big Hankel operators \(H_f^\nu :A^p_\omega \rightarrow L^q_\nu \) generated by radial Bekollé–Bonami weights \(\nu \), when \(1<p\le q<\infty \). Here the radial weight \(\omega \) is assumed to satisfy a two-sided doubling condition, and \(A^p_\omega \) denotes the corresponding weighted Bergman space. A characterization for simultaneous boundedness of \(H_f^\nu \) and \(H_{{\overline{f}}}^\nu \) is provided in terms of a general weighted mean oscillation. Compared to the case of standard weights that was recently obtained by Pau et al. (Indiana Univ Math J 65(5):1639–1673, 2016), the respective spaces depend on the weights \(\omega \) and \(\nu \) in an essentially stronger sense. This makes our analysis deviate from the blueprint of this more classical setting. As a consequence of our main result, we also study the case of anti-analytic symbols.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
1 Introduction and main results
Let \({\mathcal {H}}({\mathbb {D}})\) denote the space of analytic functions in the unit disc \({\mathbb {D}}=\{z\in {\mathbb {C}}:|z|<1\}\). A function \(\omega :{\mathbb {D}}\rightarrow [0,\infty )\), integrable over the unit disc \({\mathbb {D}}\), is called a weight. It is radial if \(\omega (z) = \omega (|z|)\) for all \(z\in {\mathbb {D}}\). For \(0<p<\infty \) and a weight \(\omega \), the Lebesgue space \(L^p_\omega \) consists of (equivalence classes of) complex-valued measurable functions f in \({\mathbb {D}}\) such that
where \(dA(z) = dx\,dy/\pi \) denotes the normalized Lebesgue area measure on \({\mathbb {D}}\). The weighted Bergman space \(A^p_\omega \) is the space of analytic functions in \(L^p_\omega \). As usual, \(A^p_\alpha \) denotes the weighted Bergman space induced by the standard radial weight \((\alpha +1)(1-|z|^2)^\alpha \). If \(\nu \) is a radial weight then \(A^2_\nu \) is a closed subspace of \(L^2_\nu \), and the orthogonal projection from \(L^2_\nu \) to \(A^2_\nu \) is given by
where \(B^\nu _z\) are the reproducing kernels of \(A^2_\nu \); \(f(z)=\langle f, B^\nu _z\rangle _{A^2_\nu }\) for all \(z\in {\mathbb {D}}\) and \(f\in A^2_\nu \).
The study of the boundedness of weighted Bergman projections on \(L^p\)-spaces is a compelling topic that has attracted a considerable amount of attention during the last decades. A well known result due to Bekollé and Bonami [4, 5] describes the weights \(\omega \) such that the Bergman projection \(P_\eta \), induced by the standard weight \((\eta +1)(1-|z|^2)^\eta \), is bounded on \(L^q_\omega \) for \(1<q<\infty \). We denote this class of weights by \(B_q(\eta )\), and write \(B_q=\cup _{\eta >-1}B_q(\eta )\) for short. In the case of a standard weight, the Bergman reproducing kernels are given by the neat formula \((1-{\overline{z}}\zeta )^{-(2+\eta )}\). However, for a general radial weight \(\nu \) the Bergman reproducing kernels \(B^\nu _z\) may have zeros [18] and such explicit formulas for the kernels do not necessarily exist. This is one of the main obstacles in dealing with \(P_\nu \) [9, 16]. Nonetheless, we shall prove in Proposition 6 below that if \(\nu \in B_q\) is radial, then \(P_\nu :L^q_\nu \rightarrow L^q_\nu \) is bounded for each \(1<q<\infty \). The proof of this relies on accurate estimates for the integral means of \(B^z_\nu \) recently obtained in [16, Theorem 1], and the result itself plays an important role in the proof of the main discovery of this paper.
All the above makes the class of radial weights in \(B_q\) an appropriate framework for the study of the big Hankel operator
on weighted Bergman spaces. For an analytic function f, the Hankel operator \(H^\beta _{{\overline{f}}}\), induced by a standard projection, has been widely studied on Bergman spaces since the pioneering work of Axler [3], which was later extended in [1]. In the case of a rapidly decreasing weight \(\nu \) and \(f\in {\mathcal {H}}({\mathbb {D}})\), Galanopoulos and Pau [10] did an extensive research on \(H^\nu _{{\overline{f}}}\) on \(A^2_\nu \); see [2] for further results. For general symbols, Zhu [21] was the first to build up a bridge between Hankel operators and the mean oscillation of the symbols in the Bergman metric, and this idea has been further developed in several contexts [6,7,8, 22]; see [23] and the references therein for further information on the theory of Hankel operators. More recently, Pau et al. [12] described the complex valued symbols f such that the Hankel operators \(H_f^\beta \) and \(H^\beta _{{\overline{f}}}\) are simultaneously bounded from \(A^p_\alpha \) to \(L^q_\beta \), provided \(1<p\leqslant q<\infty \). Our primary aim is to extend this last-mentioned result to the context of radial \(B_q\)-weights. To do this, some definitions are needed. For a radial weight \(\omega \), we assume throughout the paper that \({\widehat{\omega }}(z)=\int _{|z|}^1 \omega (s)\,ds>0\) for all \(z \in {\mathbb {D}}\), for otherwise the Bergman space \(A^p_\omega \) would contain all analytic functions in \({\mathbb {D}}\). A radial weight \(\omega \) belongs to the class \(\widehat{{\mathcal {D}}}\) if there exists a constant \(C=C(\omega )>1\) such that \({\widehat{\omega }}(r)\leqslant C{\widehat{\omega }}(\frac{1+r}{2})\) for all \(0\leqslant r<1\). Moreover, if there exist \(K=K(\omega )>1\) and \(C=C(\omega )>1\) such that
then \(\omega \in {\check{{\mathcal {D}}}}\). We write \({\mathcal {D}}=\widehat{{\mathcal {D}}}\cap {\check{{\mathcal {D}}}}\) for short. For basic properties of these classes of weights and more, see [13, 14] and the references therein. Let \(\beta (z,\zeta )\) denote the hyperbolic distance between \(z,\zeta \in {\mathbb {D}}\), \(\Delta (z,r)\) the hyperbolic disc of center z and radius \(r>0\), and S(z) the Carleson square associated to z. For \(0<p,q<\infty \) and radial weights \(\omega ,\nu \), define
Further, for \(f\in L^1_{\nu ,{{{\mathrm{loc}}}}}\), write \({\widehat{f}}_{r,\nu }(z)=\frac{\int _{\Delta (z,r)}f(\zeta )\nu (\zeta )\,dA(\zeta )}{\nu (\Delta (z,r))}\) and
for all \(z\in {\mathbb {D}}\). It is worth noticing that for prefixed \(r>0\), the quantity \(\nu (\Delta (z,r))\) may equal to zero for some z arbitrarily close to the boundary if \(\nu \in \widehat{{\mathcal {D}}}\). However, if \(\nu \in {\mathcal {D}}\), then there exists \(r_0=r_0(\nu )>0\) such that \(\nu (\Delta (z,r))\asymp \nu (S(z))>0\) for all \(z\in {\mathbb {D}}\) if \(r\geqslant r_0\). The space \(\mathord {\mathrm{BMO}}(\Delta )_{\omega ,\nu ,p,q,r}\) consists of \(f\in L^q_{\nu ,{\mathrm{loc}}}\) such that
We will show that if \(\nu \in {\mathcal {D}}\), then \(\mathord {\mathrm{BMO}}(\Delta )_{\omega ,\nu ,p,q,r}\) does not depend on r for \(r\geqslant r_0\). In this case, we simply write \(\mathord {\mathrm{BMO}}(\Delta )_{\omega ,\nu ,p,q}\). The main result of this study reads as follows and it will be proved in Sect. 5.
Theorem 1
Let \(1<p\leqslant q<\infty \), \(\omega \in {\mathcal {D}}\), \(\nu \in B_q\) a radial weight and \(f\in L^q_\nu \). Then \(H_f^\nu ,H_{{\overline{f}}}^\nu :A^p_\omega \rightarrow L^q_\nu \) are bounded if and only if \(f\in \mathord {\mathrm{BMO}}(\Delta )_{\omega ,\nu ,p,q}\).
The approach employed in the proof of this result follows the guideline of [12, Thorem 4.1], however a good number of steps cannot be adapted straightforwardly and need substantial modifications. In Sect. 2 we prove some results concerning the classes of weights involved in this work and the boundedness of the Bergman projection \(P_\nu \), while in Sect. 3 we introduce and study two spaces of functions on \({\mathbb {D}}\). One of them is denoted as \(\mathord {\mathrm{BA}}(\Delta )_{\omega ,\nu ,p,q}\), and although its initial definition depends on r, it can be described in terms of an appropriate Berezin transform or simply observing that \(f\in \mathord {\mathrm{BA}}(\Delta )_{\omega ,\nu ,p,q}\) if and only the multiplication operator \(M_f(g)=fg\) is bounded from \(A^p_\omega \) to \(L^q_\nu \) [15]. The second one, denoted by \(\mathord {\mathrm{BO}}(\Delta )_{\omega ,\nu ,p,q}\), consists of continuous functions on \({\mathbb {D}}\) such that the oscillation in the Bergman metric is bounded in terms of the auxiliary function \(\gamma \) given in (1.2). We show that \(f\in \mathord {\mathrm{BO}}(\Delta )_{\omega ,\nu ,p,q}\) if and only if
where
for an appropriate (small) constant \(\tau =\tau (\omega ,\nu )>0\). If \(\omega \) and \(\nu \) are standard weights, then \(\Gamma _\tau \) does not coincide with the function playing the corresponding role in [12, Lemma 3.2]; in the latter case the function is simpler in many aspects and does not depend on the additional parameter \(\tau \). Then, we show that
In order to prove this decomposition, due to the complex nature of \( \Gamma _\tau (z,\zeta )\), we are forced to split \({\mathbb {D}}\) into several regions depending on z, establish sharp estimates for \(\Gamma _\tau (z,\zeta )\) in each region and then apply properties of weights in \({\mathcal {D}}\). The identity (1.3) together with a description of the boundedness of the integral operator
and its maximal counterpart from \(A^p_\omega \) to \(L^q_\nu \), see Sect. 4 below, are key tools to prove that each \(f\in \mathord {\mathrm{BMO}}(\Delta )_{\omega ,\nu ,p,q}\) induces a bounded Hankel operator from \(A^p_\omega \) to \(L^q_\nu \). Theorem 1 will be proved in Sect. 5.
Finally, in Sect. 6, as a byproduct of Theorem 1, we describe the analytic symbols such that \(H_{{\overline{f}}}:A^p_\omega \rightarrow L^q_\nu \) is bounded. The space \({\mathcal {B}}_{d\gamma }\) consists of \(f\in {\mathcal {H}}({\mathbb {D}})\) such that
where \(\gamma \) is given by (1.2).
Theorem 2
Let \(1<p\leqslant q<\infty \), \(\omega \in {\mathcal {D}}\), \(\nu \in B_q\) a radial weight and \(f\in A^1_\nu \). Then \(H^{\nu }_{{\overline{f}}}:A^p_\omega \rightarrow L^q_\nu \) is bounded if and only if \(f\in {\mathcal {B}}_{d\gamma }\).
Throughout the paper \(\frac{1}{p}+\frac{1}{p'}=1\) for \(1<p<\infty \). Further, the letter \(C=C(\cdot )\) will denote an absolute constant whose value depends on the parameters indicated in the parenthesis, and may change from one occurrence to another. We will use the notation \(a\lesssim b\) if there exists a constant \(C=C(\cdot )>0\) such that \(a\leqslant Cb\), and \(a\gtrsim b\) is understood in an analogous manner. In particular, if \(a\lesssim b\) and \(a\gtrsim b\), then we will write \(a\asymp b\).
2 Auxiliary results
For a radial weight \(\omega \), \(K>1\) and \(0\leqslant r<1\), let \(\rho _n^r=\rho _n^r(\omega ,K)\) be defined by \({\widehat{\omega }}(\rho ^r_n)={\widehat{\omega }}(r)K^{-n}\) for all \(n\in {\mathbb {N}}\cup \{0\}\). Write \(\rho _n=\rho ^0_n\) for short. For \(x\ge 1\), write \(\omega _x=\int _0^1r^x\omega (r)\,dr\). Denote
Throughout the proofs we will repeatedly use several basic properties of weights in the classes \(\widehat{{\mathcal {D}}}\) and \({\check{{\mathcal {D}}}}\). For a proof of the first lemma, see [13, Lemma 2.1]; the second one can be proved by similar arguments.
Lemma A
Let \(\omega \) be a radial weight. Then the following statements are equivalent:
-
(i)
\(\omega \in \widehat{{\mathcal {D}}}\);
-
(ii)
There exist \(C=C(\omega )>0\) and \(\beta =\beta (\omega )>0\) such that
$$\begin{aligned} \begin{aligned} {\widehat{\omega }}(r)\leqslant C\left( \frac{1-r}{1-t}\right) ^{\beta }{\widehat{\omega }}(t),\quad 0\leqslant r\leqslant t<1; \end{aligned} \end{aligned}$$ -
(iii)
There exist \(C=C(\omega )>0\) and \(\gamma =\gamma (\omega )>0\) such that
$$\begin{aligned} \begin{aligned} \int _0^t\left( \frac{1-t}{1-s}\right) ^\gamma \omega (s)\,ds \leqslant C{\widehat{\omega }}(t),\quad 0\leqslant t<1; \end{aligned} \end{aligned}$$ -
(iv)
There exists \(\lambda =\lambda (\omega )\geqslant 0\) such that
$$\begin{aligned} \int _{\mathbb {D}}\frac{dA(z)}{|1-{\overline{\zeta }}z|^{\lambda +1}} \asymp \frac{{\widehat{\omega }}(\zeta )}{(1-|\zeta |)^\lambda },\quad \zeta \in {\mathbb {D}}; \end{aligned}$$ -
(v)
There exist \(K=K(\omega )>1\) and \(C=C(\omega ,K)>1\) such that \(1-\rho _n^r(\omega ,K)\geqslant C(1-\rho ^r_{n+1}(\omega ,K))\) for some (equivalently for all) \(0\leqslant r<1\) and for all \(n\in {\mathbb {N}}\cup \{0\}\).
Lemma B
Let \(\omega \) be a radial weight. Then \(\omega \in {\check{{\mathcal {D}}}}\) if and only if there exist \(C=C(\omega )>0\) and \(\alpha =\alpha (\omega )>0\) such that
Two more results on weights of more general nature than Lemmas A and B are also needed.
Lemma 3
Let \(\omega \) be a radial weight. Then the following statements are equivalent:
-
(i)
\(\omega \in \widehat{{\mathcal {D}}}\);
-
(ii)
For some (equivalently for each) \(\nu \in {\mathcal {D}}\) there exists a constant \(C=C(\omega ,\nu )>0\) such that
$$\begin{aligned} \int _r^1\frac{\omega (t){\widehat{\nu }}(t)}{{\widehat{\omega }}(t)}\,dt\leqslant C{\widehat{\nu }}(r),\quad 0\leqslant r<1; \end{aligned}$$ -
(iii)
For some (equivalently for each) \(\nu \in {\mathcal {D}}\) there exists a constant \(C=C(\omega ,\nu )>0\) such that
$$\begin{aligned} \int _0^r\frac{\omega (t)}{{\widehat{\omega }}(t){\widehat{\nu }}(t)}\,dt \leqslant \frac{C}{{\widehat{\nu }}(r)},\quad 0\leqslant r<1. \end{aligned}$$
Proof
Let first \(\omega \in \widehat{{\mathcal {D}}}\) and \(0\leqslant r<1\), and consider \(\rho _n^r=\rho _n^r(\omega ,K)\) for all \(n\in {\mathbb {N}}\cup \{0\}\). Then Lemma B, applied to \(\nu \in {\mathcal {D}}\subset {\check{{\mathcal {D}}}}\), and Lemma A(v), applied to \(\omega \), imply
for a suitably fixed \(K=K(\omega )>1\), and thus (ii) is satisfied. Conversely, (ii) implies
and since \(\nu \in {\mathcal {D}}\subset \widehat{{\mathcal {D}}}\) by the hypothesis, we deduce \({\widehat{\omega }}(r)\lesssim {\widehat{\omega }}\left( \frac{1+r}{2}\right) \) for all \(0\leqslant r<1\). Thus \(\omega \in \widehat{{\mathcal {D}}}\).
Let \(\omega \in \widehat{{\mathcal {D}}}\) and \(0\leqslant r<1\), and consider \(\rho _n=\rho _n(\omega ,K)\) for all \(n\in {\mathbb {N}}\cup \{0\}\). Fix \(k=k(\omega ,K)\in {\mathbb {N}}\cup \{0\}\) such that \(\rho _k\leqslant r<\rho _{k+1}\). Then
where, by Lemma B, applied to \(\nu \in {\mathcal {D}}\subset {\check{{\mathcal {D}}}}\), and Lemma A(v), applied to \(\omega \),
for some \(\alpha =\alpha (\nu )>0\) and for a suitably fixed \(K=K(\omega )>1\), and similarly,
The statement (iii) follows from these estimates.
Conversely, by replacing r by \(\frac{1+r}{2}\) in (iii) we obtain
and since \(\nu \in {\mathcal {D}}\subset \widehat{{\mathcal {D}}}\) by the hypothesis, we deduce \({\widehat{\omega }}(r)\lesssim {\widehat{\omega }}\left( \frac{1+r}{2}\right) \) for all \(0\leqslant r<1\). Thus \(\omega \in \widehat{{\mathcal {D}}}\). \(\square \)
Lemma 4
Let \(\omega ,\nu \in {\mathcal {D}}\), and denote \(\sigma =\sigma _{\omega ,\nu }=\omega {\widehat{\nu }}/{\widehat{\omega }}\). Then \({\widehat{\sigma }}\asymp {\widehat{\nu }}\) on [0, 1), and hence \(\sigma \in {\mathcal {D}}\).
Proof
Lemma 3(ii) implies \({\widehat{\sigma }}\lesssim {\widehat{\nu }}\) on [0, 1). The argument used to prove (i) \(\Rightarrow \) (ii) in the said lemma shows that \({\widehat{\sigma }}\gtrsim {\widehat{\nu }}\) on [0, 1), provided \(\omega \in {\check{{\mathcal {D}}}}\) and \(\nu \in {\mathcal {D}}\). Thus \({\widehat{\sigma }}\asymp {\widehat{\nu }}\), and \(\sigma \in {\mathcal {D}}\) by Lemmas A(ii) and B. \(\square \)
The next lemma says that in many instances concerning \(A^p\)-norms we may replace \(\omega \) by \({{\widetilde{\omega }}}={\widehat{\omega }}/(1-|\cdot |)\) if \(\omega \in {\mathcal {D}}\). This result has the flavor of radial Carleson measures and indeed can be established by appealing to the characterization of Carleson measures for the Bergman space \(A^p_\omega \) induced by \(\omega \in \widehat{{\mathcal {D}}}\) given in [15]. That approach requires showing that the involved weights belong to \(\widehat{{\mathcal {D}}}\), which is of course the case, and thus involves more calculations than the simple proof given below.
Lemma 5
Let \(0<p<\infty \), \(\omega \in {\mathcal {D}}\) and \(-\alpha<\kappa <\infty \), where \(\alpha =\alpha (\omega )>0\) is that of Lemma B. Then
Proof
The function \((1-|\cdot |)^{\kappa -1}{\widehat{\omega }}\) is a weight for each \(\kappa >-\alpha \) by Lemma B. Therefore an integration by parts shows that (2.1) is equivalent to
Another integration by parts reveals that both integrals from r to 1 above are bounded by a constant times \({\widehat{\omega }}(r)(1-r)^\kappa \). But Lemma A(ii) implies
and
by Lemma 4. The assertion follows. \(\square \)
The last auxiliary results shows that each radial weight in the Bekollé–Bonami class \(B_q\) belongs to \({\mathcal {D}}\), and for each \(\nu \in {\mathcal {D}}\) the maximal Bergman projection
is bounded on \(L^q_\nu \). It is worth noticing that obviously \({\mathcal {D}}\not \subset \cup _{1<q<\infty }B_q\) because \(\nu \in {\mathcal {D}}\) may vanish on a set of positive measure.
Proposition 6
Let \(1<q<\infty \) and \(\nu \in B_q\) a radial weight. Then \(\nu \in {\mathcal {D}}\). Moreover, \(P^+_\nu :L^q_\nu \rightarrow L^q_\nu \) is bounded for all \(\nu \in {\mathcal {D}}\).
Proof
If \(\nu \in B_q\), then by [5] there exists \(\beta >-1\) such that
Since \(\nu \) is radial, this condition easily implies \(\nu \in {\mathcal {D}}\).
Let now \(1<q<\infty \) and \(\nu \in {\mathcal {D}}\), and define \(h={\widehat{\nu }}^{-\frac{1}{qq'}}\). Then \(\int _t^1h(s)^{q'}\nu (s)\,ds\asymp {\widehat{\nu }}(t)^{\frac{1}{q'}}\) for all \(0\leqslant t<1\). Therefore Lemma B yields
Moreover, by symmetry, (2.2) with \(q'\) in place of q is satisfied. Since \(\nu \in \widehat{{\mathcal {D}}}\), we may apply [16, Theorem 1] and (2.2) to deduce
and
It follows from Schur’s test [23, Theorem 3.6] that the maximal Bergman projection \(P^+_\nu :L^p_\nu \rightarrow L^p_\nu \) is bounded. \(\square \)
3 Some spaces of functions
Recall that
and \({\widehat{f}}_{r,\nu }(z)=\frac{\int _{\Delta (z,r)}f(\zeta )\nu (\zeta )\,dA(\zeta )}{\nu (\Delta (z,r))}\) for \(f\in L^1_{\nu ,{\mathrm{loc}}}\), and
for all \(z\in {\mathbb {D}}\). If \(\nu \in {\check{{\mathcal {D}}}}\), then by the definition there exist \(K=K(\nu )>1\) and \(C=C(\nu )>1\) such that
It follows that there exists \(r_\nu \in (0,\infty )\) such that \(\nu (\Delta (z,r))>0\) for all \(z\in {\mathbb {D}}\) if \(r\geqslant r_\nu \).
The space \(\mathord {\mathrm{BMO}}(\Delta )=\mathord {\mathrm{BMO}}(\Delta )_{\omega ,\nu ,p,q,r}\) consists of \(f\in L^q_{\nu ,{\mathrm{loc}}}\) such that
The following lemma is easy to establish; see [12, Lemma 3.1] for a similar result.
Lemma 7
Let \(1\leqslant p,q<\infty \), \(\omega \) a radial weight, \(\nu \in {\check{{\mathcal {D}}}}\) and \(r_\nu \leqslant r<\infty \). Then
and therefore \(f\in L^q_\nu \) belongs to \(\mathord {\mathrm{BMO}}(\Delta )\) if and only if for each \(z\in {\mathbb {D}}\) there exists \(\lambda _z\in {\mathbb {C}}\) such that
For \(0<p,q<\infty \), \(0\leqslant \tau <\infty \) and radial weights \(\omega ,\nu \), let
with the understanding that \({\widehat{\omega }}(t)={\widehat{\omega }}(0)\) when \(t<0\). The following lemma explains the behavior of \(\Gamma _\tau \) near the diagonal.
Lemma 8
Let \(0<p,q,r<\infty \), \(0\leqslant \tau <\infty \) and \(\omega ,\nu \in \widehat{{\mathcal {D}}}\). Then
Proof
Clearly
and hence there exist \(0<m_r<1<M_r<\infty \) such that
Since \(\omega \in \widehat{{\mathcal {D}}}\) by the hypothesis, and \({\widehat{\omega }}(t)={\widehat{\omega }}(0)\) for \(t<0\), Lemma A(ii) implies
and
for some \(C=C(\omega )>0\) and \(\beta =\beta (\omega )>0\). Further, \({\widehat{\nu }}(z)\asymp {\widehat{\nu }}(\zeta )\) and \({\widehat{\omega }}(z)\asymp {\widehat{\omega }}(\zeta )\) if \(\beta (z,\zeta )\leqslant r\) by Lemma A(ii). The assertion follows from these estimates. \(\square \)
For continuous \(f:{\mathbb {D}}\rightarrow {\mathbb {C}}\) and \(0<r<\infty \), define
and let \(\mathord {\mathrm{BO}}(\Delta )=\mathord {\mathrm{BO}}(\Delta )_{\omega ,\nu ,p,q,r}\) denote the space of those f such that
Lemma 9 shows that the space \(\mathord {\mathrm{BO}}(\Delta )=\mathord {\mathrm{BO}}(\Delta )_{\omega ,\nu ,p,q,r}\) is independent of r.
Lemma 9
Let \(0<p\leqslant q<\infty \), \(0<r<\infty \), \(\omega ,\nu \in {\check{{\mathcal {D}}}}\) and \(\gamma (z)=\gamma _{\omega ,\nu ,p,q}(z)=\frac{{\widehat{\nu }}(z)^\frac{1}{q}(1-|z|)^{\frac{1}{q}}}{{\widehat{\omega }}(z)^\frac{1}{p}(1-|z|)^{\frac{1}{p}}}\). Let \(f:{\mathbb {D}}\rightarrow {\mathbb {C}}\) be continuous, and \(0<\tau <\min \{q\alpha (\omega )/p, \alpha (\nu )\}\), where \(\alpha (\nu )\) and \(\alpha (\omega )\) are those from Lemma B. Then the following statements are equivalent:
-
(i)
\(f\in \mathord {\mathrm{BO}}(\Delta )\);
-
(ii)
\(|f(z)-f(\zeta )|\lesssim \Vert f\Vert _{\mathord {\mathrm{BO}}(\Delta )}(1+\beta (z,\zeta ))\Gamma _\tau (z,\zeta )\) for all \(z,\zeta \in {\mathbb {D}}\).
Proof
Lemma 8 shows that (ii) implies (i). For the converse, assume (i), that is,
The estimate (ii) for \(\beta (z,\zeta )\leqslant r\) then follows from Lemma 8. If \(\beta (z,\zeta )>r\), let \(N=\max \{n\in {\mathbb {N}}:n\leqslant \beta (z,\zeta )/r+1\}\), and pick up \(N+1\) points from the geodesic joining z and \(\zeta \) such that \(\beta (z_j,z_{j+1})=\beta (z,\zeta )/N<r\) for all \(j=0,\ldots ,N-1\). Then, as the hyperbolic distance is additive along geodesics, (3.3) yields
Next, observe that
see the proof of [12, Lemma 3.2] for details. This together with the inequality \(\frac{1}{p}-\frac{1}{q}\geqslant 0\) gives
The election of \(\tau \) together with Lemma B shows that the functions \({\widehat{\omega }}(r)/(1-r)^{\frac{p\tau }{q}}\) and \({\widehat{\nu }}(r)/(1-r)^\tau \) are essentially decreasing on [0, 1). Therefore the inequalities (3.4) and \(|z_j|\leqslant \max \{|z|,|\zeta |\}\) yield
Therefore (ii) is satisfied. \(\square \)
For \(0<p,q<\infty \), \(0<r<\infty \) and radial weights \(\omega ,\nu \), the space \(\mathord {\mathrm{BA}}(\Delta )=\mathord {\mathrm{BA}}(\Delta )_{\omega ,\nu ,p,q,r}\) consists of \(f\in L^q_{\nu ,{\mathrm{loc}}}\) such that
For \(c,\sigma \in {\mathbb {R}}\) and a radial weight \(\nu \), the general Berezin transform of \(\varphi \in L^1_{\nu (1-|\cdot |)^\sigma }\) is defined by
The next lemma shows, in particular, that the space \(\mathord {\mathrm{BA}}(\Delta )=\mathord {\mathrm{BA}}(\Delta )_{\omega ,\nu ,p,q,r}\) is independent of r as long as r is sufficiently large depending on \(\nu \in {\mathcal {D}}\).
Lemma 10
Let \(0<p\leqslant q<\infty \), \(0<r<\infty \) and \(\omega ,\nu \in {\mathcal {D}}\), \(\gamma (z)=\gamma _{\omega ,\nu ,p,q}(z)=\frac{{\widehat{\nu }}(z)^\frac{1}{q}(1-|z|)^{\frac{1}{q}}}{{\widehat{\omega }}(z)^\frac{1}{p}(1-|z|)^{\frac{1}{p}}}\). If \(f\in L^q_\nu \), then the following statements are equivalent:
-
(i)
There exists \(r_0=r_0(\nu )>0\) such that \(f\in \mathord {\mathrm{BA}}(\Delta )=\mathord {\mathrm{BA}}(\Delta )_{\omega ,\nu ,p,q,r}\) for all \(r\geqslant r_0\);
-
(ii)
\(|f|^q\nu dA\) is a q-Carleson measure for \(A^p_\omega \);
-
(iii)
The identity operator \(Id:A^p_\omega \rightarrow L^q_{|f|^q\nu }\) is bounded;
-
(iv)
The multiplication operator \(M_f(g)=fg\) is bounded from \(A^p_\omega \) to \(L^q_\nu \);
-
(v)
\(\sup _{z\in {\mathbb {D}}}\gamma (z)^{q}B(|f|^q)(z)<\infty \) for all \(\sigma >1-\frac{q}{p}(1+\alpha )\) and \(c>\max \{-1-\sigma , \frac{q}{p}(1+\beta )-2\}\), where \(\alpha =\alpha (\omega )>0\) and \(\beta =\beta (\omega )>0\) are those of Lemmas A(ii) and B.
Proof
It is obvious that (ii), (iii) and (iv) are equivalent by the definitions. Assume (ii) is satisfied, that is,
For \(z\in {\mathbb {D}}\), let \(g_z(\zeta )=\left( \frac{1-|z|}{1-{\overline{z}}\zeta }\right) ^{\frac{\lambda +1}{p}}\), where \(\lambda =\lambda (\omega )>0\) is that of Lemma A(iv). Further, since \(\nu \in {\check{{\mathcal {D}}}}\) by the hypothesis, there exists \(r_\nu \in (0,\infty )\) such that \(\nu (\Delta (z,r))>0\) for all \(r\geqslant r_\nu \). For \(g=g_z\) and \(r\geqslant r_\nu \), (3.5) yields
But since \(\nu \in {\mathcal {D}}\), applications of Lemmas A(ii) and B show that
if r is sufficiently large. It follows that \(f\in \mathord {\mathrm{BA}}(\Delta )=\mathord {\mathrm{BA}}(\Delta )_{\omega ,\nu ,p,q,r}\) for all such r, and thus (i) is satisfied.
Conversely, if (i) is satisfied, then by using (3.6) we deduce
Therefore \(|f|^q\nu dA\) is a q-Carleson measure for \(A^p_\omega \) by [17, Theorem 3].
By integrating only over \(\Delta (z,r)\) in (v) and using (3.6) we obtain (i) from (v). To complete the proof of the lemma, it remains to show the converse implication. To do this, pick up a sequence \(\{a_j\}\) and \(0<r<\infty \) in accordance with [23, Lemma 4.7], and observe that \({\widehat{\omega }}\) is essentially constant in each hyperbolically bounded region by Lemma A(ii). Then by using (3.6), the hypothesis (i), the election of c and \(\sigma \), and finally Lemmas A(ii) and B, we deduce
and thus (v) is satisfied. \(\square \)
With these preparations we are ready to show that \(\mathord {\mathrm{BMO}}(\Delta )=\mathord {\mathrm{BA}}(\Delta )+\mathord {\mathrm{BO}}(\Delta )\). This follows from the case (ii) of the next theorem.
Theorem 11
Let \(1\leqslant p\leqslant q<\infty \), \(\omega ,\nu \in {\mathcal {D}}\), \(\gamma (z)=\gamma _{\omega ,\nu ,p,q}(z)=\frac{{\widehat{\nu }}(z)^\frac{1}{q}(1 -|z|)^{\frac{1}{q}}}{{\widehat{\omega }}(z)^\frac{1}{p}(1-|z|)^{\frac{1}{p}}}\) and \(f\in L^q_\nu \). Further, let \(r\geqslant r_\nu \), \(\sigma >0\) and
where \(\beta (\omega ),\beta (\nu ),\gamma (\nu )>0\) are associated to \(\nu \) and \(\omega \) via Lemma A(ii), (iii). Then the following statements are equivalent:
-
(i)
There exists \(r_0=r_0(\nu )\geqslant r_\nu \) such that \(f\in \mathord {\mathrm{BMO}}(\Delta )=\mathord {\mathrm{BMO}}(\Delta )_{\omega ,\nu ,p,q,r}\) for all \(r\geqslant r_0\);
-
(ii)
\(f=f_1+f_2\), where \(f_1\in \mathord {\mathrm{BA}}(\Delta )\) and \(f_2={\widehat{f}}_{r,\nu }\in \mathord {\mathrm{BO}}(\Delta )\);
-
(iii)
\(\sup _{z\in {\mathbb {D}}}\left( B(|f-{\widehat{f}}_{r,\nu }(z)|^q)\gamma (z)^q\right) <\infty \);
-
(iv)
For each \(z\in {\mathbb {D}}\) there exists \(\lambda _z\in {\mathbb {C}}\) such that \(\sup _{z\in {\mathbb {D}}}\left( B(|f-\lambda _z|^q)\gamma (z)^q\right) <\infty \).
Proof
Obviously, (iii) implies (iv). Next assume (iv). The relation (3.6) shows that there exists \(r_0=r_0(\nu )>0\) such that
which together with Lemma 7 shows that (i) is satisfied.
Assume now (i), and let \(f_2={\widehat{f}}_{r,\nu }\). Since \(f\in L^q_\nu \), \(q\geqslant 1\) and \(r\geqslant r_\nu \), the function \(f_2\) is well defined and continuous. Since \(\omega ,\nu \in {\mathcal {D}}\) by the hypothesis, one may use Lemmas A(ii) and B together with the argument in [12, 1651–1652] with minor modifications to show that \(f_2={\widehat{f}}_{r,\nu }\in \mathord {\mathrm{BO}}(\Delta )\) and \(f_1=f-{\widehat{f}}_{r,\nu }\in \mathord {\mathrm{BA}}(\Delta )\). Thus (ii) is satisfied.
To complete the proof it suffices to show that (ii) implies (iii), so assume \(f=f_1+f_2\), where \(f_1\in \mathord {\mathrm{BA}}(\Delta )\) and \(f_2={\widehat{f}}_{r,\nu }\in \mathord {\mathrm{BO}}(\Delta )\). Since \({\widehat{f}}_{r,\nu }=\widehat{f_1}_{r,\nu }+\widehat{f_2}_{r,\nu }\), it suffices to prove the condition in (iii) for \(f_1\) and \(f_2\) separately. First observe that by Lemma A(iii) the constant function 1 satisfies
because \(c>\max \{\gamma (\nu ),\sigma \}-1\) by the hypothesis. This together with Hölder’s inequality and Lemma 10 yields
and thus (iii) for \(f_1\in \mathord {\mathrm{BA}}(\Delta )\) is satisfied.
To deal with \(f_2\in \mathord {\mathrm{BO}}(\Delta )\), pick up \(\tau \) satisfying the hypothesis of Lemma 9. Then
because \(\Gamma _\tau (\zeta ,u)\asymp \Gamma _\tau (z,\zeta )\) for all \(u\in \Delta (z,r)\) by Lemma A(ii); see the proof of Lemma 8 for similar estimates. Hence it suffices to show that
to obtain (iii) for \(f_2\in \mathord {\mathrm{BO}}(\Delta )\). The proof of (3.7) is involved and will be divided into four separate cases. Before dealing with each case, we observe that since \(\beta (z,\zeta )\) grows logarithmically, we may pick up \(0<\delta <\min \left\{ \sigma ,\frac{q}{p}\beta (\omega )+\beta (\nu )+\frac{\sigma }{2}\right\} \) and a constant \(C=C(\delta )>0\) such that
Case 1 If
then \(1-|z|\lesssim |1-z{\overline{\zeta }}|^2\) and
because of how \(\tau \) is chosen in Lemma 9. Therefore (3.8) together with Lemmas A(ii) and 3 (ii) yields
where the last estimate is an immediate consequence of the choices of c and \(\delta \).
Case 2 If
then \(|1-z{\overline{\zeta }}|\asymp 1-|z|^2\leqslant 1-|\zeta |^2\), which together the fact that \(\frac{{\widehat{\nu }}(t)}{(1-t)^\tau }\) and \(\frac{{\widehat{\omega }}(r)}{(1-r)^{\tau \frac{p}{q}}}\) are essentially decreasing on [0, 1) gives
Therefore (3.8) and Lemma A(iii) yield
Case 3 If
then \(|1-z{\overline{\zeta }}|\asymp 1-|z|^2\geqslant 1-|\zeta |^2\), which together the fact that \(\frac{{\widehat{\nu }}(t)}{(1-t)^\tau }\) and \(\frac{{\widehat{\omega }}(r)}{(1-r)^{\tau \frac{p}{q}}}\) are essentially decreasing on [0, 1) implies
Therefore (3.8) and Lemma 3(ii) imply
Case 4 If
then Lemma A(ii) gives
and hence
Therefore (3.8) and Lemmas A(iii) and 3 (ii) yield
Since \({\mathbb {D}}=\cup _{j=1}^4 D_j(z)\) for each \(z\in {\mathbb {D}}\), by combining the four cases we obtain (3.7). Thus (ii) implies (iii), and the proof is complete. \(\square \)
4 Boundedness of integral operators
In order to deal with the boundedness of Hankel operators, we need a technical result concerning certain integral operators. For \(f\in L^1_{b}\) and \(b,c\in {\mathbb {R}}\), define
and
In the analytic case the operator \(T_{b,c}\) can be interpreted as a fractional differentiation or integration depending on the parameters b and c [20]. The boundedness of these operator between \(L^p\) spaces induced by standard weights has been characterized in [19].
Lemma A(ii) shows that for \(\eta \in \widehat{{\mathcal {D}}}\) there exists a constant \(c_0=c_0(\sigma )>1\) such that hypotheses (i) and (ii) of the next lemma are satisfied for all \(c\geqslant c_0\).
Lemma 12
Let \(1<p\leqslant q<\infty \), \(b>-1\), \(c>1\) and \(\sigma ,\eta \in {\mathcal {D}}\) such that
-
(i)
\(\displaystyle \quad \int _r^1 \frac{(1-t)^{c-2}}{{\widehat{\eta }}(t)^{\frac{1}{q}}}\,dt\lesssim \frac{(1-r)^{c-1}}{{\widehat{\eta }}(r)^{\frac{1}{q}}},\quad 0\leqslant r<1;\)
-
(ii)
\(\displaystyle \quad \int _0^r \frac{\eta (t)}{(1-t)^{\frac{cq}{p}-1}{\widehat{\eta }}(t)^{\frac{1}{p'}}}\,dt\lesssim \frac{{\widehat{\eta }}(r)^{\frac{1}{p}}}{(1-r)^{\frac{cq}{p}-1}},\quad 0\leqslant r<1\).
Then the following statements are equivalent:
-
1.
\( S_{b,c}:A^p_\sigma \rightarrow L^q_\eta \) is bounded;
-
2.
\( T_{b,c}:A^p_\sigma \rightarrow L^q_\eta \) is bounded;
-
3.
\(\sup _{0<r<1} (1-r)^{2+b-c+\frac{1}{q}-\frac{1}{p}}\frac{{\widehat{\eta }} (r)^{\frac{1}{q}}}{{\widehat{\sigma }}(r)^{\frac{1}{p}}}<\infty \).
Proof
Obviously (1) implies (2). Assume now (2), and for each \(\zeta \in {\mathbb {D}}\) and \(N\in {\mathbb {N}}\), define \(f_{\zeta ,N}\in H^\infty \) by \( f_{\zeta ,N}(z)=\frac{z^N}{\sigma (S(\zeta ))^{\frac{1}{p}}}\left( \frac{1-|\zeta |^2}{1 -{\overline{\zeta }}z} \right) ^{2+b+N} \) for all \(z\in {\mathbb {D}}\). By differentiating the reproducing formula of \(A^2_b\) we obtain
where \(M_1=M_1(N,b)>0\) is a constant. Therefore
where \(M_2=M_2(b,c,N)>0\). Fix \(N>\max \left\{ \frac{\lambda (\eta )+1}{q} -c,\frac{\lambda (\sigma )+1}{p}-b-2\right\} \). Then Lemma A(iv) gives \(\Vert f_{\zeta ,N}\Vert _{L^p_\sigma }\asymp 1\) and
Therefore (2) yields
thus (3) holds.
Assume (3) holds and let \(h(\zeta )={\widehat{\sigma }}(\zeta )^{\frac{1}{pp'}}(1-|\zeta |^2)^{\frac{b}{p} +\left( \frac{1}{p}-\frac{1}{q}\right) \frac{1}{p'}}\) for all \(\zeta \in {\mathbb {D}}\). Then Hölder’s inequality yields
where
Lemma B together with the assumption (3) yields
since \(\eta \in {\mathcal {D}}\subset {\check{{\mathcal {D}}}}\) by the hypothesis. In a similar fashion, (3) together with the hypothesis (i) gives
and hence \(I_2(z)\lesssim {\widehat{\eta }}(z)^{-\frac{1}{q}}\) for all \(z\in {\mathbb {D}}\). This estimate and Minkowski’s integral inequality (Fubini’s theorem in the case \(q=p\)) now yield
where
Since
by the hypothesis (ii), and
we deduce
by the assumption (3). It follows that \(\Vert S_{b,c}(f)\Vert _{L^q_\eta }\lesssim \Vert f\Vert _{A^p_{{\widetilde{\sigma }}}}\). This finishes the proof because \(\Vert f\Vert _{A^p_{{\widetilde{\sigma }}}}\asymp \Vert f\Vert _{A^p_{{\sigma }}}\) for all \(f\in {\mathcal {H}}({\mathbb {D}})\) by Lemma 5 provided \(\sigma \in {\mathcal {D}}\). \(\square \)
5 Proof of Theorem 1
In order to prove the sufficiency part of Theorem 1 we shall use the next result which follows from the argument used in the proof of [12, Lemma 4.5].
Lemma 13
Let \(1<q<\infty \) and \(\nu ,\omega \) weights such that \(P_\omega : L^q_\nu \rightarrow L^q_\nu \) is bounded. Then
Proposition 14
Let \(1<p\leqslant q<\infty \), \(\nu \in B_q\) a radial weight and \(\omega \in {\mathcal {D}}\). If \(f\in \mathord {\mathrm{BO}}(\Delta )\), then \(H^\nu _f:A^p_\omega \rightarrow L^q_\nu \) is bounded.
Proof
By [5] there exists a constant \(s_0=s_0(\nu )>-1\) such that \(P_s:L^q_\nu \rightarrow L^q_\nu \) is bounded for each \(s>s_0\). Let \(0<\tau <\min \{q\alpha (\omega )/p, \alpha (\nu )\}\), where \(\alpha (\nu )\) and \(\alpha (\omega )\) are those from Lemma B. Then Lemmas 9 and 13 yield
Let \(s>\max \left\{ s_0,2\left( \beta (\omega )+\beta (\nu )+2\alpha (\nu )\right) \right\} \), \(\delta <\min \{\frac{\tau }{q},\frac{\alpha (\nu )}{q}\}\) and \(K>1\) to be fixed later. Then applying (3.8), we get
where
The quantities \(I_j(g)\), \(j=1,\ldots ,5\), will be estimated separately.
Case \({I_1(g)}\) By using the definition of \(\Omega _1(z)\), and the fact that \(\frac{{\widehat{\nu }}(x)}{(1-x)^\tau }\) is essentially decreasing on [0, 1) we deduce
Then the estimate
and Lemma 3(ii) yield
Case \({I_2(g)}\) The definition of \(\Omega _2(z)\) and the fact that \(\frac{{\widehat{\nu }}(x)}{(1-x)^\tau }\) is essentially decreasing imply
Therefore (5.2) and Lemmas A and B yield
Case \({I_3(g)}\) To deal with \(I_3(g)\), note first that now \(2K|1-{\overline{z}}\zeta |^2\leqslant (1-|\zeta |)\max \{1-|z|^2,1-|\zeta |^2\} \leqslant 2\left( \max \{1-|z|,1-|\zeta |\}\right) ^2\) for all \(\zeta \in \Omega _3(z,K)\). Hence \(\zeta \in \Delta (z,R)\) for some \(R=R(K)\in (0,\infty )\) if \(K\geqslant 1\) is sufficiently large. Fix such a K, and note that then \({\widehat{\nu }}(\zeta )\asymp {\widehat{\nu }}(z)\) for all \(\zeta \in \Omega (z,K)\) by Lemma A(ii). By using this and the fact that \(\frac{{\widehat{\omega }}(x)}{(1-x)^{\frac{p\tau }{q}}}\) is essentially decreasing on [0, 1) we deduce
and it follows that
where \(\eta (z)=\frac{\nu (z)(1-|z|)}{{\widehat{\nu }}(z)}\) for all \(z\in {\mathbb {D}}\). To apply Lemma 12 with \(\sigma \equiv 1\), we must check that its hypotheses are satisfied. To do this, first observe that \(\eta \in {\mathcal {D}}\) and \({\widehat{\eta }}(r)\asymp (1-r)\) for all \(0\leqslant r<1\) by Lemma 4. Hence
and, by Lemma 3(iii),
so the hypotheses of Lemma 12 are satisfied. Moreover,
and consequently (5.3) and Lemmas 12 and 5 yield \(I_3(g)\lesssim \Vert g\Vert _{A^p_{{\widetilde{\omega }}}}^q\asymp \Vert g\Vert _{A^p_{\omega }}^q\) for all \(g\in H^\infty \).
Case \({I_4(g)}\) By using the definition of \(\Omega _4(z,K)\), Lemma A(ii) and the fact that \(\frac{{\widehat{\nu }}(x)}{(1-x)^\tau }\) is essentially decreasing on [0, 1), we deduce
Therefore
where \(b=s-\delta -\frac{2\beta (\omega )}{p}+\frac{1}{q}-\frac{\tau }{q}\), \(c=2+s-2\delta -\frac{2\beta (\omega )}{p}-\frac{2}{p}+\frac{2}{q}\) and \(\eta (z)=\frac{\nu (z)(1 -|z|)^{\tau -\delta q}}{{\widehat{\nu }}(z)}\) for all \(z\in {\mathbb {D}}\). We will appeal to Lemma 12 with \(\sigma \equiv 1\). First observe that \(\eta \in {\mathcal {D}}\) and \({\widehat{\eta }}(r)\asymp (1-r)^{\tau -\delta q}\) for all \(0\leqslant r<1\) by Lemma 4. Hence
and, by Lemma 3(iii),
so the hypotheses of Lemma 12 are satisfied. Moreover,
and hence (5.4) and Lemmas 12 and 5 imply \(I_4(g)\lesssim \Vert g\Vert _{A^p_{{\widetilde{\omega }}}}^q\asymp \Vert g\Vert _{A^p_{\omega }}^q\) for all \(g\in H^\infty \).
Case \({I_5(g)}\) By using the definition of \(\Omega _5(z,K)\), Lemma A(ii) and the fact that \(\frac{{\widehat{\nu }}(x)}{(1-x)^\tau }\) is essentially decreasing on [0, 1) we deduce
Therefore Lemma A(ii) yields
where \(b=s-\delta -\frac{2\beta (\omega )}{p}+\frac{1}{q}-\frac{\beta (\nu )}{q}\), \(c=2+s-2\delta -\frac{2\beta (\omega )}{p}-\frac{2}{p}+\frac{2}{q}\) and \(\eta (z)=\frac{\nu (z)(1-|z|)^{\beta (\nu ) -\delta q}}{{\widehat{\nu }}(z)}\) for all \(z\in {\mathbb {D}}\). Again we will appeal to Lemma 12 with \(\sigma \equiv 1\). First observe that \(\eta \in {\mathcal {D}}\) and \({\widehat{\eta }}(r)\asymp (1-r)^{\beta (\nu )-\delta q}\) for all \(0\leqslant r<1\) by Lemma 4. Hence
and, by Lemma 3(iii),
so the hypotheses of Lemma 12 are satisfied. Moreover,
and hence (5.5) together with Lemmas 5 and 12 imply \(I_5(g)\lesssim \Vert g\Vert _{A^p_{{\widetilde{\omega }}}}^q\asymp \Vert g\Vert _{A^p_{\omega }}^q\) for all \(g\in H^\infty \). This finishes the proof of the proposition. \(\square \)
In order to prove the necessity part of Theorem 1 some definitions are needed. For \(\eta >-1\) and a radial weight \(\omega \), let \(b_{z,\omega }^\eta =B_z^\eta /\Vert B_z^\eta \Vert _{A^p_\omega }\) for \(z\in {\mathbb {D}}\), where \(B_z^\eta (\zeta )=(1-{\bar{z}}\zeta )^{-(2+\eta )}\). For each \(f\in L^1_\nu \), define
and note that \(g_{z,\omega }^\eta \) is a well-defined analytic function in \({\mathbb {D}}\) because the standard Bergman kernel \(b_{z,\omega }^\eta \) has no zeros. If \(\nu ,\omega \) are weights, \(\eta >-1\) and \(0<p,q<\infty \), let us consider the global mean oscillation
Proposition 15
Let \(1<p\leqslant q<\infty \), \(f\in L^q_\nu \), \(\omega \in \widehat{{\mathcal {D}}}\), \(\nu \in B_q\) a radial weight and \(\gamma (z)=\gamma _{\omega ,\nu ,p,q}(z)=\frac{{\widehat{\nu }}(z)^\frac{1}{q}(1-|z|)^{\frac{1}{q}}}{{\widehat{\omega }}(z)^\frac{1}{p}(1-|z|)^{\frac{1}{p}}}\). If \(H_f^\nu ,H_{{\overline{f}}}^\nu :A^p_\omega \rightarrow L^q_\nu \) are bounded, then there exists \(\eta _0=\eta _0(\nu ,\omega )>-1\) such that
for each \(\eta \geqslant \eta _0\). Moreover, there exists \(r_0=r_0(\nu )>0\) such that for each fixed \(r\geqslant r_0\) and \(\eta \geqslant \eta _0\),
Proof
The definition of the Hankel operator along with triangle inequality gives
If \(g\in A^1_\eta \), then the reproducing formula for the standard weighted Bergman projection yields \(\overline{g(z)}b_{z,\omega }^\eta = P_\eta ({\overline{g}}b_{z,\omega }^\eta )\). Since \(\nu \in B_q\) is radial and \(f\in L^q_\nu \), we have \(\nu \in {\mathcal {D}}\) and \(P_\nu (fb^\eta _z)\in A^q_\nu \) by Proposition 6. Therefore \(g_z^\eta \in A^q_\nu \) for all \(z\in {\mathbb {D}}\). Moreover, \(A^q_\nu \subset A^q_\eta \subset A^1_\eta \) if \(\eta >\frac{\beta (\nu )}{q}-1\) by Lemma A(ii). It follows that
By [5], there exists \(\eta _1=\eta _1(\nu )>\frac{\beta (\nu )}{q}-1\) such that \(P_\eta :L^q_\nu \rightarrow L^q_\nu \) is bounded if \(\eta \geqslant \eta _1\). Therefore
The triangle inequality yields
By combining the above estimates we deduce
for any \(\eta \geqslant \eta _1(\nu )\).
To see the second one, first observe that [16, Corollary 2] and Lemma A(ii) give
provided \(\eta >\frac{\beta (\omega )+1}{p}-2\). Moreover, by (3.6) there exists \(r_0=r_0(\nu )>0\) such that \((1-|z|){\widehat{\nu }}(z)\asymp \nu (\Delta (z,r_0))\) for any \(r\geqslant r_0\). Hence, for each \(r\geqslant r_0\) we have
The second claim for \(\eta _0=\max \{\eta _1,\frac{\beta (\omega )+1}{p}-2\}\) is now proved. \(\square \)
Proof of Theorem 1
If \(H_{f}^\nu ,H_{{\overline{f}}}^\nu :A^p_\omega \rightarrow L^q_\nu \) are bounded, then \(f\in \mathord {\mathrm{BMO}}(\Delta )\) by Proposition 15 and Theorem 11.
Conversely, let \(f\in \mathord {\mathrm{BMO}}(\Delta )\). Then f can be decomposed as \(f=f_1+f_2\), where \(f_1\in \mathord {\mathrm{BA}}(\Delta )\) and \(f_2\in \mathord {\mathrm{BO}}(\Delta )\), by Theorem 11(ii). Proposition 14 shows that \(H_{f_2}^\nu ,H_{\overline{f_{2}}}^\nu :A^p_\omega \rightarrow L^q_\nu \) are bounded. Moreover, since \(\nu \in B_q\) is radial, \(\nu \in {\mathcal {D}}\) and \(P_\nu : L^q_\nu \rightarrow L^q_\nu \) is bounded by Proposition 6. Therefore Lemma 10 yields
It follows that \(H_{f}^\nu ,H_{{\overline{f}}}^\nu :A^p_\omega \rightarrow L^q_\nu \) are bounded. \(\square \)
6 Anti-analytic symbols
Recall that the space \({\mathcal {B}}_{d\gamma }\) consists of \(f\in {\mathcal {H}}({\mathbb {D}})\) such that
where \(\gamma (z)=\frac{{\widehat{\nu }}(z)^\frac{1}{q}(1-|z|)^{\frac{1}{q}} }{{\widehat{\omega }}(z)^\frac{1}{p}(1-|z|)^{\frac{1}{p}}}\) for all \(z\in {\mathbb {D}}\).
Proposition 16
Let \(1<p\leqslant q<\infty \), \(\omega ,\nu \in {\mathcal {D}}\) and \(r\geqslant r_0\), where \(r_0=r_0(\nu )>0\) is that of Theorem 11(i). Then \(\mathord {\mathrm{BMO}}(\Delta )\cap {\mathcal {H}}({\mathbb {D}})=\mathord {\mathrm{BMO}}(\Delta )_{\omega ,\nu ,p,q,r}\cap {\mathcal {H}}({\mathbb {D}})={\mathcal {B}}_{d\gamma }\).
Proof
Let first \(f\in {\mathcal {B}}_{d\gamma }\). By Theorem 11(iv) to deduce \(f\in \mathord {\mathrm{BMO}}(\Delta )\) it is enough to prove
for some \(\sigma >0\) and
Since \(f\in {\mathcal {H}}({\mathbb {D}})\), the function \((f(\zeta )-f(z))(1-\zeta {\overline{z}})^{-\frac{2+c+\sigma }{q}}\) is an analytic function in \(\zeta \) for each \(z\in {\mathbb {D}}\). Therefore Lemma 5 shows that (6.1) is equivalent to
Further, Lemma A(ii) yields
Fix \(\sigma >\max \left\{ 0,1-\frac{q}{p}(1+\alpha (\omega )) +q\beta (\nu ) \right\} \) and c satisfying (6.2). Then
Therefore, [11, Lemma 7] together with Lemmas A(ii) and B gives
and
By combining these estimates we deduce \(f\in \mathord {\mathrm{BMO}}(\Delta )\), and thus \({\mathcal {B}}_{d\gamma }\subset {\mathcal {H}}({\mathbb {D}})\cap \mathord {\mathrm{BMO}}(\Delta )\).
Assume now that \(f\in {\mathcal {H}}({\mathbb {D}})\cap \mathord {\mathrm{BMO}}(\Delta )\). Then (6.3) holds for some \(\sigma >1\) and c satisfying (6.2). Therefore (3.6) implies
By arguing as in [12, 1653–1654] we deduce \({\mathcal {H}}({\mathbb {D}})\cap \mathord {\mathrm{BMO}}(\Delta )\subset {\mathcal {B}}_{d\gamma }\). \(\square \)
The space \({\mathcal {B}}_{d\gamma }\) consists of constant functions only if \(\limsup _{|z|\rightarrow 1^-}((1-|z|)\gamma (|z|))^{-1}=0\). Moreover, \({\mathcal {B}}_{d\gamma }\) is a subset of the disc algebra if \(((1-x)\gamma (x))^{-1}\in L^1(0,1)\), and \({\mathcal {B}}_{d\gamma }\) coincides with a Bloch-type space if \(\gamma \) is decreasing.
Proof of Theorem 2
Since \(f\in A^1_\nu \), the operator \(H^{\nu }_{{\overline{f}}}\) is densely defined. If \(H^{\nu }_{{\overline{f}}}:A^p_\omega \rightarrow L^q_\nu \) is bounded, choosing \(g\equiv 1\) it follows that \(f\in A^q_\nu \), and therefore \(f\in {\mathcal {B}}_{d\gamma }\) by Theorem 1 and Proposition 16.
Conversely, assume \(f\in {\mathcal {B}}_{d\gamma }\). Since \(\nu \in B_q\) is radial, Proposition 6 implies \(\nu \in {\mathcal {D}}\). Therefore Lemmas A(ii) and B yield
for all \(f\in {\mathcal {H}}({\mathbb {D}})\). If \(\frac{1+\beta (\nu )}{q}-\frac{1+\alpha (\omega )}{p}>0\), Lemma 3(ii) gives
If \(\frac{1+\beta (\nu )}{q}-\frac{1+\alpha (\omega )}{p}=0\), then Lemmas B and 3(ii) yield
Finally, if \(\frac{1+\beta (\nu )}{q}-\frac{1+\alpha (\omega )}{p}<0\), then Lemma 3(ii) gives
Therefore \(f\in A^q_\nu \), and thus \({\mathcal {B}}_{d\gamma }\subset A^q_\nu \). This together with Theorem 1 and Proposition 16 finishes the proof. \(\square \)
References
Arazy, J., Fisher, S.D., Peetre, J.: Hankel operators on weighted Bergman spaces. Am. J. Math. 110(6), 989–1053 (1988)
Arrousi, H.: Function and Operator Theory on Large Bergman Spaces. PhD. Thesis, Univ. of Barcelona (2016)
Axler, S.: The Bergman space, the Bloch space, and commutators of multiplication operators. Duke Math. J. 53(2), 315–332 (1986)
Bekollé, D.: Inégalités á poids pour le projecteur de Bergman dans la boule unité de \(C^n\) [Weighted inequalities for the Bergman projection in the unit ball of \(C^n\)]. Stud. Math. 71(3), 305–323 (1981/82)
Bekollé, D., Bonami, A.: Inégalités á poids pour le noyau de Bergman (French). C. R. Acad. Sci. Paris Sér. A-B 286(18), 775–778 (1978)
Bekollé, D., Berger, C., Coburn, L.A., Zhu, K.: BMO in the Bergman metric on bounded symmetric domains. J. Funct. Anal. 93(2), 310–350 (1990)
Berger, C., Coburn, L .A., Zhu, K.: BMO on the Bergman spaces of the classical domains. Bull. Am. Math. Soc. (N.S.) 17(1), 133–136 (1987)
Berger, C., Coburn, L.A., Zhu, K.: Function theory on Cartan domains and the Berezin–Toeplitz symbol calculus. Am. J. Math. 110(5), 921–953 (1988)
Constantin, O., Peláez, J.A.: Boundedness of the Bergman projection on \(L^p\)-spaces with exponential weights. Bull. Sci. Math. 139, 245–268 (2015)
Galanopoulos, P., Pau, J.: Hankel operators on large weighted Bergman spaces. Ann. Acad. Sci. Fenn. Math. 37(2), 635–648 (2012)
Pau, J., Zhao, R.: Weak factorization and Hankel forms for weighted Bergman spaces on the unit ball. Math. Ann. 363(1–2), 363–383 (2015)
Pau, J., Zhao, R., Zhu, K.: Weighted BMO and Hankel operators between Bergman spaces. Indiana Univ. Math. J. 65(5), 1639–1673 (2016)
Peláez, J.A.: Small weighted Bergman spaces. In: Proceedings of the Summer School in Complex and Harmonic Analysis, and Related Topics (2016)
Peláez, J.A., Rättyä, J.: Weighted Bergman Spaces Induced by Rapidly Increasing Weights, vol. 227. Mem. Am. Math. Soc. (2014)
Peláez, J.A., Rättyä, J.: Embedding theorems for Bergman spaces via harmonic analysis. Math. Ann. 362(1–2), 205–239 (2015)
Peláez, J.A., Rättyä, J.: Two weight inequality for Bergman projection. J. Math. Pures Appl. 105, 102–130 (2016)
Peláez, J.A., Sierra, K., Rättyä, J.: Atomic decomposition and Carleson measures for weighted Mixed norm spaces. arXiv:1709.07239
Perälä, A.: Vanishing Bergman kernels on the disk. J. Geom. Anal. 28(2), 1716–1727 (2018)
Zhao, R.: Generalization of Schur’s test and its application to a class of integral operators on the unit ball of \({\mathbb{C}}^n\). Integral Equ. Oper. Theory 82(4), 519–532 (2015)
Zhao, R., Zhu, K.: Theory of Bergman spaces in the unit ball of \({\mathbb{C}}^n\). Mem. Soc. Math. Fr. (N.S.) no. 115 (2008), p. vi+103 (2009)
Zhu, K.: VMO, ESV, and Toeplitz operators on the Bergman space. Trans. Am. Math. Soc. 302(2), 617–646 (1987)
Zhu, K.: BMO and Hankel operators on Bergman spaces. Pac. J. Math. 155(2), 377–395 (1992)
Zhu, K.: Operator Theory in Function Spaces, Math. Surveys and Monographs, vol. 138, 2nd edn. American Mathematical Society, Providence (2007)
Acknowledgements
Open access funding provided by University of Gothenburg.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This research was supported in part by Ministerio de Economía y Competitivivad, Spain, projects MTM2014-52865-P and MTM2015-69323-REDT; La Junta de Andalucía, project FQM210; Academy of Finland Project No. 268009. AP acknowledges financial support from the Spanish Ministry of Economy and Competitiveness, through the María de Maeztu Programme for Units of Excellence in R&D (MDM-2014-0445), Academy of Finland Project No. 268009, and the Grant MTM2017-83499-P (Ministerio de Educación y Ciencia).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Peláez, J.Á., Perälä, A. & Rättyä, J. Hankel operators induced by radial Bekollé–Bonami weights on Bergman spaces. Math. Z. 296, 211–238 (2020). https://doi.org/10.1007/s00209-019-02412-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-019-02412-8