/ / Article

Research Article | Open Access

Volume 2009 |Article ID 290978 | https://doi.org/10.1155/2009/290978

Xiangling Zhu, "Weighted Composition Operators from Spaces to Spaces", Abstract and Applied Analysis, vol. 2009, Article ID 290978, 14 pages, 2009. https://doi.org/10.1155/2009/290978

# Weighted Composition Operators from Spaces to Spaces

Academic Editor: Stevo Stevic
Received25 Jan 2009
Accepted05 Feb 2009
Published29 Apr 2009

#### Abstract

Let denote the space of all holomorphic functions on the unit ball . Let and be a holomorphic self-map of . In this paper, we investigate the boundedness and compactness of the weighted composition operator from the general function space to the weighted-type space in the unit ball.

#### 1. Introduction

Let be the unit ball of . Let and let be points in , we writeThus . Let be the normalized Lebesgue measure of , that is, Let be the space of all holomorphic functions on . For , letrepresent the radial derivative of . For , , let denote the Möbius transformation of taking to , which is defined bywhere is the orthogonal projection of onto the one dimensional subspace of spanned by , and .

A positive continuous function on is called normal, if there exist positive numbers and and such that (see ).

Let be a normal function on . An is said to belong to the weighted-type space , ifwhere is normal on (see, e.g., ). is a Banach space with the norm . We denote by the subspace of consisting of those such thatWhen , the induced spaces and become the (classical) weighted space and , respectively.

For , recall that the -Bloch space is the space of all for which (see )Under the norm , is a Banach space. When , we get the classical Bloch space . For more information of the Bloch space and the -Bloch space (see, e.g.,  and the references therein).

For , the weighted Bergman space is the space of all holomorphic functions on for whichThe Hardy space on the unit ball is defined bywhereand is the normalized surface measure on

For , the space is defined by (see )Here denotes the invariant gradient of , and is the invariant Green function defined by , where

Let , . A function is said to belong to (see ) if is called the general function space since we can get many function spaces, such as Hardy space, Bergman space, Bloch space, space, if we take special parameters of . For example, , , and . If , then is the space of constant functions. For the setting of the unit disk, see .

Let and be a holomorphic self-map of . For , the weighted composition operator is defined byThe weighted composition operator is the generalization of a multiplication operator and a composition operator, which is defined by The main subject in the study of composition operators is to describe operator theoretic properties of in terms of function theoretic properties of . The book  is a good reference for the theory of composition operators. Recall that a linear operator is said to be bounded if the image of a bounded set is a bounded set, while a linear operator is compact if it takes bounded sets to sets with compact closure.

In the setting of the unit ball, we studied the boundedness and compactness of the weighted composition operator between Bergman-type spaces and in . More general results can be found in . Some necessary and sufficient conditions for the weighted composition operator to be bounded or compact between the Bloch space and are given in . In the setting of the unit polydisk , some necessary and sufficient conditions for a weighted composition operator to be bounded or compact between the Bloch space and are given in [18, 19] (see, also  for the case of composition operators). Some related results can be found, for example, in [2, 3, 6, 2131].

In the present paper, we are mainly concerned about the boundedness and compactness of the weighted composition operator from to the space . Some necessary and sufficient conditions for the weighted composition operator to be bounded and compact are given.

Constants are denoted by in this paper, they are positive and may differ from one occurrence to the other. means that there is a positive constant such that . Moreover, if both and hold, then one says that .

#### 2. Main Results and Proofs

In order to prove our results, we need some auxiliary results which are incorporated in the following lemmas.

Lemma 2.1 (see ). For , , , if , then and

The following lemma can be found, for example, in .

Lemma 2.2. If , then for some independent of .

Lemma 2.3. Assume that is normal. A closed set inis compact if and only if it is bounded and satisfies

The proof of Lemma 2.3 is similar to the proof of Lemma 1 of . We omit the details.

Lemma 2.4. Assume that, is a holomorphic self-map of, is a normal function on , , , . Then is compact if and only if is bounded and for any bounded sequenceinwhich converges to zero uniformly on compact subsets ofas, one has as

Lemma 2.4 follows by standard arguments similar to those outlined in [14, Proposition 3.11] (see, also, the corresponding lemmas in [20, 34, 35]). We omit the details.

Note that when , the function in is indeed Lipschitz continuous by Lemmas 2.1 and 2.2. By Arzela-Ascoli theorem, similarly to the proof of Lemma 3.6 of , we have the following result.

Lemma 2.5. Let, , and . Let be a bounded sequence in which converges to 0 uniformly on compact subsets of , then

