Proc. Indian Acad. Sci. (Math. Sci.) Vol. 117, No. 2, May 2003, pp. 185 195. Printed in India Weighted composition operators on weighted Bergman spaces of bounded symmetric domains arxiv:0707.1964v1 [math.fa] 13 Jul 2007 1. Introduction SANJAY KUMAR and KANWAR JATINDER SINGH Department of Mathematics, University of Jammu, Jammu 180 006, India E-mail: sks jam@yahoo.co.in; kunwar752000@yahoo.co.in MS received 7 December 2005 Abstract. In this paper, we study the weighted compositon operators on weighted Bergman spaces of bounded symmetric domains. The necessary and sufficient conditions for a weighted composition operator W ϕ,ψ to be bounded and compact are studied by using the Carleson measure techniques. In the last section, we study the Schatten p-class weighted composition operators. Keywords. Bergman spaces; bounded symmetric domain; boundedness; Carleson measure; compactness; Schatten p-class operator. Let be a bounded symmetric domain in C n with Bergman kernel K(z,ω). We assume that is in its standard representation and the volume measure dv of is normalised so that K(z,0)K(0,ω), for all z and ω in. By Theorem 5.7 of [11] and using the polar coordinates representation, there exists a positive number ε such that for < ε, we have C K(z,z) dv(z)<. For each < ε, define dv (z) C 1 K(z,z) dv(z). Then {dv } defines a weighted family of probability measures on. Also, throughout the paper < ε is fixed. We define the weighted Bergman spaces A p (,dv ), on, as the set of all holomorphic functions f on so that ( ) 1 f p A f p p dv <. Note that A p (,dv ) is a closed subspace of L p (,dv ). For 0,A p (,dv ) is just the usual Bergman space. For p2, there is an orthogonal projection P from L 2 (,dv ) onto A 2 (,dv ) given by P f(z) K (z,ω) f(ω)dv (ω), where K (z,ω)k(z,ω) 1 is the reproducing kernel for A 2 (,dv ). 185
186 Sanjay Kumar and Kanwar Jatinder Singh Suppose, ϕ, ψ are holomorphic mappings defined on such that ϕ(). Then the weighted composition operator W ϕ,ψ is defined as W ϕ,ψ f(z)ψ(z) f(ϕ(z)), for all f holomorphic in, and z. For the study of weighted composition operators one can refer to [4,6,13,15] and references therein. Recently, Smith [16] has made a nice connection between the Brennan s conjecture and weighted composition operators. He has shown that Brennan s conjecture is equivalent to the existence of self-maps of unit disk that make certain weighted composition operators compact. We know that the bounded symmetric domain in its standard representation with normalised volume measure, the kernel function K(, ) has the following special properties: (1) K(0,a)1K(a,0). (2) K(z,a) 0 (for all z in and a in ). (3) lim a K(a,a). (4) K(z,a) 1 is a smooth function on C n C n. Here denotes the closure of in C n and is the topological boundary, see [8] and [10] for details. For any a in, let k a (z) K(z,a) K(a,a). The k as are called normalised reproducing kernels for A 2 (,dv). They are unit vectors in A 2 (,dv). Moreover, ka 1 is a unit vector of A 2 (,dv ) for any a in. Let µ be a finite complex Borel measure on. Then the Berezin transform of measure µ, denoted by µ, is defined as µ (z) k z (ω) 2(1 ) dµ(ω), z. We will denote by β(z,ω) the Bergman distance function on. For z and r>0, let {ω : β(z,ω)<r}. We denote by E(z, r) the normalised volume of E(z, r), that is, dv(ω). Given a finite complex Borel measure µ on, we define a function ˆµ r on by ˆµ r (z) µ(), z. 1 Theorem 1.1 [17]. Take 1 p <. Let µ be a finite positive Borel measure on. Then the following conditions are equivalent: (1) The inclusion map i: A p (,dv ) L p (,dv ) is bounded. (2) The Berezin transform µ is bounded.
Bergman spaces of bounded symmetric domains 187 (3) ˆµ r is bounded on for all (or some) r> 0. (4) { ˆµ r (a n )} is a bounded sequence, where {a n } is some bounded sequence in independent of µ. A positive Borel measure µ satisfying any one of the conditions of Theorem 1.1 is called a Carleson measure on the weighted Bergman space A p (,dv ) Theorem 1.2 [17]. Take 1 p <. Let µ be a finite positive Borel measure on. Then the following conditions are equivalent: (1) The inclusion map i: A p (,dv ) L p (,dv ) is compact. (2) The Berezin transform µ (z) 0 as z. (3) ˆµ r (z) 0as z for all (or some) r>0. (4) ˆµ r (a n ) 0as n. A positive Borel measure µ satisfying any one of the conditions of Theorem 1.2 is called a vanishing Carleson measure on the weighted Bergman space A p (,dv ). A positive compact operator T on A 2 (,dv ) is in the trace class if tr(t) n1 Te n,e n <, for some (or all) orthonormal basis{e n } of A 2 (,dv ). Take 1 p<, and T be a compact linear operator on A 2 (,dv ). Then we say that T belongs to the Schatten p-class S p if (T T) p/2 is in the trace class. Also, the S p norm of T is given as T Sp [tr((t T) p/2 )] 1/p. Moreover, S p is a two-sided ideal of the full algebra B(A 2 (,dv )) of bounded linear operators on A 2 (,dv ). 2. Preliminaries To make the paper self-contained we state the following lemmas. Lemma 2.1. [12]. The Bergman kernel K(z,ω) is conjugate symmetric. That is, K(z,ω)K(ω,z); and it is the function of z in A 2 (,dv ). Lemma 2.2. [17]. Let T be a trace class operator or a positive operator on A 2 (,dv ). Then tr(t) T Kz 1,Kz 1 A 2 dσ(z), where dσ(z)k(z,z)dv(z).
188 Sanjay Kumar and Kanwar Jatinder Singh Lemma 2.3. [9]. Let be a bounded symmetric domain in C n and let W ϕ,ψ be a weighted composition operator on A 2 (,dv ). Then [ K(ϕ(z),ϕ(z)) Wϕ,ψ A 2 ψ(z) K(z, z) ](1 ) 2 Lemma 2.4. [1]. Suppose T is a positive operator on a Hilbert space H and x is a unit vector in H. Then (1) T p x,x T x,x p for all p 1. (2) T p x,x T x,x p for all 0< p 1. Lemma 2.5. (Theorem 18.11(f), p. 89 of [5]). Suppose T is a bounded linear operator on a Hilbert space H. If T S p, then tr( T p )tr( T p ). Lemma 2.6. [17]. Take 1 p<. Suppose µ 0 is a finite Borel measure on. Then µ is a Carleson measure on A p (,dv ) if and only if µ()/ 1 is bounded on (as a function of z) for all (or some) r > 0. Moreover, the following quantities are equivalent for any fixed r>0 and p 1: { } µ() ˆµ r sup : z 1 and { } µ p sup f(z) p dµ(z) f(z) p dv (z) : f Ap (,dv ). Lemma 2.7. [2]. For any r > 0, there exists a constant C (depending only on r) such that C 1 E(a,r) k a (z) 2 C, for all a and z E(a,r). Note that if we take za in the above estimate, then we get for all a. C 1 E(a,r) K(a,a) C, Lemma 2.8. [2]. For any r> 0,s>0,R>0, there exists a constant C (depending on r,s,r) such that C 1 E(a,r) E(a,s) C for all a,b in with β(a,b) R. Lemma 2.9. [3]. For any r>0, there exists a sequence{a n } in satisfying the following two conditions:.
Bergman spaces of bounded symmetric domains 189 (1) n1 E(a n,r); (2) There is a positive integer N such that each point z in belongs to at most N of the sets E(a n,2r). Lemma 2.10.[3]. For any r > 0 and p 1, there exists a constant C (depending only on r) such that f(a) p for all f holomorphic and a in. C f(z) p dv(z), E(a, r) E(a,r) 3. Bounded and compact weighted composition operators By using [7], we can prove the following lemma. Lemma 3.1. Take 1 p<. Let be a bounded symmetric domain in C n, and < ε. Suppose ϕ,ψ be holomorphic functions defined on such that ϕ(). Also, suppose that the weighted composition operator W ϕ,ψ is bounded on A p (,dv ). Then W ϕ,ψ is compact on A p (,dv ) if and only if for any norm bounded sequence { f n } in A p (,dv ) such that f n 0 uniformly on compact subsets of, then we have W ϕ,ψ f n A p 0. Lemma 3.2. Suppose { f n } is a sequence in A p (,dv ) such that f n 0 weakly in A p (,dv ). Then { f n } is a norm bounded sequence and f n 0 uniformly on each compact subsets of. Let ϕ be a holomorphic function defined on such that ϕ(). Suppose ψ A p (,dv ) and < ε. Then the nonnegative measure µ ϕ,ψ,p is defined as µ ϕ,ψ,p (E) ψ p dv, ϕ 1 (E) where E is a measurable subset of. Using Lemma 2.1 of [4], we can prove the following result. Lemma 3.3. Take 1 p<. Let be a bounded symmetric domain in C n, and < ε. Let ϕ be a holomorphic mapping from into and ψ A p (,dv ). Then gdµ ϕ,ψ,p ψ p (g ϕ)dv, where g is an arbitrary measurable positive function on. Theorem 3.4. Take 1 p<. Let be a bounded symmetric domain in C n, and < ε. Suppose ϕ,ψ are holomorphic functions defined on such that ϕ(). Then the weighted composition operator W ϕ,ψ is bounded on A p (,dv ) if and only if the measure µ ϕ,ψ,p is a Carleson measure.
190 Sanjay Kumar and Kanwar Jatinder Singh Proof. Suppose W ϕ,ψ is bounded on A p (,dv ). Then there exists a constant M> 0 such that W ϕ,ψ f A p for all f A p (,dv ). Take M f p A, g(ω) k z (ω) 2(1 ) p. From Lemma 2.1 and using the fact that K(ω,z) 0 for any z and ω in, we get that g A p (,dv ). Thus, we have k z (ω) 2(1 ) dµ ϕ,ψ,p (ω) g(ω) p dµ ϕ,ψ,p (ω) ψ(ω) p g(ϕ(ω)) p dv (ω) W ϕ,ψ g p A p <. By Lemma 2.7, there exists a constant C>0 (depending only on r) such that µ ϕ,ψ,p () 1 1 1 dµ ϕ,ψ,p (ω) C k z (ω) 2(1 ) dµ ϕ,ψ,p (ω)<, for any z. Thus, by using Lemma 2.6, we get that µ ϕ,ψ,p is a Carleson measure on A p (,dv ). Conversely, suppose µ ϕ,ψ,p is a Carleson measure on A p (,dv ). Then by Theorem 1.1, there exists a constant M > 0 such that f(z) p dµ ϕ,ψ,p (z) M p f p A p, for all f A p (,dv ). Hence, using Lemma 3.3, we have W ϕ,ψ f p A ψ(z) p f(ϕ(z)) p dv (z) f(ω) p dµ ϕ,ψ,p (ω) M p f(ω) p dv (ω)<, for all f A p (,dv ). Hence, W ϕ,ψ is a bounded operator on A p (,dv ). Theorem 3.5. Take 1 p<. Let be a bounded symmetric domain in C n, and < ε. Suppose ϕ,ψ are holomorphic functions defined on such that ϕ(). Then the weighted composition operator W ϕ,ψ is compact on A p (,dv ) if and only if the measure µ ϕ,ψ,p is a vanishing Carleson measure.
Bergman spaces of bounded symmetric domains 191 Proof. Suppose W ϕ,ψ is compact on A p (,dv ). Since, k 1 z 0 weakly in A p (,dv ) as z, by Lemmas 3.1 and 3.2, we have W ϕ,ψ kz 1 p A 0 as z. (3.1) Again, by using Lemma 2.7, we get a constant C> 0 (depending only on r) such that µ ϕ,ψ,p () 1 1 1 dµ ϕ,ψ,p (ω) C k z (ω) 2(1 ) dµ ϕ,ψ,p (ω) C C W ϕ,ψ k 1 z A 2. ψ(ω) 2 k z (ϕ(ω)) 2(1 ) dµ ϕ,ψ,p (ω) Thus, condition (3.1) implies that µ ϕ,ψ,p is a vanishing Carleson measure on A p (,dv ). Conversely, suppose that µ ϕ,ψ,p is a vanishing Carleson measure on A p (,dv ). Then, by Theorem 1.2, we have µ ϕ,ψ,p () lim z 1 0 (3.2) for all (or some) r>0. So, from Theorem 3.4, we conclude that W ϕ,ψ is bounded on A p (,dv ). We will prove that W ϕ,ψ is a compact operator. Let{ f n } be a sequence in A p (,dv ) and f n 0 weakly. By Lemma 3.2, f n is a norm bounded sequence and f n 0 uniformly on each compact subsets of. By Lemmas 2.7 and 2.10, there exists a constant C> 0 (depending only on r) such that f(z) p C f(ω) p dv(ω) E(z, r) CC f(ω) p dv (ω) E(z, r) K(ω,ω) C f(ω) p dv (ω) E(z, r) E(ω,r) C 1 1 f(ω) p dv (ω), for all z, where the last inequality is obtained by using Lemma 2.8. By combining the above inequality with Lemma 2.8, we get { } sup{ f(z) p C 1 : z E(a,r)} sup 1 f(ω) p dv (ω): z E(a,r) C 2 E(a,r) 1 E(a,2r) E(a,2r) f(ω) p dv (ω),
192 Sanjay Kumar and Kanwar Jatinder Singh where C 1 and C 2 are constants depending only on and r. Hence, we have W ϕ,ψ f n p A i1 i1 C ψ(z) p f n (ϕ(z)) p dv (ω) f n (ω) p dµ ϕ,ψ,p E(a i,r) f n (ω) p dµ ϕ,ψ,p µ ϕ,ψ,p ((E(a i,r))sup{ f n (ω) p : ω E(a i,r)} i1 µ ϕ,ψ,p ((E(a i,r)) E(a i,r) 1 f n (ω) p dv (ω), where the sequence{a n } is the same as in Lemma 2.9. From condition (3.2), for every ε > 0, there exists a δ > 0 (0<δ < 1) such that µ ϕ,ψ,p () 1 < ε, whenever d(z, )<δ. Take 1 {ω : d(z, ) δ, β(z,ω) r}. Then, 1 is a compact subset of (as 0<2r< δ 2 ). Thus, we have W ϕ,ψ f n (z) p dv (z) f n (ω) p dµ ϕ,ψ,p (ω) C C i1 µ ϕ,ψ,p ((E(a i,r)) E(a i,r) 1 f n (ω) p dv (ω) d(a, ) δ µ ϕ,ψ,p ((E(a i,r)) E(a i,r) 1 f n (ω) p dv (ω) µ ϕ,ψ,p ((E(a i,r)) +C d(a, )<δ E(a i,r) 1 f n (ω) p dv (ω) CN +Cε CNK f n (ω) p dv (ω) d(a, ) δ d(a, )<δ f n (ω) p dv (ω) f n (ω) p dv (ω)+cεk f n (ω) p dv (ω),
Bergman spaces of bounded symmetric domains 193 where the constant N is the same as in Lemma 2.9. Since, f n is a norm bounded sequence and f n converges to zero uniformly on compact subsets of, we have W ϕ,ψ f n p 0 A as n. The following theorem follows by combining Theorems 1.1, 1.2, 3.4 and 3.5. Theorem 3.6. Take 1 p< and let < ε. Suppose ϕ,ψ be holomorphic functions defined on such that ϕ(). Then (1) The weighted composition operator W ϕ,ψ is bounded on A p (,dv ) if and only if k z (ω) 2(1 ) dµ ϕ,ψ,p (ω)<. sup z (2) The weighted composition operator W ϕ,ψ is compact on A p (,dv ) if and only if k z (ω) 2(1 ) dµ ϕ,ψ,p (ω)0. lim z 4. Schatten class weighted composition operators Theorem 4.1. Take 1 p< and let < ε. Suppose ϕ,ψ are holomorphic functions defined on such that ϕ(). Let W ϕ,ψ be compact on A 2 (,dv ). Then W ϕ,ψ S p if and only if the Berezin symbol of measure µ ϕ,ψ,p belongs to L p/2 (,dσ), where dσ(z) K(z, z)dv(z). Proof. For any f,g A 2 (,dv ), we have (W ϕ,ψ ) (W ϕ,ψ ) f, g A 2 (W ϕ,ψ ) f, (W ϕ,ψ )g A 2 f(ϕ(z))g(ϕ(z)) ψ(z) 2 dv (z) Consider the Toeplitz operator T µϕ,ψ,p f(z) f(ω)k (z,ω) dµ ϕ,ψ,p (ω). f(ω)g(ω) ψ(z) 2 dµ ϕ,ψ,p (ω). Then, by using Fubini s theorem, we have T µϕ,ψ,p f,g A 2 f(ω)k (z,ω)dµ ϕ,ψ,p (ω)g(z) dv (z) f(ω) g(z)k (ω,z)dv (z) dµ ϕ,ψ,p (ω) f(ω)g(ω) dµ ϕ,ψ,p (ω). Thus, T µϕ,ψ,p (W ϕ,ψ ) (W ϕ,ψ ). Also, by definition an operator T S p if and only if (T T) p/2 is in the trace class, and this is equivalent to saying that T T S p/2 (Lemma 1.4.6, p. 18 of [18]). Thus W ϕ,ψ S p if and only if T µϕ,ψ,p S p/2. Again, by Theorem C of [17], T µϕ,ψ,p S p/2 if and only if the Berezin symbol of the measure µ ϕ,ψ,p belongs to L p/2 (,dσ).
194 Sanjay Kumar and Kanwar Jatinder Singh Theorem 4.2. Take 2 p < and let < ε. Take W ϕ,ψ the weighted composition operator on A 2 (,dv ). If W ϕ,ψ S p, then [ K(ϕ(z),ϕ(z)) ψ(z) K(z, z) where dσ(z)k(z,z)dv(z). ] p(1 ) 2 Proof. By using Lemmas 2.2 2.5, we get dσ(z)<, tr( W ϕ,ψ p )tr( Wϕ,ψ p )tr( W ϕ,ψ Wϕ,ψ )p/2 (W ϕ,ψ Wϕ,ψ) p/2 k 1,k 1 A 2 dσ(z) (W ϕ,ψ W ϕ,ψ)k 1 W ϕ,ψ k1 z p A 2 dσ(z) ψ(z) z [ K(ϕ(z),ϕ(z)) z K(z, z) z,kz 1 p/2 A 2 ] p(1 ) 2 dσ(z) dσ(z). Theorem 4.3. Take 0< p<2 and let < ε. Take W ϕ,ψ the weighted composition operator W ϕ,ψ on A 2 (,dv ). If [ K(ϕ(z),ϕ(z)) ψ(z) K(z, z) ] p(1 ) 2 where dσ(z)k(z,z)dv(z), then W ϕ,ψ S p. Proof. By using Lemmas 2.2 2.5, we get Thus, W ϕ,ψ S p. tr( W ϕ,ψ p ) (W ϕ,ψ Wϕ,ψ )p/2 kz 1 (W ϕ,ψ Wϕ,ψ )k1 z dσ(z)<, W ϕ,ψk 1 z p A 2 dσ(z) ψ(z) [ K(ϕ(z),ϕ(z)) K(z, z),kz 1,kz 1 p/2 A 2 ] p(1 ) 2 A 2 dσ(z) dσ(z) dσ(z)<.
Bergman spaces of bounded symmetric domains 195 References [1] Arazy J, Fisher S D and Peetre J, Hankel operators on weighted Bergman spaces, Amer. J. Math. 110 (1988) 989 1054 [2] Berger C A, Coburn L A and Zhu K, Function theory on Carton domain and the Berezin Toeplitz symbol calculus, Amer. J. Math. 110 (1988) 921 953 [3] Berger C A, Coburn L A and Zhu K, BMO in the Bergman metric on bounded symmetric domains, J. Funct. Anal. 93 (1990) 310 350 [4] Contreras M D and Hernandez-Diaz A G, Weighted composition operator between different Hardy spaces, Int. Eq. Op. Theory 46 (2003) 105 188 [5] Conway J B, A Coures in operator theory (Rhode Island: American Mathematical Society Providence) (2000) vol. 21 [6] Cuckovic Z and Zhao R, Weighted composition operators on the Bergman spaces, J. London Math. Soc. 70(2) (2004) 499 511 [7] Halmos P R, Measure theory, Graduate Texts in Mathematics (New York: Springer- Verlag) (1974) vol. 18 [8] Hua L K, Harmonic analysis of functions of several complex variables in the classical domain, AMS Trans. (1963) [9] Jafari F, Composition operators in Bergman spaces on bounded symmetric domains, (revised preprint) Contemp. Math. J. 137 (1992) 277 290, Amer. Math. Soc. (Providence) (1992) [10] Koecher M, An elementry approach to bounded symmetric domains (Rice Univ. Press) (1969) [11] Koranyi A, The Poisson integral for generalised half-planes and bounded symmetric domains, Ann. Math. 82 (1965) 332 350 [12] Kranz S G, Function theory of severel complex variables (Wiley) (1982) [13] Kumar R and Partington J R, Weighted composition operators on Hardy and Bergman spaces, Operator Theory: Advances and Applications (Basel: Birkhauser) (2004) vol. 153, pp. 157 167 [14] Shapiro J H, Composition operators and classical function theory (New York: Springer- Verlag) (1993) [15] Shapiro J H and Smith W, Hardy spaces that support no compact composition operators, J. Funct. Anal. 205(1) (2003) 62 89 [16] Smith W, Recent advances in operator-related function theory, Contemp. Math., Amer. Math. Soc. 393 (2006) 209 214 [17] Zhu K, Positive Toeplitz operators on weighted Bergman spaces of bounded symmetric domains, J. Operator Theory 20 (1988) 329 357 [18] Zhu K, Operator theory in function spaces, (New York: Marcel Dekker) (1990)