Abstract
The problem of describing the analytic functions g on the unit disc such that the integral operator \(T_g(f)(z)=\int _0^zf(\zeta )g'(\zeta )\,d\zeta \) is bounded (or compact) from a Banach space (or complete metric space) X of analytic functions to the Hardy space \(H^\infty \) is a tough problem, and remains unsettled in many cases. For analytic functions g with non-negative Maclaurin coefficients, we describe the boundedness and compactness of \(T_g\) acting from a weighted Dirichlet space \(D^p_\omega \), induced by an upper doubling weight \(\omega \), to \(H^\infty \). We also characterize, in terms of neat conditions on \(\omega \), the upper doubling weights for which \(T_g: D^p_\omega \rightarrow H^\infty \) is bounded (or compact) only if g is constant.
Similar content being viewed by others
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\}\). Each \(g\in {\mathcal {H}}({\mathbb {D}})\) induces the integral operator, also called Volterra-type operator, defined by
The study of this operator has attracted a substantial amount of attention during the last decades since the publications of the seminal works [1, 2, 23]. Characterizing the operators \(T_g\), mapping a Banach space (or complete metric space) \(X\subset {\mathcal {H}}({\mathbb {D}})\) boundedly or compactly to the Hardy space \(H^\infty \), in terms of a reasonable condition depending on the symbol g only is known to be difficult, and remains unsettled in many cases [3, 4, 24]. Consequently, restricting g to some subclass of \({\mathcal {H}}({\mathbb {D}})\), sets a natural approach to the problem. In [24] the authors described the univalent symbols g such that \(T_g: H^\infty \rightarrow H^\infty \) is bounded. Further, the functions \(g\in {\mathcal {H}}({\mathbb {D}})\) with non-negative Taylor coefficients such that \(T_g(H^p)\subset H^\infty \) were described in [20]. In this paper, we are mainly interested in the situation where X is a weighted Dirichlet space and, in some of the results, the symbol g has non-negative Maclaurin coefficients.
For a non-negative function \(\omega \in L^1([0,1))\), its extension to \({\mathbb {D}}\), defined by \(\omega (z)=\omega (|z|)\) for all \(z\in {\mathbb {D}}\), is called a radial weight. For \(0<p<\infty \) and such an \(\omega \), the Berman space \(A^p_\omega \) consists of \(f\in {\mathcal {H}}({\mathbb {D}})\) such that
where \(dA(z)=\frac{dx\,dy}{\pi }\) is the normalized Lebesgue area measure on \({\mathbb {D}}\). The corresponding weighted Dirichlet space is
The classical weighted Dirichlet space \(D^p_{\alpha }\) is, by definition, equal to \(D^p_\omega \), induced by the standard radial weight \(\omega (z)=(\alpha +1)(1-|z|^2)^{\alpha }\), where \(-1<\alpha <\infty \). Throughout this paper we assume \({\widehat{\omega }}(z)=\int _{|z|}^1\omega (s)\,ds>0\) for all \(z\in {\mathbb {D}}\), for otherwise \(D^p_\omega ={\mathcal {H}}({\mathbb {D}})=A^p_\omega \).
A radial weight \(\omega \) belongs to the class \(\widehat{{\mathcal {D}}}\) if there exists a constant \(C=C(\omega )\ge 1\) such that the tail integral \({\widehat{\omega }}\) satisfies the doubling condition \({\widehat{\omega }}(r)\le C{\widehat{\omega }}(\frac{1+r}{2})\) for all \(0\le r<1\). Moreover, if there exist constants \(K=K(\omega )>1\) and \(C=C(\omega )>1\) such that \({\widehat{\omega }}(r)\ge C{\widehat{\omega }}\left( 1-\frac{1-r}{K}\right) \) for all \(0\le r<1\), then we write \(\omega \in \check{{{\mathcal {D}}}}\). Finally, the intersection \(\widehat{{\mathcal {D}}}\cap \check{{{\mathcal {D}}}}\) is denoted by \({\mathcal {D}}\). Apart from this we refer to [11, 16] and references therein for basic properties and more on different classes of radial weights.
It is worth noticing that, if there exists \(\nu \in {\mathcal {D}}\) such that
then \(D^p_{\omega }\) coincides with the weighted Bergman space \(A^p_\nu \) by [13, Theorem 5]. However, \({\widehat{\omega }}(z)\) may decrease to zero arbitrarily slowly, as z approaches to the boundary, and therefore (1.1) may very well fail. Typical examples of weights violating (1.1) are \(\omega (z)=(\alpha +1)(1-|z|^2)^{\alpha }\) with \(-1<\alpha <p-1\). Moreover, weights in \(\widehat{{\mathcal {D}}}\) may have a wild oscillatory behavior and they may even vanish on sets that are not hyperbolically uniformly bounded. In these cases (1.1) also certainly fails. Illuminating examples of weights in the deceivingly simply looking class \(\widehat{{\mathcal {D}}}\) are given in [12, Proposition 10] and [18, Proposition 12].
We begin with considering the question of when \(T(D^p_{\omega }, H^{\infty })\) consists of constant functions only, provided \(\omega \in \widehat{{\mathcal {D}}}\). From now on, if \(X\subset {\mathcal {H}}({\mathbb {D}})\) is a Banach space (or complete metric space), \(T(X,H^\infty )\) (resp. \(T_c(X,H^\infty )\)) denotes the set of \(g\in {\mathcal {H}}({\mathbb {D}})\) such that \(T_g:X\rightarrow H^\infty \) is bounded (resp. compact). It is known that \(T(H^p,H^\infty )\) consists of constant functions only, if and only if, \(0<p<1\), by [4, Theorem 2.5(vi)]. Therefore each \(T(A^p_\omega ,H^\infty )\) contains constant functions only, provided \(0<p<1\) and \(\omega \) is any radial weight. As expected, the situation is different in the case of the weighted Dirichlet space \(D^p_\omega \). The first result of this paper characterizes the triviality of \(T(D^p_{\omega }, H^{\infty })\) and \(T_c(D^p_{\omega }, H^{\infty })\) in terms of a neat condition on p and \(\omega \).
Theorem 1
Let \(0<p\le 1\), \(\omega \in \widehat{{\mathcal {D}}}\) and \(g\in H^{\infty }\). Then the following statements are equivalent:
-
(i)
\(T(D^p_{\omega }, H^{\infty })\) consists of constant functions only;
-
(ii)
\(\sup _{0\le r<1}\frac{(1-r)^{2-\frac{1}{p}}}{{\widehat{\omega }}(r)^{\frac{1}{p}}}=\infty \);
-
(iii)
\(I:D^p_{\omega }\rightarrow D^1_0\) is unbounded.
Moreover,
-
(i)
\(T_c(D^p_{\omega }, H^{\infty })\) consists of constant functions only;
-
(ii)
\(\limsup _{r\rightarrow 1^-}\frac{(1-r)^{2-\frac{1}{p}}}{{\widehat{\omega }}(r)^{\frac{1}{p}}}>0\);
-
(iii)
\(I:D^p_{\omega }\rightarrow D^1_0\) is not compact.
Probably the most important part of the theorem is the surprising equivalence between the behavior of the embedding \(D^1_0\subset D^p_{\omega }\) and that of the integration operator \(T_g:D^p_{\omega }\rightarrow H^{\infty }\). The true difficulty in the proof lies in showing that (i) implies (ii), because it is not that complicated to show that (iii) implies (i), and the equivalence between (ii) and (iii) is just an immediate consequence of the Carleson embedding theorem [15, Theorem 1]. Before further comments on the proof, we state the result concerning the range \(1<p<\infty \). We underline here that when \(1<p<\infty \) there is no such neat connection to embeddings as in the case \(0<p\le 1\), as is shown in Sect. 6, see Theorem 23 and the discussion presiding it.
Theorem 2
Let \(1<p<\infty \), \(\omega \in \widehat{{\mathcal {D}}}\) and \(g\in H^{\infty }\). Then \(T(D^p_{\omega }, H^{\infty })\) (equivalently \(T_c(D^p_{\omega }, H^{\infty })\)) consists of constant functions only, if and only if,
Theorem 2 and its proof allow us to extend [4, Theorem 1.3] from the setting of so-called regular weights to the whole doubling class \(\widehat{{\mathcal {D}}}\). Being precise, we deduce that \(T(A^p_{\omega }, H^{\infty })\) consists of constant functions only, if and only if,
provided \(1<p<\infty \), \(\omega \in \widehat{{\mathcal {D}}}\) and \(g\in H^{\infty }\). Details yielding to this conclusion are given at the very end of the paper, in Sect. 6.
Apart from the geometric characterizations of Carleson embeddings for the weighted Bergman spaces [15], the proofs of Theorems 1 and 2 are based on two main ingredients: an abstract criterion of the continuity of integral operators [4, Theorem 2.2], and appropriate duality relations for the space \(D^p_\omega \), given in Sect. 3. In particular, we will show that, for \(0<p<1\), the dual of \(D^p_{\omega }\) is isomorphic to the Zygmund space \({\mathcal {Z}}\) via the pairing
with equivalence of norms, see Lemma 9 in Sect. 3. Here W is an appropriate radial weight which depends on p and \(\omega \). Recall that the Zygmund space \({\mathcal {Z}}\) consists of \(f\in {\mathcal {H}}({\mathbb {D}})\) such that
It is well-known that \({\mathcal {Z}}\) is a subset of the disc algebra \({\mathcal {A}}\), and the containment of f in \({\mathcal {Z}}\) is characterized by the boundary value condition
It is worth observing that \((D^p_{p-1})^\star \) is isomorphic to the weighted Bloch space \({\mathcal {B}}^2\) via the \(A^2_{\frac{1}{p}-1}\)-pairing, provided \(0<p\le 1\) [20, Lemma 6]. The interplay between these different identifications of the dual of \(D^p_{\omega }\) is of course the change of the pairing with respect to which they are taken. The advantage of our duality \((D^p_1)^\star \simeq {\mathcal {Z}}\) compared to \((D^p_{\omega })^\star \simeq {\mathcal {B}}^2\) is that, apart from being a much more general result, its proof is easier than that of [20, Lemma 6]. Namely, the crucial step in the proof of the last-mentioned result relies on technical tools related to coefficient multipliers of the Bloch spaces. Because of the pairing we work with, we can avoid many tedious calculations all together, and the proof itself becomes more straightforward and transparent via an appropriate use of a Carleson embedding theorem for the weighted Bergman spaces.
The dual of \(D^1_\omega \) is described via a suitable weighted \(A^2\)-pairing in terms of a weighted \(\text {BMOA}\)-type space in Lemma 10 in Sect. 3. This result has its roots in the description of \((A^1_\omega )^\star \) given in [13, Theorem 4]. While at first glance the last-mentioned duality, as well as our description of \((D^1_\omega )^\star \), might look intuitively unclear, this involved result serves us to resolve the case \(p=1\) in Theorem 1 and other forthcoming results.
The techniques developed on the way to the aforementioned results also allow us to characterize the weights \(\omega \in \widehat{{\mathcal {D}}}\) such that \(T_c(D^p_{\omega }, H^{\infty })\) contains constant functions only. The statements are given in Sects. 4–6 when each of the three cases \(0<p<1\), \(p=1\) and \(1<p<\infty \) are considered separately in the said order.
The other set of results we obtain concern symbols g with non-negative Maclaurin coefficients such that \(T_g: D^p_\omega \rightarrow H^\infty \) is bounded or compact. These characterizations are provided in terms of the moments of the weights. Therefore we write \(\omega _x=\int _0^1 r^x\omega (r)\,dr\) for all \(x\ge 0\). From now on, set set \(g(z)=\sum _{n=0}^\infty {\widehat{g}}(n)z^n, z\in {\mathbb {D}}.\)
Theorem 3
Let \(\omega \in \widehat{{\mathcal {D}}}\) and \(g\in H^\infty \) such that \({\widehat{g}}(n)\ge 0\) for all \(n\in {\mathbb {N}}\cup \{0\}\). Then the following statements are valid:
-
(i)
If \(0<p<1\), then \(T_g:D^p_{\omega }\rightarrow H^\infty \) is bounded if and only if
$$\begin{aligned} A_{p,\omega }=\sup _{0\le r<1}\left( (1-r)\sum _{k=0}^{\infty }\frac{(k+1)^{\frac{1}{p}-1}r^k}{(\omega _k)^{\frac{1}{p}}}\left( \sum _{n=0}^{\infty } \frac{{\widehat{g}}(n+1)(n+1)}{n+k+1}\right) \right) <\infty , \end{aligned}$$and \( \Vert T_g\Vert _{D^p_{\omega }\rightarrow H^\infty } \asymp A_{p,\omega }.\) Moreover, \(T_g:D^p_{\omega }\rightarrow H^\infty \) is compact if and only if
$$\begin{aligned} \limsup _{r\rightarrow 1^-}\left( (1-r)\sum _{k=0}^{\infty }\frac{(k+1)^{\frac{1}{p}-1}r^k}{(\omega _k)^{\frac{1}{p}}}\left( \sum _{n=0}^{\infty } \frac{{\widehat{g}}(n+1)(n+1)}{n+k+1}\right) \right) =0. \end{aligned}$$ -
(ii)
If \(p=1\), then \(T_g:D^p_{\omega }\rightarrow H^\infty \) is bounded if and only if
$$\begin{aligned} A_{\omega }=\sup _{0<r,s<1}\left( {\widehat{\omega }}(r)^2\sum _{m=0}^\infty \frac{1-s}{(m+1)^2}\left( \sum _{k=0}^m\frac{r^{k+2}}{(\omega {\widehat{\omega }})_{k+1}}\sum _{n=0}^\infty \frac{{\widehat{g}}(n+1)(n+1)}{n+k+1}s^{n+m+3}\right) ^2\right) <\infty , \end{aligned}$$and \( \Vert T_g\Vert _{D^1_{\omega }\rightarrow H^\infty }^2 \asymp A_{\omega }. \) Moreover, \(T_g:D^1_{\omega }\rightarrow H^\infty \) is compact if and only if
$$\begin{aligned} \limsup _{r\rightarrow 1^-}\limsup _{s\rightarrow 1^-}\left( {\widehat{\omega }}(r)^2\sum _{m=0}^\infty \frac{1-s}{(m+1)^2}\left( \sum _{k=0}^m\frac{r^{k+2}s^{m-k}}{(\omega {\widehat{\omega }})_{k+1}}\sum _{n=0}^\infty \frac{{\widehat{g}}(n+1)(n+1)}{n+k+1}\right) ^2\right) =0. \end{aligned}$$ -
(iii)
If \(1<p<\infty \), then \(T_g: D^p_{\omega }\rightarrow H^\infty \) is bounded (equivalently compact) if and only if
$$\begin{aligned} \sum _{k=0}^{\infty }\frac{(k+1)^{-2}}{(\omega _k)^{p'-1}} \left( \sum _{n=0}^{\infty }\frac{(n+1){\widehat{g}}(n+1)}{n+k+1}\right) ^{p'}<\infty . \end{aligned}$$Moreover,
$$\begin{aligned} \Vert T_g\Vert _{D^p_{\omega }\rightarrow H^{\infty }}^{p'}\asymp \sum _{k=0}^{\infty }\frac{(k+1)^{-2}}{(\omega _k)^{p'-1}} \left( \sum _{n=0}^{\infty }\frac{(n+1){\widehat{g}}(n+1)}{n+k+1}\right) ^{p'}. \end{aligned}$$
The conditions appearing in the three cases in Theorem 3 are different due to the different identifications of the dual of \(D^p_\omega \) used. This fact forces us to employ different techniques in each case of the theorem. In particular, we will use a decomposition norm theorem for \(D^p_\omega \) [17, Theorem 3.4], see also [14, Theorem 4], valid for \(1<p<\infty \) and \(\omega \in \widehat{{\mathcal {D}}}\), and results on universal Césaro basis of polynomials.
It is worth mentioning that the hypothesis \(g\in H^\infty \) in Theorems 1–3 is not a real restriction, because it is obviously necessary so that \(T_g: D^p_\omega \rightarrow H^\infty \) to be bounded.
There is one more thing worth mentioning before proceeding to the proofs. Namely, some of our arguments take us very naturally to consider spaces defined in terms of the Maclaurin coefficients of the function. To this end, for \(0<p<\infty \) and a radial weight \(\omega \), define the weighted Hardy–Littlewood space \(\text {HL}^{\omega }_{p}\) as the set of those \(f\in {\mathcal {H}}({\mathbb {D}})\) whose Maclaurin coefficients \(\{{\widehat{f}}(n)\}_{n=0}^\infty \) satisfy
In the next section, we explain how this space comes to the picture and what it serves us for.
We finish the introduction by couple of words about the notation used in this paper. 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. If there exists a constant \(C=C(\cdot )>0\) such that \(a\le Cb\), then we write either \(a\lesssim b\) or \(b\gtrsim a\). In particular, if \(a\lesssim b\) and \(a\gtrsim b\), then we denote \(a\asymp b\) and say that a and b are comparable.
2 New spaces and basic results
Recall that, for \(0<p<\infty \) and \(-1<\alpha <\infty \), the classical weighted Dirichlet space \(D^p_\alpha \) is induced by the standard radial weight \(\omega (z)=(\alpha +1)(1-|z|^2)^{\alpha }\). The closely related Hardy–Littlewood space \(\text {HL}_p\) contains those \(f\in {\mathcal {H}}({\mathbb {D}})\) whose Maclaurin coefficients \(\{{\widehat{f}}(n)\}_{n=0}^\infty \) satisfy
These and the Hardy spaces satisfy the well-known continuous embeddings
and
by [5, 6, 8]. Each of these inclusions is strict unless \(p=2\) in which case all the spaces are the same by direct calculations or straightforward applications of Parseval’s formula and Green’s theorem.
Recall that, for \(0<p<\infty \) and a radial weight \(\omega \), the weighted Hardy–Littlewood space \(\text {HL}^{\omega }_{p}\) was defined by the condition
where \(\omega _x=\int _0^1r^x\omega (r)\,dr\) for all \(0\le x<\infty \). Since obviously \(\omega _x\rightarrow 0\), as \(x\rightarrow \infty \), we have \(\text {HL}_p\subset \text {HL}_p^\omega \) for each radial weight \(\omega \). The spaces \(\text {HL}^{\omega }_{p}\) arise naturally when (2.1) and (2.2) are applied to dilatations and integrated over (0, 1) with respect to \(r\omega (r)\). To see this in detail, we will need the following lemma which will be used repeatedly also throughout the rest of the paper, see [11, Lemma 2.1] for a proof.
Lemma A
Let \(\omega \) be a radial weight. Then the following conditions are equivalent:
-
(i)
\(\omega \in \widehat{{\mathcal {D}}}\);
-
(ii)
There exist \(C=C(\omega )>0\) and \(\beta _0=\beta _0(\omega )>0\) such that
$$\begin{aligned} {\widehat{\omega }}(r)\le C\left( \frac{1-r}{1-t}\right) ^{\beta }{\widehat{\omega }}(t),\quad 0\le r\le t<1, \end{aligned}$$for all \(\beta \ge \beta _0\);
-
(iii)
The asymptotic equality
$$\begin{aligned} \omega _x=\int _0^1s^x\omega (s)\,ds\asymp {\widehat{\omega }}\left( 1-\frac{1}{x}\right) , \end{aligned}$$is valid for any \(x\ge 1\);
-
(iv)
There exist constants \(C=C(\omega )\ge 1\) and \(\eta =\eta (\omega )>0\) such that
$$\begin{aligned} \omega _x\le C\left( \frac{y}{x}\right) ^\eta \omega _{y},\quad 0<x\le y<\infty . \end{aligned}$$
Set \({\widetilde{\omega }}(z)=\frac{{\widehat{\omega }}(z)}{(1-|z|)}\) and \(\omega _{[\beta ]}(z)=\omega (z)(1-|z|)^\beta \) for all \(\beta \in {\mathbb {R}}\) and \(z\in {\mathbb {D}}\). If \(\omega \in \widehat{{\mathcal {D}}}\), then the spaces \(\text {HL}^{\omega }_p\), \(A^p_{\omega }\) and \(D^p_{{\widetilde{\omega }}_{[p]}}\) are closely related and obey the inclusions corresponding to the norm inequalities appearing in the following result.
Proposition 4
Let \(\omega \in \widehat{{\mathcal {D}}}\). Then the following statements hold:
-
(i)
If \(0<p\le 2\), then \(\Vert f\Vert _{\text {HL}_p^{\omega }}\lesssim \Vert f\Vert _{A^p_{\omega }}\lesssim \Vert f\Vert _{D^p_{{\widetilde{\omega }}_{[p]}}}\) for all \(f\in {\mathcal {H}}({\mathbb {D}})\);
-
(ii)
If \(2\le p<\infty \), then \(\Vert f\Vert _{D^p_{{\widetilde{\omega }}_{[p]}}}\lesssim \Vert f\Vert _{A^p_{\omega }}\lesssim \Vert f\Vert _{\text {HL}_p^{\omega }}\) for all \(f\in {\mathcal {H}}({\mathbb {D}})\).
Proof
We begin with (i). Denote \(f_r(z)=f(rz)\) for all \(0\le r<1\) and \(z\in {\mathbb {D}}\). An application of (2.1) to \(f_r\) and a change of variable yield
By multiplying this inequality by \(\omega (r)r\), integrating from 0 to 1 with respect to r, and using Fubini’s theorem we deduce
where
If \(1\le p<\infty \), then the pointwise inequality \(h_{\omega }(z)\le {\widehat{\omega }}(z)(1-|z|)^{p-1}={\widetilde{\omega }}_{[p]}(z)\) is valid for all \(z\in {\mathbb {D}}\). This observation together with (2.3) proves (i) with \(1\le p\le 2\) without any hypothesis on the radial weight \(\omega \).
If \(0<p<1\), then \(h_{\omega }\ge {\widetilde{\omega }}_{[p]}\) on \({\mathbb {D}}\), and hence we must argue in a different manner. By the hypothesis \(\omega \in \widehat{{\mathcal {D}}}\) we deduce
and thus \({\widetilde{\omega }}_{[p]}\in \widehat{{\mathcal {D}}}\) for each \(0<p<\infty \). Therefore the estimate \(\Vert f\Vert _{D^p_{h_{\omega }}}\lesssim \Vert f\Vert _{D^p_{{\widetilde{\omega }}_{[p]}}}\) follows from [15, Theorem 1(b)] at once if we show that \(h_{\omega }(S(a))\lesssim {\widetilde{\omega }}_{[p]}(S(a))\) for all \(a\in {\mathbb {D}}\). Since \(h_{\omega }\) and \({\widetilde{\omega }}_{[p]}\) both are radial, we may ignore the angular integral and prove this as follows. By Fubini’s theorem and the hypothesis \(\omega \in \widehat{{\mathcal {D}}}\) we deduce
It follows that, for each \(0<p<1\) and \(\omega \in \widehat{{\mathcal {D}}}\), we have \(\Vert f\Vert _{D^p_{h_{\omega }}}\lesssim \Vert f\Vert _{D^p_{{\widetilde{\omega }}_{[p]}}}\) for all \(f\in {\mathcal {H}}({\mathbb {D}})\). This finishes the proof of (i).
To prove (ii) we first observe that, by arguing as in the first part of the proof, an application of (2.2) yields \(\Vert f\Vert ^p_{D^p_{h_{\omega }}}\lesssim \Vert f\Vert ^p_{A^p_{\omega }}\lesssim \Vert f\Vert _{\text {HL}^{\omega }_p}^p\) for all \(f\in {\mathcal {H}}({\mathbb {D}})\). Further, if \(1<p<\infty \), then an integration by parts and the hypothesis \(\omega \in \widehat{{\mathcal {D}}}\) yield
This pointwise estimate yields \(\Vert f\Vert _{D^p_{{\widetilde{\omega }}_{[p]}}}\lesssim \Vert f\Vert _{D^p_{h_{\omega }}}\) for all \(f\in {\mathcal {H}}({\mathbb {D}})\), provided \(1<p<\infty \) and \(\omega \in \widehat{{\mathcal {D}}}\). Therefore (ii) is proved.
To this end we observe that the proof above actually shows that, for each \(0<p<\infty \) and \(\omega \in \widehat{{\mathcal {D}}}\), we have \(\Vert f\Vert _{D^p_{h_{\omega }}}\asymp \Vert f\Vert _{D^p_{{\widetilde{\omega }}_{[p]}}}\) for all \(f\in {\mathcal {H}}({\mathbb {D}})\). Therefore there is no loss of information when passing from \(D^p_{h_{\omega }}\), which arises naturally when (2.1) and (2.2) are applied to dilatations and integrated, to the space \(D^p_{{\widetilde{\omega }}_{[p]}}\) if \(\omega \in \widehat{{\mathcal {D}}}\). \(\square \)
Our next goal is to show that the inclusions derived from Proposition 4 must be strict unless \(p=2\).
Proposition 5
Let \(\omega \) be a radial weight and \(0<p<\infty \). If \(p\ne 2\), then \(\text {HL}^{\omega }_{p}\) and \(A^p_{\omega }\) are two different spaces.
Proof
If the spaces were the same, then there would exist a constant \(C=C(p,\omega )>1\) such that \(C^{-1}\Vert f\Vert _{\text {HL}^{\omega }_{p}}\le \Vert f\Vert _{A^p_\omega }\le C\Vert f\Vert _{\text {HL}^{\omega }_{p}}\) for all \(f\in {\mathcal {H}}({\mathbb {D}})\). But this is impossible because the monomials \(m_n(z)=z^n\) satisfy
and this yields a contradiction as \(n\rightarrow \infty \). \(\square \)
The next proposition concerns the spaces \(D^p_{{\widetilde{\omega }}_{[p]}}\) and \(A^p_{\omega }\). It can be established by following the argument used in the proof of [16, Proposition 4.3].
Proposition 6
There exists \(\omega \in \widehat{{\mathcal {D}}}\setminus {\mathcal {D}}\) such that \(D^p_{{\widetilde{\omega }}_{[p]}}\) and \(A^p_{\omega }\) are two different spaces, provided \(p\ne 2\).
The last auxiliary result stated in this section concerns analytic functions with non-negative Maclaurin coefficients tending to zero.
Lemma 7
Let \(1\le p<\infty \) and \(\omega \in \widehat{{\mathcal {D}}}\). Then
for all \(f\in {\mathcal {H}}({\mathbb {D}})\) such that its Maclaurin coefficients \(\{{\widehat{f}}(n)\}_{n=0}^\infty \) form a sequence of non-negative numbers decreasing to zero.
Proof
It is well known that, for each \(1\le p<\infty \), we have
for all functions f as in the statement of the lemma, see [7, 10] and [26, Chapter XII, Lemma 6.6] for details. Since, for each \(0<r<1\), the Maclaurin coefficients of \(f_r\) have the same property, we may integrate (2.5) as in the proof of Proposition 4 to deduce the assertion. \(\square \)
3 Dualities
The following lemma describes the dual of the Dirichlet-type space \(D^p_{\omega }\) when \(1<p<\infty \) and \(\omega \in \widehat{{\mathcal {D}}}\).
Lemma 8
Let \(1<p<\infty \) and \(\omega \in \widehat{{\mathcal {D}}}\). Then \((D^p_{\omega })^\star \simeq D^{p'}_{\omega }\) via the pairing
with equivalence of norms.
Proof
Let us first show that each \(g\in D^{p'}_{\omega }\) induces a bounded linear functional on \(D^p_{\omega }\). Hölder’s inequality yields
Thus each \(g\in D^{p'}_{\omega }\) induces a bounded linear functional on \(D^p_{\omega }\) via the \(D^2_{\omega }\)-pairing.
Let now L be a bounded linear functional on \(D^p_{\omega }\). By the proof of [13, Theorem 7], we have \((A^p_{\omega })^{\star }\simeq A^{p'}_{\omega }\) via the \(A^2_{\omega }\)-pairing with equivalence of norms. For each \(f\in D^p_{\omega }\), there exists \(F=F_f\in A^p_{\omega }\) such that \({\mathcal {I}}(F)=f-f(0)\), where \({\mathcal {I}}(F)(z)=\int _0^zF(\zeta )\,d\zeta \). Further, \({\mathcal {I}}\) is an isometric mapping from \(A^p_{\omega }\) to \(D^p_{\omega }\), in particular, it is bounded. Therefore the composition \(L\circ {\mathcal {I}}\) is a bounded linear functional on \(A^p_{\omega }\), and hence there exists a unique \(G\in A^{p'}_{\omega }\) such that \(\Vert G\Vert _{A^{p'}_{\omega }}\lesssim \Vert L\circ {\mathcal {I}}\Vert \lesssim \Vert L\Vert \) and
Further, since \(G\in A^{p'}_{\omega }\), there exists a unique \(g\in D^{p'}_{\omega }\) such that \(g'=G\) and \(\overline{g(0)}=L(1)\). Consequently, there exists a unique \(g\in D^{p'}_{\omega }\) such that
Moreover, \(\Vert g\Vert ^{p'}_{D^{p'}_{\omega }}=\Vert G\Vert ^{p'}_{A^{p'}_{\omega }}+|L(1)|^{p'}\lesssim \Vert L\Vert ^{p'}\), and the assertion is proved. \(\square \)
The next lemma shows that, for \(0<p<1\), the dual of \(D^p_{\omega }\) can be identified with \({\mathcal {Z}}\) via the \(D^2_W\)-pairing where W depends on \(\omega \) appropriately. The definition of W is given in (3.1) below, and the identity \({\widehat{W}}(z)={\widehat{\omega }}(z)^{\frac{1}{p}}(1-|z|)^{\frac{1}{p}-1}\) explains why this choice appears to be convenient in concrete calculations. Observe that recently it was shown in [20, Lemma 6] that \((D^p_{p-1})^\star \simeq {\mathcal {B}}^2\) via the \(A^2_{\frac{1}{p}-1}\)-pairing, provided \(0<p\le 1\). The crucial step in the proof of this last-mentioned duality relies on technical tools related to coefficient multipliers of the Bloch spaces. Since the pairing is different in our setting, we can avoid many tedious calculations altogether, and the proof itself becomes more straightforward and transparent via a suitable use of a Carleson embedding theorem for Bergman spaces.
Lemma 9
Let \(0<p<1\), \(\omega \in \widehat{{\mathcal {D}}}\) and
Then \((D^p_{\omega })^\star \simeq {\mathcal {Z}}\) via the pairing
with equivalence of norms.
Proof
Let \(f,g\in {\mathcal {H}}({\mathbb {D}})\). Then Green’s formula and Fubini’s theorem yield
where
by the inequality \(-\log t\le \frac{1}{t}(1-t)\), valid for all \(0<t\le 1\), and the identity \({\widehat{W}}(z)={\widehat{\omega }}(z)^{\frac{1}{p}}(1-|z|)^{\frac{1}{p}-1}\). It follows that
because \(M_1(r,f'')\) is non-decreasing. An easy calculation based on the Cauchy formula gives \(M_1(r,h')\le 4M_1\left( \frac{1+r}{2},h\right) (1-r)^{-1}\) for all \(0<r<1\) and \(h\in {\mathcal {H}}({\mathbb {D}})\). An application of this to function \(h=f'\) together with the hypothesis \(\omega \in \widehat{{\mathcal {D}}}\) gives
If \(0<p\le q<\infty \), then, by [15, Theorem 1(c)], the Bergman space \(A^p_\omega \) is continuously embedded into the measure space \(L^q_\mu \) if and only if \(\mu (S)\lesssim \omega (S)^\frac{q}{p}\) for all Carleson squares S. Now that \(0<p<1\), we deduce
This together with (3.3) yields
Hence each \(g\in {\mathcal {Z}}\) induces a bounded linear functional on \(D^p_{\omega }\) via the pairing (3.2).
Let \(L\in (D^p_{\omega })^\star \), and recall that \({\mathcal {I}}(F)(z)=\int _0^zF(\zeta )\,d\zeta \). Then \(|(L\circ {\mathcal {I}})(F)|\lesssim \Vert {\mathcal {I}}(F)\Vert _{D^p_{\omega }}=\Vert F\Vert _{A^p_{\omega }}\) for all \(F\in A^p_{\omega }\). Therefore \(L\circ {\mathcal {I}}\in (A^p_{\omega })^\star \). It is known by [21, Theorem 1] that \((A^p_{\omega })^\star \) is isomorphic to the Bloch space via the \(A^2_{W}\)-pairing. Hence there exists a unique \(G\in {\mathcal {B}}\) such that \(\Vert G\Vert _{\mathcal {B}}\lesssim \Vert L\circ {\mathcal {I}}\Vert \lesssim \Vert L\Vert \) and \((L\circ {\mathcal {I}})(F)=\langle F,G\rangle _{A^2_{W}}\) for all \(F\in A^p_{\omega }\). Moreover, for each \(f\in D^p_{\omega }\), there exists \(F=F_f\in A^p_{\omega }\) such that \({\mathcal {I}}(F)=f-f(0)\). Therefore
By picking up \(g\in {\mathcal {H}}({\mathbb {D}})\) such that \(g'=G\) and \(g(0)=\overline{L(1)}\) we deduce \(L(f)=\langle f,g\rangle _{D^2_{W}}\) for all \(f\in D^p_{\omega }\), and \(\Vert g\Vert _{{\mathcal {Z}}}=\Vert G\Vert _{\mathcal {B}}+|L(1)|\lesssim \Vert L\Vert \). \(\square \)
We next give an identification, useful for our purposes, for the dual space of \(D^1_\omega \) in the case when \(\omega \in \widehat{{\mathcal {D}}}\). To this end, for a radial weight \(\omega \), consider the space
Let now \(\text {IBMOA}(\infty ,\omega )\) denote space of primitives of functions in \(\text {BMOA}(\infty ,\omega )\) endowed with the norm
Lemma 10
Let \(\omega \in \widehat{{\mathcal {D}}}\). Then \((D^1_{\omega })^\star \simeq \text {IBMOA}(\infty ,\omega )\) via the pairing
with equivalence of norms.
Proof
First observe that \(\omega {\widehat{\omega }}\in \widehat{{\mathcal {D}}}\), and
by Lemma A(iii). This together with [13, Theorem 4] gives \((A^1_\omega )^\star \simeq \text {BMOA}(\infty ,\omega )\) via the \(A^2_{\omega {\widehat{\omega }}}\)-pairing. Therefore
and hence
Thus each \(g\in \text {IBMOA}(\infty ,\omega )\) induces a bounded linear functional on \(D^1_\omega \) via the \(D^2_{\omega {\widehat{\omega }}}\)-pairing.
The proof can be completed by analogous arguments to those used in the second part of the proof of Lemma 9. The only extra ingredient needed is [13, Theorem 4] which states that \((A_{\omega }^1)^\star \simeq \text {BMOA}(\infty ,\omega )\) via \(A^2_{\omega {\widehat{\omega }}}\)-pairing. Since the details do not give us anything new, we omit them. \(\square \)
The dual space of the Banach space \(\text {HL}_p^{\omega }\) with \(1<p<\infty \) can be described as follows. The proof is straightforward and hence omitted.
Lemma 11
Let \(1<p<\infty \) and \(\omega \in \widehat{{\mathcal {D}}}\). Then \((\text {HL}^{\omega }_p)^\star \simeq \text {HL}^{\omega }_{p'}\) via the pairing
with equivalence of norms.
4 Case \(0<p<1\)
We begin with the following lemma which concerns the range \(0<p\le 1\). It proves the equivalence between (ii) and (iii) in Theorem 1, and since \(\omega _x\asymp {\widehat{\omega }}\left( 1-\frac{1}{x}\right) \) due to Lemma A(iii), it also gives an equivalent condition in terms of moments.
Lemma 12
Let \(0<p\le 1\) and \(\omega \in \widehat{{\mathcal {D}}}\). Then the following statements are equivalent:
-
(i)
\(\sup _{0\le r<1}\frac{(1-r)^{2-\frac{1}{p}}}{{\widehat{\omega }}(r)^{\frac{1}{p}}}<\infty \);
-
(ii)
\(\sup _{0\le r<1}\left( (1-r)\sum _{k=1}^{\infty }\frac{r^{2(k-1)}}{{\widehat{\omega }}(1-\frac{1}{k})^{\frac{1}{p}}k^{2-\frac{1}{p}}}\right) <\infty \);
-
(iii)
\(I:D^p_{\omega }\rightarrow D^1_0\) is bounded.
Similarly, the following statements are equivalent:
-
(i)
\(\limsup _{r\rightarrow 1^-}\frac{(1-r)^{2-\frac{1}{p}}}{{\widehat{\omega }}(r)^{\frac{1}{p}}}=0\);
-
(ii)
\(\limsup _{r\rightarrow 1^-}\left( (1-r)\sum _{k=1}^{\infty }\frac{r^{2(k-1)}}{{\widehat{\omega }}(1-\frac{1}{k})^{\frac{1}{p}}k^{2-\frac{1}{p}}}\right) =0\);
-
(iii)
\(I:D^p_{\omega }\rightarrow D^1_0\) is compact.
Proof
We first observe that in both sets of statements (i) and (iii) are equivalent for all \(0<p\le 1\) by the Carleson embedding theorems [16, Theorem 2.1] and [19, Theorem 3]. We next show that (i) and (ii) are equivalent. Direct calculations show that
where
Moreover,
Further, by Lemma A(ii) and the change of variable \(r^\frac{2}{1-t}=s\), we deduce
By combining (4.1), (4.2) and (4.3), we obtain
Hence (ii) is equivalent to (iii) for all \(0<p\le 1\). \(\square \)
We next prove the boundedness part for the case \(0<p<1\) of Theorem 1. As an immediate consequence we deduce that if \(\omega \in \widehat{{\mathcal {D}}}\) and \(0<p\le \frac{1}{2}\) then \(T(D^p_{\omega }, H^{\infty })\) consists of constant functions only.
Theorem 13
Let \(0<p<1\), \(\omega \in \widehat{{\mathcal {D}}}\) and \(g\in H^{\infty }\). Then the following statements are equivalent:
-
(i)
\(T(D^p_{\omega }, H^{\infty })\) consists of constant functions only;
-
(ii)
\(\sup _{0\le r<1}\frac{(1-r)^{2-\frac{1}{p}}}{{\widehat{\omega }}(r)^{\frac{1}{p}}}=\infty \);
-
(iii)
\(\sup _{0\le r<1}\left( (1-r)\sum _{k=1}^{\infty }\frac{r^{2(k-1)}}{{\widehat{\omega }}(1-\frac{1}{k})^{\frac{1}{p}}k^{2-\frac{1}{p}}}\right) =\infty \);
-
(iv)
\(I: D^p_{\omega }\rightarrow D^1_0\) is unbounded.
Proof
First observe that (ii)-(iv) are equivalent by Lemma 12. We next show that (i) and (iii) are equivalent. A careful inspection of the proof of [4, Theorem 1.1] shows that it can be applied to the space \(D^p_{\omega }\) in the case \(0<p<1\) even if it is not a Banach space. By this observation and Lemma 9, \(T_g: D^p_{\omega }\rightarrow H^{\infty }\) is bounded if and only if \(\sup _{z\in {\mathbb {D}}}\Vert G^{D^2_{W}}_{g,z}\Vert _{{\mathcal {Z}}}<\infty \), where \(\overline{G^{D^2_{W}}_{g,z}(w)}=\int _0^zg'(\zeta )\overline{K^{D^2_{W}}_{\zeta }(w)}\,d\zeta \) and \(K^{D^2_{W}}_{\zeta }(w)=1+\sum _{k=1}^{\infty }\frac{{\overline{\zeta }}^kw^k}{2k^2W_{2k-1}}\) is the reproducing kernel of \(D^2_{W}\) at the point \(\zeta \in {\mathbb {D}}\).
Assume (iii) holds. A direct calculation shows that
Then Fubini’s theorem and Hardy’s inequality yield
If \(g\in T(D^p_{\omega }, H^{\infty })\) is not a constant, then there exists an \(N\in {\mathbb {N}}\cup \{0\}\) such that \({\widehat{g}}(N+1)\ne 0\). Since \(W\in {\mathcal {D}}\) by the proof of [21, Theorem 1], Lemma A(iii) and the identity \({\widehat{W}}(z)={\widehat{\omega }}(z)^{\frac{1}{p}}(1-|z|)^{\frac{1}{p}-1}\) imply \(W_{2k-1}\asymp {\widehat{\omega }}\left( 1-\frac{1}{k}\right) ^\frac{1}{p}k^{1-\frac{1}{p}}\) for all \(k\in {\mathbb {N}}\). Now that \({\widehat{g}}(N+1)\ne 0\), we deduce
This contradiction shows that (i) is satisfied.
Conversely assume that (iii) does not hold. We claim that then \(T(D^p_{\omega }, H^{\infty })\) contains all polynomials. As a matter of fact, if \(g(z)=m_n(z)=z^n\) for some \(n\in {\mathbb {N}}\), then the hypothesis \(\omega \in \widehat{{\mathcal {D}}}\) yields
Thus (i) and (iii) are equivalent, and the proof if complete. \(\square \)
According to Theorem 13, the boundedness of \(I:D^p_{\omega }\rightarrow D^1_0\) is equivalent to the statement that \(T(D^p_{\omega },H^{\infty })\) contains a non-constant function if \(0<p<1\). However, such an equivalence is no longer valid for the case \(1<p<\infty \). We will give a counterexample after Proposition 22 in Sect. 6, where the range \(1<p<\infty \) is systematically studied.
Theorem 13 has the following interesting consequence.
Corollary 14
Let \(0<p<1\), \(\omega \in \widehat{{\mathcal {D}}}\) and \(g\in {\mathcal {H}}({\mathbb {D}})\), and let \(X^{\omega }_{p}\in \left\{ \text {HL}^{\omega }_{p}, A^p_{\omega }, D^p_{{\widetilde{\omega }}_{[p]}}\right\} \). Then \(T_g: X^\omega _{p}\rightarrow H^\infty \) is bounded if and only if g is a constant.
Proof
Since \(\omega \in \widehat{{\mathcal {D}}}\) by the hypothesis, we have
and hence
Therefore Theorem 13 shows that \(T_g:D^p_{{\widetilde{\omega }}_{[p]}}\rightarrow H^\infty \) is bounded if and only if g is a constant. Since \(D^p_{{\widetilde{\omega }}_{[p]}}\subset A^p_{\omega }\subset \text {HL}^{\omega }_{p}\) by Proposition 4(i), the assertion follows. \(\square \)
We next prove the counterpart of Theorem 13 for compact operators, which covers the compactness part for the case \(0<p<1\) of Theorem 1.
Theorem 15
Let \(0<p<1\), \(\omega \in \widehat{{\mathcal {D}}}\) and \(g\in H^{\infty }\). Then the following statements are equivalent:
-
(i)
\(T_c(D^p_{\omega }, H^{\infty })\) consists of constant functions only;
-
(ii)
\(\limsup _{r\rightarrow 1^-}\frac{(1-r)^{2-\frac{1}{p}}}{{\widehat{\omega }}(r)^{\frac{1}{p}}}>0\);
-
(iii)
\(\limsup _{r\rightarrow 1^-}\left( (1-r)\sum _{k=1}^{\infty }\frac{r^{2k}}{{\widehat{\omega }}(1-\frac{1}{k})^{\frac{1}{p}}k^{2-\frac{1}{p}}}\right) >0\);
-
(iv)
\(I: D^p_{\omega }\rightarrow D^1_0\) is not compact.
Proof
We first observe that (ii)–(iv) are equivalent by Lemma 12. We next prove (ii)\(\Rightarrow \)(i) by showing that if \(T_g:D^p_\omega \rightarrow H^\infty \) is compact and g is not a constant, then (ii) fails. To see this we first note that by following the proof of [20, Theorem 2(iii)] line by line, with minor modifications, gives
whenever \(T_g:D^p_\omega \rightarrow H^\infty \) is compact. If g is not a constant, then there exists an \(N\in {\mathbb {N}}\cup \{0\}\) such that \({\widehat{g}}(N+1)\ne 0\). Therefore, by using the first part of the proof of Theorem 13, we obtain
Now, a change of variable and Lemma A(iii) applied to \(W\in {\mathcal {D}}\) yield
By Lemma A(ii), there exists a \(\beta =\beta (W)>0\) such that \(\frac{{\widehat{W}}(t)}{(1-t)^\beta }\lesssim \frac{{\widehat{W}}(r)}{(1-r)^\beta }\) whenever \(0\le t\le r<1\). This together with the similar estimates as (4.1)–(4.3) yields
Therefore, by combining (4.5)–(4.7), and then applying Lemma A(ii) and the identity \({\widehat{W}}(z)={\widehat{\omega }}(z)^{\frac{1}{p}}(1-|z|)^{\frac{1}{p}-1}\) we finally obtain
which contradicts (ii). Thus (ii) implies (i).
We complete the proof by showing that (i) implies (iv). This implication is established by proving that \(T_g:D^p_\omega \rightarrow H^\infty \) is compact, whenever \(I:D^p_\omega \rightarrow D^1_0\) is compact and \(g'\in H^\infty \). Observe that,
by [22, Hilfssatz 1]. Further,
and hence
By combining (4.8) and (4.9) we deduce
and thus \(T_g:D^1_0\rightarrow H^\infty \) is bounded and \(\Vert T_g\Vert _{D^1_0\rightarrow H^\infty }\lesssim \Vert g'\Vert _{H^\infty }\). Since \(I:D^p_\omega \rightarrow D^1_0\) was assumed to be compact, \(T_c(D^p_\omega ,H^\infty )\) contains each \(g\in {\mathcal {H}}({\mathbb {D}})\) such that \(g'\in H^\infty \). \(\square \)
In the case when the Maclaurin coefficients of the symbol are non-negative, we have the following result which establishes the statement in Theorem 3(i).
Proposition 16
Let \(0<p<1\) and \(\omega \in \widehat{{\mathcal {D}}}\), and let \(g\in H^\infty \) such that \({\widehat{g}}(n)\ge 0\) for all \(n\in {\mathbb {N}}\cup \{0\}\). Then \(T_g:D^p_{\omega }\rightarrow H^\infty \) is bounded if and only if
and
Moreover, \(T_g:D^p_{\omega }\rightarrow H^\infty \) is compact if and only if
Proof
The first part of the proof of Theorem 13, with minor modifications, show that
Since \(\omega ,W\in \widehat{{\mathcal {D}}}\), Lemma A(ii)(iii) yields
The statements concerning the boundedness are now proved.
To verify the assertion on the compactness, assume first that \(T_g:D^p_{\omega }\rightarrow H^\infty \) is compact. Let \((H^\infty )^\star \) be the identification of the dual of \(H^\infty \) via the \(D^2_W\)-pairing. Then \(T_g^*:(H^\infty )^\star \rightarrow (D^p_\omega )^\star \) is compact. Moreover, by [4, (2.4)],
and hence \(T_g^*(K_z^{D^2_W})=G^{D^2_W}_{g,z}\) and \(\Vert K_z^{D^2_W}\Vert _{(H^\infty )^\star }\le 1\) for all \(z\in {\mathbb {D}}\). Therefore \(\{G^{D^2_W}_{g,z}:z\in {\mathbb {D}}\}\) is relatively compact in \({\mathcal {Z}}\) by Lemma 9. Hence, for a given \(\varepsilon >0\), there exist \(z_1,z_2,\ldots ,z_N\in {\mathbb {D}}\) such that for each \(z\in {\mathbb {D}}\), we have \(\Vert G^{D^2_W}_{g,z}-G^{D^2_W}_{g,z_j}\Vert _{{\mathcal {Z}}}<\varepsilon \) for some \(j=j(z)\in \{1,\ldots ,N\}\). This together with the fact that \(\lim _{|w|\rightarrow 1^-}|(G^{D^2_W}_{g,z_j})^{\prime \prime }(w)|(1-|w|)=0\) for each \(j\in \{1,\dots N\}\), implies that
Consequently, by the hypothesis \({\widehat{g}}(n)\ge 0\) for all \(n\in {\mathbb {N}}\cup \{0\}\) and the first part of the proof, we have
Conversely, assume that (4.10) holds. To prove the compactness of \(T_g: D^p_\omega \rightarrow H^\infty \), it suffices to show that each norm bounded family \(\{f_n\}\) in \(D^p_\omega \) such that \(f_n\rightarrow 0\) uniformly on compact subsets of \({\mathbb {D}}\) satisfies \(\Vert T_g(f_n)\Vert _{H^\infty }\rightarrow 0\), as \(n\rightarrow \infty \). Let now \(\{f_n\}\) be such a family. An argument similar to that employed in the proof of Lemma 9 yields
By the uniform convergence we may choose \(N=N(\varepsilon ,R)\in {\mathbb {N}}\) such that \(\max \{|f_n(0)|,|f'_n(0)|,|f^{''}_n(\xi )|\}<\varepsilon \) for all \(n\ge N\) and \(\xi \in \overline{D(0,R)}\). Therefore the first part of the proof concerning the boundedness, and(4.10) imply
Further, by (4.10), for each \(\varepsilon >0\) there exists an \(R=R(\varepsilon )\in (0,1)\) such that \(|(G^{D^2_W}_{g,z})^{\prime \prime }(z)|(1-|z|)<\varepsilon \) for \(|z|>R\). Since \(\Vert f'_n\Vert _{D^1_{{\widehat{W}}}}\lesssim \Vert f_n\Vert _{D^p_\omega }\) by the proof of Lemma 9, we deduce
By combining (4.11)–(4.13) we deduce \(\lim _{n\rightarrow \infty }\Vert T_gf_n\Vert _{H^\infty }=0\). \(\square \)
Theorem 13 shows that \(\frac{1}{2}<p<1\) is a necessary condition for \(T(D^p_\omega ,H^\infty )\) to be nontrivial (provided \(0<p<1\)). In this case there exist weights \(\omega \in {\mathcal {D}}\) and symbols g such that \(T_g:D^p_\omega \rightarrow H^\infty \) is bounded but not compact. As a matter of fact the standard weight \(\omega (z)=(1-|z|)^{2p-2}\) satisfies \(\limsup _{r\rightarrow 1^-}\frac{(1-r)^{2-\frac{1}{p}}}{{\widehat{\omega }}(r)^{\frac{1}{p}}}=\frac{1}{\root p \of {2p-1}}>0\), and thus \(T_c(D^p_\omega , H^\infty )\) consists of constant functions only by Theorem 15. However, it is easy to see that in this case \(T(D^p_\omega , H^\infty )\) contains all polynomials.
5 Case \(p=1\)
We begin with the following result which covers the boundedness part for the case \(p=1\) of Theorem 1.
Theorem 17
Let \(\omega \in \widehat{{\mathcal {D}}}\) and \(g\in {\mathcal {H}}({\mathbb {D}})\). Then the following statements are equivalent:
-
(i)
\(T(D^1_\omega ,H^\infty )\) consists of constant functions only;
-
(ii)
\(\sup _{0\le r<1} \frac{(1-r)}{{\widehat{\omega }}(r)}=\infty \);
-
(iii)
\(\sup _{0\le r<1}\left( (1-r)\sum _{k=1}^\infty \frac{r^k}{(k+1)\omega _k}\right) =\infty \);
-
(iv)
\(I:D^1_\omega \rightarrow D^1_0\) is unbounded.
Proof
First observe that (ii)–(iv) are equivalent by Lemma 12. We show next that (ii) implies (i). Assume (ii), and suppose on the contrary to (i) that there exists a \(g\in T(D^1_\omega ,H^\infty )\) such that \({\widehat{g}}(N+1)\ne 0\) for some \(N\in {\mathbb {N}}\cup \{0\}\). Then [4, Theorem 1.1] and Lemma 10 show that \(g\in T(D^1_\omega ,H^\infty )\) if and only if \(\sup _{z\in {\mathbb {D}}}\Vert G^{D^2_{\omega {\widehat{\omega }}}}_{g,z}\Vert _{\text {IBMOA}(\infty ,\omega )}<\infty \), where \(\overline{G^{D^2_{\omega {\widehat{\omega }}}}_{g,z}(w)}=\int _0^zg'(\zeta )\overline{K^{D^2_{\omega {\widehat{\omega }}}}_{\zeta }(w)}\,d\zeta \) and \(K^{D^2_{\omega {\widehat{\omega }}}}_{\zeta }(w)=1+\sum _{k=1}^{\infty }\frac{{\overline{\zeta }}^kw^k}{2k^2(\omega {\widehat{\omega }})_{2k-1}}\) is the reproducing kernel of \(D^2_{\omega {\widehat{\omega }}}\) associated with the point \(\zeta \in {\mathbb {D}}\). A simple computation shows that
Therefore
Since \(\omega \in \widehat{{\mathcal {D}}}\), we have \(\omega {\widehat{\omega }}\in \widehat{{\mathcal {D}}}\). This fact and Lemma A(ii) together with standard arguments yield
Therefore
This contradicts (ii). Thus we have shown that (ii) implies (i).
The last part of the proof of Theorem 15 shows that if (iv) is not satisfied, that is, \(D^1_\omega \) is continuously embedded into \(D^1_0\), then \(T(D^1_\omega ,H^\infty )\) contains all analytic functions with bounded derivative. This observation implies that (iv) follows from (i), and completes the proof of the theorem. \(\square \)
Theorem 17 has the following interesting consequence.
Corollary 18
Let \(\omega \in \widehat{{\mathcal {D}}}\), \(g\in {\mathcal {H}}({\mathbb {D}})\) and \(X^{\omega }_{1}\in \{\text {HL}^{\omega }_{1}, A^1_{\omega }, D^1_{{\widetilde{\omega }}_1}\}\). Then \(T(X^{\omega }_{1},H^\infty )\) consists of constant functions only.
Proof
Since
the assertion follows by Proposition 4 and Theorem 17. \(\square \)
Next, we prove the compact version of Theorem 17, and hence prove the compactness part for the case \(p=1\) of Theorem 1.
Theorem 19
Let \(\omega \in \widehat{{\mathcal {D}}}\) and \(g\in {\mathcal {H}}({\mathbb {D}})\). Then the following statements are equivalent:
-
(i)
\(T_c(D^1_{\omega }, H^{\infty })\) consists of constant functions only;
-
(ii)
\(\limsup _{r\rightarrow 1^-}\frac{(1-r)}{{\widehat{\omega }}(r)}>0\);
-
(iii)
\(\limsup _{r\rightarrow 1^-}(1-r)\sum _{k=1}^\infty \frac{r^k}{(k+1)\omega _k}>0\);
-
(iv)
\(I: D^1_{\omega }\rightarrow D^1_0\) is not compact.
Proof
Lemma 12 and the proof of Theorem 15 show that (ii)–(iv) are equivalent, and (i) implies (iv). Therefore it remains to show that (ii) implies (i).
Assume (ii) and suppose on the contrary to (i) that there exists a \(g\in T_c(D^1_\omega ,H^\infty )\) such that \({\widehat{g}}(N+1)\ne 0\) for some \(N\in {\mathbb {N}}\cup \{0\}\). First observe that an argument similar to that used in the proof of [20, Theorem 2(iii)] gives
for each \(g\in T_c(D^1_\omega , H^\infty )\).
Arguing as in the proof of Theorem 17 we deduce
By (5.1) we obtain
The above estimates yield
This contradiction with (5.2) finishes the proof. \(\square \)
Now we prove Theorem 3(ii).
Proposition 20
Let \(\omega \in \widehat{{\mathcal {D}}}\), and let \(g\in H^\infty \) such that \({\widehat{g}}(n)\ge 0\) for all \(n\in {\mathbb {N}}\cup \{0\}\). Then \(T_g:D^1_{\omega }\rightarrow H^\infty \) is bounded if and only if
and
Moreover, \(T_g:D^1_{\omega }\rightarrow H^\infty \) is compact if and only if
Proof
The boundedness can be verified by using [4, Theorem 1.1], an argument similar to that used in the proof of Theorem 17, and Fatou’s lemma.
To verify the assertion on the compactness, assume first that \(T_g:D^1_{\omega }\rightarrow H^\infty \) is compact. A similar proof as that used in Proposition 16 together with Lemma 10 show that \(\{G^{D^2_W}_{g,z}:z\in {\mathbb {D}}\}\) is relatively compact in \(\text {IBMOA}(\infty ,\omega )\). Hence, for a given \(\varepsilon >0\), there exist \(z_1,z_2,\ldots ,z_N\in {\mathbb {D}}\) such that for each \(z\in {\mathbb {D}}\), we have \(\Vert G^{D^2_W}_{g,z}-G^{D^2_W}_{g,z_j}\Vert _{\text {IBMOA}(\infty ,\omega )}<\varepsilon \) for some \(j=j(z)\in \{1,\ldots ,N\}\). Therefore, we get
and thus
Consequently, by the hypothesis \({\widehat{g}}(n)\ge 0\) for all \(n\in {\mathbb {N}}\cup \{0\}\) and the first part of the proof, we have
Conversely, assume that (5.3) holds. To prove the compactness of \(T_g: D^1_\omega \rightarrow H^\infty \), it suffices to show that each norm bounded family \(\{f_n\}\) in \(D^1_\omega \) such that \(f_n\rightarrow 0\) uniformly on compact subsets of \({\mathbb {D}}\) satisfies \(\Vert T_g(f_n)\Vert _{H^\infty }\rightarrow 0\), as \(n\rightarrow \infty \). Let now \(\{f_n\}\) be such a family. By the uniform convergence we may choose \(N=N(\varepsilon ,R)\in {\mathbb {N}}\) such that \(\max \{|f_n(0)|,|f'_n(0)|\}<\varepsilon \) for all \(n\ge N\) and \(\xi \in \overline{D(0,R)}\). It is easy to see that
Further, by (5.3), for each \(\varepsilon >0\) there exists an \(R=R(\varepsilon )\in (0,1)\) such that
Therefore, this together with (5.4) and the well-known duality \((H^1)^\star \simeq \text {BMOA}\) via the \(H^2\)-pairing, implies
Hence \(\lim _{n\rightarrow \infty }\Vert T_g(f_n)\Vert _{H^\infty }=0\). The proof is complete. \(\square \)
6 Case \(1<p<\infty \)
For each \(g\in {\mathcal {H}}({\mathbb {D}})\), with Maclaurin series expansion \(g(z)=\sum _{k=0}^\infty {\widehat{g}}(k)z^k\), consider the dyadic polynomials defined by \(\Delta _0 g (z)=g(0)\) and \(\Delta _n g (z)=\sum _{k=2^{n}}^{2^{n+1}-1}{\widehat{g}}(k)z^k\) for all \(n\in {\mathbb {N}}\) and \(z\in {\mathbb {D}}\). Then, obviously, \(g=\sum _{n=0}^\infty \Delta _n g\). Further, write \(\Delta _0=1\) and \(\Delta _n(z)= \sum _{k=2^{n}}^{2^{n+1}-1}z^k\) for all \(n\in {\mathbb {N}}\) and \(z\in {\mathbb {D}}\). Then [4, Lemma 2.7] shows that
For \(a\in {\mathbb {D}}\), denote \(f_a(z)=f(az)\) for all \(z\in {\mathbb {D}}\). Without loss of generality, one can suppose that \(\int _0^1\omega (t)dt=1\). For each \(n\in {\mathbb {N}}\cup \{0\}\), define \(r_n=r_n(\omega )\in [0,1)\) by
For each \(x\in [0,\infty )\), let \(E(x)\in {\mathbb {N}}\cup \{0\}\) such that \(E(x)\le x<E(x)+1\), and set \(M_n=E(\frac{1}{1-r_n})\). Write
and
If \(f(z)=\sum _{n=0}^{\infty }{\widehat{f}}(n)z^n\) is analytic in \({\mathbb {D}}\), define the polynomials \(\Delta _n^{\omega }f\) by
The Hadamard product of \(f,g\in {\mathcal {H}}({\mathbb {D}})\) is formally defined by \((f*g)(z)=\sum _{n=0}^\infty {\widehat{f}}(n){\widehat{g}}(n)z^n\).
We next prove the statement in Theorem 3(iii).
Theorem 21
Let \(1<p<\infty \) and \(\omega \in \widehat{{\mathcal {D}}}\), and let \(g\in H^\infty \) with \({\widehat{g}}(n)\ge 0\) for all \(n\in {\mathbb {N}}\cup \{0\}\). Then \(T_g: D^p_{\omega }\rightarrow H^\infty \) is bounded (equivalently compact) if and only if
Moreover,
Proof
We begin with showing that (6.2) is a sufficient condition for \(T_g: D^p_{\omega }\rightarrow H^\infty \) to be bounded. By [4, Theorem 1.1], Lemma 8, [14, Theorem 3.4] and [17, Lemma E], we deduce
where the last step is valid because \(\omega _{2x}\asymp \omega _x\), \(1\le x<\infty \), and \(\omega _{M_{j+1}}\asymp \omega _{M_j}\asymp 2^{-j}\), \(j\in {\mathbb {N}}\), by Lemma A(iii). We consider two different cases. Let first \(1<p\le 2\). Then \(2\le p'<\infty \), and hence (2.2) yields
If \(2<p<\infty \), then [4, Theorem 1.1], Lemma 8, (2.1), [9, Theorem 2.1], [17, Lemma E], Fubini’s theorem and Lemma A(iii) imply
Now [20, Proposition 9] shows that
and hence (6.1) yields
Thus (6.2) is a sufficient condition for \(T_g: D^p_{\omega }\rightarrow H^\infty \) to be bounded.
Conversely, assume \(g\in {\mathcal {H}}({\mathbb {D}})\) such that \({\widehat{g}}(n)\ge 0\) for all \(n\in {\mathbb {N}}\cup \{0\}\), and \(T_g:D^p_{\omega }\rightarrow H^{\infty }\) is bounded. Then (6.4) implies
For each \(x\in (0,1)\), the coefficients
form a sequence of non-negative and decreasing numbers. Therefore (2.5) implies
Thus (6.2) is satisfied. Further, the norm estimate (6.3) follows from the proof above.
To complete the proof, it suffices to show that (6.2) yields the compactness of \(T_g: D^p_{\omega }\rightarrow H^\infty \). We claim that
If \(2\le p'<\infty \), then (2.2), Fubini’s theorem and Lemma A(iii) yield
Since \(\frac{1}{\omega _k}\int _{R}^1r^{kp'}\omega (r)dr\lesssim 1\) for all \(k\in {\mathbb {N}}\cup \{0\}\) and \(0\le R<1\), the dominated convergence theorem implies (6.5).
If \(1<p'<2\), then by (2.1), together with an argument similar to the case \(2<p<\infty \) in the first part of the proof and the dominated convergence theorem, we deduce (6.5).
Let now \(\{f_n\}\) be a norm bounded family of functions in \(D^p_{\omega }\) such that \(f_n\rightarrow 0\) uniformly on compact subsets of \({\mathbb {D}}\). By (6.5), for each \(\varepsilon >0\), there exists \(R=R(\varepsilon )\in (0,1)\) such that
Further, by the uniform convergence we may choose \(N=N(\varepsilon ,R)\in {\mathbb {N}}\) such that \(\max \{|f_n(0)|,|f_n'(\zeta )|\}<\varepsilon \) for all \(n\ge N\) and \(\zeta \in {{\overline{{\mathbb {D}}}}}(0,R)\). Therefore [4, (2.4)] and Hölder’s inequality yield
Hence \(T_g:D^p_{\omega }\rightarrow H^\infty \) is compact by [25, Lemma 3.6]. \(\square \)
The next result says that the spaces \(\text {HL}^{\omega }_{p}\), \(A^p_{\omega }\) and \(D^p_{{\widetilde{\omega }}_{[p]}}\) play the same role when \(T_g\) acts from one of them to \(H^\infty \) in terms of boundedness and compactness, provided g has non-negative Maclaurin series coefficient and \(\omega \in \widehat{{\mathcal {D}}}\).
Proposition 22
Let \(1<p<\infty \), \(\omega \in \widehat{{\mathcal {D}}}\), \(g\in H^\infty \) with \({\widehat{g}}(n)\ge 0\) for all \(n\in {\mathbb {N}}\cup \{0\}\), and let \(X^{\omega }_{p}\in \{\text {HL}^{\omega }_{p}, A^p_{\omega }, D^p_{{\widetilde{\omega }}_{[p]}}\}\). Then \(T_g:X^{\omega }_p\rightarrow H^\infty \) is bounded (equivalently compact) if and only if
Moreover,
Proof
Assume first that \(X^\omega _p=D^p_{{\widetilde{\omega }}_{[p]}}\). By applying Lemma A(iii) we deduce \(({\widetilde{\omega }}_{[p]})_{k}\asymp \omega _{k}(k+1)^{-p}\) for all \(k\in {\mathbb {N}}\cup \{0\}\). Therefore Theorem 21, applied to \({\widetilde{\omega }}_{[p]}\), yields
Moreover, the boundedness of \(T_g: D^p_{{\widetilde{\omega }}_{[p]}}\rightarrow H^\infty \) is equivalent to its compactness. Therefore, by Proposition 4, to finish the proof, it suffices to prove the statement for \(X^\omega _p=\text {HL}^\omega _p\).
By [4, Theorem 2.2] and Lemma 11, \(T_g:\text {HL}_p^{\omega }\rightarrow H^{\infty }\) is bounded if and only if \(\sup _{z\in {\mathbb {D}}}\Vert G^{A^2_\omega }_{g,z}\Vert _{\text {HL}^{\omega }_{p'}}<\infty \), and further, \(\Vert T_g\Vert _{\text {HL}_{p}^{\omega }\rightarrow H^{\infty }}\asymp \sup _{z\in {\mathbb {D}}}\Vert G^{A^2_\omega }_{g,z}\Vert _{\text {HL}^{\omega }_{p'}}\). Obviously,
and by Fatou’s lemma,
Finally, we will prove that (6.6) implies the compactness of \(T_g:\text {HL}_p^{\omega }\rightarrow H^{\infty }\). To this end, let \(\{f_n\}\) be a norm bounded family in \(\text {HL}^\omega _{p}\) such that \(f_n\rightarrow 0\) uniformly on compact subsets of \({\mathbb {D}}\). Then, for each \(\varepsilon >0\) there exists \(k_0=k_0(\varepsilon )\in {\mathbb {N}}\) such that
Furthermore, by the uniformly convergence we may choose an \(n_0=n_0(\varepsilon )\in {\mathbb {N}}\) such that
Then Hölder’s inequality yields
Hence \(\lim _{n\rightarrow \infty }\Vert T_g(f_n)\Vert _{H^\infty }=0\). Consequently, \(T_g:\text {HL}^\omega _p\rightarrow H^\infty \) is compact by [25, Lemma 3.6]. The proof is complete. \(\square \)
The proof of Theorem 15 implies that, for each \(0<p<\infty \), the boundedness of \(I:D^p_{\omega }\rightarrow D^1_0\) implies \(g\in T(D^p_{\omega },H^\infty )\) whenever \(g'\in H^\infty \). In particular, each monomial satisfies \(m_n\in T(D^p_{\omega },H^{\infty })\) and thus \(T(D^p_{\omega },H^\infty )\) is not trivial. Conversely, if \(0<p\le 1\), then Theorems 13 and 17 show that \(T(D^p_{\omega },H^\infty )\) being non-trivial implies the boundedness of \(I:D^p_{\omega }\rightarrow D^1_0\). This is no longer true if \(1<p<\infty \). Indeed, by the Carleson embedding theorem [15, Theorem 1], for \(1<p<\infty \), \(I:D^p_{\omega }\rightarrow D^1_0\) is bounded if and only the function
belongs to \(L^{p'}_{\omega }\). Here
is the lens-type region with vertex at \(z\in {\mathbb {D}}\setminus \{0\}\) and \(T(\zeta )=\{z\in {\mathbb {D}}:\zeta \in \Gamma (z)\}\). By Lemma A(ii), we deduce
The standard radial weight \(\omega (z)=(1-|z|)^{\alpha }\), with \(\frac{1}{p'-1}\le \alpha <\frac{2}{p'-1}\), satisfies
Thus the next result shows that \(T(D^p_{\omega },H^\infty )\) being non-trivial does not force \(I:D^p_{\omega }\rightarrow D^1_0\) to be bounded when \(1<p<\infty \).
Theorem 2 follows from the next result.
Theorem 23
Let \(1<p<\infty \), \(\omega \in \widehat{{\mathcal {D}}}\) and \(g\in H^{\infty }\). Then the following statements are equivalent:
-
(i)
\(T(D^p_{\omega }, H^{\infty })\) (equivalently \(T_c(D^p_{\omega }, H^{\infty })\)) consists of constant functions only;
-
(ii)
\(\int _0^1\frac{(1-r)^{p'}}{{\widehat{\omega }}(r)^{p'-1}}\,dr=\infty \);
-
(iii)
\(\sum _{k=0}^{\infty }\frac{1}{(k+1)^{2+p'}\omega _k^{p'-1}}=\infty \);
-
(iv)
\(I:D^{p^*}_{{\widehat{\omega }}_{[x]}}\rightarrow D^{\frac{p^*}{p}}_y\) is unbounded, where \(x=p(y-1)\), \(x>y>p'\) and \(0<p^*<\infty \).
Proof
By Lemma A(iii), the moments of \(\omega \) satisfy \(\omega _x\asymp {\widehat{\omega }}(1-\frac{1}{x+1})\) for all \(x\in [0,\infty )\), and hence
Thus (ii) and (iii) are equivalent.
If (iii) does not hold, then Theorem 21 shows that the identity mapping \(z\mapsto z\) belongs to \(T_c(D^p_{\omega },H^\infty )\). Therefore (i) implies (iii).
We next show that (iii) implies (i). Assume on the contrary to (i) that there exists a non-constant \(g\in T(D^p_{\omega }, H^{\infty })\). Then \({\widehat{g}}(N+1)\ne 0\) for some \(N\in {\mathbb {N}}\cup \{0\}\). We consider two cases. If \(1<p'\le 2\), then [4, Theorem 1.1], Proposition 4(i), and (2.1) yield
Observe that, in this case N is irrelevant but by and large, using the boundedness of the M. Riesz projection in the last inequality we can get a better estimate. Anyhow, this contradicts (iii), and thus (i) is satisfied.
Let now \(2\le p'<\infty \). Then, by (2.2), [9, Theorem 2.1], two consecutive applications of [17, Lemma E], Lemma A(iv) and Fubini’s theorem, we deduce
from which Fubini’s theorem and M. Riesz projection theorem yield
Now, by [17, Lemma E] and [4, Lemma 2.7], with \(M_n=2^n\) and \(M_{n+1}=2^{n+1}\), we deduce
Consequently, since \(\omega \in \widehat{{\mathcal {D}}}\), we finally obtain
which is contradicts (iii), and thus (i) is satisfied.
We complete the proof by showing that (ii) and (iv) are equivalent. By [15, Theorem 1], \(I:D^{p^*}_{{\widehat{\omega }}_{[x]}}\rightarrow D^{\frac{p^*}{p}}_y\) is bounded if and only if
On one hand, by Lemma A(ii), there exists a constant \(\beta =\beta (\omega )>0\) such that
On the other hand,
Since \(x=p(y-1)\), (ii) and (iv) are equivalent. \(\square \)
We finish the section with observations on \(A^p_\omega \) with \(1<p<\infty \) and \(\omega \in \widehat{{\mathcal {D}}}\). The method of proof we employed for \(D^p_\omega \) certainly works also for \(A^p_\omega \). The analogue of Theorem 21 states that
while the argument used to obtain Theorem 23 shows that \(T(A^p_{\omega }, H^{\infty })\) (equivalently \(T_c(A^p_{\omega }, H^{\infty })\)) consists of constant functions only if and only if
This last result extends [4, Theorem 1.3] from the setting of regular weight to the whole doubling class \(\widehat{{\mathcal {D}}}\). In the case \(1<p\le 2\) we can actually easily do better. Namely, if \(1<p<\infty \), \(\omega \in \widehat{{\mathcal {D}}}\) and \(g\in H^\infty \), then Theorem 23 implies that \(T(D^p_{{\widetilde{\omega }}_{[p]}},H^\infty )\) consists of constant functions only if and only if
Since Lemma A(ii) yields \(\int _r^1{\widehat{\omega }}(t)(1-t)^{p-1}\,dt\asymp {\widehat{\omega }}(r)(1-r)^p\) for all \(0\le r<1\), it follows that this condition is equivalent to (6.8). Further, since \(D^p_{{\widetilde{\omega }}_{[p]}}\) might be strictly smaller than \(A^p_\omega \) when \(\omega \in \widehat{{\mathcal {D}}}\setminus {\mathcal {D}}\) by Propositions 4 and 5, this is indeed an improvement as claimed above. To judge whether or not we may replace \(A^p_\omega \) by \(\text {HL}^{\omega }_{p}\) in the case \(2<p<\infty \) is left as a task for an interested reader.
Data availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Aleman, A., Cima, J.A.: An integral operator on \(H^p\) and Hardy’s inequality. J. Anal. Math. 85, 157–76 (2001)
Aleman, A., Siskakis, A.: Integration operators on Bergman spaces. Indiana Univ. Math. J. 46, 337–356 (1997)
Anderson, A., Jovovic, M., Smith, W.: Some integral operators acting on \(H^\infty \). Integr. Equ. Oper. Theory 80, 275–291 (2014)
Contreras, M.D., Pommerenke, Ch., Peláez, J.A., Rättyä, J.: Integral operators mapping into the space of bounded analytic functions. J. Funct. Anal. 271, 2899–2943 (2016)
Duren, P.: Theory of \(H^p\) Spaces. Academic Press, New York (1970)
Flett, T.M.: The dual of an inequality of Hardy and Littlewood and some related inequalities. J. Math. Anal. Appl. 38, 746–765 (1972)
Hardy, G.H., Littlewood, J.E.: Notes on the theory of series (XIII): Some new properties of Fourier constants. J. Lond. Math. Soc. 6, 3–9 (1931)
Littlewood, J.E., Paley, R.E.A.C.: Theorems on Fourier series and power series (II). Proc. Lond. Math. Soc. (2) 42, 52–89 (1936)
Mateljević, M., Pavlović, M.: \(L^p\) behaviour of the integral means of analytic functions. Stud. Math. 77, 219–237 (1984)
Pavlović, M.: Analytic functions with decreasing coefficients and Hardy and Bloch spaces. Proc. Edinb. Math. Soc. (2) 56, 623–635 (2013)
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.: Harmonic conjugates on Bergman spaces induced by doubling weights. Anal. Math. Phys. 10(Paper No. 18), 22 (2020)
Peláez, J.A., Rättyä, J.: Bergman projection induced by radial weight. Adv. Math. 391, Paper No. 107950 (2021)
Peláez, J.A., Rättyä, J.: On the boundedness of Bergman projection. In: Advanced Courses of Mathematical Analysis VI, vol. 132, pp. 113–132. World Scientific Publishing, Hackensack (2017)
Peláez, J.A., Rättyä, J.: Embedding theorems for Bergman spaces via harmonic analysis. Math. Ann. 362, 205–239 (2015)
Peláez, J.A., Rättyä, J.: Weighted Bergman spaces induced by rapidly increasing weights. Mem. Am. Math. Soc. 227, vi+ 124 (2014)
Peláez, J.A., Rättyä, J.: Generalized Hilbert operators on weighted Bergman spaces. Adv. Math. 240, 227–267 (2013)
Peláez, J. A., Rättyä, J.: Bergman projection and BMO in hyperbolic metric—improvement of classical result. arXiv:2207.01086 (preprint)
Peláez, J.A., Rättyä, J., Sierra, K.: Embedding Bergman spaces into tent spaces. Math. Z. 281, 1215–1237 (2015)
Peláez, J.A., Rättyä, J., Wu, F.: Integral operators induced by symbols with non-negative Maclaurin coefficients mapping into \(H^{\infty }\). J. Geom. Anal. 32(Paper No. 148), 29 (2022)
Perälä, A., Rättyä, J.: Duality of weighted Bergman spaces with small exponents. Ann. Acad. Sci. Fenn. Math. 42, 621–626 (2017)
Pommerenke, Ch.: Uber die Mittelwerte und Koeffizienten multivalenter Funktionen. Math. Ann. 145, 285–296 (1961/62)
Pommerenke, Ch.: Schlichte Funktionen und analytische Funktionen von beschränkter mittlerer Oszillation. Comment. Math. Helv. 52, 591–602 (1977)
Smith, W., Stolyarov, D., Volberg, A.: Uniform approximation of Bloch functions and the boundedness of the integration operator on \(H^\infty \). Adv. Math. 314, 185–202 (2017)
Tjani, M.: Compact composition operators on Besov spaces. Trans. Am. Math. Soc. 355, 4683–4698 (2003)
Zygmund, A.: Trigonometric Series, 2nd edn. Cambridge University Press, New York (1959)
Acknowledgements
The authors would like to thank the referee for careful reading and checking, and for all the helpful suggestions and comments, which helps to make this paper more accurate and readable.
Funding
Open access funding provided by University of Eastern Finland (UEF) including Kuopio University Hospital.
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.
The research was supported in part by Ministerio de Economía y Competitividad, Spain, projects PGC2018-096166-B-100; La Junta de Andalucía, projects FQM210 S and UMA18-FEDERJA-002, and Vilho, Yrjö ja Kalle Väisälä foundation of Finnish Academy of Science and Letters, and by the Faculty of Science, Forestry and Technology of University of Eastern Finland (Projects: NO. 4900024 and NO. 29980040).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Peláez, J.Á., Rättyä, J. & Wu, F. Volterra-type operators mapping weighted Dirichlet space into \(H^\infty \). Math. Z. 304, 31 (2023). https://doi.org/10.1007/s00209-023-03290-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209-023-03290-x
Keywords
- Bergman space
- Bloch space
- \(\text {BMOA}\)
- Dirichlet space
- Dual space
- Hardy space
- Integral operator
- Volterra-operator
- Zygmund space