Let 𝔹n be the unit ball of ℂn, H(𝔹n) the space of all holomorphic functions in 𝔹n. Let u𝞊H(𝔹n) and α be a holomorphic self-map of 𝔹n. For f𝞊H(𝔹n), the weigthed composition operator uCα is defined by (uCαf)(z)=u(z)f(α(z)),z𝞊𝔹n. The boundedness and compactness of the weighted composition operator
on some weighted spaces on the unit ball are studied in this paper.
1. Introduction
Let 𝔹n be the unit ball of ℂn, H(𝔹n) the space of all holomorphic functions in 𝔹n,
and H∞=H∞(𝔹n) the space of all bounded holomorphic functions
in the unit ball. For f∈H(𝔹n),
letℜf(z)=∑j=1nzj∂f∂zj(z)be the radial derivative of f.
A positive continuous function μ on [0,1) is called normal if there exist positive
numbers α and β,0<α<β, and δ∈[0,1) such that (see, e.g., [1, 2])μ(r)(1−r)αisdecreasingon[δ,1),limr→1μ(r)(1−r)α=0,μ(r)(1−r)βisincreasingon[δ,1),limr→1μ(r)(1−r)β=∞.
An f∈H(𝔹n) is said to belong to the weighted-type space,
denoted by Hμ∞=Hμ∞(𝔹n),
if∥f∥Hμ∞=supz∈Bnμ(|z|)|f(z)|<∞,where μ is normal on [0,1) (see [3]). Hμ∞ is a Banach space with the norm ∥⋅∥Hμ∞.
The little weighted-type space, denoted by Hμ,0∞,
is the subspace of Hμ∞ consisting of those f∈Hμ∞ such thatlim|z|→1μ(|z|)|f(z)|=0.
When μ(r)=(1−r2)α,
the induced spaces Hμ∞ and Hμ,0∞ become the (classical) weighted
spaces
Hα∞ and Hα,0∞ respectively.
An f∈H(𝔹n) is said to belong to the logarithmic-type
space Hlog∞ if∥f∥Hlog∞=supz∈Bn|f(z)|log(e/(1−|z|2))<∞.It is easy to see that Hlog∞ becomes a Banach space under the norm ∥⋅∥Hlog∞,
and that the following inclusions hold:H∞⊂ℬ⊂Hlog∞⊂Hα∞,α>0,where ℬ is the Bloch space defined byℬ={f∈H(Bn):supz∈Bn(1−|z|2)|ℜf(z)|<∞}.For some information on the
Bloch and related spaces see, for example, [4–13] and the references therein.
For some information on the space Hlog∞ in the unit disk see [14].
Let u∈H(𝔹n),
and let φ be a holomorphic self-map of 𝔹n.
For f∈H(𝔹n),
the weighted composition operator uCφ is defined by(uCφf)(z)=u(z)f(φ(z)),z∈Bn.The weighted composition
operator can be regarded as a generalization of a multiplication operator and a
composition operator, which is defined by (Cφf)(z)=f(φ(z)). The work in [15] contains much information on
this topic.
In the
setting of the unit ball, Zhu studied the
boundedness and compactness of the weighted composition operator between
Bergman-type spaces and H∞ in [16]. More general results can be found in [17, 18]. Some necessary and
sufficient conditions for the weighted composition operator to be bounded and
compact between the Bloch space and H∞ are given in [19]. In the setting of the unit
polydisk, some necessary and sufficient conditions for a weighted composition
operator to be bounded and compact between the Bloch space and H∞(𝔹1n) are given in [20, 21] (see also [22] for the case of composition
operators). Other related results can be found, for example, in [3, 23–32].
In this paper, we study the weighted composition
operator from Hlog∞ to the spaces Hμ∞ and Hlog∞.
Some necessary and sufficient conditions for the weighted composition operator uCφ to be bounded and compact are given.
Throughout the paper, constants are denoted by C;
they are positive and may not be the same in every occurrence.
2. Main Results and Proofs
In this section, we give our main results and their
proofs. Before stating these results, we need some auxiliary results, which are
incorporated in the lemmas which follow.
Lemma 2.1.
Assume that u∈H(𝔹n), φ is a holomorphic self-map of 𝔹n,
and μ is a normal function on [0,1).
Then, uCφ:Hlog∞→Hμ∞ is compact if and only if uCφ:Hlog∞→Hμ∞ is bounded, and for any bounded sequence (fk)k∈ℕ in Hlog∞ which converges to zero uniformly on compact
subsets of 𝔹n as k→∞,
one has
∥uCφfk∥Hμ∞→0 as k→∞.
The proof of Lemma 2.1
follows by standard arguments (see, e.g., [15, Proposition 3.11] as
well as the proofs of the corresponding results in [7, 22, 33, 34]). Hence, we omit the
details.
Lemma 2.2.
Assume that μ is normal. A closed set K in Hμ,0∞ is compact if and only if it is bounded and
satisfies lim|z|→1supf∈Kμ(|z|)|f(z)|=0.
The proof of Lemma 2.2 is similar to the proof of
Lemma
1 in [35]. We omit the
details.
Now, we are in a position to state and prove our main
results.
Theorem 2.3.
Assume that u∈H(𝔹n), φ is a holomorphic self-map of 𝔹n,
and μ is normal on [0,1).
Then, uCφ:Hlog∞→Hμ∞ is bounded if and only if M=supz∈Bnμ(|z|)|u(z)|loge1−|φ(z)|2<∞.
Proof.
Assume that uCφ:Hlog∞→Hμ∞ is bounded. For a∈𝔹n,
setfa(z)=loge1−〈z,a〉.It is easy to see that fa∈Hlog∞ and supa∈𝔹n∥fa∥Hlog∞<∞.
For any b∈𝔹n,
we have∞>∥uCφfφ(b)∥Hμ∞=supz∈Bnμ(|z|)|(uCφfφ(b))(z)|=supz∈Bnμ(|z|)|u(z)||fφ(b)(φ(z))|≥μ(|b|)|u(b)|loge1−|φ(b)|2,which implies (2.2).
Conversely, assume that (2.2) holds. Then, for any f∈Hlog∞,
we haveμ(|z|)|(uCφf)(z)|=μ(|z|)|u(z)||f(φ(z))|≤μ(|z|)|u(z)|loge1−|φ(z)|2∥f∥Hlog∞.Taking the supremum in (2.5) over 𝔹n and using condition (2.2), the boundedness of
the operator uCφ:Hlog∞→Hμ∞ follows, as desired.
Theorem 2.4.
Assume that u∈H(𝔹n), φ is a holomorphic self-map of 𝔹n,
and μ is a normal function on [0,1).
Then, uCφ:Hlog∞→Hμ∞ is compact if and only if u∈Hμ∞ and lim|φ(z)|→1μ(|z|)|u(z)|loge1−|φ(z)|2=0.
Proof.
Assume that uCφ:Hlog∞→Hμ∞ is compact. Then, it is obvious that uCφ:Hlog∞→Hμ∞ is bounded. Taking the function f(z)=1∈Hlog∞,
we see that u∈Hμ∞.
Let (φ(zk))k∈ℕ be a sequence in 𝔹n such that limk⇀∞|φ(zk)|=1.
Setfk(z)=(loge1−〈z,φ(zk)〉)2(loge1−|φ(zk)|2)−1,k∈ℕ.It is easy to see that supk∈ℕ∥fk∥Hlog∞<∞.
Moreover, fk→0 uniformly on compact subsets of 𝔹n as k→∞.
By Lemma 2.1,limk→∞∥uCφfk∥Hμ∞=0.We have∥uCφfk∥Hμ∞=supz∈Bnμ(|z|)|u(z)fk(φ(z))|≥μ(|zk|)|u(zk)|loge1−|φ(zk)|2,which together with (2.8) implies
thatlimk→∞μ(|zk|)|u(zk)|loge1−|φ(zk)|2=0.This proves that (2.6) holds.
Conversely, assume that u∈Hμ∞ and (2.6) holds. From this, it follows that (2.2)
holds; hence uCφ:Hlog∞→Hμ∞ is bounded. In order to prove that uCφ:Hlog∞→Hμ∞ is compact, according to Lemma 2.1, it suffices
to show that if (fk)k∈ℕ is a bounded sequence in Hlog∞ converging to 0 uniformly on compact subsets
of 𝔹n,
thenlimk→∞∥uCφfk∥Hμ∞=0.Let (fk)k∈ℕ be a bounded sequence in Hlog∞ such that fk→0 uniformly on compact subsets of 𝔹n as k→∞. By (2.6), we have that for any ε>0,
there is a constant δ∈(0,1) such thatμ(|z|)|u(z)|loge1−|φ(z)|2<εwhenever δ<|φ(z)|<1.
Let K={w∈𝔹n:|w|≤δ}.
Equation (2.12) along with the fact that u∈Hμ∞ implies∥uCφfk∥Hμ∞=supz∈Bnμ(|z|)|(uCφfk)(z)|=supz∈Bnμ(|z|)|u(z)fk(φ(z))|≤(sup{z∈Bn:|φ(z)|≤δ}+sup{z∈Bn:δ≤|φ(z)|<1})μ(|z|)|u(z)||fk(φ(z))|≤∥u∥Hμ∞supw∈K|fk(w)|+sup{z∈Bn:δ≤|φ(z)|<1}μ(|z|)|u(z)|loge1−|φ(z)|2∥fk∥Hlog∞≤∥u∥Hμ∞supw∈K|fk(w)|+Cε.Observe that K is a compact subset of 𝔹n so thatlimk→∞supw∈K|fk(w)|=0.With the aid of the above
inequality, we can deduce thatlimsupk→∞∥uCφfk∥Hμ∞≤Cεby letting k→∞.
Since ε is an arbitrary positive number, it follows
that the last limit is equal to zero. Therefore, uCφ:Hlog∞→Hμ∞ is compact. The proof is complete.
Theorem 2.5.
Assume that u∈H(𝔹n), φ is a holomorphic self-map of 𝔹n,
and μ is a normal function on [0,1).
Then, uCφ:Hlog∞→Hμ,0∞ is compact if and only if u∈Hμ,0∞ and lim|φ(z)|→1μ(|z|)|u(z)|loge1−|φ(z)|2=0.
Proof.
Assume that uCφ:Hlog∞→Hμ,0∞ is compact. Then, it is clear that uCφ:Hlog∞→Hμ∞ is compact, and hence (2.16) holds. In addition,
taking the function given by f(z)=1,
we get u∈Hμ,0∞.
Conversely, suppose that u∈Hμ,0∞ and (2.16) holds. In the proof of the
implication we follow the lines, for example, of the proof of Lemma 4.2 in
[24]. From (2.16), it
follows that for every ε>0,
there exists a δ∈(0,1) such thatμ(|z|)|u(z)|loge1−|φ(z)|2<εwhen δ<|φ(z)|<1. From the assumption u∈Hμ,0∞,
we have that for the above ε,
there exists an r∈(0,1) such that when r<|z|<1,μ(|z|)|u(z)|<εlog(e/(1−δ2)).Therefore, if r<|z|<1 and δ<|φ(z)|<1,
we obtainμ(|z|)|u(z)|loge1−|φ(z)|2<ε.If |φ(z)|≤δ and r<|z|<1, we have thatμ(|z|)|u(z)|loge1−|φ(z)|2≤μ(|z|)|u(z)|loge1−δ2<ε.Combining (2.19) with
(2.20), we
getlim|z|→1μ(|z|)|u(z)|loge1−|φ(z)|2=0. On the other hand, from (1.5) we
have thatμ(|z|)|(uCφf)(z)|≤μ(|z|)|u(z)|loge1−|φ(z)|2∥f∥Hlog∞.Taking the supremum in the above
inequality over all f∈Hlog∞ such that ∥f∥Hlog∞≤1, then letting |z|→1,
by (2.21) it follows thatlim|z|→1sup∥f∥Hlog∞≤1μ(|z|)|(uCφ(f))(z)|=0.From this and by employing Lemma
2.2, we see that uCφ:Hlog∞→Hμ,0∞ is compact. The proof is complete.
Similar to the proofs of Theorems 2.3 and
2.4, we easily
get the following two results. We also omit their proofs.
Theorem 2.6.
Assume
that u∈H(𝔹n) and φ is a holomorphic self-map of 𝔹n.
Then, the following statements hold.
(a) uCφ:Hlog∞→Hlog∞ is bounded if and only ifsupz∈Bn|u(z)|log(e/(1−|φ(z)|2))log(e/(1−|z|2))<∞.
(b) uCφ:Hlog∞→Hlog∞ is compact if and only if u∈Hlog∞ andlim|φ(z)|→1|u(z)|log(e/(1−|φ(z)|2))log(e/(1−|z|2))=0.
Theorem 2.7.
Assume that u∈H(𝔹n) and φ is a holomorphic self-map of 𝔹n.
Then, the following statements hold.
(a) uCφ:Hlog∞→H∞ is bounded if and only ifsupz∈Bn|u(z)|loge1−|φ(z)|2<∞.
(b) uCφ:Hlog∞→H∞ is compact if and only if u∈H∞ andlim|φ(z)|→1|u(z)|loge1−|φ(z)|2=0.
Acknowledgment
X. Fu is supported in part by the Natural Science
Foundation of Guangdong Province (no. 73006147).
HuZ.Extended Cesàro operators on mixed norm spaces2003131721712179MR1963765ZBL1054.47023ShieldsA. L.WilliamsD. L.Bonded projections, duality, and multipliers in spaces of analytic functions197116228730210.2307/1995754MR0283559StevićS.Norm of weighted composition operators from Bloch space to Hμ∞ on the unit ball200888125127ClahaneD. D.StevićS.Norm equivalence and composition operators between Bloch/Lipschitz spaces of the ball20062006116101810.1155/JIA/2006/61018MR2253412ZBL1131.47018LiS.Fractional derivatives of Bloch-type functions2005462308314MR2141205ZBL1102.32003LiS.Derivative-free characterizations of Bloch spaces2008102253258MR2382759LiS.StevićS.Riemann-Stieltjes-type integral operators on the unit ball in ℂn200752649551710.1080/17476930701235225MR2326188ZBL1124.47022LiS.StevićS.Some characterizations of the Besov space and the α-Bloch spaceJournal of Mathematical Analysis and Applications. In press10.1016/j.jmaa.2008.05.044LiS.WulanH.Characterizations of α-Bloch spaces on the unit ball20083431586310.1016/j.jmaa.2008.01.023StevićS.On an integral operator on the unit ball in ℂn20051818810.1155/JIA.2005.81MR2145718ZBL1074.47013StevićS.On Bloch-type functions with Hadamard gaps2007200783917610.1155/2007/39176MR2365811TimoneyR. M.Bloch functions in several complex variables—I198012424126710.1112/blms/12.4.241MR576974ZBL0416.32010ZhuK.2005226New York, NY, USASpringerx+271Graduate Texts in MathematicsMR2115155ZBL1067.32005GirelaD.PeláezJ.Pérez-GonzálezF.RättyäJ.Carleson measures for the Bloch spacepreprint, 2008CowenC. C.MacCluerB. D.1995Boca Raton, Fla, USACRC Pressxii+388Studies in Advanced MathematicsMR1397026ZBL0873.47017ZhuX.Weighted composition operators between H∞ and Bergman type spaces2006214719727MR2267364StevićS.Weighted composition operators between mixed norm spaces and Hα∞ spaces in the unit ball2007200792862910.1155/2007/28629MR2377529TangX.Weighted composition operators between Bers-type spaces and Bergman spaces2007221616810.1007/s11766-007-0008-9MR2298712ZBL1125.47017LiS.StevićS.Weighted composition operators between H∞ and α-Bloch space in the unit ballto appear in Taiwanese Journal of MathematicsLiS.StevićS.Weighted composition operators from H∞ to the Bloch space on the polydisc20072007134847810.1155/2007/48478MR2320803ZBL1130.47015LiS.StevićS.Weighted composition operators from α-Bloch space to H∞ on the polydisc2007287-891192510.1080/01630560701493222MR2347688ZBL1130.47015StevićS.Composition operators between H∞ and α-Bloch spaces on the polydisc2006254457466MR2285095ZBL1118.47015LiS.StevićS.Composition followed by differentiation between Bloch type spaces200792195205MR2292805ZBL1132.47026LiS.StevićS.Weighted composition operators from Bergman-type spaces into Bloch spaces20071173371385MR2352056ZBL1130.47016LiS.StevićS.Generalized composition operators on Zygmund spaces and Bloch type spaces200833821282129510.1016/j.jmaa.2007.06.013MR2386496ZBL1135.47021LiS.StevićS.Products of composition and integral type operators from H∞ to the Bloch space200853546347410.1080/17476930701754118LiS.StevićS.Products of Volterra type operator and composition operator from H∞ and Bloch spaces to the Zygmund space200834514052OhnoS.StroethoffK.ZhaoR.Weighted composition operators between Bloch-type spaces200333119121510.1216/rmjm/1181069993MR1994487ZBL1042.47018Montes-RodríguezA.Weighted composition operators on weighted Banach spaces of analytic functions2000613872884MR1766111ZBL0959.47016UekiS.-I.LuoL.Compact weighted composition operators and multiplication operators between Hardy spaces200820081219649810.1155/2008/196498MR2393121YeS.Weighted composition operator between the little α-Bloch spaces and the logarithmic Bloch2008102243252MR2382758ZhuX.Generalized weighted composition operators from Bloch type spaces to weighted Bergman spaces2007492139150MR2341712ZBL1130.47017StevićS.Boundedness and compactness of an integral operator on a weighted space on the polydisc2006376343355MR2285372ZBL1121.47032StevićS.Boundedness and compactness of an integral operator in a mixed norm space on the polydisk2007483694706MR2347917MadiganK.MathesonA.Compact composition operators on the Bloch space199534772679268710.2307/2154848MR1273508ZBL0826.47023