Abstract
Let be a weight function such that is in the class of Békollé weights, a normal weight function, a holomorphic map on , and a holomorphic self-map on . In this paper, we give upper and lower bounds for essential norm of weighted composition operator acting from weighted Bergman spaces to Bloch-type spaces
1. Introduction and Preliminaries
Let be the open unit disk in the complex plane and the space of all holomorphic functions on . For a and a holomorphic self-map of , the weighted composition operator is a linear operator on defined by , . Several authors have studied these weighted composition operators on different spaces of analytic functions, see for example, [1–12] and the related references therein. Recently, Stevic and Sharma [12] characterized boundness and compactness of acting from weighted Bergman spaces to Bloch-type spaces Motivated by results in [12], in this paper, we give upper and lower bounds for essential norm of a weighted composition operator acting between these spaces.
A continuous function is called a weight or a weight function. We extend it on by defining for all . For and a weight, denoted by the weighted Bergman space consisting of holomorphic functions on such that where is the normalized area measure in If , then is the well-known weighted Bergman space .
For and , the class of Békollé weights consists of weights with the property that there exists a constant such that
Here, is the probability measure on is the Carleson square in , and is the conjugate exponent of , that is, Recall that a weight is normal if there exist positive numbers and , , and such that
It is well known that classical weights are normal weights.
For a normal weight , the weighted Bloch-type space on is the space of all functions in such that . The space is a Banach space with the norm
Throughout this paper, is fixed, , , and . We also assume that , a weight function such that belongs to , , and be the reproducing kernel of the Bergman space Constants are denoted by ; they are positive and not necessarily the same at each occurrence. The notation means that is less than or equal to a constant multiple of , and means that a constant multiple of is greater than or equal to . When as well as , then we write .
2. Essential Norm of
In this section, we give upper and lower bounds for the essential norm of weighted composition operator
Recall that if and are two Banach spaces, then the essential norm of a bounded linear operator is defined as where denotes the usual operator norm. Clearly, is compact if and only if
Theorem 1. Let , and be a holomorphic self-map of such that . Assume that is bounded. Then, where .
To prove the main result of this paper, we need the following lemmas. The next two lemmas can be found in [12].
Lemma 2. The following estimates hold: (1)For each we have that(2)For each we have thatwhere
Lemma 3. For each the function defined as is in Moreover, and converges to zero, uniformly on compact subsets of as
The next lemma can be found in [8].
Lemma 4. Let . If a bounded sequence in converges to uniformly on compact subsets of then also converges to weakly in .
Proof of Theorem 1. Lower bound. Let be a sequence in such that as and
For each let be defined as Then, and Consider the family of functions defined as where is defined as in (9). Also, by Lemma 3, and converges to zero uniformly on compact subsets of as By Lemma 4, converges to zero weakly in Thus, for any compact operator , we have that as Moreover,
Also, and
Now
Therefore, from (12) and (13), we have that
Using the facts thatand
we have that
Again, let be a sequence in such that as and
For each let be defined as
Then, by Lemma 3, and converges to zero uniformly on compact subsets of as By Lemma 4, converges to zero weakly in Thus, for any compact operator , we have that as Moreover, and
Thus, using (18), we have that
Combining (15) and (19), we have that
Upper bound. Let be such that . Let
where
Then, by Theorem 6.1 in [3], we have that is compact. Since is bounded, so is compact. Thus, for fixed in we have that
where is the identity operator on . Now
Let and Let be the line segment from to . Then, where . Thus, by Lemma 2, we have that
Again, let Then, by Lemma 2, we have that
Thus,
Thus, from (24) and (26), we have that
Similarly, we can show that
Also, by Lemma 2 and equation (26), we have that
Since is bounded, so
for each By taking, respectively, and and using the fact that we have that
Combining (23) and (27)-(29), we have that
Using (28), we have that
Using (31), (32), and (33), we have that
as The last term in the right-hand side of (22) is dominated by
which is further dominated by a constant multiple of
Letting in (36), we get
Using (34) and (37) in (22), we have that
Finally, letting , then we get
Combining (20) and (39), we get the desired result.
Corollary 5. Let , , and be a holomorphic self-map of such that . Let is bounded. Then, is compact if and only if the following conditions are satisfied: (1)(2)
Data Availability
The data used to support the findings of this study are included within the article.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Acknowledgments
We would like to thank the anonymous referee for pointing several errors in the earlier version of the paper. The second author is thankful to DST(SERB) for the project grant (Grant No. MTR/2018/000479) under MATRICS scheme.