Abstract
We characterize the boundedness and compactness of a product-type operator, which, among others, includes all the products of the single composition, multiplication, and differentiation operators, from a general space to Bloch-type spaces. We also give some upper and lower bounds for the norm of the operator.
Similar content being viewed by others
1 Introduction
Let \(\mathbb {D}\) be the open unit disk in the complex plane \(\mathbb {C}\), \(\partial\mathbb {D}\) its boundary, \(dA(z)\) the normalized area measure on \(\mathbb {D}\) (i.e., \(A(\mathbb {D})=1\)), \(H(\mathbb {D})\) the class of all holomorphic functions on \(\mathbb {D}\), and \(S({\mathbb {D}})\) the family of all holomorphic self-maps of \({\mathbb {D}}\). Let
that is, the involutive automorphism of \(\mathbb {D}\) interchanging points a and 0. Simple calculation shows that
A strictly positive continuous function μ on \(\mathbb{D}\) is called weight. A weight μ is called radial if \(\mu(z) = \mu(|z|)\) for every \(z \in\mathbb{D}\). A radial weight μ is called typical if it is nonincreasing with respect to \(|z|\) and \(\mu(z) \to0\) as \(|z| \to1\). For a weight μ, the Bloch-type space \(\mathcal{B}_{\mu}=\mathcal{B}_{\mu}(\mathbb{D})\) is the space of all \(f\in H(\mathbb{D})\) such that
The little Bloch-type space \(\mathcal{B}_{\mu, 0}=\mathcal{B}_{\mu, 0}(\mathbb{D})\) consists of all \(f \in \mathcal{B}_{\mu}\) such that
The space \(\mathcal{B}_{\mu}\) is a Banach space with the norm
and if μ is a typical weight, then \(\mathcal{B}_{\mu,0}\) is a closed subspace of \(\mathcal{B}_{\mu}\). When \(\mu(z)=(1-|z|^{2})^{\alpha}\), \(\alpha>0\), \(\mathcal{B}_{\mu}\) reduces to the α-Bloch space, denoted by \(\mathcal{B}^{\alpha}\), whereas \(\mathcal{B}_{\mu, 0}\) reduces to the little α-Bloch space \(\mathcal{B}_{0}^{\alpha}\). For some information on Bloch-type spaces, see, for example, [1, 2].
Likewise, for a weight μ, the weighted-type space \(H^{\infty}_{\mu}=H^{\infty}_{\mu}(\mathbb{D})\) consists of all \(f \in H(\mathbb {D})\) such that
and the little weighted-type space \(H^{\infty}_{\mu,0}=H^{\infty}_{\mu,0}(\mathbb{D})\) consists of all \(f \in H^{\infty}_{\mu}\) such that
(see, e.g., [3]).
For \(0 < p < \infty\), \(-2 < q < \infty\), and \(0 \leq s <\infty\), the spaces \(F(p, q, s)\) and \(F_{0}(p, q, s)\) are defined as the sets of all \(f \in H(\mathbb {D})\) such that
and such that
for \(0< s<\infty\), respectively, whereas if \(s=0\), then \(F(p,q,0)=F_{0}(p,q,0)\) is defined naturally as the set of all \(f\in H({\mathbb {D}})\) such that
The spaces \(F(p, q, s)\) and \(F_{0}(p, q, s)\) are known as general families of function spaces. For \(1 \leq p < \infty\), \(F(p, q, s)\) is a Banach space with respect to the norm
and \(F_{0}(p, q, s) \) is a closed subspace of \(F(p, q, s)\). The importance of these spaces stems from the fact that for appropriate parameter values of \(p, q\), and s, they coincide with several classical function spaces. For example, \(F(2, 1, 0)\) is the Hardy space \(H^{2}\), \(F(p, p + \alpha, 0)\), \(\alpha>-1\), is the weighted Bergman space \(A^{p}_{\alpha}\), \(F(p, q, s) = \mathcal {B}^{\frac{2 + q}{p}}\) and \(F_{0}(p, q, s) = \mathcal {B}_{0}^{\frac{2 + q}{p}}\) for \(s > 1\), \(F(p, q, s) \subset\mathcal {B}^{\frac{2 + q}{p}}\) and \(F_{0}(p, q, s) \subset\mathcal {B}_{0}^{\frac{2 + q}{p}}\) for \(0 < s \leq1\), \(F(2, 0, p) = Q_{p}\) and \(F_{0}(2, 0, p) = Q_{p, 0}\), and \(F(2, 0, 1) = BMOA\), the space of analytic functions with bounded mean oscillation, and \(F_{0}(2, 0, 1) = VMOA\), the space of analytic functions with vanishing mean oscillation. If \(q + s \leq -1\), \(F(p, q, s)\) is trivial, that is, equal to the space of constant functions, whereas for \(q+s>-1\), it is nontrivial [4].
Let \(\varphi\in S(\mathbb{D})\). The composition operator \(C_{\varphi}\) induced by φ is defined by
For \(\psi\in H ( \mathbb{D} )\), the multiplication operator \(M_{\psi}\) is defined on \(H ( \mathbb{D} )\) by
The following product of these two operators \(W_{\varphi, \psi} = M_{\psi}\circ C_{\varphi}\), the so-called weighted composition operator, has been studied a lot recently.
The differentiation operator denoted by D is defined by
At first, the experts studied operator-theoretic properties of these operators on spaces of holomorphic functions in terms of their symbols separately. A systematic study of products of concrete linear operators between spaces of holomorphic functions started approximately a decade ago; see, for example, [5–32], and the related references therein. The first product-type operators different from weighted composition operators, which have been considerably studied, are the products of composition and differentiation operators (see, e.g., [6, 7, 9, 10, 13, 15, 16, 20, 25, 28] and the references therein). Quite recently, there appeared some more complex product-type operators that include some of classical operators, such as composition, differentiation, multiplication, or integral-type operators (see, e.g., [17–19, 28, 30, 33–35] and the related references therein).
The product-type operators consisting of exactly one composition, multiplication, and differentiation operator are the following:
for \(z \in\mathbb{D}\) and \(f \in H( \mathbb{D})\).
To treat the operators in (1) in a unified manner, Stević et al. [23, 24] introduced a generalized operator and studied it on the weighted Bergman spaces. Motivated by that operator, here we introduce the operator
where \(\psi_{1}\), \(\psi_{2} \in H(\mathbb {D})\), \(\varphi\in S(\mathbb {D})\), and \(n\in {\mathbb {N}}_{0}\). It is worth noticing that, among others, the composition operator, multiplication operator, differentiation operator, as well as all the products of composition, multiplication, and differentiation operators in (1), can be obtained from the operators \(T^{0}_{\psi_{1} , \psi_{2} , \varphi}\) and \(T^{1}_{\psi_{1} , \psi_{2} , \varphi}\) by fixing \(\psi_{1}\) and \(\psi_{2}\). More specifically, we have \(C_{\varphi} = T^{0}_{1 , 0 , \varphi}\), \(M^{0}_{\psi} = T^{0}_{\psi, 0 , z}\), \(D = T^{1}_{1 , 0 , z} = T^{0}_{0 , 1 , z}\), \(M_{\psi}C_{\varphi} = T^{0}_{\psi, 0 , \varphi}\), \(C_{\varphi}D = T^{1}_{1 , 0 , \varphi} = T^{0}_{0 , 1 , \varphi}\), \(C_{\varphi} M_{\psi}= T^{0}_{\psi\circ\varphi, 0 , \varphi}\), \(DC_{\varphi} = T^{0}_{0, \varphi' , \varphi} = T^{1}_{\varphi', 0 , \varphi}\), \(M_{\psi}D = T^{0}_{0 , \psi, z} = T^{1}_{\psi, 0 , z}\), \(D M_{\psi}= T^{0}_{\psi' , \psi, z}\), \(M_{\psi} C_{\varphi} D = T^{0}_{0 , \psi, \varphi} = T^{1}_{\psi, 0 , \varphi}\), \(M_{\psi} D C_{\varphi} f = T^{0}_{0 , \psi\varphi' , \varphi} = T^{1}_{\psi\varphi' , 0 , \varphi}\), \(C_{\varphi} M_{\psi} D = T^{0}_{0 , \psi\circ \varphi, \varphi} = T^{1}_{\psi\circ\varphi, 0 , \varphi}\), \(D M_{\psi} C_{\varphi} = T^{0}_{\psi' , \psi\varphi' , \varphi}\), \(C_{\varphi} D M_{\psi} = T^{0}_{\psi' \circ\varphi, \psi \circ\varphi, \varphi}\), \(D C_{\varphi} M_{\psi} = T^{0}_{(\psi' \circ\varphi)\varphi' , (\psi\circ \varphi)\varphi' , \varphi}\). Note also that, for \(\psi_{2}\equiv0\), we obtain the weighted differentiation composition operator, which was studied, for example, in [17–19, 28, 30].
Our aim here is to characterize the boundedness and compactness of the operator \(T^{n}_{\psi_{1} , \psi_{2} , \varphi}\) from the \(F(p, q, s)\) and \(F_{0}(p, q, s)\) spaces to Bloch-type spaces. The paper can be regarded as a continuation of our line of investigations in [6, 7, 9, 10, 15–24, 34, 35].
Throughout this paper, constants are denoted by C, they are positive and not necessarily the same at each occurrence. The notation \(A \asymp B\) means that \(B \lesssim A \lesssim B\), where \(A \lesssim B\) means that there is a positive constant C such that \(A \leq C B\). We also use the standard convention \(\prod_{j=k}^{k-1}a_{j}=1\).
2 Boundedness and compactness of \(T^{n}_{\psi_{1}, \psi_{2}, \varphi}\)
In this section, we prove our main results. Namely, we characterize the boundedness and compactness of the operator \(T^{n}_{\psi_{1} , \psi_{2} , \varphi}\) from the \(F(p, q, s)\) and \(F_{0}(p, q, s)\) spaces to Bloch-type spaces. We also give some upper and lower bounds for the norm of \(T^{n}_{\psi_{1} , \psi_{2} , \varphi}: F(p, q, s) \ (\mbox{or }F_{0}(p, q, s)) \to\mathcal{\mathcal{B}}_{\mu}\).
For this purpose, we need several lemmas. The next lemma can be found in [4].
Lemma 1
Let \(0< p, s<\infty\), \(-2 < q < \infty\), \(q + s > -1\), and \(f \in F(p, q, s)\). Then
Moreover, if \(f \in F_{0}(p, q, s)\), then \(f \in\mathcal {B}^{\frac{2+q}{p}}_{0}\).
The following folklore point-evaluation result can be found, for example, in [2].
Lemma 2
Let \(\alpha> 0\) and \(f \in\mathcal{B}^{\alpha}\). Then
and
for each \(n\in{\mathbb {N}}\).
The following lemma can easily be obtained by combining the inequalities in Lemmas 1 and 2.
Lemma 3
Let \(0 < p, s < \infty\), \(-2 < q < \infty\), \(q + s > -1\), and \(f \in F(p, q, s)\). Then
and
The following lemma gives us important test functions belonging to the \(F_{0}(p, q, s)\) space.
Lemma 4
Let \(0 < p, s < \infty\), \(-2 < q < \infty\), \(q + s > -1\), and
Then \(\sup_{w\in {\mathbb {D}}}\|f_{w}\|_{F(p, q, s)}<\infty\) and \(f_{w}\in F_{0}(p, q, s)\) for every \(w\in {\mathbb {D}}\).
Proof
First, \(\sup_{w\in {\mathbb {D}}}\|f_{w}\|_{F(p, q, s)}<\infty\) was proved in [36]. Second, \(f_{w}\in F_{0}(p, q, s)\) for every \(w\in {\mathbb {D}}\) is possibly a known statement too; however, we have not managed to find it in the literature, so we give a proof. Let
If \(s>1\), then there is \(\varepsilon \in(0, s)\) such that \(2+q-\varepsilon >0\). Then by Proposition 1.4.10 in [37] with \(n=1\) and some elementary inequalities, since \(s+\varepsilon -2>-1\) and \(s-\varepsilon >0\), we have that, for \(|a|\) close to 1,
from which the statement follows in this case.
Now assume that \(0< s\le1\). Let u and \(u'\) be chosen such that
and let \(v=q+\frac{2}{u'}\) (for \(s=1\), we set \(1/(1-s)=+\infty\)).
Let \(\varepsilon \in(0,s)\) be such that
(it is not difficult to see that such \(\varepsilon >0\) exists). Then, using the Hölder inequality, Proposition 1.4.10 in [37] with \(n=1\), (4), and the assumption \(s-\varepsilon >0\), we have
from which the statement follows in this case. □
Our first result gives some characterizations for the boundedness of the operator \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \ (\mbox{or }F_{0}(p, q, s)) \to\mathcal {B}_{\mu}\).
Theorem 1
Let \(0< p, s<\infty\), \(-2< q<\infty\), \(q + s > -1\), \(\psi_{1}, \psi_{2} \in H(\mathbb{D})\), \(n \in\mathbb {N}_{0}\), μ be a typical weight, and \(\varphi\in S(\mathbb{D})\). Then the following statements are true.
(i) If \(n \in\mathbb {N}\), or \(n =0\) and \(p<2+q\), then \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s)\ (\textit{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}\) is bounded if and only if
-
(a)
\(M_{1} := \sup_{z \in\mathbb{D}} \frac{\mu(z)|\psi_{1}'(z)|}{(1-|\varphi(z)|^{2})^{\frac {2+q}{p}+n-1}}<\infty\),
-
(b)
\(M_{2} := \sup_{z \in\mathbb{D}} \frac{\mu(z)|\psi_{1}(z)\varphi'(z) + \psi'_{2}(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n }} < \infty\), and
-
(c)
\(M_{3} := \sup_{z \in\mathbb{D}} \frac{\mu(z)|\psi_{2}(z) \varphi'(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n + 1}} < \infty\).
Moreover, the following asymptotic relations hold:
(ii) If \(p>2+q\), then \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \ (\textit{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}\) is bounded if and only if \(\psi_{1} \in\mathcal {B}_{\mu}\),
-
(d)
\(M_{4} := \sup_{z \in\mathbb{D}} \frac{\mu(z)|\psi_{1}(z)\varphi'(z) + \psi'_{2}(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p}}} < \infty\), and
-
(e)
\(M_{5} := \sup_{z \in\mathbb{D}} \frac{\mu(z)|\psi_{2}(z)\varphi'(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p}+1}} < \infty\).
Moreover, the following asymptotic relations hold:
(iii) If \(p=2+q\) and \(s > 1\), then \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \ (\textit{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}\) is bounded if and only if
-
(f)
\(M_{6} := \sup_{z \in\mathbb{D}} \mu(z)|\psi_{1}'(z)|\ln (\frac{2}{1 - |\varphi(z)|^{2}} ) < \infty\),
-
(g)
\(M_{7} := \sup_{z \in \mathbb{D}} \frac{\mu(z)|\psi_{1}(z)\varphi'(z) + \psi'_{2}(z)|}{1 - |\varphi(z)|^{2}} < \infty\), and
-
(h)
\(M_{8} := \sup_{z \in\mathbb{D}} \frac{\mu(z)|\psi_{2}(z)\varphi'(z)|}{(1 - |\varphi(z)|^{2})^{2}} < \infty\).
Moreover, the following asymptotic relations hold:
Proof
(i) Suppose that \(n \in\mathbb {N}\), or \(n =0\) and \(p<2+q\), and that conditions (a), (b), and (c) hold. Then by Lemma 3, for arbitrary \(z \in\mathbb {D}\) and \(f \in F(p, q, s)\), we have
On the other hand, we have
Hence, from (8) and (9) we obtain that \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s)\ (\mbox{or }F_{0}(p, q, s))\to \mathcal {B}_{\mu}\) is bounded and
Conversely, suppose that \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s)\ (\mbox{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}\) is bounded. First note that if \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s)\to\mathcal {B}_{\mu}\) is bounded, then \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F_{0}(p, q, s)\to\mathcal {B}_{\mu}\) is bounded, and
Hence, if \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F_{0}(p, q, s)\to \mathcal {B}_{\mu}\) is bounded, then we have
for every \(f\in F_{0}(p, q, s)\).
Taking \(f(z) = {z^{n}}/{n!}\in F_{0}(p, q, s)\) in (12), we obtain that
Taking \(f(z) = z^{n+1}/(n+1)!\in F_{0}(p, q, s)\) in (12) and using (13) and the fact that \(|\varphi(z)| < 1\), we have
Taking \(f(z) = z^{n+2}/ (n+2)!\in F_{0}(p, q, s)\) in (12) and using (13), (14), and the fact that \(|\varphi(z)| < 1\), we easily get
For \(\zeta\in\mathbb {D}\) and \(n\in {\mathbb {N}}_{0}\), consider the family of functions
Then by Lemma 4 it is easy to see that \(\sup_{\zeta\in {\mathbb {D}}}\|f_{\zeta}\|_{F(p, q, s)} \lesssim 1\) and that \(f_{\zeta}\in F_{0}(p, q, s)\) for every \(\zeta\in {\mathbb {D}}\).
We also have
and
Hence,
and
which, along with the boundedness of the operator, implies that
where
From (15) and (16), for \(\delta\in(0,1)\), we obtain
From this it follows that (c) holds and, moreover,
For \(\zeta\in\mathbb {D}\) and \(n\in {\mathbb {N}}_{0}\), consider the family of functions
Then by Lemma 4 it is easy to see that \(\sup_{\zeta\in {\mathbb {D}}}\|g_{\zeta}\|_{F(p, q, s)} \lesssim1\) and that \(g_{\zeta}\in F_{0}(p, q, s)\) for every \(\zeta\in {\mathbb {D}}\).
We also have
and
Hence,
and
which, along with the boundedness of the operator \(T^{n}_{\psi_{1} , \psi_{2} , \varphi}:F_{0}(p,q,s)\rightarrow\mathcal{B}_{\mu}\), implies that
where
From (14) and (18), for \(\delta\in(0,1)\), we obtain
From this it follows that (b) holds and, moreover,
Finally, for \(\zeta\in\mathbb {D}\) and \(n\in {\mathbb {N}}_{0}\), consider the family of functions
Then, by Lemma 4 it is easy to see that \(\sup_{\zeta\in {\mathbb {D}}}\|h_{\zeta}\|_{F(p, q, s)} \lesssim1\) and that \(h_{\zeta}\in F_{0}(p, q, s)\) for every \(\zeta\in {\mathbb {D}}\). We also have
and
Hence,
and
where
Thus, using the boundedness of the operator, we have
From (13) and (20), for \(\delta\in(0,1)\), we obtain
From this it follows that (a) holds and, moreover,
From (17), (19), and (21) we have
Hence, from (10), (11), and (22) we have that (5) holds, as desired.
(ii) Assume that \(n=0\), \(p>2+q\), \(\psi_{1} \in\mathcal {B}_{\mu}\), and that conditions (d) and (e) hold. If \(f \in F(p, q, s)\), then by Lemma 3 we have
and
From (23) and (24) we see that \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p,q,s)\ (\mbox{or }F_{0}(p,q,s))\to\mathcal {B}_{\mu}\) is bounded and that
Conversely, if \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \to \mathcal {B}_{\mu}\) is bounded, then \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F_{0}(p, q, s) \to\mathcal {B}_{\mu}\) is bounded, (11) and (12) hold, and by using the function \(f(z)\equiv1\in F_{0}(p,q,s)\) therein we obtain that \(\psi_{1} \in\mathcal {B}_{\mu}\) and that (13) holds. From the proof of (i) for \(n=0\), we see that (d) and (e) hold, as well as the asymptotic relations \(M_{4} \lesssim \Vert T^{0}_{\psi_{1} , \psi_{2} , \varphi} \Vert _{ F_{0}(p, q, s) \to\mathcal {B}_{\mu}}\) and \(M_{5} \lesssim \|T^{0}_{\psi_{1},\psi_{2},\varphi}\|_{F_{0}(p, q, s) \to\mathcal {B}_{\mu}}\). Hence,
from which, along with (11) and (25), we see that (6) holds.
(iii) Assume that \(n=0\), \(p=2+q\), \(s > 1\), and that conditions (f), (g), and (h) hold. Assume that \(f \in F(p, q, s)\). Then by Lemma 3 we have
and
From (26) and (27) we see that \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s)\ (\mbox{or }F_{0}(p,q,s))\to\mathcal {B}_{\mu}\) is bounded and that
Conversely, suppose that \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \to\mathcal {B}_{\mu}\) is bounded. Then \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F_{0}(p, q, s) \to\mathcal {B}_{\mu}\) is bounded too. For \(\zeta\in\mathbb {D}\), let
Then
Easy calculation shows that \(f_{\zeta}\in{\mathcal {B}}_{0}^{1}\), \(\zeta\in {\mathbb {D}}\), and that there is \(C>0\) such that \(\sup_{\zeta\in\mathbb {D}} \|f_{\zeta}\|_{\mathcal {B}} \leq C\). Since \(s > 1\), we have \(f_{\zeta} \in F_{0}(p, q, s)\) and \(\sup_{\zeta\in \mathbb {D}} \|f_{\zeta}\|_{F(p, q, s)} \leq C\).
Therefore,
for every \(\zeta\in\mathbb {D}\), from which, along with the fact that \(|\varphi (\zeta)|<1\), \(\zeta\in {\mathbb {D}}\), we get
From the proof of (i) we see that (g) and (h) hold and that
Taking the supremum over \({\mathbb {D}}\) in (30) and then using the last asymptotic relations, we see that
Hence, we have \(M_{6} + M_{7} + M_{8} \lesssim \|T^{0}_{\psi_{1} , \psi_{2} , \varphi}\|_{F_{0}(p, q, s) \to\mathcal {B}_{\mu}}\), which, along with (11) and (28), yields (7), completing the proof of the theorem. □
The next lemma is proved by using standard Schwartz’s arguments in [38].
Lemma 5
Let \(0 < p, s < \infty\), \(-2 < q < \infty\), \(q + s > -1\), \(\psi_{1}, \psi_{2} \in H(\mathbb{D})\), \(n \in\mathbb {N}_{0}\), μ be a typical weight, and \(\varphi\in S(\mathbb{D})\). Then \(T^{n}_{\psi_{1}, \psi_{2} , \varphi} : F(p, q, s) \ (\textit{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}\) is compact if and only if for every bounded sequence \((f_{k})_{k\in {\mathbb {N}}}\) in \(F(p, q, s) \) (or \(F_{0}(p, q, s)\)) that converges to zero on compact subsets of \(\mathbb {D}\) as \(k \rightarrow\infty\), we have \(\|T^{n}_{\psi_{1} , \psi_{2} , \varphi}f_{k}\|_{\mathcal{B}_{\mu}} \rightarrow0\) as \(k \rightarrow \infty\).
Theorem 2
Let \(0 < p, s < \infty\), \(-2 < q < \infty\), \(q + s > -1\), \(\psi_{1}, \psi_{2} \in H(\mathbb{D})\), \(n \in\mathbb {N}_{0}\), μ be a typical weight, and \(\varphi\in S(\mathbb{D})\). Then the following statements are true.
(i) If \(n \in\mathbb {N}\), or \(n =0\) and \(p<2+q\), then \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \ (\textit{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}\) is compact if and only if \(\psi_{1} \in\mathcal {B}_{\mu}\), \(\psi_{1} \varphi' + \psi'_{2} \in H_{\mu}^{\infty}\), \(\psi_{2} \varphi' \in H_{\mu}^{\infty}\), and
-
(a)
\(\lim_{|\varphi(z)|\rightarrow 1}\frac{\mu(z)|\psi'_{1}(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n - 1}} = 0 \),
-
(b)
\(\lim_{ |\varphi(z) |\rightarrow1} \frac{\mu(z)|\psi_{1}(z) \varphi'(z) + \psi'_{2}(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n }} = 0\), and
-
(c)
\(\lim_{|\varphi(z)|\rightarrow 1}\frac{\mu(z)|\psi_{2}(z)\varphi'(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n - 1}} = 0\).
(ii) If \(p>2+q\), then \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \ (\textit{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}\) is compact if and only if \(\psi_{1} \in\mathcal {B}_{\mu}\), \(\psi_{1} \varphi' + \psi'_{2} \in H_{\mu}^{\infty}\), \(\psi_{2} \varphi' \in H_{\mu}^{\infty}\), and
-
(d)
\(\lim_{|\varphi(z)|\rightarrow1} \frac{\mu(z) |\psi_{1}(z) \varphi'(z) + \psi'_{2}(z)|}{(1- |\varphi(z)|^{2})^{\frac{2+q}{p}}} =0\) and
-
(e)
\(\lim_{|\varphi(z)|\rightarrow1} \frac{\mu(z) |\psi_{2}(z) \varphi'(z)|}{(1- |\varphi(z)|^{2})^{\frac{2+q}{p}+1}} =0\).
(iii) If \(p=2+q\) and \(s > 1\), then \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \ (\textit{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}\) is compact if and only if \(\psi_{1} \in \mathcal {B}\), \(\psi_{1} \varphi' + \psi'_{2} \in H_{\mu}^{\infty}\), \(\psi_{2} \varphi' \in H_{\mu}^{\infty}\), and
-
(f)
\(\lim_{|\varphi(z)| \rightarrow 1}\mu(z)|\psi'_{1}(z)|\ln (\frac{2}{1-|\varphi(z)|^{2}} )=0\),
-
(g)
\(\lim_{|\varphi(z)|\rightarrow1} \frac{\mu(z) |\psi_{1}(z) \varphi'(z) + \psi'_{2}(z)|}{1- |\varphi(z)|^{2}} =0\), and
-
(h)
\(\lim_{|\varphi(z)|\rightarrow1} \frac{\mu(z) |\psi_{2}(z) \varphi'(z)|}{(1- |\varphi(z)|^{2})^{2}} =0\).
Proof
(i) Suppose that \(n\in\mathbb {N}\), or \(n=0\) and \(p<2+q\), and \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s)\ (\mbox{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}\) is compact. Let \((z_{k})_{k\in {\mathbb {N}}}\) be a sequence in \(\mathbb {D}\) such that \(|\varphi(z _{k})|\rightarrow1\) as \(k \rightarrow\infty\) (if such a sequence does not exist, then (a)-(c) obviously hold). Let
and
From the proof of Theorem 1 we know that \((f_{k})_{k\in {\mathbb {N}}}\), \((g_{k})_{k\in {\mathbb {N}}}\), and \((h_{k})_{k\in {\mathbb {N}}}\) are norm bounded sequences in \(F_{0}(p,q,s)\), and it is easy to see that they converge to zero uniformly on compact subsets of \(\mathbb {D}\) as \(k\to\infty\). Hence, by Lemma 5 we have
From (16), (18), and (20) it follows that
and
Letting \(k\to\infty\) in (32)-(34) and employing (31), we get (a), (b), and (c).
Conversely, assume that \(\psi_{1} \in\mathcal {B}_{\mu}\), \(\psi_{1} \varphi' + \psi'_{2} \in H_{\mu}^{\infty}\), \(\psi_{2} \varphi' \in H_{\mu}^{\infty}\), and that (a), (b), and (c) hold. Let \((f_{k})_{k\in {\mathbb {N}}}\) be a sequence in \(F( p, q, s)\) (or \(F_{0}(p, q, s)\)) such that \(f_{k} \to0\) uniformly on compact subsets of \(\mathbb {D} \) and \(\|f_{k}\|_{F( p, q, s)} \lesssim1\). Then \(f_{k}^{(n)}\), \(f_{k}^{(n+1)} \), and \(f^{(n+2)}_{k}\) converge to zero uniformly on compact subsets of \(\mathbb {D}\) as \(k\to\infty\).
Since (a), (b), and (c) hold, for every \(\varepsilon> 0\), there exists \(\delta\in(0,1) \) such that
and
when \(\delta< |\varphi(z)|< 1\).
Since \(\psi_{1} \in\mathcal {B}_{\mu}\), \(\psi_{1} \varphi' + \psi_{2}' \in H_{\mu}^{\infty}\), and \(\psi_{2} \varphi' \in H_{\mu}^{\infty}\), we have \(N_{1} = \sup_{ z \in\mathbb {D}} \mu(z) |\psi'_{1}( z)| < \infty\), \(N_{2} = \sup_{ z \in\mathbb {D}} \mu(z) |\psi_{1}( z) \varphi'(z) + \psi_{2}'(z)| < \infty\), and \(N_{3} = \sup_{ z \in\mathbb {D}} \mu(z) |\psi_{2}( z) \varphi'(z)| < \infty\). This, together with Lemma 3, yields
From the arbitrariness of ε and the fact that \(f_{k} ^{(n)} \), \(f_{k} ^{(n+1)} \), and \(f^{( n + 2) } _{ k } \) converges to zero uniformly on compact subsets of \(\mathbb {D}\) we have \(\lim_{ k \to\infty} \|T^{n}_{\psi_{1} , \psi_{2} , \varphi} f_{k}\|_{\mathcal {B}_{\mu}} = 0\), and so by Lemma 5, \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s)\ (\mbox{or }F_{0}(p, q, s))\to \mathcal {B}_{\mu}\) is compact.
(ii) If \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \ (\mbox{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}\) is compact, then it is bounded and from Theorem 1 we see that \(\psi_{1} \in\mathcal {B}_{\mu}\), \(\psi_{1} \varphi' + \psi'_{2} \in H_{\mu}^{\infty}\), and \(\psi_{2} \varphi' \in H_{\mu}^{\infty}\). Relations (d) and (e) follow from the proof of (i) with \(n=0\).
Now assume that \(p>2+q\), \(\psi_{1} \in\mathcal {B}_{\mu}\), \(\psi_{2} \varphi' \in H_{\mu}^{\infty}\), \(\psi_{1} \varphi' + \psi_{2}' \in H_{\mu}^{\infty}\), and that (d) and (e) hold. Let \((f_{k})_{k\in {\mathbb {N}}}\) be a bounded sequence in \(F(p, q, s)\) (or \(F_{0}(p, q, s)\)) that converges to zero uniformly on compact subsets of \(\mathbb {D}\) as \(k\to\infty\). To show that \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F( p, q, s ) \ (\mbox{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}\) is compact, we need to show that, for each such sequence, \(\|T^{0}_{\psi_{1} , \psi_{2} , \varphi} f_{k}\|_{\mathcal {B}_{\mu}} \to0\) as \(k\to\infty\).
From (d) and (e) we have that for every \(\varepsilon> 0\), there exists \(\delta\in(0,1) \) such that
when \(\delta< |\varphi(z)|< 1\).
We have
where \(N_{j}\), \(j=\overline {1,3}\), are as in (i).
From this and from the fact that \(f_{k}'\) and \(f''_{k}\) converge to zero on compacts of \({\mathbb {D}}\) as \(k\to\infty\), by Lemma 5.2 in [39] we have \(\sup_{z\in\mathbb{ {\mathbb {D}}}}|f_{k}(z)|\to0\) as \(k\to \infty\), and by the arbitrariness of ε it follows that \(\lim_{ k \to\infty} \|T^{0}_{\psi_{1} , \psi_{2} , \varphi} f_{k}\|_{\mathcal {B}_{\mu}} = 0\). Hence, by Lemma 5, \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s)\ (\mbox{or }F_{0}(p, q, s))\to \mathcal {B}_{\mu}\) is compact.
(iii) If \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \ (\mbox{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}\) is compact, then it is bounded, and from Theorem 1 we see that \(\psi_{1} \in\mathcal {B}_{\mu}\), \(\psi_{1} \varphi' + \psi'_{2} \in H_{\mu}^{\infty}\), and \(\psi_{2} \varphi' \in H_{\mu}^{\infty}\). Relations (g) and (h) follow from the proof in (i) with \(n=0\) and \(p=2+q\).
Assume that \((z_{k})_{k\in {\mathbb {N}}}\) is a sequence in \(\mathbb {D}\) for which \(|\varphi(z_{k})| \to1\) as \(k\to\infty\) (if such a sequence does not exist, then (f), (g), and (h) obviously hold). Consider the sequence of functions
where
Then
By some calculation we have \(g_{k}\in{\mathcal {B}}_{0}\), \(k\in {\mathbb {N}}\), and \(\sup_{k\in {\mathbb {N}}} \|g_{k}\|_{\mathcal {B}} \leq C < \infty\). Since \(s>1\), we have \(g_{k} \in F_{0}(p,q,s)\) and \(\sup_{k\in {\mathbb {N}}} \|g_{k}\|_{F( p , q ,s)}<\infty\). It is easy to see that \(g_{k}\) converges to zero uniformly on compact subsets of \(\mathbb {D}\) and that
So if \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F( p, q, s ) \ (\mbox{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}\) is compact, then \(\|T^{0}_{\psi_{1} , \psi_{2} , \varphi}g_{k}\|_{ \mathcal {B}_{\mu}} \to 0\) as \(k\to\infty\), and, consequently,
as \(k\to\infty\), so (f) holds.
Now assume that \(p=2+q\), \(\psi_{1} \in\mathcal {B}_{\mu}\), \(\psi_{2} \varphi' \in H_{\mu}^{\infty}\), \(\psi_{1} \varphi' + \psi_{2}' \in H_{\mu}^{\infty}\), and that (f), (g), and (h) hold. Let \((f_{k})_{k\in {\mathbb {N}}}\) be a bounded sequence in \(F(p, q, s) \ (\mbox{or }F_{0}(p, q, s))\) that converges to zero uniformly on compact subsets of \(\mathbb {D}\) as \(k\to\infty\).
From (f), (g), and (h) we have that for every \(\varepsilon> 0\), there exists \(\delta\in(0,1) \) such that
when \(\delta< |\varphi(z)|< 1\).
Using the inequalities, we have
where \(N_{j}\), \(j=\overline {1,3}\), are as in (i).
From this, since \(f_{k}\), \(f_{k}'\), and \(f''_{k}\) converge to zero on compacts of \({\mathbb {D}}\) as \(k\to\infty\), by the arbitrariness of ε it follows that \(\lim_{ k \to\infty} \|T^{0}_{\psi_{1} , \psi_{2} , \varphi} f_{k}\|_{\mathcal {B}_{\mu}} = 0\). Hence, by Lemma 5, \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \ (\mbox{or }F_{0}(p, q, s)) \to\mathcal {B}_{\mu}\) is compact. □
Theorem 3
Let \(0< p, s<\infty\), \(-2< q<\infty\), \(q + s > -1\), \(\psi_{1}, \psi_{2}\in H(\mathbb{D})\), \(n\in\mathbb {N}_{0}\), μ be a typical weight, and \(\varphi\in S(\mathbb{D})\). Then the following statements are true.
-
(i)
If \(n\in\mathbb {N}\), or \(n =0\) and \(p<2+q\), then \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F_{0}(p, q, s ) \to\mathcal {B}_{\mu, 0} \) is bounded if and only if \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{\infty}_{\mu,0}\), \(\psi_{2}\varphi'\in H^{ \infty}_{\mu, 0}\), and conditions (a)-(c) of Theorem 1 hold.
-
(ii)
If \(p>2+q\), then \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F_{0}( p, q, s ) \to\mathcal {B}_{\mu, 0} \) is bounded if and only if \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{\infty}_{\mu, 0}\), \(\psi_{2} \varphi' \in H^{ \infty}_{\mu,0}\), and conditions (d) and (e) of Theorem 1 hold.
-
(iii)
If \(p=2+q\) and \(s > 1\), then \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F_{0}( p, q, s ) \to\mathcal {B}_{\mu, 0} \) is bounded if and only if \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu,0}\), \(\psi_{2}\varphi'\in H^{\infty}_{\mu, 0 }\), and conditions (f)-(h) of Theorem 1 hold.
Proof
(i) First, assume that \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F_{0}(p, q, s ) \to\mathcal {B}_{\mu, 0} \) is bounded. Taking the test functions \(p_{k}(z)=z^{k}/k!\) for \(k\in\{n,n+1, n+2\}\), we easily get that \(\psi_{1} \in\mathcal {B}_{\mu, 0} \) and that the functions \(\psi_{1}\varphi'+ \psi'_{2}\) and \(\psi_{2} \varphi'\) are in \(H^{\infty}_{\mu, 0 }\). Moreover, as in the proof of Theorem 1, we can easily show that conditions (a)-(c) hold.
Conversely, suppose that \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0 }\), and that conditions (a)-(c) of Theorem 1 hold. Then by Theorem 1(i) we know that the operator \(T^{n}_{\psi_{1},\psi _{2},\varphi} : F_{0}(p, q, s)\to\mathcal {B}_{\mu}\) is bounded. Hence, to show that the operator \(T^{n}_{\psi_{1},\psi_{2},\varphi} : F_{0}(p, q, s)\to\mathcal {B}_{\mu,0}\) is bounded, it suffices to show that \(T^{n}_{\psi_{1},\psi_{2},\varphi}f\in{\mathcal {B}}_{\mu,0}\) for every \(f\in F_{0}(p, q, s)\). Take any \(\varepsilon> 0\). Let \(f\in F_{0}(p, q, s)\). Then by Lemma 1, \(f \in\mathcal {B}^{(q + 2)/p}_{0}\). From this by using Propositions 7 and 8 in [2] we have that there is \(\delta_{1} \in(0, 1)\) such that, for any \(z\in\mathbb {D}\) such that \(|z|>\delta_{1}\),
for \(j\in\{n,n+1,n+2\}\), where \(n\in\mathbb {N}\) or \(n=0\) and \(p<2+q\).
From this, using conditions (a)-(c) of Theorem 1, respectively, we have that
and
when \(|\varphi(z)|>\delta_{1}\), where
(note that these quantities are finite due to conditions (a)-(c)).
On the other hand, since \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), and \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0}\), we have that there is \(\delta_{2} \in(0, 1)\) such that
and
whenever \(|z|>\delta_{2}\).
From this, by Lemma 3 we have that, for \(|\varphi(z)|\leq\delta_{1}\) and \(|z| > \delta_{2}\),
and
Combining (36) and (39), (37) and (40), and (38) and (41), respectively, we have that, whenever \(|z|>\delta_{2}\),
and
Hence,
from which it follows that \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} f \in\mathcal {B}_{\mu, 0}\) for every \(f\in F_{0}(p,q,s)\) and, consequently, the boundedness of the operator \(T^{n}_{\psi_{1},\psi_{2},\varphi} : F_{0}(p,q,s) \to\mathcal {B}_{\mu,0}\).
(ii) If \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F_{0}(p, q, s ) \to\mathcal {B}_{\mu, 0} \) is bounded, then as in the proof of (i), we get that \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0 }\), and that conditions (d) and (e) of Theorem 1 hold.
Conversely, suppose that \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0}\), and that conditions (d) and (e) of Theorem 1 hold. Then by Theorem 1(ii) we know that the operator \(T^{0}_{\psi_{1},\psi_{2},\varphi} : F_{0}(p, q, s)\to\mathcal {B}_{\mu}\) is bounded. Hence, as in (i), to show that the operator \(T^{0}_{\psi_{1},\psi_{2},\varphi} : F_{0}(p, q, s)\to\mathcal {B}_{\mu,0}\) is bounded, it suffices to show that \(T^{0}_{\psi_{1},\psi_{2},\varphi}f\in{\mathcal {B}}_{\mu,0}\) for every \(f\in F_{0}(p, q, s)\).
Take any \(\varepsilon> 0\). Then \(\psi_{1} \in\mathcal {B}_{\mu, 0}\) implies that there is some \(\delta_{1} \in(0 ,1)\) such that
for \(|z| > \delta_{1}\). Let \(f\in F_{0}(p, q, s )\). Then by Lemma 1, \(f \in\mathcal {B}^{(q + 2)/p}_{0}\). From this, by Proposition 8 in [2] it follows that there is \(\delta _{2} \in(0, 1)\) such that, for any \(z\in\mathbb {D}\) such that \(|z|>\delta_{2}\),
for \(j\in\{1, 2\}\).
Thus, using conditions (d) and (e) of Theorem 1 respectively, we have that
and
when \(\vert \varphi(z)\vert > \delta_{2}\), where
(note that these quantities are finite due to conditions (d) and (e) of Theorem 1).
On the other hand, since \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\) and \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0}\), we have that there is \(\delta_{3} \in(0, 1)\) such that
and
whenever \(|z|>\delta_{3}\).
Thus, for \(|\varphi(z)|\leq\delta_{2}\) and \(|z| > \delta_{3}\), we have that
and
Combining (46) and (48) and, respectively, (47) and (49), we have that, whenever \(|z|>\delta_{3}\),
and
From (45), (50), and (51), by Lemma 3 we have that
when \(|z| > \max\{\delta_{1}, \delta_{3}\}\). Hence, \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} f \in\mathcal {B}_{\mu, 0}\) for every \(f\in F_{0}(p,q,s)\), from which the boundedness of \(T^{0}_{\psi_{1} , \psi_{2}, \varphi} : F_{0}(p, q, s ) \to\mathcal {B}_{\mu, 0} \) follows.
(iii) If \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F_{0}(p, q, s) \to\mathcal {B}_{\mu, 0} \) is bounded, then as in the proof of (i), we get that \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0 }\), and that conditions (f), (g), and (h) of Theorem 1 hold.
Conversely, suppose that \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0 }\), and conditions (f), (g), and (h) of Theorem 1 hold. Then by Theorem 1(iii) we know that the operator \(T^{0}_{\psi_{1},\psi_{2},\varphi} : F_{0}(p, q, s)\to\mathcal {B}_{\mu}\) is bounded. As in the previous two cases, to show that the operator \(T^{0}_{\psi_{1},\psi_{2},\varphi} : F_{0}(p, q, s)\to\mathcal {B}_{\mu,0}\) is bounded, it suffices to show that \(T^{0}_{\psi_{1},\psi_{2},\varphi}f\in{\mathcal {B}}_{\mu,0}\) for every \(f\in F_{0}(p, q, s)\).
Take any \(\varepsilon> 0\). Let \(f\in F_{0}(p, q, s )\). Then by Lemma 1, \(f \in\mathcal {B}_{0}\). From this, by [2], Proposition 8, and [8], Lemma 3, for the case \(n=1\) with \(f'\) replaced by f, it easily follows that there is \(\delta_{1} \in(0, 1)\) such that, for any \(z\in\mathbb {D}\) such that \(|z|>\delta_{1}\),
and
for \(j\in\{1, 2\}\).
From this, using conditions (f), (g), and (h) of Theorem 1, respectively, we have that
and
when \(|\varphi(z)|> \delta_{1}\), where
(note that these quantities are finite due to conditions (f), (g), and (h) of Theorem 1).
On the other hand, since \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), and \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0}\), we have that there is \(\delta_{2} \in(0, 1)\) such that
and
whenever \(|z|>\delta_{2}\).
Thus, for \(|\varphi(z)|\leq\delta_{1}\) and \(|z| > \delta_{2}\), we have that
and
Combining (52) and (55), (53) and (56), and (54) and (57), respectively, we have that, whenever \(|z|>\delta_{2}\),
and
Thus, from (58), (59), and (60) we have that
when \(|z| > \delta_{2}\). Hence, \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} f \in\mathcal {B}_{\mu, 0}\) for every \(f\in F_{0}(p,q,s)\), from which the boundedness of \(T^{0}_{\psi_{1} , \psi_{2}, \varphi} : F_{0}(p, q, s ) \to\mathcal {B}_{\mu, 0} \) follows. □
Theorem 4
Let \(0 < p ,s < \infty, -2 < q < \infty, q +s > -1\), \(\psi_{1},\psi_{2}\in H (\mathbb {D}) \), \(n \in\mathbb {N}_{0}\), μ be a typical weight, and \(\varphi\in S(\mathbb {D})\).
(i) If \(n \in\mathbb {N}\), or \(n =0\) and \(p<2+q\), and \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \to\mathcal {B}_{\mu, 0}\) is bounded, then \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0 }\), and conditions (a)-(c) of Theorem 1 hold.
Also, if \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0 }\), and conditions (a)-(c) of Theorem 2 hold, then \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \to\mathcal {B}_{\mu, 0}\) is bounded.
(ii) If \(2 + q < p\) and \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \to\mathcal {B}_{\mu, 0}\) is bounded, then \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0 }\), and conditions (d) and (f) of Theorem 1 hold.
Also, if \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0 }\), and conditions (d) and (f) of Theorem 2 hold, then \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \to\mathcal {B}_{\mu, 0}\) is bounded.
(iii) If \(2 + q = p\), \(s > 1\), and \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \to\mathcal {B}_{\mu, 0}\) is bounded, then \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0 }\), and conditions (f)-(h) of Theorem 1 hold.
Also, if \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0 }\), and conditions (f)-(h) of Theorem 2 hold, then \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \to\mathcal {B}_{\mu, 0}\) is bounded.
Proof
(i) Suppose that \(n\in\mathbb {N}\), or \(n = 0\) and \(p<2+q\), and that \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s)\to\mathcal {B}_{\mu,0}\) is bounded. Then \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F_{0}(p, q, s)\to\mathcal {B}_{\mu,0}\) is also bounded, and so by (i) of Theorem 3, \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0 }\), and conditions (a)-(c) of Theorem 1 hold.
Conversely, suppose that \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0}\), and conditions (a)-(c) of Theorem 2 hold. Then by Theorem 2(i) we have that \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s)\to \mathcal {B}_{\mu}\) is compact. Hence, to show the boundedness of \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s)\to\mathcal {B}_{\mu,0}\), it suffices to show that \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} f\in{\mathcal {B}}_{\mu,0}\) for every \(f\in F(p,q,s)\). Take any \(\varepsilon> 0\). By conditions (a)-(c) of Theorem 2 there is \(\delta_{1} \in(0, 1)\) such that
and
when \(|\varphi(z)|>\delta_{1}\).
On the other hand, since \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), and \(\psi_{2} \varphi' \in H^{ \infty}_{\mu, 0}\), we have that there is \(\delta_{2} \in(0, 1)\) such that
and
whenever \(|z|>\delta_{2}\).
Thus, for \(|\varphi(z)|\leq\delta_{1}\) and \(|z| > \delta_{2}\), we have that
and
Combining (61) and (64), (62) and (65), and (63) and (66), respectively, we have that, whenever \(|z|>\delta_{2}\),
from which it follows that \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} f \in\mathcal {B}_{\mu, 0}\) for every \(f\in F(p,q,s)\), as desired.
(ii) and (iii) These statements are proved similarly to (i). Hence, we omit the details. □
The following lemma was essentially proved in [40].
Lemma 6
Let μ be a typical weight. Then a closed set K in \(\mathcal{B}_{\mu, 0}\) is compact if and only if K is bounded and satisfies
Theorem 5
Let \(0 < p ,s < \infty, -2 < q < \infty, q +s > -1\), \(\psi_{1},\psi_{2}\in H (\mathbb {D}) \), \(n \in\mathbb {N}_{0}\), μ be a typical weight, and \(\varphi\in S(\mathbb {D})\). Then the following statements hold.
(i) If \(n \in\mathbb {N}\), or \(n = 0 \) and \(p<2+q\), then \(T^{n}_{\psi_{1},\psi_{2},\varphi} : F(p,q,s) \ (\textit{or }F_{0}(p, q, s)) \to\mathcal {B}_{\mu, 0} \) is compact if and only if
-
(a)
\(\lim_{|z| \to1} \frac{\mu(z)|\psi_{1}'(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n - 1}} = 0\),
-
(b)
\(\lim_{|z| \to1} \frac{\mu(z)|\psi_{1}(z)\varphi'(z) + \psi'_{2}(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n }} = 0\), and
-
(c)
\(\lim_{|z| \to1}\frac{\mu(z)|\psi_{2}(z) \varphi'(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n + 1}} = 0\).
(ii) If \(p>2+q\), then \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \ (\textit{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu, 0}\) is compact if and only if \(\psi_{1} \in\mathcal {B}_{\mu, 0}\) and
-
(d)
\(\lim_{|z| \to1} \frac{\mu(z)|\psi_{1}(z)\varphi'(z) + \psi'_{2}(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p}}} = 0\) and
-
(e)
\(\lim_{|z| \to1} \frac{\mu(z)|\psi_{2}(z)\varphi'(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p}+1}} = 0\).
(iii) If \(p=2+q\) and \(s > 1\), then \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F(p, q, s) \ (\textit{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu, 0}\) is compact if and only if
-
(f)
\(\lim_{|z| \to1}\mu(z)|\psi_{1}'(z)|\ln (\frac{2}{1 - |\varphi(z)|^{2}} ) = 0\),
-
(g)
\(\lim_{|z| \to1}\frac{\mu(z)|\psi_{1}(z)\varphi'(z) + \psi'_{2}(z)|}{1 - |\varphi(z)|^{2}} = 0\), and
-
(h)
\(\lim_{|z| \to1} \frac{\mu(z)|\psi_{2}(z)\varphi'(z)|}{(1 - |\varphi(z)|^{2})^{2}} = 0\).
Proof
(i) Suppose that \(n\in\mathbb {N}\), or \(n = 0\) and \(p<2+q\), and that (a), (b), and (c) hold. Then by Theorem 1 the operator \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F( p, q, s ) \ (\mbox{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}\) is bounded, \(\psi_{1} \in\mathcal {B}_{\mu, 0} \), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), and \(\psi_{2} \varphi' \in H^{\infty}_{\mu, 0}\), from which it follows that \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F( p, q, s ) \ (\mbox{or }F_{0}(p, q, s)) \to\mathcal {B}_{\mu,0}\) is bounded, and, consequently, its image of the unit ball in \(F(p,q,s)\).
Hence, due to Lemma 6, to show that \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F( p, q, s ) \ (\mbox{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu, 0} \) is compact, we only need to show that
From (8) we have
Taking the supremum in (68) over all \(f\in F(p,q,s) \ (\mbox{or }F_{0}(p, q, s))\) such that \(\|f\|_{F(p,q,s)} \leq1 \), then letting \(\vert z\vert \to1\), and using conditions (a)-(c), we see that (67) holds, so \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} :F(p,q,s) \ (\mbox{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu, 0} \) is compact.
Conversely, suppose that \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F( p, q, s ) \ (\mbox{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu, 0} \) is compact. Then \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F( p, q, s ) \ (\mbox{or }F_{0}(p, q, s)) \to\mathcal {B}_{\mu}\) is compact, so by Theorem 1 we have
and
On the other hand, using the test functions \(f(z)={z^{k}}/{k!} \), \(k\in\{n,n+1,n+2\}\), which belong to \(F_{0}(p,q,s)\), we have
From (69) we have that for any \(\varepsilon>0\), there exists \(t\in(0,1)\) such that
when \(t < |\varphi(z)| < 1 \). From (72) it follows that there exists \(r\in(0, 1)\) such that
when \(r < |z|< 1 \).
Therefore, when \(r < |z|< 1 \) and \(t < | \varphi(z)| < 1 \), we have
whereas when \(r < |z| < 1 \) and \(| \varphi(z) |\leq t \), using (76), we have
Since ε is an arbitrary positive number, we get
that is, condition (a) holds.
Similarly, we prove that (70) and (73) imply (b) and that (71) and (74) imply (c).
(ii) Assume that \(\psi_{1} \in\mathcal {B}_{\mu, 0}\) and that (d) and (e) hold. Then by Theorem 1(ii), \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F( p, q, s ) \ (\mbox{or }F_{0}(p, q, s))\to \mathcal {B}_{\mu}\) is bounded, \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), and \(\psi_{2} \varphi' \in H^{\infty}_{\mu, 0}\). From all these facts it follows that \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F( p, q, s ) \ (\mbox{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu,0}\) is bounded, and, consequently, so is its image of the unit ball in \(F(p,q,s)\).
Suppose that \(f \in F (p, q, s) \ (\mbox{or }F_{0}(p, q, s))\) is such that \(\|f\|_{F(p, q, s)} \leq1\). Then by Lemma 3 we have
from which, along with the assumptions \(\psi\in{\mathcal {B}}_{\mu,0}\), (d), and (e), we have
and so by Lemma 6 we get that \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F( p, q, s ) \ (\mbox{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu, 0} \) is compact.
Conversely, if \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F( p, q, s ) \ (\mbox{or }F_{0}(p, q, s)) \to\mathcal {B}_{\mu, 0} \) is compact, then for \(f(z)\equiv1\), we obtain that \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} 1=\psi_{1}\in{\mathcal {B}}_{0}\). Relations (d) and (e) follow from the proof of (i) with \(n=0\).
(iii) Assume that (f), (g), and (h) hold. Then by Theorem 1(iii) the operator \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F( p, q, s )\ (\mbox{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}\) is bounded, \(\psi_{1}\in{\mathcal {B}}_{\mu,0}\), \(\psi_{1} \varphi'+ \psi'_{2} \in H^{ \infty}_{\mu, 0 }\), and \(\psi_{2} \varphi' \in H^{\infty}_{\mu, 0}\). Thus, the operator \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F( p, q, s )\ (\mbox{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu,0}\) is bounded, and so is its image of the unit ball in \(F(p,q,s)\).
By Lemma 3 we have that for every \(f \in F ( p, q, s) \ (\mbox{or }F_{0}(p, q, s))\) such that \(\|f\|_{F(p, q, s)} \leq 1\), the following asymptotic relation holds:
Taking the supremum in (77) over all \(f\in F(p,q,s) \ (\mbox{or }F_{0}(p, q, s))\) such that \(\|f\|_{F(p,q,s)} \leq1 \), then letting \(|z| \to1\), and using Lemma 6, we obtain that \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F( p, q, s ) \ (\mbox{or }F_{0}(p, q, s)) \to\mathcal {B}_{\mu, 0} \) is compact.
If \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F( p, q, s ) \ (\mbox{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu, 0} \) is compact, then \(T^{0}_{\psi_{1} , \psi_{2} , \varphi} : F( p, q, s ) \) \(\ (\mbox{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}\) is compact too. Hence, by Theorem 2(iii) we have that
which means that, for every \(\varepsilon >0\), there is \(t\in(0,1)\) such that
when \(t<|\varphi (z)|<1\).
On the other hand, \(\psi_{1}\in{\mathcal {B}}_{\mu, 0}\), which implies that there is \(r\in(0,1)\) such that
when \(r<|z|<1\). Hence, (78) holds when \(r<|z|<1\) and \(t<|\varphi (z)|<1\), whereas form (79) we see that (78) holds when \(r<|z|<1\) and \(|\varphi (z)|\le t\), so that (f) holds.
Relations (g) and (h) follow from the proof of (i) with \(n=0\) and \(p=2+q\). □
References
Avetisyan, K: Hardy-Bloch type spaces and lacunary series on the polydisk. Glasg. Math. J. 49, 345-356 (2007)
Zhu, K: Bloch type spaces of analytic functions. Rocky Mt. J. Math. 23, 1143-1177 (1993)
Bierstedt, KD, Summers, WH: Biduals of weighted Banach spaces of analytic functions. J. Aust. Math. Soc. Ser. A 54, 70-79 (1993)
Zhao, R: On a general family of function space. Ann. Acad. Sci. Fenn., Math. Diss. 105, 1-56 (1996)
Li, H, Guo, Z: On a product-type operator from Zygmund-type spaces to Bloch-Orlicz spaces. J. Inequal. Appl. 2015, Article ID 132 (2015)
Li, S, Stević, S: Composition followed by differentiation between Bloch type spaces. J. Comput. Anal. Appl. 9, 195-205 (2007)
Li, S, Stević, S: Composition followed by differentiation from mixed-norm spaces to α-Bloch spaces. Sb. Math. 199(12), 1847-1857 (2008)
Li, S, Stević, S: Cesàro type operators on some spaces of analytic functions on the unit ball. Appl. Math. Comput. 208, 378-388 (2009)
Li, S, Stević, S: Composition followed by differentiation between \(H^{\infty}\) and α-Bloch spaces. Houst. J. Math. 35, 327-340 (2009)
Li, S, Stević, S: Products of composition and differentiation operators from Zygmund spaces to Bloch spaces and Bers spaces. Appl. Math. Comput. 217, 3144-3154 (2010)
Liu, Y, Yu, Y: On a Li-Stević integral-type operator from Bloch-type spaces into logarithmic Bloch spaces. Integral Transforms Spec. Funct. 21(2), 93-103 (2010)
Liu, Y, Yu, Y: On a Stević-Sharma operator from Hardy spaces to the logarithmic Bloch spaces. J. Inequal. Appl. 2014, Article ID 22 (2014)
Ohno, S: Products of composition and differentiation between Hardy spaces. Bull. Aust. Math. Soc. 73(2), 235-243 (2006)
Sharma, AK: Products of multiplication, composition and differentiation between weighted Bergman-Nevanlinna and Bloch-type spaces. Turk. J. Math. 35, 275-291 (2011)
Stević, S: Norm and essential norm of composition followed by differentiation from α-Bloch spaces to \(H^{\infty}_{\mu}\). Appl. Math. Comput. 207, 225-229 (2009)
Stević, S: Products of composition and differentiation operators on the weighted Bergman space. Bull. Belg. Math. Soc. Simon Stevin 16, 623-635 (2009)
Stević, S: Weighted differentiation composition operators from mixed-norm spaces to weighted-type spaces. Appl. Math. Comput. 211, 222-233 (2009)
Stević, S: Weighted differentiation composition operators from mixed-norm spaces to the nth weighted-type space on the unit disk. Abstr. Appl. Anal. 2010, Article ID 246287 (2010)
Stević, S: Weighted differentiation composition operators from \(H^{\infty}\) and Bloch spaces to nth weigthed-type spaces on the unit disk. Appl. Math. Comput. 216, 3634-3641 (2010)
Stević, S: Characterizations of composition followed by differentiation between Bloch-type spaces. Appl. Math. Comput. 218, 4312-4316 (2011)
Stević, S: Weighted iterated radial operators between different weighted Bergman spaces on the unit ball. Appl. Math. Comput. 218, 8288-8294 (2012)
Stević, S, Sharma, AK: Iterated differentiation followed by composition from Bloch-type spaces to weighted BMOA spaces. Appl. Math. Comput. 218, 3574-3580 (2011)
Stević, S, Sharma, AK, Bhat, A: Products of multiplication composition and differentiation operators on weighted Bergman spaces. Appl. Math. Comput. 217, 8115-8125 (2011)
Stević, S, Sharma, AK, Bhat, A: Essential norm of products of multiplication composition and differentiation operators on weighted Bergman spaces. Appl. Math. Comput. 218, 2386-2397 (2011)
Yang, W: Products of composition and differentiation operators from \(\mathcal{Q}_{K}(p,q)\) spaces to Bloch-type spaces. Abstr. Appl. Anal. 2009, Article ID 741920 (2009)
Yang, W: Generalized weighted composition operators from the \(F(p,q,s)\) space to the Bloch-type space. Appl. Math. Comput. 218, 4967-4972 (2012)
Yu, Y, Liu, Y: On Li-Stević integral-type operators between different weighted Bloch-type spaces. J. Inequal. Appl. 2008, Article ID 780845 (2008)
Zhou, J, Zhu, X: Product of differentiation and composition operators on the logarithmic Bloch space. J. Inequal. Appl. 2014, Article ID 453 (2014)
Zhu, X: Generalized weighted composition operators from Bloch-type spaces to weighted Bergman spaces. Indian J. Math. 49(2), 139-149 (2007)
Zhu, X: Products of differentiation, composition and multiplication from Bergman type spaces to Bers spaces. Integral Transforms Spec. Funct. 18(3), 223-231 (2007)
Zhu, X: Multiplication followed by differentiation on Bloch-type spaces. Bull. Allahabad Math. Soc. 23(1), 25-39 (2008)
Zhu, X: Generalized composition operators from generalized weighted Bergman spaces to Bloch type spaces. J. Korean Math. Soc. 46(6), 1219-1232 (2009)
Pan, C: Generalized composition operators from μ-Bloch spaces into mixed norm spaces. Ars Comb. 102, 263-268 (2011)
Stević, S: On some integral-type operators between a general space and Bloch-type spaces. Appl. Math. Comput. 218, 2600-2618 (2011)
Stević, S, Ueki, SI: Integral-type operators acting between weighted-type spaces on the unit ball. Appl. Math. Comput. 215, 2464-2471 (2009)
Zhang, X: Multipliers on some holomorphic function spaces. Chin. Ann. Math., Ser. A 26(4), 477-486 (2005) (in Chinese)
Rudin, W: Function Theory in the Unit Ball of \({\mathbb {C}}^{n}\). Springer, New York (1980)
Schwartz, HJ: Composition operators on \(H^{p}\). Thesis, University of Toledo (1969)
Ohno, S, Stroethoff, K, Zhao, R: Weighted composition operators between Bloch-type spaces. Rocky Mt. J. Math. 33, 191-215 (2003)
Madigan, K, Matheson, A: Compact composition operators on the Bloch space. Trans. Am. Math. Soc. 347, 2679-2687 (1995)
Acknowledgements
Ram Krishan is thankful to DST (India) for Inspire fellowship (DST/Inspire fellowship/2013/281).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to writing this paper. All authors read and approved the manuscript.
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
Stević, S., Sharma, A.K. & Krishan, R. Boundedness and compactness of a new product-type operator from a general space to Bloch-type spaces. J Inequal Appl 2016, 219 (2016). https://doi.org/10.1186/s13660-016-1159-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1159-0