arxiv: v1 [math.fa] 18 Feb 2016

Transcription

1 SPECTRAL PROPERTIES OF WEIGHTE COMPOSITION OPERATORS ON THE BLOCH AN IRICHLET SPACES arxiv: v [math.fa] 8 Fb 06 TE EKLUN, MIKAEL LINSTRÖM, AN PAWE L MLECZKO Abstract. Th spctra of ivrtibl wightd compositio oprators uc ϕ o th Bloch ad irichlt spacs ar studid. I th Bloch cas w obtai a complt dscriptio of th spctrum wh ϕ is a parabolic or lliptic automorphism of th uit disc. I th cas of a hyprbolic automorphism ϕ, xact xprssios for th spctral radii of ivrtibl wightd compositio oprators actig o th Bloch ad irichlt spacs ar drivd.. Itroductio Th spac of aalytic fuctios o th op uit disk i th complx pla C is dotd by H). Evry aalytic slfmap ϕ: of th uit disc iducs a compositio oprator C ϕ f = f ϕ o H). Ths oprators hav b studid for may dcads startig from th paprs of Littlwood, Hardy ad Risz i th bgiig of th 0th ctury. For gral iformatio of compositio oprators o classical spacs of aalytic fuctios th radr is rfrrd to th xcllt moographs by Cow ad MacClur [4] ad Shapiro [0]. I rct yars this wll-rcogizd thory has rcivd w stimulus from th mor gral situatio of liar wightd compositio oprators uc ϕ f) = uf ϕ), whr u H). Th mai objctiv wh studyig th oprators uc ϕ is to rlat oprator thortic proprtis of uc ϕ to fuctio thortic proprtis of th iducig symbols ϕ ad u. This papr is dvotd to th study of spctral proprtis of ivrtibl wightd compositio oprators actig o th Bloch ad irichlt spacs, dfid i th prlimiaris sctio blow. Th mai rfrcs ar th paprs [3] by Chaldar, Gallardo-Gutiérrz ad Partigto, ad [6] by Hyväri t al. I [6] th spctrum of wightd compositio oprators with automorphic symbols was xtsivly studid o spacs of aalytic fuctios satisfyig crtai gral coditios itroducd i [6, Sctio.]. This class cotais for xampl th wightd Brgma spacs ad Hardy spacs. Howvr, th Bloch ad irichlt spacs ar ot i this class sic th boudd aalytic fuctios ar ot cotaid i th multiplirs of ths spacs. A w approach is thus dd, ad foud partly i [3, Sctio 3], whr th spctra of ivrtibl wightd compositio oprators iducd by parabolic ad lliptic automorphisms o th irichlt spac ar compltly dscribd ad th hyprbolic cas is lft as a op problm.

2 EKLUN, LINSTRÖM, AN MLECZKO Th papr is orgaizd as follows. I Sctio 3 w study th multiplirs of th Bloch spac, ad obtai rsults similar to thos i [3, Sctio ]. Sctio 4 is dvotd to th spctral thory of ivrtibl wightd compositio opratorsuc ϕ actig othbloch spac. Iparticular, wgiv adscriptio of th spctrum wh ϕ is a parabolic or lliptic automorphism of. I th cas of hyprbolic ϕ, th spctral radius is computd ad w obtai a iclusio of th spctrum i a aulus. Fially, i Sctio 5 w improv th rct stimats [3, Thorm 3.3] by Chaldar, Gallardo-Gutiérrz ad Partigto of th spctrum of a ivrtibl wightd compositio oprator o th irichlt spac wh ϕ is a hyprbolic automorphism of.. Prlimiaris W bgi by rcallig som Baach spacs of aalytic fuctios o th uit disc. Th Bloch spac B is th st of fuctios f H) such that sup z ) f z) < +, ad is quippd with th orm f B = f0) +sup z ) f z), f B. Th irichlt spac cosists of fuctios f H) such that f A, whr th Brgma spac A is th st of aalytic fuctios o such that f A = fz) daz) < +, with ormalizd Lbsgu masur da ) o. Th irichlt orm is dfid as f = f0) + f z) daz), f. Othr spacs of aalytic fuctios o th uit disc usd i this papr ar th disc algbra A), cosistig of fuctios cotiuous o th closd uit disc, th wightd Baach spacs of aalytic fuctios { } Hv s = f H) : f H vs = supv s z) fz) < +, whr 0 < s < ad v s z) = z ) s is th stadard wight, ad th spac H of boudd aalytic fuctios o with suprmum orm. Th spctrum ad spctral radius of a oprator T : X X o a spac X ardotd rspctivly by σ X T) ad r X T). A good rfrc for oprator thory i fuctio spacs is th moograph [3] by Zhu. Wh dalig with compositio oprators it is customary to dot th -th itrat of a slfmap ϕ of by ϕ, that is ϕ := ϕ ϕ ϕ }{{} tims with ϕ 0 rprstig th idtity map, ad it is asy to chck that uc ϕ ) fz) = uz)uϕz)) uϕ z))fϕ z)), f H), z.

