We study the boundedness and compactness of the products of composition and differentiation operators from 𝒬K(p,q) spaces to Bloch-type spaces and little Bloch-type spaces.
1. Introduction
Let 𝔻 be the open unit disk in the complex plane and H(𝔻) the class of all analytic functions on 𝔻. The α-Bloch space ℬα (α>0) on 𝔻 is the space of all analytic functions f on 𝔻 such that
∥f∥ℬα=|f(0)|+supz∈𝔻(1-|z|2)α|f′(z)|<∞.
Under the above norm,ℬα is a Banach space. When α=1, ℬ1=ℬ is the well-known Bloch space. Let ℬ0α denote the subspace of ℬα consisting of those f∈ℬα for which
(1-|z|2)α|f′(z)|→0 as |z|→1. This space is called the little α-Bloch space.
Assume that μ is a positive continuous function on [0,1), and there exist positive numbers s and t,0<s<t, and δ∈[0,1) such that
μ(r)(1-r)sisdecreasingon[δ,1),limr→1μ(r)(1-r)s=0,μ(r)(1-r)t is increasing on[δ,1),limr→1μ(r)(1-r)t=∞,
then μ is called a normal function ([1]).
An f∈H(𝔻) is said to belong to the Bloch-type space ℬμ=ℬμ(𝔻), if (see, e.g, [2–5])
∥f∥ℬμ=|f(0)|+supz∈𝔻μ(|z|)|f′(z)|<∞.ℬμ is a Banach space with the norm ∥·∥ℬμ (see [3]). When μ(r)=(1-r2)α, the induced space ℬμ becomes the α-Bloch space ℬα.
Throughout this paper, we assume that K:[0,∞)→[0,∞) is a nondecreasing continuous function. Assume that p>0, q>-2. A function f∈H(𝔻) is said to belong to 𝒬K(p,q) (see [6]) if
∥f∥=(supα∈𝔻∫𝔻|f′(z)|p(1-|z|2)qK(g(z,a))dA(z))1/p<∞,
where dA denotes the normalized Lebesgue area measure in 𝔻 (i.e., A(𝔻)=1) and g(z,a) is the Green function with logarithmic singularity at a, that is, g(z,a)=log(1/|φa(z)|) (φa is a conformal automorphism defined by φa(z)=(a-z)/(1-a̅z) for a∈𝔻). If K(x)=xs, s≥0, the space 𝒬K(p,q) equals to F(p,q,s), which is introduced by Zhao in [7]. Moreover (see [7]) we have that, F(p,q,s)=ℬ(q+2)/p, and F0(p,q,s)=ℬ0(q+2)/p for s>1, F(p,q,s)⊆ℬ(q+2)/p, and F0(p,q,s)⊆ℬ0(q+2)/p for 0<s≤1, F(2,0,s)=Qs, and F0(2,0,s)=Qs,0, F(2,1,0)=H2, F(2,0,1)=BMOA, and F0(2,0,1)=VMOA. When p≥1, 𝒬K(p,q) is a Banach space under the norm
∥f∥𝒬K(p,q)=|f(0)|+∥f∥.
From [6], we know that 𝒬K(p,q)⊆ℬ(q+2)/p, 𝒬K(p,q)=ℬ(q+2)/p if and only if
∫01(1-r2)-2K(-logr)rdr<∞.
Moreover, ∥f∥ℬ(q+2)/p≤C∥f∥𝒬K(p,q) (see in [6, Theorem 2.1] or [8, Lemma 2.1]). Throughout the paper we assume that (see [6])
∫01(1-r2)qK(-logr)rdr<∞,
since otherwise 𝒬K(p,q) consists only of constant functions.
Let φ denote a nonconstant analytic self-map of 𝔻. Associated with φ is the composition operator Cφ defined by Cφf=f∘φ for f∈H(𝔻). The problem of characterizing the boundedness and compactness of composition operators on many Banach spaces of analytic functions has attracted lots of attention recently, see, for example, [9, 10] and the reference therein.
Let D be the differentiation operator on H(𝔻), that is, Df(z)=f′(z). For f∈H(𝔻), the products of composition and differentiation operators DCφ and CφD are defined, respectively, by
DCφ(f)=(f∘φ)′=f′(φ)φ′,CφD(f)=f′(φ),f∈H(𝔻).
The boundedness and compactness of DCφ on the Hardy space were investigated by Hibschweiler and Portnoy in [11] and by Ohno in [12]. The case of the Bergman spaces was studied in [11], while the case of the Hilbert-Bergman space was studied by Stević in [13]. In [14], Li and Stević studied the boundedness and compactness of the operator DCφ on α-Bloch spaces, while in [15] they studied these operators between H∞ and α-Bloch spaces. The boundedness and compactness of the operator DCφ from mixed-norm spaces to α-Bloch spaces was studied by Li and Stević in [16]. Norm and essential norm of the operator DCφ from α-Bloch spaces to weighted-type spaces were studied by Stević in [17]. Some related operators can be also found in [18–21]. For some other papers on products of linear operators on spaces of holomorphic functions, mostly integral-type and composition operators, see, for example, the following papers by Li and Stević: [5, 22–30].
Motivated basically by papers [14, 15], in this paper, we study the operators DCφ and CφD from 𝒬K(p,q) space to ℬμ and ℬμ,0 spaces. Some sufficient and necessary conditions for the boundedness and compactness of these operators are given.
Throughout this paper, constants are denoted by C, they are positive and may differ from one occurrence to the other. The notation A≍B means that there is a positive constant C such that B/C≤A≤CB.
2. Main Results and Proofs
In this section we give our main results and proofs. For this purpose, we need some auxiliary results. The following lemma can be proved in a standard way (see, e.g, in [9, Proposition 3.11]). A detailed proof, can be found, for example, in [31].
Lemma 2.1.
Let φ be an analytic self-map of 𝔻. Suppose that μ is normal, p>0, q>-2. Then DCφ(orCφD):𝒬K(p,q)→ℬμ is compact if and only if DCφ(orCφD):𝒬K(p,q)→ℬμ is bounded and for any bounded sequence (fn)n∈ℕ in 𝒬K(p,q) which converges to zero uniformly on compact subsets of 𝔻, one has ∥DCφfn∥ℬμ→0(or∥CφDfn∥ℬμ→0) as n→∞.
The following lemma can be proved similarly as [32], one omits the details (see also [2, 4]).
Lemma 2.2.
A closed set K in ℬμ,0 is compact if and only if it is bounded and satisfies
lim|z|→1-supf∈Kμ(|z|)|f′(z)|=0.
Now one is in a position to state and prove the main results of this paper.
Theorem 2.3.
Let φ be an analytic self-map of 𝔻. Suppose that μ is normal, p>0, q>-2, and K is a nonnegative nondecreasing function on [0,∞) such that
∫01K(-logr)(1-r)min{-1,q}(log11-r)χ-1(q)rdr<∞,
where χO(x) denote the characteristic function of the set O. Then DCφ:𝒬K(p,q)→ℬμ is bounded if and only if
supz∈𝔻μ(|z|)|φ′(z)|2(1-|φ(z)|2)(2+q+p)/p<∞,supz∈𝔻μ(|z|)|φ′′(z)|(1-|φ(z)|2)(2+q)/p<∞.
Proof.
Suppose that the conditions in (2.3) hold. Then for any z∈𝔻 and f∈𝒬K(p,q),
μ(|z|)|(DCφf)′(z)|=μ(|z|)|(f′(φ)φ′)′(z)|≤μ(|z|)|φ′(z)|2|f′′(φ(z))|+μ(|z|)|φ′′(z)||f′(φ(z))|≤μ(|z|)|φ′(z)|2(1-|φ(z)|2)(2+q+p)/p∥f∥ℬ(q+2)/p+μ(|z|)|φ′′(z)|(1-|φ(z)|2)(2+q)/p∥f∥ℬ(q+2)/p≤Cμ(|z|)|φ′(z)|2(1-|φ(z)|2)(2+q+p)/p∥f∥𝒬K(p,q)+Cμ(|z|)|φ′′(z)|(1-|φ(z)|2)(2+q)/p∥f∥𝒬K(p,q),
where we have used the fact that ∥f∥ℬ(q+2)/p≤∥f∥𝒬K(p,q), as well as the following well-known characterization for α-Bloch functions (see, e.g., [33])
supz∈𝔻(1-|z|2)β|φ′(z)|≍|φ′(0)|+supz∈𝔻(1-|z|2)(1+β)|φ″(z)|.
Taking the supremum in (2.4) for z∈𝔻, then employing (2.3) we obtain that DCφ:𝒬K(p,q)→ℬμ is bounded.
Conversely, suppose that DCφ:𝒬K(p,q)→ℬμ is bounded, that is, there exists a constant C such that ∥DCφf∥ℬμ≤C∥f∥𝒬K(p,q) for all f∈𝒬K(p,q). Taking the functions f(z)≡z, and f(z)≡z2, which belong to 𝒬K(p,q), we get
supz∈𝔻μ(|z|)|φ″(z)|<∞,supz∈𝔻μ(|z|)|(φ′(z))2+φ″(z)φ(z)|<∞.
From (2.6), (2.7), and the boundedness of the function φ(z), it follows that
supz∈𝔻μ(|z|)|φ′(z)|2<∞.
For w∈𝔻, let
fw(z)=1-|w|2(1-zw¯)(q+2)/p.
By some direct calculation we have that
fw′(w)=q+2pw¯(1-|w|2)((q+2)/p),fw″(w)=(q+2p)(q+2p+1)w¯2(1-|w|2)(q+2)/p+1.
From [8], we know that fw∈𝒬K(p,q), for each w∈𝔻, moreover there is a positive constant C such that supw∈𝔻∥fw∥𝒬K(p,q)≤C. Hence, we have
C∥DCφ∥𝒬K(p,q)→ℬμ≥∥DCφfφ(λ)∥ℬμ≥-q+2pq+2+ppμ(|λ|)|φ′(λ)|2|φ(λ)|2(1-|φ(λ)|2)(2+q+p)/p+q+2pμ(|λ|)|φ″(λ)||φ(λ)|(1-|φ(λ)|2)(2+q)/p,
for λ∈𝔻. Therefore, we obtain
μ(|λ|)|φ″(λ)||φ(λ)|(1-|φ(λ)|2)(2+q)/p≤C∥DCφ∥𝒬K(p,q)→ℬμ+q+2+ppμ(|λ|)|φ′(λ)|2|φ(λ)|2(1-|φ(λ)|2)(2+q+p)/p.
Next, for w∈𝔻, let
gw(z)=(1-|w|2)2(1-zw¯)(q+2)/p+1-(q+2)/p+1(q+2)/p1-|w|2(1-zw¯)(q+2)/p.
Then from [8], we see that gw∈𝒬K(p,q) and supw∈𝔻∥gw∥𝒬K(p,q)<∞. Since
gφ(λ)′(φ(λ))=0,|gφ(λ)′′(φ(λ))|=q+2+pp|φ(λ)|2(1-|φ(λ)|2)(2+q+p)/p,
we have
∞>C∥DCφ∥𝒬K(p,q)→ℬμ≥∥DCφgφ(λ)∥ℬμ≥q+2+ppμ(|λ|)|φ′(λ)|2|φ(λ)|2(1-|φ(λ)|2)(2+q+p)/p.
Thus
sup|φ(λ)|>1/2μ(|λ|)|φ′(λ)|2(1-|φ(λ)|2)(2+q+p)/p≤sup|φ(λ)|>1/24μ(|λ|)|φ′(λ)|2|φ(λ)|2(1-|φ(λ)|2)(2+q+p)/p≤C∥DCφ∥𝒬K(p,q)→ℬμ<∞.
Inequality (2.8) gives
sup|φ(λ)|≤1/2μ(|λ|)|φ′(λ)|2(1-|φ(λ)|2)(2+q+p)/p≤4(2+q+p)/p3(2+q+p)/psup|φ(λ)|≤1/2μ(|λ|)|φ′(λ)|2<∞.
Therefore, the first inequality in (2.3) follows from (2.16) and (2.17). From (2.12) and (2.15), we obtain
supλ∈𝔻μ(|λ|)|φ″(λ)||φ(λ)|(1-|φ(λ)|2)(2+q)/p<∞.
Equations (2.6) and (2.18) imply
sup|φ(λ)|>1/2μ(|λ|)|φ″(λ)|(1-|φ(λ)|2)(2+q)/p≤2sup|φ(λ)|>1/2μ(|λ|)|φ″(λ)||φ(λ)|(1-|φ(λ)|2)(2+q)/p<∞,sup|φ(λ)|≤1/2μ(|λ|)|φ″(λ)|(1-|φ(λ)|2)(2+q)/p≤4(2+q)/p3(2+q)/psup|φ(λ)|≤1/2μ(|λ|)|φ′′(λ)|<∞.
Inequality (2.19) together with (2.20) implies the second inequality of (2.3). This completes the proof of Theorem 2.3.
Theorem 2.4.
Let φ be an analytic self-map of 𝔻. Suppose that μ is normal, p>0, q>-2 and K is a nonnegative nondecreasing function on [0,∞) such that (2.2) holds. Then DCφ:𝒬K(p,q)→ℬμ is compact if and only if DCφ:𝒬K(p,q)→ℬμ is bounded,
lim|φ(z)|→1μ(|z|)|φ′(z)|2(1-|φ(z)|2)(2+q+p)/p=0,lim|φ(z)|→1μ(|z|)|φ″(z)|(1-|φ(z)|2)(2+q)/p=0.
Proof.
Suppose that DCφ:𝒬K(p,q)→ℬμ is bounded and (2.21) holds. Let (fk)k∈ℕ be a sequence in 𝒬K(p,q) such that supk∈ℕ∥fk∥𝒬K(p,q)<∞ and fk converges to 0 uniformly on compact subsets of 𝔻 as k→∞. By the assumption, for any ε>0, there exists a δ∈(0,1) such that
μ(|z|)|φ′(z)|2(1-|φ(z)|2)(2+p+q)/p<ε,μ(|z|)|φ″(z)|(1-|φ(z)|2)(2+q)/p<ε,
when δ<|φ(z)|<1. Since DCφ:𝒬K(p,q)→ℬμ is bounded, then from the proof of Theorem 2.3 we have
M1:=supz∈𝔻μ(|z|)|φ″(z)|<∞,M2:=supz∈𝔻μ(|z|)|φ′(z)|2<∞.
Let K={z∈𝔻:|φ(z)|≤δ}. Then, we have∥DCφfk∥ℬμ=supz∈𝔻μ(|z|)|(DCφfk)′(z)|+|fk′(φ(0))||φ′(0)|=supz∈𝔻μ(|z|)|(φ′fk′(φ))′(z)|+|fk′(φ(0))||φ′(0)|≤supz∈𝔻μ(|z|)|φ′(z)|2|fk′′(φ(z))|+supz∈𝔻μ(|z|)|φ″(z)||fk′(φ(z))|+|fk′(φ(0))||φ′(0)|≤supKμ(|z|)|φ′(z)|2|fk′′(φ(z))|+supKμ(|z|)|φ″(z)||fk′(φ(z))|+sup𝔻∖Kμ(|z|)|φ″(z)|2|fk′′(φ(z))|+sup𝔻∖Kμ(|z|)|φ″(z)||fk′(φ(z))|+|fk′(φ(0))||φ′(0)|≤supKμ(|z|)|φ′(z)|2|fk′′(φ(z))|+supKμ(|z|)|φ″(z)||fk′(φ(z))|+|fk′(φ(0))||φ′(0)|+Csup𝔻∖Kμ(|z|)|φ′(z)|2(1-|φ(z)|2)(2+p+q)/p∥fk∥𝒬K(p,q)+sup𝔻∖Kμ(|z|)|φ″(z)|(1-|φ(z)|2)(2+p)/p∥fk∥𝒬K(p,q)≤M2 supK|fk′′(φ(z))|+M1 supK|fk′(φ(z))|+2Cε∥fk∥𝒬K(p,q)+|fk′(φ(0))||φ′(0)|.
The assumption that fk→0 as k→∞ on compact subsets of 𝔻 along with Cauchy's estimate give that fk′→0 and fk′′→0 as k→∞ on compact subsets of 𝔻. Letting k→∞ in (2.24) and using the fact that ε is an arbitrary positive number, we obtain limk→∞∥DCφfk∥ℬμ=0. Applying Lemma 2.1, the result follows.
Now, suppose that DCφ:𝒬K(p,q)→ℬμ is compact. Then it is clear that DCφ:𝒬K(p,q)→ℬμ is bounded. Let (zk)k∈ℕ be a sequence in 𝔻 such that |φ(zk)|→1 as k→∞ (if such a sequence does not exist then condition (2.21) is vacuously satisfied). Let
fk(z)=1-|φ(zk)|2(1-φ(zk)¯z)(q+2)/p.
Then, supk∈ℕ∥fk∥𝒬K(p,q)<∞ and fk converges to 0 uniformly on compact subsets of 𝔻 as k→∞. Since DCφ:𝒬K(p,q)→ℬμ is compact, by Lemma 2.1 we have limk→∞∥DCφfk∥ℬμ=0. On the other hand, from (2.11) we have
C∥DCφfk∥ℬμ≥|-2+qp2+p+qpμ(|zk|)|φ′(zk)|2|φ(zk)|2(1-|φ(zk)|2)(2+q+p)/p+2+qpμ(|zk|)|φ′′(zk)||φ(zk)|(1-|φ(zk)|2)(2+q)/p|,
which implies that
lim|φ(zk)|→12+q+ppμ(|zk|)|φ′(zk)|2|φ(zk)|2(1-|φ(zk)|2)(2+q+p)/p=lim|φ(zk)|→1μ(|zk|)|φ′′(zk)||φ(zk)|(1-|φ(zk)|2)(2+q)/p,
if one of these two limits exists.
Next, for k∈ℕ, set
gk(z)=(1-|φ(zk)|2)2(1-φ(zk)¯z)(q+2)/p+1-q+2+pq+21-|φ(zk)|2(1-φ(zk)¯z)(q+2)/p.
Then (gk)k∈ℕ is a sequence in 𝒬K(p,q). Notice that gk′(φ(zk))=0,
|gk′′(φ(zk))|=2+q+pp|φ(zk)|2(1-|φ(zk)|2)(2+q+p)/p,
and gk converges to 0 uniformly on compact subsets of 𝔻 as k→∞. Since DCφ:𝒬K(p,q)→ℬμ is compact, we have limk→∞∥DCφgk∥ℬμ=0. On the other hand, we have
2+q+ppμ(|zk|)|φ′(zk)|2|φ(zk)|2(1-|φ(zk)|2)(2+q+p)/p≤∥DCφgk∥ℬμ.
Therefore
lim|φ(zk)|→1μ(|zk|)|φ′(zk)|2(1-|φ(zk)|2)(2+q+p)/p=lim|φ(zk)|→1μ(|zk|)|φ′(zk)|2|φ(zk)|2(1-|φ(zk)|2)(2+q+p)/p=0.
This along with (2.27) implies
lim|φ(zk)|→1μ(|zk|)|φ″(zk)|(1-|φ(zk)|2)(2+p)/p=0.
From the last two equalities, the desired result follows.
Theorem 2.5.
Let φ be an analytic self-map of 𝔻. Suppose that μ is normal, p>0, q>-2 and K is a nonnegative nondecreasing function on [0,∞) such that (2.2) holds. Then DCφ:𝒬K(p,q)→ℬμ,0 is compact if and only if
lim|z|→1μ(|z|)|φ′(z)|2(1-|φ(z)|2)(2+q+p)/p=0,lim|z|→1μ(|z|)|φ″(z)|(1-|φ(z)|2)(2+q)/p=0.
Proof.
Sufficiency. Let f∈𝒬K(p,q). By the proof of Theorem 2.3 we have
μ(|z|)|(DCφf)′(z)|≤C(μ(|z|)|φ′(z)|2(1-|φ(z)|2)(2+q+p)/p+μ(|z|)|φ″(z)|(1-|φ(z)|2)(2+q)/p)∥f∥𝒬K(p,q).
Taking the supremum in (2.34) over all f∈𝒬K(p,q) such that ∥f∥𝒬K(p,q)≤1, then letting |z|→1, we get
lim|z|→1sup∥f∥𝒬K(p,q)≤1μ(|z|)|(DCφf)′(z)|=0.
From which by Lemma 2.2 we see that the operator DCφ:𝒬K(p,q)→ℬμ,0 is compact. Necessity. Assume that DCφ:𝒬K(p,q)→ℬμ,0 is compact. By taking the function given by f(z)≡z and using the boundedness of DCφ:𝒬K(p,q)→ℬμ,0, we get
lim|z|→1μ(|z|)|φ″(z)|=0.
From this, by taking the test function f(z)≡z2 and using the boundedness of DCφ:𝒬K(p,q)→ℬμ,0 it follows that
lim|z|→1μ(|z|)|φ′(z)|2=0.
If ∥φ∥∞<1, from (2.36) and (2.37), we obtain that
lim|z|→1μ(|z|)|φ′(z)|2(1-|φ(z)|2)(2+q+p)/p≤1(1-∥φ∥∞2)(2+q+p)/plim|z|→1μ(|z|)|φ′(z)|2=0,lim|z|→1μ(|z|)|φ″(z)|(1-|φ(z)|2)(2+q)/p≤1(1-∥φ∥∞2)(2+q)/plim|z|→1μ(|z|)|φ″(z)|=0,from which the result follows in this case.
Assume that∥φ∥∞=1. Let (φ(zk))k∈ℕ be a sequence such that limk→∞|φ(zk)|=1. From the compactness of DCφ:𝒬K(p,q)→ℬμ,0 we see that DCφ:𝒬K(p,q)→ℬμ is compact. From Theorem 2.4 we get
lim|φ(z)|→1μ(|z|)|φ′(z)|2(1-|φ(z)|2)(2+p+q)/p=0,lim|φ(z)|→1μ(|z|)|φ″(z)|(1-|φ(z)|2)(2+q)/p=0.
From (2.36) and (2.40), we have that for every ε>0, there exists an r∈(0,1) such that
μ(|z|)|φ″(z)|(1-|φ(z)|2)(2+q)/p<ε,
when r<|φ(z)|<1, and there exists a σ∈(0,1) such that μ(|z|)|φ″(z)|≤ε(1-r2)(2+q)/p when σ<|z|<1. Therefore, when σ<|z|<1, and r<|φ(z)|<1, we have
μ(|z|)|φ″(z)|(1-|φ(z)|2)(2+q)/p<ε.
On the other hand, if σ<|z|<1, and |φ(z)|≤r, we obtain
μ(|z|)|φ″(z)|(1-|φ(z)|2)(2+q)/p<1(1-r2)(2+q)/pμ(|z|)|φ″(z)|<ε.
Inequality (2.42) together with (2.43) gives the second equality of (2.33). Similarly to the above arguments, by (2.37) and (2.39) we get the first equality of (2.33). The proof is completed.
From the above three theorems, we get the following corollary (see [14]).
Corollary 2.6.
Let φ be an analytic self-map of 𝔻. Then the following statements hold.
DCφ:ℬ→ℬ is bounded if and only if
Supz∈𝔻(1-|z|2)|φ′(z)|2(1-|φ(z)|2)2<∞,supz∈𝔻(1-|z|2)|φ″(z)|1-|φ(z)|2<∞;
DCφ:ℬ→ℬ is compact if and only if DCφ:ℬ→ℬ is bounded,
lim|φ(z)|→1(1-|z|2)|φ′(z)|2(1-|φ(z)|2)2=0,lim|φ(z)|→1(1-|z|2)|φ″(z)|1-|φ(z)|2=0;
DCφ:ℬ→ℬ0 is compact if and only if
lim|z|→1(1-|z|2)|φ′(z)|2(1-|φ(z)|2)2=0,lim|z|→1(1-|z|2)|φ″(z)|1-|φ(z)|2=0.
Similarly to the proofs of Theorems 2.3–2.5, we can get the following result. We omit the proof.
Theorem 2.7.
Let φ be an analytic self-map of 𝔻. Suppose that μ is normal, p>0, q>-2 and K is a nonnegative nondecreasing function on [0,∞) such that (2.2) holds. Then the following statements hold.
CφD:𝒬K(p,q)→ℬμ is bounded if and only if
supz∈𝔻μ(|z|)|φ′(z)|(1-|φ(z)|2)(2+p+q)/p<∞;
CφD:𝒬K(p,q)→ℬμ is compact if and only if CφD:𝒬K(p,q)→ℬμ is bounded and
lim|φ(z)|→1μ(|z|)|φ′(z)|(1-|φ(z)|2)(2+p+q)/p=0;
CφD:𝒬K(p,q)→ℬμ,0 is compact if and only if
lim|z|→1μ(|z|)|φ′(z)|(1-|φ(z)|2)(2+p+q)/p=0.
From Theorem 2.7 we get the following corollary.
Corollary 2.8.
Let φ be an analytic self-map of 𝔻. Then the following statements hold.
CφD:ℬ→ℬ is bounded if and only if
supz∈𝔻(1-|z|2)|φ′(z)|(1-|φ(z)|2)2<∞;
CφD:ℬ→ℬ is compact if and only if CφD:ℬ→ℬ is bounded and
lim|φ(z)|→1(1-|z|2)|φ′(z)|(1-|φ(z)|2)2=0;
CφD:ℬ→ℬ0 is compact if and only if
lim|z|→1(1-|(z)|2)|φ′(z)|(1-|φ(z)|2)2=0.
ShieldsA. L.WilliamsD. L.Bonded projections, duality, and multipliers in spaces of analytic functions1971162287302MR028355910.2307/1995754FuX.ZhuX.Weighted composition operators on some weighted spaces in the unit ball20082008860580710.1155/2008/605807MR2417227HuZ.WangS.Composition operators on Bloch-type spaces2005135612291239MR219189610.1017/S0308210500004340ZBL1131.47019StevićS.Norm of weighted composition operators from Bloch space to Hμ∞ on the unit ball200888125127MR2426411StevićS.On a new operator from H∞ to the Bloch-type space on the unit ball200877257263MR2462644ZBL1155.32002WulanH.ZhouJ.𝒬K type spaces of analytic functions2006417384MR2194636ZBL1098.30027ZhaoR.On a general family of function spaces1996105156MR1395906ZBL0851.30017KotilainenM.On composition operators in 𝒬K type spaces200752103122MR2319597ZBL1142.47016CowenC. C.MacCluerB. D.1995Boca Raton, Fla, USACRC Pressxii+388Studies in Advanced MathematicsMR1397026ZBL0873.47017StevićS.Weighted composition operators from weighted Bergman spaces to weighted-type spaces on the unit ball20092122499504HibschweilerR. A.PortnoyN.Composition followed by differentiation between Bergman and Hardy spaces2005353843855MR215031110.1216/rmjm/1181069709ZBL1079.47031OhnoS.Products of composition and differentiation between Hardy spaces2006732235243MR221794210.1017/S0004972700038818ZBL1102.47015StevićS.Products of composition and differentiation operators on the weighted Bergman spaceto appear in Bulletin of the Belgian Mathematical Society—Simon StevinLiS.StevićS.Composition followed by differentiation between Bloch type spaces200792195205MR2292805ZBL1132.47026LiS.StevićS.Composition followed by differentiation between H∞ and α-Bloch spaces2009351327340LiS.StevićS.Composition followed by differentiation from mixed-norm spaces to α-Bloch spaces20081991218471857StevićS.Norm and essential norm of composition followed by differentiation from α-Bloch spaces to Hμ∞2009207122522910.1016/j.amc.2008.10.032StevićS.Generalized composition operators between mixed-norm and some weighted spaces2008297-8959978MR245020010.1080/01630560802282276ZBL1152.47017StevićS.Weighted differentiation composition operators from mixed-norm spaces to weighted-type spaces2009211122223310.1016/j.amc.2009.01.061ZhuX.Generalized weighted composition operators from Bloch type spaces to weighted Bergman spaces2007492139150MR2341712ZBL1130.47017ZhuX.Products of differentiation, composition and multiplication from Bergman type spaces to Bers type spaces2007183223231MR231958410.1080/10652460701210250ZBL1119.47035LiS.StevićS.Generalized composition operators on Zygmund spaces and Bloch type spaces2008338212821295MR238649610.1016/j.jmaa.2007.06.013ZBL1135.47021LiS.StevićS.Products of composition and integral type operators from H∞ to the Bloch space2008535463474MR241034410.1080/17476930701754118LiS.StevićS.Products of Volterra type operator and composition operator from H∞ and Bloch spaces to Zygmund spaces200834514052MR242263210.1016/j.jmaa.2008.03.063ZBL1145.47022LiS.StevićS.Products of integral-type operators and composition operators between Bloch-type spaces20093492596610MR245621510.1016/j.jmaa.2008.09.014ZBL1155.47036StevićS.Generalized composition operators from logarithmic Bloch spaces to mixed-norm spaces200877167172MR2462637StevićS.On a new integral-type operator from the weighted Bergman space to the Bloch-type space on the unit ball200820081415426310.1155/2008/154263MR2438765ZBL1155.32002StevićS.On a new operator from the logarithmic Bloch space to the Bloch-type space on the unit ball20082061313320MR247497610.1016/j.amc.2008.09.002StevićS.On a new integral-type operator from the Bloch space to Bloch-type spaces on the unit ball2009354242643410.1016/j.jmaa.2008.12.059StevićS.On an integral operator between Bloch-type spaces on the unit ballBulletin des Sciences Mathématiques. In press10.1016/j.bulsci.2008.10.005StevićS.Composition operators between H∞ and a-Bloch spaces on the polydisc2006254457466MR2285095ZBL1118.47015MadiganK.MathesonA.Compact composition operators on the Bloch space1995347726792687MR127350810.2307/2154848ZBL0826.47023ZhuK. H.Bloch type spaces of analytic functions199323311431177MR124547210.1216/rmjm/1181072549ZBL0787.30019