- Research
- Open access
- Published:
The compactness of the sum of weighted composition operators on the ball algebra
Journal of Inequalities and Applications volume 2011, Article number: 45 (2011)
Abstract
In this paper, we investigate the compactness of the sum of weighted composition operators on the unit ball algebra, and give the characterization of compact differences of two weighted composition operators on the ball algebra. The connectness of the topological space consisting of non-zero weighted composition operators on the unit ball algebra is also studied.
2000 Mathematics Subject Classification. Primary: 47B33; Secondary: 47B38, 46E15, 32A36.
1. Introduction
Let H(B N ) be the class of all holomorphic functions on B N and S(B N ), the collection of all holomorphic self mappings of B N , where B N is the unit ball in the N-dimensional complex space . The closure of B N will be written as . Denote by A = A(B N ), the unit ball algebra of all continuous functions on that are holomorphic on B N . Then A is the Banach algebra with the supremum norm
And let H∞ = H∞ (B N ) be the set of all bounded holomorphic functions on B N . We denote by B(A) (B(H∞) resp.) the unit ball of A (H∞ (B N ) resp.).
For u, φ ∈ A with φ ∈ S(B N ), recall that the composition operator C φ induced by φ is defined by
the multiplication operator induced by u is defined by
and the weighted composition operator uC φ induced by φ and u is defined by
for z ∈ B N and f ∈ H(B N ). If let u ≡ 1, then uC φ = C φ ; if let φ = id, then uC φ = M u . It is clear that these operators are linear and uC φ is bounded on A. For some results in this topic see, for example, [1–6], and so on.
Let X be a Banach space of analytic functions, we write C(X), for the space of composition operators on X under the operator norm topology.
Moorhouse [7] considered the compactness of finite sum of composition operators on weighted Bergman spaces in the disk and gave a partial answer to the component structure of . Kriete and Moorhouse [8] continued to study the finite linear combination of composition operators acting on the Hardy space or weighted Bergman spaces on the disk. Hosokawa and Ohno, [9], and [10], discussed the topological structures of the sets of composition operators and gave a characterization of compact difference on Bloch space in the unit disk. Fang and Zhou [11] then gave a characterization of compact difference between the Bloch space and the set of all bounded analytic functions on the unit polydisk. Fang and Zhou [12] also studied the compact differences of composition operators on the space of bounded analytic functions in polydisk. Hosokawa and co-workers [13] studied the topological components of the topological space of weighted composition operators on the space of bounded analytic functions on the open unit disk in the uniform operator topology. These results were extended to the setting of H∞(B N ) by Toews [14], and independently by Gorkin and co-workers [15], and the setting of H∞(DN ) by Fang and Zhou [12], where DN is the unit polydisk. Bonet and co-workers [16] discussed the same problem for the composition operator on the weighted Banach spaces of holomorphic functions in the unit disk, which was also extended to the unit polydisc by Wolf in [17]. The case of weighted composition operators on the above spaces was treated by Lindström and Wolf [18]. Ohno [19] studied the differences of weighted composition operators on the disk algebra.
Building on these foundations, we study the compactness of the sum of certain class of weighted composition operators on the unit ball algebra, and give the characterization of compact differences of two weighted composition operators on the ball algebra. The connectness of the topological space consisted of non-zero weighted composition operators on the unit ball algebra is also studied.
2. The sum of weighted composition operators on A
In this section, we will give necessary and sufficient conditions for the sum of several weighted composition operators to be compact on A.
Let T be a bounded linear operator on a Banach space. Recall that T is said to be compact if T maps every bounded set into relatively compact one. And if T is a compact operator, T must map every weakly convergent sequence into norm convergent one, and a linear operator with that property is called to be completely continuous. In general, a completely continuous operator may not be always compact.
If φ ∈ S(B N )∩A, denote by Γ φ = {ζ ∈ ∂B N : |φ (ζ)| = 1}. For z, w ∈ B N , the involution automorphism between z and w is given by
where , , and . The induced distance between z and w is defined as
Pseudo-hyperbolic metric is defined by
and a theorem of Bear [20] gives that
Since the pseudo-hyperbolic metric ρ(z, w) ≤ 1 we have that
Toews [14] proved the following lemma:
Lemma 2.1. For any z ∈ B N , we have
(a): ρ(z; w) = |Φ w (z)| for any w ∈ B N , and
(b): {z : ρ (z, w) < λ} = Φ w (λB N ).
For ζ ∈ ∂B N and α > 1, we define a Koranyi approach region by
Since U Δ(ζ, α) = Δ (Uζ, α) for any unitary transformation U in , we can concentrate on understanding Δ (e1, α), where . Next lemma is crucial.
Lemma 2.2. For a real number 1 < α < 2 and e1 = (1, 0, ..., 0) in ∂B N , if {w n } is an arbitrary sequence in the Koranyi approach region Δ(e1, α), then
On the other hand, for every α > 2, we can find a sequence {w n } ⊂ Δ(e1, α) and w n → e1as n → ∞ satisfying
Proof. First, let 1 < α < 2. We have that
Suppose α > 2. Let , where r n is real with r n → 1- as n → ∞ and . It is clear that for sufficient large n
This means that {w n } ⊂ Δ(e1, α) for α > 2. Now we compute
□
For φ1, φ2, ..., φ p ∈ S(B N ) ∩ A, we simplify the notations and by Γ j and C j respectively. It is obvious that each weighted composition operator is a bounded operator on the ball algebra.
For any , denote by I(ζ) = {k ∈ {1, 2, ..., p}: ζ ∈ Γ k }. If k, j ∈ I(ζ), define k ~ j whenever ρ(φ j (z n ), φ k (z n )) → 0 holds for every sequence {z n } ⊂ B N converging to ζ. It is clear that the relation ~ is an equivalent relation on I(ζ). Denote by I(ζ) /~ as the quotient set, and I s (ζ)'s, which is called index sets of ζ, as the elements of I(ζ)/~. The lower index s ∈ {1, ..., p} is given by the smallest number in Is(ζ).
Next, we are going to study the compactness of acting on the ball algebra. In fact, it is difficult to characterize the compactness of the sum of several arbitrary u j C j 's. Here, we just consider the sum whose symbols are in a certain class of self mappings of B N .
Our admissible symbols of self mappings of B N are constrained by the following condition: Let φ ∈ S(B N ) ∩ A and Γ φ as defined above. For every ζ ∈ Γ φ and any arbitrary small ε > 0, if there exists a Koranyi region Δ(φ (ζ), α) with 1 < α < 2 such that
(*): (N(φ(ζ), ε) ∩ Δ (φ (ζ), α)) ∩ φ (B N ) ≠ ∅
where N(φ(ζ), ε) is the neighborhood of φ(ζ) with radii ε. We collect all self mappings of B N satisfied (*) and denote it by A*.
Remark 2.3. If φ ∈ S(B N ) ∩ A and the closure of φ(B N ) has no boundary contact with the unit sphere, we say that φ satisfies condition (*) trivially, that is to say φ ∈ A*.
The following theorem is our main theorem.
Theorem 2.4. Let u j ∈ A and φ j ∈ A* for j = 1, ..., p. Thenis compact on A if and only if and only iffor everyand every index set I s (ζ) of ζ.
Proof. To prove the necessity, let ζ be an arbitrary point in , I(ζ) and I s (ζ)'s are defined as above. We can find out a sequence {w n } ⊂ B N satisfying the following properties: as n → ∞,
(1): w n → ζ;
(2): φ k (w n ) → φ k (ζ) with k ∈ I s (ζ) and k ≠ s;
(3): φ l (w n ) → φ l (ζ) with l ∉ I s (ζ);
(4):.
The item (4) holds since every φ j ∈ A* and Lemma 2.2 guarantees the limit is non zero. From the item (3), we can choose the subsequences (also denoted by {w n }) satisfying
(5):.
For such a sequence {w n }, define the functions
Then f n ∈ A and ||f n ||∞ ≤ 2p+1. We claim that f n (z) → 0 for all as n → ∞. Indeed, if z = φ s (ζ), the item (4) guarantees f n (φ s (ζ)) → 0; and if z ≠ φ s (ζ), we have
So f n converges weakly to 0 in A, thus as n → ∞.
On the other hand,
We have that ρ(φ s (w n ), φ k (w n )) → 0 for every k ∈ I s (ζ) \ {s}. And from the item (5), we know that |f n (φ l (w n ))| → 0 for every l ∉ I s (ζ). Hence we have
To verify the sufficiency, we cannot use the "weak convergence theorem" (Proposition 3.11 of [21]), because the unit ball algebra is not closed in the compact open topology. Here, we use the definition of compact operator to illustrate that the sum of weighted composition operators is compact. Let f n ∈ A and ||f n ||∞ = 1. By the normal family argument, there exists a subsequence of {f n } and a function g analytic on B N such that converges to g uniformly on compact subsets of B N . Here, we have
Now define a function G on by setting
Next, we just need to show that G is continuous on , and converges uniformly to G on . In the following proof, we simplify the subsequence by f n .
We first prove that G is continuous on . Indeed, it is obvious that G is continuous on .
For , let I s (ζ)'s be its index sets and . Suppose that {z n } be a sequence in B N converging to ζ such that φ j (z n ) → φ j (ζ) j = 1, ..., p. So for each I s (ζ).
-
ρ(φ k (z n ), φ s (z n )) → 0 where k ∈ I s (ζ), and
-
ρ (φ l (z n ), φ s (z n )) ↛ 0 where l ∉ I(ζ).
Then, we compute
So, we have , and this holds for every . Thus G is continuous on .
Next, we shall show that converges uniformly to G on . Suppose not, and we may assume that, for ε > 0, . Then there exists a sequence {z n } ⊂ B N such that
This implies that max j {|φ j (z n )|} → 1 as n → ∞. Here we may assume that z n → ζ ∈ ∂B N , and define I(ζ), I s (ζ) as before. Similarly as the analysis above, we have that
-
ρ(φ k (z n ), φ s (z n )) → 0 where k ∈ I s (ζ),
-
ρ (φ l (z n ); φ s (z n )) ↛ 0 where l ∉ I s (ζ).
Hence
When l ∉ I(ζ), note that the limit of |φ l (z n )| is strictly less than 1, and f n converges to g on compact subsets of B N , thus f n (φ l (z n )) - g(φ l (z n )) → 0. By the preliminary conditions we know that for each index sets I s (ζ). Together with the above two items, we have . This fact contradicts (2.1). Thus, we have proved the sufficient condition. □
As a corollary of the sum theorem, we state the characterization of the compact differences of two weighted composition operators on A.
Theorem 2.5 Let u, v ∈ A and φ, ψ ∈ A*. Then uC φ - vC ψ is compact on A if and only if the following three conditions hold:
(a): If ζ ∈ Γ φ and limz→ζρ(φ(z), ψ(z)) ≠ 0, then u(ζ) = 0;
(b): If ζ ∈ Γ ψ and limz→ζρ(φ(z), ψ(z)) ≠ 0, then v(ζ) = 0;
(c): If ζ ∈ Γ φ ∩ Γ ψ , then u(ζ) = v(ζ).
Corollary 2.6 Let u ∈ A and φ ∈ A*, the associated weighted composition operator uC φ act compactly on A if and only if u(ζ) = 0 for every ζ ∈ Γ φ .
Proof. Just set v(z) = -u(z) and ψ(z) = φ(z) in the proof of Theorem 2.4. □
Corollary 2.7 Let φ, ψ ∈ A*. Then the following conditions are equivalent:
(i): C φ - C ψ is compact on A;
(ii): C φ - C ψ is completely continuous on A
(iii): Γ φ = Γ ψ .
Now, we illustrate Theorem 2.4 with the following example.
Example. If φ j (j = 1, ..., 5) are analytic self maps of B N with following formulas:
and
Then, is a compact operator on A.
Proof. First, note that Γ1 = {(1, 0, ..., 0)} = {e1}, Γ2 = {e1}, Γ3 = {e1}, Γ4 = {±e1}, Γ2 = ∅. And φ1(e1) = φ3(e1) = e1, φ2(e1) = (0, 1, 0, ..., 0) = (e2), φ4(±e1) = e1. Then, φ j ∈ A* for each j = 1, ..., 5. Take φ1 for example, the sequence {(1 - 1/n, 0, ..., 0)} converges to φ(e1) radially, and they have pre-images {(1 - 2/n, 0, ..., 0)} of φ1 in B N . Hence, φ1 satisfies (*). Then, we have I1(e1) = {1, 3, 4}, I2(e1) = {2} and I(-e1) = I4(-e1) = {4}. Compute that
I1(e1):u1(e1) + u3(e1) + u4(e1) = 2 - 3 + 1 = 0,
I2(e1):u2(e1) = 0,
I(-e1):u4(-e1) = 0.
By Theorem 2.4, is compact on A. □
3. Connectness of weighted composition operators on A
Shapiro and Sundberg [22] first discovered the relationship between compact differences and topological structure of the collection of composition operators on Hardy space. In this section, we will investigate the connectness of the topological space consisted of all weighted composition operators act on the unit ball algebra, and we use the notion to represent that topological space. It is trivial that
is a connected topological space.
Because we can connect any uC φ and 0 (the weighted composition operator uC φ when u ≡ 0) by the continuous path defined by t ↦ tuC φ . Indeed, for many function spaces, we denote by S generally, the weighted composition operators topological space is connected by the same path constructed above. So, we are interested in the connectness of the non-zero weighted composition operators topological space, and here we denote by . In this setting, the connectness of depends on the function space S.
Theorem 3.1is also a connected topological space.
Proof. Let distinct uC φ , . We construct a path
where u t (z) = tu(z) + (1 - t)v(z) and φ t (z) = tφ(z) + (1 - t)ψ(z). To avoid u t = 0 and φ t = 0 for some t ∈ [0, 1], we first assume that
(1): v ≠ θu for every θ < 0;
(2): ψ ≠ κφ for every κ < 0 with κφ ∈ S(B N ), where ψ = (ψ1, ..., ψ N ) and φ = (φ1, ..., φ N ).
We are going to prove that T(t) is a continuous path which connects uC φ and vC ψ , and here we simply denote by . For any s, t ∈ [0, 1],
The second term:
So, it converges to 0 as s → t.
The first term:
So, it converges to 0 as s → t, since φ t , φ s ∈ A (See Lemma 6 in [14]). Here, we obtain that {T(t)} is a continuous path which connects any different uC φ and vC ψ in .
Next, for any given , we need to find out continuous pathes from uC φ to either θuC φ or uC κφ where θ < 0 and κ < 0 with κφ ∈ S(B N ) ∩ A.
It is obvious that -uC φ and θuC φ can be connected. Then, we construct
to connect uC φ and -uC φ continuously: for s, t ∈ [0, 1],
as |t - s| → 0. Thus, θuC φ , with any θ < 0, can be connected continuously with uC φ .
Similarly as the analysis above, we note that -φ cannot be equal to κφ multiplied by any negative real numbers. Thus, uC-φand uC κφ can be connected. To connect uC-φand uC φ , we put μ = iφ ∈ S(B N ), and
By the same method of computation as in (3.1), Y1(t) and Y2(t) can be shown to be two continuous pathes in from uC φ and uC-φto uC μ .
Thus, the space is a connected topological space. □
Corollary 3.2 The topological space consisting of composition operators acting on the unit ball algebra is connected.
From the last result, we know that two weighted composition operators can be in the same component in without compact differences.
References
Xiao J: Composition operators associated with Bloch-type spaces. Complex Variables 2001, 46: 109–121.
Zhu KH: Operator Theory in Function Spaces. Marcel Dekker. Inc., New York; 1990.
Zhu KH: Spaces of Holomorphic Functions in the Unit Ball. In Grad Texts in Math. Springer, New York; 2005.
Zhou ZH, Chen RY: Weighted composition operators fom F ( p , q , s ) to Bloch type spaces. Inter J Math 2008,19(8):899–926. 10.1142/S0129167X08004984
Zhou ZH, Liu Y: The essential norms of composition operators between generalized Bloch spaces in the polydisc and its applications. J Inequ Appl 2006, 2006: 22. (Article ID 90742)
Zhou ZH, Shi JH: Compactness of composition operators on the Bloch space in classical bounded symmetric domains. Michigan Math J 2002, 50: 381–405. 10.1307/mmj/1028575740
Moorhouse J: Compact differences of composition operators. J Funct Anal 2005, 219: 70–92. 10.1016/j.jfa.2004.01.012
Kriete T, Moorhouse J: Linear relations in the Calkin algebra for composition operators. Trans Am Math Soc 2007, 359: 2915–2944. 10.1090/S0002-9947-07-04166-9
Hosokawa T, Ohno S: Topological structures of the sets of composition operators on the Bloch spaces. J Math Anal Appl 2006, 314: 736–748. 10.1016/j.jmaa.2005.04.080
Hosokawa T, Ohno S: Differences of composition operators on the Bloch spaces. J Oper Theory 2007, 57: 229–242.
Fang ZS, Zhou ZH: Differences of composition operators on the Bloch space in the polydisc. Bull Aust Math Soc 2009,79(3):465–471. 10.1017/S0004972709000045
Fang ZS, Zhou ZH: Differences of composition operators on the space of bounded analytic functions in the polydisc. Abstr Appl Anal 2008, 2008: 10. (Article ID 983132)
Hosokawa T, Izuchi K, Ohno S: Topological structure of the space of weighted composition operators on H∞. Integr Equ Oper Theory 2005, 53: 509–526. 10.1007/s00020-004-1337-1
Toews C: Topological components of the set of composition operators on H∞( B N ). Integr Equ Oper Theory 2004, 48: 265–280. 10.1007/s00020-002-1180-1
Gorkin P, Mortini R, Suarez D: Homotopic composition operators on H∞( Bn ), function spaces, Edwardsville, IL (2002) 177C188; Contemporary Mathematics, 328. Am Math Soc, Providence, RI 2003.
Bonet J, Lindström M, Wolf E: Differences of composition operators between weighted Banach spaces of holomorphic functions. J Aust Math Soc 2008, 84: 9–20.
Wolf E: Differences of composition operators between weighted Banach spaces of holomorphic functions on the unit polydisk. Result Math 2008, 51: 361–372. 10.1007/s00025-007-0283-z
Lindström M, Wolf E: Essential norm of the difference of weighted composition operators. Monatsh Math 2008, 153: 133–143. 10.1007/s00605-007-0493-1
Ohno S: Differences of weighted composition operators on the disk algebra. Bull Belg Math Soc Simon Stevin 2010, 17: 101–107.
Bear H: Lectures on Gleason parts, Lecture Note in Mathematics 121. Springer, Berlin and New York 1970.
Cowen CC, MacCluer BD: Composition Operators on Spaces of Analytic Functions. CRC Press, Boca Raton 1995.
Shapiro JH, Sundberg C: Isolation amongst the composition operators. Pacific J Math 1990, 145: 117–152.
Acknowledgements
The authors would like to thank the referees for the useful comments and suggestion which improved the presentation of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
All authors conceived and drafted the manuscript, and read and approved the final manuscript.
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
Tong, CZ., Zhou, ZH. The compactness of the sum of weighted composition operators on the ball algebra. J Inequal Appl 2011, 45 (2011). https://doi.org/10.1186/1029-242X-2011-45
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2011-45