3 3 This ca also b statd as uc ϕ ) = u ) C ϕ, whr u 0) := ad u ) := j=0 u ϕ j H), N. It turs out that th spctral aalysis of ivrtibl wightd compositio opratorsuc ϕ stroglydpdsothtypofthcssarily) automorphic symbol ϕ. Rcall that a otrivial automorphism ϕ of is calld lliptic if it has a uiqu fixd poit i, parabolic if ϕ has joy Wolf fixd poit a i with ϕ a) =, ad hyprbolic if ϕ has joy Wolf fixd poit a th so-calld attractiv fixd poit) with 0 < ϕ a) < ad a rpulsiv fixd poit b with ϕ b) = /ϕ a) s [4, Sctio.3.]). Wh computig th spctrum, w will mak us of th formula.) lim ϕ 0) ) = ϕ a), which is valid for parabolic ad hyprbolic automorphisms ϕ of with joy Wolf poit a, s [4, pp. 5 5]. 3. Multiplir spacs I this sctio w cosidr th multiplir spacs MX) := {u H) : M u : X X is boudd} X ad MX,ϕ) := {u H) : uc ϕ : X X is boudd} X, whr X is ithr th Bloch spac B or th irichlt spac, ad th multiplicatio oprator is dfid i th obvious way M u f = uf. Th mai rsults of this sctio ar Thorm 3., whr w charactriz thos ϕ for whichmb,ϕ) = B,adThorm3.3whrwshowthatMB,ϕ) = MB) whvr ϕ is a fiit Blaschk product. Th irichlt spac vrsios of th mtiod rsults ar giv i [3, Thorms..3]. Th multiplir spac M) was charactrizd by Stgga i [] as th st of fuctios u H such that th multiplicatio oprator M u : A is boudd u z) daz) big a Carlso masur for ). For th Bloch spacitiskowfrom[9]thatawightd compositioopratoruc ϕ : B B is boudd if ad oly if th followig two coditios hold: 3.) sup z ) u z) log ϕz) < + 3.) sup z ϕz) uz)ϕ z) < +. From this follows that u MB) if ad oly if 3.3) sup z ) u z) log z < + 3.4) u H.

4 4 EKLUN, LINSTRÖM, AN MLECZKO Coditio 3.3) ca also b rlatd to a multiplicatio oprator i a similar fashio as i th irichlt cas: Lmma 3.. If th fuctio u : C is aalytic, th th multiplicatio oprator M u : B H v is boudd if ad oly if coditio 3.3) holds. Proof. If coditio 3.3) holds th M u B H v = sup M u f H v = sup f B = sup f B = = α sup f B = sup z ) u z) α f B log z ) u z) log whr w usd that vry Bloch fuctio f satisfis 3.5) sup fz) log z α f B sup z ) u z)fz) z z < +, for som positiv costat α idpdt of f. O th othr had, if th oprator M u : B H v is boudd th thr is a costat c > 0 such that for vry f B M u f) H v c f B. Wh this is applid to th Bloch fuctios f a z) := log āz for a, w obtai z ) u z) log M u f a ) H āz v c f a B c for vry z,a, sic f a B for vry a. Now choos a = z ad tak suprmum ovr z to gt 3.3). Thorm 3.. Lt ϕ b a aalytic slfmap of. Th MB,ϕ) = B if ad oly if ) ϕ < ad ) ϕ MB). Proof. Assum first that ) ad ) hold ad choos u B. Th sup z ) u z) log ϕz) u B log ϕ < +, so 3.) holds. W also hav that ϕ sup z ϕz) uz)ϕ z) sup z ) ϕ z) log z ) sup ) uz), log z which is fiit bcaus u is a Bloch fuctio s 3.5)) ad ϕ MB) rplac u with ϕ i 3.3)). Thus 3.) also holds, ad so u MB,ϕ), which shows that MB,ϕ) = B th iclusio MB,ϕ) B big trivial).

