- Research Article
- Open access
- Published:

# Composition Operator on Bergman-Orlicz Space

*Journal of Inequalities and Applications*
**volumeÂ 2009**, ArticleÂ number:Â 832686 (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

(i), as ,

(ii) exists on ,

(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

Then if and only if

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.

If , then

where is Laplacian and .

Proof.

By the Green Theorem, if , where is a domain in the plane with smooth boundary, then

Let , , , and . Since , by (2.7) we have

Since is bounded near to , we get

Let in (2.8), we have

Integrating equality (2.10) with respect to from to , we obtain

Thus

Since ,

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]).

If is an analytic self-map of and is a nonnegative measurable function in , then

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

Corollary 2.3.

Let be an analytic self-map of and , then

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

Lemma 2.4.

Let , then

Proof.

By the subharmonicity of map , we get

Since is convex and increasing, we have

Since , we get

that is, . Thus .

## 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.

First we assume that is compact on . Choose a sequence that is bounded by a positive constant in and converges to zero uniformly on compact subsets of . By Lemma 3.1, it is enough to show that as . Let , we can find such that for all Since uniformly on compact subsets of as , so is . Thus we can choose such that and on , whenever . Hence for such we have

As as and as , we only need to verify that as . Now

We first prove that the first term in previous equality is bounded by a constant multiple of .

Now, we show that the previous second term above is also bounded by a constant multiple of

Conversely, we assume that is compact on . By Lemma 3.2, we need to verify that is a vanishing Carleson measure. For and we write and . Then . Put . is well defined, beacuse is nondecreasing on range of . Since is concave, there is a constant such that for enough big . Thus we get . Set . Since , it means that . Let . Then clearly uniformly on compact subsets of as . Moreover,

On the other hand, if for some fixed , where , that is, , we have

Hence, for we have

Thus, for we obtain

So, for all and we get

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.

Theorem 3.3 may be not true if does not satisfy the given conditions in this paper. For example, if is a nonnegative function on such that as , and is nondecreasing but for some . Then the compactness of on the Bergman space (i.e., ) is different from that on . Here is defined as follows:

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

where is analytic in and .

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.

We first assume that there exists such that satisfies the -reverse Carleson measure condition. If , then

where is the zero point set of and is a partition of into at most countably many semiclosed polar rectangles such that is univalent on each . Let . Then by the change of variables involving , the last line above becomes

So we show that has closed range on .

Conversely, by Lemma 4.2, we need to prove that has closed range on . Suppose that there does not exist such that satisfies -reverse Carleson measure condition. We can choose a sequence in such that for all and yet as , where and . Now

Since is an analytic self-map of . The Nevanlinna counting function satisfies

as . Using (4.6) and decompositions of the disk into polar rectangles [8], one can find a positive constant such that

as , and

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.

We first assume that has closed range on . Then there is a constant such that satisfies the -reverse Carleson measure condition. Thus, applying the proceeding constructed function to the -reverse Carleson condition gives

Since , it allows to choose a fixed constant such that

Changing in (4.10) gives

Combing (4.11) gives

The integral in the left of (4.12) is dominated by

Since for , we get

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

Since are disjoint, we obtain

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

## References

Nordgren EA:

**Composition operators.***Canadian Journal of Mathematics*1968,**20:**442â€“449. 10.4153/CJM-1968-040-4Schwartz HJ:

*Composition operators on Hp, Ph.D. thesis*. University of Toledo, Toledo, Ohio, USA; 1968.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.23041MacCluer 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-4Shapiro JH:

**The essential norm of a composition operator.***Annals of Mathematics*1987,**125**(2):375â€“404. 10.2307/1971314Cima 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.59Cowen CC, MacCluer BD:

*Composition Operators on Spaces of Analytic Functions, Studies in Advanced Mathematics*. CRC Press, Boca Raton, Fla, USA; 1995:xii+388.Shapiro JH:

*Composition Operators and Classical Function Theory, Universitext: Tracts in Mathematics*. Springer, New York, NY, USA; 1993:xvi+223.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.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-5Kumar 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_9Liu L, Cao G, Wang X:

**Composition operators on Hardy-Orlicz spaces.***Acta Mathematica Scientia. Series B*2005,**25**(1):105â€“111.Lu Q, Cao GF:

**Weighted Orlicz-Bergman spaces and their composition operators.***Acta Analysis Functionalis Applicata*2005,**7**(4):366â€“369.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-XLefÃ¨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.004Garnett JB:

*Bounded Analytic Functions, Pure and Applied Mathematics*.*Volume 96*. Academic Press, New York, NY, USA; 1981:xvi+467.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-1Luecking DH:

**Inequalities on Bergman spaces.***Illinois Journal of Mathematics*1981,**25**(1):1â€“11.

## 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.

## Author information

### Authors and Affiliations

### Corresponding author

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Jiang, Z., Cao, G. Composition Operator on Bergman-Orlicz Space.
*J Inequal Appl* **2009**, 832686 (2009). https://doi.org/10.1155/2009/832686

Received:

Accepted:

Published:

DOI: https://doi.org/10.1155/2009/832686