arxiv: v1 [math.cv] 26 Sep 2014

Transcription

1 NECESSARY CONDITION FOR COMPACTNESS OF A DIFFERENCE OF COMPOSITION OPERATORS ON THE DIRICHLET SPACE MA LGORZATA MICHALSKA, ANDRZEJ M. MICHALSKI arxiv: v [math.cv] 6 Sep 04 Abstract. Let ϕ be a self-map of the unit disk and let C ϕ denote the composition operator acting on the standard Dirichlet space D. A necessary condition for compactness of a difference of two bounded composition operators acting on D, is given. As an application, a characterization of disk automorphisms ϕ and ψ for which the commutator [C ψ,c ϕ] is compact, is given.. Introduction Let D = {z : z < } denote the open unit disk in the complex plane C and let T = {z : z = } denote the unit circle in C. The Dirichlet space D is the space of all analytic functions f in D, such that f D := f(0) + D f (z) da(z) <, where da(z) = π dxdy is the normalized two dimensional Lebesgue measure on D. The Dirichlet space is a Hilbert space with inner product f,g D := f(0)g(0)+ f (z)g (z)da(z). The Dirichlet space has the reproducing kernel property and the kernel function is defined as (.) K w (z) := +log D wz, where the branch of the logarithm is chosen such that K w (z) = K w,k z D = K z,k w D = K z (w). By a self-map of D we mean an analytic function ϕ such that ϕ(d) D. We will also assume that a self-map ϕ is not a constant function. For a self-map of the unit disk ϕ, the composition operator C ϕ on the Dirichlet space D is defined by C ϕ f := f ϕ. The composition operator C ϕ on Dirichlet space is not necessarily bounded for an arbitrary self-map of the unit disk. However, C ϕ is bounded on D if, for example, ϕ is a finitely Date: September 9, Mathematics Subject Classification. 47B33. Key words and phrases. composition operator; Dirichlet space; compact operator; commutator.

2 valent function (see, e.g., [9, 3]). More is known about the composition operator C ϕ when the symbol ϕ is a linear-fractional self-map of the unit disk of the form ϕ(z) := az +b cz +d, where ad bc 0. In that case C ϕ is compact on D if and only if ϕ < (see, e.g., [3,, 3]). For an arbitrary self-map of the unit disk ϕ, if the operator C ϕ is bounded, then the adjoint operator C ϕ satisfies which yields useful equality C ϕf(w) = f,k w ϕ D, (.) C ϕ K w = K ϕ(w). For ϕ a linear-fractional self-map of D, Gallardo-Gutiérrez and Montes-Rodríguez in [4] (see also [8]) proved that the adjoint of the composition operator is given by formula (.3) C ϕ f = f(0)k ϕ(0) s(c ϕ f)(0)+sc ϕ f, where s := ad bc and ϕ (z) := ϕ ( z ), z D is the Krein adjoint of ϕ. It is worth to note that ϕ is a linear-fractional self-map of the unit disk, in fact ϕ az c (z) = bz +d. It is easy to check that w is a fixed point of ϕ if and only if /w is a fixed point of ϕ. In particular, if ϕ has a fixed point on T then it is a fixed point of both ϕ and ϕ. Let ϕ be a disk automorphism, which is of the form iθ a z (.4) ϕ(z) = e az, z D, where a D and θ ( π,π]. We will say that ϕ is elliptic if and only if a < cos θ, ϕ is parabolic if and only if a = cos θ, ϕ is hyperbolic if and only if a > cos θ, (see, e.g., [, Ex. 4, p. 7]). One can easily verify that if ϕ is elliptic then ϕ is also elliptic. For ϕ and ψ, two linear-fractional self-maps of D, we consider the commutator [C ψ,c ϕ] := C ψ C ϕ C ϕ C ψ