5 Assum o th othr had that MB,ϕ) = B, so that uc ϕ : B B is boudd for vry u B. This assumptio surs that if f B th f ϕ) u B for vry u B, which mas that th multiplicatio oprator M f ϕ : B B is wll dfid ad hc boudd by th Closd Graph Thorm. Thus C ϕ f = f ϕ MB) H, so that th compositio oprator C ϕ : B H is wll dfid ad boudd. Assum to rach a cotradictio that ϕ =. Choos a fuctio f B \ H such that f B =. Sic f is uboudd thr is a squc {ω } =, ω, such that fω ) > for vry N. Sic ϕ =, thr is a squc {z } = such that ϕz ) = ω for larg ough, say 0. Now choos th squc {θ } = 0 so that ω = iθ ϕz ) ad dfi f z) := f iθ z). Th f B = f B = for vry, but C ϕ f z ) = f ϕz )) = fω ) > so that C ϕ f >. This cotradicts th bouddss of C ϕ : B H, so w must hav ϕ <. It rmais to show that ϕ MB). Th bouddss of uc ϕ : B B for vry u B ad 3.) imply that sup z ) uz)ϕ z) < + for vry u B. Th oprator M ϕ : B Hv is hc wll dfid ad boudd. Accordig to Lmma 3. this is quivalt to sup z ) ϕ z) log so ϕ MB) ad th proof is complt. z < +, Thorm 3.3. Assum that ϕis afiit Blaschk product. Th MB,ϕ) = MB). Proof. If u MB) th M u : B B is boudd ad hc uc ϕ = M u C ϕ : B B is boudd, so that u MB,ϕ) ad MB) MB,ϕ). Assum o th othr had that u MB,ϕ), so that uc ϕ : B B is boudd ad u B. Sic ϕ is a fiit Blaschk product w gt from Lmma i [8] that ϕz) z N j= + ϕ j 0) =: K, ϕ j 0) whr N is th dgr of th Blaschk product. Hc sup z ) u z) log z sup z ) u z) log ϕz) + logk u B < +, which is 3.3). It rmais to show that u H, so lt S b th fiit suprmum i 3.). For vry z for which th drivativ of ϕ is ozro w hav that uz) S ϕz) z ϕ z) SK ϕ z). 5

6 6 EKLUN, LINSTRÖM, AN MLECZKO Sic ϕ is a fiit Blaschk product, th drivativ ϕ is aalytic i a op ighborhoodof thclosd uit disc, is ozroo thuit circl z = ad has oly a fiit umbr of zros lswhr. This implis that w ca choos δ > 0 so that m δ := mi δ z ϕ z) > 0, which shows that u is boudd by SK m δ o δ z < ad hc boudd o. Thus u MB), so that MB,ϕ) MB), ad hc MB,ϕ) = MB). I th xt sctios w will study th spctrum of ivrtibl wightd compositio oprators o th Bloch ad irichlt spacs. Th ivrtibility of wightd compositio oprators has b charactrizd o various spacs of fuctios by may authors, s for xampl [, 5, 6]. Th followig rsult is a cosquc of [, Corollary.3]. Thorm 3.4. Assum that X is ithr th Bloch spac B or th irichlt spac, ad lt uc ϕ : X X b a boudd wightd compositio oprator o X. Th uc ϕ is ivrtibl o X if ad oly if u MX), u is boudd away from zro o ad ϕ is a automorphism of. I such a cas th ivrs oprator of uc ϕ : X X is also a wightd compositio oprator, giv by ucϕ ) = u ϕ C ϕ. 4. Spctra o th Bloch spac I this sctio w study th spctrum of ivrtibl wightd compositio oprators o th Bloch spac. Th ivstigatio is dividd ito thr cass, to covr parabolic, hyprbolic ad lliptic automorphisms. Our approach is basd o th paprs [3] ad [6], but w idas ar still dd. Th followig lmma will b usful i th squl. Lmma 4.. If ϕ is a automorphism of, th r B C ϕ ) =. Proof. By [, Corollary ] ad [7, Lmma 6] w hav th followig stimat of th compositio oprator orm for ay automorphism ϕ of ad N: 4.) C ϕ + log + ϕ 0) + ϕ0),0), ϕ 0) whr z,w) := + z w log zw z w zw is th hyprbolic distac o. If ϕ0) = 0 th obviously r B C ϕ ) =. If o th othr had ϕ0),0) 0, th w obtai th followig stimat from 4.) for vry N: [ C ϕ ) + ϕ0),0) ϕ0),0)] ϕ0),0), ad sic lim x + +x) x = w coclud that r B C ϕ ) =.