#### 2.1. Case

In this subsection, we consider the case . Our first result is the following theorem.

Theorem 2.6. Assume that, is a holomorphic self-map of, is a normal function on, , , , . Thenis bounded if and only ifMoreover, when is bounded, the following relationshipholds.

Proof. Assume that (2.5) holds. For any , by Lemmas 2.1 and 2.2,Therefore, (2.5) implies that is bounded.
Conversely, suppose that is bounded. For , letIt is easy to see thatIf , then obviously belongs to . From , we know that ; moreover, there is a positive constant such that . Therefore,for every , from which we getthat is, (2.5) follows. From (2.7) and (2.11), we see that (2.6) holds. The proof of this theorem is finished.

Theorem 2.7. Assume that , is a holomorphic self-map of , is a normal function on , , , , . Then is compact if and only if and

Proof. First assume that and the condition in (2.12) hold. In order to prove that is compact, according to Lemma 2.4 it suffices to show that if is bounded in and converges to uniformly on compact subsets of as , then as .
Now assume that is a sequence in such that and uniformly on compact subsets of as From (2.12), we have that for every , there is a constant such thatwhen . By Lemmas 2.1 and 2.2, we havewhere . Using the fact that uniformly on compact subsets of as , we obtainTherefore,Since is an arbitrary positive number, we have that and, therefore, is compact by Lemma 2.4.
Conversely, suppose is compact. Let be a sequence in such that as (if such a sequence does not exist that condition (2.12) is vacuously satisfied). SetFrom the proof of Theorem 2.6, we see that for every moreover, . Beside this, converges to 0 uniformly on compact subsets of as . Since is compact, by Lemma 2.4 we have that as Thusas , from which we obtain (2.12), finishing the proof of the theorem.

Theorem 2.8. Assume that, is a holomorphic self-map of, is a normal function on, , , , . Thenis compact if and only if

Proof. Suppose that (2.19) holds. From Lemma 2.3, we see that is compact if and only ifOn the other hand, by Lemmas 2.1 and 2.2, we have thatTaking the supremum in (2.21) over the the unit ball in the space then letting and applying (2.19) the result follows.
Conversely, suppose that is compact. Then is compact and hence by Theorem 2.7,In addition, is bounded. Taking , then employing the boundedness of , we getBy (2.22), for every , there exists a ,when By (2.23), for above chosen , there exists ,when .
Therefore, when and , we have thatIf and , we obtainCombing (2.26) with (2.27), we get (2.19), as desired.

#### 2.2. Case

Theorem 2.9. Assume that, is a holomorphic self-map of, is a normal function on, , , , . Thenis bounded if and only ifMoreover, the following relationshipholds.

Proof. Suppose that (2.28) holds. For any , by Lemmas 2.1 and 2.2, we haveTherefore, (2.28) implies that is a bounded operator from to .
Conversely, suppose that is bounded. For , letThen by  we see that ; moreover, there is a positive constant such that . Hencefor every , that is, we getFrom (2.30) and (2.33), (2.29) follows. The proof is finished.

Theorem 2.10. Assume that, is a holomorphic self-map of, is a normal function on, , , , . Thenis compact if and only ifand

Proof. Assume that and (2.34) hold, and that is bounded in and converges to 0 uniformly on compact subsets of as . We have that, for every , there is a such thatwhen .
In additionSimilar to the proof of Theorem 2.7, we obtain as Therefore, is compact by Lemma 2.4.
Conversely, suppose that is compact. Assume that is a sequence in such that as (if such a sequence does not exist that condition (2.34) is vacuously satisfied). SetAfter some calculations or from , we see that for some positive independent of and converges to 0 uniformly on compact subsets of as . Since is compact, by Lemma 2.4, we have as . Thusas , which is equivalent to (2.34). The proof of this theorem is finished.

Similarly to the proof of Theorem 2.8, we can obtain the following results. We omit the details of the proof.

Theorem 2.11. Assume that, is a holomorphic self-map of, is a normal function on, , , , . Thenis compact if and only if

#### 2.3. Case

Theorem 2.12. Assume that, is a holomorphic self-map of, is a normal function on, , , , . Then the following statements are equivalent:(i) is bounded;(ii) is compact;(iii).

Proof. (ii)(i) This implication is obvious.
(i)(iii) Taking , then using the boundedness of the implication follows.
(iii)(ii) Suppose that . For an , by Lemma 2.1, we see that is continuous on the closed unit ball and so is bounded in . Therefore,From the above inequality, we see that is bounded. Let be any bounded sequence in and uniformly on compact subsets of as . Employing Lemma 2.5, we haveas . Then the result follows from Lemma 2.3.

