COMPOSITION OPERATORS ON HARDY ORLICZ SPACES ON PLANAR DOMAINS

Size: px
Start display at page:

Download "COMPOSITION OPERATORS ON HARDY ORLICZ SPACES ON PLANAR DOMAINS"

Transcription

1 Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 42, 207, COMPOSITION OPERATORS ON HARDY ORLICZ SPACES ON PLANAR DOMAINS Michał Rzeczkowski Adam Mickiewicz University, Faculty of Mathematics and Computer Science 6-64 Poznan, Poland; Abstract. We show isomorphic and isometric characterizations of Hardy Orlicz spaces on multiply-connected domains whose boundary consists of finitely many disjoint analytic Jordan curves. We also study composition operators on these spaces. In particular we obtain characterization of compact composition operators on Hardy Orlicz spaces in terms of Carleson s measures defined in the paper.. Introduction LetHΩ denote the space of all holomorphic functions onω, whereωis a domain on the Riemann sphere. For analytic map ϕ HΩ, ϕ: Ω Ω, the composition operator is defined by C ϕ f := f ϕ, f HΩ. This map may act on various quasi-banach spaces X of analytic functions on Ω. Composition operators are fundamental objects of study in analysis that arise naturally in many situations. For example a classical result due to Forelli see [4] states that all surjective isometries of the Hardy space H p D, < p <, p 2 are weighted composition operators. The problem of relating operator theoretic properties e.g., boundedness, compactness, weak compactness, order boundedness, spectral properties of composition operators C ϕ to function theoretic properties of generating function symbol of C ϕ has been a subject of great interest for quite some time. One of the famous problem was to characterize compact composition operators on Hardy spaces H p D. In the eighties MacCluer see [0] or [] proved that C ϕ : H p D H p D is compact if and only if the pullback measure µ ϕ defined by the formula µ ϕ B := mϕ B, where m is normalized Lebesgue measure on D and ϕ is radial limit of ϕ is vanishing Carleson measure, i.e., µ ϕ Wa,h = oh as h 0 for any Carleson window Wa,h := {z D: h < z <, argaz < h}, a D. We note that this problem was also solved by Shapiro [8, 9]. He described compact composition operators in terms of Nevanlinna counting function. It should be emphasized that MacCluer s result together with the famous Carleson Lemma contributes to study another class of operators inclusion operators j µ : H p D L p D,µ, where µ is finite Borel measure. This idea is very useful and often used in contemporary research recently composition operators acting between Hardy-type spaces are Mathematics Subject Classification: Primary 47B33, 46E30. Key words: Hardy Orlicz spaces, composition operators, Hardy spaces on planar domain, Carleson measures.