7 4.. Th parabolic cas. W bgi by dscribig th spctrum of ivrtibl wightd compositio oprators uc ϕ o th Bloch spac iducd by parabolic automorphisms ϕ, ad for th proof w d th followig rsult. Lmma 4.. Suppos that ϕ is a parabolic automorphism of with uiqu fixd poit a, ad assum that u A) is boudd away from zro o. Th lim u ) = ua). Proof. S th proof of [6, Lmma 4.]. Thorm 4.3. Suppos that th wightd compositio oprator uc ϕ : B B is ivrtibl o th Bloch spac ad assum that th automorphism ϕ is parabolic, with uiqu fixd poit a. If u A), th σ B uc ϕ ) = { λ C : λ = ua) }. Proof. W bgi by showig that th spctrum is cotaid i th proposd circl of radius ua). Accordig to Thorm 3.4, u blogs to MB) ad is boudd away from zro o, from which follows that ua) 0. Sic r B C ϕ ) = by Lmma 4. ad uc ϕ ) = u ) C ϕ = M u) C ϕ by Thorm 3.3, w oly d to focus o th oprator orm of M u) : B B: sup sup f B sup u ) 0)f0) f B = sup = = f B sup f B M u) = sup u ) f B f B z ) u )z)fz) + sup f B sup z u ) ) z) u ϕ j z) u ϕ j) z) fz) + sup u ) sup u ϕ j j=0 j=0 z ) u ) z)f z) + sup u ) 0)f0) f B f B u ) sup u ϕ j j=0 f B u ) sup u ϕ j j=0 f B 7 sup z ) u ) z)f z) + sup z ) u ϕ j z)) ϕ jz) fz) + u ) sup ϕ j z) ) u ϕ j z))fz) + u ) sup z ) u z)fψ j z)) + u ), whr w usd that ϕ z) = ϕz) if ϕ is a automorphism of, ad z itroducd th fuctio ψ := ϕ to simplify otatio. Not that ψ is also a parabolic automorphism with fixd poit a, ad ψ j = ϕ ) j = ϕ j.

8 8 EKLUN, LINSTRÖM, AN MLECZKO Furthrmor, sup z ) u z)fψ j z)) = M u f ψ j ) H v M u B H v C ψj f B, whr th orm M u B H v is fiit sic u MB), as discussd i Lmma 3.. Now usig iquality 4.) ad th fact that u is boudd away from zro o, w obtai th followig stimat of th oprator orm of M u) : B B: M u) u ) M u B H u ϕ v C ψj + u ) j j=0 M u B H v u ) ) + ψ0),0)j + u) u ϕ j=0 j [ ] M u B H v + + ψ0),0) ) u u ). Applyig this to th spctral radius ad usig Lmmas 4. ad 4. givs r B uc ϕ ) = lim uc ϕ) limsup M u) r B C ϕ ) [ ] ) lim M u B H v + + ψ0),0) u u ) = ua). Sic ) uc ϕ = C u ϕ ϕ, by Thorm 3.4, whr ϕ is a parabolic automorphism with uiqu fixd poit a, th abov rsult also shows that r B ucϕ ) ) uϕ a)) = ua). Now if λ σ B uc ϕ ), th w also hav that λ σ B ucϕ ) ). From this follows that λ r B uc ϕ ) ua) ad λ r B ucϕ ) ) ua), so that λ = ua). Thus 4.) σ B uc ϕ ) { λ C : λ = ua) }, ad obviously r B uc ϕ ) = ua). I ordr to prov th rvrs iclusio i 4.), lt λ b a complx umbr of modulus λ = ua) = r B uc ϕ ). As i th proof of [6, Thorm 4.3] it is th, by th Spctral Mappig Thorm, ough to show that r B λ uc ϕ ) r B uc ϕ ), which is do as follows. Th squc {z } =0, dfid by z = ϕ 0), is itrpolatig for H sic ϕ is a parabolic automorphism s th commt prcdig [6, Thorm 4.3]), so by th Op Mappig Thorm thr is a

