Abstract and Applied Analysis

Volume 2012, Article ID 732709, 7 pages

http://dx.doi.org/10.1155/2012/732709

## Compact Composition Operators between Bloch Type Spaces in the Polydisk

^{1}Department of Mathematics, Tianjin University, Tianjin 300072, China^{2}Department of Mathematics, Tianjin Polytechnic University, Tianjin 300387, China

Received 11 September 2012; Accepted 9 October 2012

Academic Editor: Jinhu Lü

Copyright © 2012 Zhong-Shan Fang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

Wulan et al. (2009), Wulan et al. characterized the compactness of composition operators on the Bloch space in the unit disk by the th power of the induced analytic function. This paper will generalize the result to the Bloch type space in the polydisk.

#### 1. Introduction

Let be the polydisk of with boundary . The class of all holomorphic functions on the domain will be denoted by . Let be a holomorphic self-map of . The composition operator is defined as follows: for any and .

The study of the composition operator dates back to the late 60s. From then on, the boundedness and compactness of composition operators between several spaces of holomorphic functions have been studied extensively. We refer the interested readers to the books in [1–3]. Recently, there has been lot of work for Bloch type spaces. For example, see [4–9], as well as the related references therein. There are still many unsolved problems of interest to numerous mathematicians.

For , the Bloch type space consists of those such that with this norm, it becomes a Banach space. When , it is the classical Bloch space.

In [10], Wulan et al. obtained a new result about the compactness of the composition operators on the Bloch space in the unit disk. We state it as follows.

Theorem 1.1. *Let be an analytic self-map of the unit disk . Then is compact on the Bloch space if and only if
**
where here means the th power of .*

Along with the further research, it is natural to consider the higher-dimensional case. The goal of this paper is to extend the above result in the unit disk to the polydisk.

Throughout this paper, let be the set of the positive integers, and .

#### 2. Some Lemmas

In this section, we present some lemmas which will be used in the proofs of our main results in the next section.

The proof of the following lemma can be found in the proof of Theorem 1.1 in [8], see also Lemma 2.2 in [7].

Lemma 2.1. *Let , and . And let . Then for , is decreasing on , and
*

Lemma 2.2 (see Corollary 3, [6]). *Let and . Suppose that is a holomorphic self-map of . Then is compact if and only if*(1) *;*(2) *. *

Lemma 2.3 (see Corollary 4, [6]). *Let and . Suppose that is a holomorphic self-map of . Then is compact if and only if*(3) * is bounded;*(4) *. *

The following lemma is the crucial criterion for the compactness of , whose proof is an easy modification of the proof of Proposition 3.11 in [1].

Lemma 2.4. *Assume that is a holomorphic self-map of . Then is compact if and only if is bounded and for any bounded sequence in which converges to zero uniformly on compact subsets of , we have
**
as .*

#### 3. Main Theorems

In [6, 8], the authors characterized the boundedness and compactness of composition operators between different Bloch type spaces in the polydisk. In this section, we will give some new results about the old problems.

Theorem 3.1. *Let and . Suppose that is a holomorphic self-map of . Then is compact if and only if*(5) *;
*(6) *;
*(7) *. *

*Proof. *For any , set
For the proof of the sufficiency, by Lemma 2.2, we only have to show that for every . There are two cases to consider.*Case **1.* If with , we have
Therefore, for any , is equivalent to .*Case **2.* If with , then for each , let
where .

For each fixed and every , there exists a with such that
whenever .

Since as , we may choose sufficiently large such that . If , then
thus
There exists with such that
Let . Then
So we have
Letting and by Lemma 2.1, we have
From which and (6), we know . Combining the two cases, thus (2) holds. Note that conditions (5) and (1) are the same, it follows from Lemma 2.2 that is compact.

Now we turn to prove the necessity. The result (5) follows by Lemma 2.2. Using Lemma 2.1, we see that
for any .

For any , we consider the test functions . It is clear that and uniformly on compact subsets of as . If is compact, then
This shows that (6) holds.

For any , from the discussion of Case 1 in the proof of the sufficiency, it follows that . And this fact implies that condition (7) holds. Now the proof of the theorem is completed.

*Remark 3.2. *For , if , it is well known that is always bounded on the Bloch space, which implies that (5) is true. Note that in this case, conditions (6) and (7) are the same. Thus, we immediately obtain the result on the Bloch space in [10] by Theorem 3.1.

Theorem 3.3. *Let and . Suppose that is a holomorphic self-map of . Then is compact if and only if*(8) * is bounded;*(9) *. *

*Proof. *Suppose first that is compact. It is clear that is bounded. Taking the test functions , and using the same arguments as in the proofs of Theorem 3.1, we obtain
for any .

This proves the necessity.

Conversely, by Lemma 2.4, it suffices to show that (4) holds. In fact, for any with , there exists some positive number close enough to , such that the set is empty. Without loss of generality, we may assume that
For any , and , let
where .

Therefore, we have
This along with condition (9) yields that
for any .

Combining the results of the two cases for and , we get (4). By Lemma 2.3, we know that is compact. This completes the proof of the theorem.

#### Acknowledgment

The authors would like to thank the referees for the useful comments and suggestions which improved the presentation of this paper.

#### References

- C. C. Cowen and B. D. MacCluer,
*Composition Operators on Spaces of Analytic Functions*, CRC Press, Boca Raton, Fla, USA, 1994. View at Zentralblatt MATH - J. H. Shapiro,
*Composition Operators and Classical Function Theory*, Springer, New York, NY, USA, 1993. - K. H. Zhu,
*Operator Theory in Function Spaces*, vol. 139, Marcel Dekker, New York, NY, USA, 1990. - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. H. Shapiro, “The essential norm of a composition operator,”
*Annals of Mathematics*, vol. 125, no. 2, pp. 375–404, 1987. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - S. Stević, R. Y. Chen, and Z. H. Zhou, “Weighted composition operators between Bloch-type spaces in the polydisk,”
*Sbornik Mathematics*, vol. 201, no. 2, 2010. View at Google Scholar - R. H. Zhao, “Essential norms of composition operators between Bloch type spaces,”
*Proceedings of the American Mathematical Society*, vol. 138, no. 7, pp. 2537–2546, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - Z. H. Zhou and Y. Liu, “The essential norms of composition operators between generalized Bloch spaces in the polydisc and their applications,”
*Journal of Inequalities and Applications*, vol. 2006, Article ID 90742, 22 pages, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - Z. H. Zhou and J. H. Shi, “Compact composition operators on the Bloch space in polydiscs,”
*Science in China Series A*, vol. 44, no. 3, pp. 286–291, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - H. C. Wulan, D. C. Zheng, and K. H. Zhu, “Compact composition operators on BMOA and the Bloch space,”
*Proceedings of the American Mathematical Society*, vol. 137, no. 11, pp. 3861–3868, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH