# Composition Operator on Bergman-Orlicz Space

- Zhijie Jiang
^{1, 2}Email author and - Guangfu Cao
^{1}

**2009**:832686

**DOI: **10.1155/2009/832686

© Z. Jiang and G. Cao. 2009

**Received: **19 May 2009

**Accepted: **22 October 2009

**Published: **25 November 2009

## Abstract

Let denote the open unit disk in the complex plane and let denote the normalized area measure on . For and a twice differentiable, nonconstant, nondecreasing, nonnegative, and convex function on , the Bergman-Orlicz space is defined as follows Let be an analytic self-map of . The composition operator induced by is defined by for analytic in . We prove that the composition operator is compact on if and only if is compact on , and has closed range on if and only if has closed range on .

## 1. Introduction

Let be the open unit disk in the complex plane and let be an analytic self-map of . The composition operator induced by is defined by for analytic in . The idea of studying the general properties of composition operators originated from Nordgren [1]. As a sequence of Littlewood's subordinate theorem, each induces a bounded composition operator on the Hardy spaces for all ( ) and the weighted Bergman spaces for all ( ) and for all ( ). Thus, boundedness of composition operators on these spaces becomes very clear. Nextly, a natural problem is how to characterize the compactness of composition operators on these spaces, which once was a central problem for mathematicians who were interested in the theory of composition operators. The study of compact composition operators was started by Schwartz, who obtained the first compactness theorem in his thesis [2], showing that the integrability of over implied the compactness of on . The work was continued by Shapiro and Taylor [3], who showed that was not compact on whenever had a finite angular derivative at some point of . Moreover, MacCluer and Shapiro [4] pointed out that nonexistence of the finite angular derivatives of was a sufficient condition for the compactness of on but it failed on . So looking for an appropriate tool of characterizing the compactness of on was difficult at that time. Fortunately, Shapiro [5] developed relations between the essential norm of on and the Nevanlinna counting function of , and he obtained a nice essential norm formula of in 1987. As a result, he completely gave a characterization of the compactness of in terms of the function properties of .

Another solution to the compactness of on was done by the Aleksandrov measures which was introduced by Cima and Matheson [6]. It is well known that the harmonic function can be expressed by the Possion integral

for each . Cima and Matheson applied the singular part of to give the following expression:

They showed that was compact on if and only if all the measures were absolutely continuous.

The study of compactness of composition operators is also an important subject on other analytic function spaces, and we have chosen two typical examples above, and for more related materials one can consult [7, 8]. Another natural interesting subject is the composition operator with closed range. Considering angular derivatives of , it is known that is compact on if and only if fails to have finite angular derivatives on , in this case, does not have closed range since is not a finite rank operator. And if has finite angular derivatives on , then is necessarily a finite Blaschke product and hence one can easily verify that has closed range on . Zorboska has given a necessary and sufficient condition for with closed range on , and she also has done on [9]. Luecking [10] considered the same question on Dirichlet space after Zorboska's work. Recently, Kumar and Partington [11] have studied the weighted composition operators with closed range on Hardy spaces and Bergman spaces.

This paper will study the compactness of composition operator on Bergman-Orlicz space. We are mainly inspired by the following results.

(i)Liu et al. [12] showed that composition operator was bounded on Hardy-Orlicz space. Lu and Cao [13] also showed that composition operator was bounded on Bergman-Orlicz space.

(ii)A composition operator was compact on the Nevanlinna class if and only if it was compact on [14].

(iii)If a composition operator was compact on for some , then it was compact on for all [3]. Moreover, paper [15] compared the compactness of composition operators on Hardy-Orlicz spaces and on Hardy spaces. All these results lead us to wonder whether there is a equivalence for the compactness of on and on the Bergman-Orlicz space, and whether there is a equivalence for the closed range of on and on the Bergman-Orlicz space. In this paper, we are going to give affirmative answers for the proceeding questions.

## 2. Preliminaries

Let denote the space of all analytic functions on . Let denote the normalized area measure on , that is, . Let denote the class of strongly convex functions , which satisfies

(iii) for some positive constant and for all .

For and the Bergman-Orlicz space is defined as follows:

where . Although does not define a norm in , it holds that the defines a metric on , and makes into a complete metric space. Obviously, the inequalities

and the fact that is nondecreasing convex function imply that

or if and only if