Theorem 2.13. Assume that, is a holomorphic self-map of, is a normal function on, , , , . Then the following statements are equivalent:(i) is bounded;(ii) is compact;(iii).

Proof. (ii)(i) It is obvious.
(i)(iii) Taking , then using the boundedness of , we get the desired result.
(iii)(ii) Suppose that . For any with , we havefrom which we obtainUsing Lemma 2.3, we see that is compact, as desired.

#### Acknowledgment

The author of this paper is supported by Educational Commission of Guangdong Province, China.

1. A. L. Shields and D. L. Williams, “Bonded projections, duality, and multipliers in spaces of analytic functions,” Transactions of the American Mathematical Society, vol. 162, pp. 287–302, 1971. View at: Publisher Site | Google Scholar | MathSciNet
2. X. Fu and X. Zhu, “Weighted composition operators on some weighted spaces in the unit ball,” Abstract and Applied Analysis, vol. 2008, Article ID 605807, 8 pages, 2008. View at: Publisher Site | Google Scholar | MathSciNet
3. S. Stević, “Norm of weighted composition operators from Bloch space to ${H}_{\mu }^{\infty }$ on the unit ball,” Ars Combinatoria, vol. 88, pp. 125–127, 2008. View at: Google Scholar | MathSciNet
4. S. Stević, “On a new integral-type operator from the weighted Bergman space to the Bloch-type space on the unit ball,” Discrete Dynamics in Nature and Society, vol. 2008, Article ID 154263, 14 pages, 2008. View at: Publisher Site | Google Scholar | MathSciNet
5. K. Zhu, Spaces of Holomorphic Functions in the Unit Ball, vol. 226 of Graduate Texts in Mathematics, Springer, New York, NY, USA, 2005. View at: Zentralblatt MATH | MathSciNet
6. D. D. Clahane and S. Stević, “Norm equivalence and composition operators between Bloch/Lipschitz spaces of the ball,” Journal of Inequalities and Applications, vol. 2006, Article ID 61018, 11 pages, 2006.
7. S. Li and S. Stević, “Some characterizations of the Besov space and the $\alpha$-Bloch space,” Journal of Mathematical Analysis and Applications, vol. 346, no. 1, pp. 262–273, 2008. View at: Publisher Site | Google Scholar | MathSciNet
8. S. Li and H. Wulan, “Characterizations of $\alpha$-Bloch spaces on the unit ball,” Journal of Mathematical Analysis and Applications, vol. 343, no. 1, pp. 58–63, 2008. View at: Publisher Site | Google Scholar | MathSciNet
9. C. Ouyang, W. Yang, and R. Zhao, “Möbius invariant ${Q}_{p}$ spaces associated with the Green's function on the unit ball of ${C}^{n}$,” Pacific Journal of Mathematics, vol. 182, no. 1, pp. 69–99, 1998.
10. S. Li, “Riemann-Stieltjes operators from $F\left(p,q,s\right)$ spaces to $\alpha$-Bloch spaces on the unit ball,” Journal of Inequalities and Applications, vol. 2006, Article ID 27874, 14 pages, 2006.
11. S. Li and S. Stević, “Compactness of Riemann-Stieltjes operators between $F\left(p,q,s\right)$ spaces and $\alpha$-Bloch spaces,” Publicationes Mathematicae Debrecen, vol. 72, no. 1-2, pp. 111–128, 2008. View at: Google Scholar | MathSciNet
12. X. J. Zhang, “Multipliers on some holomorphic function spaces,” Chinese Annals of Mathematics. Series A, vol. 26, no. 4, pp. 477–486, 2005. View at: Google Scholar | MathSciNet
13. R. Zhao, “On a general family of function spaces,” Annales Academiæ Scientiarum Fennicæ. Series A I. Mathematica. Dissertationes, no. 105, p. 56, 1996.
14. C. C. Cowen and B. D. MacCluer, Composition Operators on Spaces of Analytic Functions, Studies in Advanced Mathematics, CRC Press, Boca Raton, Fla, USA, 1995. View at: Zentralblatt MATH | MathSciNet
15. X. Zhu, “Weighted composition operators between ${H}^{\infty }$ and Bergman type spaces,” Communications of the Korean Mathematical Society, vol. 21, no. 4, pp. 719–727, 2006. View at: Google Scholar | MathSciNet
16. S. Stević, “Weighted composition operators between mixed norm spaces and ${H}_{\alpha }^{\infty }$ spaces in the unit ball,” Journal of Inequalities and Applications, vol. 2007, Article ID 28629, 9 pages, 2007.
17. S. Li and S. Stević, “Weighted composition operators between ${H}^{\infty }$ and $\alpha$-Bloch spaces in the unit ball,” Taiwanese Journal of Mathematics, vol. 12, no. 7, pp. 1625–1639, 2008. View at: Google Scholar | MathSciNet
18. S. Li and S. Stević, “Weighted composition operators from $\alpha$-Bloch space to ${H}^{\infty }$ on the polydisc,” Numerical Functional Analysis and Optimization, vol. 28, no. 7-8, pp. 911–925, 2007.
19. S. Li and S. Stević, “Weighted composition operators from ${H}^{\infty }$ to the Bloch space on the polydisc,” Abstract and Applied Analysis, vol. 2007, Article ID 48478, 13 pages, 2007.
20. S. Stević, “Composition operators between ${H}^{\infty }$ and $\alpha$-Bloch spaces on the polydisc,” Zeitschrift für Analysis und ihre Anwendungen, vol. 25, no. 4, pp. 457–466, 2006.
21. L. Jiang and C. Ouyang, “Cyclic behavior of linear fractional composition operators in the unit ball of ${ℂ}^{n}$,” Journal of Mathematical Analysis and Applications, vol. 341, no. 1, pp. 601–612, 2008.
22. S. Li and S. Stević, “Composition followed by differentiation from mixed norm spaces to $\alpha$-Bloch spaces,” Matematicheskij Sbornik, vol. 199, no. 12, pp. 117–128, 2008. View at: Google Scholar
23. S. Li and S. Stević, “Products of Volterra type operator and composition operator from ${H}^{\infty }$ and Bloch spaces to Zygmund spaces,” Journal of Mathematical Analysis and Applications, vol. 345, no. 1, pp. 40–52, 2008.
24. S. Li and S. Stević, “Weighted composition operators from Zygmund spaces into Bloch spaces,” Applied Mathematics and Computation, vol. 206, no. 2, pp. 825–831, 2008. View at: Publisher Site | Google Scholar
25. L. Luo and S.-I. Ueki, “Weighted composition operators between weighted Bergman spaces and Hardy spaces on the unit ball of ${ℂ}^{n}$,” Journal of Mathematical Analysis and Applications, vol. 326, no. 1, pp. 88–100, 2007.
26. S. Ohno, K. Stroethoff, and R. Zhao, “Weighted composition operators between Bloch-type spaces,” The Rocky Mountain Journal of Mathematics, vol. 33, no. 1, pp. 191–215, 2003.
27. S. Stević, “Essential norms of weighted composition operators from the $\alpha$-Bloch space to a weighted-type space on the unit ball,” Abstract and Applied Analysis, vol. 2008, Article ID 279691, 11 pages, 2008. View at: Publisher Site | Google Scholar | MathSciNet
28. S. Stević, “Norms of some operators from Bergman spaces to weighted and Bloch-type spaces,” Utilitas Mathematica, vol. 76, pp. 59–64, 2008. View at: Google Scholar | MathSciNet
29. S.-I. Ueki and L. Luo, “Compact weighted composition operators and multiplication operators between Hardy spaces,” Abstract and Applied Analysis, vol. 2008, Article ID 196498, 12 pages, 2008. View at: Publisher Site | Google Scholar | MathSciNet
30. S. Ye, “Weighted composition operator between the little $\alpha$-Bloch spaces and the logarithmic Bloch,” Journal of Computational Analysis and Applications, vol. 10, no. 2, pp. 243–252, 2008.
31. X. Zhu, “Generalized weighted composition operators from Bloch type spaces to weighted Bergman spaces,” Indian Journal of Mathematics, vol. 49, no. 2, pp. 139–150, 2007.
32. S. Stević, “On an integral operator on the unit ball in ${ℂ}^{n}$,” Journal of Inequalities and Applications, no. 1, pp. 81–88, 2005.
33. K. Madigan and A. Matheson, “Compact composition operators on the Bloch space,” Transactions of the American Mathematical Society, vol. 347, no. 7, pp. 2679–2687, 1995.
34. S. Li and S. Stević, “Riemann-Stieltjes-type integral operators on the unit ball in ${ℂ}^{n}$,” Complex Variables and Elliptic Equations, vol. 52, no. 6, pp. 495–517, 2007.
35. S. Stević, “Boundedness and compactness of an integral operator in a mixed norm space on the polydisk,” Sibirskiĭ Matematicheskiĭ Zhurnal, vol. 48, no. 3, pp. 694–706, 2007. View at: Google Scholar | MathSciNet