3 on D. The compactness of the commutator can be expressed by setting conditions on the maps ψ and ϕ. The commutator [Cψ,C ϕ] is trivially compact on D if it is equal to zero, or when Cψ C ϕ and C ϕ Cψ are both compact. In particular, this happens when ψ < or ϕ <. Thus, to avoid triviality, we will consider only composition operators, and their adjoints, whose symbols are the linear-fractional self-maps of D with ψ = ϕ =. We should mention, that if ϕ and ψ are two linear-fractional self-maps of D then there areknownconditionsfornon-trivialcompactnessofthecommutator[cψ,c ϕ]actingonthe HardyspaceH obtainedbycliffordetal. [], andactingontheweightedbergmanspaces A α (D)obtained bymaccluer et al. [6]. Their results were obtainedfor ψ = ϕ = in the case when both ϕ and ψ are disk automorphisms, and in the case when at least one of the maps is not an automorphism. In particular, they proved that in the first case the commutator is non-trivially compact if and only if both maps are rotations. We refer the reader to [6] for more background information. In this paper we study properties of the difference of two composition operators defined on the Dirichlet space. In Section we give a necessary condition for compactness of the difference of two bounded composition operators. In Section 3, as an application of our necessary condition for compactness, we determine when the commutator [Cψ,C ϕ], with both symbols ϕ and ψ being disk automorphisms and not equal to the identity, is compact.. Difference of two composition operators To study compactness of the commutator [Cψ,C ϕ] we need to know when a difference of two composition operators is compact. There are known conditions for compactness of a difference of composition operators for weighted Dirichlet spaces obtained by Moorhouse in [0]. Unfortunately, these results do not apply to the classical Dirichlet space D. In Theorem. we give a necessary condition for compactness of the difference of two bounded composition operators on D. First, we prove a technical lemma. Lemma.. Let the sequences N n a n (0,) and N n b n (0,) converge to 0 and let lim b n /a n = 0. Then there exists a positive integer N such that for all n > N. 0 < a n b n <, Proof. Let the sequences N n a n (0,) and N n b n (0,) be as required in our lemma. By the assumption lim b n /a n = 0 we know that there exists positive 3

4 integer N such that b n /a n < for all n > N. Thus, for n > N we have bn a n < 0 and since both a n and b n are negative This completes the proof. 0 < a n b n <. Now, we are ready to state our main result. Theorem.. Let ϕ and ψ be self-maps of the unit disk D such that the composition operators C ϕ,c ψ induced by ϕ and ψ, respectively, are bounded. If C ϕ C ψ is compact on D then (.) lim w { } w ϕ(w) + w ϕ(w) ψ(w) = 0. ψ(w) Proof. Clearly, C ϕ C ψ is compact if and only if C ϕ C ψ is compact. Therefore, it is enough to prove that if (.) does not hold, then the operator Cϕ Cψ is not compact on D. Assume that the limit in (.) does not exist or it exists, but it is not equal to 0. In both cases one can find a sequence N n w n D\{0}, with w n, such that the following conditions are satisfied: { wn (i) lim ϕ(w n ) + w } n ϕ(w ψ(w n ) n ) ψ(w n ) 0, (ii) the limits ψ 0 := lim ψ(w n ) and ϕ 0 := lim ϕ(w n ) exist, w n (iii) the limits Φ 0 := lim ϕ(w n ) and Ψ w n 0 := lim ψ(w n ) exist. Indeed, such a sequence exists. Observe, that if ϕ is a self-map of the unit disk, then as a consequence of Schwarz-Pick lemma we have (see, e.g., [3, Corollary.40]) (.) ϕ(w n ) w n ϕ(0) + ϕ(0), w D and thus both factors in the limit in condition (i) are bounded. Consequently, by passing to a subsequence if necessary, we obtain sequence satisfying (i)-(iii). Now, we consider a sequence of normalized kernel functions K wn / K wn, where K wn is given by (.), and we show that (C ϕ C ψ )K w n / K wn does not tend to 0. Since K wn / K wn 0 weakly, this disproves that C ϕ C ψ.3.4]). is compact (see, e.g., [4, Theorem Note, that K wn = +log(/( w n )) which together with (.) yields ϕ Cψ )K w n = K ϕ(w n) + K ψ(wn) Re K ϕ(wn),k ψ(wn) K wn K wn (.3) = ϕ(w n) + ψ(w n) ϕ(w n)ψ(w n) + w n. 4

5 Observe, that by (.), none of the factors in the limit in condition (i) can tend to 0. Thus, in particular, ϕ 0 ψ 0 and (.4) 0 < ϕ 0ψ 0 for sufficiently large n. It is enough to consider three cases: < ϕ(w n )ψ(w n ), Case I: ϕ 0 = and ψ 0 <, or Case II: ϕ 0 < and ψ 0 =, or Case III: ψ 0 = ϕ 0 = and ψ 0 ϕ 0. Case I. Let ϕ 0 = and ψ 0 <. Then Ψ 0 = 0 and Φ 0 > 0, by (i). So, for a sufficiently large n, say n > N, we have and 0 < ψ 0 < ψ(w n ) <, (.5) 0 < Φ 0 < w n ϕ(w n ) < + ϕ(0) ϕ(0), where the last inequality follows from (.). Hence, κ(w n ) := is bounded and by (.3), we get lim ψ(w n ) ϕ(w n )ψ(w n ) + w n ϕ(w n ) ϕ C ψ )K w n K wn = lim w n +κ(w n ) =. + w n Case II. If ϕ 0 < and ψ 0 =, then the proof of the following equality ϕ Cψ lim )K w n = K wn proceeds analogously to the proof in Case I. Case III. Let ϕ 0 = ψ 0 = and ϕ 0 ψ 0. Note, that Φ 0 and Ψ 0 can not both be equal to 0. If Φ 0 = 0 and Ψ 0 0, then there exists positive integer N, such that for n > N (.6) 0 < Ψ 0 < w n ψ(w n ) < + ψ(0) ψ(0) and (.4) hold. Moreover, since ϕ 0 = ψ 0 =, we may assume, by passing to a subsequence if necessary, that ϕ(w n ) 0 and w n 0 for each n. Now, we can use Lemma 5

