arxiv: v1 [math.cv] 28 Mar 2018

Transcription

1 DUALITY OF HOLOMORPHIC HARDY TYPE TENT SPACES ANTTI PERÄLÄ arxiv: v1 [math.cv] 28 Mar 2018 Abstract. We study the holomorhic tent saces HT q,α (, which are motivated by the area function descrition of the Hardy saces on one hand, and the maximal function descrition of the Hardy saces on the other. Characterizations for these saces under general fractional differential oerators are given. We describe the dual of HT q,α( for the full range 0 <,q < and α > n 1. Here the case 1 < <, q 1 leads us to the Hardy-Bloch tye saces BT ( and BT,0 (, the latter being the redual of HT 1,α (. In an analogous fashion, the case = 1 < q < gives rise to Hardy-Carlesontye saces CT q,α ( and CT 0 q,α (. In the remaining cases, the duality can be described in terms of the classical Bloch sace B(. We also study these saces in detail, roviding characterizations in terms of fractional derivatives. When,q 1, our aroachto the question of duality is strongly related to the boundedness of a certain weighted Bergman rojections acting on tent saces. For the small exonents, we will also need to aly some other techniques, such as atomic decomositions and embedding theorems. The work resented gives a unified aroach for the classical Hardy and Bergman dualities, also involving the Bloch and BMOA saces as well as some new saces. We end the aer with discussion of some further questions and related toics. 1. Introduction The concet of tent saces, introduced by R. R. Coifman, Y. Meyer and E. M. Stein [10], arises from harmonic analysis. Related techniques have found alication in holomorhic Hardy and Bergman saces, in connection to Carleson measures, atomic decomositions and various oerators acting between these saces. We mention here [1, 9, 12, 18, 21, 22, 25, 26, 30, 28]. Motivated by the fact that the derivatives of Hardy sace functions are comletely characterized in terms of their membershi in a certain tent sace of holomorhic functions, it is indeed natural to study these saces under the additional assumtion of holomorhicity. From the definition of a generic tent sace T q, it is not surrising that one has the duality (T q T q, 2010 Mathematics Subject Classification. 30H10, 30A36, 46A20, 42B35. Key words and hrases. duality, tent sace, Hardy sace, Bergman sace, Bloch sace, Carleson measure, BMOA, Bergman rojection. The author acknowledges financial suort from the Sanish Ministry of Economy and Cometitiveness, through the María de Maeztu Programme for Units of Excellence in R&D (MDM The author was artially suorted by the grant MTM P (Ministerio de Educación y Ciencia. 1

2 2 ANTTI PERÄLÄ where 1 <,q < and and q are the usual dual exonents. It is absolutely natural to exect such duality result to hold for the holomorhic tent saces as well. On the other hand, it is well-known (see [15], [17] that the analogous result can fail even for the holomorhic Lebesgue saces (although a very natural duality result exists, and the weights need not be athological, see also [16]. Therefore, it is not comletely obvious, what one should exect, even though the end-result might not come as a surrise. Also, it is not clear what to exect when, q 1; tyically holomorhicity guarantees rich structure of a dual sace, even for these small exonents. The urose of the resent work is to study these questions. Our first main result is Theorem 9, which describes the duality for holomorhic Hardy tye tent saces HT q,α (, when 1 < <, effectively obtaining the exected duality (HT q,α( HT q,α (, when 1 <,q <. The case q 1 leads to holomorhic Hardy-Bloch tye saces BT ( that seem do not seem to have aeared in the literature before. We establish (HT q,α( BT (. The case q < 1 is more demanding and is therefore treated searately in Theorem 17. In this case the dual airing will change in a manner analogous to [4], [31], [33], [36], for instance. The case 0 < 1 gives rise to so-called Hardy-Carleson tye saces CT q,α (. This nomenclature is motivated by the fact that these saces are defined in terms of Carleson measures, in a fashion similar to the way the classical BMOA( can be defined in terms of Carleson measures. SomekeyointsintheroofarecontainedinProositions6and21, whichareinteresting in their own right. These results establish the boundedness of a certain Bergman tye rojection on T q,α(. This rojection arises from the dual airing of the measurable tent saces, and we extend some well-known roerties to the tent sace case. Along the way to towards the desired duality result, it well be well-motivated to study the saces HT q,α ( and BT ( is detail. Theorems 2 and 4 characterize these saces in terms of the fractional derivatives R s,t (see [35, 36, 37]. These theorems are also used to obtain an aroximation result in Lemma 7, which will be needed to comlete the duality. For the case q < 1, we will also aly atomic decomosition techniques in Lemmas 14 and 16. The comlete descrition of duality is exressed via the Table 1 below. For a reader, who is familiar with the standard Hardy and Bergman dualities only when 1, it might come as a surrise that when 0 < < 1, the dual of both Hardy and Bergman saces can be identified with the Bloch sace, see [36]. A similar henomenon (or an extension of this result occurs here; when < 1, the dual sace can always be identified with B(. There are also the natural little-o versions of the saces BT ( and CT q,α (. These will be denoted by BT,0 ( and CT 0 q,α (, resectively. For 1 < <, we obtain the duality (BT,0 ( HT 1,α (.

3 DUALITY OF HOLOMORPHIC HARDY TYPE TENT SPACES 3 (HT q,α( 0 < < 1 = 1 1 < < 0 < q 1 B( B( BT ( 1 < q < B( CT q,α( HT q,α ( Table 1. Duality results summarized This our Theorem 13. For 1 < q <, we obtain CT 0 q,α ( HT 1 q,α (. The case of CT 0 q,α ( can be treated by using vanishing Carleson measures, once the main duality result is obtained. However, the definition of the sace BT,0 ( seems to be more involving, and we resent the full roof of the duality in its own section. This work can be considered as a unified treatment of duality results that contains also the classical Hardy, Hardy-BMOA, as well as the Bergman and Bergman-Bloch dualities. The end-oint saces BT ( and CT q,α ( do not seem to have aeared in the literature in this context and generality. In the author s oinion, they clarify the icture of the classical dualities in very natural way. Having the boundedness of the Bergman rojection oens ossibilities for a rather straightforward study of many oerators. These include the corresonding Toelitz and Hankel oerators, where the generating symbol can be assumed to be essentially bounded. This, for instance, makes it natural to study the sectral roerties of Toelitz oerators acting onht q,α ( in a manner similar to the fundamental results of U. Venugoalkrisna, L. A. Coburn and L. Boutet de Monvel, [6, 8, 34]. Let us also mention the fairly recent joint aer with A. Böttcher [7]. Aside from these toics, we will end u with some oen questions. These will be discussed in the last section of the aer. The author would like to remark that there some result, most notably Lemmas 14, 16 and 23 that, although roven here, are most likely well-known. The author claims no originality of these results, but decided to add roofs due the difficulty of finding them in the literature, at least in the generality considered here Notation and conventions. We will throughout use the following conventions. Given a quasinormed sace X and x X, the quasinorm of x on X is denoted by x X. If T : X Y is a linear oerator between two quasinormed saces X and Y, then its oerator quasinorm is denoted by T X Y. The sace of continuous linear functionals X C or the dual of X is denoted by X. We will also write X Y, to exress that the saces are isomorhic. We will be studying several function saces with some -integrability condition. Given [1, ], we will always denote by its dual exonent: = /( 1. We understand 1 = and = 1. By A B, we mean that there exists C > 0 so that A CB. The relation A B is defined analogously. If both A B and A B, we write A B.

4 4 ANTTI PERÄLÄ Acknowledments. The author wishes to thank Jordi Pau for several insiring discussions and showing him the ower of tent saces. 2. Preliminaries Denote by = {z C n : z < 1} the oen unit ball in C n, the Euclidean sace of comlex dimension n. For any two oints z = (z 1,...,z n and w = (w 1,...,w n in C n we write z,w = z 1 w 1 + +z n w n, and z = z,z = z z n 2. Let β R and 0 < <. The Lebesgue sace L β ( consists of measurable f on with f L β (Bn = f(z (1 z 2 β dv n (z <, where dv n (z is the 2n-dimensional Lebesgue measure on, which is normalized so that V n ( = 1. The sace L ( consists of the essentially bounded measurable functions f, and the norm used will be f L ( = ess su z f(z Hardy, Bergman, BMOA and Bloch saces. For 0 < <, the Hardy sace H ( consists of those holomorhic functions f : C with f H (B = su n f(rζ dσ(ζ <, 0<r<1 wheredσ isthesurfacemeasureontheunitshere := normalizedsothatσ( = 1. By H ( we mean the sace of bounded holomorhic functions on. A function f in H ( has radial limits f(ζ = lim r 1 f(rζ for almost every ζ ; and H 2 ( becomes a Hilbert sace when endowed with the inner roduct f,g 1 = f(ζg(ζdσ(ζ. It is well-known that if 1 < <, then H ( H (. The dual of H 1 ( is known as the sace BMOA( ; this fact will be discussed in more detail later on. Let β > 1 and 0 < <. The Bergman sace A β ( consists of those holomorhic functions f in, for which f A β (Bn = f(z (1 z 2 β dv n (z <. The sace A 2 β ( is a Hilbert sace under the inner roduct f,g β = f(zg(z(1 z 2 β dv n (z.

5 DUALITY OF HOLOMORPHIC HARDY TYPE TENT SPACES 5 The orthogonal rojection P β : L 2 β ( A 2 β ( is called the Bergman rojection, and it is given by the formula Here P β f(z = c(n,β Bn (1 u 2 β c(n,β = (1 z,u 1+n+βf(udV n(u. Γ(n+β +1 n!γ(β +1 is the constant that makes (1 z 2 β dv n (z a robability measure. It is well-known that P β : L β ( A β ( is bounded if and only if 1 < <. We will also need the Bloch sace B(, which consists of those holomorhic functions f on, for which where f B(Bn = su z (1 z 2 f(z + f(0 <, f = ( z1 f, z2 f,..., zn f is the comlex gradient of f. It is known that P β (L ( = B(. Moreover, if 1 < <, then A β ( A β (, whereas the dual of A 1 β ( can be identified as the Bloch sace. We refer to the books [32] and [37] for the theory of Hardy, Bergman and Bloch saces of the unit ball. For Hardy saces of the unit disk, see [11] Fractional differential oerators. We will be using a family of fractional derivative and integral oerators. Suose that s and t are real arameters such that neither n+s nor n + s + t is a negative integer. Then the fractional differential oerator R s,t is the unique linear oerator, which is continuous on the sace of holomorhic functions on the ball (equied with the toology of uniform convergence on comact sets satisfying R s,t 1 (1 z,u n+1+s = 1 (1 z,u n+1+s+t In a similar way, we define the fractional integration oerator R s,t by the relation It clearly holds that R s,t 1 (1 z,u n+1+s+t = 1 (1 z,u n+1+s. R s,t R s,t = R s,t R s,t = Id. These fractional oerators are articularly useful in the following situation. Suose that the holomorhic f has the integral reresentation dµ(u f(z = (1 z,u n+1+s.

6 6 ANTTI PERÄLÄ Then R s,t f(z = If s > 1, t > 0 and f A 1 s (, then (2.1 R s,t = c(n,s dµ(u (1 z,u n+1+s+t. Bn (1 u 2 s (1 z,u 1+n+s+tf(udV n(u. In a similar fashion, if t > 0, s+t > 1 and f A 1 s+t (, we can write (2.2 R s,t f(z = c(n,s+t Bn (1 u 2 s+t (1 z,u 1+n+sf(udV n(u. The next lemma will be needed to carry out some calculations, when the arameters s and t do not match those of the kernel. Lemma A. Suose that neither n+s nor n+s+t is a negative integer, and that N is a ositive integer. Then, there exist one variable olynomials φ and ψ of degree N so that (2.3 R s,t 1 (1 z,u n+1+s+n = and (2.4 R s,t 1 (1 z,u n+1+s+n+t = φ( z,u (1 z,u n+1+s+n+t ψ( z,u (1 z,u n+1+s+n. This lemma will most often be used in a form, where the olynomials are estimated from above by their L ( norms. We refer an interested reader to the monograh of R. Zhao and K. Zhu [35] and the textbook of Zhu [37] for detailed treatment of these fractional derivatives Tent saces. For ζ and γ > 1, recall that the admissible Korányi aroach region Γ γ (ζ is defined as { = Γ γ (ζ = z : 1 z,ζ < γ } 2 (1 z 2. As a consequence of Lemma D below, it follows that for our uroses, the choice of γ > 1 is not imortant. Therefore, as is customary, we will suress it from the notation. We set I(0 =. If z 0, then I(z = {ζ : z }. It can be shown that σ(i(z (1 z 2 n, and it follows from Fubini s theorem that, for a ositive function ϕ, and a finite ositive measure ν, one has ( dν(z (2.5 ϕ(zdν(z ϕ(z dσ(ζ. (1 z 2 n This fact will be crucial for the analysis of tent saces.

7 DUALITY OF HOLOMORPHIC HARDY TYPE TENT SPACES 7 Let 0 <,q < and α > n 1. The weighted tent sace Tq,α(B n consists of those measurable f on with ( /q f = Tq,α(B n f(z q (1 z 2 α dv n (z dσ(ζ. In addition, T (B n consists of measurable functions f with ( f = T (B n ess su f(z dσ(ζ <. z Note that this definition of T ( differs from the original one in [10], but has since been used in the resent context, see [21, 22, 28]. In order to avoid some cumbersome statements, we understand that T,α( = T (. The quantity T q,α ( is obviously a norm if,q 1. Moreover, if either < 1 or q < 1 (or both, the exression f g min(,q T q,α( is a metric on T q,α(. It is clear that if 1 2 and q 1 q 2, we have T 2 q 2,α ( T 1 q 1,α ( with continuous inclusion. For non-zero u, we define ζ u = u/ u and set Q(u = {z : 1 z,ζ u < 1 u 2 }. We agree that Q(0 =. The sace Tq,α(B n consists of measurable functions f with ( 1/q 1 f T q,α ( = ess su su f(z q (1 z 2 n+α dv ζ u (1 u 2 n n (z. Q(u By comaring with discussion in Section 5.2 of [37], we notice that f T q,α( if and only if (1 2 n+α f q is a Carleson measure on. Motivated by this fact, we recall a characterization for Carleson measures, see for instance Theorem 45 of [35]. Lemma B. Let µ be a ositive Borel measure. Then µ is a Carleson measure if and only if (2.6 su a for some, or equivalently all, T > 0. then Bn (1 a 2 T 1 z,a n+tdµ(z < It follows that if µ CMT ( denotes the suremum in (2.6, and dµ(z = (1 z 2 n+α f(z q dv n (z, µ 1/q CM T ( f T q,α (Bn.

8 8 ANTTI PERÄLÄ The following result is the standard duality theorem for measurable tent saces in a slightly less general form that will suit our uroses. See [10, 21], and also [28]. Theorem C. Let α > n 1, 1 <, 1 q < and +q 2. Then, under the airing f,g n+α = f(zg(z(1 z 2 n+α dv n (z the dual of T q,α ( is T q,α ( with equivalent norms. Our goal is to establish a satisfactory holomorhic version of this theorem. The integral estimate below is one of the key arts of our argument. This result can be found in [3] and [18]. The converse inequality is trivially valid for every λ. Lemma D. Let 0 < s < and λ > nmax(1,1/s. If µ is a ositive measure, then [ ( ] 1 z 2 λ s dµ(z dσ(ζ µ( s dσ(ζ. 1 z,ζ 2.4. Forelli-Rudin estimates. We recall some imortant integral estimates involving Bergman tye kernels on balls. The first one is the classical Forelli-Rudin estimate (see [13] or [37, Theorem 1.12] for examle. The shar constants for the estimate are also known, see [19]. Lemma E. Let t > 1 and s > 0. Then, (1 u 2 t dv n (u 1 z,u n+1+t+s (1 z 2 s for all z. The following, more general version of Lemma E is, along with Lemma D, erhas the most used estimate in this aer. The roof can found in [24]. By, for instance, Vitali s convergence theorem, we may sometimes assume that the oints are in. Lemma F. Let s > 1, s+n+1 > r,t > 0, and r+t s > n+1. For u,z, one has (1 w 2 s dv n (w (2.7 1 u,w r 1 z,w 1 t 1 z,u r+t s n 1. If s > 1, r,t > 0, t > s+n+1 > r and r +t > s+n+1, then for z and u, (1 w 2 s dv n (w (2.8 1 u,w r 1 z,w 1 t 1 z,u r (1 z 2 t s n 1. We will mostly use the formula (2.7, and will exlicitly state when (2.8 is used.

9 DUALITY OF HOLOMORPHIC HARDY TYPE TENT SPACES 9 3. Holomorhic tent saces HT q,α( and BT ( In this section we will define the holomorhic tent saces HT q,α ( and BT (, and characterize them in terms of the fractional derivatives. Definition 1. Let 0 < <, 0 < q and α > n 1. The Hardy tye tent sace HT q,α( consists of holomorhic functions on that also belong to T q,α(. The quasinorm of f HT q,α ( will be given by f HT q,α ( = f T q,α (. It is not difficult to see that every HT q,α( belongs to some A 1 β (. In articular, the standard reroducing formulas and fractional differential oerators can be used, albeit one must be somewhat careful. We next resent the area function descrition of the Hardy saces, which is the motivation for our terminology Hardy tye tent sace. It is usually exressed in terms of some other differential oerators, see [1, 12]; for a roof of the resent variant, see [26]. This name is also chosen to distinguish from the Bergman tye tent saces studied in [30]. Theorem G. Let 0 < <, t > 0 and neither n + s, nor n + s + t is a negative integer. The holomorhic function f belongs to the Hardy sace H ( if and only if R s,t f HT 2,2t 1 n(. Moreover, f H ( R s,t f HT 2,2t 1 n (Bn. Note that one of the benefits of using R s,t is that we automatically get a quasinorm, without the need to introduce a oint-evaluation at zero. Bythenon-tangentialmaximalfunctioncharacterizationoftheHardysace, HT,α( = H (, see for instance [32]. By (2.5, we also have HT,α ( = A n+α(. For the roof of theorems 2 and 4, it will be in order to exlain our choice of arameters beforehand. The arameters N and M denote some large ositive integers, and their urose is to make the use of lemmas A, D and F legal. We also use λ > 0, which is usually assumed to be large comared to N and M, in order to comlete the use of Lemma F. Without secifying the exact value of these integers, we note that by the end of the roof, it will be clear that everything works since N and M can be made large. Bearing this in mind will make the resentation easier to understand. We will next describe the saces HT q,α ( in terms of the fractional derivatives R s,t. Theorem 2. Let 0 <,q <, α > n 1 and s,t be real numbers. Assume further that neither s+n nor s+n+t is a negative integer and qt+n+1+α > 0. Then the following are equivalent. (a f HT q,α (; (b R s,t f HT q,α+qt(. Moreover, the corresonding quasinorms are equivalent.

10 10 ANTTI PERÄLÄ Proof. Assume first that q 1 (recall that 1 =. For a sufficiently large ositive integer N, we have by Hölder s inequality and Lemmas A and E, R s,t f(z q (1 u (Bn 2 s+n 1 z,u 1+n+s+N+t f(u dv n(u (1 z 2 (1 u 2 s+n (qt+n+1+α/q f(u q dv n (u. 1 z,u 1+n+s+N+t (n+1+α/q If z, then (1 z 2 1 z,ζ, so for a sufficiently large λ > 0, we are allowed to use Lemma F together with Fubini s theorem to get R s,t f(z q (1 z 2 qt+α dv n (z (1 z 2 t+α (n+1+α/q q (1 u 2 s+n 1 z,u 1+n+s+N+t (n+1+α/q f(u q dv n (u (1 z Bn 2 λ+t+α (n+1+α/q (1 u 1 z,ζ Bn 2 s+n f(u q dv λ n (u 1 z,u 1+n+s+N+t (n+1+α/q ( (1 u 2 s+n α f(u q (1 u 2 α dv n (u. 1 u,ζ Now, since N can be arbitrarily large, we are able to use Lemma D to obtain ( /q R s,t f(z q (1 z 2 qt+α dv n (z dσ(ζ ( ( (1 u 2 s+n α /q f(u q (1 u 2 α dv n (u dσ(ζ 1 u,ζ ( /q f(u q (1 u 2 α dv n (u dσ(ζ. This shows that (a imlies (b. Next, let us assume that (b holds. We use the identity R s,t R s,t f = f and Lemma A to write for a sufficiently large ositive integer N and ε > 0 small enough so that α εq > n 1 f(z q (1 u (Bn 2 s+n+t f(u dv 1 z,u 1+n+s+N Rs,t n (u (1 z 2 εq (1 u 2 s+n+tq+εq f(u q dv 1 z,u 1+n+s+N Rs,t n (u. q

11 DUALITY OF HOLOMORPHIC HARDY TYPE TENT SPACES 11 As before, we will use Lemma F and Fubini s theorem, this time omitting some of the details, to arrive at f(z q (1 z 2 α dv n (z ( (1 u 2 s+n α+εq R s,t f(u q (1 u 2 qt+α dv n (u. 1 u,ζ Because N was allowed to be very large, an alication of Lemma D yields (a. Let us now turn our attention to the case q < 1. By Lemma 3 of [36], the following inequality holds for any holomorhic F : C: ( 1/q F(z (1 z 2 η+(1/q 1(n+1+η dv n (z F(z q (1 z 2 η dv n (z, when 0 < q 1 and η > 1. Hence for a large ositive integer N, if then and we have by Lemma A s+n = η +(1/q 1(n+1+η, η = q(s+n+(q 1(n+1 > 1, R s,t (1 u f(z Bn 2 s+n 1 z,u 1+n+s+N+t f(u dv n(u (Bn (1 u 2 q(s+n+(q 1(n+1 1 z,u q(1+n+s+n+t f(u q dv n (u 1/q. Now, for large ositive λ, we will use Lemma F and Fubini s theorem to estimate R s,t f(z q (1 z 2 qt+α dv n (z (1 u (Bn 2 q(s+n+(q 1(n+1 f(u q dv 1 z,u q(1+n+s+n+t n (u (1 z 2 qt+α dv n (z (1 z Bn 2 λ+qt+α (1 u 1 z,ζ (Bn 2 q(s+n+(q 1(n+1 f(u q dv λ 1 z,u q(1+n+s+n+t n (u dv n (z ( (1 u 2 (q 1(n+1+q(s+N α f(u q (1 u 2 α dv n (u. 1 u,ζ By allowing N to be very large, we can use Lemma D to conclude that (a imlies (b. The remaining case can be solved by techniques exhibited in the earlier cases. The roof is left for an interested reader.

12 12 ANTTI PERÄLÄ To understand the dual sace of HT 1,α(, we will introduce the following Hardy-Bloch tye saces BT (. Definition 3. Let, 1 < <, t > 0, and assume that neither n+s nor n+s+t is a negative integer. A holomorhic f belongs to the sace BT (, if (3.1 (1 2 t R s,t f T (. Moreover, the exression is a norm on BT (. (1 2 t R s,t f T ( We remark that the following inclusion holds H ( B( BT ( for every α > n 1. It might seem that the sace BT ( deends on the choice of s and t is some crucial way. We now rove that this is not the case. Theorem 4. Let 1 < <, t 1,t 2 > 0 and s 1,s 2 be a real numbers. Assume further that none of the numbers s 1 +n, s 2 +n, s 1 +n+t 1 and s 2 +n+t 2 is a negative integer. Then the following are equivalent. (a (1 2 t 1 R s 1,t 1 f T (; (b (1 2 t 2 R s 2,t 2 f T (. Moreover, the corresonding norms are equivalent. Proof. By symmetry, it will be enough to show that (a imlies (b. Since the fractional derivatives commute with each other, we have R s 2,t 2 f = R s 2,t 2 R s1,t 1 R s 1,t 1 f = R s1,t 1 R s 2,t 2 R s 1,t 1 f. it follows that if N is a large ositive integer, then by Lemma A R s 2,t 2 (1 u 2 s1+n+t1 f(z 1 z,u 1+n+s 1+N Rs 2,t 2 R s 1,t 1 f(u dv n (u. Further, if M is a large ositive integer, we can use Lemma A again to estimate R s 2,t 2 R s 1,t 1 f(u Bn (1 w 2 s 2+M 1 u,w 1+n+s 2+M+t 2 R s 1,t 1 f(w dv n (w. Therefore, by using Fubini s theorem and Lemma F, it holds that R s 2,t 2 f(z (1 u 2 s1+n+t1 (1 w 1 z,u 1+n+s 1+N (Bn 2 s 2+M 1 u,w 1+n+s 2+M+t 2 R s 1,t 1 f(w dv n (w dv n (u (1 w 2 s2+m t1 1 z,w 1+n+s 2+M+t 2 t 1 (1 w 2 t 1 R s 1,t 1 f(w dv n (w.

13 DUALITY OF HOLOMORPHIC HARDY TYPE TENT SPACES 13 We note that under the airing, s2 +M t 1, the oerator S : T (B n T (B n S g(z = (1 z 2 t (1 u 2 s2+m t1 2 1 z,u 1+n+s 2+M+t 2 t 1 g(udv n (u if the Banach sace adjoint of Sg(z = (1 u 2 s2+m t1+t2 1 z,u 1+n+s 2+M+t 2 t 1 g(udv n (u acting on T 1,s 2 +M t 1 n (. Now, for large ositive λ, we have Sg(z (1 z 2 s 2+M t 1 n dv n (z (1 z 2 s 2+M t 1 n (1 u 2 s2+m t1+t2 1 z,u 1+n+s 2+M+t 2 t 1 g(u dv n (u (1 z Bn 2 λ+s 2+M t 1 n ( (1 u 2 s2+m t1+t2 1 z,ζ λ 1 z,u 1+n+s 2+M+t 2 t 1 g(u dv n (u dv n (z ( (1 u 2 t2 +n g(u (1 u 2 s 2+M t 1 n dv n (z. 1 u,ζ Since > 1, we can use Lemma D to conclude that S and its adjoint S are bounded. Returning to the estimate R s 2,t 2 (1 w 2 s2+m t1 f(z 1 z,w 1+n+s 2+M+t 2 t 1 (1 w 2 t 1 R s 1,t 1 f(w dv n (w, we see that multilying both sides by (1 z 2 t 2 and noting that then the right-hand-side deicts a function in T (, we arrive at the desired conclusion. The roof is comlete. It is erhas also noteworthy that the sace BT ( lies strictly between the Hardy sace H ( and every weighted Bergman sace A β (, where β > 1. This could be comared with the small weighted Bergman saces, studied in the monograh [29]. 4. Duality: the case 1 < <, 1 q < This section is devoted to the roof of our first main duality result. Since the duality of the measurable tent saces Tq,α ( and T q,α ( is realized in terms of the airing f,g n+α = f(zg(z(1 z 2 n+α dv n (z, a natural course of action will be to study the boundedness of P n+α : T q,α ( T q,α (. We will first show that this oerator is not bounded when q = 1 or q =.

14 14 ANTTI PERÄLÄ Proosition 5. Let 0 < < and α > n 1. Then P n+α : T ( T ( is not bounded. If 1 < <, then P n+α : T 1,α( T 1,α( is not bounded. Proof. We will show that P n+α : T ( T ( is not bounded, when 0 < <. When 1 < <, the other case follows from duality. It is clear that L ( T,α(. Therefore, as it is well-known that P n,α (L ( = B(, we have B( P n,α (T (. Now, since HT ( = H ( and H ( does not contain the Bloch sace B(, we are done. Next, we will show that the rojection is indeed bounded if 1 <,q <. In fact, we will show that the maximal Bergman rojection is bounded. f c(n,n+α Bn (1 u 2 n+α 1 z,u 1+2n+αf(udV n(u Proosition 6. Let 1 <,q < and α > n 1. Then, P n+α : T q,α( HT q,α( is bounded and onto. Moreover, if 1 < <, then P n+α : T ( BT ( is bounded and onto. Proof. We will first deal with the case 1 < q <. Let us take f T q,α(. Since, 1 < q <, we have by Hölder s inequality and Lemma E P n+α f(z q (1 u (Bn 2 q n+α βq (1 u 1 u,z 1+2n+αdV n(u /qbn 2 n+α+βq dv 1 u,z 1+2n+α f(u q n (u (1 z 2 qβ (1 u 2 n+α+βq dv 1 u,z 1+2n+α f(u q n (u, whenever β is ositive and (4.1 βq < n+1+α.

15 DUALITY OF HOLOMORPHIC HARDY TYPE TENT SPACES 15 Note that if z and ζ, then 1 z 2 1 z,ζ. Therefore, for any λ > 0, we have ( /q P n+α f(z q (1 z 2 α dv n (z dσ(ζ ( ( (1 z 2 λ /q P n+αf(z q (1 z 2 α dv n (z dσ(ζ 1 z,ζ λ /q P n+αf(z q (1 z 2 α dv n (z dσ(ζ ( ( (1 z 2 1 z,ζ (1 z (Bn 2 λ+α qβ 1 z,ζ λ (1 u (Bn 2 n+α+βq /q dv 1 u,z 1+2n+α f(u q n (u dv n (z dσ(ζ. Note that this is the (almost trivial counterart of Lemma D. Now, looking at the assumtions on the arameters of Lemma F, we see that since α > n 1, then by making λ large and requiring that (4.2 βq < n+1+α, we are in osition to estimate (1 z (Bn 2 λ+α qβ (1 u 1 z,ζ (Bn 2 n+α+βq /q dv λ 1 u,z 1+2n+α f(u q n (u dv n (z dσ(ζ (1 u (Bn 2 n+βq /q α f(u q dv 1 ζ,u n+βq(1 u 2 n (u dσ(ζ, where we have used Fubini s theorem to change the order of integration. Next, we want to use Lemma D for the measure dµ(z = (1 u 2 α f(u q dv n (u, with s = /q. In order to be able to do this, we must make sure that n+βq > nmax(1,q/, where the only roblem might occur when q >, and the real requirement would therefore be (4.3 n+βq > nq/. To roceed with the roof, we now assume that q. Since β > 0, we can continue with Lemma D, to finally arrive at ( /q P n+α f HT q,α( f(u q (1 u 2 α dv n (u dσ(ζ = f. Tq,α(B n Note that the conditions (4.1 and (4.2 can be achieved by a small enough ositive β, say β = 1/qq. Since β is ositive, the condition n+βq > nmax(1,q/ is trivially met.

16 16 ANTTI PERÄLÄ So far we have shown that P n+α : Tq,α(B n Tq,α(B n is bounded, whenever q. Next, recall that under the dual airing f,g n+α = f(zg(z(1 z 2 n+α dv n (z the oerator P n+α is self-adjoint. Therefore, P n+α : T q,α ( T q,α ( is bounded, if and only if its adjoint oerator P n+α : T q,α ( T q,α ( is bounded. If now q >, then q, and the boundedness of P n+α : T q,α ( T q,α ( follows by duality. We finally remark that since HT q,α ( T q,α (, the rojective oerator is clearly onto. P n+α : T q,α( HT q,α( Let us now turn our attention to the second case, so suose that q =. By Theorem 4, it will be enough to show that if f T (, then We note that the ma (1 2 t R n+α,t P n+α f T ( f T (. f (1 2 t R n+α,t P n+α f acting on T ( is the adjoint in, n+α of f P n+α+t f acting on T 1,α(. So, by duality, in order to rove the boundedness claim, it will be enough to show that P n+α+t : T1,α(B n T1,α(B n is bounded. Let f T 1,α (. As before, we estimate by using Lemma D, Lemma F and Fubini s theorem for a sufficiently large λ > 0 ( P n+α+t f (1 z 2 α (1 u 2 n+α+t T 1,α (Bn 1 u,z 1+2n+α+t f(u dv n(u dσ(ζ (1 z (Bn 2 λ+α (1 u 1 z,ζ Bn 2 n+α+t λ 1 u,z 1+2n+α+t f(u dv n(u dσ(ζ (1 u (Bn 2 n+t α f(u dv 1 u,ζ n+t(1 u 2 n (u dσ(ζ ( (1 u 2 α f(u dv n (u dσ(ζ = f T (Bn. 1,α

17 DUALITY OF HOLOMORPHIC HARDY TYPE TENT SPACES 17 Note that since > 1, the requirements of Lemma D are easily satisfied. In fact this roves that f (1 2 t (1 u 2 n+α 1,u 1+2n+α+tdV n(u is bounded T ( T ( for every t > 0. We have thus shown that for any 1 < <, the oerator P n+α : T ( BT ( is bounded. Finally, we will show that is also onto. This is not as trivial as in the revious cases, since BT ( is not a subsace of T (, as is evident from Proosition 5. Let us therefore take g BT (, so that by definition, if G t (z = (1 z 2 t R n+α,t g(z, then G t T (. By formula (2.2 and the standard roerties of the fractional differential oerators, we have and we have shown the surjectivity. c(n,n+α+t P n+α G t = R n+α,t R n+α,t g = g, c(n,n+α Before we rove duality, we will need a standard aroximation result for the holomorhic tent saces. Let r (0,1 and define the dilation of f by f r (z = f(rz. Lemma 7. Let 0 < <, 0 < q, α > n 1 and f HT q,α (. Then f r f in norm as r 1 and f r HT q,α ( f HT q,α (. Proof. We note that if q =, this is a classical result about Hardy saces. So, we will assume that 0 < q <. Of course, this result is also known for q = 2. Suose first that α = 0. We may assume that the aerture γ on = Γ γ (ζ satisfies γ 2. Then if z and r (0,1, we have 1 rz,ζ (1 r+r 1 z,ζ < (1 r+r γ 2 (1 z 2 ( = 1 γ (1 r+ γ 2 2 (1 r z 2 γ 2 (1 r2 z 2. We discover that rz, so r. This allows us to use a change of variables to see that f r (z q dv n (z f(z q dv n (z f(z q dv n (z. r This already gives the desired norm bound. If f HT q,α (, it follows that for every r, the function ( /q f r (z f(z q dv n (z

18 18 ANTTI PERÄLÄ belongs to L 1 ( and has an integrable majorant. For almost every ζ, we have f(z q dv n (z <, and for such ζ the function f f r q has an integrable majorant over. Since f r f ointwise as r 1, we see by the Lebesgue dominated convergence theorem that for almost every ζ f r (z f(z q dv n (z 0. But now another use of dominated convergence shows us that f r f in HT q,α ( as r 1. Suose next that α > n 1, α 0. Let s be chosen so that neither s + n nor s+n α/q is a negative integer. By Theorem 2, we have for any holomorhic f f HT q,α ( R s, α/q f HT q,0 (Bn. Now, since the dilation f f r commutes with the fractional derivatives (both being coefficient multiliers, we have as r 1. This roves the remaining case. R s, α/q f r = (R s, α/q f r R s, α/q f Corollary 8. Let 0 < <, 0 < q, α > n 1 and f HT q,α (. Polynomials are dense in HT q,α(. Moreover, these saces are searable. Proof. This is clear, since the functions f r can be aroximated by olynomials uniformly on. The searability claim then easily follows from the density of olynomials. Theorem 9. Let 1 <,q < and α > n 1. The dual of HT q,α( equals HT q,α ( under the airing, n+α. The dual of HT 1,α( can be identified with BT (. Proof. Let us first deal with 1 < q <. First, by alying the formula (2.5 and Hölder s inequality two times, it is clear that every g HT q,α ( induces an element in the dual of HT q,α (. Now, let us take arbitrary τ (HT q,α(. By, the Hahn-Banach extension theorem, it can be extended to τ (Tq,α ( without increasing its norm. By duality of the measurable tent saces, there exists g τ T q,α ( so that if now f HT q,α(, we have τ(f = τ(f = f,g τ n+α = P n+α f,g τ n+α = f,p n+α g τ n+α. By Proosition 6, P n+α g τ = h τ HT q,α (, which shows that each functional in the dual of HT q,α( can reresented by an element of HT q,α (. Moreover τ (HT q,α (B h n τ HT P n+α q,α (Bn T (Bn g τ q,α (Bn T q,α T q,α (Bn = P n+α T (Bn τ q,α (Bn T (HT q,α(b, n q,α

19 DUALITY OF HOLOMORPHIC HARDY TYPE TENT SPACES 19 so we have the equivalence of norms with an exlicit constant coming from the norm of the Bergman rojection. It remains to show that, under this duality, the sace HT q,α ( searates the oints of HT q,α (. We remark that, being bounded functions, the reroducing kernels +α z (u = c(n,n+α (1 u,z 1+2n+α belong to HT q,α (. If the holomorhic function h τ reresents the zero functional, then it follows that +α z,h τ n+α = h τ (z = 0 for every z. Consequently h τ = 0 as a holomorhic function. The roof is now comlete. We now turn our attention to the case q = 1. If g BT (, then since P n+α : T,α ( BT ( is surjective, we can use the oen maing theorem and find G T,α ( with P n+α G = g and g BT (B G n T,α(B n. Thus, if f is a olynomial, we can use Fubini s theorem to obtain f,g n+α = f,p n+α G n+α = f,g n+α f HT 1,α (Bn g BT (. Since olynomials are dense in HT 1,α (, we see that g induces an element in its dual. Next, we take arbitrary τ (HT 1,α(. As in the revious art, the Hahn-Banach theorem and the descrition of the dual of T 1,α ( together give g τ T (. By letting f r (z = f(rz (r (0,1 denote the dilatation of f, by Lemma 7, we have that if f HT 1,α(, then f r f in HT 1,α( and f r HT 1,α (Bn f HT 1,α (Bn. Now, we have τ(f = f,g τ n+α = lim r 1 f r,g τ n+α = lim r 1 f r,p n+α g τ n+α = lim r 1 f r,h τ n+α. Since the integrand of the first limit is in L 1 n+α (, this limit, and therefore the other limits exist. This already shows that τ can be reresented by P n+α g τ = h τ BT (. Since f r is holomorhic, we can take t > 0 and roceed with f r = P n+α+t f r, and use duality, to arrive at τ(f = lim r 1 f r,(1 2 t R n+α,t h τ n+α f HT 1,α (Bn h τ BT (. To verify the claimabout searationof oints, one canroceed exactly as intherevious case. We obtain the desired duality result. Then airing should generally be understood as lim r 1 f r,g n+α.

20 20 ANTTI PERÄLÄ 5. The sace BT,0 ( : redual of HT 1,α( In this section, we show that the saces HT 1,α ( themselves are dual saces. Their reduals are the saces BT,0 ( that will be defined below. It should not come as a surrisethatmanyoftheresultsinthissectionresemble thosealreadyrovenforbt (, and therefore many details will be omitted. The duality result itself, however, uses a technique that has not been used in the aer so far (although the technique is not new, see [37], so a comlete roof is rovided. For every r (0,1 and f T (, we define ρ r (f = χ Bn\r f, and say that f T,0(B n, if ρ r (f 0 in T ( as r 1. It is clear fromthe definition that T,0 ( is the closure of comactly suorted functions f T (B n under T (, and that it contains the sace L 0 ( consisting of essentially bounded functions f with lim r 1 ess su f(z = 0. z >r Definition 10. Let, 1 < <, t > 0, and assume that neither n+s nor n+s+t is a negative integer. A holomorhic f belongs to the sace BT,0 (, if (5.1 (1 2 t R s,t f T,0 (. Moreover, the exression is a norm on BT,0 (. (1 2 t R s,t f T ( Lemma 11. Let 1 < < and f BT,0 (. Then, f r f in BT,0 ( and f r BT ( f BT (. Moreover, olynomials are dense in BT,0 (. Proof. Since the dilation commutes with the fractional derivatives, r and (1 r 2 z 2 t (1 z 2 t, the norm inequality is obvious, since and R s,t f(rz(1 z 2 t R s,t f(rz(1 r 2 z 2 t. Next, let ε > 0. For f BT,0 ( there exists r 0 (0,1 so that ρ s ((1 2 t R s,t f T ( < ε/3 ρ s ((1 2 t R s,t f r T ( < ε/3, whenever s,r > r 0. Inside the comact set { z r 0 }, the functions involved are uniformly continuous, so the claim follows by letting r 1. The density of olynomials follows in a standard way, since uniform convergence on imlies convergence in BT (.

21 DUALITY OF HOLOMORPHIC HARDY TYPE TENT SPACES 21 By a roof similar to that of Theorem 4, one sees that every choice of s and t will rovide an equivalent norm in an obvious way. Indeed, it only suffices to use the fact the olynomials are dense in BT,0 (, along with the norm equivalence from Theorem 4. It is also clear, after a similar chain of ideas, that the sace BT,0 ( is a closed subsace of BT (. Proosition 12. Let 1 < < and α > n 1. Then the Bergman rojection P n+α : T,0 ( BT,0 ( is bounded and onto. Proof. Clearly, therojectionp n+α mascomactlysuortedfunctionsf T (inside BT,0 ( with an aroriate norm bound coming from Proosition 6. The claim now follows, since BT,0 ( is closed in BT (. One can extract a reimage of a function f BT,0 ( in a manner identical to that in the roof of Proosition 6; but now the reimage will be in T,0 (. We finally rove the duality (BT,0 ( HT 1,α (. The argument of Theorem 9 does not seem to work, so we will have roceed in a different manner. Theorem 13. Let 1 < <. The dual of BT,0 ( can be identified with HT 1,α ( under the airing lim r 1 f r,g n+α. Proof. It is already clear that every function in HT 1,α( induces an element of the dual of BT,0 (. Let us now assume that τ (BT,0 (. With m = (m 1,m 2...,m n being a multiindex, it is well-known that if f,g A 2 n+α (, with series reresentations f(z = a m z m, g(z = b m z m m m then c(n,n+α f,g n+α = m!γ(2n+1+α Γ(2n+1+α+ m a mb m. m Suose now that g has a reresentation as above with b m = Γ(2n+1+α+ m τ(z m!γ(2n+1+α m. Since the BT ( norm of z m is uniformly bounded with resect to the multi-index m, we know that the corresonding series defines a holomorhic function g (see age 176 of [37]. Now, if f A 2 n+α( then, by the reroducing formula with +α z (u = c(n,n+α f(z = f,bz n+α n+α (1 u,z 1+2n+α = m Γ(2n+1+α+ m z m u m, m!γ(2n+1+α

22 22 ANTTI PERÄLÄ we see that τ(f r = m!γ(2n+1+α Γ(2n+1+α+ m a mb m r m = c(n,n+α f,g r n+α, m by first alying this formula to olynomials, and then aroximating f r uniformly by them. If g were in HT 1,α (, we could immediately obtain τ(f r = f r,g n+α, but at the moment, we are not sure that the integral in question converges. To show that this is the case, we use the duality HT 1,α ( BT (. Note that, since g r (z g(z as r 1, Fatou s lemma shows that g(z (1 z 2 α dv n (z liminf g r (z (1 z 2 α dv n (z, r 1 so another alication gives g HT liminf g 1,α (Bn r r 1 HT (Bn. 1,α Bearing this in mind, it really suffices to show that the HT 1,α( norms of the dilations g r are uniformly bounded. Now, by duality But, by assumtion g r HT 1,α (Bn su{ f,g r n+α : f BT ( 1 }. f,g r n+α = τ(f r f r BT ( f BT (, where the last inequality follows from Lemma 11. The rest of the roof follows as before; one can show the searation of oints by alying the functional to the Bergman kernels. When = 1 = q, the redual of HT q,α ( = A 1 n+α ( is known to coincide with the little Bloch sace B 0 ( consisting of f B( with lim f(z = 0. z 1 (1 z 2 We remark that it is not difficult to see that B 0 ( H ( BT,0 (. Also, theredual of HT 1 ( is known to beisomorhic to sace ofholomorhic functions with vanishing mean oscillation VMOA(. We finally note that for every β > 1, one has H ( BT,0 ( BT ( A β (.

23 DUALITY OF HOLOMORPHIC HARDY TYPE TENT SPACES Duality: the case 1 < <, 0 < q < 1 We will now deal with the case of small exonents q. For the corresonding Bergman saces, there exists a very simle argument, see [31] and [36]. However, this method seems to rely heavily on the fact the Bloch sace is defined in terms of an L norm. We see no obvious way to carry out this argument for the saces BT (. Sometimes it hels to use some discretization technique, and this is what we will do. In this section we also need some results regarding atomic decomosition. These results are arguably known, and can be deduced from existing literature. To remain self-contained, we rovide the roofs in the extent that will be need in Lemmas H and 16. A sequence of oints {z j } is said to be searated if there exists δ > 0 such that β(z i,z j δ for all i and j with i j, where β(z,u denotes the Bergman metric on. This imlies that there is r > 0 such that the Bergman metric balls D j = {z : β(z,z j < r} are airwise disjoint. We need a well-known result on decomosition of the unit ball. By Theorem 2.23 in [37], there exists a ositive integer N such that for any 0 < r < 1 we can find a sequence {a k } in with the following roerties: (i = k D(a k,r. (ii The sets D(a k,r/4 are mutually disjoint. (iii Each oint z belongs to at most N of the sets D(a k,4r. Any sequence {a k } satisfying the above conditions is called an r-lattice (in the Bergman metric. Obviously any r-lattice is a searated sequence. Suose now that an r-lattice Z = {a k } is fixed, and consider the comlex-valued sequences enumerated by this lattice: c k = f(a k. For 0 < < and 0 < q, the tent sace Tq(Z consists of those sequences {c k } that satisfy 1/ {c k } T q (Z = a k c k q /q dσ(ζ Analogously, the tent sace T (Z consists of {c k} with ( 1/ {c k } T (Z = su c k dσ(ζ <. a k <. The following it the key duality result for such tent saces of sequences. It is Proosition 2 in [3]. See also [18, 21, 22]. We will only need it for the case 0 < q < 1. Theorem H. Let Z = {a k } be an r-lattice. Suose that 1 <,q <. Then the dual of Tq (Z can be identified with T q (Z under the airing {c k },{d k } Z = c k d k (1 a k 2 n. k=1

24 24 ANTTI PERÄLÄ Moreover, if 0 < q < 1 < <, then the dual of Tq under the same airing. (Z can be identified with T (Z Lemma 14. Let 0 <,q <, Z = {a k } be an r-lattice and θ > nmax(1,q/,1/,1/q. The maing SZ θ {c (1 a k 2 θ k}(z = c k (1 z,a k θ+(n+1+α/q is bounded T q (Z HT q,α (. k=1 Proof. This result is roven in Proosition 1 on age 350 of [22] in the setting a the uer half-sace, and the case q = 2 for the ball can be deduced from the corresonding result in [25]. There should be no doubt about the validity of the result. Since esecially the case 0 < q 1 is very easy, and we are only going to use it, we will rove this articular case. Note that if 0 < q 1, then k=1 c k (1 a k 2 θ (1 z,a k θ+(n+1+α/q k=1 c k q (1 a k 2 qθ 1 z,a k qθ+(n+1+α. If ζ and λ > 0 large enough, we may now estimate by using Lemma F SZ θ {c k}(z(1 z 2 α dv n (z c k q k=1 c k q k=1 k=1 (1 a k 2 qθ 1 z,a k qθ+(n+1+αdv n(z (1 z 2 λ+α 1 z,ζ λ c k q (1 a k 2 qθ 1 a k,ζ qθ. (1 a k 2 qθ 1 z,a k qθ+(n+1+αdv n(z Therefore, by using Lemma D with dµ = c k q dδ ak, where δ ak is the Dirac delta oint mass, we obtain ( /q SZ{c θ k }(z(1 z 2 α dv n (z dσ(ζ ( c k q (1 a /q k 2 qθ dσ(ζ 1 a k,ζ qθ k=1 /q c k q dσ(ζ. The claim now follows. a k

25 DUALITY OF HOLOMORPHIC HARDY TYPE TENT SPACES 25 The following result is the tent sace analogue of Lemma 3 of [36]. Lemma 15. Let 0 < <, 0 < q 1, α > n 1 and α = α (q,n,α = α + (1/q 1(n+1+α. Then HT q,α( HT 1,α ( with bounded inclusion. Proof. For ζ and r > 0, let us denote Γ (ζ = z D(z,r. It is known that the tent sace Tq,α(B n be defined also in terms of the aroach regions Γ (ζ. See, for instance [27, 30]. Now, if z, then for a holomorhic f, we have by subharmonicity f(z 1 (1 z 2 (n+1+α/q 1 (1 z 2 (n+1+α/q ( ( f(u q (1 u 2 α dv n (u D(z,r 1/q 1/q f(u q (1 u 2 α dv n (u. Γ (ζ Writing f = f q f 1 q and alying this estimate to the second factor gives f(z (1 z 2 α dv n (z f(z q (1 z 2 α ( Γ (ζ ( 1/q f(z q (1 z 2 α dv n (z. Γ (ζ This obviously yields the result. f(u q (1 u 2 α dv n (u 1/q 1 dv n (z Wewill rove a artialconverse oflemma 14. Such result was already sketched forq = 2 in [21] for the uer half-sace, and is likely to be known, or at least exected to hold, by exerts. We will only need the case q = 1, and it is somewhat easier than the general case (esecially when q 2n/(2n+1, the roof becomes more technical, see Section 2.5 of [37] and Theorem 4.33 of [38] for related discussion. Therefore, we rovide a roof to remove any doubts the reader might have concerning it. Essentially the same roof works for q > 2n/(2n+1, for reasons that become obvious by reading the argument. Lemma 16. Let 0 < <, Z = {a k } be an r-lattice and θ > nmax(1,q/,1/,1/q. If r is chosen to be sufficiently small, and f HT 1,α (, then there exists a sequence {c k } T1(Z so that f(z = SZ θ {c k}(z. Moreover {c k } T 1 (Z f HT 1,α (Bn.

26 26 ANTTI PERÄLÄ Proof. According to Lemma 2.28 in[37], we may artition into sets D k that are airwise disjoint and for every k. Let us set D(a k,r/4 D k D(a k,r c k = (1 z 2 θ+α dv n (zf(a k (1 a k 2 θ. D k Since D k D(a k,r, we use subharmonicity to see that c k f(z (1 z 2 α dv n (z. D(a k,r So, summing over a k yields, as in the roof of Lemma 15 c k f(z (1 z 2 α dv n (z. a k Γ (ζ It follows that {c k } T 1 (Z f HT 1,α (Bn. On the other hand, it easy to see that (with our choice of {c k } Lemma 4.32 of [38] generalizes into as f(z SZ θ {c k}(z r 2n+1 (1 a k 2 θ f(u (1 u 2 α dv 1 z,a k θ+n+1+α n (u. D(a k,1 k=1 Thefactorr 2n+1 comesfromintegrating z overd(0,r comarewiththeroofoflemma 4.31 in [37]. This gives us by first using Lemma F and then Lemma D with the measure ( dµ = f(u (1 u 2 α dv n (u δ ak, D(a k,1 ( r (2n+1 r (2n+1 k=1 f(z S θ Z {c k}(z (1 z 2 α dv n (z dσ(ζ ( (1 a k 2 θ f(u (1 u 2 α dv 1 ζ,a k θ n (u dσ(ζ k=1 D(a k,1 f(u (1 u 2 α dv n (u dσ(ζ. a k D(a k,1 Now, we may assume that there exists C > 0 so that every oint in belongs to at most C/r 2n of the sets D(a k,1 (see Lemmas 4.6 and 4.7 of [38]; the roof is resented

27 DUALITY OF HOLOMORPHIC HARDY TYPE TENT SPACES 27 for n = 1, but generalizes to n > 1 in an obvious way by noting that if β(u,z < R, then V n (D(z,r C R r 2n V n (D(u,1, where C R only deends on R > 0, and therefore ( f(z SZ θ {c k}(z (1 z 2 α dv n (z dσ(ζ ( r f(z (1 z 2 α dv n (z dσ(ζ, Γ (ζ where the imlicit constants do not deend on r. If follows that if TZ θ is the linear oerator, which for our choice of {c k } satisfies TZ θf = {c k}, then if r > 0 is small enough, I S θ Z Tθ Z : HT 1,α ( HT 1,α ( has norm smaller than one. Hence SZ θtθ Z is invertible with inverse given as the Neumann series. We already saw that {c k } T 1 (Z, so the roof is comlete. We are now ready to rove our last main result. Theorem 17. Let 0 < q < 1 < <, α > n 1 and α = α+(1/q 1(n+1+α. Then the dual of HT q,α( can be identified with BT ( under the airing lim r 1 f r,g n+α. Proof. Let us first take an arbitrary element τ (HT q,α (. By Lemma 15, if f HT q,α(, then f(z = c(n,n+α (1 u Bn 2 n+α f(udv n (u. (1 z,u 1+2n+α AreasoningsimilartothatintheroofofTheorem13showsthatthereexistsaholomorhic g so that τ(f r = f,g r n+α. Now, suose that Z = {a k } is an r-lattice satisfying the assumtions of Lemma 16, {c k } Tq (Z and θ > nmax(1,q/,1/,1/q. Then by Lemma 14, we have (6.1 τ(s θ Z {c k} τ (HT q,α ( {c k} T q (Z. But τ(s θ Z {c k} = = c k k=1 (1 a k 2 θ (1 z,a k θ+(n+1+α/qg r(z(1 z 2 n+α dv n (z c k (1 a k 2 θ n R n+α,θ n g r (a k (1 a k 2 n. k=1

28 28 ANTTI PERÄLÄ By Theorem H and estimate (6.1, we obtain ( (6.2 su (1 a k 2 θ n R n+α,θ n g r (a k a k dσ(ζ {c k } T q (Z. Next, let f be an arbitrary function in HT 1,α (B n. By Lemma 16, we deduce that for every θ > n (1 a k 2 θ f(z = d k (1 z,a k, θ +(n+1+α k=1 where {d k } T1(Z and {d k } T 1 (Z f HT. Moreover, the series converges in 1,α (Bn HT 1,α (B n, so we may assume that f is bounded. We aly g to f under the airing, n+α to obtain as before f,g r n+α = d k (1 a k 2 θ n R n+α,θ n g r (a k (1 a k 2 n. k=1 Since we may choose θ = θ, we let M be the suremum in (6.2 to conclude that f,g r n+α M {d k } T 1 (Z M f HT 1,α (Bn. Therefore, g r is a holomorhic function in the dual of HT 1,α ( under the airing f,g r n+α. By Theorem 9, g r BT ( with a norm bound indeendent of r. It follows that g BT (. Conversely, let g BT (. By Theorem 9 and Lemma 15, if f HT q,α (, we have f r,g n+α g BT ( f HT 1,α (Bn g BT ( f HT q,α(. Therefore, g reresents an element in the dual. Yet again, the searation of oints follows easily by alying g to the Bergman kernel functions. 7. Duality: the case 0 < 1, and the saces CT q,α ( We begin by defining the holomorhic function saces CT q,α (. Definition 18. Let 1 < q < and α > n 1. The sace CT q,α ( consists of those holomorhic f that belong to Tq,α(B n. We equi it with the norm ( 1/q 1 f CT q,α( = ess su su f(z q (1 z 2 n+α dv ζ u (1 u 2 n n (z. Q(u It is clear that this norm is equivalent to the suremum from Lemma B for any T > 0, when dµ(z = f(z q (1 z 2 n+α. Hence, the classical sace BMOA( consists of holomorhic f, whose first order derivatives belong to CT 2,1 n (.

29 DUALITY OF HOLOMORPHIC HARDY TYPE TENT SPACES 29 We will next characterize CT q,α ( in terms of all fractional derivatives R s,t. The method will be similar to that of Theorem 2 and 4, but we have to use formula (2.8 of Lemma F. We will show how the argument goes, but will henceforth avoid reeating it. Theorem 19. Let 1 < q <, α > n 1 and s,t be real numbers. Assume further that neither s+n nor s+n+t is a negative integer and qt+n+1+α > 0. Then the following are equivalent. (a f CT q,α ( ; (b R s,t f CT q,α+qt (. Moreover, the corresonding norms are equivalent. Proof. Let us assume (a, and let t + (n α/q > T > 0. Then, by reasoning as in the roof of Theorem 2, for a sufficiently large ositive integer N we will use art (2.8 of Lemma F to obtain Bn (1 a 2 T 1 z,a n+t(1 z 2 α+tq+n R s,t f(z q dv n (z Bn (1 a 2 T 1 z,a n+t(1 z 2 t+(n+1+α/q 1 Bn (1 a 2 T 1 z,u n+t(1 u 2 n+α f(u q dv n (u. Bn (1 u 2 s+n f(u q 1 z,u 1+n+s+N+t (n+1+α/q dv n (u We have shown that (a imlies (b. The converse statement is left as an exercise for the reader. The following corollary might be of some interest. Corollary 20. Assume that t > 0 and neither s+n nor s+n+t is a negative integer. A holomorhic f belongs to the sace BMOA( if and only if R s,t f HT 1 2,2t 1 n(. We now rove a central result on our way to the duality (HT 1 q,α( CT q,α(. The core idea of the roof is similar to that of Theorem 3.2 in [7]. Proosition 21. Let 1 < q < and α > n 1. The Bergman rojection is bounded and onto. P n+α : T q,α ( CT q,α ( Proof. Suose that f T q,α (. This means that dµ(z = f(z q (1 z 2 n+α dv n (z is a Carleson measure. Let now ε > be chosen so that n+1+α q ε > 0, n+1+α qε > 0 and let T > 0 be chosen so that n+1+α qε > T.

30 30 ANTTI PERÄLÄ Then, Bn (1 a 2 T n+α P 1 a,z n+t(1 z 2 n+α f(z q dv n (z (1 a Bn 2 T n+α qε (1 u 1 a,z (Bn 2 n+α+qε dv n+t(1 z 2 1 z,u 1+2n+α f(u q n (u dv n (z Notice that by our choice n+t < n+(n+1+α qε, but 1+2n+α > n+α qε+n+1. By the formula (2.8 of Lemma F along with Fubini s theorem, we estimate this to be dominated by (1 a Bn 2 T n+α f(u q dv 1 a,u n+t(1 u 2 n (u. Since f Tq,α (, we are done. Obviously, the oerator is surjective. Recall that the argument in the roof of Proosition 6 essentially deended on the fact that q > 1, and the other case was deduced by duality. Since we now have covered the dual case for T 1 q,α(, we obtain the following corollary. Note that the statement is false when also q = 1, since it is well-known that P n+α : L 1 n+α ( A 1 n+α ( is not bounded. Corollary 22. Let α > n 1 and 1 < q <. Then the Bergman rojection is bounded and onto. P n+α : T 1 q,α( HT 1 q,α( We have now sufficient information about the behaviour of the saces CT q,α (, as well as the Bergman rojection P n+α. In order to get a comlete icture of duality, we still need the following lemma. Lemma 23. If < 1, 0 < q < and α > n 1, then with bounded inclusion. HT q,α ( A 1 (1/ 1n+(n+1+α/q 1 ( Proof. Arguably one could obtain this result as a secial case of Theorem 3 of [22], once the assage from the uer half-lane of C to the unit ball of C n is made. We show here, how this articular case easily follows from the well-known embeddings of the Hardy sace. First, recall that if < s <, then H ( A s (s/ 1n 1( with bounded inclusion. Alying this to a suitable fractional differential oerator R s,(n+1+α/2 yields according to Theorem G HT 2,α( A s (s/ 1n 1+(s/2(n+1+α. Next, if k is a natural number, then since f HT 2k,α ( if and only if f k HT /k 2,α (, we obtain (7.1 HT 2k,α ( A s (s/ 1n 1+(s/(2k(n+1+α.