Weighted Composition Operators from the Bloch Space and the Analytic Besov Spaces into the Zygmund Space
Abstract
We provide several characterizations of the bounded and the compact weighted composition operators from the Bloch space ℬ and the analytic Besov spaces Bp (with 1 < p < ∞) into the Zygmund space 𝒵. As a special case, we show that the bounded (resp., compact) composition operators from ℬ, Bp, and H∞ to 𝒵 coincide. In addition, the boundedness and the compactness of the composition operator can be characterized in terms of the boundedness (resp., convergence to 0, under the boundedness assumption of the operator) of the Zygmund norm of the powers of the symbol.
1. Introduction
yields a Banach space structure on 𝒵, which is called the Zygmund space. For more information on the Zygmund space on the unit disk, see, for example, [3].
for f ∈ H(𝔻) and z ∈ 𝔻. We refer the interested reader to [4, 5] for the theory of the composition operators.
for f ∈ H(𝔻) and z ∈ 𝔻. The composition product uCφ of Mu and Cφ yields a linear operator on H(𝔻) called the weighted composition operator with symbols u and φ.
In recent years, considerable interest has emerged in the study of the weighted composition operators due to the important role they play in the study of the isometries on many Banach spaces of analytic functions, such as the Hardy space Hp (for 1 ≤ p ≤ ∞, p ≠ 2) [6, 7], the weighted Bergman space [8], and the disk algebra [9].
There is a very extensive literature on the composition operators and the weighted composition operators between the Bloch space and other spaces of analytic functions in one and several complex variables. The study on such operators between the Zygmund space and some other spaces of analytic functions is more recent and not yet well developed. The weighted composition operators and related operators from the Zygmund space to Bloch-type spaces have been investigated by the second author and Stević in [10, 11].
Research on the composition operators between various Banach spaces of analytic functions has shown that the compact composition operators acting on different Banach spaces are often the same. For example, in [12], it was shown that the composition operator Cφ mapping into the Bloch space is compact as an operator acting on H∞ if and only if it is compact as an operator acting on the analytic Besov space Bp (with 1 < p < ∞), on the space BMOA, and on the Bloch space itself. Also, an interesting question that arises in operator theory is whether a countable set of functions on the range of the operator exists whose norm approaching 0 is sufficient to characterize the compactness of the operator. In [13], it was shown that the sequence of powers of the symbol {φn} has this property with regards to the composition operator on the Bloch space as well as the space BMOA. In fact, for X = H∞, Bp, BMOA, ℬ, the operator Cφ : X → ℬ is compact if and only if as n → ∞. For the weighted composition operator uCφ, this is not the case, although a few cases are known in which the sequence of norms is sufficient to characterize boundedness and compactness (see [14, 15], see also [16] for analogous questions for the operators mapping into BMOA). In all examples known to us, the space X is small compared to the codomain of the operator. These results prompted us to investigate analogous questions when the operator maps into the Zygmund space.
In this work, besides giving characterizations of the bounded and the compact operator uCφ from the Besov and the Bloch spaces into 𝒵 in terms of function theoretic conditions on the symbols u and φ, we provide boundedness and the compactness criteria for the operator uCφ, in terms of the norms in 𝒵 of functions in the range of the operator belonging to certain one-parameter families. For both boundedness and compactness, one of these characterizations involves the sequence .
Finally, we show that there are no nontrivial bounded multiplication operators from the Bloch space to the Zygmund space, and that a composition operator from ℬ or Bp into 𝒵 is bounded (resp., compact) if and only if it is bounded (resp., compact) as an operator acting on the space H∞ of bounded analytic functions on 𝔻 under the supremum norm. One of the characterizing conditions for boundedness (resp., compactness, under the boundedness assumption of the operator) of such operators is that (resp., ) as k → ∞. We found this phenomenon quite surprising due to the size of the spaces Bp and ℬ in comparison to that of the Zygmund space.
2. Boundedness
We begin the section by characterizing the bounded weighted composition operators from ℬ to the Zygmund space. We note that since the constant function 1 belongs to all spaces under consideration, the boundedness of uCφ requires that u = uCφ1 ∈ 𝒵. Thus, we will assume throughout that u ∈ 𝒵.
For an integer k ≥ 0 and z ∈ 𝔻, let pk(z) = zk.
Theorem 1. Let u ∈ 𝒵 and φ ∈ S(𝔻). Then the following conditions are equivalent.
- (a)
The operator uCφ : ℬ → 𝒵 is bounded.
- (b)
, and .
- (c)
N1∶ = sup z∈𝔻(1−|z|2) | u(z)φ′(z) 2|, N2∶ = sup z∈𝔻(1−|z|2) | 2u′(z)φ′(z) + u(z)φ′′(z)|,
()and H are finite. - (d)
The quantities M1∶ = sup z∈𝔻(1 − |z|2)|u′′(z)|log (e/(1 − |φ(z)|2)),
()are finite.
To prove Theorem 1, we will use the following result which follows from the characterization of the bounded weighted composition operators from H∞ to the Zygmund space given in Theorem 1 of [17].
Lemma 2. Let u ∈ 𝒵 and φ ∈ S(𝔻). Then the following conditions are equivalent.
- (a)
.
- (b)
The quantities N1, N2, A, and B are finite.
- (c)
The quantities M2 and M3 are finite.
Proof. (a) ⇒ (b) Since the sequence {pk} is bounded in ℬ with supremum norms no greater than 1, if uCφ : ℬ → 𝒵 is bounded, then for each integer k ≥ 0, we have
(b) ⇒ (c) follows at once from Lemma 2.
(c) ⇒ (d) Suppose that H, N1, N2, A, and B are finite. By Lemma 2 we see that M2 and M3 are finite. For each nonnegative integer n and each a ∈ 𝔻, a direct calculation shows that
Setting
Taking the supremum over all w ∈ 𝔻, we see that M1 is finite.
(d) ⇒ (a) Suppose that (d) holds. As a consequence of Theorem 5.1.5 of [18], for each f ∈ ℬ,
The boundedness of uCφ : ℬ → 𝒵 follows from (27) and (26) after taking the supremum over all z ∈ 𝔻.
Theorem 3. Let u ∈ 𝒵, φ ∈ S(𝔻), and 1 < p < ∞. Then the following conditions are equivalent.
Proof. Note that, unlike the case of the Bloch space, the sequence {pk} is unbounded in Bp. Therefore, first condition in (b) is not an immediate consequence of the boundedness of the operator.
(a) ⇒ (d) Suppose uCφ : Bp → 𝒵 is bounded. Since , it follows that
Therefore, by the boundedness of uCφ, the quantities A and B are finite.
Next observe that since p1 and p2 are in Bp and uCφ is bounded, uCφ(p1) and uCφ(p2) are in 𝒵, so arguing as in the proof of Theorem 1 in [17], we see that N1 and N2 are finite as well. By Lemma 2, it follows that M2 and M3 are finite. To prove that M4 is finite, let w ∈ 𝔻 and note that
Taking the supremum over all w ∈ 𝔻, it follows that M4 is finite, as desired.
(d) ⇒ (a) Assume (d) holds. As a consequence of Theorem 5.1.5 of [18] and (5), for each f ∈ Bp,
Taking the supremum over all z ∈ 𝔻 and using (38) and (37), we conclude that uCφ : Bp → 𝒵 is a bounded operator.
The equivalence of (c) and (d) follows from (34) and Lemma 2. The equivalence of (b) and (c) is an immediate consequence of Lemma 2.
3. Compactness
We begin the section with a useful compactness criterion which will be used to characterize the compact weighted composition operators from the Bloch space and the Besov spaces to the Zygmund space. Its proof is based on standard arguments similar to those outlined in Proposition 3.11 of [4].
Lemma 4. Let u ∈ H(𝔻), φ ∈ S(𝔻), and 1 < p < ∞. Then, the operator uCφ from ℬ (resp., Bp) into 𝒵 is compact if and only if it uCφ : ℬ → 𝒵 (resp., uCφ : Bp → 𝒵) is bounded and , as k → ∞, whenever {fk} is a bounded sequence in ℬ (resp., Bp) converging to zero uniformly on compact subsets of 𝔻.
We will also make use the following result that follows from the characterization of the compact weighted composition operators from H∞ to 𝒵 given in Theorem 2 of [17].
Lemma 5. Let u ∈ 𝒵 and φ ∈ S(𝔻) be such that any of the equivalent conditions in Lemma 2 hold. Then the following conditions are equivalent.
- (a)
.
- (b)
.
- (c)
lim |φ(z)|→1(1−|z|2) | u′′(z)| = lim |φ(z)|→1((1−|z|2) | u(z)φ′(z) 2|/(1−|φ(z)|2) 2) = 0, and
()
In the next theorem we focus on the weighted composition operators acting on the Bloch space. We will use the one-parameter family {ha : a ∈ 𝔻} introduced in (12).
Theorem 6. Let u ∈ 𝒵, φ ∈ S(𝔻) and suppose that the operator uCφ : ℬ → 𝒵 is bounded. Then the following conditions are equivalent.
- (a)
The operator uCφ : ℬ → 𝒵 is compact.
- (b)
.
- (c)
.
- (d)
lim |φ(z)|→1(1−|z|2) | u′′(z) | log (e/(1−|φ(z)|2)) = lim |φ(z)|→1((1−|z|2) | u(z)φ′(z) 2|/(1−|φ(z)|2) 2) = 0, and
()
Proof. (a) ⇒ (b) Suppose uCφ : ℬ → 𝒵 is a compact operator. Since the sequence {pk} is bounded in ℬ and converges to 0 uniformly on compact subsets of 𝔻, then by Lemma 4,
proving (b).
(b) ⇒ (c) follows from Lemma 4.
(c) ⇒ (d) Suppose that the limits in (c) are 0. Using the inequality (24), we get
as |φ(w)| → 1. The desired result now follows from the last formula and Lemma 4.
(d) ⇒ (a) Assume (d) holds. Then, in particular,
whenever r<|φ(z)| < 1.
Let {fk} be a sequence in ℬ with and converging to 0 uniformly on compact subsets of 𝔻. In light of Lemma 4, it suffices to show that as k → ∞. Using (45), for |φ(w)| > r, and recalling (2) and (25), we have
as k → ∞, from (46) and (47) we deduce that , as k → ∞. This completes the proof.
We now turn our attention to the weighted composition operators mapping Bp into the Zygmund space. We will use the one-parameter family {hp,a : a ∈ 𝔻} defined in (28).
Theorem 7. Let u ∈ 𝒵, φ ∈ S(𝔻), 1 < p < ∞ and assume the operator uCφ : Bp → 𝒵 is bounded. Then the following conditions are equivalent.
- (a)
The operator uCφ : Bp → 𝒵 is compact;
- (b)
;
- (c)
;
- (d)
= lim |φ(z)|→1((1−|z|2) | u(z)φ′(z) 2|/(1−|φ(z)|2) 2) = 0, and
()
Proof. Assume uCφ : Bp → 𝒵 is compact. Since {hp,φ(w)} is bounded in Bp and convergent to 0 uniformly on compact subsets of 𝔻, if {wn} is a sequence in 𝔻 such that |φ(wn)| → 1 as n → ∞, by Lemma 4 it follows that as n → ∞. Similarly, since the sequences and are bounded in Bp and converge to 0 uniformly on compact subsets of 𝔻, it follows that and converge to 0 as n → ∞, proving (c). Therefore, by Lemma 5, it follows that as k → ∞, so (b) holds as well.
On the other hand, by (34) and Lemma 5, for all w ∈ 𝔻, we have
which proves that (d) holds as well. Thus, to prove the equivalence of (a)–(d), it suffices to show that (d) implies (a). Since the proof is similar to the proof of (d) implies (a) in Theorem 6, we omit the details.
Observe that conditions (d) in Theorems 1 and 6 coincide with the corresponding conditions (d) in Theorems 3 and 7 by taking p = ∞. We could indeed have adopted the notation B∞ in place of ℬ, as the Bloch space is widely viewed as a limit of Bp as p → ∞, which could have allowed us to unify parts of Theorems 1 and 3 (resp., Theorems 6 and 7) into a single statement taking 1 < p ≤ ∞. However, we did not do so because the family of functions {h∞,a} is not suitable to characterize the bounded and the compact weighted composition operators from the Bloch space into the Zygmund space.
4. Multiplication and the Composition Operators
In this section we highlight the results concerning the boundedness and the compactness of the multiplication operator and the composition operator, which to the best of our knowledge have not appeared in the literature.
For the case of the multiplication operator, the finiteness of M3 in part (d) of Theorems 1 and 3, combined with the continuous inclusions of H∞ and of Bp into ℬ and Theorems 1 and 2 in [19], yields the following result.
Corollary 8. For u ∈ 𝒵 and 1 ≤ p < ∞, the following statements are equivalent.
- (a)
Mu : ℬ → 𝒵 is bounded.
- (b)
Mu : ℬ → 𝒵 is compact.
- (c)
Mu : Bp → 𝒵 is bounded.
- (d)
Mu : Bp → 𝒵 is compact.
- (e)
Mu : H∞ → 𝒵 is bounded.
- (f)
Mu : H∞ → 𝒵 is compact.
- (g)
u is identically 0.
Corollary 9. For φ ∈ S(𝔻) and 1 ≤ p < ∞, the following statements are equivalent.
- (a)
Cφ : ℬ → 𝒵 is bounded.
- (b)
.
- (c)
φ, φ2 ∈ 𝒵, and .
- (d)
sup z∈𝔻((1−z|2)|φ′′(z)|/(1−|φ(z)|2)) < ∞ and sup z∈𝔻((1−|z|2) | φ′(z)|2/(1−|φ(z)|2) 2) < ∞.
- (e)
Cφ : Bp → 𝒵 is bounded.
- (f)
Cφ : H∞ → 𝒵 is bounded.
Corollary 10. For φ ∈ S(𝔻) such that Cφ : ℬ → 𝒵 is bounded and for 1 ≤ p < ∞, the following statements are equivalent.
- (a)
Cφ : ℬ → 𝒵 is compact.
- (b)
.
- (c)
.
- (d)
lim |φ(z)|→1((1−z|2)|φ′′(z)|/(1−|φ(z)|2)) = lim φ|z|→1((1−|z|2) | φ′(z)|2/(1−|φ(z)|2) 2) = 0.
- (e)
Cφ : Bp → 𝒵 is compact.
- (f)
Cφ : H∞ → 𝒵 is compact.
4.1. Concluding Remarks
In this section, we established that the boundedness (resp., compactness) of the multiplication and the composition operator from H∞ to 𝒵 is equivalent to the boundedness (resp., compactness) of the multiplication and composition operator from Bp or ℬ to 𝒵. It is evident that the same can be said for the weighted composition operator mapping between these spaces for any choice of composition symbol when the multiplicative symbol is linear, or for an arbitrary multiplication symbol in the Zygmund space if the range of the composition symbol is relatively compact. This leads to the question of whether this equivalence holds also for completely general weighted composition operators. As a consequence of [17, 19], the answer is affirmative for the case of the spaces H∞ and B1. We suspect this is false for the other Besov spaces or ℬ but have not been able to construct examples to support this claim.
Acknowledgments
The second author is supported by the Foundation for Scientific and Technological Innovation in Higher Education of Guangdong (no. 2012KJCX0096), National Natural Science Foundation of China (no. 11001107), and the Foundation for Distinguished Young Talents in Higher Education of Guangdong (no. LYM11117).