Abstract
The logarithmic Bloch space is the Banach space of analytic functions on the open unit disk whose elements satisfy the condition . In this work we characterize the bounded and the compact weighted composition operators from the Hardy space (with ) into the logarithmic Bloch space. We also provide boundedness and compactness criteria for the weighted composition operator mapping into the little logarithmic Bloch space defined as the subspace of consisting of the functions such that .
1. Introduction
Let and be Banach spaces of analytic functions on a domain in , an analytic function on , and let be an analytic function mapping into itself. The weighted composition operator with symbols and from to is the operator with range in defined by where denotes the multiplication operator with symbol , and denotes the composition operator with symbol .
Let be the set of analytic functions on . For the Hardy space is the space consisting of all such that Let denote the space of all for which .
The Bloch space on the open unit disk is the Banach space consisting of the analytic functions on such that The Bloch norm is given by . Using the Schwarz-Pick lemma, it is easy to see that the Hardy space is contained in and . The inclusion is proper, as the function shows.
The little Bloch space, denoted by , is defined as the set of the analytic functions on such that . It is well known that is a closed separable subspace of . The interested reader is referred to [1] for more information on the Bloch space.
The logarithmic Bloch space is defined as the set of functions on such that It is a Banach space under the norm defined by . Clearly, if , then , so is a subset of the little Bloch space.
The little logarithmic Bloch space, denoted by , is defined as the subspace of whose elements satisfy the condition
The space arises in connection to the study of certain operators with symbol. Arazy [2] proved that the multiplication operator is bounded on the Bloch space if and only if . In [3], Brown and Shields extended this result to the little Bloch space.
The space also arises in the study of Hankel operators on the Bergman one space. The Bergman space on is defined to be the set of analytic functions on whose modulus is Lebesgue integrable over .
The Hankel operator on is defined as , where is the identity operator, and is the standard Bergman projection from into . In [4], Attele showed that is bounded on if and only if .
The study of operators with symbol on the logarithmic Bloch space began with the characterizations of the bounded and the compact composition operators given in [5] by Yoneda. In [6], Galanopoulos extended these results to the weighted composition operators on . He also introduced a class of Banach spaces () closely related to and studied the Taylor coefficients of the functions in . In [7], Ye characterized the bounded and the compact weighted composition operators on the little logarithmic Bloch space . See [8, 9] for the study of the weighted composition operators on Bloch spaces and weighted Bloch spaces.
In this paper, we characterize the bounded and the compact weighted composition operators from the Hardy space (with ) to the logarithmic Bloch space as well as to its subspace . The paper consists of five sections. Specifically, in Section 2, we consider the bounded weighted composition operators mapping into and . In particular, we show that where the notation stands for , for some positive constants and . In Section 3, we look at the issue of compactness of such operators.
In Section 4, we characterize the bounded and the compact weighted composition operators mapping into in the case when . Finally, in Section 5, we study the operators mapping into .
2. Boundedness of from into and
In the following theorem, we give two characterizations of boundedness when the operator maps into .
Theorem 2.1. Let be an analytic function on , and let be an analytic self-map of . The following statements are equivalent. (a)The operator is bounded.(b)(c) and .
Proof. (a) (b). For , the function is bounded and . Therefore, if is bounded, then .
(b) (c) Let be an upper bound for , . Taking , we deduce that , so .
For and , define the sets
Fix an integer , and . For , by the product rule, we have
In the proof of Theorem 2 of [10], it was shown that
For , there exists such that . So
From (2.2) and (2.4), we deduce that is finite.
(c) (a) Let with and pick . Then
and, since ,
Thus, by (2.5) and (2.6), we deduce that , completing the proof.
We next turn our attention to the weighted composition operators mapping into the little logarithmic Bloch space.
Theorem 2.2. Let be an analytic function on , and let be an analytic self-map of . The following statements are equivalent. (a)The operator is bounded.(b)For each integer and (c) and .
Proof. (a) (b) is proved as in the case of the operator mapping into .
(b) (c) Suppose that (b) holds. If for some integer , then for all , we have
If is properly contained in , then for , arguing as in the proof of (b) (c) in Theorem 2.1, there exists such that , so that
where and .
By the assumption of , we have
as . On the other hand, since , as . Therefore,
(c) (a) Assume that (c) holds. To prove that is bounded, it suffices to show that for each , since the boundedness of the operator can be shown as in the proof of Theorem 2.1. Since , for and , we have
as . On the other hand, by (2.6),
as . Hence,
as , completing the proof.
In Section 3, we shall prove that all bounded weighted composition operators from into are compact.
3. Compactness of from into and
The following criterion for compactness follows by a standard argument similar, for example, to that outlined in Proposition 3.11 of [11].
Lemma 3.1. Let be analytic on , an analytic self-map of , . The operator is compact if and only if for any bounded sequence in which converges to zero uniformly on compact subsets of , we have as .
The proof of the following result is similar to the proof of Lemma 1 of [12]. Hence we omit it.
Lemma 3.2. A closed set K in is compact if and only if it is bounded and satisfies the following:
We now introduce two one-parameter families of functions which will be used to characterize the compactness of the operators under consideration.
Fix and, for , define
Theorem 3.3. Let be analytic on , an analytic self-map of , and assume that is bounded. Then the following conditions are equivalent: (a) is compact.(b) and (c) and (d) and
Proof. We begin by showing that (a), (b), and (c) are equivalent.
Suppose that is compact and that is a sequence in such that as . Since the sequences and are bounded in and converge to 0 uniformly on compact subsets of , by Lemma 3.1, it follows that and as .
Assume that (b) holds. Fix . A straightforward calculation shows that
Eliminating , we obtain that
Thus, for ,
Taking the limit as , we deduce that
On the other hand, using (3.3), we obtain that
Taking the limit as , we obtain that
proving (c).
Suppose that (c) holds. Let be a bounded sequence in converging to 0 uniformly on compact subsets of . Set . Then, given , there exists such that for ,
Then, for , noting that , we obtain that
Thus, for , we have
On the other hand, for ,
Thus, by the uniform convergence to 0 of and on compact sets, we see that (3.11) holds also in this case for sufficiently large. Hence, for sufficiently large. Since , we deduce that as . Therefore, is compact.
(a) (d) Suppose that is compact. Since the sequence defined by , is bounded in and converges to 0 uniformly on compact subsets, by Lemma 3.1, it follows that as . The second condition in (d) follows from the equivalence of (a) and (c).
(d) (c) Fix and choose such that for all and for .
For , there exists such that . Using the product rule, we may write the following
so that
The left-hand side of (3.14) can be written as
which, by (2.3), is bounded below by
Thus, from (3.14), we deduce that
proving (c). The equivalence of statements (a)–(d) is now established.
Next, we characterize the compact weighted composition operators from into .
Theorem 3.4. Let be an analytic function on , and let be an analytic self-map of . The following statements are equivalent. (a)The operator is compact.(b)For each integer , and .(c) and
Proof. (a) (b) is immediate.
(b) (c) It suffices to show that if (b) holds, then
as . Fix and let be an integer such that for all . Observe that, since for ,
and, by assumption, the functions and are in , we have
Therefore, there is , such that for ,
Thus, if , and , then
On the other hand, if , then there exists such that , so, as shown in the proof of (d) implies (c) of Theorem 3.3, we have
as . Since is arbitrary, the result follows.
(c) (a) Let be a bounded sequence in converging to 0 uniformly on compact subsets, and let . We wish to show that and as . As shown in the proof of (c) implies (a) of Theorem 3.3, for and ,
as . Thus, . The convergence to 0 of is proved as in the case of the operator mapping into .
From Theorems 2.2 and 3.4, we obtain the following result.
Corollary 3.5. Let be an analytic function on , and let be an analytic self-map of . The following statements are equivalent. (a)The operator is bounded.(b)The operator is compact.(c)For each integer , and (d) and .
In the special cases when is the identity, respectively, is identically 1, we obtain the following results.
Corollary 3.6. Let be analytic on . The following statements are equivalent: (a) is bounded,(b) is bounded,(c) is identically 0.
Corollary 3.7. Let be an analytic self map of . Then the following statements are equivalent: (a) is bounded,(b),(c).
Corollary 3.8. Let be an analytic self map of . Then the following statements are equivalent: (a) is compact,(b),(c).
Corollary 3.9. Let be an analytic self map of . Then the following statements are equivalent: (a) is bounded,(b) is compact,(c) and ,(d).
4. from into
We begin this section with two useful point evaluation estimates that will be needed to prove our results.
Lemma 4.1 (See [11]). Let . Then for any , ,
Lemma 4.2 (See [13]). Let . Then for any , ,
Fix and . For , define the functions Then and the norms and are bounded by constants only dependent of . In addition, a straightforward calculation shows that
We use these two families of functions to characterize the bounded and the compact weighted composition operators from to .
Theorem 4.3. Let , analytic on and let be an analytic self-map of . Then the following conditions are equivalent: (a) is bounded,(b), and (c)
Proof. (a) (b) Assume that is bounded. Then and for each ,
for some constant , so and are finite.
(b) (c) Suppose that , and the quantities and are finite. From (4.4), for , we have
whence
Moreover,
Therefore, subtracting (4.7) from (4.9) and taking the modulus, we obtain
which yields that
Consequently, from (4.8), we deduce that
Taking the supremum over all , we see that is finite.
Fix . If , then from (4.11) we have
On the other hand, since , if , then,
Taking the supremum over all , it follows that is finite as well.
(c) (a) Suppose that and are finite. For arbitrary in and , by Lemmas 4.1 and 4.2, we have
Taking the supremum over all and applying Lemma 4.1, we obtain that
The boundedness of the operator follows by taking the supremum over all .
Theorem 4.4. Let , analytic on , an analytic self-map of , and assume that is bounded. Then the following conditions are equivalent: (a) is compact,(b) and (c)
Proof. Suppose that is compact. Let be a sequence in such that . Observe that the sequences and are bounded in and converge to 0 uniformly on compact subsets of . By Lemma 3.1, it follows that and as , proving (b).
Assume that the limits in (b) are 0. Using the inequality (4.10), we obtain that
as . Moreover, using (4.8), we deduce that
as .
Suppose that (c) holds. Let be a bounded sequence in converging to 0 uniformly on compact subsets of . Set . Then, given , there exists such that
for . Therefore, again by Lemmas 4.1 and 4.2, and (4.20), for , we have
On the other hand, for , by the uniform convergence to 0 of and on compact sets, we have
as . Since , we conclude that as . Consequently, by Lemma 3.1, the operator is compact.
As a consequence of Theorems 4.3 and 4.4, noting that for , we obtain the following characterizations of the bounded and the compact composition operators from into .
Corollary 4.5. Let be an analytic self-map of , and . The following statements are equivalent: (a) is bounded,(b)(c)(d)
Corollary 4.6. Let be an analytic self-map of , and . If is bounded, then the following statements are equivalent: (a) is compact,(b)(c)(d)
5. from into
In this section, we characterize the boundedness and the compactness of the weighted composition operators . Arguing as in the proof of Lemma 4.2 of [14], we easily get the following two lemmas.
Lemma 5.1. Suppose that is an analytic self-map of the unit disk, analytic on , and . Then, if and only if and
Lemma 5.2. Suppose that is an analytic self-map of the unit disk, analytic on , and . Then, if and only if and
The proof of the following theorem is a straightforward adaptation of the proof of Theorem 4.4 in [14]. We omit the details.
Theorem 5.3. Let be an analytic self-map of the unit disk, , and . Then, the operator is bounded if and only if is bounded, , and
We are now ready to prove the main result of this section.
Theorem 5.4. Suppose that is an analytic self-map of the unit disk, , and . Then, is compact if and only if
Proof. First, we assume that is compact, and hence bounded. By Theorem 5.3, it follows that and
Since by assumption is compact, from Theorem 4.4, we know that
Applying Lemmas 5.1 and 5.2 yields the desired result.
Conversely, suppose that conditions (5.6) hold. From the proof of Theorem 4.3, we have that
Taking the supremum over all such that , then letting , we obtain that
from which, by Lemma 3.2, we deduce that the operator is compact.
From Theorems 5.3 and 5.4, we obtain the following corollary.
Corollary 5.5. Suppose that is an analytic self-map of the unit disk and . Then, the following statements hold. (i) is bounded if and only if is bounded and .(ii) is compact if and only if
Acknowledgments
The authors wish to express their gratitude to the referees for their careful reading of the paper and for their helpful suggestions. S. Li is supported by the Guangdong Natural Science Foundation (no. 10451401501004305), The National Natural Science Foundation of China (no. 11001107), and the Foundation for Distinguished Young Talents in Higher Education of Guangdong, China (no. LYM11117).