9 costat c > 0 ad a squc {f } =0 H such that for all N w hav f c ad 4.3) f ϕk z ) ) {, if k = = 0, if k. Not that B H v s for vry s > 0, sic if f B th by 3.5) f H vs α f B sup z ) s log z < +. Choos som s > 0 ad lt c s := αsup z ) s log z, so that f H vs c s f B for vry f B. Th itrpolatig squc {f } =0 satisfis f B f c for all N, which givs that λ uc ϕ ) c λ uc ϕ ) f B for all N. Furthrmor, [ λ ucϕ ) f ] z ) = cc s ) λ uc ϕ ) f H vs cc s ) z ) s [ λ uc ϕ ) f ] z ) = = k=0 k=0 )λ k[ ] uc ϕ ) k f z ) k ) λ k ) k u k) z )f ϕk z ) ) k ) ) λ u ) z ) by 4.3), so ) λ uc ϕ ) cc s ) λ u ) z ) z ) s ) = cc s ) λ z ) s u ) z ) ϕ ϕ z ) z ) ) s ) = cc s ) λ u ) z ) ϕ z ) s ϕ 0) ) s ) cc s ) λ ω ) z ) ϕ 0) ) s, 9 whr th fuctio ωz) := uz) ϕ z) s

10 0 EKLUN, LINSTRÖM, AN MLECZKO itroducd i th proof of [6, Thorm 4.3] satisfis ω ) z) = u )z) ϕ z) s. I th sam proof it was also show that lim ω )z ) ua) = = ua) ϕ a) s, ad mtiod that lim ) =. Usig th parabolic vrsio of th limit.), w s that r B λ uc ϕ ) = lim λ uc ϕ) lim cc s) ) λ ω) z ) ϕ 0) ) s = λ ua) = ua) = r B uc ϕ ). Sic r B λ uc ϕ ) r B uc ϕ ), w gt from th proof of [6, Thorm 4.3] that λ σ B uc ϕ ), which shows that σ B uc ϕ ) { λ C : λ = ua) } = { λ C : λ = ua) }, ad th proof is complt. 4.. Th hyprbolic cas. I this subsctio w ivstigat th spctrum of wightd compositio oprators uc ϕ : B B gratd by hyprbolic symbols ϕ. Th rsults i this cas ar ot complt. W obtai th spctral radius r B uc ϕ ) ad thrby a iclusio of th spctrum i a aulus, which turs out to coicid with th spctrum udr additioal assumptios o th fuctio u. Th mai rsult is giv i Thorm 4.5. Lmma 4.4. Suppos that ϕ is a hyprbolic automorphism of with fixd poits a,b, ad assum that u A) is boudd away from zro o. Th lim u ) = max{ ua), ub) }. Proof. S th proof of [6, Lmma 4.4]. Thorm 4.5. Suppos that th wightd compositio oprator uc ϕ : B B is ivrtibl o th Bloch spac ad assum that th automorphism ϕ is hyprbolic, with attractiv fixd poit a ad rpulsiv fixd poit b. If u A), th r B uc ϕ ) = max{ ua), ub) } ad σ B uc ϕ ) { λ C : mi{ ua), ub) } λ max{ ua), ub) } }. Proof. As i th proof of Thorm 4.3, u blogs to MB) ad is boudd away from zro o, so that ua),ub) 0. Sic r B C ϕ ) = by Lmma 4. ad uc ϕ ) = M u) C ϕ, it is agai ough to cosidr th oprator orm of M u) : B B. Through idtical calculatios as i th proof of