6 . with a n = ϕ(w n ) and b n = w n and get that there exists positive integer N > N such that 0 < ( ϕ(w n) ) ( w n ) = ϕ(w n) w n <, for all n > N. By passing to a subsequence, if necessary, we can assume that the limit lim ( ϕ(w n ) )/( w n ) exists. Hence, lim λ(w n ) := is bounded and, by (.3), we get ϕ Cψ )K w n K wn ϕ(w n )ψ(w n ) + w n ψ(w n ) = lim ϕ(w n) + + w n +λ(w n ). w n If Φ 0 0 and Ψ 0 = 0 then (.4) and (.5) hold for n sufficiently large and lim λ(w n ) := ϕ(w n )ψ(w n ) + w n ϕ(w n ) is bounded. Another application of Lemma. ensures that ϕ Cψ )K w n K wn ψ(w = lim n) + w n + λ(w n ). + w n Finally, if Φ 0 0 and Ψ 0 0 then (.4), (.5) and (.6) hold for sufficiently large n. Hence, λ(w n ) := is bounded and by (.3) we get lim This completes the proof. ϕ(w n )ψ(w n ) + w n ϕ(w n ) + w n ψ(w n ) ϕ C ψ )K w n K wn = lim w n + λ(w n ) =. + w n The above theorem is in particular true for all finitely valent self-maps of the unit disk. Moreover, in the case of disk automorphisms of the form (.4) we can obtain much more simple condition. Corollary.3. Let ϕ and ψ be disk automorphisms given by (.4). If C ϕ C ψ is compact on D then ϕ = ψ. Proof. Let ϕ and ψ be disk automorphisms given by (.4) and assume that C ϕ C ψ is compact on D. We show that ϕ(ζ) = ψ(ζ) for all ζ T. 6

7 Fix ζ T. By Theorem. we know that the compactness of the difference C ϕ C ψ implies (.7) lim z ζ { } z ϕ(z) + z ϕ(z) ψ(z) = 0. ψ(z) We show that neither ( z )( ϕ(z) ) nor ( z )( ψ(z) ) can tend to 0 as z tends to ζ. Indeed, for ϕ given by (.4), we have z ϕ(z) = az a a + a > 0, for all z D. Hence, ( z )( ϕ(z) ) can not tend to 0 as z ζ. The same argument can be used to show that ( z )( ψ(z) ) does not tend to 0 as z ζ. Thus, (.7) implies lim ϕ(z) ψ(z) = 0, z ζ and ϕ(ζ) = ψ(ζ). Since ζ was chosen arbitrarily, our claim follows. 3. Commutator In this section we study some properties of the commutator [Cψ,C ϕ] with ϕ and ψ being disk automorphisms. For f,g D one can define the following rank-one operator f g(h) := h,g D f, h D. By (.3), for an arbitrary linear-fractional self-map ψ, the adjoint of the composition operator C ψ can be written as (3.) Cψ = sc ψ +K, where Kf := (K ψ(0) K 0 )(f) s(k 0 K 0 )(C ψ f), K w is a kernel function given by (.) and s is defined in (.3). Obviously, K is a compact operator on D. Hence, we have (3.) [C ψ,c ϕ]f = C ψ C ϕf C ϕ C ψ f = s(c ψ ϕ C ϕ ψ )f +Lf, where (3.3) L := KC ϕ C ϕ K = [K,C ϕ ] is again compact and L 0, unless both ϕ and ψ are equal to the identity. Theorem 3.. Let ϕ, ψ be disk automorphisms given by (.4), none of which is the identity. Then the commutator [Cψ,C ϕ] is non-trivially compact if and only if either both ϕ and ψ have the same set of fixed points, or both ϕ and ψ are elliptic. 7

