Open Access

Boundedness and compactness of a new product-type operator from a general space to Bloch-type spaces

Journal of Inequalities and Applications20162016:219

https://doi.org/10.1186/s13660-016-1159-0

Received: 26 May 2016

Accepted: 31 August 2016

Published: 13 September 2016

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.

Keywords

product-type operator Bloch-type space boundedness compactness

MSC

47B38 46E15

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
$$\eta_{a}(z)=\frac{a-z}{1-\overline{a}z}, \quad a, z\in\mathbb {D}, $$
that is, the involutive automorphism of \(\mathbb {D}\) interchanging points a and 0. Simple calculation shows that
$$\frac{1-|\eta_{a}(z)|^{2}}{1-|z|^{2}}=\frac{1-|a|^{2}}{|1-\overline {a}z|^{2}}= \bigl|\eta'_{a}(z) \bigr|. $$
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
$$b_{\mu}(f) = \sup_{z \in\mathbb{D}}\mu(z) \bigl|f^{\prime}(z) \bigr| < \infty. $$
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
$$\lim_{|z| \to1}\mu(z) \bigl|f^{\prime}(z) \bigr| = 0. $$
The space \(\mathcal{B}_{\mu}\) is a Banach space with the norm
$$\|f\|_{\mathcal{B}_{\mu}}= \bigl|f(0) \bigr|+b_{\mu}(f) $$
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
$$\sup_{z \in\mathbb{D}}\mu(z) \bigl|f(z) \bigr| < \infty, $$
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
$$\lim_{|z| \to1}\mu(z) \bigl|f(z) \bigr|=0 $$
(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
$$M(f) = \biggl(\sup_{a \in\mathbb {D}} \int_{\mathbb {D}} \bigl|f'(z) \bigr|^{p} \bigl(1-|z|^{2} \bigr)^{q} \bigl(1- \bigl|\eta_{a}(z) \bigr|^{2} \bigr)^{s} \,dA(z) \biggr)^{1/p} < \infty $$
and such that
$$\lim_{|a| \to1} \int_{\mathbb {D}} \bigl|f'(z) \bigr|^{p} \bigl(1-|z|^{2} \bigr)^{q} \bigl(1- \bigl|\eta_{a}(z) \bigr|^{2} \bigr)^{s} \,dA(z) = 0 $$
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
$$M(f) = \biggl( \int_{\mathbb {D}} \bigl|f'(z) \bigr|^{p} \bigl(1-|z|^{2} \bigr)^{q}\,dA(z) \biggr)^{1/p}< \infty. $$
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
$$\|f\|_{F(p, q, s)} = \bigl|f(0) \bigr| + M(f), $$
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
$$C_{\varphi} f = f \circ\varphi,\quad f \in H( \mathbb{D}). $$
For \(\psi\in H ( \mathbb{D} )\), the multiplication operator \(M_{\psi}\) is defined on \(H ( \mathbb{D} )\) by
$$M_{\psi}f(z) = \psi(z) f(z),\quad f \in H( \mathbb{D}). $$
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
$$D f = f',\quad f \in H( \mathbb{D} ). $$

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, [532], 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., [1719, 28, 30, 3335] and the related references therein).

The product-type operators consisting of exactly one composition, multiplication, and differentiation operator are the following:
$$ \begin{aligned} &(M_{\psi} C_{\varphi} D f ) (z) = \psi(z) f' \bigl(\varphi(z) \bigr), \\ &(M_{\psi} D C_{\varphi} f ) (z) = \psi(z) \varphi'(z) f' \bigl( \varphi (z) \bigr), \\ &(C_{\varphi} M_{\psi} D f ) (z) = \psi \bigl(\varphi(z) \bigr) f' \bigl(\varphi (z) \bigr), \\ &(D M_{\psi} C_{\varphi} f ) (z) = \psi'(z)f \bigl( \varphi(z) \bigr) + \psi (z)\varphi'(z) f' \bigl( \varphi(z) \bigr), \\ &(C_{\varphi} D M_{\psi} f ) (z) = \psi' \bigl( \varphi(z) \bigr) f \bigl(\varphi(z) \bigr) + \psi \bigl(\varphi(z) \bigr) f' \bigl(\varphi(z) \bigr), \\ &(DC_{\varphi}M_{\psi}f) (z)=\psi' \bigl(\varphi(z) \bigr)\varphi'(z)f \bigl(\varphi (z) \bigr)+\psi \bigl(\varphi(z) \bigr) \varphi'(z)f' \bigl(\varphi(z) \bigr), \end{aligned} $$
(1)
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
$$ T^{n}_{\psi_{1},\psi_{2} ,\varphi}f(z)=\psi_{1}(z)f^{(n)} \bigl( \varphi(z) \bigr)+\psi _{2}(z)f^{(n+1)} \bigl(\varphi(z) \bigr),\quad f \in H(\mathbb {D}), $$
(2)
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 [1719, 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, 1524, 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
$$\|f\|_{\mathcal {B}^{\frac{2+q}{p}}} \lesssim\|f\|_{F(p, q, s)}. $$
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
$$\bigl|f(z) \bigr| \lesssim \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \Vert f \Vert _{\mathcal{B}^{\alpha}} , &0 < \alpha< 1,\\ \Vert f \Vert _{\mathcal{B}^{\alpha}}\ln\frac{2}{1 - |z|^{2}} ,&\alpha= 1,\\ \frac{\Vert f \Vert _{\mathcal{B}^{\alpha}}}{(1 - |z|^{2})^{\alpha- 1}} , &\alpha>1, \end{array}\displaystyle \right . $$
and
$$\bigl|f^{(n)}(z) \bigr| \lesssim\frac{\Vert f \Vert _{\mathcal{B}^{\alpha}}}{(1 - |z|^{2})^{\alpha+ n - 1}} $$
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
$$\bigl|f(z) \bigr| \lesssim \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \Vert f \Vert _{F(p, q, s)} , &p>q+2,\\ \Vert f \Vert _{F(p, q, s)}\ln\frac{2}{1 - |z|^{2}} , &p=2+q,\\ \frac{\Vert f \Vert _{F(p, q, s)}}{(1 - |z|^{2})^{\frac{2+q}{p}-1}}, &p< 2+q, \end{array}\displaystyle \right . $$
and
$$\bigl|f^{(n)}(z) \bigr| \lesssim\frac{\Vert f \Vert _{F(p, q, s)}}{(1 - |z|^{2})^{\frac{2 + q}{p} + n - 1}},\quad n\in{\mathbb {N}}. $$

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
$$f_{w}(z)=\frac{1-|w|^{2}}{(1-\overline{w} z)^{\frac{2+q}{p}}},\quad z,w\in {\mathbb {D}}. $$
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
$$I_{f}(a)= \int_{\mathbb {D}} \bigl|f'(z) \bigr|^{p} \bigl(1-|z|^{2} \bigr)^{q} \bigl(1- \bigl|\eta_{a}(z) \bigr|^{2} \bigr)^{s} \,dA(z). $$
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,
$$\begin{aligned} I_{f_{w}}(a)&= \biggl(\frac{2+q}{p} \biggr)^{p}|w|^{p} \int_{\mathbb {D}}\frac{(1-|w|^{2})^{p}}{|1-\overline{w} z|^{2+q+p}} \bigl(1-|z|^{2} \bigr)^{q} \bigl(1- \bigl|\eta_{a}(z) \bigr|^{2} \bigr)^{s} \,dA(z) \\ &\lesssim \int_{\mathbb {D}}\frac{(1-|a|^{2})^{s}(1-|z|^{2})^{q+s}}{|1-\overline{w} z|^{2+q}|1-\overline{a} z|^{2s}}\,dA(z) \\ &\lesssim\frac{(1-|a|^{2})^{s}}{(1-|w|)^{\varepsilon }} \int_{\mathbb {D}}\frac{(1-|z|^{2})^{s+\varepsilon -2}}{|1-\overline{a} z|^{2s}}\,dA(z) \\ &\lesssim\frac{(1-|a|^{2})^{\varepsilon }}{(1-|w|)^{\varepsilon }}\to0 \quad\mbox{as } |a|\to1^{-}, \end{aligned}$$
(3)
from which the statement follows in this case.
Now assume that \(0< s\le1\). Let u and \(u'\) be chosen such that
$$\max \biggl\{ 1, \frac{1}{q+2} \biggr\} < u< \frac{1}{1-s}\quad \mbox{and} \quad \frac{1}{u}+\frac{1}{u'}=1, $$
and let \(v=q+\frac{2}{u'}\) (for \(s=1\), we set \(1/(1-s)=+\infty\)).
Let \(\varepsilon \in(0,s)\) be such that
$$\begin{aligned} (v-\varepsilon )u>-1 \quad\mbox{and}\quad (q+s+\varepsilon -v)u'>-1 \end{aligned}$$
(4)
(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
$$\begin{aligned} I_{f_{w}}(a) \lesssim{}& \int_{\mathbb {D}}\frac{(1-|w|^{2})^{p}(1-|a|^{2})^{s}(1-|z|^{2})^{q+s}}{|1-\overline{w} z|^{2+q+p}|1-\overline{a} z|^{2s}}\,dA(z) \\ ={}& \int_{\mathbb {D}}\frac{(1-|w|^{2})^{p}(1-|a|^{2})^{s}(1-|z|^{2})^{(q+s+\varepsilon -v)+v-\varepsilon }}{|1-\overline{w} z|^{2+q+p}|1-\overline{a} z|^{2s}}\,dA(z) \\ \le{}& \bigl(1-|w|^{2} \bigr)^{p} \biggl( \int_{\mathbb {D}}\frac{(1-|z|^{2})^{(v-\varepsilon )u}}{|1-\overline{w} z|^{(2+q+p)u}}\,dA(z) \biggr)^{1/u} \\ &{}\times \bigl(1-|a|^{2} \bigr)^{s} \biggl( \int_{\mathbb {D}}\frac{(1-|z|^{2})^{(q+s+\varepsilon -v)u'}}{|1-\overline{a} z|^{2su'}}\,dA(z) \biggr)^{1/u'} \\ \lesssim{}&\frac{(1-|a|^{2})^{\varepsilon }}{(1-|w|)^{\varepsilon }}\to0, \quad\mbox{as } |a|\to1^{-}, \end{aligned}$$
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
  1. (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\),

     
  2. (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

     
  3. (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:
$$\begin{aligned} M_{1} + M_{2} + M_{3} & \lesssim \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F(p, q, s) \ (\textit{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}} \\ & \lesssim M_{1} + M_{2} + M_{3} + \frac{|\psi_{1}(0)|}{(1-|\varphi(0)|^{2})^{\frac{2 + q}{p} + n - 1}} + \frac{|\psi_{2}(0)|}{(1-|\varphi(0)|^{2})^{\frac{2 + q}{p} + n}}. \end{aligned}$$
(5)
(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}\),
  1. (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

     
  2. (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:
$$ \begin{aligned}[b] b_{\mu}(\psi_{1}) + M_{4} + M_{5} & \lesssim \bigl\| T^{0}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F(p, q, s) \ (\textit{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}} \\ & \lesssim b_{\mu}(\psi_{1}) + M_{4} + M_{5} + \bigl|\psi_{1}(0) \bigr| + \frac{|\psi_{2}(0)|}{(1-|\varphi(0)|^{2})^{\frac{2 + q}{p}}}. \end{aligned} $$
(6)
(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
  1. (f)

    \(M_{6} := \sup_{z \in\mathbb{D}} \mu(z)|\psi_{1}'(z)|\ln (\frac{2}{1 - |\varphi(z)|^{2}} ) < \infty\),

     
  2. (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

     
  3. (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:
$$\begin{aligned} M_{6} + M_{7} + M_{8} & \lesssim \bigl\| T^{0}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F(p, q, s) \ (\textit{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}} \\ & \lesssim M_{6} + M_{7} + M_{8} + \bigl| \psi_{1}(0) \bigr|\ln \biggl(\frac{2}{1 - |\varphi(0)|^{2}} \biggr) + \frac{|\psi_{2}(0)|}{1-|\varphi(0)|^{2}}. \end{aligned}$$
(7)

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
$$\begin{aligned} \mu(z) \bigl| \bigl(T^{n}_{\psi_{1} , \psi_{2} , \varphi} f \bigr)'(z) \bigr| ={}& \mu(z) \bigl|\psi_{1}'(z) f^{(n)} \bigl(\varphi(z) \bigr) + \bigl(\psi_{1}(z) \varphi'(z) + \psi_{2}'(z) \bigr) f^{(n+1)} \bigl(\varphi(z) \bigr) \\ &{} + \psi_{2}(z)\varphi'(z) f^{(n+2)} \bigl( \varphi(z) \bigr) \bigr| \\ \lesssim{}&\mu(z) \biggl(\frac{|\psi_{1}'(z)|}{(1-|\varphi(z)|^{2})^{\frac{2 + q}{p} + n - 1}} + \frac{|\psi_{1}(z)\varphi'(z) + \psi_{2}'(z)|}{(1- |\varphi(z)|^{2})^{\frac{2 + q}{p} + n}} \\ &{} + \frac{|\psi_{2}(z)\varphi'(z)|}{(1-|\varphi(z)|^{2})^{\frac{2 + q}{p} + n + 1}} \biggr)\|f\|_{F(p, q, s)}. \end{aligned}$$
(8)
On the other hand, we have
$$\begin{aligned} \bigl| \bigl(T^{n}_{\psi_{1},\psi_{2},\varphi}f \bigr) (0) \bigr| & = \bigl| \psi_{1}(0) f^{(n)} \bigl(\varphi(0) \bigr) + \psi_{2}(0) f^{(n+1)} \bigl(\varphi(0) \bigr) \bigr| \\ & \lesssim \biggl(\frac{|\psi_{1}(0)|}{(1-|\varphi(0)|^{2})^{\frac{2 + q}{p} + n - 1}} + \frac{|\psi_{2}(0)|}{(1-|\varphi(0)|^{2})^{\frac{2 + q}{p} + n}} \biggr) \|f \|_{F(p, q, s)}. \end{aligned}$$
(9)
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
$$\begin{aligned} \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F(p, q, s) \ (\textit{or }F_{0}(p, q, s))\to\mathcal {B}_{\mu}} \lesssim{}& M_{1} + M_{2} + M_{3} \\ &{} + \frac{|\psi_{1}(0)|}{(1-|\varphi(0)|^{2})^{\frac{2 + q}{p} + n - 1}} + \frac{|\psi_{2}(0)|}{(1-|\varphi(0)|^{2})^{\frac{2 + q}{p} + n}}. \end{aligned}$$
(10)
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
$$\begin{aligned} \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F_{0}(p,q,s)\rightarrow\mathcal{B}_{\mu}}\le \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F(p,q,s)\rightarrow\mathcal{B}_{\mu}}. \end{aligned}$$
(11)
Hence, if \(T^{n}_{\psi_{1} , \psi_{2} , \varphi} : F_{0}(p, q, s)\to \mathcal {B}_{\mu}\) is bounded, then we have
$$ \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi}f \bigr\| _{\mathcal {B}_{\mu}}\lesssim \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F_{0}(p, q, s)\rightarrow\mathcal{B}_{\mu}}\|f\|_{F(p,q,s)} $$
(12)
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
$$ \sup_{z\in\mathbb {D}}\mu(z) \bigl|\psi_{1}'(z) \bigr| \lesssim \bigl\| T^{n}_{\psi_{1},\psi_{2},\varphi} \bigr\| _{F_{0}(p, q, s)\to\mathcal{B}_{\mu}}. $$
(13)
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
$$\begin{aligned} \sup_{z\in\mathbb {D}}\mu(z) \bigl|\psi_{1}(z)\varphi'(z)+ \psi _{2}'(z) \bigr|&\lesssim \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F_{0}(p, q, s) \rightarrow\mathcal{B}_{\mu}} + \sup_{z\in\mathbb {D}}\mu(z) \bigl|\psi_{1}'(z) \bigr| \\ & \lesssim \bigl\| T^{n}_{\psi_{1},\psi_{2},\varphi} \bigr\| _{F_{0}(p, q, s) \rightarrow \mathcal{B}_{\mu}}. \end{aligned}$$
(14)
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
$$ \sup_{z\in\mathbb {D}} \mu(z) \bigl|\psi_{2}(z)\varphi'(z) \bigr| \lesssim \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F_{0}(p, q, s) \rightarrow \mathcal{B}_{\mu}}. $$
(15)
For \(\zeta\in\mathbb {D}\) and \(n\in {\mathbb {N}}_{0}\), consider the family of functions
$$\begin{aligned} f_{\zeta}(z) ={}& \prod_{j = 1}^{n} \biggl(\frac{2 + q}{p} + j \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \frac{1-|\varphi(\zeta)|^{2}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p}}} \\ &{} - 2 \prod_{j = 1}^{n} \biggl( \frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \frac{(1-|\varphi(\zeta)|^{2})^{2}}{(1-\overline{\varphi(\zeta)} z)^{\frac{2 + q}{p} + 1}} \\ &{} + \prod_{j = 1}^{n} \biggl( \frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j \biggr) \frac{(1-|\varphi(\zeta)|^{3})^{3}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p} + 2}}. \end{aligned}$$
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
$$\begin{aligned} f^{(n)}_{\zeta}(z)={}& \prod_{j=1}^{n} \biggl(\frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2+q}{p}+j \biggr) \biggl(\frac{2+q}{p}+j+1 \biggr) \bigl(\overline{\varphi(\zeta)} \bigr)^{n} \\ &{} \times \biggl(\frac{1-|\varphi(\zeta)|^{2}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p}+ n}} - 2 \frac{(1-|\varphi(\zeta)|^{2})^{2}}{(1-\overline{\varphi(\zeta)} z)^{\frac{2 + q}{p} + n + 1}} + \frac{(1-|\varphi(\zeta)|^{3})^{3}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p} + n + 2}} \biggr), \\ f^{(n+1)}_{\zeta}(z)={}&\prod_{j=1}^{n} \biggl(\frac{2+q}{p}+j-1 \biggr) \biggl(\frac{2+q}{p}+j \biggr) \biggl( \frac{2 + q}{p} + j + 1 \biggr) \bigl(\overline{\varphi(\zeta)} \bigr)^{n+1} \\ &{} \times \biggl( \biggl(\frac{2 + q}{p}+n \biggr)\frac{1-|\varphi(\zeta)|^{2}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p}+ n+ 1}} \\ &{} -2 \biggl(\frac{2 + q}{p} + n + 1 \biggr)\frac {(1-|\varphi(\zeta)|^{2})^{2}}{(1-\overline{\varphi(\zeta)} z)^{\frac {2 + q}{p} + n + 2}} \\ &{} + \biggl(\frac{2 + q}{p} + n + 2 \biggr) \frac{(1-|\varphi(\zeta)|^{3})^{3}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p} + n + 3}} \biggr), \end{aligned}$$
and
$$\begin{aligned} f^{(n + 2)}_{\zeta}(z) ={}& \prod_{j = 1}^{n} \biggl(\frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \bigl(\overline{\varphi(\zeta)} \bigr)^{n+2} \\ &{} \times \biggl( \biggl(\frac{2 + q}{p} + n \biggr) \biggl( \frac{2 + q}{p} + n + 1 \biggr) \frac{1-|\varphi(\zeta)|^{2}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p}+ n + 2}} \\ &{} - 2 \biggl(\frac{2 + q}{p} + n + 1 \biggr) \biggl(\frac {2 + q}{p} + n + 2 \biggr) \frac{(1-|\varphi(\zeta)|^{2})^{2}}{(1-\overline{\varphi(\zeta)} z)^{\frac{2 + q}{p} + n + 3}} \\ &{} + \biggl(\frac{2 + q}{p} + n + 2 \biggr) \biggl(\frac{2 + q}{p}+n+3 \biggr)\frac{(1-|\varphi(\zeta)|^{3})^{3}}{(1-\overline {\varphi(\zeta)}z)^{\frac{2+q}{p}+n+4}} \biggr). \end{aligned}$$
Hence,
$$f^{(n)}_{\zeta}\bigl(\varphi(\zeta) \bigr) = 0,\qquad f^{(n+1)}_{\zeta}\bigl(\varphi(\zeta) \bigr) = 0, $$
and
$$f^{(n+2)}_{\zeta}\bigl(\varphi(\zeta) \bigr) = \prod _{j = 1}^{n} \biggl(\frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \frac{2(\overline{\varphi(\zeta)})^{n+2}}{(1- |\varphi(\zeta)|^{2})^{\frac{2 + q}{p} + n+1}}, $$
which, along with the boundedness of the operator, implies that
$$\begin{aligned} \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F_{0}(p, q, s) \rightarrow \mathcal{B}_{\mu}} \gtrsim{}& \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} f_{\zeta}\bigr\| _{\mathcal {B}_{\mu}} \\ \gtrsim{}& \mu(\zeta) \bigl|\psi_{1}'(\zeta) f^{(n)}_{\zeta}\bigl(\varphi(\zeta) \bigr) + \bigl( \psi_{1}(\zeta)\varphi'(\zeta) + \psi_{2}'( \zeta) \bigr) f^{(n+1)}_{\zeta}\bigl(\varphi(\zeta) \bigr) \\ &{} + \psi_{2}(\zeta)\varphi'(\zeta) f^{(n+2)}_{\zeta}\bigl(\varphi (\zeta) \bigr) \bigr| \\ ={}& C_{1}(p, q, n) \mu(\zeta) \frac{|\psi_{2}(\zeta)\varphi'(\zeta) (\varphi(\zeta))^{n+2}|}{(1-|\varphi(\zeta)|^{2})^{\frac{2 + q}{p} + n+1}}, \end{aligned}$$
(16)
where
$$C_{1}(p, q, n) =2\prod_{j = 1}^{n} \biggl(\frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr). $$
From (15) and (16), for \(\delta\in(0,1)\), we obtain
$$\begin{aligned} &\sup_{\zeta\in\mathbb {D}} \frac{\mu(\zeta) |\psi_{2}(\zeta) \varphi'(\zeta)|}{(1-|\varphi(\zeta)|^{2})^{\frac{2 + q}{p} + n+1}} \\ &\quad \leq\sup_{|\varphi(\zeta)| > \delta}\frac{\mu(\zeta)|\psi _{2}(\zeta) \varphi'(\zeta)|}{(1-|\varphi(\zeta)|^{2})^{\frac{2 + q}{p} + n+1}} + \sup _{|\varphi(\zeta)| \leq\delta}\frac{\mu (\zeta)|\psi_{2}(\zeta) \varphi'(\zeta)|}{(1-|\varphi(\zeta )|^{2})^{\frac{2 + q}{p} + n+1}} \\ &\quad \leq\frac{1}{\delta^{n+2}} \sup_{|\varphi(\zeta)| > \delta} \frac{\mu(\zeta)|\psi_{2}(\zeta) \varphi'(\zeta)(\varphi(\zeta ))^{n+2}|}{(1- |\varphi(\zeta)|^{2})^{\frac{2 + q}{p} + n+1}} \\ &\qquad{} + \frac{1}{(1-\delta^{2})^{\frac{2 + q}{p} + n+1}} \sup_{|\varphi(\zeta)| \leq\delta}\mu(\zeta) \bigl| \psi_{2}(\zeta) \varphi '(\zeta) \bigr| \\ &\quad \lesssim \biggl(\frac{1}{\delta^{n+2}} + \frac{1}{(1-\delta^{2})^{\frac{2 + q}{p} + n+1}} \biggr) \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F_{0}(p,q,s)\rightarrow\mathcal{B}_{\mu}}. \end{aligned}$$
From this it follows that (c) holds and, moreover,
$$ M_{3} \lesssim \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F_{0}(p,q,s)\rightarrow \mathcal{B}_{\mu}}. $$
(17)
For \(\zeta\in\mathbb {D}\) and \(n\in {\mathbb {N}}_{0}\), consider the family of functions
$$\begin{aligned} g_{\zeta}(z) ={}& \biggl(\frac{2 + q}{p} + n + 2 \biggr)\prod _{j = 1}^{n} \biggl(\frac{2 + q}{p} + j \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \frac{1-|\varphi(\zeta )|^{2}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p}}} \\ &{} - \biggl(2\frac{(2 + q)}{p} + 2n + 3 \biggr) \prod _{j = 1}^{n} \biggl(\frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \frac{(1-|\varphi(\zeta)|^{2})^{2}}{(1-\overline{\varphi(\zeta)} z)^{\frac{2 + q}{p} + 1}} \\ &{} + \biggl(\frac{2 + q}{p} + n + 1 \biggr)\prod _{j = 1}^{n} \biggl(\frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j \biggr) \frac{(1-|\varphi(\zeta)|^{3})^{3}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p} + 2}}. \end{aligned}$$
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
$$\begin{aligned}& \begin{aligned}[b] g^{(n)}_{\zeta}(z) ={}& \prod _{j = 1}^{n} \biggl(\frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \bigl(\overline{\varphi(\zeta)} \bigr)^{n} \\ &{} \times \biggl( \biggl(\frac{2 + q}{p} + n + 2 \biggr)\frac {1-|\varphi(\zeta)|^{2}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p}+ n}} \\ &{} - \biggl(2\frac{(2 + q)}{p} + 2n + 3 \biggr) \frac {(1-|\varphi(\zeta)|^{2})^{2}}{(1-\overline{\varphi(\zeta)} z)^{\frac {2 + q}{p} + n + 1}} \\ &{} + \biggl(\frac{2 + q}{p} + n + 1 \biggr)\frac {(1-|\varphi(\zeta)|^{3})^{3}}{(1- \overline{\varphi(\zeta)} z)^{\frac {2 + q}{p} + n + 2}} \biggr), \end{aligned} \\& \begin{aligned}[b] g^{(n+1)}_{\zeta}(z)={}&\prod _{j=1}^{n} \biggl(\frac{2+q}{p}+j-1 \biggr) \biggl(\frac{2+q}{p}+j \biggr) \biggl( \frac{2+q}{p}+j+1 \biggr) \bigl( \overline{\varphi(\zeta)} \bigr)^{n+1} \\ &{}\times \biggl( \biggl(\frac{2 + q}{p} + n \biggr) \biggl( \frac{2 + q}{p} + n + 2 \biggr) \frac{1-|\varphi(\zeta)|^{2}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p}+ n+ 1}} \\ &{} - \biggl(\frac{2 + q}{p} + n + 1 \biggr) \biggl(2\frac{(2 + q)}{p} + 2n + 3 \biggr) \frac{(1-|\varphi(\zeta)|^{2})^{2}}{(1-\overline{\varphi(\zeta)} z)^{\frac{2 + q}{p} + n + 2}} \\ &{} + \biggl(\frac{2 + q}{p} + n + 2 \biggr) \biggl(\frac{2 + q}{p} + n + 1 \biggr)\frac{(1-|\varphi(\zeta)|^{3})^{3}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p} + n + 3}} \biggr), \end{aligned} \end{aligned}$$
and
$$\begin{aligned} g^{(n + 2)}_{\zeta}(z) ={}& \prod_{j = 1}^{n} \biggl(\frac {2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \bigl(\overline{\varphi(\zeta)} \bigr)^{n+2} \\ &{} \times \biggl(\frac{2+q}{p}+n+1 \biggr) \biggl(\frac{2 + q}{p} + n + 2 \biggr) \biggl( \biggl(\frac{2 + q}{p} + n \biggr)\frac{1-|\varphi(\zeta )|^{2}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p}+ n + 2}} \\ &{} - \biggl(2\frac{(2 + q)}{p} + 2n + 3 \biggr)\frac {(1-|\varphi(\zeta)|^{2})^{2}}{(1-\overline{\varphi(\zeta)} z)^{\frac {2 + q}{p} + n + 3}} \\ &{} + \biggl(\frac{2 + q}{p} + n + 3 \biggr)\frac{(1-|\varphi(\zeta)|^{3})^{3}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p} + n + 4}} \biggr). \end{aligned}$$
Hence,
$$g^{(n)}_{\zeta}\bigl(\varphi(\zeta) \bigr) = 0,\qquad g^{(n+2)}_{\zeta}\bigl(\varphi(\zeta) \bigr) = 0, $$
and
$$g^{(n+1)}_{\zeta}\bigl(\varphi(\zeta) \bigr) = -\prod _{j = 1}^{n} \biggl(\frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \frac{(\overline{\varphi(\zeta)})^{n+1}}{(1- |\varphi(\zeta)|^{2})^{\frac{2 + q}{p} + n}}, $$
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
$$\begin{aligned} & \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F_{0}(p,q,s)\rightarrow \mathcal{B}_{\mu}} \\ &\quad\gtrsim \bigl\| T^{n}_{\psi_{1},\psi_{2},\varphi }g_{\zeta}\bigr\| _{\mathcal{B}_{\mu}} \\ &\quad\gtrsim \mu(\zeta) \bigl|\psi_{1}'(\zeta) g^{(n)}_{\zeta}\bigl(\varphi(\zeta) \bigr) + \bigl( \psi_{1}(\zeta)\varphi'(\zeta) + \psi_{2}'( \zeta) \bigr) g^{(n+1)} \bigl(\varphi(\zeta) \bigr) \\ &\qquad{} +\psi_{2}(\zeta)\varphi'(\zeta) g^{(n+2)} \bigl( \varphi(\zeta) \bigr) \bigr| \\ &\quad= C_{2}(p, q, n) \mu(\zeta) \frac{|\psi_{1}(\zeta)\varphi'(\zeta)+\psi_{2}'(\zeta)\|\varphi (\zeta)|^{n+1}}{(1-|\varphi(\zeta)|^{2})^{\frac{2 + q}{p} + n}}, \end{aligned}$$
(18)
where
$$C_{2}(p,q,n)=\prod_{j=1}^{n} \biggl(\frac{2+q}{p}+j-1 \biggr) \biggl(\frac {2+q}{p}+j \biggr) \biggl( \frac{2+q}{p}+j+1 \biggr). $$
From (14) and (18), for \(\delta\in(0,1)\), we obtain
$$\begin{aligned} &\sup_{\zeta\in\mathbb {D}}\frac{\mu(\zeta)|\psi_{1}(\zeta)\varphi'(\zeta) + \psi'_{2}(\zeta)|}{(1-|\varphi(\zeta)|^{2})^{\frac{2 + q}{p} + n }} \\ &\quad \leq\sup_{|\varphi(\zeta)| > \delta}\frac{\mu(\zeta)|\psi_{1}(\zeta)\varphi'(\zeta) + \psi'_{2}(\zeta)|}{(1-|\varphi(\zeta)|^{2})^{\frac{2 + q}{p} + n }}+ \sup _{|\varphi(\zeta)| \leq\delta} \frac{\mu(\zeta)|\psi _{1}(\zeta)\varphi'(\zeta) +\psi'_{2}(\zeta)|}{(1-|\varphi(\zeta )|^{2})^{\frac{2 + q}{p} + n }} \\ &\quad \leq\frac{1}{\delta^{n+1}} \sup_{|\varphi(\zeta)| > \delta} \frac{\mu(\zeta)|\psi_{1}(\zeta)\varphi'(\zeta) + \psi'_{2}(\zeta)||\varphi (\zeta)|^{n+1}}{(1-|\varphi(\zeta)|^{2})^{\frac{2 + q}{p} + n }} \\ &\qquad{} +\frac{1}{(1-\delta^{2})^{\frac{2+q}{p}+n}}\sup_{|\varphi(\zeta )| \leq\delta}\mu(\zeta) \bigl| \psi_{1}( \zeta)\varphi'(\zeta) +\psi '_{2}( \zeta) \bigr| \\ &\quad \lesssim \biggl(\frac{1}{\delta^{n+1}} + \frac{1}{(1-\delta^{2})^{\frac{2 + q}{p} + n}} \biggr) \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F_{0}(p, q, s) \rightarrow\mathcal{B}_{\mu}}. \end{aligned}$$
From this it follows that (b) holds and, moreover,
$$ M_{2} \lesssim \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F_{0}(p,q,s)\rightarrow \mathcal{B}_{\mu}}. $$
(19)
Finally, for \(\zeta\in\mathbb {D}\) and \(n\in {\mathbb {N}}_{0}\), consider the family of functions
$$\begin{aligned} h_{\zeta}(z) ={}& \biggl(\frac{2 + q}{p} + n + 1 \biggr) \biggl( \frac{2 + q}{p} + n + 2 \biggr) \\ &{} \times\prod_{j = 1}^{n} \biggl( \frac{2 + q}{p} + j \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \frac{1-|\varphi(\zeta)|^{2}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p}}} \\ &{} - 2 \biggl(\frac{2 + q}{p} + n \biggr) \biggl(\frac{2 + q}{p} + n + 2 \biggr) \\ &{} \times\prod_{j = 1}^{n} \biggl( \frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \frac{(1-|\varphi(\zeta)|^{2})^{2}}{(1-\overline{\varphi(\zeta)} z)^{\frac{2 + q}{p} + 1}} \\ &{} + \biggl(\frac{2 + q}{p} + n \biggr) \biggl(\frac{2 + q}{p} + n + 1 \biggr) \\ &{}\times\prod_{j = 1}^{n} \biggl( \frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j \biggr) \frac{(1-|\varphi(\zeta)|^{3})^{3}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p} + 2}}. \end{aligned}$$
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
$$\begin{aligned}& \begin{aligned}[b] h^{(n)}_{\zeta}(z) ={}& \prod _{j = 1}^{n} \biggl(\frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \bigl(\overline{\varphi(\zeta)} \bigr)^{n} \\ &{} \times \biggl( \biggl(\frac{2 + q}{p} + n + 1 \biggr) \biggl( \frac{2 + q}{p} + n + 2 \biggr) \frac{1-|\varphi(\zeta)|^{2}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p}+n}} \\ &{} - 2 \biggl(\frac{2 + q}{p} + n \biggr) \biggl(\frac{2 + q}{p} + n + 2 \biggr)\frac{(1-|\varphi(\zeta)|^{2})^{2}}{(1-\overline {\varphi(\zeta)} z)^{\frac{2 + q}{p} + n + 1}} \\ &{} + \biggl(\frac{2 + q}{p} + n \biggr) \biggl(\frac{2 + q}{p} + n + 1 \biggr)\frac{(1-|\varphi(\zeta)|^{3})^{3}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p} + n + 2}} \biggr), \end{aligned} \\& \begin{aligned}[b] h^{(n+1)}_{\zeta}(z)={}&\prod _{j = 1}^{n} \biggl(\frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \bigl(\overline{\varphi(\zeta )} \bigr)^{n+1} \\ &{} \times \biggl(\frac{2 + q}{p} + n \biggr) \biggl(\frac{2 + q}{p} + n + 1 \biggr) \biggl(\frac{2 + q}{p} + n + 2 \biggr) \\ &{} \times \biggl(\frac{1-|\varphi(\zeta)|^{2}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p}+ n+ 1}} - \frac{2(1-|\varphi(\zeta)|^{2})^{2}}{(1-\overline{\varphi(\zeta)} z)^{\frac{2 + q}{p} + n + 2}} + \frac{(1-|\varphi(\zeta)|^{3})^{3}}{(1- \overline{\varphi(\zeta)} z)^{\frac{2 + q}{p} + n + 3}} \biggr), \end{aligned} \end{aligned}$$
and
$$\begin{aligned} h^{(n + 2)}_{\zeta}(z) ={}& \prod_{j = 1}^{n} \biggl(\frac {2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \bigl(\overline{\varphi(\zeta)} \bigr)^{n+2} \\ &{} \times \biggl(\frac{2 + q}{p} + n \biggr) \biggl(\frac{2 + q}{p} + n + 1 \biggr) \biggl(\frac{2 + q}{p} + n + 2 \biggr) \\ &{} \times \biggl( \biggl(\frac{2 + q}{p} + n + 1 \biggr) \frac {1-|\varphi(\zeta)|^{2}}{(1- \overline{\varphi(\zeta)} z)^{\frac {2+q}{p}+n+2}} \\ &{} - 2 \biggl(\frac{2 + q}{p} + n + 2 \biggr)\frac {(1-|\varphi(\zeta)|^{2})^{2}}{(1-\overline{\varphi(\zeta)} z)^{\frac {2 + q}{p} + n + 3}} \\ &{} + \biggl(\frac{2 + q}{p} + n + 3 \biggr) \frac {(1-|\varphi(\zeta)|^{3})^{3}}{(1- \overline{\varphi(\zeta)} z)^{\frac {2 + q}{p} + n + 4}} \biggr). \end{aligned}$$
Hence,
$$h^{(n+1)}_{\zeta}\bigl(\varphi(\zeta) \bigr) = 0,\qquad h^{(n+2)}_{\zeta}\bigl(\varphi(\zeta) \bigr) = 0, $$
and
$$h^{(n)}_{\zeta}\bigl(\varphi(\zeta) \bigr) = C_{3}(p, q, n) \frac{(\overline{\varphi(\zeta)})^{n}}{(1- |\varphi(\zeta)|^{2})^{\frac{2 + q}{p} + n - 1}}, $$
where
$$C_{3}(p, q, n) = 2\prod_{j = 1}^{n} \biggl(\frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr). $$
Thus, using the boundedness of the operator, we have
$$\begin{aligned} \bigl\| T^{n}_{\psi_{1},\psi_{2},\varphi} \bigr\| _{F_{0}(p, q, s) \rightarrow \mathcal{B}_{\mu}}\gtrsim{}& \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} h_{\zeta}\bigr\| _{\mathcal {B}_{\mu}} \\ \gtrsim{}& \mu(\zeta) \bigl|\psi_{1}'(\zeta) h^{(n)}_{\zeta}\bigl(\varphi(\zeta) \bigr) + \bigl( \psi_{1}(\zeta)\varphi'(\zeta) + \psi_{2}'( \zeta) \bigr) h^{(n+1)}_{\zeta}\bigl(\varphi(\zeta) \bigr) \\ &{} + \psi_{2}(\zeta)\varphi'(\zeta) h^{(n+2)}_{\zeta}\bigl(\varphi(\zeta) \bigr) \bigr| \\ \ge{}& C_{3}(p, q, n)\mu(\zeta) \frac{|\psi'_{1}(\zeta) (\varphi(\zeta))^{n}|}{(1-|\varphi(\zeta)|^{2})^{\frac{2 + q}{p} + n - 1}}. \end{aligned}$$
(20)
From (13) and (20), for \(\delta\in(0,1)\), we obtain
$$\begin{aligned}[b] &\sup_{\zeta\in\mathbb {D}}\frac{\mu(\zeta)|\psi'_{1}(\zeta )|}{(1-|\varphi(\zeta)|^{2})^{\frac{2+q}{p}+n-1}} \\ &\quad \leq\sup_{|\varphi(\zeta)| > \delta}\frac{\mu(\zeta)|\psi'_{1}(\zeta)|}{(1-|\varphi(\zeta )|^{2})^{\frac{2+q}{p}+n-1}}+ \sup _{|\varphi(\zeta)| \leq\delta}\frac{\mu(\zeta)|\psi '_{1}(\zeta)|}{(1-|\varphi(\zeta)|^{2})^{\frac{2+q}{p}+n-1}} \\ &\quad \leq\frac{1}{\delta^{n}} \sup_{|\varphi(\zeta)| > \delta} \frac{\mu(\zeta)|\psi'_{1}(\zeta)(\varphi(\zeta))^{n}|}{(1-|\varphi (\zeta)|^{2})^{\frac{2+q}{p}+n-1}} + \frac{1}{(1-\delta^{2})^{\frac{2+q}{p}+n-1}}\sup_{|\varphi(\zeta)| \leq\delta}\mu(\zeta) \bigl| \psi_{1}'( \zeta) \bigr| \\ &\quad \lesssim \biggl(\frac{1}{\delta^{n}} + \frac{1}{(1-\delta^{2})^{\frac{2 + q}{p} + n-1}} \biggr) \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F_{0}(p, q, s) \rightarrow \mathcal{B}_{\mu}}. \end{aligned} $$
From this it follows that (a) holds and, moreover,
$$ M_{1} \lesssim \bigl\| T^{n}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F_{0}(p, q, s) \rightarrow \mathcal{B}_{\mu}}. $$
(21)
From (17), (19), and (21) we have
$$ M_{1} + M_{2} + M_{3} \lesssim \bigl\| T^{n}_{\psi_{1} , \psi_{2}, \varphi} \bigr\| _{F_{0}(p, q, s) \rightarrow\mathcal{B}_{\mu}}. $$
(22)
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
$$\begin{aligned} \mu(z)\bigl\vert \bigl(T^{0}_{\psi_{1} , \psi_{2} , \varphi}f \bigr)'(z) \bigr\vert \leq{}& \mu(z)\bigl\vert \psi_{1}'(z)\bigr\vert \bigl\vert f \bigl(\varphi(z) \bigr)\bigr\vert + \mu(z)\bigl\vert \psi_{1}(z) \varphi'(z) + \psi_{2}'(z) \bigr\vert \bigl\vert f' \bigl(\varphi(z) \bigr)\bigr\vert \\ &{} + \mu(z)\bigl\vert \psi_{2}(z)\varphi'(z) \bigr\vert \bigl\vert f'' \bigl(\varphi(z) \bigr)\bigr\vert \\ \lesssim{}& \biggl(\mu(z)\bigl\vert \psi_{1}'(z)\bigr\vert + \frac{\mu(z)\vert \psi_{1}(z)\varphi'(z)+\psi'_{2}(z)\vert }{(1 - \vert \varphi (z)\vert ^{2})^{\frac{2 + q}{p} }} \\ &{} + \frac{\mu(z)\vert \psi_{2}(z)\varphi'(z)\vert }{(1 - \vert \varphi(z)\vert ^{2})^{\frac{2 + q}{p} + 1}} \biggr) \|f\|_{F(p, q, s)} \\ \lesssim{}& \bigl(b_{\mu}(\psi_{1}) + M_{4} + M_{5} \bigr) \|f\|_{F(p, q, s)} \end{aligned}$$
(23)
and
$$\begin{aligned} \bigl\vert \bigl(T^{0}_{\psi_{1} , \psi_{2} , \varphi}f \bigr) (0)\bigr\vert & = \bigl\vert \psi _{1}(0) f \bigl(\varphi(0) \bigr) + \psi_{2}(0) f' \bigl(\varphi(0) \bigr)\bigr\vert \\ & \lesssim \biggl({\bigl\vert \psi_{1}(0)\bigr\vert } + \frac{\vert \psi_{2}(0)\vert }{(1-\vert \varphi(0)\vert ^{2})^{\frac{2 + q}{p} }} \biggr) \|f \|_{F(p, q, s)}. \end{aligned}$$
(24)
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
$$\begin{aligned} \bigl\Vert T^{0}_{\psi_{1} , \psi_{2} , \varphi}\bigr\Vert _{F(p, q, s) \ (\textit{or }F_{0}(p,q,s))\to\mathcal {B}_{\mu}} \lesssim b_{\mu}( \psi_{1}) + M_{4} + M_{5} + \bigl\vert \psi_{1}(0)\bigr\vert + \frac{\vert \psi_{2}(0)\vert }{(1-\vert \varphi(0)\vert ^{2})^{\frac{2 + q}{p}}}. \end{aligned}$$
(25)
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,
$$b_{\mu}(\psi_{1}) + M_{4} + M_{5} \lesssim\bigl\Vert T^{0}_{\psi_{1} , \psi_{2} , \varphi}\bigr\Vert _{F_{0}(p,q,s) \to\mathcal {B}_{\mu}}, $$
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
$$\begin{aligned} \mu(z) \bigl\vert \bigl(T^{0}_{\psi_{1} , \psi_{2} , \varphi}f \bigr)'(z)\bigr\vert \leq{}& \mu(z)\bigl\vert \psi_{1}'(z)\bigr\vert \bigl\vert f \bigl(\varphi(z) \bigr)\bigr\vert + \mu(z)\bigl\vert \psi_{1}(z)\varphi'(z) + \psi_{2}(z) \bigr\vert \bigl\vert f' \bigl( \varphi(z) \bigr)\bigr\vert \\ &{}+\mu(z)\bigl\vert \psi_{2}(z)\varphi'(z)\bigr\vert \bigl\vert f'' \bigl(\varphi(z) \bigr)\bigr\vert \\ \lesssim{}& \biggl(\mu(z)\bigl\vert \psi_{1}'(z)\bigr\vert \ln \biggl( \frac{2}{1 - \vert \varphi (z)\vert ^{2}} \biggr) +\frac{\mu(z)\vert \psi_{1}(z)\varphi'(z) + \psi'_{2}(z)\vert }{1 - \vert \varphi(z)\vert ^{2}} \\ &{} +\frac{\mu(z)\vert \varphi'(z) \psi_{2}(z)\vert }{(1 - \vert \varphi(z)\vert ^{2})^{2}} \biggr) \|f\|_{F(p, q, s)} \\ \lesssim{}& (M_{6} + M_{7} + M_{8}) \|f \|_{F(p, q, s)} \end{aligned}$$
(26)
and
$$\begin{aligned} \bigl\vert \bigl(T^{0}_{\psi_{1} , \psi_{2} , \varphi}f \bigr) (0)\bigr\vert & = \bigl\vert \psi_{1}(0) f \bigl(\varphi(0) \bigr) + \psi_{2}(0) f' \bigl(\varphi(0) \bigr)\bigr\vert \\ & \lesssim \biggl({\bigl\vert \psi_{1}(0)\bigr\vert \ln \biggl( \frac{2}{1 - \vert \varphi(0)\vert ^{2}} \biggr)} + \frac{\vert \psi_{2}(0)\vert }{1-\vert \varphi(0)\vert ^{2}} \biggr) \|f \|_{F(p, q, s)}. \end{aligned}$$
(27)
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
$$\begin{aligned} \bigl\| T^{0}_{\psi_{1} , \psi_{2} , \varphi} \bigr\| _{F(p, q, s) \to\mathcal {B}_{\mu}} & \lesssim M_{6} + M_{7} + M_{8}+ { \bigl| \psi_{1}(0) \bigr|\ln \biggl( \frac{2}{1 - |\varphi(0)|^{2}} \biggr)} + \frac{|\psi_{2}(0)|}{1-|\varphi(0)|^{2}}. \end{aligned}$$
(28)
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
$$f_{\zeta}(z) = \ln \biggl(\frac{2}{1 - \overline{\varphi(\zeta)} z } \biggr) . $$
Then
$$f'_{\zeta}(z) = \frac{\overline{\varphi(\zeta)}}{1 - \overline {\varphi(\zeta)} z } \quad\mbox{and}\quad f''_{\zeta}(z) = \frac{(\overline{\varphi(\zeta)})^{2}}{(1 - \overline{\varphi(\zeta)} z )^{2}}. $$
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,
$$\begin{aligned} \bigl\Vert T^{0}_{\psi_{1} , \psi_{2} , \varphi}\bigr\Vert _{ F_{0}(p, q, s) \to\mathcal {B}_{\mu}} \gtrsim{}& \bigl\Vert T^{0}_{\psi_{1} , \psi_{2} , \varphi} f_{\zeta}\bigr\Vert _{\mathcal {B}_{\mu}} \geq\mu( \zeta) \bigl\vert \bigl(T^{0}_{\psi_{1} , \psi_{2} , \varphi}f_{\zeta}\bigr)'(\zeta)\bigr\vert \\ \geq{}&\mu(\zeta) \bigl\vert \psi'_{1}(\zeta)f \bigl( \varphi(\zeta) \bigr) + \bigl(\psi_{1}(\zeta)\varphi'( \zeta ) + \psi'_{2}(\zeta) \bigr)f' \bigl( \varphi(\zeta) \bigr) \\ &{} + \psi_{2}(\zeta)\varphi'( \zeta)f'' \bigl(\varphi(\zeta) \bigr)\bigr\vert \\ ={}& \mu(\zeta) \biggl\vert \psi'_{1}(\zeta)\ln \biggl( \frac{2}{1 - |\varphi(\zeta)|^{2} } \biggr)+ \psi_{2}(\zeta) \varphi'( \zeta) \frac{(\overline{\varphi(\zeta)})^{2}}{(1 - |\varphi(\zeta)|^{2})^{2}} \\ &{} + \bigl(\psi_{1}(\zeta)\varphi'(\zeta) + \psi'_{2}(\zeta) \bigr)\frac{\overline{\varphi(\zeta)}}{1 - |\varphi(\zeta)|^{2}} \biggr\vert \end{aligned}$$
(29)
for every \(\zeta\in\mathbb {D}\), from which, along with the fact that \(|\varphi (\zeta)|<1\), \(\zeta\in {\mathbb {D}}\), we get
$$\begin{aligned} &\mu(\zeta)\bigl\vert \psi'_{1}(\zeta)\bigr\vert \ln \biggl( \frac{2}{1 - |\varphi(\zeta)|^{2} } \biggr) \\ &\quad \lesssim\bigl\Vert T^{0}_{\psi_{1} , \psi_{2} , \varphi}\bigr\Vert _{ F_{0}(p, q, s) \to \mathcal {B}_{\mu}} + \frac{|\psi_{1}(\zeta)\varphi'(\zeta) + \psi'_{2}(\zeta)|}{1 - |\varphi(\zeta)|^{2}} + \frac{|\psi_{2}(\zeta)\varphi'(\zeta)| }{(1 - |\varphi(\zeta )|^{2})^{2}}. \end{aligned}$$
(30)
From the proof of (i) we see that (g) and (h) hold and that
$$M_{7} \lesssim\bigl\Vert T^{0}_{\psi_{1} , \psi_{2} , \varphi}\bigr\Vert _{ F_{0}(p, q, s) \to\mathcal {B}_{\mu}} \quad\mbox{and}\quad M_{8} \lesssim\bigl\Vert T^{0}_{\psi_{1} , \psi _{2} , \varphi} \bigr\Vert _{ F_{0}(p, q, s) \to\mathcal {B}_{\mu}}. $$
Taking the supremum over \({\mathbb {D}}\) in (30) and then using the last asymptotic relations, we see that
$$M_{6} \lesssim\bigl\Vert T^{0}_{\psi_{1} , \psi_{2} , \varphi}\bigr\Vert _{F_{0}(p, q, s) \to\mathcal {B}_{\mu}}. $$
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
  1. (a)

    \(\lim_{|\varphi(z)|\rightarrow 1}\frac{\mu(z)|\psi'_{1}(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n - 1}} = 0 \),

     
  2. (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

     
  3. (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
  1. (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

     
  2. (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
  1. (f)

    \(\lim_{|\varphi(z)| \rightarrow 1}\mu(z)|\psi'_{1}(z)|\ln (\frac{2}{1-|\varphi(z)|^{2}} )=0\),

     
  2. (g)

    \(\lim_{|\varphi(z)|\rightarrow1} \frac{\mu(z) |\psi_{1}(z) \varphi'(z) + \psi'_{2}(z)|}{1- |\varphi(z)|^{2}} =0\), and

     
  3. (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
$$\begin{aligned}& \begin{aligned}[b] f_{k}(z) ={}& \prod_{j = 1}^{n} \biggl(\frac{2 + q}{p} + j \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \frac{1-|\varphi(z_{k})|^{2}}{(1- \overline{\varphi(z_{k})} z)^{\frac {2 + q}{p}}} \\ &{} - 2 \prod_{j = 1}^{n} \biggl( \frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \frac{(1-|\varphi(z_{k})|^{2})^{2}}{(1-\overline{\varphi(z_{k})} z)^{\frac{2 + q}{p} + 1}} \\ &{} + \prod_{j = 1}^{n} \biggl( \frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j \biggr) \frac{(1-|\varphi(z_{k})|^{3})^{3}}{(1- \overline{\varphi(z_{k})} z)^{\frac{2 + q}{p} + 2}}, \end{aligned} \\& \begin{aligned}[b] g_{k}(z) ={}& \biggl(\frac{2 + q}{p} + n + 2 \biggr)\prod_{j = 1}^{n} \biggl( \frac{2 + q}{p} + j \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \frac{1-|\varphi(z_{k})|^{2}}{(1- \overline{\varphi(z_{k})} z)^{\frac {2 + q}{p}}} \\ &{} - \biggl(2\frac{(2 + q)}{p} + 2n + 3 \biggr) \prod _{j = 1}^{n} \biggl(\frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr)\frac{(1-|\varphi(z_{k})|^{2})^{2}}{(1-\overline{\varphi (z_{k})} z)^{\frac{2 + q}{p} + 1}} \\ &{} + \biggl(\frac{2 + q}{p} + n + 1 \biggr)\prod _{j = 1}^{n} \biggl(\frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j \biggr) \frac{(1-|\varphi(z_{k})|^{3})^{3}}{(1- \overline{\varphi(z_{k})} z)^{\frac{2 + q}{p} + 2}}, \end{aligned} \end{aligned}$$
and
$$\begin{aligned} h_{k}(z) ={}& \biggl(\frac{2 + q}{p} + n + 1 \biggr) \biggl( \frac{2 + q}{p} + n + 2 \biggr) \\ &{} \times\prod_{j = 1}^{n} \biggl( \frac{2 + q}{p} + j \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \frac{1-|\varphi(z_{k})|^{2}}{(1- \overline{\varphi(z_{k})} z)^{\frac{2 + q}{p}}} \\ &{} - 2 \biggl(\frac{2 + q}{p} + n \biggr) \biggl(\frac{2 + q}{p} + n + 2 \biggr) \\ &{} \times\prod_{j = 1}^{n} \biggl( \frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j + 1 \biggr) \frac{(1-|\varphi(z_{k})|^{2})^{2}}{(1-\overline{\varphi (z_{k})} z)^{\frac{2 + q}{p} + 1}} \\ &{} + \biggl(\frac{2 + q}{p} + n \biggr) \biggl(\frac{2 + q}{p} + n + 1 \biggr) \\ &{} \times\prod_{j = 1}^{n} \biggl( \frac{2 + q}{p} + j - 1 \biggr) \biggl(\frac{2 + q}{p} + j \biggr) \frac{(1-|\varphi(z_{k})|^{3})^{3}}{(1- \overline{\varphi(z_{k})} z)^{\frac{2 + q}{p} + 2}}. \end{aligned}$$
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
$$ \begin{aligned} &\lim_{k \to\infty} \bigl\Vert T^{n}_{\psi_{1} , \psi_{2} , \varphi} f_{k}\bigr\Vert _{ \mathcal {B}_{\mu}} = 0,\qquad \lim_{k \to \infty} \bigl\Vert T^{n}_{\psi_{1} , \psi_{2} , \varphi} g_{k}\bigr\Vert _{ \mathcal {B}_{\mu}}, \quad\mbox{and} \\ &\lim_{ k \to\infty} \bigl\Vert T^{n}_{\psi_{1} , \psi_{2} , \varphi} h_{ k } \bigr\Vert _{ \mathcal {B}_{\mu}} = 0. \end{aligned} $$
(31)
From (16), (18), and (20) it follows that
$$\begin{aligned}& \mu(\zeta) \frac{|\psi_{2}(\zeta)\varphi'(\zeta) (\varphi(\zeta))^{n+2}|}{(1-|\varphi(\zeta)|^{2})^{\frac{2 + q}{p} + n+1}} \lesssim\bigl\Vert T^{n}_{\psi_{1} , \psi_{2} , \varphi}f_{k} \bigr\Vert _{\mathcal{B}_{\mu}} , \end{aligned}$$
(32)
$$\begin{aligned}& \mu(\zeta) \frac{|(\psi_{1}(\zeta)\varphi'(\zeta) + \psi_{2}'(\zeta))(\varphi(\zeta))^{n+1}|}{(1-|\varphi (\zeta)|^{2})^{\frac{2 + q}{p} + n}} \lesssim\bigl\Vert T^{n}_{\psi_{1} , \psi_{2} , \varphi} g_{k}\bigr\Vert _{\mathcal{B}_{\mu},} \end{aligned}$$
(33)
and
$$\begin{aligned} & \mu(\zeta) \frac{|\psi'_{1}(\zeta) (\varphi(\zeta))^{n}|}{(1-|\varphi(\zeta)|^{2})^{\frac{2 + q}{p} + n - 1}} \lesssim\bigl\Vert T^{n}_{\psi_{1} , \psi_{2} , \varphi} h_{k}\bigr\Vert _{\mathcal{B}_{\mu}}. \end{aligned}$$
(34)
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
$$\frac{ \mu(z)|\psi_{1}'( z) |}{( 1- |\varphi(z)|^{2}) ^{\frac{ 2+ q}{ p } + n - 1 } } < \varepsilon, \qquad\frac{ \mu(z)|\psi_{1}( z) \varphi'(z) + \psi_{2}'(z)|}{( 1- |\varphi(z)|^{2}) ^{\frac{ 2+ q}{ p } + n } } < \varepsilon, $$
and
$$\frac{ \mu(z)|\psi_{2}(z) \varphi'(z)|}{( 1- |\varphi(z)|^{2}) ^{\frac{ 2+ q}{ p } + n + 1} } < \varepsilon $$
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
$$\begin{aligned} &\bigl\Vert T^{n}_{\psi_{1} , \psi_{2} , \varphi} f_{k} \bigr\Vert _{\mathcal {B}_{\mu}} \\ &\quad\leq \sup_{ z \in\mathbb {D}} \mu(z) \bigl\vert \bigl(T^{n}_{\psi_{1} , \psi_{2} , \varphi} f_{k} \bigr)' (z) \bigr\vert \\ &\quad\leq\sup_{ z \in\mathbb {D}} \mu(z) \bigl\vert \psi_{1}' (z) f_{k} ^{(n)} \bigl( \varphi(z) \bigr)\bigr\vert + \sup_{ z \in\mathbb {D}} \mu(z) \bigl\vert \bigl(\psi_{1} (z) \varphi' (z) + \psi_{2}'(z) \bigr) f_{k} ^{(n + 1)} \bigl(\varphi(z) \bigr)\bigr\vert \\ &\qquad{} + \sup_{ z \in\mathbb {D}} \mu(z) \bigl\vert \psi_{2} (z) \varphi' (z) f_{k} ^{(n + 2)} \bigl(\varphi(z) \bigr)\bigr\vert \\ &\quad \leq\sup_{ |\varphi(z)| \leq \delta} \mu(z) \bigl\vert \psi_{1}' (z)\bigr\vert \bigl\vert f_{k} ^{(n)} \bigl(\varphi(z) \bigr)\bigr\vert + \sup_{\vert \varphi(z)\vert > \delta} \mu(z) \bigl\vert \psi_{1}' (z)\bigr\vert \bigl\vert f_{k} ^{(n)} \bigl(\varphi(z) \bigr)\bigr\vert \\ &\qquad{} + \sup_{ \vert \varphi(z)\vert \leq\delta} \mu(z) \bigl\vert \bigl( \psi_{1} (z) \varphi' (z) + \psi_{2}'(z) \bigr)\bigr\vert \bigl\vert f_{k} ^{(n + 1)} \bigl( \varphi(z) \bigr)\bigr\vert \\ &\qquad{} + \sup_{\vert \varphi(z)\vert > \delta} \mu(z) \bigl\vert \bigl( \psi_{1} (z) \varphi' (z) + \psi_{2}'(z) \bigr)\bigr\vert \bigl\vert f_{k} ^{(n + 1)} \bigl( \varphi(z) \bigr)\bigr\vert \\ &\qquad{} + \sup_{ \vert \varphi(z)\vert \leq\delta} \mu(z) \bigl\vert \psi_{2} (z) \varphi' (z)\bigr\vert \bigl\vert f_{k} ^{(n + 2)} \bigl(\varphi(z) \bigr)\bigr\vert + \sup_{\vert \varphi(z)\vert > \delta} \mu(z) \bigl\vert \psi_{2} (z) \varphi' (z)\bigr\vert \bigl\vert f_{k} ^{(n + 2)} \bigl(\varphi(z) \bigr)\bigr\vert \\ &\quad\lesssim N_{1} \sup_{\vert \varphi(z)\vert \leq\delta}\bigl\vert f_{k} ^{(n)} \bigl(\varphi(z) \bigr)\bigr\vert +\sup _{\vert \varphi(z)\vert > \delta} \frac{ \mu(z) \vert \psi_{1}' (z)\vert }{( 1- \vert \varphi(z)\vert ^{2}) ^{\frac{ 2+ q}{ p } + n - 1 } } \\ &\qquad{} + N_{2} \sup_{\vert \varphi(z)\vert \leq\delta}\bigl\vert f_{k} ^{(n + 1)} \bigl(\varphi(z) \bigr)\bigr\vert +\sup _{\vert \varphi(z)\vert > \delta} \frac{ \mu(z) \vert \psi_{1}(z) \varphi' (z) + \psi'_{2}(z) \vert }{( 1- \vert \varphi(z)\vert ^{2}) ^{\frac{ 2+ q}{ p } + n } } \\ &\qquad{} + N_{3} \sup_{\vert \varphi(z)\vert \leq\delta}\bigl\vert f_{k} ^{(n + 2)} \bigl(\varphi(z) \bigr)\bigr\vert +\sup _{\vert \varphi(z)\vert > \delta} \frac{ \mu(z) \vert \psi_{2} (z) \varphi '(z) \vert }{( 1- \vert \varphi(z)\vert ^{2}) ^{\frac{ 2+ q}{ p } + n + 1 } } \\ &\quad\leq N_{1} \sup_{\vert \zeta \vert \leq\delta}\bigl\vert f_{k} ^{(n)} (\zeta)\bigr\vert + N_{2} \sup _{\vert \zeta \vert \leq\delta}\bigl\vert f_{k} ^{(n + 1)} (\zeta) \bigr\vert + N_{3} \sup_{\vert \zeta \vert \leq\delta}\bigl\vert f_{k} ^{(n+2)} (\zeta)\bigr\vert + 3\varepsilon. \end{aligned}$$
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
$$\frac{\mu(z)|\psi_{1}(z)\varphi'(z)+\psi_{2}'(z)|}{ (1-|\varphi(z)|^{2})^{\frac{2+q}{p}}} < \varepsilon \quad\mbox{and}\quad \frac{ \mu(z)|\psi_{2}(z) \varphi'(z)|}{( 1- |\varphi(z)|^{2})^{\frac{2+q}{p}+ 1} } < \varepsilon $$
when \(\delta< |\varphi(z)|< 1\).
We have
$$\begin{aligned} &\bigl\Vert T^{0}_{\psi_{1} , \psi_{2} , \varphi} f_{k}\bigr\Vert _{\mathcal {B}_{\mu}} \\ &\quad\leq \sup_{ z \in\mathbb {D}} \mu(z) \bigl\vert \bigl(T^{0}_{\psi_{1} , \psi_{2} , \varphi} f_{k} \bigr)' (z) \bigr\vert \\ &\quad\leq\sup_{ z \in\mathbb {D}} \mu(z) \bigl\vert \psi_{1}' (z) f_{k} \bigl(\varphi(z) \bigr) \bigr\vert + \sup_{ z \in\mathbb {D}} \mu(z) \bigl\vert \bigl( \psi_{1} (z) \varphi' (z) + \psi_{2}'(z) \bigr) f_{k}' \bigl(\varphi(z) \bigr)\bigr\vert \\ &\qquad{} + \sup_{ z \in\mathbb {D}} \mu(z) \bigl\vert \psi_{2} (z) \varphi' (z) f_{k}'' \bigl( \varphi(z) \bigr)\bigr\vert \\ &\quad \leq N_{1}\sup_{z\in {\mathbb {D}}}\bigl\vert f_{k} \bigl( \varphi(z) \bigr)\bigr\vert + \sup _{ \vert \varphi(z)\vert \leq\delta} \mu(z) \bigl\vert \bigl(\psi_{1} (z) \varphi' (z) + \psi_{2}'(z) \bigr)\bigr\vert \bigl\vert f_{k}' \bigl(\varphi(z) \bigr)\bigr\vert \\ &\qquad{} + \sup_{\vert \varphi(z)\vert > \delta} \mu(z) \bigl\vert \bigl( \psi_{1} (z) \varphi' (z) + \psi_{2}'(z) \bigr)\bigr\vert \bigl\vert f_{k}' \bigl(\varphi(z) \bigr)\bigr\vert \\ &\qquad{} + \sup_{ \vert \varphi(z)\vert \leq\delta} \mu(z) \bigl\vert \psi_{2} (z) \varphi' (z)\bigr\vert \bigl\vert f_{k}'' \bigl( \varphi(z) \bigr)\bigr\vert + \sup_{\vert \varphi(z)\vert > \delta} \mu(z) \bigl\vert \psi_{2} (z) \varphi' (z)\bigr\vert \bigl\vert f_{k}'' \bigl(\varphi(z) \bigr)\bigr\vert \\ &\quad\lesssim N_{1}\sup_{z\in {\mathbb {D}}}\bigl\vert f_{k}(z)\bigr\vert + N_{2} \sup_{\vert \varphi(z)\vert \leq\delta} \bigl\vert f_{k}' \bigl(\varphi(z) \bigr)\bigr\vert +\sup_{\vert \varphi(z)\vert > \delta}\frac{ \mu(z) \vert \psi_{1}(z) \varphi' (z) + \psi'_{2}(z) \vert }{( 1- \vert \varphi(z)\vert ^{2}) ^{\frac{ 2+ q}{ p }} } \\ &\qquad{} + N_{3} \sup_{\vert \varphi(z)\vert \leq\delta}\bigl\vert f_{k}'' \bigl(\varphi(z) \bigr)\bigr\vert +\sup_{\vert \varphi(z)\vert > \delta}\frac{ \mu(z) \vert \psi_{2} (z) \varphi '(z) \vert }{( 1- \vert \varphi(z)\vert ^{2}) ^{\frac{ 2+ q}{p}+ 1 } } \\ &\quad\lesssim N_{1}\sup_{z\in {\mathbb {D}}}\bigl\vert f_{k}(z)\bigr\vert + N_{2} \sup_{\vert \zeta \vert \leq\delta} \bigl\vert f_{k}'( \zeta)\bigr\vert + N_{3} \sup_{\vert \zeta \vert \leq\delta}\bigl\vert f_{k}'( \zeta)\bigr\vert + 2\varepsilon, \end{aligned}$$
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
$$\begin{aligned} g_{k}(z) & = \frac{20}{\mu_{k}^{2}} \biggl( \ln\frac{2}{ 1- \overline {\varphi( z_{k})} z} \biggr)^{3}- \frac{30}{\mu_{k} ^{3}} \biggl( \ln\frac{2}{ 1- \overline{\varphi( z_{k})} z} \biggr)^{4} + \frac{12}{\mu_{k} ^{4}} \biggl( \ln\frac{2}{ 1- \overline {\varphi( z_{k})} z} \biggr)^{5}, \end{aligned}$$
where
$$\mu_{k} = \ln\frac{2}{1 - |\varphi(z_{k})|^{2}},\quad k\in {\mathbb {N}}. $$
Then
$$\begin{aligned}& \begin{aligned}[b] g'_{k}(z) ={}& \biggl( \frac{60}{\mu_{k}^{2}} \biggl( \ln \frac{2}{ 1- \overline{\varphi( z_{k})} z} \biggr)^{2} - \frac{120}{\mu_{k} ^{3}} \biggl( \ln \frac{2}{ 1- \overline{\varphi( z_{k})} z} \biggr)^{3} \\ &{} + \frac{60}{\mu_{k} ^{4}} \biggl( \ln \frac{2}{ 1- \overline{\varphi( z_{k})} z} \biggr)^{4} \biggr) \frac{ \overline{\varphi(z_{k})}}{ 1 - {\overline{\varphi(z_{k})}} z}, \end{aligned} \\& \begin{aligned}[b] g''_{k}(z) ={}& \biggl( \frac{60}{\mu_{k}^{2}} \biggl( \ln\frac{2}{ 1- \overline{\varphi( z_{k})} z} \biggr)^{2} - \frac{120}{\mu_{k} ^{3}} \biggl( \ln\frac{2}{ 1- \overline {\varphi( z_{k})} z} \biggr)^{3} \\ &{} + \frac{60}{\mu_{k} ^{4}} \biggl( \ln\frac{2}{ 1- \overline{\varphi( z_{k})} z} \biggr)^{4} \biggr) \frac{ (\overline{\varphi(z_{k})})^{2}}{(1 - {\overline{\varphi (z_{k})}} z)^{2}} \\ &{} + \biggl(\frac{120}{(\mu_{k})^{2}} \biggl( \ln\frac{2}{ 1- \overline{\varphi( z_{k})} z} \biggr) - \frac{360}{\mu_{k} ^{3}} \biggl( \ln\frac{2}{ 1- \overline{\varphi( z_{k})} z} \biggr)^{2} \\ &{} + \frac{240}{\mu_{k} ^{4}} \biggl( \ln\frac{2}{ 1- \overline{\varphi( z_{k})} z} \biggr)^{3} \biggr)\frac{ (\overline {\varphi(z_{k})})^{2}}{(1 - {\overline{\varphi(z_{k})}} z)^{2}}. \end{aligned} \end{aligned}$$
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
$$g'_{k} \bigl(\varphi(z_{k}) \bigr) = 0,\qquad g''_{k} \bigl(\varphi(z_{k}) \bigr) = 0,\quad \mbox{and}\quad g_{k} \bigl(\varphi(z_{k}) \bigr) = 2\ln \biggl(\frac{2}{1 - |\varphi (z_{k})|^{2}} \biggr). $$
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,
$$ \mu(z_{k})\bigl\vert \psi_{1}'(z_{k}) \bigr\vert \ln \biggl(\frac{2}{ 1 - |\varphi(z_{k})|^{2}} \biggr)\lesssim\bigl\Vert T^{0}_{\psi_{1} , \psi_{2} , \varphi}g_{k} \bigr\Vert _{ \mathcal {B}_{\mu}}\to0 $$
(35)
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
$$\begin{aligned}& \mu(z)\bigl\vert \psi'_{1}(z)\bigr\vert \ln \biggl( \frac{2}{1-|\varphi(z)|^{2}} \biggr)< \varepsilon, \\& \frac{\mu(z)|\psi_{1}(z)\varphi'(z)+\psi_{2}'(z)|}{ 1-|\varphi(z)|^{2}} < \varepsilon, \quad\mbox{and}\quad \frac{ \mu(z)|\psi_{2}(z) \varphi'(z)|}{( 1- |\varphi(z)|^{2})^{2}} < \varepsilon \end{aligned}$$
when \(\delta< |\varphi(z)|< 1\).
Using the inequalities, we have
$$\begin{aligned} &\bigl\Vert T^{0}_{\psi_{1} , \psi_{2} , \varphi} f_{k}\bigr\Vert _{\mathcal {B}_{\mu}} \\ &\quad\leq \sup_{ z \in\mathbb {D}} \mu(z) \bigl\vert \bigl(T^{0}_{\psi_{1} , \psi_{2} , \varphi} f_{k} \bigr)' (z) \bigr\vert \\ &\quad\leq\sup_{ z \in\mathbb {D}} \mu(z) \bigl\vert \psi_{1}' (z) f_{k} \bigl(\varphi(z) \bigr) \bigr\vert + \sup_{ z \in\mathbb {D}} \mu(z) \bigl\vert \bigl( \psi_{1} (z) \varphi' (z) + \psi_{2}'(z) \bigr) f_{k}' \bigl(\varphi(z) \bigr)\bigr\vert \\ &\qquad{} + \sup_{ z \in\mathbb {D}} \mu(z) \bigl\vert \psi_{2} (z) \varphi' (z) f_{k}'' \bigl( \varphi(z) \bigr)\bigr\vert \\ &\quad\le\sup_{\vert \varphi(z)\vert \leq\delta}\mu(z)\bigl\vert \psi_{1}' (z) f_{k} \bigl(\varphi(z) \bigr)\bigr\vert +\sup _{\vert \varphi(z)\vert >\delta}\mu(z)\bigl\vert \psi_{1}' (z) f_{k} \bigl(\varphi(z) \bigr)\bigr\vert \\ &\qquad{} +\sup_{ \vert \varphi(z)\vert \leq\delta} \mu(z) \bigl\vert \bigl( \psi_{1} (z) \varphi' (z) + \psi_{2}'(z) \bigr)\bigr\vert \bigl\vert f_{k}' \bigl(\varphi(z) \bigr)\bigr\vert \\ &\qquad{} + \sup_{\vert \varphi(z)\vert > \delta} \mu(z) \bigl\vert \bigl( \psi_{1} (z) \varphi' (z) + \psi_{2}'(z) \bigr)\bigr\vert \bigl\vert f_{k}' \bigl(\varphi(z) \bigr)\bigr\vert \\ &\qquad{} + \sup_{ \vert \varphi(z)\vert \leq\delta} \mu(z) \bigl\vert \psi_{2} (z) \varphi' (z)\bigr\vert \bigl\vert f_{k}'' \bigl( \varphi(z) \bigr)\bigr\vert + \sup_{\vert \varphi(z)\vert > \delta} \mu(z) \bigl\vert \psi_{2} (z) \varphi' (z)\bigr\vert \bigl\vert f_{k}'' \bigl(\varphi(z) \bigr)\bigr\vert \\ &\quad\lesssim N_{1}\sup_{\vert \varphi(z)\vert \leq \delta}\bigl\vert f_{k} \bigl( \varphi(z) \bigr)\bigr\vert +\sup_{\vert \varphi(z)\vert > \delta} \mu(z)\bigl\vert \psi_{1}' (z)\bigr\vert \ln \frac{2}{1-\vert \varphi(z)\vert ^{2}} \\ &\qquad{} + N_{2} \sup_{\vert \varphi(z)\vert \leq\delta}\bigl\vert f_{k}' \bigl(\varphi(z) \bigr)\bigr\vert +\sup _{\vert \varphi(z)\vert > \delta}\frac{ \mu(z) \vert \psi_{1}(z) \varphi' (z) + \psi'_{2}(z) \vert }{1- \vert \varphi(z)\vert ^{2} } \\ &\qquad{} + N_{3} \sup_{\vert \varphi(z)\vert \leq\delta}\bigl\vert f_{k}'' \bigl(\varphi(z) \bigr)\bigr\vert +\sup_{\vert \varphi(z)\vert > \delta}\frac{ \mu(z) \vert \psi_{2} (z) \varphi '(z) \vert }{( 1- \vert \varphi(z)\vert ^{2}) ^{2} } \\ &\quad \leq N_{1}\sup_{\zeta\in {\mathbb {D}}}\bigl\vert f_{k}(\zeta)\bigr\vert + N_{2} \sup_{\vert \zeta \vert \leq\delta} \bigl\vert f_{k}'( \zeta)\bigr\vert + N_{3} \sup_{\vert \zeta \vert \leq\delta}\bigl\vert f_{k}''( \zeta)\bigr\vert + 3\varepsilon, \end{aligned}$$
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.
  1. (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.

     
  2. (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.

     
  3. (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}\),
$$\bigl\vert f^{(j)}(z)\bigr\vert < \frac{\varepsilon}{(1-|z|^{2})^{\frac{2+q}{p}+j-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
$$\begin{aligned}& \mu(z) \bigl\vert \psi_{1}'(z) f^{(n)} \bigl(\varphi(z) \bigr)\bigr\vert < \varepsilon \frac{\mu(z)|\psi_{1}'(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n - 1}} \le M_{1} \varepsilon, \end{aligned}$$
(36)
$$\begin{aligned}& \mu(z) \bigl\vert \psi_{1}(z)\varphi'(z) + \psi'_{2}(z)\bigr\vert \bigl\vert f^{(n+1)} \bigl(\varphi(z) \bigr)\bigr\vert < \varepsilon\frac{\mu(z)|\psi_{1}(z)\varphi'(z) + \psi'_{2}(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n }} \le M_{2} \varepsilon, \end{aligned}$$
(37)
and
$$ \mu(z) \bigl\vert \psi_{2}(z) \varphi'(z) \bigr\vert \bigl\vert f^{(n+2)} \bigl(\varphi(z) \bigr)\bigr\vert < \varepsilon\frac{\mu(z)\vert \psi_{2}(z) \varphi'(z)\vert }{(1 - \vert \varphi(z)\vert ^{2})^{\frac{2 + q}{p} + n + 1 }} \le M_{3} \varepsilon $$
(38)
when \(|\varphi(z)|>\delta_{1}\), where
$$\begin{aligned}& M_{1}:=\sup_{|\varphi(z)|>\delta_{1}}\frac{\mu(z)|\psi_{1}'(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n - 1}},\qquad M_{2}:=\sup_{|\varphi(z)|>\delta_{1}}\frac{\mu(z)|\psi_{1}(z)\varphi'(z) + \psi'_{2}(z)|}{(1-|\varphi(z)|^{2})^{\frac{2+q}{p}+n}}, \\& M_{3}:=\sup_{|\varphi(z)|>\delta_{1}}\frac{\mu(z)|\psi_{2}(z)\varphi '(z)|}{(1-|\varphi(z)|^{2})^{\frac{2+q}{p}+n+1}} \end{aligned}$$
(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
$$\begin{aligned}& \mu(z)\bigl\vert \psi_{1}'(z)\bigr\vert < \varepsilon \bigl(1- \delta_{1}^{2} \bigr)^{\frac{2+q}{p}+n-1}, \\& \mu(z)\bigl\vert \psi_{1}(z)\varphi'(z)+ \psi'_{2}(z)\bigr\vert < \varepsilon \bigl(1-\delta _{1}^{2} \bigr)^{\frac{2+q}{p}+n}, \end{aligned}$$
and
$$\mu(z)\bigl\vert \psi_{2}(z)\varphi'(z)\bigr\vert < \varepsilon \bigl(1- \delta_{1}^{2} \bigr)^{\frac{2+q}{p}+n+1} $$
whenever \(|z|>\delta_{2}\).
From this, by Lemma 3 we have that, for \(|\varphi(z)|\leq\delta_{1}\) and \(|z| > \delta_{2}\),
$$\begin{aligned}& \mu(z) \bigl\vert \psi_{1}'(z) f^{(n)} \bigl(\varphi(z) \bigr)\bigr\vert \lesssim\|f \|_{F(p, q, s)}\frac{\mu(z)|\psi_{1}'(z)|}{(1 - \delta_{1}^{2})^{\frac{2 + q}{p} + n - 1}} \lesssim \varepsilon\|f\|_{F(p, q, s)}, \end{aligned}$$
(39)
$$\begin{aligned}& \begin{aligned}[b] \mu(z) \bigl\vert \psi_{1}(z) \varphi'(z) + \psi'_{2}(z)\bigr\vert \bigl\vert f^{(n+1)} \bigl(\varphi(z) \bigr)\bigr\vert & \lesssim\|f \|_{F(p, q, s)}\frac{\mu(z)|\psi_{1}(z)\varphi'(z)+\psi '_{2}(z)|}{(1-\delta_{1}^{2})^{\frac{2+q}{p}+n}} \\ &\lesssim\varepsilon\|f\|_{F(p, q, s)}, \end{aligned} \end{aligned}$$
(40)
and
$$ \mu(z) \bigl\vert \psi_{2}(z) \varphi'(z) \bigr\vert \bigl\vert f^{(n+2)} \bigl(\varphi(z) \bigr)\bigr\vert \lesssim \|f\|_{F(p,q,s)} \frac{\mu(z)|\psi_{2}(z)\varphi'(z)|}{(1-\delta _{1}^{2})^{\frac{2+q}{p}+n+1}} \lesssim\varepsilon\|f \|_{F(p,q,s)}. $$
(41)
Combining (36) and (39), (37) and (40), and (38) and (41), respectively, we have that, whenever \(|z|>\delta_{2}\),
$$\begin{aligned}& \mu(z) \bigl\vert \psi_{1}'(z) f^{(n)} \bigl(\varphi(z) \bigr)\bigr\vert \lesssim\bigl\{ M_{1},\Vert f\Vert _{F(p,q,s)}\bigr\} \varepsilon, \end{aligned}$$
(42)
$$\begin{aligned}& \mu(z) \bigl\vert \psi_{1}(z)\varphi'(z) + \psi'_{2}(z)\bigr\vert \bigl\vert f^{(n+1)} \bigl(\varphi(z) \bigr)\bigr\vert \lesssim\bigl\{ M_{2},\Vert f \Vert _{F(p,q,s)}\bigr\} \varepsilon, \end{aligned}$$
(43)
and
$$ \mu(z) \bigl\vert \psi_{2}(z) \varphi'(z) \bigr\vert \bigl\vert f^{(n+2)} \bigl(\varphi(z) \bigr)\bigr\vert \lesssim\bigl\{ M_{3},\Vert f \Vert _{F(p,q,s)}\bigr\} \varepsilon. $$
(44)
Hence,
$$\begin{aligned} \mu(z)\bigl\vert \bigl(T^{n}_{\psi_{1},\psi_{2},\varphi} f \bigr)'(z)\bigr\vert \leq{}& \mu(z) \bigl\vert \psi_{1}'(z) f^{(n)} \bigl(\varphi(z) \bigr)\bigr\vert +\mu(z)\bigl\vert \psi_{1}(z)\varphi'(z)+\psi _{2}'(z)\bigr\vert \bigl\vert f^{(n+1)} \bigl( \varphi(z) \bigr)\bigr\vert \\ &{}+\mu(z) \bigl\vert \psi_{2}(z)\varphi'(z)\bigr\vert \bigl|f^{(n+2)} \bigl( \varphi(z) \bigr)\bigr| \\ \lesssim{}&\bigl\{ M_{1},M_{2},M_{3},\Vert f \Vert _{F(p,q,s)} \bigr\} \varepsilon, \end{aligned}$$
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
$$ \mu(z)\bigl\vert \psi_{1}(z)\bigr\vert < \varepsilon $$
(45)
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}\),
$$\bigl\vert f^{(j)}(z)\bigr\vert < \frac{\varepsilon}{(1 - |z|^{2})^{\frac{2+q}{p}+j-1}} $$
for \(j\in\{1, 2\}\).
Thus, using conditions (d) and (e) of Theorem 1 respectively, we have that
$$ \mu(z) \bigl\vert \psi_{1}(z)\varphi'(z) + \psi'_{2}(z)\bigr\vert \bigl\vert f^{\prime} \bigl(\varphi(z) \bigr)\bigr\vert < \varepsilon\frac{\mu(z)\vert \psi_{1}(z)\varphi'(z) + \psi'_{2}(z)\vert }{(1 - \vert \varphi(z)\vert ^{2})^{\frac{2 + q}{p} }} \le N_{1} \varepsilon $$
(46)
and
$$ \mu(z) \bigl\vert \psi_{2}(z) \varphi'(z) \bigr\vert \bigl\vert f^{\prime\prime} \bigl(\varphi(z) \bigr)\bigr\vert < \varepsilon\frac{\mu(z)\vert \psi_{2}(z) \varphi'(z)\vert }{(1 - \vert \varphi(z)\vert ^{2})^{\frac{2 + q}{p} + 1 }} \le N_{2} \varepsilon $$
(47)
when \(\vert \varphi(z)\vert > \delta_{2}\), where
$$N_{1}:=\sup_{|\varphi(z)|>\delta_{2}}\frac{\mu(z)|\psi_{1}(z)\varphi '(z)+\psi'_{2}(z)|}{(1-|\varphi(z)|^{2})^{\frac{2+q}{p}}} \quad \mbox{and}\quad N_{2}:=\sup_{|\varphi(z)|>\delta_{2}}\frac{\mu(z)|\psi_{2}(z)\varphi '(z)|}{(1-|\varphi(z)|^{2})^{\frac{2+q}{p}+1}} $$
(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
$$\mu(z)\bigl\vert \psi_{1}(z)\varphi'(z)+ \psi'_{2}(z)\bigr\vert < \varepsilon \bigl(1-\delta _{2}^{2} \bigr)^{\frac{2+q}{p}} $$
and
$$\mu(z)\bigl\vert \psi_{2}(z)\varphi'(z)\bigr\vert < \varepsilon \bigl(1- \delta_{2}^{2} \bigr)^{\frac{2+q}{p}+1} $$
whenever \(|z|>\delta_{3}\).
Thus, for \(|\varphi(z)|\leq\delta_{2}\) and \(|z| > \delta_{3}\), we have that
$$\begin{aligned} \mu(z) \bigl\vert \psi_{1}(z)\varphi'(z) + \psi'_{2}(z)\bigr\vert \bigl\vert f^{\prime} \bigl(\varphi(z) \bigr)\bigr\vert & \lesssim\|f\|_{F(p, q, s)} \frac{\mu(z)|\psi_{1}(z)\varphi'(z)+\psi '_{2}(z)|}{(1-\delta_{2}^{2})^{\frac{2+q}{p}}} \\ &\lesssim\varepsilon\|f\|_{F(p, q, s)} \end{aligned}$$
(48)
and
$$ \mu(z) \bigl\vert \psi_{2}(z) \varphi'(z) \bigr\vert \bigl\vert f^{\prime\prime} \bigl(\varphi (z) \bigr)\bigr\vert \lesssim \|f\|_{F(p,q,s)} \frac{\mu(z)\vert \psi_{2}(z)\varphi'(z)\vert }{(1-\delta _{2}^{2})^{\frac{2+q}{p}+1}} \lesssim\varepsilon\|f \|_{F(p,q,s)}. $$
(49)
Combining (46) and (48) and, respectively, (47) and (49), we have that, whenever \(|z|>\delta_{3}\),
$$ \mu(z) \bigl\vert \psi_{1}(z)\varphi'(z) + \psi'_{2}(z)\bigr\vert \bigl\vert f' \bigl(\varphi(z) \bigr)\bigr\vert \lesssim\bigl\{ N_{1},\Vert f \Vert _{F(p,q,s)}\bigr\} \varepsilon $$
(50)
and
$$ \mu(z) \bigl\vert \psi_{2}(z) \varphi'(z) \bigr\vert \bigl\vert f'' \bigl(\varphi(z) \bigr) \bigr\vert \lesssim\bigl\{ N_{2}, \Vert f\Vert _{F(p,q,s)} \bigr\} \varepsilon. $$
(51)
From (45), (50), and (51), by Lemma 3 we have that
$$\begin{aligned} \mu(z)\bigl\vert \bigl(T^{0}_{\psi_{1},\psi_{2},\varphi} f \bigr)'(z)\bigr\vert \leq{}& \mu(z) \bigl\vert \psi_{1}'(z) f \bigl(\varphi(z) \bigr)\bigr\vert +\mu(z) \bigl\vert \psi_{1}(z)\varphi'(z)+\psi _{2}'(z)\bigr\vert \bigl\vert f^{\prime} \bigl( \varphi(z) \bigr)\bigr\vert \\ &{}+\mu(z) \bigl\vert \psi_{2}(z)\varphi'(z)\bigr\vert \bigl\vert f^{\prime\prime} \bigl(\varphi(z) \bigr)\bigr\vert \\ \lesssim{}&\bigl\{ N_{1},N_{2},\Vert f\Vert _{F(p,q,s)}\bigr\} \varepsilon \end{aligned}$$
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}\),
$$\bigl\vert f(z)\bigr\vert < \varepsilon\ln\frac{2}{1 - \vert z\vert ^{2}} $$
and
$$\bigl\vert f^{(j)}(z)\bigr\vert < \frac{\varepsilon}{(1 - |z|^{2})^{j}} $$
for \(j\in\{1, 2\}\).
From this, using conditions (f), (g), and (h) of Theorem 1, respectively, we have that
$$\begin{aligned}& \mu(z) \bigl\vert \psi_{1}'(z) f \bigl( \varphi(z) \bigr)\bigr\vert < \varepsilon\mu(z)\bigl\vert \psi_{1}'(z)\bigr\vert \ln \frac{2}{1 - \vert \varphi(z)\vert ^{2}} \le L_{1} \varepsilon, \end{aligned}$$
(52)
$$\begin{aligned}& \mu(z) \bigl\vert \psi_{1}(z)\varphi'(z) + \psi'_{2}(z)\bigr\vert \bigl\vert f^{\prime} \bigl(\varphi(z) \bigr)\bigr\vert < \varepsilon\frac{\mu(z)\vert \psi_{1}(z)\varphi'(z) + \psi'_{2}(z)\vert }{1-\vert \varphi(z)\vert ^{2}} \le L_{2} \varepsilon, \end{aligned}$$
(53)
and
$$ \mu(z) \bigl\vert \psi_{2}(z) \varphi'(z) \bigr\vert \bigl\vert f^{\prime\prime} \bigl(\varphi(z) \bigr)\bigr\vert < \varepsilon\frac{\mu(z)\vert \psi_{2}(z) \varphi'(z)\vert }{(1 - \vert \varphi(z)\vert ^{2})^{2}} \le L_{3} \varepsilon $$
(54)
when \(|\varphi(z)|> \delta_{1}\), where
$$\begin{aligned} &L_{1}:=\sup_{\vert \varphi(z)\vert >\delta_{1}}\mu(z)\bigl\vert \psi '_{1}(z)\bigr\vert \ln\frac{2}{1-\vert \varphi(z)\vert ^{2}}, \qquad L_{2}:=\sup_{\vert \varphi(z)\vert >\delta_{1}}\frac{\mu(z)\vert \psi_{1}(z)\varphi'(z) + \psi'_{2}(z)\vert }{1-\vert \varphi(z)\vert ^{2}}, \\ &L_{3}:=\sup_{\vert \varphi(z)\vert >\delta_{1}}\frac{\mu(z)\vert \psi_{2}(z)\varphi '(z)\vert }{(1-|\varphi(z)|^{2})^{2}} \end{aligned}$$
(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
$$\begin{aligned}& \mu(z)\bigl\vert \psi'_{1}(z)\bigr\vert < \varepsilon /\ln \frac{2}{1-\delta_{1}^{2}}, \qquad \mu(z)\bigl\vert \psi_{1}(z)\varphi'(z)+ \psi'_{2}(z)\bigr\vert < \varepsilon \bigl(1- \delta_{1}^{2} \bigr), \end{aligned}$$
and
$$\mu(z)\bigl\vert \psi_{2}(z)\varphi'(z)\bigr\vert < \varepsilon \bigl(1- \delta_{1}^{2} \bigr)^{2} $$
whenever \(|z|>\delta_{2}\).
Thus, for \(|\varphi(z)|\leq\delta_{1}\) and \(|z| > \delta_{2}\), we have that
$$\begin{aligned}& \mu(z) \bigl\vert \psi'_{1}(z)\bigr\vert \bigl\vert f \bigl(\varphi(z) \bigr)\bigr\vert \lesssim \|f \|_{F(p,q,s)}\mu(z)\bigl\vert \psi'_{1}(z)\bigr\vert \ln\frac{2}{1-\delta_{1}^{2}}< \varepsilon\|f\|_{F(p,q,s)}, \end{aligned}$$
(55)
$$\begin{aligned}& \begin{aligned}[b] \mu(z) \bigl\vert \psi_{1}(z) \varphi'(z) + \psi'_{2}(z)\bigr\vert \bigl\vert f^{\prime} \bigl(\varphi(z) \bigr)\bigr\vert & \lesssim\|f \|_{F(p, q, s)}\frac{\mu(z)\vert \psi_{1}(z)\varphi'(z)+\psi '_{2}(z)\vert }{1-\delta_{1}^{2}} \\ &< \varepsilon\|f\|_{F(p, q, s)}, \end{aligned} \end{aligned}$$
(56)
and
$$ \mu(z) \bigl\vert \psi_{2}(z) \varphi'(z) \bigr\vert \bigl\vert f^{\prime\prime} \bigl(\varphi(z) \bigr)\bigr\vert \lesssim \|f\|_{F(p,q,s)} \frac{\mu(z)\vert \psi_{2}(z)\varphi'(z)\vert }{(1-\delta_{1}^{2})^{2}} < \varepsilon\|f \|_{F(p,q,s)}. $$
(57)
Combining (52) and (55), (53) and (56), and (54) and (57), respectively, we have that, whenever \(|z|>\delta_{2}\),
$$\begin{aligned}& \mu(z) \bigl\vert \psi'_{1}(z)\bigr\vert \bigl\vert f \bigl(\varphi(z) \bigr)\bigr\vert \lesssim\bigl\{ L_{1},\Vert f\Vert _{F(p,q,s)}\bigr\} \varepsilon, \end{aligned}$$
(58)
$$\begin{aligned}& \mu(z) \bigl\vert \psi_{1}(z)\varphi'(z) + \psi'_{2}(z)\bigr\vert \bigl\vert f' \bigl(\varphi(z) \bigr)\bigr\vert \lesssim\bigl\{ L_{2},\Vert f \Vert _{F(p,q,s)}\bigr\} \varepsilon, \end{aligned}$$
(59)
and
$$ \mu(z) \bigl\vert \psi_{2}(z) \varphi'(z) \bigr\vert \bigl\vert f'' \bigl(\varphi(z) \bigr) \bigr\vert \lesssim\bigl\{ L_{3}, \Vert f\Vert _{F(p,q,s)} \bigr\} \varepsilon. $$
(60)
Thus, from (58), (59), and (60) we have that
$$\begin{aligned}[b] \mu(z)\bigl\vert \bigl(T^{0}_{\psi_{1},\psi_{2},\varphi} f \bigr)'(z)\bigr\vert \leq{}& \mu(z) \bigl\vert \psi_{1}'(z) f \bigl(\varphi(z) \bigr)\bigr\vert +\mu(z) \bigl\vert \psi_{1}(z)\varphi'(z)+\psi _{2}(z) \bigr\vert \bigl\vert f^{\prime} \bigl(\varphi(z) \bigr)\bigr\vert \\ &{}+\mu(z) \bigl\vert \psi_{2}(z)\varphi'(z)\bigr\vert \bigl\vert f^{\prime\prime} \bigl(\varphi(z) \bigr)\bigr\vert \\ \lesssim{}&\bigl\{ L_{1}, L_{2}, L_{3},\Vert f \Vert _{F(p,q,s)}\bigr\} \varepsilon \end{aligned} $$
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
$$\begin{aligned}& \frac{\mu(z)\vert \psi_{1}'(z)\vert }{(1 - \vert \varphi(z)\vert ^{2})^{\frac{2 + q}{p} + n - 1}} < \varepsilon, \end{aligned}$$
(61)
$$\begin{aligned}& \frac{\mu(z)\vert \psi_{1}(z)\varphi'(z) + \psi'_{2}(z)\vert }{(1 - \vert \varphi(z)\vert ^{2})^{\frac{2 + q}{p} + n }} < \varepsilon, \end{aligned}$$
(62)
and
$$ \frac{\mu(z)\vert \psi_{2}(z) \varphi'(z)\vert }{(1 - \vert \varphi(z)\vert ^{2})^{\frac{2 + q}{p} + n + 1 }} < \varepsilon $$
(63)
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
$$\begin{aligned}& \mu(z)\bigl\vert \psi_{1}'(z)\bigr\vert < \varepsilon \bigl(1- \delta_{1}^{2} \bigr)^{\frac{2+q}{p}+n-1}, \qquad \mu(z)\bigl\vert \psi_{1}(z)\varphi'(z)+ \psi'_{2}(z)\bigr\vert < \varepsilon \bigl(1-\delta _{1}^{2} \bigr)^{\frac{2+q}{p}+n}, \end{aligned}$$
and
$$\mu(z)\bigl\vert \psi_{2}(z)\varphi'(z)\bigr\vert < \varepsilon \bigl(1- \delta_{1}^{2} \bigr)^{\frac{2+q}{p}+n+1} $$
whenever \(|z|>\delta_{2}\).
Thus, for \(|\varphi(z)|\leq\delta_{1}\) and \(|z| > \delta_{2}\), we have that
$$\begin{aligned}& \frac{\mu(z) \vert \psi_{1}'(z)\vert }{(1 - \vert \varphi(z)\vert ^{2})^{\frac{2 + q}{p} + n -1}}\le\frac{\mu(z)\vert \psi_{1}'(z)\vert }{(1 - \delta_{1}^{2})^{\frac{2 + q}{p} + n - 1}} < \varepsilon, \end{aligned}$$
(64)
$$\begin{aligned}& \frac{\mu(z)\vert \psi_{1}(z)\varphi'(z) + \psi'_{2}(z)\vert }{(1 - \vert \varphi(z)\vert ^{2})^{\frac{2 + q}{p} + n }} \le\frac{\mu(z)\vert \psi_{1}(z)\varphi'(z)+\psi'_{2}(z)\vert }{(1-\delta _{1}^{2})^{\frac{2+q}{p}+n}}< \varepsilon, \end{aligned}$$
(65)
and
$$ \frac{\mu(z)\vert \psi_{2}(z) \varphi'(z)\vert }{ (1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n + 1 }} \le \frac{\mu(z)|\psi_{2}(z)\varphi'(z)|}{(1-\delta_{1}^{2})^{\frac{2+q}{p}+n+1}} < \varepsilon. $$
(66)
Combining (61) and (64), (62) and (65), and (63) and (66), respectively, we have that, whenever \(|z|>\delta_{2}\),
$$\begin{aligned} \mu(z)\bigl\vert \bigl(T^{n}_{\psi_{1},\psi_{2},\varphi} f \bigr)'(z)\bigr\vert \leq{}& \mu(z) \bigl\vert \psi_{1}'(z) f^{(n)} \bigl(\varphi(z) \bigr)\bigr\vert +\mu(z)\bigl\vert \psi_{1}(z)\varphi'(z)+\psi _{2}(z)\bigr\vert \bigl\vert f^{(n+1)} \bigl(\varphi(z) \bigr)\bigr\vert \\ &{}+\mu(z) \bigl\vert \psi_{2}(z)\varphi'(z)\bigr\vert \bigl\vert f^{(n+2)} \bigl( \varphi(z) \bigr)\bigr\vert \\ \lesssim{}&\|f\|_{F(p,q,s)}\varepsilon, \end{aligned}$$
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
$$\lim_{\vert z\vert \rightarrow1}\sup_{f\in K}\mu(z)\bigl\vert f'(z)\bigr\vert =0. $$

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
  1. (a)

    \(\lim_{|z| \to1} \frac{\mu(z)|\psi_{1}'(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n - 1}} = 0\),

     
  2. (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

     
  3. (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
  1. (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

     
  2. (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
  1. (f)

    \(\lim_{|z| \to1}\mu(z)|\psi_{1}'(z)|\ln (\frac{2}{1 - |\varphi(z)|^{2}} ) = 0\),

     
  2. (g)

    \(\lim_{|z| \to1}\frac{\mu(z)|\psi_{1}(z)\varphi'(z) + \psi'_{2}(z)|}{1 - |\varphi(z)|^{2}} = 0\), and

     
  3. (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
$$ \lim_{|z| \to1} \sup_{\|f\|_{F( p, q, s)} \leq1} \mu(z) \bigl| \bigl(T^{n}_{\psi_{1} , \psi_{2} , \varphi} f \bigr)' (z)\bigr| = 0. $$
(67)
From (8) we have
$$\begin{aligned} \mu(z) \bigl\vert \bigl(T^{n}_{\psi_{1} , \psi_{2} , \varphi} f \bigr)' (z)\bigr\vert \lesssim{}& \biggl(\frac{\mu(z)\vert \psi_{1}'(z)\vert }{ (1-\vert \varphi(z)\vert ^{2})^{\frac{2 + q}{p} + n - 1}} + \frac{\mu(z)\vert \psi_{1}(z)\varphi'(z) + \psi'_{2}(z)\vert }{(1 - \vert \varphi (z)\vert ^{2})^{\frac{2 + q}{p} + n }} \\ &{} + \frac{\mu(z)\vert \psi_{2}(z)\varphi'(z) \vert }{(1 - \vert \varphi (z)\vert ^{2})^{\frac{2 + q}{p} + n + 1}} \biggr)\|f\|_{F(p,q,s)}. \end{aligned}$$
(68)
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
$$\begin{aligned}& \lim_{|\varphi(z)|\rightarrow 1}\frac{\mu(z)|\psi_{1}'(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n - 1}} = 0, \end{aligned}$$
(69)
$$\begin{aligned}& \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, \end{aligned}$$
(70)
and
$$ \lim_{|\varphi(z)|\rightarrow1} \frac{\mu(z)|\psi_{2}(z)\varphi'(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n + 1}} = 0. $$
(71)
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
$$\begin{aligned} &\lim_{ |z| \to1 } \mu(z)\bigl\vert \psi_{1}'(z) \bigr\vert = 0, \end{aligned}$$
(72)
$$\begin{aligned} &\lim_{ \vert z\vert \to1 } \mu(z)\bigl\vert \psi_{1}(z) \varphi'(z) + \psi'_{2}(z)\bigr\vert = 0, \end{aligned}$$
(73)
$$\begin{aligned} &\lim_{ \vert z\vert \to1 } \mu(z)\bigl\vert \psi_{2}(z) \varphi'(z) \bigr\vert = 0. \end{aligned}$$
(74)
From (69) we have that for any \(\varepsilon>0\), there exists \(t\in(0,1)\) such that
$$ \frac{\mu(z)\vert \psi_{1}'(z)\vert }{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n - 1}} < \varepsilon $$
(75)
when \(t < |\varphi(z)| < 1 \). From (72) it follows that there exists \(r\in(0, 1)\) such that
$$ \mu(z)\bigl\vert \psi_{1}'(z)\bigr\vert < \varepsilon \bigl(1 - t^{2} \bigr)^{ \frac{ 2+q}{ p} + n - 1} $$
(76)
when \(r < |z|< 1 \).
Therefore, when \(r < |z|< 1 \) and \(t < | \varphi(z)| < 1 \), we have
$$ \frac{\mu(z)|\psi_{1}'(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n - 1}} < \varepsilon, $$
whereas when \(r < |z| < 1 \) and \(| \varphi(z) |\leq t \), using (76), we have
$$ \frac{\mu(z)|\psi_{1}'(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n - 1}} < \varepsilon\frac{(1 -t^{2})^{\frac{ 2 + q }{p} + n -1}}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n - 1}}\le\varepsilon. $$
Since ε is an arbitrary positive number, we get
$$ \lim_{|z|\rightarrow1}\frac{\mu(z)|\psi_{1}'(z)|}{(1 - |\varphi(z)|^{2})^{\frac{2 + q}{p} + n - 1}} = 0, $$
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
$$ \mu(z) \bigl\vert \bigl(T^{0}_{\psi_{1} , \psi_{2} , \varphi} f \bigr)' (z)\bigr\vert \lesssim \mu(z) \bigl\vert \psi_{1}'(z)\bigr\vert + \frac{\mu(z)\vert \psi_{1}(z) \varphi'(z)+ \psi_{2}'(z)\vert }{(1 - \vert \varphi(z)\vert ^{2})^{\frac{2+q}{p}}} + \frac{\mu(z)\vert \psi_{2}(z) \varphi'(z)\vert }{(1-\vert \varphi(z)\vert ^{2})^{\frac {1+q}{p}+1}}, $$
from which, along with the assumptions \(\psi\in{\mathcal {B}}_{\mu,0}\), (d), and (e), we have
$$ \lim_{|z| \to1} \sup \bigl\{ \mu(z)\bigl\vert \bigl(T^{0}_{\psi_{1},\psi_{2},\varphi} f \bigr)'(z)\bigr\vert : f \in F (p ,q ,s) \ \bigl(\mbox{or }F_{0}(p, q, s) \bigr), \|f \|_{ F( p , q , s)} \leq1 \bigr\} = 0, $$
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:
$$\begin{aligned} \mu(z) \bigl\vert \bigl(T^{0}_{\psi_{1} , \psi_{2} , \varphi} f \bigr)' (z)\bigr\vert \lesssim{}& \mu(z) \bigl\vert \psi_{1}'(z)\bigr\vert \biggl( \ln \frac{2}{1 - \vert \varphi(z)\vert ^{2}} \biggr) +\frac{\mu(z)\vert \psi_{1}(z) \varphi'(z)+ \psi_{2}'(z)\vert }{1 - |\varphi(z)|^{2}} \\ &{} + \frac{\mu(z)\vert \psi_{2}(z) \varphi'(z)\vert }{(1 - |\varphi(z)|^{2})^{2}}. \end{aligned}$$
(77)
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
$$\lim_{\vert \varphi (z)\vert \rightarrow1}\mu(z)\bigl\vert \psi'_{1}(z) \bigr\vert \ln \biggl(\frac{2}{1-\vert \varphi(z)\vert ^{2}} \biggr)=0, $$
which means that, for every \(\varepsilon >0\), there is \(t\in(0,1)\) such that
$$\begin{aligned} \mu(z)\bigl\vert \psi'_{1}(z)\bigr\vert \ln \frac{2}{1-\vert \varphi(z)\vert ^{2}}< \varepsilon \end{aligned}$$
(78)
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
$$\begin{aligned} \mu(z)\bigl\vert \psi'_{1}(z)\bigr\vert < \varepsilon /\ln \frac{2}{1-t^{2}} \end{aligned}$$
(79)
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\). □

Declarations

Acknowledgements

Ram Krishan is thankful to DST (India) for Inspire fellowship (DST/Inspire fellowship/2013/281).

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.

Authors’ Affiliations

(1)
Mathematical Institute of the Serbian Academy of Sciences
(2)
Operator Theory and Applications Research Group, Department of Mathematics, King Abdulaziz University
(3)
Department of Mathematics, Shri Mata Vaishno Devi University

References

  1. Avetisyan, K: Hardy-Bloch type spaces and lacunary series on the polydisk. Glasg. Math. J. 49, 345-356 (2007) MathSciNetView ArticleMATHGoogle Scholar
  2. Zhu, K: Bloch type spaces of analytic functions. Rocky Mt. J. Math. 23, 1143-1177 (1993) MathSciNetView ArticleMATHGoogle Scholar
  3. Bierstedt, KD, Summers, WH: Biduals of weighted Banach spaces of analytic functions. J. Aust. Math. Soc. Ser. A 54, 70-79 (1993) MathSciNetView ArticleMATHGoogle Scholar
  4. Zhao, R: On a general family of function space. Ann. Acad. Sci. Fenn., Math. Diss. 105, 1-56 (1996) View ArticleGoogle Scholar
  5. 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) MathSciNetView ArticleMATHGoogle Scholar
  6. Li, S, Stević, S: Composition followed by differentiation between Bloch type spaces. J. Comput. Anal. Appl. 9, 195-205 (2007) MathSciNetMATHGoogle Scholar
  7. Li, S, Stević, S: Composition followed by differentiation from mixed-norm spaces to α-Bloch spaces. Sb. Math. 199(12), 1847-1857 (2008) MathSciNetView ArticleMATHGoogle Scholar
  8. 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) MathSciNetMATHGoogle Scholar
  9. Li, S, Stević, S: Composition followed by differentiation between \(H^{\infty}\) and α-Bloch spaces. Houst. J. Math. 35, 327-340 (2009) MathSciNetMATHGoogle Scholar
  10. 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) MathSciNetMATHGoogle Scholar
  11. 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) MathSciNetView ArticleMATHGoogle Scholar
  12. 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) View ArticleMATHGoogle Scholar
  13. Ohno, S: Products of composition and differentiation between Hardy spaces. Bull. Aust. Math. Soc. 73(2), 235-243 (2006) MathSciNetView ArticleMATHGoogle Scholar
  14. Sharma, AK: Products of multiplication, composition and differentiation between weighted Bergman-Nevanlinna and Bloch-type spaces. Turk. J. Math. 35, 275-291 (2011) MathSciNetMATHGoogle Scholar
  15. 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) MathSciNetMATHGoogle Scholar
  16. Stević, S: Products of composition and differentiation operators on the weighted Bergman space. Bull. Belg. Math. Soc. Simon Stevin 16, 623-635 (2009) MathSciNetMATHGoogle Scholar
  17. Stević, S: Weighted differentiation composition operators from mixed-norm spaces to weighted-type spaces. Appl. Math. Comput. 211, 222-233 (2009) MathSciNetMATHGoogle Scholar
  18. 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) MATHGoogle Scholar
  19. 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) MathSciNetMATHGoogle Scholar
  20. Stević, S: Characterizations of composition followed by differentiation between Bloch-type spaces. Appl. Math. Comput. 218, 4312-4316 (2011) MathSciNetMATHGoogle Scholar
  21. Stević, S: Weighted iterated radial operators between different weighted Bergman spaces on the unit ball. Appl. Math. Comput. 218, 8288-8294 (2012) MathSciNetMATHGoogle Scholar
  22. Stević, S, Sharma, AK: Iterated differentiation followed by composition from Bloch-type spaces to weighted BMOA spaces. Appl. Math. Comput. 218, 3574-3580 (2011) MathSciNetMATHGoogle Scholar
  23. Stević, S, Sharma, AK, Bhat, A: Products of multiplication composition and differentiation operators on weighted Bergman spaces. Appl. Math. Comput. 217, 8115-8125 (2011) MathSciNetMATHGoogle Scholar
  24. 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) MathSciNetMATHGoogle Scholar
  25. 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) MathSciNetMATHGoogle Scholar
  26. 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) MathSciNetMATHGoogle Scholar
  27. Yu, Y, Liu, Y: On Li-Stević integral-type operators between different weighted Bloch-type spaces. J. Inequal. Appl. 2008, Article ID 780845 (2008) View ArticleMATHGoogle Scholar
  28. Zhou, J, Zhu, X: Product of differentiation and composition operators on the logarithmic Bloch space. J. Inequal. Appl. 2014, Article ID 453 (2014) MathSciNetView ArticleMATHGoogle Scholar
  29. Zhu, X: Generalized weighted composition operators from Bloch-type spaces to weighted Bergman spaces. Indian J. Math. 49(2), 139-149 (2007) MathSciNetMATHGoogle Scholar
  30. Zhu, X: Products of differentiation, composition and multiplication from Bergman type spaces to Bers spaces. Integral Transforms Spec. Funct. 18(3), 223-231 (2007) MathSciNetView ArticleMATHGoogle Scholar
  31. Zhu, X: Multiplication followed by differentiation on Bloch-type spaces. Bull. Allahabad Math. Soc. 23(1), 25-39 (2008) MathSciNetMATHGoogle Scholar
  32. Zhu, X: Generalized composition operators from generalized weighted Bergman spaces to Bloch type spaces. J. Korean Math. Soc. 46(6), 1219-1232 (2009) MathSciNetView ArticleMATHGoogle Scholar
  33. Pan, C: Generalized composition operators from μ-Bloch spaces into mixed norm spaces. Ars Comb. 102, 263-268 (2011) MathSciNetMATHGoogle Scholar
  34. Stević, S: On some integral-type operators between a general space and Bloch-type spaces. Appl. Math. Comput. 218, 2600-2618 (2011) MathSciNetMATHGoogle Scholar
  35. Stević, S, Ueki, SI: Integral-type operators acting between weighted-type spaces on the unit ball. Appl. Math. Comput. 215, 2464-2471 (2009) MathSciNetMATHGoogle Scholar
  36. Zhang, X: Multipliers on some holomorphic function spaces. Chin. Ann. Math., Ser. A 26(4), 477-486 (2005) (in Chinese) MathSciNetMATHGoogle Scholar
  37. Rudin, W: Function Theory in the Unit Ball of C n ${\mathbb {C}}^{n}$ . Springer, New York (1980) Google Scholar
  38. Schwartz, HJ: Composition operators on H p $H^{p}$ . Thesis, University of Toledo (1969) Google Scholar
  39. Ohno, S, Stroethoff, K, Zhao, R: Weighted composition operators between Bloch-type spaces. Rocky Mt. J. Math. 33, 191-215 (2003) MathSciNetView ArticleMATHGoogle Scholar
  40. Madigan, K, Matheson, A: Compact composition operators on the Bloch space. Trans. Am. Math. Soc. 347, 2679-2687 (1995) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Stević et al. 2016