11 Thorm 4.3, obsrvig that ψ := ϕ is also a hyprbolic automorphism, w obtai th stimat [ ] M u) M u B H v + + ψ0),0) ) u u ), ad so by usig Lmmas 4. ad 4.4 o gts that r B uc ϕ ) = lim uc ϕ) limsup M u) r B C ϕ ) [ lim M u B H ] ) v + + ψ0),0) u u ) = max{ ua), ub) }. O th othr had, u ) M u) by [, Lmma ], so u ) M u) = ) ) uc ϕ Cϕ uc ϕ ) C ϕ ). Lttig td to ifiity ad obsrvig that r B Cϕ ) = by Lmma 4. sic ϕ Aut)) w s that ad thus max{ ua), ub) } r B uc ϕ ), r B uc ϕ ) = max{ ua), ub) }. Applyig th abov rsult to th ivrs oprator ) uc ϕ = C u ϕ ϕ, whr ϕ is a hyprbolic automorphism with attractiv fixd poit b ad rpulsiv fixd poit a, w gt that r B ucϕ ) ) { = max u ϕ a) ), u ϕ b) ) } = mi { ua), ub) }. Now if λ σ B uc ϕ ), th w also hav that λ σ B ucϕ ) ), so that λ r B uc ϕ ) = max { ua), ub) } ad λ r B ucϕ ) ) = mi { ua), ub) }, which shows that th spctrum is cotaid i th claimd aulus. I th cas wh ua) = ub) w ar abl to improv th prvious thorm, to giv a complt dscriptio of th spctrum. Howvr, w wr ot abl to comput th spctrum wh ua) ub). It sms lik o ds to cosidr th cass ua) < ub) ad ua) > ub) sparatly, s for xampl [6, Thorm 4.9].

12 EKLUN, LINSTRÖM, AN MLECZKO Thorm 4.6. Suppos that th wightd compositio oprator uc ϕ : B B is ivrtibl o th Bloch spac ad assum that th automorphism ϕ is hyprbolic, with attractiv fixd poit a ad rpulsiv fixd poit b. If u A) ad ua) = ub), th σ B uc ϕ ) = { λ C : λ = ua) }. Proof. By Thorm 4.5 it suffics to prov that σ B uc ϕ ) { λ C : λ = ua) }, so lt λ b a complx umbr of modulus λ = ua) = r B uc ϕ ). As i th proofofthorm4.3itisthoughtoshowthatr B λ uc ϕ ) r B uc ϕ ). This ca b do xactly as i th prviously mtiod proof sic th squc {z } =0, dfid by z = ϕ 0), is itrpolatig for H by [4, Thorm.65]. Usig th sam otatio ad prformig th sam calculatios as i th proof of Thorm 4.3, w obtai th stimat ) λ uc ϕ ) cc s ) λ ω ) z ) ϕ 0) ) s. Now sic as i [6, Thorm 4.3], this givs that lim ω )z ) = ua), ϕ a) s ) r B λ uc ϕ ) lim cc s) λ ω ) z ) ϕ 0) ) s = λ ua) ϕ a) s = ua) ϕ a) s ϕ a) s = r B uc ϕ )ϕ a) s, whr w usd th limit.) with 0 < ϕ a) <. Th iquality r B λ uc ϕ ) r B uc ϕ )ϕ a) s holds for vry s > 0 s th lattr part of th proof of Thorm 4.3) so w may tak limits as s 0 to obtai r B λ uc ϕ ) r B uc ϕ ) Th lliptic cas. W ow tur to th spctrum of ivrtibl wightd compositio oprators uc ϕ o th Bloch spac wh ϕ is a lliptic automorphismof. Thoughthmthodsof proofhrarstadard, sommior modificatios ar cssary ad w thus prst thm. Lmma 4.7. If u MB) ad u H, th u MB).