8 Proof. Assume first, that either both ϕ and ψ have the same set of fixed points, or both ϕ and ψ are elliptic. Then by [5, Theorem, p. 7] we know that ϕ and ψ commute, that is ψ ϕ = ϕ ψ. Thus, the difference C ψ ϕ C ϕ ψ in (3.) is equal to zero and the commutator [Cψ,C ϕ] is non-trivially compact, since ϕ and ψ are not equal to the identity and L 0 (see formula (3.3)). Now, assume that the commutator [Cψ,C ϕ] is non-trivially compact. Then, by formula (3.) C ψ ϕ C ϕ ψ is also compact and Corollary.3 implies that ψ ϕ = ϕ ψ. Finally, again by [5, Theorem, p. 7] we obtain that either both ϕ and ψ have the same set of fixed points, or both ϕ and ψ are elliptic. We say that the composition operator C ϕ is essentially normal if the self-commutator [Cϕ,C ϕ] is compact. This property was studied in [, ] for composition operator defined on the Hardy space and in [7] for composition operators defined on the weighted Bergman spaces. As a consequence of Theorem 3. we get the following sufficient condition for C ϕ to be essentially normal on the Dirichlet space D. Corollary 3.. If ϕ is a disk automorphism given by (.4), then the composition operator C ϕ is essentially normal. Proof. Let ϕbegivenby (.4). If ϕisequal totheidentity then[cϕ,c ϕ] = 0. Nowassume that ϕ is not the identity map. If ϕ is elliptic, then by Theorem 3. the commutator [Cϕ,C ϕ] is non-trivially compact. We show that if ϕ is not elliptic, then ϕ and ϕ have the same set of fixed points. This follows from our observation that ϕ and ϕ have the same set of fixed points on T (see, Section. Introduction). Indeed, if ϕ is a parabolic automorphism, then it has only one fixed point z = ( + e iθ )/(a) T, and if ϕ is a hyperbolic automorphism, then it has two fixed points z k = ( + e iθ/ )a (cosθ/ + ( ) k i a cos θ/) T, k =,. Again, by Theorem 3., the commutator [Cϕ,C ϕ] is non-trivially compact, which completes the proof. References [] P.S. Bourdon, D. Levi, S.K. Narayan, J.H. Shapiro Which linear fractional composition operators are essenially normal?, J. Math. Anal. Appl. 80 (003), pp [] J.H. Clifford, D. Levi, S.K. Narayan Commutators of composition operators with adjoints of composition operators, Complex Var. Elliptic Equ. 57(6) (0), [3] C.C. Cowen, B.D. MacCluer Composition Operators on Spaces of Analytic Functions, CRC Press, Boca Raton, FL, 995. [4] E.A. Gallardo-Gutiérrez, A. Montes-Rodríguez Adjoints of linear fractional composition operators on the Dirichlet space, Math. Ann. 37() (003), [5] J. Lehner Discontinious Grups an Automorphic Functions, Mathematical Surveys, No. VIII, American Mathematical Society, Providence, R.I

9 [6] B.D. MacCluer, S.K. Narayan, R.J. Weir Commutators of composition operators with adjoints of composition operators on weighted Bergman spaces, Complex Var. Elliptic Equ. 58() (03), pp [7] B.D. MacCluer, R.J. Weir Essentially normal composition operators on Bergman spaces, Acta Sci. Math. (Szeged) 70 (004), pp [8] M.J. Martin, D. Vukotić Adjoints of composition operators on Hilbert spaces of analytic functions, J. Funct. Anal. 38 (006), [9] M.J. Martin, D. Vukotić Norms of composition operators induced by finite Blaschke products on Möbius invariant spaces. Blaschke Products and their Applications (ed. J. Mashreghi), 09, Fields Inst. Commun., 65, Springer, New York, 03. [0] J. Moorhouse Compact differences of composition operators, J. Funct. Anal. 9() (005), [] J.H. Shapiro Composition Operators and Classical Function Theory, Springer, New York, 993. [] N. Zorboska Closed range essentially normal composition operators are normal, Acta Sci. Math. (Szeged) 65 (999), pp [3] N. Zorboska Composition operators on weighted Dirichlet spaces, Proc. Am. Math. Soc. 6 (998), No.7, pp [4] K. Zhu Operator Theory in Function Spaces, Marcel Dekker, New York, 990. Ma lgorzata Michalska, Institute of Mathematics, Maria Curie-Sk lodowska University, pl. M. Curie-Sk lodowskiej, 0-03 Lublin, Poland address: malgorzata.michalska@poczta.umcs.lublin.pl Andrzej M. Michalski, Department of Complex Analysis, The John Paul II Catholic University of Lublin, ul. Konstantynów H, Lublin, Poland address: amichal@kul.lublin.pl 9