Composition Operator on Bergman-Orlicz Space
Journal of Inequalities and Applications volume 2009, Article number: 832686 (2009)
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 .
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 . 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 , showing that the integrability of over implied the compactness of on . The work was continued by Shapiro and Taylor , who showed that was not compact on whenever had a finite angular derivative at some point of . Moreover, MacCluer and Shapiro  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  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 . 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 . Luecking  considered the same question on Dirichlet space after Zorboska's work. Recently, Kumar and Partington  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.
(ii)A composition operator was compact on the Nevanlinna class if and only if it was compact on .
(iii)If a composition operator was compact on for some , then it was compact on for all . Moreover, paper  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.
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.
If , then
where is Laplacian and .
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
the proof is complete.
Let be an analytic self-map of . The generalized Nevanlinna counting function of is defined by
Lemma 2.2 (see ).
If is an analytic self-map of and is a nonnegative measurable function in , then
Lemmas 2.1 and 2.2(see )can lead to the following corollary.
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 .
Let , then
By the subharmonicity of map , we get
Since is convex and increasing, we have
Since , we get
that is, . Thus .
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].
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  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 .
Let be an analytic self-map of , then is compact on if and only if is compact on .
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 .
Let be an analytic self-map of , then is compact on if and only if is compact on .
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:
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 , we have the following lemma.
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.
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 .
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.
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 , 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.
The composition operator has closed range on if and only if there are positive constants , and such that for all .
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 , so we omit it here.
From , 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
Nordgren EA: Composition operators. Canadian Journal of Mathematics 1968, 20: 442–449. 10.4153/CJM-1968-040-4
Schwartz 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.23041
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-4
Shapiro JH: The essential norm of a composition operator. Annals of Mathematics 1987,125(2):375–404. 10.2307/1971314
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.59
Cowen 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-5
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_9
Liu 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-X
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.004
Garnett 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-1
Luecking DH: Inequalities on Bergman spaces. Illinois Journal of Mathematics 1981,25(1):1–11.
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.
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