13 Proof. Th fuctio fz) := uz) is boudd by assumptio, so w oly d to show that it satisfis coditio 3.3): sup z ) f z) log which is fiit sic u MB). z = sup z ) u z) uz) log u sup z ) u z) log z 3 z, Thorm 4.8. Suppos that th wightd compositio oprator uc ϕ : B B is boudd o th Bloch spac ad assum that u A) ad that ϕ is a lliptic automorphism, with uiqu fixd poit a. Th ) ithr thr is a positiv itgr j such that ϕ j z) = z for all z, i which cas, if m is th smallst such itgr, th σ B uc ϕ ) = { λ C : λ m = u m) z) for som z }, ) or ϕ Id for vry N, i which cas, if uc ϕ : B B is ivrtibl, th σ B uc ϕ ) = { λ C : λ = ua) }. Proof. Th proof of ) is idtical to th proof of [6, Thorm 4.], bcaus as otd i [3, Sctio 3.] w ca us th rsult of Lmma 4.7 to prov that σ B uc ϕ ) { λ C : λ m = u m) z) for som z }. Th proof of ) gos as i [6, Thorm 4.4] ad it rlis o [6, Lmma 4.3], whichis also trufor thbloch spacaftr amior modificatio i thproof. Namly, it is assumd that ϕz) = µz, whr µ = πθi ad θ is irratioal, u A) ad uc ϕ is ivrtibl, ad prov that r A ucϕ ) = u0) by mthods also valid for th Bloch spac, xcpt th o showig that ) 4.4) r A ucϕ limsup u ). Hr A stads for a spac satisfyig coditios C), C) ad C3) as dfid i [6, Sctio.]. Howvr, by th sam calculatios usd to prov Thorm 4.3 w gt that M u) ad from this follows that [ M u B H v + u r B ucϕ ) rb Cϕ ) limsup ] + ψ0),0) ) u ), M u) limsup u ), whr w usd that r B Cϕ ) = by Lmma 4.. Thus 4.4) also holds for th Bloch spac, ad w ca us th proof of [6, Thorm 4.4] to obtai ).

14 4 EKLUN, LINSTRÖM, AN MLECZKO 5. Spctra o th irichlt spac Th spctra of ivrtibl wightd compositio oprators iducd by parabolic ad lliptic automorphisms o th irichlt spac wr compltly dscribd i [3]. I th hyprbolic cas ad udr sstially th sam assumptios as i Thorm 5. blow, it was also show i [3, Thorm 3.3] that r uc ϕ ) max{ ua), ub) } µ ad σ uc ϕ ) { λ C : mi{ ua), ub) }µ λ max{ ua), ub) } µ}, whr ϕ is cojugat to th automorphism ψz) = +µ)z + µ) µ)z ++µ) for 0 < µ <. I Thorm 5. w improv this rsult to obtai a xact xprssio for th spctral radius. Lmma 5.. [7, Thorm 7] If ϕ is a uivalt slfmap of, th th spctral radius r C ϕ ) =. Thorm 5.. Suppos that th wightd compositio oprator uc ϕ : is ivrtibl o th irichlt spac ad assum that th automorphism ϕ is hyprbolic, with attractiv fixd poit a ad rpulsiv fixd poit b. If u A), th r uc ϕ ) = max{ ua), ub) } ad σ uc ϕ ) { λ C : mi{ ua), ub) } λ max{ ua), ub) } }. Proof. Accordig to Thorm 3.4, u blogs to M) ad is boudd away from zro o, from which follows that ua),ub) 0. Sic r C ϕ ) = by Lmma 5., w bgi by stimatig th oprator orm of M u) : : = sup f sup f [ u ) 0)f0) + M u) = sup u ) f f [ u ) 0)f0) + u ) + sup f u ) f) z) daz) ] u ) z)fz) + u )z)f z) daz) u ) z)fz) daz) ) sup u ) z)f z) daz) f sup f u ) z)fz) daz) ) ) + + u ), ] )

15 whr w usd th subadditivity of th squar root fuctio ad th triagl iquality for th L -orm. Now sic u ) z) = u ) z) u ϕ j z) u ϕ j) z), j=0 w ca cotiu th abov stimatio as follows: M u) sup u )z) u ϕ j z) u ϕ j) z) fz) daz) f j=0 + u ) u ) sup u ϕ j j=0 + u ). f u ϕ j z)) ϕ jz) fz) daz) Aftr substitutig w = ϕ j z), th abov itgral taks th form ) u w)fψ j w)) daw) = M u f ψ j ) A M u A C ψj f, whr ψ := ϕ ad th orm M u A is fiit sic u M), s th sctio o multiplir spacs. I [7, Thorm 7], Martí ad Vukotić provd that C ψj + ψ0),0)j ) for vry j N, which combid with th rsults abov givs M u) ) ) u ) M u u ϕ A C ψj + u ) j=0 j [ Mu ] A + + ψ0),0) ) u u ). Applyig this to th spctral radius ad usig Lmmas 4.4 ad 5. givs r uc ϕ ) = lim uc ϕ) limsup M u) r C ϕ ) [ Mu ] ) lim A + + ψ0),0) u u ) = max{ ua), ub) }. O th othr had, by [, Lmma ], w hav that u ) M u) = ) ) uc ϕ Cϕ uc ϕ ) C ϕ ), 5