Throughout this paper, constants are denoted by , they are positive and may differ from one occurrence to the other. The notation means that there is a positive constant such that . Moreover, if both and hold, we write and say that is asymptotically equivalent to .

In this section we will prove several auxiliary results which will be used in the proofs of the main results in this paper.

Lemma 2.1.

Proof.

the proof is complete.

Let be an analytic self-map of . The generalized Nevanlinna counting function of is defined by

Lemma 2.2 (see [9]).

Lemmas 2.1 and 2.2(see [9])can lead to the following corollary.

Corollary 2.3.

We will end this section with the following lemma, which illustrates that the counting functional is continuous on .

Lemma 2.4.

Proof.

## 3. Compactness

In this section, we are going to investigate the equivalence between compactness of composition operator on the Bergman-Orlicz space and on the weighted Bergman space . The following lemma characterizes the compactness of on in terms of sequential convergence, whose proof is similar to that in [7, Proposition 3.11].

Lemma 3.1.

Let be an analytic self-map of , bounded operator is compact on if and only if whenever is bounded in and uniformly on compact subsets of , then as .

In order to characterize the compactness of , we need to introduce the notion of Carleson measure. For and we define . A positive Borel measure on is called a Carleson measure if . Moreover, if satisfies the additional condition , is called a vanishing Carleson measure (see [16] for the further information of Carleson measure). The following result for the compactness of on is useful in the proof of Theorem 3.3.

Let be an analytic self-map of . Then the following statements are equivalent:

(i) is compact on , (ii) , and (iii) the pull measure is a vanshing Carleson measure on .

Theorem 3.3.

Let be an analytic self-map of , then is compact on if and only if is compact on .

Proof.

For the compactness of , we know that as , which means that uniformly for . This means that is a vanishing Carleson measure. By Lemma 3.2, is compact on .

For special case , the Bergman-Orlicz space is called the area-type Nevanlinna class and we write .

Corollary 3.4.

Let be an analytic self-map of , then is compact on if and only if is compact on .

Remark 3.5.

If we take for , and for , then is . We know that is compact on if and only if (consult [2]). But MacCluer and Shapiro constructed an inner function in [4] such that was compact on .

## 4. Closed Range

In this section we will develop a relatively tractable if and only if condition for the composition operator on with closed range. Considering that any analytic automorphism of has the form , where and . By [13], we have the following lemma.

Lemma 4.1.

If one of , , has closed range on , so have the other two.

Now that is a closed subspace of and , the following lemma is easily proved.

Lemma 4.2.

Let be an analytic self-map of , then has closed range on if and only if has closed range on .

Recall that the pseudohyperbolic metric , is given by

For and we define . For we put and . We say that satisfies the -reverse Carleson measure condition if there exists a positive constant such that

Theorem 4.3.

Let be an analytic self-map of . Then has closed range on if and only if there exists such that satisfies the -reverse Carleson measure condition.

Proof.

So we show that has closed range on .

as . Evidently, as , though for all . It follows that does not have closed range on .

We have offered a criterion for the composition operator with closed range on , but it seems that it is difficult to check whether or not satisfies the -reverse Carleson measure condition.

Theorem 4.4.

The composition operator has closed range on if and only if there are positive constants , and such that for all .

Proof.

The converse can be derived from modification of [18], so we omit it here.

Remark 4.5.

From [18], we find that the composition operator has closed range on the weighted Bergman space if and only if there are positive constants and such that for all . Thus, we have the following fact.

The composition operator has closed range on if and only if has closed range on .

Let us further investigate the -reverse Carleson measure condition, which can be formulated as follows.

The space is a closed subspace of if and only if there exists a constant such that satisfies -reverse Carleson measure condition.

From the perspective of closed subspace, we will see the following special setting. Let be a -sequence in . That is, there is with for every . We also assume that is separated for some fixed , that is, for all . Using the subharmonicity of for analytic function , it is easy to see that

Since is convex and increasing, we have

Moreover, the formula allows us to write

Hence, the map takes into , where is a measure on that assigns to the mass and space . Of course, the map may be one to one. If the map is one to one, the map has closed range if and only if

## Declarations

### Acknowledgments

The authors are extremely thankful to the editor for pointing out several errors. This work was supported by the Science Foundation of Sichuan Province (no. 20072A04) and the Scientific Research Fund of School of Science SUSE.

## Authors’ Affiliations

## References

- Nordgren EA:
**Composition operators.***Canadian Journal of Mathematics*1968,**20:**442–449. 10.4153/CJM-1968-040-4MathSciNetView ArticleMATHGoogle Scholar - Schwartz HJ:
*Composition operators on Hp, Ph.D. thesis*. University of Toledo, Toledo, Ohio, USA; 1968.Google Scholar - Shapiro JH, Taylor PD:
**Compact, nuclear, and Hilbert-Schmidt composition operators on .***Indiana University Mathematics Journal*1973,**23:**471–496. 10.1512/iumj.1973.23.23041MathSciNetView ArticleMATHGoogle Scholar - MacCluer BD, Shapiro JH:
**Angular derivatives and compact composition operators on the Hardy and Bergman spaces.***Canadian Journal of Mathematics*1986,**38**(4):878–906. 10.4153/CJM-1986-043-4MathSciNetView ArticleMATHGoogle Scholar - Shapiro JH:
**The essential norm of a composition operator.***Annals of Mathematics*1987,**125**(2):375–404. 10.2307/1971314MathSciNetView ArticleMATHGoogle Scholar - Cima JA, Matheson AL:
**Essential norms of composition operators and Aleksandrov measures.***Pacific Journal of Mathematics*1997,**179**(1):59–64. 10.2140/pjm.1997.179.59MathSciNetView ArticleMATHGoogle Scholar - Cowen CC, MacCluer BD:
*Composition Operators on Spaces of Analytic Functions, Studies in Advanced Mathematics*. CRC Press, Boca Raton, Fla, USA; 1995:xii+388.MATHGoogle Scholar - Shapiro JH:
*Composition Operators and Classical Function Theory, Universitext: Tracts in Mathematics*. Springer, New York, NY, USA; 1993:xvi+223.View ArticleGoogle Scholar - Zhu KH:
*Operator Theory in Function Spaces, Monographs and Textbooks in Pure and Applied Mathematics*.*Volume 139*. Marcel Dekker, New York, NY, USA; 1990:xii+258.Google Scholar - Luecking DH:
**Bounded composition operators with closed range on the Dirichlet space.***Proceedings of the American Mathematical Society*2000,**128**(4):1109–1116. 10.1090/S0002-9939-99-05103-5MathSciNetView ArticleMATHGoogle Scholar - Kumar R, Partington JR:
**Weighted composition operators on Hardy and Bergman spaces.**In*Recent Advances in Operator Theory, Operator Algebras, and Their Applications, Operator Theory Advance and Application*.*Volume 153*. Birkhäuser, Basel, Switzerland; 2005:157–167. 10.1007/3-7643-7314-8_9View ArticleGoogle Scholar - Liu L, Cao G, Wang X:
**Composition operators on Hardy-Orlicz spaces.***Acta Mathematica Scientia. Series B*2005,**25**(1):105–111.MathSciNetMATHGoogle Scholar - Lu Q, Cao GF:
**Weighted Orlicz-Bergman spaces and their composition operators.***Acta Analysis Functionalis Applicata*2005,**7**(4):366–369.MathSciNetMATHGoogle Scholar - Choa JS, Kim HO:
**Compact composition operators on the Nevanlinna class.***Proceedings of the American Mathematical Society*1997,**125**(1):145–151. 10.1090/S0002-9939-97-03534-XMathSciNetView ArticleMATHGoogle Scholar - Lefèvre P, Li D, Queffèlec H, Rodríguez-Piazza L:
**Compact composition operators on and Hardy-Orlicz spaces.***Journal of Mathematical Analysis and Applications*2009,**354**(1):360–371. 10.1016/j.jmaa.2009.01.004MathSciNetView ArticleMATHGoogle Scholar - Garnett JB:
*Bounded Analytic Functions, Pure and Applied Mathematics*.*Volume 96*. Academic Press, New York, NY, USA; 1981:xvi+467.Google Scholar - Choa JS, Ohno S:
**Products of composition and analytic Toeplitz operators.***Journal of Mathematical Analysis and Applications*2003,**281**(1):320–331. 10.1016/S0022-247X(03)00102-1MathSciNetView ArticleMATHGoogle Scholar - Luecking DH:
**Inequalities on Bergman spaces.***Illinois Journal of Mathematics*1981,**25**(1):1–11.MathSciNetMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.