2 594 Michał Rzeczkowski studied thoroughly. The problems of characterizing compactness, weak compactness, absolute p-summability and other properties are under consideration on various variants of Hardy spaces. We refer to [6, 7, 8, 9] where the authors have extended the results of Shapiro and MacCluer to the case of composition operators on Hardy Orlicz spaces. In this paper we investigate composition operators on Hardy Orlicz spaces on multiply-connected domains Ω whose boundary consists of finitely many disjoint analytic Jordan curves. These spaces are generalizations of classical Hardy spaces H p Ω on multiply-connected domains Ω introduced by Rudin in [6]. Notice that in spite of many similarities there are significant differences between theory of Hardy spaces on unit disk and multiply connected domains we refer to the paper of Sarason [7] and book of Fisher [2], where H p Ω spaces are studied. Our goal is to show isomorphic and isometric characterizations of Hardy Orlicz spaces on Ω as well as to provide a complete description of compact composition operators C ϕ : H Φ Ω H Φ Ω in terms of Φ-Carleson measure on Ω, where Φ is an Orlicz function. 2. Preliminaries In this section we set out some prerequisites which occur in this paper. In particular we recall some basic facts about Hardy Orlicz spaces and harmonic measures. Hardy Orlicz spaces on disc. Let Φ: [0, [0, be an Orlicz function, i.e., continuous and nondecreasing function such that lim t Φt = and Φt = 0 if and only if t = 0. The Orlicz function Φ satisfies the 2 -condition Φ 2 if for some constant β > and for some t 0 > 0, one has Φβt 2βΦt, for t t 0. Given a measure space Ω,Σ,µ the Orlicz space L Φ Ω := L Φ Ω,Σ,µ is the space of all equivalence classes of Σ-measurable functions f: Ω C for which there is a constant λ > 0 such that Φλ f dµ <. Ω It is easy to check that if there exists C > 0, such that Φt/C Φt/2 for all t > 0, then L Φ Ω is a quasi-banach lattice equipped with the quasi-norm { f } f Φ := inf λ > 0; Φ dµ. λ It is well known that Φ is a norm in the case when Φ is a convex function. For Φt = t p, p 0, ], we have L Φ Ω = L p Ω and the norms coincide. We refer the reader to [4] for more complete information about Orlicz spaces. Let D be the unit disc of the complex plane. Throughout the paper we identify D with T = [0,2π. In the same way Hardy spaces H p D are defined out of the Lebesgue spaces L p T, we define Hardy Orlicz spaces H Φ := H Φ D from the Orlicz spaces L Φ T. For f HD and r 0, denote by f r : T C the function given by f r e it = fre it. Following [] H Φ consists of analytic functions f: D C such that f H Φ := sup f r L Φ T <. 0 r< The formula defines a quasi-norm in H Φ and it is a norm when Φ is a convex function. We note that for every f H Φ the radial limit f t := lim r freit, t T, Ω

3 Composition operators on Hardy Orlicz spaces on planar domains 595 exists a.e. and f H Φ = f L Φ T. Recall that see [8] the inverse is also true: for given f L Φ T such that its Fourier coefficients f n vanish for n < 0, the analytic extension fz = P[f ]z := n=0 f nz n, z D, belongs to H Φ and f H Φ = f L T. Φ We denote by HM Φ the subspace of finite elements of H Φ, i.e., the space of all f HD such that for every λ > 0 we have sup 0 r< T Φλ fre it dt <. Harmonic measures. Let Ω be a domain on the Riemann sphere and let u: Ω R be a continuous function on = Ω. The Dirichlet problem is to find if there exists a function ũ: Ω R which is continuous and satisfies two conditions:. ũ is harmonic on Ω, 2. ũ = u on. The Dirichlet problem can be solved for many domains. For our considerations the following result is sufficient see [2, Corollary.4.5.]. Proposition 2.. If each component of Ω is nontrivial, then the Dirichlet problem is solvable in Ω. In particular if Ω is a multiply-connected domain whose boundary consists of finitely many disjoint analytic Jordan curves then the Dirichlet problem is solvable for Ω. Recall that an analytic arc is the image ψ, of the open interval, under a map which is one-to-one and analytic on a neighborhood in C of, to C and an analytic Jordan curve is a Jordan curve that is finite union of open analytic arcs. Let Ω be a domain on the sphere for which the Dirichlet problem is solvable we write Ω SDP and let p Ω. If u C Ω then the map u ũp is linear and bounded by the Maximum Modulus Principle. The Riesz representation theorem implies that there is a unique real measure ω p on = Ω such that ũp = udω p. This measure is called harmonic measure on for p. Note that ω p is probability measure which has no atoms. Now we recall important properties of harmonic measures. First notice that ω p depends of the point p Ω, but it can be shown that for p and q Ω, ω p and ω q are boundedly mutually absolutely continuous. Further, if K is a compact subset of Ω we write K Ω, then there is a constant M such that ω q E Mω p E for all q K and for all measurable set E Ω. Suppose now that Ω and Ω 2 are two domains and f is holomorphic function which maps Ω onto Ω 2 homeomorphically. If Ω SDP, then also Ω 2 SDP. Let p Ω and p 2 = fp. Denote by ω the harmonic measure on Ω for p and define measure µ on Ω 2 as follows: µe = ω f E, E Ω 2.

4 596 Michał Rzeczkowski Then µ is harmonic measure on Ω 2 for p 2. Let Ω,Ω 2 SDP, Ω Ω 2. Let p Ω and let ω and ω 2 be harmonic measure on Ω and Ω 2 respectively, for p. Then for each compact set E Ω Ω 2 we have ω E ω 2 E. For next properties we need the Green s function of a domain. Assume that Ω is a domain on the Riemann sphere and Ω SDP, p Ω. A function g,p is a Green s function for Ω with a pole or singularity at p p, if z gz;p is harmonic on Ω\{p}, gz; p + log z p is harmonic in a neighbourhood of p, limgz;p = 0 for all ζ Ω. z ζ Assume now that Ω consist of m+ disjoint analytic Jordan curves. Let p Ω and let gz;p be Green s function for Ω at p. Denote by hz = hz;p the harmonic conjugate ofgz;p note thathis multivalued. Then we have that locallyq = g+ih is analytic and its derivative is single-valued on Ω. The following results see [2] show relationships between harmonic measure arc length and Green s function. Theorem 2.2. [2, Theorem.6.4.] Suppose Ω is bounded by a finite number of disjoint analytic Jordan curves. Then for each z Ω we have dω z = 2π n g,zds, where g,p is the Green s function for Ω with pole at z, is the derivative in the n direction of outwards normal at Ω and ds is arc length. The function P z ζ := dωzζ = gζ,z, where ζ Ω and z Ω is called ds 2π n Poisson kernel for Ω. It satisfies inequalities for positive constants c, c 2. Lebesgue measure on Ω. c dω z ds c 2 For convienience we assume that s is normalized Theorem 2.3. [2, Proposition.6.5.] dω p ζ = i 2π Q ζdζ. 3. Hardy Orlicz spaces on planar domains In this section we define Hardy Orlicz spaces on planar domains and prove basic properties of these spaces. We start from the study of certain properties of domains and subharmonic functions. Let Ω be a domain on the Riemann sphere. Recall that a regular exhaustion of Ω is a sequence {Ω n } n= of subdomains of Ω which satisfy the following conditions: Ω n Ω n+ for n N, 2 n= = Ω, 3 every component of Ω n, is nontrivial for each n N. It can be proved that each domain has a regular exhaustion see [2, Proposition.5.3]. Recall that upper semicontinuous function u: Ω [, is called subharmonic we write u subhω, if for every compact subset K Ω and every continuous function h harmonic on interior of K with h u on K, we have h u on K as well. In this case h is called harmonic majorant of u. It can be proved that if u has harmonic majorant, then it has the least harmonic majorant and it is unique. It is well known that subharmonic functions satisfy Maximum Modulus Principle. Using this fact and the Harnack Theorem we can obtain the following result.

5 Composition operators on Hardy Orlicz spaces on planar domains 597 Theorem 3.. Let Ω SDP and u subhω, p Ω. Then u has harmonic majorant if and only if for each regular exhaustion {Ω n } of Ω there exist a constant C such that Ω n udω p,n C, where ω p,n is harmonic measure on Ω n for p. In fact infimum over those constants is equal tovp, wherevis the least harmonic majorant of u. Now we can define Hardy Orlicz spaces on general domains. Let Φ: [0, [0, be convex Orlicz function. Suppose that Ω SDP, {Ω n } is regular exhaustion of Ω and z 0 Ω. For g: Ω C denote g n := g Ωn. We define Hardy Orlicz space on Ω by the following condition: H Φ Ω := {f HΩ: f H Φ Ω < }, where { f H Φ Ω := lim f n Φ = lim inf ε > 0: n n Ω n Φ fn ε } dω n,z0. Notice that by Theorem 3. we can also describe H Φ Ω in terms of harmonic majorant; it is a set of all holomorphic functions f, for which there exists λ > 0, such that subharmonic function Φλ f has harmonic majorant. Moreover f H Φ Ω = inf{ε > 0: v f,ε z 0 }, where v f,ε is the least harmonic majorant of Φ f ε. It s clear that H Φ Ω is a Banach space. We denote by HM Φ Ω the subspace of finite elements of H Φ Ω, i.e., closure of H Ω in H Φ Ω. For further work we need additional assumption on domain Ω. Let Ω be a bounded domain whose boundary consists of m+ disjoint analytic Jordan curves, i.e. m := Ω = k, where k is analytic Jordan curve and k j = for k j. Assume that 0 is the boundary of the unbounded component of the complement of Ω. Denote by E 0 bounded component of S 2 \ 0 and for k {,2,...,m}, denote by E k unbounded component of S 2 \ k, where S 2 is the Riemann sphere. From now Ω will be always a set of this type. We also define by H Φ 0E k the subspace of H Φ E k which consists those functions which vanish at. The first result shows that H Φ Ω can be represented as a certain direct sum: Theorem 3.2. For each f H Φ Ω we have the following decomposition k=0 2 fz = f 0 z+f z+...+f m z, z Ω, where f 0 H Φ E 0 andf k H Φ 0 E k for each k m. Moreover, the mapf f 0 is a bounded linear projection of H Φ Ω onto H Φ E 0 and f f k is a bounded linear projection of H Φ Ω onto H Φ 0 E k.

6 598 Michał Rzeczkowski Proof. Fix f H Φ Ω, z Ω and let C 0,...,C m be a smooth Jordan curves so close to 0,..., m respectively, that z is exterior to C,...,C m and interior to C 0. Now for each 0 k m f k z := fζ 2πi C k ζ z dζ. It is clear that f = f 0 + f f m and f f k is a linear operator. Further f k HE k and it is independent of the choice of C k, 0 k m. We have also f k = 0 for each k m. It s easily seen that if f H0E Φ k for some k then f l = 0 for l k. Hence f = f k. We need to show that f k H Φ E k. Note that for all l k the function f l is bounded pointwise on some neighborhood U of k. From the formula 2 and the fact that H Φ Ω is a linear space we conclude that f H Φ U, and so this implies that f H Φ E k. Note that interpolation theorem for general variants of Hardy spaces on planar domains which are defined as a similar direct sums has been recently proved in [3]. Recall that polynomials are dense in HM Φ. Denote by RΩ the set of rational functions whose poles are off Ω. We formulate analogue of this result for HM Φ Ω. Proposition 3.3. RΩ is dense in HM Φ Ω. Proof. Fixk {0,...,m}. SinceΩ E k thenω z,ω A ω z,ek A for every point z Ω and every subset A k. Thus the H Φ E k norm is larger then H Φ Ω. We need to show that f k is a limit in HM Φ E k of a sequence of functions holomorphic in a neighborhood of Ē k. Let η k be a Riemann mapping of D onto E k. Since D is analytic, this mapping can be extended to holomorphic and one-to-one in some neighborhood of D. The same is true for the inverse function η k. Put g k := f k η k, then g k HM Φ and therefore, by Runge s theorem, there is a function G analytic on a neighborhood of D and such that G g k H Φ < ε and it is equivalent to G η k f k H Φ E k < ε, and G η k is analytic in a neighborhood of Ē k. Applying again Runge s theorem we can approximate G η k uniformly on Ēk by elements of RΩ. Proposition 3.4. [2, Proposition ] If u L,ds and uζ 0 = dζ, z / ζ z then u = 0 a.e. on. Now we formulate the main result of this section. Let us remark that ω := ω z for a point z Ω. Theorem 3.5. Every f H Φ Ω has boundary values f almost everywhere dω on and f L Φ,ω. Moreover fz = f 3 w dw, z Ω, 2πi w z f w 4 0 = dw, z / Ω, w z 5 fz = f ζdω z ζ, z Ω.

7 Composition operators on Hardy Orlicz spaces on planar domains 599 Finally, the mapping f f is an isomorphism of H Φ Ω onto closed subspace of L Φ,ω and it is an isometry of HM Φ Ω onto closed subspace of L Φ,ω. Proof. By Theorem 3.2 it is enough to show that f k has boundary values a.e. ds on and that this boundary-value functions lies in L Φ,ω. Fix k {0,...,m}. For l k the function f k is analytic on l. So 3, 4 and 5 hold immediately. Let η k be the Riemann mapping of D onto E k. Note that η k extends to be analytic and conformal on a neighborhood of Ω since k is analytic the same is true for η k : E k D. Further g k = f k η k H Φ so gk exists a.e. on T and g k LΦ T. Then f k = g k η k has boundary values a.e. ds on k and fk = g k η k a.e. so that fk LΦ k,ds and hence fk LΦ,ω. Now if z Ω then f k z = g k η k z = gk ξ 2πi ξ = ξ η dξ. k z Putting ξ = η k ζ we have Now we notice that f k z = 2πi k fk ζ η k ζ η k zη k ζ dζ. η k ζ η k ζ η k z = ζ z +Sz, where S is analytic in a neighborhood of Ω, since the function in the left-hand side of the equality has a simple pole at z with residue equal to. So we have Sζfk ζ = 0. k f If k l then k ζ dζ = 0 and so 3 and 4 hold.to prove 5 recall that dω l ζ z zζ = i 2π Q zζdζ, where Q z ζ = gζ;z+ihζ;z. Then Q zζ = +Rζ, where R is z ζ holomorphic on Ω, hence f krζdζ = 0. Consequently f ζdω z ζ = i 2π f ζ ζ z dζ + i 2π f ζrζdζ = fz. To show that f f is isomorphism from H Φ Ω into L Φ,ω it is enough to use Theorem 3.2 and the facts that f k fk is isomorphism from HΦ E k into L Φ k,ω and for l k the function f k is analytic on l. Now we show that f f is isometry from HM Φ Ω into L Φ,ω. Let q RΩ and let u be the harmonic function on Ω given by 6 uz = qζ Φ dω z, z Ω. q H Φ Ω Then Φ qz uz, and if v is any harmonic majorant of Φ q H Φ Ω qx ux = Φ liminf{vz : z x}. q H Φ Ω qz q H Φ Ω, then It implies that the harmonic functionv u is non-negative atand hence for allz Ω. q Thus, the function u given by 6 is the least harmonic majorant of Φ and q H Φ Ω we conclude that q H Φ Ω = q L Φ,ω for q RΩ. Now take f HM Φ Ω. By

8 600 Michał Rzeczkowski Proposition 3.3 there exist {q n } in RΩ such that q n f in H Φ Ω. Then q n f uniformly on compact subsets of Ω and it s clear that q n q m H Φ Ω = q n q m L Φ. Hence {q n } is a Cauchy sequence in L Φ. So if q n g in L Φ,ω, then fz = gζdω z ζ, z Ω, since all the harmonic measures are boundedly mutually absolutely continuous. Moreover we have fz = gζ dζ, z Ω, 2πi ζ z and 0 = gζ ζ z dζ = f ζ dζ, z / Ω. ζ z Now by Proposition 3.4 we have g = f a.e. dω. Finally q n f L Φ,ω 0 and f L Φ,ω = lim q n L Φ,ω = lim q n H Φ Ω = lim f H Φ Ω. Notice that in the case when Φ 2, i.e., Φ2x KΦx for some constants K, x 0 and x x 0, then H Φ Ω = HM Φ Ω. So from Theorem 3.2 it follows the analogous result proved by Rudin in [6, Theorem 3.2.] for Hardy space H p Ω, p <, since every power function Φt = t p satisfies 2 condition. Recall that a Banach space X of holomorphic functions on an open subset Ω of the complex plane has the Fatou property ifx is continuously embedded inhω, the space of holomorphic functions on Ω, equipped with its natural topology of compact convergence, and if it has the following property: for every bounded sequence {f n } in X which converges uniformly on compact subsets of Ω to a function f, one has f X. Note that H Φ Ω has the Fatou property. We have seen that H Φ Ω is isomorphic to H Φ E 0 H0E Φ H0E Φ m. Since conformal maps are isometries in the class of Hardy Orlicz spaces we may assume that E 0 = D, E i = a i + r i D for i =,...,m, where r i 0,, a i D, a i a j if i j and the circles D,a i +r i D are pairwise disjoint and E i E j =. Spaces of those type on such Ω, which is called circular domain are isomorphic to a general described before so from now Ω denotes this special case. Let us note that conformal maps from E i onto unit disc and inverse which we used before for this particular Ω are of the form: { ri η i z = +a z i dla z D\{0}, dla z = 0, η i z = { ri z a i dla z E i \{ }, 0 dla z =. for i m and we put η 0 = id D. It was proved in [8] that the norm of the evaluation functional δ z : H Φ D C at z D satisfies condition δ z Φ. z Using this fact, Theorem 3.2 and conformal maps it is easy to prove, that for z Ω, the norm of δ z : H Φ Ω C satisfies δ z CΦ, where the constant C distz, depends only on Ω and z.

9 Composition operators on Hardy Orlicz spaces on planar domains 60 At the end of this section we introduce useful family of functions. Recall that see [8] for a D and r 0, r 2, u a,r z = ārz is holomorphic function on D with u a,r H r, u a,r H = and u a,r H Φ Φ. For i m and a and r as above we define r r 2, u i a,r z = u a,r η i z = z Ω, ārr i z a i and u 0 a,r = u a,r Ω. Note that for each 0 i m function u i a,r extends to holomorphic function on E i. It is also clear that we have analogous norm estimation: u i a,r H E i r, u i a,r H E i =, u i a,r H Φ E i Φ, and ui a,r H Ω r C r, u i a,r H Ω, u i a,r H Φ Ω Φ, for some constant C. r 4. Composition operators on Hardy Orlicz spaces of planar domains In this section we study properties of composition operators C ϕ : H Φ Ω H Φ Ω and canonical inclusion maps j µ : H Φ Ω L Φ Ω,µ, where µ is a Borel measure µ on Ω. Recall that if ϕ is analytic map ϕ: Ω Ω in this case we write ϕ Υ := Υ Ω, then for f HΩ we define C ϕ as follow: C ϕ fz := f ϕz, z Ω. First let s see that C ϕ defines bounded operator. Linearity is clear. To show that C ϕ : H Φ Ω H Φ Ω is bounded take f H Φ Ω with f H Φ Ω = λ, where λ = inf{ε > 0: v f,ε z 0 } and v f,ε being the least harmonic majorant of Φ f. ε We have f ϕ Φ v f,ε ϕ, ε andv f,ε ϕ is harmonic function. Further Φ fϕz0 v f,ε ϕz 0. Put w 0 = ϕz 0, then from Harnack s inequality there exists constant c > 0 such that v f,ε w 0 cv f,ε z 0, now taking C = maxc, it is clear that C ϕ f H Φ Ω C f H Φ Ω. In what follows we investigate compactness of composition operators on Hardy Orlicz spaces of planar domains. We will use the following result see [8, Proposition 3.8]. Proposition 4.. Let X,Y be two Banach spaces of analytic functions on an open set Ω C, X having the Fatou property. Let ϕ Υ be such that C ϕ Y whenever f X. Then C ϕ : X Y is compact if and only if for every bounded sequence {f n } in X which converges to 0 uniformly on compact subsets of Ω, one has C ϕ f n Y 0. We can apply Proposition 4. in the case whenx = Y = H Φ Ω getting necessary condition for compactness of C ϕ. Proposition 4.2. If C ϕ : H Φ Ω H Φ Ω is compact operator, then for each 0 i m we have 7 lim sup Φ C ϕ u i s p,s p D s H Φ Ω = 0. ε

10 602 Michał Rzeczkowski Proof. Let {p n } be any sequence in D, and {s n } 0,, with s n. By the fact that u i p,s H Φ Φ, for every s 0, we conclude that the sequence s {fn i } defined by f i nz = Φ s n u i p n,s n z, z Ω, is bounded in H Φ Ω for all 0 i m. Moreover Φ is concave and Φ 0 = 0, so there exists a constant C > 0 such that Φ x Cx for x. But it implies that for i m and We conclude that for 0 i m fnz i C s n 2 s n pnsnr i z a i 2 fn 0 C s n 2, z s n z 2 f i n 0, on compact subsets of Ω and by Proposition 4. we have that C ϕ f n H Φ Ω 0. Therefore 7 clearly holds. Carleson measures. Let ϕ Υ. Since ϕ is bounded by Theorem 3.5, the boundary function ϕ exists and it is in L Φ,ω or what is equivalent ϕ L Φ,ds. For given ϕ Υ and any Borel subset of Ω we define pullback measure as follows: µ ϕ B := sϕ B. Further we have { C ϕ f H Φ Ω f ϕ L Φ,ω = inf ε > 0: { inf ε > 0: { = inf ε > 0: = f L Φ Ω,µ ϕ. Ω, f ϕ } Φ dω ε f ϕ } Φ ds ε f } Φ dµ ϕ ε It shows that some properties of a composition operator C ϕ : H Φ Ω H Φ Ω can be expressed in terms of an inclusion operator j µϕ : H Φ Ω L Φ Ω,µ ϕ. We will consider inclusion operator in general not only for a pullback measures. Lemma 4.3. Suppose that j µ : H Φ Ω L Φ Ω,µ ϕ is a compact operator. Then µ = 0. Proof. First note that lemma is true when Ω = D see [8, Lemma 4.8]. To have general case consider operators T i : H Φ H Φ Ω, defined as follow T i f = f η i Ω, where 0 i m. It is clear that T i is a bounded operator for each 0 i m. Since {e n } given by e n z := z n is weakly null in HM Φ then {T i e n } is weakly null in

11 Composition operators on Hardy Orlicz spaces on planar domains 603 HM Φ Ω for 0 i m. By compactness of j µ we have that ri n dµ < ε, z a i n where i m, and Φ Ω Ω Φ z n dµ < ε for every ε 0, and sufficiently large n. Hence Φµ i < ε for each 0 i m and it implies that µ = 0. Let {Ω n } be arbitrary regular exhaustion of Ω and let µ be Borel measure on Ω. We define operator I n : H Φ Ω L Φ Ω,µ as follow I n f := fχ Ω\Ωn. Theorem 4.4. Let µ be a finite measure on Ω, and Φ an Orlicz function. The following assertions are equivalent: The inclusion operator j µ : H Φ Ω L Φ Ω,µ is well defined and compact. 2 For every bounded sequence {f n } in H Φ Ω converging to 0 uniformly on compact sets, we have f n L Φ Ω,µ 0. 3 H Φ Ω is included in L Φ Ω and lim I n H n Φ Ω L Φ Ω,µ = 0. for any regular exhaustion {Ω n } of Ω. Proof. To show that 2 implies is a standard and it can be found in [5]. We show that implies 2. From lemma we know that µ Ω = 0; take {f n } B H Φ Ω withf n 0 uniformly on compact subsets ofω. In particularf n z 0 for allz Ω. Since µ Ω = 0 we have that f n 0 µ-a.e. on Ω. Suppose that f n L Φ Ω,µ 0 is not true. From the compactness of inclusion operator we have that there exists a subsequence {f nk } such that f nk g 0 in L Φ Ω. But f nk g µ-a.e. and this gives a contradiction. Suppose now that 3 holds. We have that j µ = lim n j µ I n Notice that j µ I n is inclusion operator of H Φ Ω into L Φ Ω,ν for a finite measure ν supported by Ω n. Applying equivalence of and 2 to I n ν := j µ I n we get that I n ν is compact for every n N and also j µ is compact operator as the limit of compact operators. Assume that 2 holds. Notice that the sequence { I n } is decreasing so if 3 were not true, there would exist a constant ε 0 > 0, a sequence {f n } in the unit ball of H Φ Ω and regular exhaustion {Ω n } of Ω such that I n f n L Φ Ω,µ > ε 0, for n N. The sequence {f n } is uniformly bounded on compact subets of Ω. By Theorem 3.2 we can decompose each f n as follow: f n z = f 0,n z+f,n z+ +f m,n z, z Ω, nfi,n with f i,n H0 ΦE r i. For each i n define by g i,n z := i z a i z and g 0,n z := z n f 0,n z. It is clear that g i,n is bounded in H0E Φ i for 0 i m and g i,n 0 uniformly on compact subets of E i, so g n = g 0,n + +g m,n is bounded in

12 604 Michał Rzeczkowski H Φ Ω and g n 0 uniformly on compact subets of Ω. By 2 we should have that if g n L Φ Ω,µ 0. But if dist i,z n, or in other words z An i, where then A n i = { z E i : z = a i +r i +εe iθ, 0 ε, θ [0,2π]}, n A n 0 = D\ D, n r i n g i,n z = fi,n z z a i + n n fi,n z 4 f i,nz for i m and in a similar manner we obtain g 0,n z f 4 0,nz for z A n 0. Now if we renumber {Ω n } to have Ω\Ω n A n = m i=0 An i and in the same way we renumber {f n }, then 4 g n L Φ Ω,µ I n f n L Φ Ω,µ ε 0 > 0, for n big enough and this is a contradiction to the fact g n L Φ Ω,µ 0. Carleson window on i = Ω of center ξ i and radius 0 < h < min i j dist i, j is the set W 0 ξ,h = {z Ω: h < z, argξz < h}, i = 0 W i ξ,h = {z Ω: z a i < r i, argξz < h}, i m. h It is trivial that z W 0 ξ,h if and only if η i z W i η i ξ,h when i. Note also that area of Carleson window satisfies estimation AW i ξ,h 2r 2 i h2, and the constant 2r 2 i is optimal. Let µ be a finite measure on Ω, 0 < h < min i j dist i, j, A > 0, and Φ an Orlicz function, we denote: ρ µ h := max 0 i m sup ξ i µwξ,h, ρ K µ h := sup µt 0<t h, t γ A h :=. Φ AΦ Following [8] we define the following conditions: h R 0 lim ρµh h 0 + γ A = 0 for every A > 0. h K 0 lim Kµhh h 0 + γ A = 0 for every A > 0. h C 0 Inclusion operator j µ : H Φ Ω L Φ Ω,µ is compact. Our purpose is to show that we have the following implications K 0 = C 0 = R 0. We will use the following proposition see [5, Lemma 3.3.] Proposition 4.5. Condition R 0 is equivalent to: h lim h 0 + Φ Φ ρ µh = 0. We note that in [8] or [5] it was proved that C 0 implies R 0 in the case of Ω = D. Based on our Theorem 4.4 we prove below a more general result. Theorem 4.6. Condition C 0 implies R 0.

13 Composition operators on Hardy Orlicz spaces on planar domains 605 Proof. Using Theorem 4.4, in the same way that Proposition 4. was used to prove Proposition 4.2, we deduce that for each 0 i m we have 8 lim sup Φ u i r p D r p,r L Φ Ω,µ = 0. It is easy to check that u 0 p,rz 9, when z W 0p,h, and r = h, thus We obtain analogous inequality Φ 9 u 0 p,r L Ω,µ. Φ µw 0 p,h Φ 9 u i p,r L Ω,µ, Φ µw i η i p,h if i using the fact that z W 0 p,h if and only if η i z W i η i p,h. Further taking for each i 0 the supremum over ξ i = η i p in fact we take m + -times supremum over p D and use the fact that η i is bijection and then maximum over i = 0,...,m we obtain from 8 that lim h 0 + Φ h Φ ρ µh For ξ, and α > consider the following family of sets G α ξ := {z Ω: z ξ < αdistz,}. = 0. Put G ξ := G 3 ξ. The maximal non-tangential function M f will be defined by: M f ξ := sup{ fz : z G ξ }. Using the fact that the maximal non-tangential function M f is weak type, and strong type, see [5, p ] we can extend using the same methods important result which was proved in [8, Proposition 3.5]. Proposition 4.7. Assume that the Orlicz function Φ 2. Then every linear, or sublinear, operator which is of weak-type, and strong type, is bounded from L Φ into itself. In particular, for every f L Φ, the maximal non-tangential function M f L Φ. Theorem 4.8. Let µ be finite borel measure on Ω, f: Ω C continuous function. Then for each t > 0 and for each 0 < h < 4 min i jdist i, j we have 9 µ{z Ω: distz, h, fz > t} C K µ hs{ξ : M f ξ > t}. It was proved in [8] that for D the inequality holds with C =. Using exactly the same methods it is easy to obtain 9 for a circular domain. Recall that the norm of evaluation functional at point z Ω on H Φ Ω is not larger than CΦ for a constant C. Put c 0 = max,c to have c 0 > distz, and denote by c = max,c, where C is the constant from Theorem 4.8. Lemma 4.9. Let µ be a finite Borel measure on Ω. Suppose that Φ 2 and there exists A > 0 and 0 < h A < 4 min i jdist i, j such that for every h 0,h A we have K µ h h γ Ah,

14 606 Michał Rzeczkowski then for every f B H Φ Ω and for every Borel subset E Ω we have A Φ f dµ µeφx A + c ΦM f ds, 2c 0 c 0 E where x A = A 2 Φ h A. Proof. For every w > 0, the inequality fz > w implies that w < c 0 Φ, distz, hence distz, < Φw/c 0. It follows by Theorem 4.8 that µ{z Ω: fz > w} c K µ s{ξ : M f ξ > w}, Φs/c 0 if Φw/c 0 min 4 i jdist i, j. Further A Φ f dµ = Φ tµ { f > 2c 0 t/a} E dt. 2c 0 E By assumption for Φw/c 0 > /h A we have: K µ Φw/c 0 Φw/c 0 ΦAw/c 0. Then we have { µ z Ω fz > 2c } 0t A and E 0 { Φ2t/A c Φ2t s ξ : M f ξ > 2c } 0t. A A xa { Φ f dµ = Φ tµedt+ Φ ts M f ξ > 2c 0t 2c 0 0 x A A { Φ2t/A Φx A µe+c x A Φ2t Φ ts } dt M f ξ > 2c 0t A } dt. Note that one has Φt tφ t Φ2t, for any Orlicz function Φ. Using these inequalities we obtain { Φ2t/A x A Φ2t Φ ts M f ξ > 2c } 0t dt A { Φ2t/A s M f ξ > 2c } 0t dt 0 t A 2 { Φ 2t/As M f ξ > 2c } 0t dt A 0 A { } Φ xs M f > c 0 x dx which implies desired inequality. 2 A 0 = Φ M f ds c 0 c 0 Φ M f ds Theorem 4.0. If Φ 2, then condition K 0 implies C 0.

15 Composition operators on Hardy Orlicz spaces on planar domains 607 Proof. Take ε > 0. Denote by C the norm of maximal operator M f. Set A = 4Cc 0c, where c ε 0 and c are constants from the previous Lemma. Condition K 0 implies existence of 0 < h A < min 4 i jdist i, j such that K µ h 2h γ Ah, when h h A. If f B H Φ Ω then for each n N by Lemma 4.9 we have: Ω\Ω n Φ f dµ = ε 2 2 A f Φ dµ Ω\Ω n 4Cc 0 c 2 µ Ω\Ω n Φx A + c c 0 µ Ω\Ω n Φx A + c 0, A f Φ Ω\Ω n 2Cc 0 c Mf Φ ds Cc for any regular exhaustion {Ω n } of Ω. Since c 0 > and µ = 0 we have µ Ω\ 2 Ω n Φx A + c 0 for a sufficiently large n. This implies by Theorem 4.4 that j µ is compact, i.e., C 0 holds. We are able to show that in the case of µ = µ ϕ that conditions C 0, R 0 and K 0 are equivalent. To prove that we need the following result: Theorem 4.. There exists a constant k > 0 such that for every ϕ Υ, each 0 i m and ξ i i we have 0 where ε 0, and h is small enough. µ ϕ W i ξ i,εh kεµ ϕ W i ξ i,h, Proof. First notice that Theorem is true when Ω = D, ϕ Υ D see [8], in this case h < ϕ0. To prove it in general case fix 0 i m. Let U i,...,ui n i Ω be finite family of domains which satisfies conditions: i for every j n i the set Uj i is simply connected, ii for every j n i the boundary Uj i of Ui j is formed by analytic Jordan curve, iii i n i j= Ui j and every arc contained in i Uj i is free analytic boundary arc for every j n i, iv for every 0 l m and l i we have l n i j= Ui j =. Let τ i,j : Uj i D be conformal map from Ui j onto disc D, then τ i,j extends for each j n i to diffeomorphism τ i,j : Ūi j D. The same is true for the inverse mapτ i,j. Note that there exist finite constants C i,j,c i,j > 0 such that c i,j τ i,j z C i,j. It implies that for every z,z 2 D there exist finite constants C i,j,c i,j > 0 such that c i,j z z 2 τ i,j z τ i,j z 2 C i,j z z 2. Put C = max 0 i m max j ni C i,j and c = min 0 i m min j ni c i,j. Fix ξ k Ω and let h be as small that the preimage ϕ W k ξ,h of Carleson window W k ξ,h is contained in a certain arc of U i j for 0 i m and j n i. For 0 k m define function ψ i,j,k : D D as follow: ψ i,j,k z = η k ϕ τi,j z, z D. dµ

16 608 Michał Rzeczkowski Since ψ i,j,k Υ D then the measure µ ψi,j,k satisfies 0. Thus for sufficiently small h > 0 we have µ ψi,j,k W0 η ξ,h = s {z D: ψ i,j,k z W 0η ξ,h} = s {z D: ϕ τ i,j z W kξ,h}. Using with universal constants C,c we easily see that the last amount is comparable to s {z i : ϕ z W k ξ,h} = µ ϕ Wk ξ,h, for every 0 k m and every ξ k and sufficiently small h > 0. Thus for sufficiently small Carleson windows we have µ ψi,j,k W 0 η ξ,h µ ϕ W k ξ,h for every 0 k m. Then for 0 k m we have µ ϕ W k ξ,εh K µ ψi,j,k W0 η k ξ,εh CK εµ ψi,j,k W0 η k ξ,h CK K 2 εµ ϕ Wk ξ,h. Using this Theorem we obtain characterization of compact composition operators. Theorem 4.2. Let ϕ Υ and let Φ 2 be the Orlicz function. Composition operator C ϕ : H Φ Ω H Φ Ω is compact if and only if for every A > 0 2 ρ ϕ h lim h 0 + γ A h = 0, where ρ ϕ := ρ µϕ. Equivalently C ϕ is compact if and only if h 3 lim h 0 + Φ Φ ρ ϕh = 0. Proof. Equivalence of 2 and 3 was proved in 4.5. For h small enough and 0 < t < h using 0 with ε = t we obtain h µ ϕ W i ξ i,t k t h µ ϕw i ξ i,h for each ξ i, i = 0,...,m. Taking supremum over ξ we get ρ ϕ t k tρ h ϕh. Hence for µ = µ ϕ ρ µ t K µ h = sup ρ µh 0<t h t h, so from Theorem 4.6 and Theorem 4.0 conditionsr 0,K 0 andc 0 are equivalent. Now we prove that condition 7 in Proposition 4.2 is also sufficient to the compactness of composition operator. Corollary 4.3. Let ϕ Υ and let Φ 2 be the Orlicz function. Composition operatorc ϕ : H Φ Ω H Φ Ω is a compact operator if and only if for each0 i m we have 4 lim sup Φ C ϕ u i s p,s p D s H Φ Ω = 0.

17 Composition operators on Hardy Orlicz spaces on planar domains 609 Proof. We prove in Proposition 4.2 that condition 4 is necessary to compactness of C ϕ. In Theorem 4.6 we showed that 3 follows from lim sup Φ u i r p,r p D r L Φ Ω,µ = 0, but this condition is equivalent to 4 for µ = µ ϕ. By Theorem 4.2 we obtain the thesis. Acknowledgements. This research was partly supported by the Foundation for Polish Science FNP. References [] Cowen, C., and B. MacCluer: Composition operators on spaces of analytic functions. - CRC Press, Boca Raton, 995. [2] Fisher, S.D.: Function theory on planar domains. - Wiley, New York, 983. [3] Fisher, S.D., and J.E. Shapiro: The essential norm of composition operators on a planar domain. - Illinois J. Math. 43:, 999, [4] Forelli, F.: The isometries of H p. - Canad. J. Math. 6, 964, [5] Garnett, J.B., and D.E. Marshall: Harmonic measure. - Cambridge Univ. Press, [6] Lefèvre, P., D. Li, H. Queffélec, and L. Rodríguez-Piazza: Some examples of compact composition operators on H 2. - J. Funct. Anal. 255:, 2008, [7] Lefèvre, P., D. Li, H. Queffélec, and L. Rodríguez-Piazza: Compact composition operators on H 2 and Hardy Orlicz spaces. - J. Math. Anal. Appl. 354:, 2009, [8] Lefèvre, P., D. Li, H. Queffélec, and L. Rodríguez-Piazza: Composition operators on Hardy Orlicz spaces. - Mem. Amer. Math. Soc. 207:94, 200. [9] Lefèvre, P., D. Li, H. Queffélec, and L. Rodríguez-Piazza: Nevanlinna counting function and Carleson function of analytic maps. - Math. Ann. 35, 20, [0] MacCluer, B.D.: Compact composition operators onh p B N. - Michigan Math. J. 32, 985, [] Mastyło, M., and P. Mleczko: Solid hulls of quasi-banach spaces of analytic functions and interpolation. - Nonlinear Anal. 73:, 200, [2] Mastyło, M., and L. Rodríguez-Piazza: Carleson measures and embeddings of abstract Hardy spaces into function lattices. - J. Funct. Anal. 268:4, 205, [3] Mleczko, P., and R. Szwedek: Interpolation of Hardy spaces on circular domains. - Preprint, 205. [4] Rao, M.M., and Z.D. Ren: Theory of Orlicz spaces. - Pure and Applied Mathematics 46, Marcel Dekker, Inc., 99. [5] Rodríguez-Piazza, L.: Composition operators on Hardy Orlicz spaces. - Contemp. Math. 56, 202, [6] Rudin, W.: Analytic functions of class H p. - Trans. Amer. Math. Soc. 78, 955, [7] Sarason, D.: The H p spaces of an annulus. - Mem. Amer. Math. Soc. 56, 965, 78. [8] Shapiro, J.H.: The essential norm of a composition operator. - Ann. of Math. 25, 987, [9] Shapiro, J.H.: Composition operators and classical function theory. - Springer-Verlag, New York, 99. Received 2 January 206 Accepted 2 November 206

arxiv: v1 [math.ca] 1 Jul 2013

arxiv: v1 [math.ca] 1 Jul 2013 Carleson measures on planar sets Zhijian Qiu Department of mathematics, Southwestern University of Finance and Economics arxiv:1307.0424v1 [math.ca] 1 Jul 2013 Abstract In this paper, we investigate what

More information

COMPOSITION OPERATORS ON ANALYTIC WEIGHTED HILBERT SPACES

COMPOSITION OPERATORS ON ANALYTIC WEIGHTED HILBERT SPACES COMPOSITION OPERATORS ON ANALYTIC WEIGHTE HILBERT SPACES K. KELLAY Abstract. We consider composition operators in the analytic weighted Hilbert space. Various criteria on boundedness, compactness and Hilbert-Schmidt

More information

COMPOSITION OPERATORS INDUCED BY SYMBOLS DEFINED ON A POLYDISK

COMPOSITION OPERATORS INDUCED BY SYMBOLS DEFINED ON A POLYDISK COMPOSITION OPERATORS INDUCED BY SYMBOLS DEFINED ON A POLYDISK MICHAEL STESSIN AND KEHE ZHU* ABSTRACT. Suppose ϕ is a holomorphic mapping from the polydisk D m into the polydisk D n, or from the polydisk

More information

11 COMPLEX ANALYSIS IN C. 1.1 Holomorphic Functions

11 COMPLEX ANALYSIS IN C. 1.1 Holomorphic Functions 11 COMPLEX ANALYSIS IN C 1.1 Holomorphic Functions A domain Ω in the complex plane C is a connected, open subset of C. Let z o Ω and f a map f : Ω C. We say that f is real differentiable at z o if there

More information

ON COMPACTNESS OF THE DIFFERENCE OF COMPOSITION OPERATORS. C φ 2 e = lim sup w 1

ON COMPACTNESS OF THE DIFFERENCE OF COMPOSITION OPERATORS. C φ 2 e = lim sup w 1 ON COMPACTNESS OF THE DIFFERENCE OF COMPOSITION OPERATORS PEKKA NIEMINEN AND EERO SAKSMAN Abstract. We give a negative answer to a conjecture of J. E. Shapiro concerning compactness of the dierence of

More information

THEOREMS, ETC., FOR MATH 515

THEOREMS, ETC., FOR MATH 515 THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every

More information

MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5

MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5 MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have

More information

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space 1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization

More information

Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett/

Hartogs Theorem: separate analyticity implies joint Paul Garrett  garrett/ (February 9, 25) Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ (The present proof of this old result roughly follows the proof

More information

SARASON S COMPOSITION OPERATOR OVER THE HALF-PLANE

SARASON S COMPOSITION OPERATOR OVER THE HALF-PLANE SARASON S COMPOSITION OPERATOR OVER THE HALF-PLANE BOO RIM CHOE, HYUNGWOON KOO, AND WAYNE SMITH In memory of Donald Sarason Abstract. Let H = {z C : Im z > 0} be the upper half plane, and denote by L p

More information

COMPOSITION SEMIGROUPS ON BMOA AND H AUSTIN ANDERSON, MIRJANA JOVOVIC, AND WAYNE SMITH

COMPOSITION SEMIGROUPS ON BMOA AND H AUSTIN ANDERSON, MIRJANA JOVOVIC, AND WAYNE SMITH COMPOSITION SEMIGROUPS ON BMOA AND H AUSTIN ANDERSON, MIRJANA JOVOVIC, AND WAYNE SMITH Abstract. We study [ϕ t, X], the maximal space of strong continuity for a semigroup of composition operators induced

More information

INTEGRATION OPERATORS FROM CAUCHY INTEGRAL TRANSFORMS TO WEIGHTED DIRICHLET SPACES. Ajay K. Sharma and Anshu Sharma (Received 16 April, 2013)

INTEGRATION OPERATORS FROM CAUCHY INTEGRAL TRANSFORMS TO WEIGHTED DIRICHLET SPACES. Ajay K. Sharma and Anshu Sharma (Received 16 April, 2013) NEW ZEALAN JOURNAL OF MATHEMATICS Volume 44 (204), 93 0 INTEGRATION OPERATORS FROM CAUCHY INTEGRAL TRANSFORMS TO WEIGHTE IRICHLET SPACES Ajay K. Sharma and Anshu Sharma (Received 6 April, 203) Abstract.

More information

Complex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm

Complex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are

More information

Functional Analysis I

Functional Analysis I Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker

More information

Spectra of weighted composition operators on spaces of analytic functions

Spectra of weighted composition operators on spaces of analytic functions Spectra of weighted composition operators on spaces of analytic functions by Paweł Mleczko Adam Mickiewicz University in Poznań, Poland contribution to the conference New perspectives in the theory of

More information

Rigidity of harmonic measure

Rigidity of harmonic measure F U N D A M E N T A MATHEMATICAE 150 (1996) Rigidity of harmonic measure by I. P o p o v i c i and A. V o l b e r g (East Lansing, Mich.) Abstract. Let J be the Julia set of a conformal dynamics f. Provided

More information

POINTWISE MULTIPLIERS FROM WEIGHTED BERGMAN SPACES AND HARDY SPACES TO WEIGHTED BERGMAN SPACES

POINTWISE MULTIPLIERS FROM WEIGHTED BERGMAN SPACES AND HARDY SPACES TO WEIGHTED BERGMAN SPACES Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 24, 139 15 POINTWISE MULTIPLIERS FROM WEIGHTE BERGMAN SPACES AN HARY SPACES TO WEIGHTE BERGMAN SPACES Ruhan Zhao University of Toledo, epartment

More information

WEIGHTED COMPOSITION OPERATORS BETWEEN H AND THE BLOCH SPACE. Sh^uichi Ohno 1. INTRODUCTION

WEIGHTED COMPOSITION OPERATORS BETWEEN H AND THE BLOCH SPACE. Sh^uichi Ohno 1. INTRODUCTION TAIWANESE JOURNAL OF MATHEMATICS Vol. 5, No. 3, pp. 555-563, September 2001 This paper is available online at http://www.math.nthu.edu.tw/tjm/ WEIGHTED COMPOSITION OPERATORS BETWEEN H AND THE BLOCH SPACE

More information

The Hardy space of a slit domain. Alexandru Aleman, Nathan S. Feldman, William T. Ross

The Hardy space of a slit domain. Alexandru Aleman, Nathan S. Feldman, William T. Ross The Hardy space of a slit domain Alexandru Aleman, Nathan S. Feldman, William T. Ross June 23, 2009 2 Preface If H is a Hilbert space and T : H H is a continous linear operator, a natural question to ask

More information

SINGULAR FACTORS ARE RARE

SINGULAR FACTORS ARE RARE SINGULAR FACORS AR RAR SPHN D. FISHR AND JONAHAN. SHAPIRO Abstract. We prove that for H p functions f(z) andg(z) which have mutually prime singular factors, f(z) wg(z) has a trivial singular inner factor

More information

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable

More information

8 8 THE RIEMANN MAPPING THEOREM. 8.1 Simply Connected Surfaces

8 8 THE RIEMANN MAPPING THEOREM. 8.1 Simply Connected Surfaces 8 8 THE RIEMANN MAPPING THEOREM 8.1 Simply Connected Surfaces Our aim is to prove the Riemann Mapping Theorem which states that every simply connected Riemann surface R is conformally equivalent to D,

More information

An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010

An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010 An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010 John P. D Angelo, Univ. of Illinois, Urbana IL 61801.

More information

BOUNDARY CORRESPONDENCE UNDER QUASICONFORMAL HARMONIC DIFFEO- MORPHISMS OF A HALF-PLANE

BOUNDARY CORRESPONDENCE UNDER QUASICONFORMAL HARMONIC DIFFEO- MORPHISMS OF A HALF-PLANE Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 3, 25, 159 165 BOUNDARY CORRESPONDENCE UNDER QUASICONFORMAL HARMONIC DIFFEO- MORPHISMS OF A HALF-PLANE David Kalaj and Miroslav Pavlović Prirodno-matematički

More information

ADJOINT OPERATOR OF BERGMAN PROJECTION AND BESOV SPACE B 1

ADJOINT OPERATOR OF BERGMAN PROJECTION AND BESOV SPACE B 1 AJOINT OPERATOR OF BERGMAN PROJECTION AN BESOV SPACE B 1 AVI KALAJ and JORJIJE VUJAINOVIĆ The main result of this paper is related to finding two-sided bounds of norm for the adjoint operator P of the

More information

A NEW CLASS OF OPERATORS AND A DESCRIPTION OF ADJOINTS OF COMPOSITION OPERATORS

A NEW CLASS OF OPERATORS AND A DESCRIPTION OF ADJOINTS OF COMPOSITION OPERATORS A NEW CLASS OF OPERATORS AND A DESCRIPTION OF ADJOINTS OF COMPOSITION OPERATORS CARL C. COWEN AND EVA A. GALLARDO-GUTIÉRREZ Abstract. Starting with a general formula, precise but difficult to use, for

More information

PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS

PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 207 222 PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Fumi-Yuki Maeda and Takayori Ono Hiroshima Institute of Technology, Miyake,

More information

Rudin Real and Complex Analysis - Harmonic Functions

Rudin Real and Complex Analysis - Harmonic Functions Rudin Real and Complex Analysis - Harmonic Functions Aaron Lou December 2018 1 Notes 1.1 The Cauchy-Riemann Equations 11.1: The Operators and Suppose f is a complex function defined in a plane open set

More information

ON A MAXIMAL OPERATOR IN REARRANGEMENT INVARIANT BANACH FUNCTION SPACES ON METRIC SPACES

ON A MAXIMAL OPERATOR IN REARRANGEMENT INVARIANT BANACH FUNCTION SPACES ON METRIC SPACES Vasile Alecsandri University of Bacău Faculty of Sciences Scientific Studies and Research Series Mathematics and Informatics Vol. 27207), No., 49-60 ON A MAXIMAL OPRATOR IN RARRANGMNT INVARIANT BANACH

More information

Analytic families of multilinear operators

Analytic families of multilinear operators Analytic families of multilinear operators Mieczysław Mastyło Adam Mickiewicz University in Poznań Nonlinar Functional Analysis Valencia 17-20 October 2017 Based on a joint work with Loukas Grafakos M.

More information

Invariant subspaces for operators whose spectra are Carathéodory regions

Invariant subspaces for operators whose spectra are Carathéodory regions Invariant subspaces for operators whose spectra are Carathéodory regions Jaewoong Kim and Woo Young Lee Abstract. In this paper it is shown that if an operator T satisfies p(t ) p σ(t ) for every polynomial

More information

Composition Operators on the Fock Space

Composition Operators on the Fock Space Composition Operators on the Fock Space Brent Carswell Barbara D. MacCluer Alex Schuster Abstract We determine the holomorphic mappings of C n that induce bounded composition operators on the Fock space

More information

MATHS 730 FC Lecture Notes March 5, Introduction

MATHS 730 FC Lecture Notes March 5, Introduction 1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists

More information

ENTRY POTENTIAL THEORY. [ENTRY POTENTIAL THEORY] Authors: Oliver Knill: jan 2003 Literature: T. Ransford, Potential theory in the complex plane.

ENTRY POTENTIAL THEORY. [ENTRY POTENTIAL THEORY] Authors: Oliver Knill: jan 2003 Literature: T. Ransford, Potential theory in the complex plane. ENTRY POTENTIAL THEORY [ENTRY POTENTIAL THEORY] Authors: Oliver Knill: jan 2003 Literature: T. Ransford, Potential theory in the complex plane. Analytic [Analytic] Let D C be an open set. A continuous

More information

Large Deviations, Linear Statistics, and Scaling Limits for Mahler Ensemble of Complex Random Polynomials

Large Deviations, Linear Statistics, and Scaling Limits for Mahler Ensemble of Complex Random Polynomials Large Deviations, Linear Statistics, and Scaling Limits for Mahler Ensemble of Complex Random Polynomials Maxim L. Yattselev joint work with Christopher D. Sinclair International Conference on Approximation

More information

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms

More information

UNIFORM APPROXIMATION BY b HARMONIC FUNCTIONS

UNIFORM APPROXIMATION BY b HARMONIC FUNCTIONS UNIFORM APPROXIMATION BY b HARMONIC FUNCTIONS JOHN T. ANDERSON Abstract. The Mergelyan and Ahlfors-Beurling estimates for the Cauchy transform give quantitative information on uniform approximation by

More information

THE ESSENTIAL NORM OF A COMPOSITION OPERATOR ON A PLANAR DOMAIN

THE ESSENTIAL NORM OF A COMPOSITION OPERATOR ON A PLANAR DOMAIN THE ESSENTIAL NORM OF A COMPOSITION OPERATOR ON A PLANAR DOMAIN STEPHEN D. FISHER AND JONATHAN E. SHAPIRO Abstract. We generalize to finitely connected planar domains the result of Joel Shapiro which gives

More information

Pervasive Function Spaces

Pervasive Function Spaces Anthony G. O Farrell http://www.maths.may.ie/staff/aof/ Bȩndlewo, 23-7-2009 Anthony G. O Farrell http://www.maths.may.ie/staff/aof/ Bȩndlewo, 23-7-2009 Joint with I. Netuka (Prague) and M.A. Sanabria (La

More information

arxiv: v1 [math.cv] 21 Sep 2007

arxiv: v1 [math.cv] 21 Sep 2007 Proc. Indian Acad. Sci. (Math. Sci. Vol. 117, No. 3, August 2003, pp. 371 385. Printed in India Weighted composition operators from Bergman-type spaces into Bloch spaces arxiv:0709.3347v1 [math.cv] 21

More information

l(y j ) = 0 for all y j (1)

l(y j ) = 0 for all y j (1) Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that

More information

Function Spaces - selected open problems

Function Spaces - selected open problems Contemporary Mathematics Function Spaces - selected open problems Krzysztof Jarosz Abstract. We discuss briefly selected open problems concerning various function spaces. 1. Introduction We discuss several

More information

THEOREMS, ETC., FOR MATH 516

THEOREMS, ETC., FOR MATH 516 THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition

More information

Banach Spaces V: A Closer Look at the w- and the w -Topologies

Banach Spaces V: A Closer Look at the w- and the w -Topologies BS V c Gabriel Nagy Banach Spaces V: A Closer Look at the w- and the w -Topologies Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we discuss two important, but highly non-trivial,

More information

CHAPTER V DUAL SPACES

CHAPTER V DUAL SPACES CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the

More information

MA3111S COMPLEX ANALYSIS I

MA3111S COMPLEX ANALYSIS I MA3111S COMPLEX ANALYSIS I 1. The Algebra of Complex Numbers A complex number is an expression of the form a + ib, where a and b are real numbers. a is called the real part of a + ib and b the imaginary

More information

5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.

5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing. 5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint

More information

RIEMANN MAPPING THEOREM

RIEMANN MAPPING THEOREM RIEMANN MAPPING THEOREM VED V. DATAR Recall that two domains are called conformally equivalent if there exists a holomorphic bijection from one to the other. This automatically implies that there is an

More information

Numerical Range in C*-Algebras

Numerical Range in C*-Algebras Journal of Mathematical Extension Vol. 6, No. 2, (2012), 91-98 Numerical Range in C*-Algebras M. T. Heydari Yasouj University Abstract. Let A be a C*-algebra with unit 1 and let S be the state space of

More information

Composition operators: from dimension 1 to innity (but not beyond)

Composition operators: from dimension 1 to innity (but not beyond) : from dimension 1 to innity (but not beyond) Université d'artois (Lens) Lille 26 May 2016 From works with Frédéric Bayart Pascal Lefèvre Hervé Queélec Luis Rodríguez-Piazza First part: dimension 1 Hardy

More information

Mixing Taylor shifts and universal Taylor series

Mixing Taylor shifts and universal Taylor series Mixing Taylor shifts and universal Taylor series H.-P. Beise, T. Meyrath and J. Müller October 15, 2014 Abstract It is known that, generically, Taylor series of functions holomorphic in a simply connected

More information

arxiv: v1 [math.fa] 13 Jul 2007

arxiv: v1 [math.fa] 13 Jul 2007 Proc. Indian Acad. Sci. (Math. Sci.) Vol. 117, No. 2, May 2003, pp. 185 195. Printed in India Weighted composition operators on weighted Bergman spaces of bounded symmetric domains arxiv:0707.1964v1 [math.fa]

More information

INTRODUCTION TO REAL ANALYTIC GEOMETRY

INTRODUCTION TO REAL ANALYTIC GEOMETRY INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E

More information

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989), Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer

More information

Weighted composition operators on weighted Bergman spaces of bounded symmetric domains

Weighted composition operators on weighted Bergman spaces of bounded symmetric domains Proc. Indian Acad. Sci. (Math. Sci.) Vol. 117, No. 2, May 2007, pp. 185 196. Printed in India Weighted composition operators on weighted Bergman spaces of bounded symmetric domains SANJAY KUMAR and KANWAR

More information

Analysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both

Analysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both Analysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both real and complex analysis. You have 3 hours. Real

More information

PICARD S THEOREM STEFAN FRIEDL

PICARD S THEOREM STEFAN FRIEDL PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A

More information

ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES

ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 167 176 ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Piotr Haj lasz and Jani Onninen Warsaw University, Institute of Mathematics

More information

Complex Analysis Qual Sheet

Complex Analysis Qual Sheet Complex Analysis Qual Sheet Robert Won Tricks and traps. traps. Basically all complex analysis qualifying exams are collections of tricks and - Jim Agler Useful facts. e z = 2. sin z = n=0 3. cos z = z

More information

ABELIAN COVERINGS, POINCARÉ EXPONENT OF CONVERGENCE AND HOLOMORPHIC DEFORMATIONS

ABELIAN COVERINGS, POINCARÉ EXPONENT OF CONVERGENCE AND HOLOMORPHIC DEFORMATIONS Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 20, 1995, 81 86 ABELIAN COVERINGS, POINCARÉ EXPONENT OF CONVERGENCE AND HOLOMORPHIC DEFORMATIONS K. Astala and M. Zinsmeister University

More information

ASYMPTOTIC MAXIMUM PRINCIPLE

ASYMPTOTIC MAXIMUM PRINCIPLE Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 27, 2002, 249 255 ASYMPTOTIC MAXIMUM PRINCIPLE Boris Korenblum University at Albany, Department of Mathematics and Statistics Albany, NY 12222,

More information

Invertible Composition Operators: The product of a composition operator with the adjoint of a composition operator.

Invertible Composition Operators: The product of a composition operator with the adjoint of a composition operator. Invertible Composition Operators: The product of a composition operator with the adjoint of a composition operator. John H. Clifford, Trieu Le and Alan Wiggins Abstract. In this paper, we study the product

More information

Real Analysis Notes. Thomas Goller

Real Analysis Notes. Thomas Goller Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................

More information

3. 4. Uniformly normal families and generalisations

3. 4. Uniformly normal families and generalisations Summer School Normal Families in Complex Analysis Julius-Maximilians-Universität Würzburg May 22 29, 2015 3. 4. Uniformly normal families and generalisations Aimo Hinkkanen University of Illinois at Urbana

More information

Banach Spaces II: Elementary Banach Space Theory

Banach Spaces II: Elementary Banach Space Theory BS II c Gabriel Nagy Banach Spaces II: Elementary Banach Space Theory Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we introduce Banach spaces and examine some of their

More information

COMPLEX ANALYSIS Spring 2014

COMPLEX ANALYSIS Spring 2014 COMPLEX ANALYSIS Spring 204 Cauchy and Runge Under the Same Roof. These notes can be used as an alternative to Section 5.5 of Chapter 2 in the textbook. They assume the theorem on winding numbers of the

More information

WHAT DO COMPOSITION OPERATORS KNOW ABOUT INNER FUNCTIONS?

WHAT DO COMPOSITION OPERATORS KNOW ABOUT INNER FUNCTIONS? WHAT DO COMPOSITION OPERATORS KNOW ABOUT INNER FUNCTIONS? JOEL H. SHAPIRO Abstract. This paper gives several different ways in which operator norms characterize those composition operators C ϕ that arise

More information

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2. ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n

More information

A HARDY LITTLEWOOD THEOREM FOR BERGMAN SPACES

A HARDY LITTLEWOOD THEOREM FOR BERGMAN SPACES Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 43, 2018, 807 821 A HARY LITTLEWOO THEOREM FOR BERGMAN SPACES Guanlong Bao, Hasi Wulan and Kehe Zhu Shantou University, epartment of Mathematics

More information

Peak Point Theorems for Uniform Algebras on Smooth Manifolds

Peak Point Theorems for Uniform Algebras on Smooth Manifolds Peak Point Theorems for Uniform Algebras on Smooth Manifolds John T. Anderson and Alexander J. Izzo Abstract: It was once conjectured that if A is a uniform algebra on its maximal ideal space X, and if

More information

Analysis Comprehensive Exam Questions Fall 2008

Analysis Comprehensive Exam Questions Fall 2008 Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)

More information

ON THE SOLID HULLS OF THE NEVANLINNA AND SMIRNOV CLASSES

ON THE SOLID HULLS OF THE NEVANLINNA AND SMIRNOV CLASSES Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 39, 2014, 897 904 ON THE SOLID HULLS OF THE NEVANLINNA AND SMIRNOV CLASSES Marek Nawrocki A. Mickiewicz University, Faculty of Mathematics and Computer

More information

Part IB Complex Analysis

Part IB Complex Analysis Part IB Complex Analysis Theorems Based on lectures by I. Smith Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after

More information

COMPACT DIFFERENCE OF WEIGHTED COMPOSITION OPERATORS ON N p -SPACES IN THE BALL

COMPACT DIFFERENCE OF WEIGHTED COMPOSITION OPERATORS ON N p -SPACES IN THE BALL COMPACT DIFFERENCE OF WEIGHTED COMPOSITION OPERATORS ON N p -SPACES IN THE BALL HU BINGYANG and LE HAI KHOI Communicated by Mihai Putinar We obtain necessary and sucient conditions for the compactness

More information

SETS OF UNIQUENESS FOR DIRICHLET TYPE SPACES

SETS OF UNIQUENESS FOR DIRICHLET TYPE SPACES SES OF UNIQUENESS FOR DIRICHLE YPE SPACES KARIM KELLAY Abstract. We study the uniqueness sets on the unit circle for weighted Dirichlet spaces.. Introduction Let D be the open unit disk in the complex

More information

Composition operators: the essential norm and norm-attaining

Composition operators: the essential norm and norm-attaining Composition operators: the essential norm and norm-attaining Mikael Lindström Department of Mathematical Sciences University of Oulu Valencia, April, 2011 The purpose of this talk is to first discuss the

More information

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure

More information

Extension of Matrices with Entries in H on Coverings of Riemann Surfaces of Finite Type

Extension of Matrices with Entries in H on Coverings of Riemann Surfaces of Finite Type Extension of Matrices with Entries in H on Coverings of Riemann Surfaces of Finite Type arxiv:0801.1720v1 [math.cv] 11 Jan 2008 Alexander Brudnyi Department of Mathematics and Statistics University of

More information

Key to Complex Analysis Homework 1 Spring 2012 (Thanks to Da Zheng for providing the tex-file)

Key to Complex Analysis Homework 1 Spring 2012 (Thanks to Da Zheng for providing the tex-file) Key to Complex Analysis Homework 1 Spring 212 (Thanks to Da Zheng for providing the tex-file) February 9, 212 16. Prove: If u is a complex-valued harmonic function, then the real and the imaginary parts

More information

3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first

3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q

More information

The result above is known as the Riemann mapping theorem. We will prove it using basic theory of normal families. We start this lecture with that.

The result above is known as the Riemann mapping theorem. We will prove it using basic theory of normal families. We start this lecture with that. Lecture 15 The Riemann mapping theorem Variables MATH-GA 2451.1 Complex The point of this lecture is to prove that the unit disk can be mapped conformally onto any simply connected open set in the plane,

More information

1 Math 241A-B Homework Problem List for F2015 and W2016

1 Math 241A-B Homework Problem List for F2015 and W2016 1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let

More information

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is

More information

Functional Analysis, Stein-Shakarchi Chapter 1

Functional Analysis, Stein-Shakarchi Chapter 1 Functional Analysis, Stein-Shakarchi Chapter 1 L p spaces and Banach Spaces Yung-Hsiang Huang 018.05.1 Abstract Many problems are cited to my solution files for Folland [4] and Rudin [6] post here. 1 Exercises

More information

6.2 Mean value theorem and maximum principles

6.2 Mean value theorem and maximum principles Hence g = u x iu y is analytic. Since is simply connected, R g(z) dz =forany closed path =) g has an integral function, G = g in. Call G = U + iv. For analytic functions d G = d G. Hence dz dx g = d dz

More information

ON A DISTANCE DEFINED BY THE LENGTH SPECTRUM ON TEICHMÜLLER SPACE

ON A DISTANCE DEFINED BY THE LENGTH SPECTRUM ON TEICHMÜLLER SPACE Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 315 326 ON A DISTANCE DEFINED BY THE LENGTH SPECTRUM ON TEICHMÜLLER SPACE Hiroshige Shiga Tokyo Institute of Technology, Department of

More information

PRODUCTS OF MULTIPLICATION, COMPOSITION AND DIFFERENTIATION OPERATORS FROM MIXED-NORM SPACES TO WEIGHTED-TYPE SPACES. Fang Zhang and Yongmin Liu

PRODUCTS OF MULTIPLICATION, COMPOSITION AND DIFFERENTIATION OPERATORS FROM MIXED-NORM SPACES TO WEIGHTED-TYPE SPACES. Fang Zhang and Yongmin Liu TAIWANESE JOURNAL OF MATHEMATICS Vol. 18, No. 6, pp. 1927-1940, December 2014 DOI: 10.11650/tjm.18.2014.4311 This paper is available online at http://journal.taiwanmathsoc.org.tw PRODUCTS OF MULTIPLICATION,

More information

Part II. Riemann Surfaces. Year

Part II. Riemann Surfaces. Year Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised

More information

COMPACT COMPOSITION OPERATORS ON THE SMIRNOV CLASS

COMPACT COMPOSITION OPERATORS ON THE SMIRNOV CLASS COMPACT COMPOSITION OPERATORS ON THE SMIRNOV CLASS JUN SOO CHOA, HONG OH KIM, AND JOEL H. SHAPIRO Abstract. We show that a composition operator on the Smirnov class N + is compact if and only if it is

More information

Derivatives of Harmonic Bergman and Bloch Functions on the Ball

Derivatives of Harmonic Bergman and Bloch Functions on the Ball Journal of Mathematical Analysis and Applications 26, 1 123 (21) doi:1.16/jmaa.2.7438, available online at http://www.idealibrary.com on Derivatives of Harmonic ergman and loch Functions on the all oo

More information

Complex Analysis Qualifying Exam Solutions

Complex Analysis Qualifying Exam Solutions Complex Analysis Qualifying Exam Solutions May, 04 Part.. Let log z be the principal branch of the logarithm defined on G = {z C z (, 0]}. Show that if t > 0, then the equation log z = t has exactly one

More information

Duality results for Hardy Spaces on strongly convex domains with smooth boundary

Duality results for Hardy Spaces on strongly convex domains with smooth boundary Duality results for Hardy Spaces on strongly convex domains with smooth boundary Alekos Vidras, Department of Mathematics and Statistics, University of Cyprus, Cyprus Istanbul Analysis Seminar, February

More information

Review of complex analysis in one variable

Review of complex analysis in one variable CHAPTER 130 Review of complex analysis in one variable This gives a brief review of some of the basic results in complex analysis. In particular, it outlines the background in single variable complex analysis

More information

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

arxiv: v1 [math.cv] 11 Nov 2018

arxiv: v1 [math.cv] 11 Nov 2018 arxiv:1811.04408v1 [math.cv] 11 Nov 2018 GENERIC NON-EXTENDABILITY AND TOTAL UNBOUNDEDNESS IN FUNCTION SPACES V. NESTORIDIS, A. G. SISKAKIS, A. STAVRIANIDI, AND S. VLACHOS Abstract. For a function space

More information

Laplace s Equation. Chapter Mean Value Formulas

Laplace s Equation. Chapter Mean Value Formulas Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic

More information

Theorem [Mean Value Theorem for Harmonic Functions] Let u be harmonic on D(z 0, R). Then for any r (0, R), u(z 0 ) = 1 z z 0 r

Theorem [Mean Value Theorem for Harmonic Functions] Let u be harmonic on D(z 0, R). Then for any r (0, R), u(z 0 ) = 1 z z 0 r 2. A harmonic conjugate always exists locally: if u is a harmonic function in an open set U, then for any disk D(z 0, r) U, there is f, which is analytic in D(z 0, r) and satisfies that Re f u. Since such

More information

Math 185 Homework Problems IV Solutions

Math 185 Homework Problems IV Solutions Math 185 Homework Problems IV Solutions Instructor: Andrés Caicedo July 31, 22 12 Suppose that Ω is a domain which is not simply connected Show that the polynomials are not dense in H(Ω) PROOF As mentioned

More information

A TALE OF TWO CONFORMALLY INVARIANT METRICS

A TALE OF TWO CONFORMALLY INVARIANT METRICS A TALE OF TWO CONFORMALLY INVARIANT METRICS H. S. BEAR AND WAYNE SMITH Abstract. The Harnack metric is a conformally invariant metric defined in quite general domains that coincides with the hyperbolic

More information

arxiv: v1 [math.fa] 1 Sep 2018

arxiv: v1 [math.fa] 1 Sep 2018 arxiv:809.0055v [math.fa] Sep 208 THE BOUNDEDNESS OF CAUCHY INTEGRAL OPERATOR ON A DOMAIN HAVING CLOSED ANALYTIC BOUNDARY Zonguldak Bülent Ecevit University, Department of Mathematics, Art and Science

More information