16 6 EKLUN, LINSTRÖM, AN MLECZKO so lttig td to ifiity ad obsrvig that r Cϕ ) = by Lmma 5. sic ϕ Aut)) w s that ad thus max{ ua), ub) } r uc ϕ ), r uc ϕ ) = max{ ua), ub) }. Thstatmt rgardig thspctrum σ uc ϕ ) ca ow bjustifid xactly as i Thorm 4.5. Rmark 5.3. As alrady otd, w wr ot abl to comput th spctrum of ivrtibl wightd compositio oprators with hyprbolic symbols ϕ, ithr for th Bloch or th irichlt spac, xcpt wh ua) = ub) i th Bloch cas. Howvr, th followig cojctur sms plausibl ad w lav it as a op problm: Suppos that th wightd compositio oprator uc ϕ : X X is ivrtibl o X, whr X is ithr th Bloch spac B or th irichlt spac, ad assum that th automorphism ϕ is hyprbolic, with attractiv fixd poit a ad rpulsiv fixd poit b. If u A), th σ X uc ϕ ) = { λ C : mi{ ua), ub) } λ max{ ua), ub) } }. Ackowldgmts Th first author is gratful for th fiacial support from th octoral Ntwork i Iformatio Tchologis ad Mathmatics at Åbo Akadmi Uivrsity. Rfrcs [] A. Alma, P. ur, M.J. Martí ad. Vukotić, Multiplicativ isomtris ad isomtric zro-divisors, Caad. J. Math. 6 00), No. 5, [] P. Bourdo, Ivrtibl wightd compositio oprators, Proc. Amr. Math. Soc. 4 03) [3] I. Chaldar, E.A. Gallardo-Gutiérrz ad J.R. Partigto, Wightd compositio oprators o th irichlt spac: bouddss ad spctral proprtis, Math. A. 05), OI 0.007/s y. [4] C. Cow ad B. MacClur, Compositio Oprators o Spacs of Aalytic Fuctios, CRC Prss, Boca Rato, 995. [5] G. Guatillak, Ivrtibl wightd compositio oprators, J. Fuct. Aal. 6 0) [6] O. Hyväri, M. Lidström, I. Nimi ad E. Saukko, Spctra of wightd compositio oprators with automorphic symbols, J. Fuct. Aal ), o. 8, [7] M.J. Martí ad. Vukotić, Norms ad spctral radii of compositio oprators actig o th irichlt spac, J. Math. Aal. Appl ) -3. [8] V. Matach, Wightd Compositio Oprators o H ad Applicatios, Complx Aal. Opr. Thory 008), o., [9] S. Oho ad R. Zhao, Wightd compositio oprators o th Bloch spac, Bull. Austral. Math. Soc., 63 00), [0] J.H. Shapiro, Compositio Oprators ad Classical Fuctio Thory, Sprigr, 993.

17 7 [].A. Stgga, Multiplirs of th irichlt spac, Illiois J. Math., 4 980), o., [] C. Xiog, Norm of compositio oprators o th Bloch spac, Bull. Austral. Math. Soc., ), [3] K. Zhu, Oprator Thory i Fuctio Spacs, AMS, 007. Td Eklud. partmt of Mathmatics, Åbo Akadmi Uivrsity. FI Åbo, Filad..mail: td.klud@abo.fi Mikal Lidström. partmt of Mathmatics, Åbo Akadmi Uivrsity. FI-0500 Åbo, Filad..mail: mikal.lidstrom@abo.fi Paw l Mlczko. Faculty of Mathmatics ad Computr Scic, Adam Mickiwicz Uivrsity i Pozań, Umultowska 87, 6-64 Pozań, Polad..mail: pml@amu.du.pl