Closed Range Composition Operators on BMOA


 Meagan May
 6 days ago
 Views:
Transcription
1 University of Arkansas, Fayetteville Theses and issertations Closed Range Composition Operators on BMOA Kevser Erdem University of Arkansas, Fayetteville Follow this and additional works at: Part of the Numerical Analysis and Computation Commons Recommended Citation Erdem, Kevser, "Closed Range Composition Operators on BMOA" (2018). Theses and issertations This issertation is brought to you for free and open access by It has been accepted for inclusion in Theses and issertations by an authorized administrator of For more information, please contact
2 Closed range composition operators on BMOA A dissertation submitted in partial fulfillment of the requirements for the degree of octor of Philosophy in Mathematics by Kevser Erdem Nigde University Bachelor of Science in Mathematics, 2006 University of Arkansas Master of Science in Mathematics, 2015 August 2018 University of Arkansas This dissertation is approved for recommendation to the Graduate Council. Maria Tjani, Ph.. issertation irector Phil Harrington, Ph.. Committee Member aniel Luecking, Ph.. Committee Member
3 Abstract Let ϕ be an analytic selfmap of the unit disk. The composition operator with symbol ϕ is denoted by C ϕ. Reverse Carleson type conditions, counting functions and sampling sets are important tools to give a complete characterization of closed range composition operators on BMOA and on Q p for all p (0, ). Let B denote the Bloch space, let H 2 denote the Hardy space. We show that if C ϕ is closed range on B or on H 2 then it is also closed range on BMOA. Closed range composition operators C ϕ : B BMOA are also characterized. Laitila found the isometries among composition operators on BMOA. We extend this to Q p for all p (0, ).
4 Acknowledgements I would like to take this opportunity to express my gratitude to my mentor and advisor r. Maria Tjani, for her time, persistence, support, motivation. Σας ευχαριστ ω πoλυ thank you so much r. Tjani for always sticking with and showing the positive side of things; your help with improving myself. I cannot thank you enough for your mentoring, positivity, and optimism. You are the best. I also would like to extend my appreciation to the rest of the committee: r. aniel H. Luecking and r. Phil Harrington for their time and support during my studies. I would like to thank the department chair r. Mark Johnson for his care when he arranges my teaching schedule and for his referrals during my job applications. I would like to thank r. John Akeroyd for his job referrals, as well as r. Matt Clay for his guidance and referrals during my job applications. I would like to express my deepest gratitude to my mother Salise Baktir and father Hamdi Baktir; my siblings Mehmet, Beyza, and Betul; as well as my inlaws Hatice and Bekir Erdem. Throughout my whole education history, you have been so kind and supportive. You were with me when needed. Thank you so much for everything (Iyiki varsiniz!). I do not want to forget my dear friend Nurhan for her support and numerous other friends and colleagues at the U of A, such as aniel, Melinda, Rachael, and Razieh whose presence contributed to enjoying the graduate school and relieved daily stresses. Last but not least, I would like to recognize the staff at the epartment of Mathematical Sciences at the University of Arkansas who have been very friendly and helpful at all matters.
5 edication I dedicate this dissertation to my beloved daughter Afra and husband Burhan. They have a special place in my completion of this degree. A huge thank you for your support behind the scenes. You are nothing but a blessing. Thank you darlings, for always being with me and believing in success; without your positive energy and humongous smiles I would not be standing where I am now.
6 Table of Contents 1 Introduction 1 2 The Bloch space, BMOA and V MOA 8 3 Bounded and closed range composition operators on BM OA 19 4 Composition operators on Q p 42 References 54
7 1 Introduction The Hardy space H 2 is the collection of analytic functions on the open unit disk whose power series have square summable coefficients, that is if f(z) = then a n z n n=0 f 2 H = a 2 n 2 <. n=0 The above defines a norm in H 2. Let ϕ be an analytic selfmap of. The composition operator, denoted by C ϕ, is the operator that maps f to f ϕ, that is C ϕ f = f ϕ for f analytic on. Studies of composition operators start with the Hardy space setting. Boundedness, compactness as well as closed rangeness have been studied in this setting. Then, a very natural question is to study these properties on other function spaces. Closed range composition operators were first studied by Cima, Thomson and Wogen in [9], in the context of H 2. Their results are in terms of the boundary behavior of the symbol ϕ. They posed the question of studying closed range composition operators in terms of properties of ϕ on rather than on its boundary. The question was answered by Zorboska in [38] who studied the problem in H 2 and also in weighted Bergman spaces. In [17] Jovovic and MacCluer studied the problem in weighted irichlet spaces. Closed range composition operators in the Bloch space were investigated by Ghatage, Yan and Zheng in [14], by Ghatage, Zheng and Zorboska in [15], by Chen and Gauthier in [8] and by Akeroyd, Ghatage and Tjani in [3]. Akeroyd, Ghatage and Tjani revisited the problem in the context of the Bergman space, see [2] and [3]. The journey on closed range composition 1
8 operators is continued on Besov type spaces B p,α, p > 1, α > 1 by Tjani, see [34]. Let X, Y be Banach spaces, let T : X Y be a linear operator. The norms in X, Y are denoted by. X,. Y respectively. We say that a bounded operator T is bounded below if there exists a δ > 0 such that for all x X T x Y δ x X. (1) Moreover, if T X is a closed subspace of Y, then we say that T is closed range. The Closed Graph Theorem, see [37, Theorem 1.5], says that T is a bounded operator if and only if its graph is closed in X Y. If T is onetoone and is closed range then, by the Closed Graph Theorem and since T 1 : T (X) X is a bounded operator, and we can easily see that T is bounded below. Moreover, if T is bounded below and (x n ) is a sequence in X such that T x n y for some y Y, then by (1) we can easily see that (x n ) is a Cauchy sequence, hence it converges to some x X. Since T is a bounded operator T x n T x and so T x = y. We conclude that T is closed range. Therefore if T : X Y is a bounded linear operator that is onetoone then T is closed range if and only if T is bounded below. Here and thereafter, if A and B are two quantities that depend on an analytic function f on, we will use the notation A B and say that A is equivalent to B; that is, there exist positive constants c 1, c 2 such that c 1 A B c 2 A. This thesis aims to contribute by giving a complete characterization of closed range composition operators on BM OA, the space of analytic functions on with bounded mean oscillation and also on the spaces Q p, 0 < p <. In Chapter 2, we give definitions of BMOA, V MOA, the Bloch Space, the irichlet space and the Bergman space. We also give the properties and connections of these spaces that we will use in later chapters. 2
9 In Chapter 3, we characterize closed range composition operators, C ϕ, on BMOA. It is well known that composition operators in BMOA are bounded for any symbol ϕ that is an analytic selfmap of. A crucial tool to this work is a non univalent change of variables formula involving the counting function for BMOA that is similar to the well known change of variables formula involving the Nevanlinna counting function. Let q, α q = q z, and ζ. If ζ ϕ() the BMOA counting function is 1 qz N q,ϕ (ζ) = ϕ(z)=ζ (1 α q (z) 2 ), it is understood that if ζ is not in the range of ϕ, then N q,ϕ (ζ) = 0. Given ε > 0 and q let G ε,q = {ζ : N q,ϕ (ζ) > ε (1 α q (ζ) 2 )} and let G ε = q G ε,q. We define the notion of sampling in BMOA and prove the following. Theorem 3.6 Let ϕ be a nonconstant analytic self map of. If C ϕ is closed range on BMOA then there exists ε > 0 such that G ε is a sampling set for BMOA. Moreover, if q G ε,q is a sampling set for BMOA, then C ϕ is closed range on BMOA. The above result provides necessary and in general different sufficient conditions for C ϕ to have closed range on BMOA. Next we look for a single condition that is both necessary and sufficient. Given ε > 0 and q, q let G ε,q,q = {ζ : N q,ϕ(ζ) > ε (1 α q (ζ) 2 ) }. Theorem 3.8 Let ϕ be an analytic selfmap of. Then, there exists k > 0 such that for all q, α q ϕ k if and only if there exists an ε > 0 and r (0, 1) such that for all q, there exists q such that G ε,q,q (q, r) (q, r) 1. Moreover, G ε = q G ε,q,q satisfies the reverse Carleson condition. By using reverse Carleson type sets we prove the following. Theorem 3.11 Let ϕ be an analytic selfmap of. Then the composition operator 3
10 C ϕ : B BMOA is closed range if and only if there exists an ε > 0 and r (0, 1) such that for all q, there exists q such that G ε,q,q (q, r) (q, r) 1. In Theorem 3.14 we show that a set satisfies the reverse Carleson condition if and only if it is a sampling set on BMOA. Next, we use another method and provide a full characterization of closed range composition operators on BMOA. We note that by Theorem 3.8 and Theorem 3.11, C ϕ is closed range on BMOA if and only if it is closed range as an operator from B to BMOA. Theorem 3.12 The composition operator C ϕ is closed range on BMOA if and only if there exists a constant k > 0 such that α q ϕ k, for all q. Since a composition operator C ϕ is bounded on V MOA if and only if ϕ V MOA, we have the following. Corollary 3.13 Let ϕ V MOA. Then C ϕ is closed range on V MOA if and only if there exists a constant k > 0 such that α q ϕ k, for all q. We also show that if C ϕ is closed range on the Bloch space or the Hardy space then it is closed range on BMOA, see Corollary 3.16 and Corollary Moreover, we show that for a univalent selfmap of, C ϕ is closed range on B if and only if C ϕ closed range on BM OA, see Corollary Finally, in Theorem 3.19 we give another characterization of closed range composition operators on BM OA. Theorem 3.19 For each ϕ analytic self map of, the following conditions are equivalent: (a) There exists k (0, 1] such that for every w, α w ϕ k. (b) There exists k (0, 1] such that for every w there exists w with 4
11 α w (w ) 2 1 k 2, there exists a sequence (q n ) in such that ϕ(q n ) w and lim ϕ q n H 2 k, n where for all natural numbers n, ϕ qn = α ϕ(qn) ϕ α qn. them. In Chapter 4 we define the spaces Q p and study closed range composition operators on Firstly, we show a Lipschitz continuity property that f α q f(q) Qp has with respect to the pseudohyperbolic metric. The space p will be defined in Chapter 4. Theorem 4.1 Let p (0, 1]. Then, for each f Q p and for all q, w f α q f(q) 2 p f α w f(w) 2 p 2 p+1 ρ(q, w) f 2 Q p. If p (1, ) then Q p is the Bloch space with and equivalent norm and we have the following. Theorem 4.3 Let p (1, ). Then for each f Q p and all q, w f α q f(q) 2 p f α w f(w) 2 p 4p ρ(q, w) f 2 Q p. Let p [0, ). The counting function for Q p for each q, and if ζ ϕ() is defined by N q,ϕ (ζ, p) = (1 α q (z) 2 ) p ; ϕ(z)=ζ if ζ / ϕ() then N q,ϕ (ζ, p) = 0. In Theorem 4.5 and Theorem 4.6 we give necessary and different sufficient conditions for C ϕ to be closed range in Q p, for p (0, 1), in terms of sampling type measures. Theorem 4.5 Let p (0, 1) and assume that C ϕ is a bounded operator on Q p. If there 5
12 exists an ɛ > 0 such that sup f (ζ) 2 N q,ϕ (ζ)da(ζ) f 2 Q p q q G ɛ,q then the composition operator C ϕ is closed range on Q p. Theorem 4.6 Let p (0, 1) and assume that C ϕ is a bounded operator on Q p. If C ϕ is closed range on Q p then there exists an ɛ > 0 such that for all f Q p sup f (ζ) 2 N q,ϕ (ζ)da(ζ) f 2 Q p. q G ɛ The main results of the chapter are Theorem 4.7, Theorem 4.8 and Theorem 4.9. They provide a complete characterization of closed range composition operators on Q p for all p (0, ). We also note that Theorem 4.9 gives a characterization of all isometries on Q p for all p (0, ). The isometries in B with the standard norm are known. Theorem 4.9 gives the isometries in the norm. Qp, p > 1. Theorem 4.7 Let p > 0 and assume that C ϕ is a bounded operator on Q p. Then, there exists k > 0 such that for all q, α q ϕ Qp k if and only if there exists an ε > 0 and r (0, 1) such that for all q, there exists q such that G ε,q (q,r) N q,ϕ(ζ) da(ζ) (q, r) 1. Theorem 4.8 Let p > 0 and assume that C ϕ is a bounded operator on Q p. The composition operator C ϕ is closed range on Q p if and only if there exists a constant k > 0 such that α q ϕ Qp k, for all q. Theorem 4.9 Let p > 0, assume that C ϕ is a bounded operator on Q p. The following conditions are equivalent: (a) There exists k (0, 1] such that for every w, α w ϕ Qp k. (b) There exists k (0, 1] such that for every w there exists w with 6
13 α w (w ) 2 1 k 2, there exists a sequence (q n ) in such that ϕ(q n ) w and lim ϕ q n p k, n where for all natural numbers n, ϕ qn = α ϕ(qn) ϕ α qn. We conclude this chapter by providing the following corollary which summarizes our results on closed range composition operators on B. Corollary 4.10 Let ϕ be a nonconstant analytic selfmap of, and p > 1. Then, the following are equivalent (a) The composition operator C ϕ is closed range on B. (b) For all q, α q ϕ B 1. (c) There exists an ɛ > 0 and r (0, 1) such that for all q, there exists q such that G ε,q (q,r) N q,ϕ(ζ) da(ζ) (q, r) 1. (d) There exists k (0, 1] such that for every w there exists w with α w (w ) 2 1 k 2, there exists a sequence (q n ) in such that ϕ(q n ) w and lim ϕ q n p k, n where for all natural numbers n, ϕ qn = α ϕ(qn) ϕ α qn. 7
14 2 The Bloch space, BMOA and V MOA Let be the open unit disk {z C : z < 1} in the complex plane C and let T be the unit circle. A Möbius transformation is a onetoone analytic function that maps onto itself. It has the form e iθ α q (z) where α q (z) = q z 1 qz for q and z. The set of all Möbius transformations is denoted by Aut(). Note that α q exchanges the points 0 and q and its inverse under composition is itself. Moreover, α q(z) = 1 q 2 1 qz 2 and 1 α q (z) 2 = (1 q 2 )(1 z 2 ) 1 qz 2 = (1 z 2 ) α q(z) (2) for q, z. For each p, q ( p z ) α q α p (z) = α q 1 pz = q p z 1 pz 1 q p z 1 pz p q z(1 q p) = (1 qp) + z( p q) = 1 q p 1 qp α p (q) z 1 ᾱ p (q)z Let b = α p (q) and ρ = 1 q p 1 qp. Then, ρ = 1 and we obtain α q α p = ρ α αp(q). (3) 8
15 The pseudohyperbolic distance ρ between two points q, z is defined by ρ(q, z) = α q (z) = q z, (4) 1 qz is invariant under Möbius transformations, that is, for all z, q and ϕ Aut(). ρ(ϕ(q), ϕ(z)) = ρ(q, z) and satisfies the following version of triangle inequality, see [12, Lemma 1.4]. Given z, q, w, ρ(q, w) ρ(w, z) 1 ρ(q, w)ρ(w, z) ρ(q, z) ρ(q, w) + ρ(w, z) 1 + ρ(q, w)ρ(w, z). (5) Let A denote area measure on normalized by the condition A() = 1, for each H, abbreviate A(H) with H. We denote the euclidean disk centered at q with radius r (0, 1) with (q, r). The pseudohyperbolic disk (q, r) centered at q with radius r (0, 1) is (q, r) = {z : ρ(z, q) < r}. (6) If r (0, 1) is fixed and z (q, r) then by [37, Proposition 4.5] A((q, r)) (1 z 2 ) 2 (q, r) (1 q 2 ) 2, (7) and 1 qz 1 z 2 1 q 2. (8) 9
16 efinition 2.1. The Bloch space B of is the space of analytic functions f on such that f B = sup(1 z 2 ) f (z) <. z The Bloch space is a Banach space with norm f B = f(0) + f B. It is invariant under Möbius transformations, that is, if f B then f ϕ B, for all Möbius transformation ϕ. In fact, by (2) and for all q, z f α q B = sup(1 z 2 ) (f α q ) (z) z = sup(1 z 2 ) f (α q (z)) α q(z) z = sup(1 α q (z) 2 ) f (α q (z)) z = sup (1 ζ 2 ) f (ζ) z = f B. The polynomials are not dense in the Bloch space. The closure of the polynomials in the Bloch norm is called the little Bloch space, denoted by B 0. It is well known, see for example [37, page 84]. f B 0 lim z 1 (1 z 2 ) f (z) = 0. Moreover, as Rubel and Timoney showed in [25] the Bloch space is the largest Möbius invariant Banach space that has a nonzero linear functional that extends to a continuous linear functional on H(), the space of all analytic functions on. efinition 2.2. The Bergman space A 2 is the Hilbert space of analytic functions f on that are squareintegrable with respect to normalized area measure that is, f 2 A = f(z) 2 da(z) <. 2 10
17 An equivalent norm on A 2, see for example [37, Theorem 4.28] is given by f 2 A 2 f(0) 2 + f (z) 2 (1 z 2 ) 2 da(z). It is well known that the Bloch space can be regarded as the area version of BMOA. In particular, by [1, Theorem 5.5] and for all f B, f B sup f α q f(q) A 2, q and by [37, Theorem 4.28], f 2 B sup f (z) 2 (1 α q (z) 2 ) 2 da(z). (9) q efinition 2.3. The irichlet space is the space of analytic functions on such that f = f(0) 2 + f (z) 2 da(z) <. Next, we give the definition of analytic BMO, namely BMOA space which is a Möbius invariant version of the Hardy Space H 2. efinition 2.4. An analytic function f H() belongs to BMOA if f G = sup f α q f(q) H 2 <. (10) q We note that f G defines a seminorm and f(0) + f G is a norm in BMOA that makes it a Banach space. Notation S(h, θ) = {z : z e iθ < h}, where θ [0, 2π), h (0, 1). The notion of BMOA first arose in the context of mean oscillation of a function over cubes with edges parallel to the coordinate axes or equivalently over sets of the form 11
18 S(h, θ) ([28, pages, 3639]). That is, f 2 1 sup f (z) 2 (1 z 2 )da(z). (11) h (0,1),θ [0,2π) h S(h,θ) Given h > 0 and θ R, let Q = {re iθ : θ 0 < θ < θ 0 + h, 1 h < r < 1}. A positive measure µ in is a Carleson measure for the Hardy space if there exists a constant k > 0 such that µ(q) kh, for all h > 0. It is known, see for example [12, Lemma 3.3], that µ is a Carleson measure for the Hardy space if and only if 1 q 2 sup q 1 qz dµ(z) <. 2 Then f BMOA if and only if f (z) 2 (1 z 2 )da(z) is a Carleson measure for the Hardy space. Theorem 2.1. [31, page 178] (The LittlewoodPaley Identity) If f is an analytic on, then f 2 H = 2 f(0) f (z) 2 log 1 da(z). (12) z The following allows us to obtain a useful variation of the LittlewoodPaley identity, see [31, page 178] and [12, Lemma 3.2 ]. Proposition 2.2. For every analytic function g on, g(z) log 1 z da(z) g(z) (1 z 2 )da(z). 12
19 Proof. We know that for all z \ {0} 1 z 2 2 log 1 z, (13) and z > 1/4 implies that there exists a constant c 1 > 0 such that log 1 z c 1(1 z 2 ). (14) Let g be an analytic function on. Then by (13) g(z) (1 z 2 )da(z) 2 g(z) log 1 da(z), (15) z and g is subharmonic. Therefore, if z 1/4 then g(z) 16 = 16 (z,1/4) (z,1/4) g(ζ) da(ζ) g(ζ) (1 ζ 2 ) 1 ζ 2 da(ζ). Notice that if ζ (z, 1/4), then ζ 1/2 and g(z) 22 g(ζ) (1 ζ 2 )da(ζ). (16) By (14) \(0,1/4) g(z) log 1 z da(z) c 1 g(z) (1 z 2 ) da(z) (17) 13
20 and by (16) (0,1/4) g(z) log 1 da(z) 22 z ( = 22 (0,1/4) log 1 g(ζ) (1 ζ 2 ) da(z) da(ζ) z ) log 1 (0,1/4) z dz g(ζ) (1 ζ 2 )da(ζ). Notice that (0,1/4) log 1 z da(z) = = 2 1/4 2π 0 0 1/ , log 1 dθ rdr r π r log 1 r dr and there exists c > 0 such that (0,1/4) g(z) log 1 z da(z) c g(ζ) (1 ζ 2 )da(ζ). (18) Therefore by (15), (17), and (18) we arrive at the conclusion. By the LittlewoodPaley identity f 2 G = sup (f α q ) (z) 2 log 1 q z da(z) and by Proposition 2.2, f G f where f 2 = sup (f α q ) (z) 2 (1 z 2 )da(z). (19) q 14
21 Note that by (19) and by making change of variables α q (z) = w we obtain f 2 = sup q = sup q (f (α q (z))) 2 α q(z) 2 (1 z 2 )da(z) f (w) 2 (1 α q (w) 2 )da(w). (20) There are a number of equivalent norms in BMOA. We will use f BMOA = f(0) + f. It is easy to see that BMOA is a Möbius invariant Banach space. Let f BMOA, p. Then by (20) f α p 2 = sup q = sup q = sup q (f α p ) (z) 2 (1 α q (z) 2 )da(z) (f (α p (z)) 2 α p(z) 2 (1 α q (z) 2 )da(z) f (ζ) 2 (1 α q (α p (ζ)) 2 )da(ζ). For each q and by (3), let α q α p = e iθ α Q for some Q, θ R; then f α p 2 = sup f (w) 2 (1 α Q (w) 2 )da(w) Q = f 2. 15
22 For each q and since BMOA is a Möbius invariant Banach space, α q = z, α q z G = sup α q q H 2 q = sup q = sup q z(1 q 2 ) H 2 1 qz z (1 q 2 ) 1 qz H 2 = sup(1 q 2 ) z q = sup(1 q 2 ) q ( qz) n H 2 n=0 ( q) n 1 z n n=1 = sup (1 q 2 ) 1 ( q \{0} q n=1 q 2n) 1 2 = sup(1 q 2 ) 1 q q ( 1 1 q 1) = 1. (21) One of the many similarities between the Bloch space and BMOA is that polynomials are not dense in either space. The closure of the polynomials in the BMOA norm is V MOA, the space of analytic functions with vanishing mean oscillation. The space V MOA can be characterized as all those analytic functions f on such that lim f (w) 2 (1 α q (w) 2 da(w) = 0 (22) q 1 (the littleoh version of (20)). We can see that BMOA is a subspace of the Bloch space as follows: f (0) f H 2 16
23 for any f analytic on ; therefore there exists c > 0 such that for each q f (q) (1 q 2 ) = (f α q f(q)) (0) f α q f(q) H 2 c f. (23) Hence, f B c f for all f BMOA and BMOA B and the inclusion map i : BMOA B is continuous. Below we establish the growth of BMOA functions. Let f BMOA. Then f is analytic on and for all z, f(z) f(0) = z 1 0 f (tz)dt. Since the inclusion map i : BMOA B is continuous, there exists c > 0 such that for all z f (z) (1 z 2 ) c f and f(z) f(0) z 1 0 f (tz) dt c z f t 2 z 2 dt = c 2 f log 1 + z 1 z. (24) Therefore, f(z) f(0) + c 2 f log 1 + z 1 z. (25) 17
24 Finally we note that VMOA BMOA B A 2. Let H denote the set of all functions in H() that are bounded. Given f H let f = sup f(z). z By applying Schwarz Lemma we obtain that for all z, f (z) (1 z 2 ) f, see [37, page 101]. By (10) it is now easy to see that H BMOA. There are unbounded functions in BM OA. The function log(1 z) BMOA. In fact, if f is any analytic, univalent, and zero free function then log f BMOA (This result first appeared in [5] and [10]). Below we give more examples of BM OA functions. If (a n ) is a bounded sequence then 1 n=1 a n nz n BMOA, and if n=1 a n 2 < then n=0 a nz λn BMOA, where (λ n ) is a sequence of integers satisfying λ n+1 λ n λ > 1, λ is a constant and n is a natural number. 18
25 3 Bounded and closed range composition operators on BM OA Given ϕ an analytic selfmap of, the composition operator, C ϕ is defined for all f H() as follows, C ϕ f = f ϕ. It is well known that all composition operators C ϕ are bounded on the Hardy space H 2 and, if ϕ(0) = 0, then C ϕ is a contraction. Theorem 3.1. [31, page 13] Littlewood s Subordination Principle (1925) Suppose ϕ is an analytic selfmap of, with ϕ(0) = 0. Then for each f H 2, C ϕ f H 2 and C ϕ f H 2 f H 2. More generally, we have the following. Theorem 3.2. [31, page 13] Littlewood s Theorem (1925) Let ϕ : be an analytic function.then C ϕ is bounded on H 2 (), and C ϕ f H ϕ(0) 1 ϕ(0) f H 2. efinition 3.1. The Nevanlinna counting function of ϕ is N ϕ (w) = ϕ(z)=w log 1 z if w ϕ(); if w ϕ() then we set N ϕ (w) = 0. Theorem 3.3. [31, page 187] Littlewood s Inequality If ϕ is an analytic selfmap of, then for each w \ {ϕ(0)}, N ϕ (w) log 1 wϕ(0) w ϕ(0). 19
26 efinition 3.2. For each q, and if ζ ϕ() the BMOA counting function is N q,ϕ (ζ) = (1 α q (z) 2 ) ; ϕ(z)=ζ if ζ ϕ() then we set N q,ϕ (ζ) = 0. Counting functions have played an important role in the study of compact, bounded and closed range composition operators. The Nevanlinna counting function for composition operators in BMOA appears with a nonunivalent change of variables as it is done in [31, page 186]. For each f BMOA, C ϕ f 2 = sup q = sup q (f ϕ) (z) 2 (1 α q (z) 2 )da(z) (f (ϕ(z)) 2 ϕ (z) 2 (1 α q (z) 2 )da(z). Then we have C ϕ f 2 = sup f (ζ) 2 N q,ϕ (ζ) da(ζ). (26) q It is well known that C ϕ is always bounded on BMOA, see [4, Theorem 12]. Littlewood s Subordination Principle provides a proof, see for example [33]. Smith points out in [32] that Littlewood s inequality provides an alternate proof, which we will describe below for our chosen norm. Theorem 3.4. Let ϕ be an analytic selfmap of. Then C ϕ is a bounded operator on BMOA. Proof. For all z \ {0} we have, 1 z 2 log 1 z 2 20
27 therefore by (26) C ϕ f 2 sup f (ζ) 2 1 log da(ζ). (27) q α q (z) 2 ϕ(z)=ζ By Proposition 2.2 and Littlewood s Inequality, there exists C > 0 such that C ϕ f 2 sup q sup q f (ζ) 2 1 log α ϕ(q) (ζ) da(ζ) 2 f (ζ) 2 1 log α q (ζ) da(ζ) 2 C f 2, (28) and C ϕ is a bounded operator on BMOA. Next, let X = B, BMOA or V MOA and Y = BMOA or V MOA. We show that for C ϕ to be bounded below, we can restrict on subspaces of functions that vanish at the origin. The canonical seminorm in X is denoted by. sx. Proposition 3.5. Let X = B, BMOA or V MOA and Y = BMOA or V MOA. The composition operator C ϕ : X Y is bounded below if and only if there exists a δ > 0 such that C ϕ f δ f sx, for all f X. Proof. First, assume that C ϕ : X BMOA is bounded below. Let f X and g(z) = f(z) f(ϕ(0)). Then, g X, g(ϕ(0)) = 0, g sx = f sx and g ϕ = f ϕ. Thus, there exists δ > 0 such that C ϕ f = f ϕ = g ϕ = g ϕ BMOA δ g X δ g sx = δ f sx. Conversely, assume that there exists a δ > 0 such that f ϕ δ f sx, for all f X. Then by (24) there exists C > 0 such that f(0) f(ϕ(0)) + C f sx log 1 + ϕ(0) 1 ϕ(0), 21
28 which implies that there exists C > 0 such that f X = f(0) + f sx f(ϕ(0)) + C f sx log 1 + ϕ(0) 1 ϕ(0) + 1 δ f ϕ f(ϕ(0)) + c δ f ϕ log 1 + ϕ(0) 1 ϕ(0) + 1 δ f ϕ C f ϕ BMOA. Hence, C ϕ is bounded below on BMOA. efinition 3.3. Let µ be a finite positive Borel measure on. We say that µ is a Carleson measure for the Bergman space if there exists constant c > 0 such that for all f A 2 f(z) 2 dµ(z) c f(z) 2 da(z). By [37, Theorem 7.4], given r (0, 1), µ is a Carleson measure if and only if there exists c r > 0 such that for all w, µ((w, r)) c r (w, r). The Berezin symbol of µ is µ(q) = α q(z) 2 dµ(z), q. (29) It is well known that µ is a Carleson measure for the Bergman space if and only if µ, is a bounded function on, that is, sup α q(z) 2 dµ(z) 1, (30) q see for example [37, Theorem 7.5]. The proof of (30) can be used to show that µ q, q, 22
29 is a collection of uniformly Carleson measures for the Bergman space if and only if sup α w(z) 2 dµ(z) 1. (31) w,q For any symbol ϕ and by Theorem 3.4, C ϕ is a bounded operator on BMOA. Then for all q, C ϕ α q 1 and by (26) sup α q(ζ) 2 N q,ϕ(ζ)da(ζ) 1. q,q By (31) and for all q, N q,ϕ(ζ)da(ζ) is a collection of uniformly Carleson measures for the Bergman space. efinition 3.4. Let µ be a finite positive Carleson measure on. We say that µ satisfies the reverse Carleson condition if there exists r (0, 1) such that for all w, (w, r) µ((w, r)). only if It is shown in [16, Theorem 4.1] that µ satisfies the reverse Carleson condition if and sup α q(z) 2 dµ 1. q A set H satisfies the reverse Carleson condition if the Carleson measure χ H (z)da(z) satisfies the reverse Carleson condition; Luecking showed in [20] that this is equivalent to f(z) 2 da(z) C f(z) 2 da(z), H for all f A 2. It is also equivalent to f (z) 2 (1 z 2 ) da(z) c f (z) 2 (1 z 2 ) da(z), H 23
30 for all f H 2. efinition 3.5. We say that H is a sampling set for BMOA if for all f BMOA sup f (z) 2 (1 α q (z) 2 ) da(z) f 2. q H For each ε > 0 and q let G ε,q be G ε,q = {ζ : N q,ϕ (ζ) > ε (1 α q (ζ) 2 )} (32) and let G ε be G ε = q G ε,q. (33) Theorem 3.6. Let ϕ be a nonconstant analytic self map of. If C ϕ is closed range on BMOA then there exists ε > 0 such that G ε is a sampling set for BMOA. Moreover, if q G ε,q is a sampling set for BMOA, then C ϕ is closed range on BMOA. Proof. First, suppose that C ϕ is closed range on BMOA. If the conclusion fails, then for every ε > 0, G ε is not a sampling set for BMOA and we can find a sequence (f n ) in BMOA with f n (0) = 0 and f n BMOA = 1 for all n such that lim sup f n(z) 2 (1 α q (z) 2 ) da(z) = 0. (34) n q G 1n For each n we have, f n ϕ 2 = 2 sup f n(ζ) 2 N q,ϕ (ζ) da(ζ) q I 1 + I 2, (35) 24
31 where I 1 = 2 sup f n(ζ) 2 N q,ϕ (ζ) da(ζ) (36) q G 1n and I 2 = 2 sup f n(ζ) 2 N q,ϕ (ζ)da(ζ). (37) q \G 1n By Littlewood s inequality, there exists C > 0 such that for all ζ ϕ(q), ϕ(z)=ζ log 1 α q (z) C log 1 2 α ϕ(q) (ζ). (38) 2 For all n, I 1 C sup f n(ζ) 2 q G 1n C sup q ϕ(z)=ζ G 1n f n(ζ) 2 log log 1 α q (z) 2 da(ζ) 1 α ϕ(q) (ζ) 2 da(ζ). Note that for any q and for any natural number n, G 1n f n(ζ) 2 log 1 α q (ζ) 2 da(ζ) = A B, where A = f n(ζ) 2 log 1 α q (ζ) 2 da(ζ) and B = f n(ζ) 2 1 log \G 1n α q (ζ) da(ζ). 2 25
32 Then by Proposition 2.2, A C f n(ζ) 2 (1 α q (ζ) 2 ) da(ζ) and by (13), B 1 2 \G 1n f n(ζ) 2 (1 α q (ζ) 2 ) da(ζ). We conclude that I 1 C sup f n(ζ) 2 (1 α q (ζ) 2 ) da(ζ). (39) q G 1n Next, for n a fixed natural number, ζ G 1/n, and q, N q,ϕ (ζ) 1 n (1 α q(ζ) 2 ), and I 2 1 n sup f n(ζ) 2 (1 α q (ζ) 2 ) da(ζ) q \G 1n 1 n sup f n(ζ) 2 (1 α q (ζ) 2 ) da(ζ) q 1 n f n 2 = 1 n. (40) By (34), (35), (39) and (40), f n ϕ 0, as n and C ϕ is not closed range on BM OA which contradicts our hypothesis and the conclusion holds. Conversely, assume that there exists ε > 0 such that q G ε,p is a sampling set for 26
33 BMOA. Let f BMOA. Then, for all q f ϕ 2 f (ζ) 2 N q,ϕ (ζ)da(ζ) G ε,q ε f (ζ) 2 (1 α q (ζ) 2 ) da(ζ) G ε,q f (ζ) 2 (1 α q (ζ) 2 ) da(ζ). (41) q G ε,q Since G ε is a sampling set for BMOA we conclude that C ϕ is closed range on BMOA. The following is a corollary of the proof of [16, Proposition 4.1]. Theorem 3.7. Let µ q, q be a collection of positive uniformly Carleson measures, let α, β be such that α + β = 2.Then lim sup (1 w 2 ) α (1 ζ 2 ) β dµ r 1 q,w \(w,r) 1 wζ 4 q (ζ) = 0. (42) For each ε > 0 and q, q let G ε,q,q be G ε,q,q = {ζ : N q,ϕ(ζ) ε (1 α q (ζ) 2 ) }. (43) Theorem 3.8. Let ϕ be an analytic selfmap of. Then, there exists k > 0 such that for all q, α q ϕ k if and only if there exists an ε > 0 and r (0, 1) such that for all q, there exists q such that G ε,q,q (q, r) (q, r) 1. (44) Moreover, if the above holds then G ε = q G ε,q,q satisfies the reverse Carleson condition. Proof. First, assume that there exists k > 0 such that for all q in, α q ϕ k. Then, for each q there exists a q such that 27
34 α q(ζ) 2 N q,ϕ(ζ) da(ζ) k 2. (45) By Theorem 3.7 and since for all q, N q,ϕ(ζ)da(ζ) is a collection of uniformly Carleson measures for the Bergman space, lim sup α q(ζ) 2 N q r 1,ϕ(ζ) da(ζ) = 0. q,q \(q,r) We conclude that there exists r (0, 1) such that for all q, q α q(ζ) 2 N q,ϕ(ζ) da(ζ) < k 4. (46) \(q,r) Now, for each ε > 0, q and q as in (45), write α q(ζ) 2 N q,ϕ(ζ) da(ζ) = I 1 + I 2 + I 3, (47) where I 1 = \(q,r) α q(ζ) 2 N q,ϕ(ζ) da(ζ), I 2 = (q,r)\g ε,q,q α q(ζ) 2 N q,ϕ(ζ) da(ζ), and I 3 = G ε,q,q (q,r) α q(ζ) 2 N q,ϕ(ζ) da(ζ). 28
35 By (46), I 1 < k 4. (48) Next, I 2 ε α q(ζ) 2 (1 α q (ζ) 2 ) da(ζ) (q,r)\g ε,q,q ε α q 2 C ε. (49) By (38) I 3 = C G ε,q,q (q,r) C G ε,q,q (q,r) G ε,q,q (q,r) G ε,q,q (q,r) G ε,q,q (q, r) (q, r) α q(ζ) 2 N q,ϕ(ζ) da(ζ) α q(ζ) 2 (1 α ϕ(q )(ζ) 2 ) da(ζ) (1 q 2 ) 2 1 qζ 4 da(ζ) 1 (q, r) da(ζ). (50) By (45), (48), (49), (50), we conclude that there exists r (0, 1) such that for all w, k 4 < ε + C Gε,q,q (w, r) (q, r) or k 4 ε Gε,q,q (q, r). (51) (q, r) Hence, for any ε > 0 with ε < k/4, the set G ε,q,q satisfies (44). 29
36 Next, assume that there exists an ε > 0 and r (0, 1) such that for all q, there exists q such that (44) holds. Then, for each fixed q, α q ϕ 2 α q(ζ) 2 N q,ϕ(ζ) da(ζ) G ε,q,q α q(ζ) 2 (1 α q (ζ) 2 ) da(ζ). G ε,q,q (q,r) By (7), (8) α q ϕ C G ε,q,q (q, r) (q, r) 1 and the conclusion follows. Lastly, since G ε,q,q (w, r) (w, r) G ε (w, r) (w, r), and by (45) and (50), it is clear that G ε satisfies the reverse Carleson condition. In section III of [20], Luecking characterized when a measurable subset F of satisfies the reverse Carleson condition by using pseudohyperbolic disks, disks whose centers lying on the unit circle T and also using a collection of disks whose centers lie on. All the arguments remain valid if we replace F with a collection of measurables subsets F q, q and we obtain the following proposition. Proposition 3.9. Given a collection of measurable sets F q, q, the following are equivalent: (A) There exists a constant δ > 0 and r (0, 1) such that for all q and for all disks with centers on T, there exists q such that F q > δ. 30
37 (B) There exists a constant δ 0 > 0 and η (0, 1) such that for all q there exists q such that F q (q, η(1 q )) > δ 0 (q, η(1 q )). (C) There exists a constant δ 1 > 0 and r (0, 1) such that for all q there exists q such that F q (q, r) > δ 1 (q, r). Next, we discuss how the main result in [20] can be modified to allow for a reverse Carleson type condition for a collection of measurable sets F q, q. Let δ 0 and η be fixed and assume (B) in Proposition 3.9 holds. Since η is fixed, as Luecking does in [20, page 6], we abbreviate the notation for the disk (q, η(1 q )) with (q). Let A 1 denote the space of analytic and Lebesgue integrable functions on. Given an analytic function f and λ (0, 1) define the set E λ (q) = {z (q) : f(z) > λ f(q) } and the operator B λ f(q) = 1 E λ (q) E λ (q) f(z) da(z). Note Lemma 1, Lemma 2 and Lemma 3 in [20]. Moreover as done in [20, page 9], if ε (0, 1) is small enough and F = {q : f(q) ε 3 B λ f(q)} (52) then f(z) da(z) < 2 f(z) da(z), F 31
38 and for all q F there exists q such that 1 (q) F q (q) f(z) da(z) 1 2 δ 0λ f(q). Integrating the above over F we obtain F 1 (q) F q (q) f(z) da(z) da(q) 1 2 δ 0λ F 1 4 δ 0λ f(q) da(q) f(q) da(q), (53) for all f A 1. The theorem below is now an extension of one direction of the main theorem in [20]. Theorem Given a collection of measurable subsets of, F q, q, and F as in (52), if there exists a constant δ 0 > 0 and η (0, 1) such that for all q there exists q such that F q (q, η(1 q )) > δ 0 (q, η(1 q )), then there exists a constant C > 0 such that for all q F there exists q such that for all f A 1, F 1 (q) F q (q) f(z) da(z) da(q) C f(q) da(q). Remark 3.1. The main theorem in [20] as well as Theorem 3.10 remain valid if f is replaced with f 2, see [20, page 6]. Moreover, as Luecking indicates in [20, page 10], instead of da(z) one may use the measure (1 z 2 ) 2 da(z), and the main theorem in [20] is valid. The two critical properties of the weight w(z) = (1 z 2 ) 2 are w(q) C inf{w(z) : z (q, η)} and that w(α q (z)) = α q(z) 2 (1 z 2 ) 2. Consequently, Theorem 3.10 is also valid for the measure (1 z 2 ) 2 da(z). We are now ready to prove the following. 32
39 Theorem Let ϕ be an analytic selfmap of. Then the composition operator C ϕ : B BMOA is closed range if and only if there exists an ε > 0 and r (0, 1) such that for all q, there exists q such that G ε,q,q (q, r) (q, r) 1. (54) Proof. First, assume that there exists ε > 0 and r (0, 1) such that for all q, there exits q such that (54) holds. By Proposition 3.9 this is equivalent to the existence of an ε > 0, a constant δ 0 > 0 and η (0, 1) such that for all q there exists q such that G ε,q,q (q) > δ 0 (q). (55) Given such q and q, for each f B C ϕ f 2 f (ζ) 2 N q,ϕ(ζ) da(ζ) G ε,q,q ε f (ζ) 2 (1 α q (ζ) 2 ) da(ζ). G ε,q,q ε f (ζ) 2 (1 α q (ζ) 2 ) da(ζ). G ε,q,q (q) If ζ (q) then ζ (q, r), for any fixed η and r (0, 1) with r 2η/1 + η 2, and by (2), (7), (8), (1 α q (ζ) 2 ) 1; therefore C ϕ f 2 C G ε,q,q (q) f (ζ) 2 da(ζ). (56) By (7), (55), Theorem 3.10, and Remark 3.1, for all f A 2 f (ζ) 2 da(ζ) da(q) C f (q) 2 (1 q 2 ) 2 da(q) F G ε,q,q (q) 33
40 Therefore by (56), for all f A 2 C ϕ f 2 C f (q) 2 (1 q 2 ) 2 da(q) f 2 A 2. Since the BMOA seminorm is invariant under Mobius automorphisms, for all q C ϕ f 2 C f α q f(q) 2 A 2. (57) By (9) we conclude that for all f B, C ϕ f C f B and by Proposition 3.5, C ϕ : B BMOA is closed range. Conversely, if C ϕ : B BMOA is closed range then for all q, α q ϕ C α q B C and by Theorem 3.8 the conclusion follows. Theorem The composition operator C ϕ is closed range on BMOA if and only if there exists a constant k > 0 such that α q ϕ k, for all q. Proof. First, assume that there exists a constant k > 0 such that α q ϕ k. Then given a q, there exists q n such that k 2 lim α n q(ζ) 2 N qn,ϕ da(ζ) or lim α q(ζ) ( 2 k 2 N ) n qn,ϕ(ζ) da(ζ) 0. Therefore lim α q(ζ) ( 2 k 2 (1 α q (ζ) 2 ) N ) n qn,ϕ(ζ) da(ζ) 0. (58) \G k 2,qn,q If for each q there exists a natural number n such that the Lebesgue area measure 34
41 of \ G k 2,q n,q is 0, then C ϕ f 2 = f (ζ) 2 N qn,ϕ(ζ) da(ζ) G k 2,qn,q f (ζ) 2 N qn,ϕ(ζ) da(ζ) k 2 f (ζ) 2 (1 α q (ζ) 2 ) da(ζ) and C ϕ f k f for all f BMOA. By Proposition 3.5, C ϕ is closed range on BMOA. Therefore from now on we may assume that for some q and for all n the Lebesgue area measure of \ G k 2,q n,q is positive. The integrand in (58) is non negative in \ G k 2,q n,q, so we must have that for almost every ζ \ G k 2,q n,q, k 2 (1 α q (ζ) 2 ) N qn,ϕ(ζ) 0. (59) For each f BMOA \G k 2,qn,q f (ζ) 2 k 2 (1 α q (ζ) 2 ) N qn,ϕ(ζ) da(ζ) k 2 f 2 therefore by (59) and the Lebesgue ominated Convergence Theorem lim f (ζ) 2 k 2 (1 α q (ζ) 2 ) N n qn,ϕ(ζ) da(ζ) = 0. (60) \G k 2,qn,q Write f (ζ) 2 k 2 (1 α q (ζ) 2 ) da(ζ) = I + II, (61) 35
42 where I = \G k 2,qn,q f (ζ) 2 k 2 (1 α q (ζ) 2 ) da(ζ) and II = G k 2,qn,q f (ζ) 2 k 2 (1 α q (ζ) 2 ) da(ζ). Note that I = I 1 + I 2, where I 1 = f (ζ) 2 k 2 (1 α q (ζ) 2 ) N qn,ϕ(ζ) da(ζ) \G k 2,qn,q and I 2 = f (ζ) 2 N qn,ϕ(ζ) da(ζ). \G k 2,qn,q By (60), I 1 0 as n, and II f (ζ) 2 N qn,ϕ(ζ) da(ζ). G k 2,qn,q Therefore by (61) and for all q f (ζ) 2 k 2 (1 α q (ζ) 2 ) da(ζ) f (ζ) 2 N qn,ϕ(ζ) da(ζ) + I 1 C ϕ f 2 + I 1. (62) We conclude that k f C ϕ f for all f BMOA, and by Proposition 3.5, C ϕ is closed range on BMOA. For the converse if C ϕ is closed range on BMOA then C ϕ is bounded below on 36
43 BMOA. By Proposition 3.5 and by (21) there exists δ > 0 such that for all q, α q ϕ δ α q 1, and the conclusion follows. It is proved in [4, Theorem 12] that C ϕ is bounded in V MOA if and only if ϕ V MOA. The following now is an immediate corollary of Theorem Corollary Let ϕ V MOA. Then C ϕ is closed range on V MOA if and only if there exists a constant k > 0 such that α q ϕ k, for all q. Theorem A subset H of satisfies the reverse Carleson condition if and only if H is a sampling set for BMOA. Proof. First, assume that H satisfies the reverse Carleson condition. If H is not a sampling set for BMOA, then there exists a sequence (f n ) in BMOA such that f n = 1 and lim sup f n(z) 2 (1 α q (z) 2 ) da(z) = 0, n q H and so for q = 0, lim (f n(ζ) 2 (1 ζ 2 ) da(ζ) = 0. (63) n H Since BMOA is continuously contained in H 2, there exists a constant C > 0 such that f n H 2 C and by (63), H does not satisfy reverse Carleson condition. We conclude that H is a sampling set for the BMOA space. Conversely, suppose that H is a sampling set for the BMOA space. Then for all q, 37
44 α q 1 and sup α q(z) 2 (1 α q (z) 2 ) da(z) 1. q H Then, there exists C > 0 such that for all q α q(z) 2 da(z) C. (64) H By [16, Theorem 4.1] and (64) we conclude that H satisfies the reverse Carleson condition. Proposition Let H and q. Then H satisfies the reverse Carleson condition if and only if α q (H) satisfies the reverse Carleson condition. Proof. For each H be a Carleson set for the Bergman space, for fixed q, and by making below the change of variables z = α q (ζ) we obtain α q(h) α p(z) 2 da(ζ) = H (α p α q ) (ζ) 2 da(ζ). By [16, Theorem 4.1] the result follows. Corollary Let ϕ be an analytic selfmap of. If C ϕ is closed range on the Bloch space, then it is also closed range on BMOA. Proof. By [3, Corollary 2.3], C ϕ is closed range on the Bloch space if and only if for all q, α q ϕ B 1. Since BMOA is continuously contained in B, for all q we have that α q ϕ 1. By Theorem 3.12 we conclude that C ϕ is closed range on BMOA. Corollary Let ϕ be a univalent selfmap of. Then, C ϕ is closed range on B, if and only if C ϕ is closed range on BMOA. Proof. It is shown in [15, Corollary 2] that for ϕ a univalent selfmap of, if C ϕ is closed 38
45 range on BMOA, then it is also closed range on B. By Corollary 3.16 the result is now clear. Corollary Let ϕ be an analytic selfmap of. If C ϕ is closed range on H 2, then it is also closed range on BMOA. Proof. Given q, let k q denote the normalized reproducing kernel in H 2, that is k q (z) = 1 q 2 1 qz. It is known, see [22] and [16], that C ϕ is closed range on H 2 if and only if for all q, k q ϕ H 2 1. By (12) it is easy to see that k q ϕ H 2 q α q ϕ H 2, if q 0. By Theorem 3.12 and since the inclusion map i : BMOA H 2 is continuous, the conclusion easily follows. Laitila characterized in [18] the isometries among composition operators on BM OA. Moreover he showed that if ϕ is an inner function then C ϕ f = f, for all f BM OA. Below we give another characterization of closed range composition operators on BMOA. Our proof extends and simplifies the proof in [18] for the isometries. Theorem For each ϕ analytic self map of, the following conditions are equivalent: (a) There exists k (0, 1] such that for every w, α w ϕ k. (b) There exists k (0, 1] such that for every w there exists w with α w (w ) 2 1 k 2, there exists a sequence (q n ) in such that ϕ(q n ) w and lim n ϕ q n H 2 k, where for all natural numbers n, ϕ qn = α ϕ(qn) ϕ α qn. Proof. First, assume that (a) holds for some k (0, 1] and let w. Then, there exists a 39
46 sequence (q n ) in such that for all n, α w ϕ α qn α w (ϕ(q n )) 2 H 2 k2 1 n. (65) Since (ϕ(q n )) is a bounded sequence in, it has a convergent subsequence in. Without loss of generality, there exists w such that ϕ(q n ) w. By (65), α w (ϕ(q n )) 2 = α w ϕ α qn 2 H 2 α w ϕ α qn α w (ϕ(q n )) 2 H 2 1 k n, therefore, α w (w ) 2 1 k 2 and w. Let α w α ϕ(qn) = λ n α bn where λ n b n = α w (ϕ(q n )) and λ n = 1. Then for all z, α w ϕ α qn (z) α w (ϕ(q n )) = α w α ϕ(qn) ϕ qn (z) α w (ϕ(q n )) = λ n α bn ϕ qn (z) λ n b n = λ n ( b n 2 1)ϕ qn (z) 1 b n ϕ qn (z). (66) Therefore, α w ϕ α qn α w (ϕ(q n )) H 2 (1 + b n ) ϕ qn H 2 ; by (65) we conclude, by taking a further subsequence if necessary, that lim n ϕ q n H 2 k 1 + a w (w ) k 2 (67) 40
47 and (b) holds. Note that if k = 1 above then, w = w and lim ϕ q n H 2 = 1. n Next, assume that (b) holds for some k (0, 1] and let w. Then there exists w with α w (w ) 2 1 k 2, there exists a sequence (q n ) in such that ϕ(q n ) w and lim ϕ q n H 2 k. (68) n Let λ n = 1 and (b n ) be as in the proof of (a) (b). Then (66) is valid, and for every n N α w ϕ α qn α w (ϕ(q n )) 2 H 2 (1 b n ) 2 ϕ qn 2 H 2. We conclude that α w ϕ 2 α w ϕ α qn α w (ϕ(q n )) 2 H 2 (1 b n ) 2 ϕ qn 2 H 2, and by (68) α w ϕ 2 (1 α w(w ) 2 ) 2 (1 + α w (w ) ) 2 k2. (69) If k (0, 1) and since α w (w ) 2 1 k 2 we conclude by (69) that for all w α w ϕ k4 4. If k = 1, then w = w and by (69) α w ϕ 2 = 1. The proof is now complete. 41
48 4 Composition operators on Q p In this chapter we study the spaces Q p and closed range composition operators on them. efinition 4.1. For p [0, ) we say that a function f analytic on belongs to Q p if f 2 Q p = sup f (z) 2 (1 α q (z) 2 ) p da(z) <, q where f Qp is a seminorm and f Qp = f(0) + f Qp defines a norm in Q p that makes it a Banach space. The collection of all Q p spaces includes many familiar spaces. if p = 0 then Q 0 is the irichlet space with an equivalent norm. if p = 1 then Q 1 is the space BMOA. if p > 1 then Q p is the Bloch space with an equivalent norm, see [36, Corollary 1.2.1]. It is known, see [36], that if 0 p < q < then Q p Q q and the inclusion map is continuous. Moreover, if 0 p q 1 then Q p Q q. Let p (0, ) and let f(z) = n=0 a nz n with a n nonnegative and non increasing. It is shown in [36, Corollary 3.3.1] that f Q p if and only if sup n N na n <. For example, f(z) = 1 n=1 n zn = log(1 z) Q p for all p. Now, we estimate α q Qp each given p 0. and show that there exists c > 0 such that α q Qp c, for Fixing p 0, q and by making the change of variables α q (z) = ζ we obtain, α q 2 Q p = sup λ = sup λ α q(z) 2 (1 α λ (z) 2 ) p da(z) (1 α λ α q (ζ) 2 ) p da(ζ) (70) 42
49 Since for a fixed q, each Möbius transformation can be written as e iθ α λ α q, λ, θ R we obtain, α q 2 Q p = sup (1 α λ (ζ) 2 ) p da(ζ). λ Note that by (2), (1 α λ (ζ) 2 ) p da(ζ) = (1 λ 2 ) p (1 ζ 2 ) p da(ζ). 1 λζ 2p Now we apply [37, Lemma 3.10] with c = p 2. We have the following cases: If c < 0 then 0 p < 2 and α q 2 Q p (1 λ 2 ) p 1. If c > 0 then p > 2 and as λ 1 α q 2 Q p (1 λ 2 ) p 1 (1 λ 2 ) p 2 = (1 λ 2 ) 2 1. if c = 0 then p = 2 and as λ 1 α q 2 Q p log 1 1 λ 2 (1 λ 2 ) 2 1. Hence, there exists c > 0 such that for all q, α q 2 Q p c. For each p [0, ) the inclusion map i : Q p B is continuous. Similarly to the proof of (25) we obtain that there exists c > 0 such that f(z) f(0) + c f Qp log 1 + z 1 z. (71) Let p [0, ). The weighted irichlet space p in the space of all functions f H() 43
50 satisfying f 2 p = f (z) 2 (1 z 2 ) p da(z) <. The above is a seminorm in p and f p = f(0) + f p is a norm in p and p is a Banach space with this norm. Note that given q and by making the change of variables α q (z) = ζ we obtain f α q f(q) 2 p = = (f α q ) (z) 2 (1 z 2 ) p da(z) f (ζ) 2 (1 α q (ζ) 2 ) p da(ζ) therefore, f Q p if and only if sup f α q f(q) p <. q Below we show a Lipschitz continuity property that f α q f(q) Qp has with respect to the pseudo hyperbolic metric. Theorem 4.1. Let p (0, 1]. Then, for each f Q p and for all q, w f α q f(q) 2 p f α w f(w) 2 p 2 p+1 ρ(q, w) p f 2 Q p. Proof. Given p, q and by (5), A p,q := f (z) 2 ( (1 α q (z) 2 ) p (1 α w (z) 2 ) p )da(z) f (z) 2 α q (z) 2 α w (z) 2 p da(z) 2 p 2 p ρ(w, q) p f (z) 2 α w (z) α q (z) p da(z) f (z) 2( 1 α q (z) α w (z) ) p da(z). (72) 44
51 Let A 1 := {z : α w (z) > α q (z) } and A 2 := {z : α q (z) > α w (z) }. Then we have A 1 f (z) 2 (1 α w (z) α q (z) ) p da(z) A 1 f (z) 2 (1 α q (z) 2 ) p da(z) f 2 Q p and A 2 f (z) 2 (1 α w (z) α q (z) ) p da(z) f (z) 2 (1 α w (z) 2 ) p da(z) A 2 f 2 Q p. Therefore by (72), A p,q 2 p+1 ρ(w, q) p f 2 Q p. and the conclusion follows. Remark 4.1. Let U be a measurable subset of, 0 < p 1, f Q p, w and A w = f (z) 2 (1 α w (z) 2 ) p da(z). U It is a corollary of the proof of Theorem 4.1 that for each f Q p and q, w, A w A q 2 p+1 ρ(w, q) p f 2 Q p. Since Q 1 = BMOA the following is part of the above theorem. Theorem 4.2. There exists C > 0 such that for each f BMOA and p, q f α p f(p) 2 H 2 f α q f(q) 2 H 2 C ρ(p, q) f 2. 45
52 If p > 1 and z, ζ let γ ζ (z) = 1 α ζ (z) 2. Then for each q, w, z ) γ q (z) p γ w (z) p p ( α q (z) 2 α w (z) 2 (γ q (z) p 1 γ w (z) p 1 ). Therefore, if f Q p then similarly to the proof of Theorem 4.1 we obtain the following Theorem 4.3. Let p (1, ). Then for each f Q p and all q, w f α q f(q) 2 p f α w f(w) 2 p 4p ρ(q, w) f 2 Q p. Remark 4.2. Let U be a measurable subset of, p > 1, f Q p, w and A w = f (z) 2 (1 α w (z) 2 ) p da(z). U It is a corollary of the proof of Theorem 4.3 that for each f Q p and q, w, A w A q 4p ρ(w, q) f 2 Q p. efinition 4.2. Let p [0, ). The counting function for Q p for each q, and if ζ ϕ() is defined by N q,ϕ (ζ, p) = (1 α q (z) 2 ) p ; ϕ(z)=ζ if ζ / ϕ() then N q,ϕ (ζ, p) = 0. From now on we abbreviate the notation for the counting function for Q p to N q,ϕ (ζ). The Nevanlinna counting function for composition operators in Q p appears with a nonunivalent change of variables as is done in [31, page 186]. 46
53 For each f Q p, f ϕ 2 Q p = sup q = sup q (f ϕ) (z) 2 (1 α q (z) 2 )da(z) (f (ϕ(z)) 2 ϕ (z) 2 (1 α q (z) 2 )da(z), and we have f ϕ 2 Q p = sup f (ζ) 2 N q,ϕ (ζ) da(ζ). (73) q If C ϕ is a bounded operator on Q p for some p (0, ) then for all q, C ϕ α q Qp 1 and by (73) sup α q(ζ) 2 N q,ϕ(ζ)da(ζ) 1. q By (31) and for all q, N q,ϕ(ζ)da(ζ) is a collection of uniformly Carleson measures on the Bergman space. By (71) and similarly to the proof of Proposition 3.5 we obtain the following. Proposition 4.4. Let p (0, ). The composition operator C ϕ is bounded below on Q p if and only if there exists a δ > 0 such that for all f Q p, C ϕ f Qp δ f Qp. For each ɛ > 0 and q let G ɛ,q be G ɛ,q = {ζ : N q,ϕ (ζ) > ɛ(1 α q (ζ) 2 ) p } (74) and let G ɛ be G ɛ = q G ɛ,q. (75) On the next two theorems we study C ϕ on Q p with p (0, 1). 47
54 Theorem 4.5. Let p (0, 1) and assume that C ϕ is a bounded operator on Q p. If there exists an ɛ > 0 such that sup q f (ζ) 2 N q,ϕ (ζ)da(ζ) f 2 Q p q G ɛ,q (76) then the composition operator C ϕ is closed range on Q p. Proof. Let f Q p, assume that (76) holds. Then by (73) and for all q, f ϕ 2 Q p sup f (ζ) 2 N q,ϕ (ζ)da(ζ) q G ε,q sup q ɛ f 2 Q p q G ɛ,q f (ζ) 2 N q,ϕ (ζ)da(ζ) and C ϕ is closed range on Q p. Theorem 4.6. Let p (0, 1) and assume that C ϕ is a bounded operator on Q p. If C ϕ is closed range on Q p then there exists an ɛ > 0 such that for all f Q p sup q f (ζ) 2 N q,ϕ (ζ)da(ζ) f 2 Q p. G ɛ (77) Proof. Suppose that C ϕ is closed range on Q p. If the conclusion fails, then for every ε > 0, G ε does not satisfy the condition (77) for Q p and we can find a sequence (f n ) in Q p with f n (0) = 0 and f n Qp = 1 for all n such that lim sup f n(ζ) 2 N q,ϕ (ζ)da(ζ) = 0. (78) n q G 1n For each n we have by (73), f n ϕ 2 Q p = sup f n(ζ) 2 N q,ϕ (ζ) da(ζ) q I 1 + I 2, (79) 48
55 where I 1 = sup f n(ζ) 2 N q,ϕ (ζ)da(ζ), (80) q G 1n I 2 = sup f n(ζ) 2 N q,ϕ (ζ)da(ζ). (81) q \G 1n For n a fixed natural number, if ζ G 1/n then for all q, N q,ϕ (ζ) 1 n (1 α q(ζ) 2 ) p, and I 2 1 n sup f n(ζ) 2 (1 α q (ζ) 2 ) p da(ζ) q \G 1/n 1 n sup f n(ζ) 2 (1 α q (ζ) 2 ) p da(ζ) q = 1 n f n 2 Q p = 1 n. (82) By (78), (79), (80) and (82), f n ϕ Qp 0, as n and C ϕ is not closed range on Q p which contradicts our hypothesis and the conclusion holds. Theorem 4.7. Let p > 0 and assume that C ϕ is a bounded operator on Q p. Then, there exists k > 0 such that for all q, α q ϕ Qp k if and only if there exists an ε > 0 and r (0, 1) such that for all q, there exists q such that G ε,q (q,r) N q,ϕ(ζ) da(ζ) (q, r) 1. (83) Proof. First, assume that there exists k > 0 such that for all q in, α q ϕ Qp k. Then, 49
56 for each q there exists a q such that α q(ζ) 2 N q,ϕ(ζ) da(ζ) k 2. (84) By Theorem 3.7 and since for all q, N q,ϕ(ζ)da(ζ) is a collection of uniformly Carleson measures for the Bergman space, lim sup α q(ζ) 2 N q r 1,ϕ(ζ) da(ζ) = 0. q,q \(q,r) We conclude that there exists r (0, 1) such that for all q, q α q(ζ) 2 N q,ϕ(ζ) da(ζ) < k 4. (85) \(q,r) Now, for each ε > 0, q and q as in (84), write α q(ζ) 2 N q,ϕ(ζ) da(ζ) = I 1 + I 2 + I 3, (86) where I 1 = \(q,r) α q(ζ) 2 N q,ϕ(ζ) da(ζ). I 2 = (q,r)\g ε,q α q(ζ) 2 N q,ϕ(ζ) da(ζ), and I 3 = G ε,q (q,r) α q(ζ) 2 N q,ϕ(ζ) da(ζ). 50