SOME APPLICATIONS OF INTERPOLATING SEQUENCES FOR BANACH SPACES OF ANALYTIC FUNCTIONS HAMZEH KESHAVARZI Abstract. M. J. Beltr´an-Meneua et al. [2] and E. Jord´aand A. Rodr´ıguez-Arenas [17] characterized the (uniformly) mean ergodic composition operators on H∞(D) and ∞ Hν (D), respectively. In this paper, by using the interpolating sequences, we give other necessary and sufficient conditions for the (uniformly) mean ergodicity of composition operators on these spaces. MSC(2010): primary: 47B33, secondary: 47B38; 47A35. Keywords: interpolating sequences, mean ergodic operators, composition operators, weighted Bergman space of infinite order. 1. Introduction Let H(D) be the space of all analytic functions on the open unit disk D. Let ϕ be an analytic self-map of D. The map ϕ induces a composition operator Cϕ on H(D) which is defined by Cϕf = f ◦ ϕ. We refer to [13, 21] for various aspects of the theory of composition operators on holomorphic function spaces. Also, H∞(D) is the Banach space of bounded functions in H(D) with supremum norm. Consider the continuous function ν : D → (0, ∞). For 0 <p< ∞, the weighted p D D Bergman space Aν ( ) is the space of analytic functions f on where p p kfkν,p = |f(z)| ν(z) < ∞. Zz∈D For p = ∞, the weighted Bergman space of infinite order is defined as: p D ∞ D D Aν( )= Hν ( )= {f ∈ H( ) : sup |f(z)|ν(z) < ∞}. z∈D Throughout this paper, ν has the following properties: arXiv:2010.06951v2 [math.FA] 14 Dec 2020 (i) it is radial, that is, ν(z)= ν(|z|)), (ii) it is decreasing, (iii) lim|z|→1 ν(z) = 0 and ν(1−2−n−1) (iv) it satisfies the Lusky condition; infn ν(1−2−n) > 0. A well-known fact is that ν ≃ ν˜, where 1 ν˜(z)= . ∞ D sup{|f(z)| : f ∈ Hν ( ), kfk ≤ 1} By [5, 1.2 Properties, Part (iv)], for every z ∈ D there is a function fz in the unit ball ∞ D of Hν ( ) such that fz(z)=1/ν˜(z). Bonet et al. [7] showed that for such weighted ν, ∞ D the composition operators generated by disk automorphisms are bounded on Hν ( ). ∞ D Thus, by the Schwarz Lemma, every Cϕ is bounded on Hν ( ). Consider α > 0; we ∞ D ∞ D α use the notation Hα ( ) for the space Hν ( ) with the weight ν(z)=(1 −|z|) . 1 2 HAMZEH KESHAVARZI Let {ak} be a discrete sequence of points in D. If it is the case that for any bounded sequence of complex number {bk}, one can find a bounded analytic function, f, in D, such that f(ak)= bk, k =1, 2, ..., ∞ we say that {ak} is an interpolating sequence for H (D). Nevannlina [20] gave a necessary and sufficient condition for a sequence to be an interpolation sequence in H∞(D). Carleson [11] with a simpler condition presented another characterization for these sequences in H∞(D). Using interpolation sequences, Carleson solved the corona conjecture on H∞(D) in his celebrated paper [12]. Berndtsson [4] gave a sufficient ∞ condition for H (Bn)-interpolating sequences. Consider the sequence 1 n M (T )= T j, n n Xj=1 where T j is the j − th iteration of continuous operator T on the Banach space X. We say that T is mean ergodic if Mn(T ) converges to a bounded operator acting on X, in the strong operator topology. Also, T is called uniformly mean ergodic if Mn(T ) converges in the operator norm. M. J. Beltr´an-Meneua et al. [2] and E. Jord´aand A. Rodr´ıguez-Arenas [17] characterized the (uniformly) mean ergodic composition op- ∞ D ∞ D erators on H ( ) and Hν ( ), respectively. In this paper, by using the interpolating sequences, we give other necessary and sufficient conditions for the (uniformly) mean ergodicity of composition operators on these spaces. It is well-known that H∞(D) is a Grothendieck Dunford-Pettis (GDP) space. Lusky ∞ D ∞ D ∞ ∞ D [19], showed that Hν ( ) is isomorphic either to a H ( ) or to a l . Hence, Hν ( ) also is a GDP space. Lotz [18] proved that if X is a GDP space and in addition kT n/nk→ 0, then T is mean ergodic if and only if it is uniformly mean ergodic. M. J. Beltr´an-Meneua et al. [2] used the above results to characterize (uniformly) mean ergodic composition operators on H∞(D). Indeed, according to the result of Lotz, the mean ergodicity and uniformly mean ergodicity of composition operators on H∞(D) are equivalent. Also, they gave another equivalent geometric condition with the mean ergodicity of composition operators. In this paper, we give another equivalent condition: ∞ D 1 n we show that Cϕ on H ( ) is mean ergodic if and only if limn→∞ k n j=1 Cϕj ke = 0, where k.ke denotes the essential norm of operators. March T. BoedihardjoP and William B. Johnson [6] investigated the mean ergodicity of operators in Calkin algebra. E. Jord´aand A. Rodr´ıguez-Arenas [17] characterized the (uniformly) mean ergodic ∞ D composition operators on Hν ( ). Also, they showed that if Cϕ is mean ergodic then ϕ has an interior Denjoy-Wolff point. In this paper, we give another geometric necessary and sufficient conditions for the (uniformly) mean ergodic composition operators on ∞ D Hν ( ), when ϕ has an interior Denjoy-Wolff point. Also, we show that if ϕ is not an ∞ D elliptic disk automorphism, then Cϕ is uniformly mean ergodic on Hα ( ) if and only ∞ D if Mn(Cϕ) converges to 0 in Calkin algebra of Hα ( ). Throughout the paper, we write A . B when there is a positive constant C such that A ≤ CB, and A ≃ B when A . B and B . A. SOME APPLICATIONS OF INTERPOLATING SEQUENCES 3 2. Main Results Let ϕ be an analytic self-map of the unit disk. The point in the following theorem is called the Denjoy-Wolff point of ϕ. Theorem 2.1 (Denjoy-Wolff Theorem). If ϕ, which is neither the identity nor an elliptic automorphism of D, is an analytic map of the unit disk into itself, then there is a point w in D so that ϕj → w, uniformly on the compact subsets of D. If ϕ has an interior Denjoy-Wolff point, then we can conjugate it with an analytic self-map of D that fixes the origin. Hence, if ϕ has an interior Denjoy-Wolff point, we investigate only the case ϕ(0) = 0. Theorem 2.2. Consider ϕ : D → D analytic with ϕ(0) = 0, which is neither the iden- tity nor an elliptic automorphism of D. Then the following statements are equivalent: ∞ D (i) Cϕ is mean ergodic on Hν ( ). ∞ D (ii) Cϕ is uniformly mean ergodic on Hν ( ). (iii) For some (every) sequence (rn) ∈ (0, 1) where rn ↑ 1, ν(z) (2.1) lim sup =0. n→∞ |z|>rn ν(ϕn(z)) Moreover, if supz∈D ν(z) ≤ 1, then (iv) We have ν(z) (2.2) lim sup |ϕn(z)| =0. n→∞ |z|<1 ν(ϕn(z)) ∞ D Proof. (i)⇔ (ii): If f is in the unit ball of Hν ( ), then 1 |f(z)| ≤ , ∀z ∈ D. ν(z) Thus, by using the monotonicity of ν and the Schwarz lemma ν(z) |f(ϕn(z))|ν(z) ≤ ≤ 1, ∀z ∈ D. ν(ϕn(z)) Hence, kCϕn /nk→ 0. Therefore, from [18] it follows that (i) and (ii) are equivalent. (ii)⇒(iii). Consider the sequence (rn) ∈ (0, 1) where rn ↑ 1 and 2.1 does not hold. Since for any z ∈ D the sequence {|ϕi(z)|} is decreasing, there are an r > 0 and a sequence {an} ⊂ D where |an|→ 1 and ν(a ) n ≥ r. ν(ϕn(an)) Since |an| → 1, and lim|z|→1 ν(z) = 0, there are some s > 0 and k ∈ N such that |ϕn(an)| ≥ s, for all n ≥ k. Without loss of generality, we can let k = 1. Thus, by the Schwarz lemma for 1 ≤ i ≤ n, ν(an) ν(an) ≥ ≥ r, |ϕi(an)|≥|ϕn(an)| ≥ s. ν(ϕi(an)) ν(ϕn(an)) n Hence, by the proof of [14, Lemma 13], for every n, {ϕi(an)}i=1 is an interpolation. n ∞ D Thus, by [4, Page 3] there is some M > 0 and {fi,n}i=1 in H ( ) such that 4 HAMZEH KESHAVARZI (a) fi,n(ϕi(an)) =1 and fi,n(ϕj(an)) = 0, for i =6 j. n N (b) supz∈D i=1 |fi,n(z)| ≤ M, for all n ∈ . Now we defineP the functions n fn(z)= zϕi(an)fi,n(z)fϕi(an)(z). Xi=1 α We can easily see that supz∈D |fn(z)|(1 −|z|) ≤ M, fn(0) = 0 and 2 |ϕi(an)| fn(ϕi(an)) = . ν˜(ϕi(an)) Therefore, 1 n 1 n ν(a ) f (ϕ (a ))ν(a |)= n |ϕ (a )|2 & s2r. n n i n n n ν˜(ϕ (a )) i n Xi=1 Xi=1 i n But this is a contradiction with the uniformly mean ergodicity of Cϕ. (iii)⇒(i). Let {rn} be a sequence in (0, 1) such that rn ↑ 1 and 2.1 holds. Consider ε> 0 arbitrary. By using 2.1, there exists some N such that ν(|z|) sup < ε. |z|>rN ν(|ϕN (z)|) Now by the Schwarz lemma ν(|z|) sup < ε, ∀n ≥ N. |z|>rN ν(|ϕn(z)|) ∞ D Let f be in the unit ball of Hν ( ). Then 1 n 1 n sup |f ◦ ϕ (z) − f(0)|ν(|z|) = sup |f ◦ ϕ (z) − f(0)|ν(|z|) n i n i |z|<1 Xi=1 |z|≤rN Xi=1 1 n + sup |f ◦ ϕ (z) − f(0)|ν(|z|).