arxiv: v1 [math.fa] 27 Aug 2013

Transcription

1 HARDY SPACES AND HEAT KERNEL REGULARITY arxiv:38.587v [mah.fa] 27 Aug 23 APTISTE DEVYVER Absrac. In his paper, we show he equivalence beween he boundedness of he Riesz ransform d /2 on L p, p 2,p ), andhe equaliy H p = L p, p 2,p ), in he class of manifold whose measure is doubling and for which he scaled Poincaré inequaliies hold. Here, H p is a Hardy space of exac forms, naurally associaed wih he Riesz ransform.. Inroducion In his aricle, we will be concerned wih quesions relaed o he boundedness of he Riesz ransform on manifolds. Since he seminal work of Coulhon and Duong [4], who gave sufficien condiions on he hea kernel so ha he Riesz ransform is bounded on L p for < p 2, several auhors have invesigaed boh necessary and sufficien condiions for he boundedness of he Riesz ransform on manifolds. For p > 2, one of he main achievemens is he following resul due o Auscher, Coulhon, Duong and Hofmann [2]: if he manifold saisfies he scaled Poincaré inequaliies and he Riemannian measure is doubling, hen he boundedness of he Riesz ransform on L q for q 2,p) is equivalen o he following bounds on he gradien of he hea kernel: for every q 2,p), e 2 q,q C q, >..) However, he quesion o find meaningful geomeric condiions so ha he gradien esimaes for he hea kernel.) hold is a difficul problem, and no much is known abou i, alhough some progress has been recenly made in he undersanding of inequaliies ha are sronger han.) he socalled Gaussian esimaes for he hea kernel of he Hodge Laplacian acing on forms see [5], [7]). See also [3] where he gradien esimaes.) are proved o be equivalen under some condiions o reverse Hölder inequaliies for he gradien of harmonic funcions). Very recenly, anoher way o ackle he problem of boundedness of he Riesz ransform has been invesigaed: i consiss in inroducing Hardy spaces of forms H p for p, which are adaped o he problem in he sense ha he Riesz ransform is always bounded from H p o H p for every p. Several auhors have independanly performed such a consrucion: see [] for he case of Hardy spaces associaed he Hodge

2 2 APTISTE DEVYVER Laplacian on a manifold, and [9] for he case of Hardy spaces associaed o second-order ellipic operaors on R n. Le us emphasize ha he consrucion of he Hardy spaces requires ha he Riemannian measure be doubling. A naural quesion asked by he auhors in []) is he following: Problem.. Le < p <. Under which condiions H p = L p? I is shown in [], Corollary.2 ha if he Riemannian measure is doubling, hen for every 2 p <, L p H p. Consequenly, for every 2 p <, he Riesz ransform is bounded L p H p. u i couldhappena priori ha hishardy spaceh p is oo big, ha is ha one could find an inermediae space L p H p H p, on which he Riesz ransform is bounded. One of he main resuls of his aricle provides a hin ha his should no happen, and ha indeed H p is he correc space o be considered. The resul can be very roughly saed as follows: Theorem.2. Main resul) Assume ha M is a conneced, complee, non-compac Riemannian manifold such ha he Riemannian measure is doubling and he scaled Poincaré inequaliies hold. Then for every 2 < p <, he following are equivalen: ) For every q 2,p), H q = L q wih equivalen norms. 2) For every q 2,p), he Riesz ransform d /2 is bounded on L q. If one of hese wo equivalen condiions is saisfied, hen for every q 2,p), u q u H q d /2 u q, u C M). Remark.3. The precise formulaion of Theorem.2 is given in Corollary 3.3. Here, we jus menion ha he space H q is a Hardy space of exac forms, and he equaliy H q = L q should be undersood as he fac ha H q is equal o he closure in L q of he space of L 2 L q exac forms. The las par of Theorem.2 is reminiscen of he classical resul ha on R n, if p, u H p d /2 u p see [], Proposiion 3, p.23), and suppors he claim ha indeed H p is he good space o be considered. Le us furher menion ha in general, one has only u H q d /2 u H q, u C M) see [], Theorem 5.). We ask he following open quesion: Problem.4. Does he resul of Theorem.2 remain rue wihou he assumpion ha M saisfies he scaled Poincaré inequaliies?

3 HARDY SPACES AND HEAT KERNEL REGULARITY 3 The proof of Theorem.2 consiss in showing ha he gradien esimaes for he hea kernel.) are sufficien o have he equaliy H p = L p, and relies heavily on echniques developped in [2]. Le us menion ha i is claimed in [], Theorem 8.5 ha H p = L p if he hea kernel of he Hodge Laplacian acing on differenial forms saisfies a Gaussian esimae in fac, he proof relies on an unpublished manuscrip of Auscher, Duong and McInosh. Under he addiional hypohesis ha he hea kernel saisfies Gaussian upper-bounds, we can recover his resul as a corollary of Theorem.2. The plan of his aricle is as follows: in Secion 2, we inroduce he noaions and definiions ha will be needed in paricular, we recall he definiion of he Hardy spaces). In Secion 3, we presen our resuls in greaer deails. In Secion 4, we give he proof of a resul concerning he area funcional. In Secion 5, we prove Theorem Preliminaries In his secion, we recall some definiions and noaions abou he en spaces and Hardy spaces for he Laplacian and he Dirac operaor. References for his are [6] and []. 2.. Noaions and definiions. For wo posiive funcions f and g, we wrie f g if here is a consan C such ha C g f Cg. In all he aricle, M,g) will be a complee Riemannian manifold. We will denoe by dx he Riemannian measure on M. The measure of a measurable se E will be simply denoed by E. For x M and r >, we denoe by Vx,r) he measure of he geodesic ball x,r) of cener x and radius r. We will say ha he measure on M is doubling if here exiss a consan C > such ha Vx,2r) CVx,r), for every x M and every r >. If µ is doubling, hen here exiss κ > and C such ha Vx,θr) Cθ κ Vx,r), for every x M, r > and θ >. We will denoe by β he smalles ineger sricly greaer han κ 2. The fac ha he measure is doubling has also he following consequence, which is classical: D)

4 4 APTISTE DEVYVER Lemma 2.. Assume D). Then for every ε >, here is a consan C ε such ha C ε Vx,) Vy,) C ε Vx,), for every x,y M and > such ha dx,y) ε. We will say ha M saisfies he scaled Poincaré inequaliies if here is a consan C such ha for every ball of radius r, and every funcion f C ), f f 2 Cr 2 f 2, P) where f = f is he average of f on. I is known ha D) ogeher wih P) are equivalen o he so-called Li-Yau esimaes for he hea kernel: C d 2 x,y) Vx,) e c e x,y) C 2 d 2 x,y) Vx,) e c 2, LY) for every x,y M and >. We will also consider he Gaussian esimaes for he hea kernel associaed o he Hodge Laplacian k = dd +d d, acing on k forms: e k x,y) C d 2 x,y) Vx,) e, G k ) for every x,y M and >. In paricular, D) ogeher wih P) imply G k ) for k =. We now inroduce he L p gradien esimaes for he hea kernel: e 2 p,p C, >. p) For more deails abou inequaliy p ), see [2]. We simply remark ha, according o [2], Gaussian esimaes for he hea kernel of boh and ha is, G k ) for k =,), imply ha p ) holds for every 2 p <. Alhough recenly some progress has been made in finding condiions under which G k ) for k = holds see [5], [7]), he corresponding problem for he weaker gradien esimaes p ) is so far compleely open. We recall some L 2 off-diagonal esimaes he so-called Davies-Gaffney esimaes for he gradien of he hea kernel hese esimaes originaes, in he case of he hea kernel iself, wih he works of Davies and Gaffney, see [2] for references). Lemma 2.2. There exiss wo posiive consans C and c such ha for every subses E,F M and every >, χ F e 2 χ E 2,2 Ce cd2 E,F) 2.

5 HARDY SPACES AND HEAT KERNEL REGULARITY 5 For a proof, see [2], p.2. Finally, we sae wihou proof a echnical resul, which is a sligh variaion on Lemma 3.2 in [2] and is proved using L p off-diagonal esimaes for he gradien of he hea kernel. For a ball of radius r, le C = 4, and for i 2, C i = 2 i+ \2 i. For a given funcion f, define f i = χ Ci f. Lemma 2.3 [2], Lemma 3.2). Assume D), G k ) for k = and p ). Then for every q [2,p), and ) /q ) /2 e 2 f q C f 2, 2.) 4 4 ) /q ) e 2 f i q Ce c4i r ) 2 /2 2 i+ f ) C i Furhermore, for q = 2 he corresponding inequaliies hold wihou assuming p ) Ten spaces. For x M and α >, he cone Γ α x) of aperure α and verex x is defined by Γ α x) := {,y), ) M : y x,α)}. For α =, we will denoe Γx) insead of Γ x). For a closed se F M, le RF) be he union of all cones Γx) wih verex x F. If O M is an open se, he en over O, denoed TO), is he complemen in M, ) of RM \O). For a Hilber space H, and a family F = F ) > of measurable funcions from M o H, define A α Fx) = Γ αx) F,y) 2 dy Vx,) ) /2 d. Here, F,y) is he norm of F,y) := F y) in H. When α =, we will wrie A insead of A. For p <, we define T 2,p H) he se modulo equivalen classes) of such families F such ha AF L p M), equipped wih he norm F T 2,p H) = AF L p M). I is known see [6]) ha if he measure on M is doubling D), hen a differen choice of α gives rise o equivalen norms, ha is A α F p AF p, for every p <. From now on, we will wrie T 2,p insead of T 2,p H) in pracice, he choice of H will be obvious). Le us remark ha in he case p = 2, if one assumes he doubling propery D), hen he norm in T 2,2 is equivalen o

6 6 APTISTE DEVYVER F T 2,2 F,x) 2 dx d ) /2. M In fac, one has he following more precise resul: Lemma 2.4. Assume D). Then for every F, F T 2,2 F,y) 2 dy d ) /2. 2.3) M If, moreover, for some ball of radius r, F is suppored in T), hen AF 2 F,y) 2 dy d T), 2.4) and for every p > 2, AF p ) 2/p C r Proof. y Lemma 2., if dx,y), hen d Vx,) Vy,). Thus, using he fac ha for,y) fixed, F,y) p dy) 2/p. 2.5) here holds {x M ;,y) Γx)} = y,), F 2 T = AF 2 2,2 2 = M dx dy d Γx) F,y) 2 Vx,) M dx dy d Γx) F,y) 2 Vy,) d M F,y) 2 Vy,) Vy,) dy M F,y) 2 dy d. This proves 2.3). If now F is suppored in T), hen for every x /, AFx) =. Therefore, AF 2 = AF 2. Then, by 2.3), AF 2 M M F,y) 2 dy d = F,y) 2 dy d T), which proves 2.4). If p > 2, hen using successively Minkowski s inegral inequaliy and Hölder s inequaliy,

7 HARDY SPACES AND HEAT KERNEL REGULARITY 7 AF p) 2/p dx d Vx,) ) ) p/2 2/p x,) F,y) 2 dy If,y) T), hen d d ) ) p/2 2/p Vx,) x,) F,y) 2 dy ) 2/p Vx,) x,) F,y) p dy {x : y x,)} = y,), and herefore, using Lemma 2. and he fac ha F is suppored in T), one has AF p) 2/p r d {y:,y) T)} F,y) p Vy,) Vx,) dy ) 2/p C r d {y:,y) T)} F,y) p dy) 2/p u i is clear ha {y :,y) T)}, and herefore AF p ) 2/p C r d F,y) p dy) 2/p. We now recall a resul from [6], abou he boundedness on T 2,p of some maximal funcion: define he maximal funcion C by CFx) = sup x T) ) /2 F,y) 2 dy d, T) wheret)isheenover hegeodesicball. Thenforp > 2, hemaximal funcion C is bounded on T 2,p : Theorem 2.5 [6], Theorem 3). Assume D). Then for every 2 < p <, here exiss a consan C p > such ha, for every F T 2,p, C p CF L p F T 2,p C p CF L p. Also, here is a consan C such ha for every x M, and every F, CFx) C M AF 2) x) ) /2. 2.6)

8 8 APTISTE DEVYVER In [6] his resul is proved in he case of M = R n, and he proof exends o he homogeneous spaces seing. For he sake of compleeness and since inequaliy 2.6) will be of grea use o us, we provide indicaions of a proof which works also in he homogeneous spaces seing. Proof of Theorem 2.5: The inequaliy AF L p C p CF L p for 2 < p < is a consequence of he dualiy of he en spaces, which exends o he case of homogeneous spaces see Theorem 4.4 in [] and he proof of Theorem 3 in [6]). The inequaliy Cp CF L p AF L p follows a one from 2.6) and he srong p 2, p 2 ) ype of he Hardy-Lilewood maximal funcion. I remains o prove 2.6). y similar argumens han in Lemma 2.4, one has, for any ball, F,y) 2 dy d T) C AF 2. Therefore, F,y) 2 dy d T) C inf x M AF 2 )x). Taking he supremum over he se of balls conaining a fixed poin x M yields 2.6) Hardy spaces. Now we recall he definiion of Hardy spaces, following []. Denoe by D = d+d he Dirac operaor, and k = dd +d d he Laplacian acing on k forms. For k =, we will simply wrie insead of. Firs, le us consider he case p = 2. Define H 2 k = RD) L2 Λ k T M) L2, H 2 k,d = Rd) L2 Λ k T M) L2, H 2 k,d = Rd ) L 2 Λ k T M) L2. They are Hardy spaces of k forms associaed respecively o D, d and d. We have he orhogonal decomposiion in L 2 Λ k T M): H 2 k = H2 k,d H 2 k,d, and he Hodge decomposiion L 2 Λ k T M) = H 2 k H k,

9 HARDY SPACES AND HEAT KERNEL REGULARITY 9 where H k = {ω L 2 Λ k T M) : k ω = } = ker L 2D) L 2 Λ k T M) is he se of L 2 harmonic k forms. There is a descripion of hese Hardy spaces in erm of en spaces, which we describe now. For θ, π 2 ), se Σ θ + = {z C : argz) < θ}, Σ θ = Σ θ + Σ θ + ). Denoe by H Σ θ ) he algebra of holomorphic funcions on Σ θ. Given σ,τ >, defineψ σ,τ Σ θ ) o behe se of holomorphicfuncionsψ H Σ θ ) which saisfy ψz) Cinf z σ, z τ ) for some C > and all z Σ θ. Finally, le Ψσ θ ) = Σ,τ> Ψ σ,τσ θ ). For ψ ΨΣ θ ), define Q ψ ω) = ψ D)ω, hen Q ψ ω belongs o he en space T 2,2, and for every ω Hk 2. More precisely, Q ψ ω T 2,2 ω 2, Q ψ : H 2 k T2,2 is an isomorphism, wih inverse S ψ defined by S ψh = d ψ D)H, where ψ ΨΣ θ ) saisfies ψ±)ψ±) d =. There is a similar resul for Hk,d 2 and H2 k,d : for ψ Ψ,τ Σ θ ), define and Q d,ψ ω) = dϕ D)ω, Q d,ψω) = d ϕ D)ω, where ϕz) = ψz) z. Then for every ω H2 k,d resp. H2 k,d ), Q d,ψω resp. Q d,ψ ω) belongs o T 2,2, and Q d,ψω T 2,2 ω 2 resp. Q d,ψ ω T 2,2 ω 2 ). Moreover, Q d,ψ : H k,d T 2,2 resp. Q d,ψ : H k,d T 2,2 ) is an isomorphism, wih inverse S d, ψ resp. S d, ψ ) given by

10 APTISTE DEVYVER S d, ψf = d φ D)F d resp. S d, ψ F = d φ D)F d, wih ψz) = φz) z saisfying ψ±)ψ±) d =. An ineresing choice for us will be ϕz) = z 2M e z2 for some ineger M: for his choice of ϕ, he funcionals Q d,ψ and Q d,ψ wries and Q d,ψ ω) = d k ) M e k ω, Q d,ψω) = d k ) M e k ω. Now, le us urn o he definiion of he Hardy spaces when p 2. If < p < 2 resp. 2 < p < ), for any ψ Ψ,β+ Σ θ ) resp. ψ Ψ β,2σ θ )) he Hardy space H p k is defined as he closure of {ω H 2 k : Q ψω T 2,p < } under he norm Q ψ ω T 2,p. I urns ou ha he above definiion of H p k is acually independan of he choice of ψ in he considered class of holomorphic funcions see Definiion 5.5 and 5.6 in []). The Hardy spaces H p k,d and H p k,d are defined similarly, replacing Q ψ by Q d,ψ and Q d,ψ respecively: for example, if < p < 2 resp. 2 < p < ), for any ψ Ψ,β+ Σ θ ) resp. ψ Ψ β,2 Σ θ )) he Hardy space Hp k,d is defined as he closure of under he norm Q d,ψω T 2,p. {ω H 2 k,d : Q d,ψω T 2,p < } 3. Our resuls In his secion, we explain our resuls in greaer deails. Our firs resul concerns he boundedness of a generalised Lusin area inegral. Define Q by Qf) = e 2 f. Noice ha Q = Q d,ψ wih ψz) = ze z2. I is a classical resul ha in R n, for any < p <, Q : L p T 2,p is bounded see [2], p. 9). I is claimed in [], Remark 6.5 ha he same resul is rue if he Hodge Laplacian on forms saisfies Gaussian esimaes, i.e. if G k ) holds for k =. The claim relies on an unpublished manuscrip of Auscher, Duong and McInosh. Furhermore, i is a consequence of [], Corollary 6.3 ha wih he only assumpion D) on M, if 2 p < and ψ Ψ β,2 recall ha β = [ κ 2 ]+), hen

11 HARDY SPACES AND HEAT KERNEL REGULARITY Q d,ψ : L p T 2,p is bounded. Noice ha in general, he funcion ψz) = ze z2 does no belong o Ψ β,2, and herefore Corollary 6.3 in [] does no say anyhing concerning he L p T 2,p boundedness of Q. Our firs resul in his paper is ha L p gradien esimaes for he hea kernel are essenially enough o imply he L p T 2,p boundedness of Q: Theorem 3.. Le us assume ha M saisfies he doubling propery D), he scaled Poincaré inequaliies P), and for some 2 < p < he gradien esimae p ) for he hea kernel. Then for every 2 < q < p, is bounded. Q : L q T 2,q The second resul of his paper concerns he idenificaion of some Hardy space wih L p, for p 2. The Hardy spaces ha we will look a are he ones relaed o he Riesz ransform d /2, ha is H p,d. I is shown in [], Theorem 5.5 ha for any p, is an isomorphism. d /2 : H p = Hp,d H p,d If M is a conneced, complee, non-compac Riemannian manifold saisfying D), hen for < p <, he range of d : Λ T M Λ T M inerseced wih L p, is equal o L p : indeed if i is no he case, hen here exiss a non-zero f L q, p + q = such ha for any ω C Λ T M), f,d ω =, which implies ha df = in he weak and hus, by ellipic regulariy, in he srong) sense, herefore f is consan and in L q, and since by D) M has infinie volume, f is idenically zero, which is a conradicion. Thus, applying [], Corollary 6.3, for any 2 p <, and L p H p Rd) L p Λ T M) Lp H p,d, where Rd) denoes he range of d. We show in he second resul of his paperhahel p gradien esimaesofheheakernelareessenially enough o prove ha H p,d = Rd) Lp Λ T M) Lp :

12 2 APTISTE DEVYVER Theorem 3.2. Assume ha M is a complee Riemannian manifold saisfying he doubling propery D), he scaled Poincaré inequaliies P) and for some 2 < p < he gradien esimaes p ) for he hea kernel. Then for every 2 < q < p, H q,d = Rd) Lq Λ T M) Lq. Corollary 3.3. = Main resul) Assume ha M is a conneced, complee, non-compac Riemannian manifold saisfying he doubling propery D) and he scaled Poincaré inequaliies P). Then for every 2 < p <, he following are equivalen: ) For every p 2,p ), H p,d = Rd) Lp Λ T M) Lp wih equivalen norms. 2) For every p 2,p ), he Riesz ransform d /2 is bounded on L p. If one hese wo equivalen condiions is saisfied, hen for every p 2,p ), u p u H p d /2 u p, u C M). Proof. Assume ha he equaliy H p,d = Rd) Lp Λ T M) Lp holds for every p 2,p ). Since, for every 2 p <, L p H p and he Riesz ransform is bounded from H p o Hp,d, one ges ha he Riesz ransform is bounded on L p for every p 2,p ). This shows one implicaion of he equivalence claimed in Corollary 3.3. For he converse implicaion: if we assume ha he Riesz ransform is bounded on L p for any p 2,p ), hen see [2], i is he easy par of Theorem.3 herein) he gradien esimaes for he hea kernel p ) holds for any p 2,p ). Applying Theorem 3.2, we ge ha he equaliy H p,d = Rd) Lp Λ T M) Lp holds for any p 2,p ). This conclude he proof. Remark 3.4. Theorem 3.2, ogeher wih he he fac ha he Riesz ransform is L p H p,d bounded, allows us o recover he resulof Theorem.3 in [2], according o which, in he class of manifolds saisfying D) and P), he gradien esimaes p ) for he hea kernel implies he boundedness of he Riesz ransform on L q for every 2 < q < p. Acually, our proof of Theorem 3.2 relies heavily on echniques developped in [2].

13 HARDY SPACES AND HEAT KERNEL REGULARITY 3 4. Proof of Theorem 3. This secion is devoed o he proof of Theorem 3.. I relies on he following resul, in he spiri of [[2], Theorem 2.], [[3], Theorem 2.3] and [[], Theorem 3.]: Proposiion 4.. Le T = T ) > be a linear operaor, bounded from L 2 o T 2,2. Assume ha here is p > 2 and α > such ha for every ball, and for every f, ) /p Aχ T) Tg) p C inf CTf)x)+ inf M f 2 )) ) /2 x), x x 4.) where we have le g := χ α )f. Then, for every 2 < q < p, T is bounded from L q o T 2,q. The proof of Proposiion 4. is given in he Appendix. Le us now give he proof of Theorem 3.: Proof of Theorem 3.: We sae a preliminary resul: Proposiion 4.2. Assume ha he measure is doubling D), ha he scaled Poincaré inequaliies hold P), and he gradien esimae of he hea kernel p ). Then for every 2 < q < p, here is a consan C such ha for every f, ) /q Aχ T) Qg) q C inf CQf)x)+ inf M f 2 )) ) /2 x), x x where we have le g := χ 6 )f. Le us assume for he momen he resul of Proposiion 4.2. Proposiion 4.2 implies ha for he choice T = Q, he hypoheses of Proposiion 4. are saisfied. Therefore, by Proposiion 4., Q is bounded from L q o T 2,q, for every 2 < q < p. This concludes he proof of Theorem 3.. Remark 4.3. Recall Theorem 2.5) ha he norm in T 2,q is given by F T 2,q = AF q CF q. If he following sronger inequaliy were rue: AQg) p ) /p C inf x CQf)x)+ inf x M f 2 )) /2 x) ), 4.2) where g := χ α )f, hen an applicaion of Theorem 2.3 in [3] wih he choice T = AQ would yield direcly Theorem 3.. However, we have been unable o prove inequaliy 4.2), and in fac we feel ha 4.2) does no hold.

14 4 APTISTE DEVYVER Therefore, we have o adap he argumen of [3] in order o work wih he weaker inequaliy 4.). Proof of Proposiion 4.2: The proof is an elaboraion on some argumens from [2]. Define F = Qg. We will denoe F = F, ). Fix a ball wih radius r. y inequaliy 2.5) in Lemma 2.4 applied o χ T) F, here holds: ) 2/q r Aχ T) F) q d 2/q C F,y) dy) q. Argumens from [2] more precisely, Lemma 3.2 and he proof of 3.2) herein), relying on L p off-diagonal esimaes for he gradien of he hea semi-group, lead o he following lemma, whose proof is posponed: Lemma 4.4. For r, he following inequaliy holds: where ) /q r ) ) /2 F q C F 4 /2 2 +C 4 Λ i, := sup l=2,,i+ 2 l F / l i=2 e c2i Λ /2 i,, Assuming for he momen he resul of Lemma 4.4, le us finish he proof of Proposiion 4.2. y Lemma 4.4 and Minkowski s inequaliy, ) /q Aχ T)F) q r d C r ) ) 2 /2 4 4 F /2 2 We claim ha +C ) r /2 d i=2 e c2i Λ i, I +II and I C inf M f 2 ) x) ) /2 x 4.3) II C inf x CF)x). 4.4) The validiy of he inequaliies 4.3) and 4.4) implies a once ha he resul of Proposiion 4.2 holds. In order ha he proof of Proposiion 4.2 be complee, i remains o prove inequaliies 4.3) and 4.4).

15 HARDY SPACES AND HEAT KERNEL REGULARITY 5 Sep : esimae of I: I is a consequence of he L 2 off-diagonal esimaes for Q. Le us denoe C = 6, and for i 2, C i := 2 i+3 \2 i+2. Recall ha g = χ 6 )f, and wrie g = gχ Ci = i=2 g i, where we have used he fac ha g is zero on C = 6. Then, using he L 2 off-diagonal esimaes for Q = e Lemma 2.2), we ge ha for every i 2, Q /2 g i 2 Ce c4i r ) 2 f 2. C i 4 Therefore, using D), ) Q 4 /2 D)g i 2 C2 i e c4i r ) i+3 f 2. C i y definiion of he maximal funcion M, 2 i+3 f 2 C i 2 i+3 f 2 inf 2 i+3 x Mf2 )x). Consequenly, i=2 I r d r ) ) 2 /2 i=2 4 4 Q /2g i 2 r i=2 2i ) ) r 2e c4 i r ) 2 /2 d inf x Mf 2 )x) ) ) /2. Nex, for any r, 2 i r ) 2e 4 i r ) 2 Ce cr ) 2 e c2i r ) 2 Ce cr ) 2 e c2i, and hus, performing a change of variable, r 2i ) r 2e 4 i r ) 2 d Ce c2i c e u 2 du u Therefore, which proves 4.3). Ce c2i. I C inf Mf 2 )x) ) /2, x

16 6 APTISTE DEVYVER Sep 2: esimae of II: Performing a change of variables, we have II C r/2 e c2i i=2 ) /2 du u Λ i,2u. If r and y 2 l, hen,y) T2.2 l ). Furhermore, by definiion of he maximal funcion C, we have 2.2 l T2.2 l ) ) /2 F,y) 2d dy inf CF)x), x and herefore, by definiion of Λ i, and using D), for every i 2, here holds Finally, r/2 ) /2 du u Λ i,2u C inf CF)x). x ) II C e c2i inf CF)x) = x C inf CF)x). x i=2 This proves inequaliy 4.4), and concludes he proof of Proposiion 4.2. Proof of Lemma 4.4: For he sake of compleeness, we now give he proof of Lemma 4.4. As we have already said, i is based on argumens from [2] more precisely, from Lemma 3.2 and he proof of 3.2) herein). Define ϕz) = e 4 z2, and wrie F = e 32 4 ϕ D)g = e 32 4 ϕ D)g ϕ D)g) 4 ) where we have used he fac ha under D), e =. Le h := ϕ D)g. Noice ha h depends on, bu we do no wrie his dependance in order o keep he noaion ligh. Define C = 4 and for i 2, C i = 2 i+ \2 i. Le finally h i = h h 4 )χ Ci. We wrie h h 4 = h i. Wih hese noaions and applying Minkowski s inequaliy, one has i=

17 HARDY SPACES AND HEAT KERNEL REGULARITY 7 ) /q F q i= ) /q e 32 4 h i q. 4.5) y inequaliies 2.) and 2.2), here holds ha for i =, ) /q ) /2 e 32 4 h q C h 2, 4.6) 4 C and for every i 2, ) /q ) e 32 4 h i q Ce c4i r ) 2 /2 2 i+ h i ) C i u by definiion, Nex, wrie h i 2 C i 2 i+ h h 4 h h 2 i+ + Therefore, by Minkowski s inequaliy, 2 i+ C i h i 2 ) /2 2 i+ h h 4 2. i h 2 l h 2 l+. l=2 2 i+ h h 2 i+ 2 ) /2 + i l=2 h 2 l h 2 l+. Applying he Poincaré inequaliy P) on 2 i+, we obain ) /2 ) /2 2 i+ h h 2 i+ 2 C2 i+ r) 2 i+ 2 i+ h 2. 2 i+ Also, observe ha, by Cauchy-Schwarz and he Poincaré inequaliy P) on 2 l+, we have h 2 l h 2 l+ ) /2 ) /2 2 l h h 2 l+ 2 C2 l r) 2 l 2 l h 2. 2 l As a consequence, for every i, ) /2 i+ ) /2 2 i+ h i 2 C 2 l r C i 2 l h 2. 2 l Now, noice ha l=2

18 8 APTISTE DEVYVER so ha for every i, 2 h = 2 ϕ D)g = F /2, ) /2 i+ 2 i+ h i 2 C 2 l r ) ) /2 C i 2 l F / ) 2 l l=2 From 4.5), 4.6), 4.7) and 4.8), we ge ha ) /q F q ) /2 C 4 4 F /2 2 +C r ) 2 i+ i=2 e c4i l=2 2l ) ) r /2. 2 l 2 l F /2 2 Therefore, by definiion of Λ i,, 4.9) ) /q ) /2 F q C F 4 /2 2 +C 4 u for r and i, one has he elemenary inequaliy Thus, for r, ) /q F q C 4 i=2 i2 i+ r ) e c4i r ) 2 Ce c 2 r ) 2. 4 which is precisely he resul of Lemma 4.4. F /2 2 ) /2 +C 5. Proof of Theorem 3.2 In his secion, we prove Theorem 3.2. Le S be defined by i2 i+ r ) e c4i r ) 2 Λ i,. e c4i r ) 2 Λ i,, i=2 Define also SH = e 2 H d. where ψz) = z 2N+ e z2. Tha is, Q N = Q d,ψ,

19 HARDY SPACES AND HEAT KERNEL REGULARITY 9 Q N ω = 2 ) N e 2 d ω). Theorem 3.2 is consequence of he following resul: Theorem 5.. Assume ha N 3 4κ. Then for every 2 < q < p, here exiss a consan C such ha for every ω H,d 2 Hq,d, SQ N ω L q C ω H q,d. Assuming for he momen he resul of Theorem 5., le us give he proof of Theorem 3.2: Proof of Theorem 3.2: Fix N 3 4κ. Le us define c > by c = Using he fac ha for ω H 2,d, 2N+2 e 2d. ω = dd ω, we ge by he Specral Theorem ha for every ω H,d 2, here holds: c SQ N ω = ω. Therefore, applying Theorem 5., we ge for ω H 2,d Hq,d ha ω L q = c SQ N ω L q C ω H q,d. As a consequence, H,d 2 Hq,d Rd) Lq Λ T M). Since H,d 2 Hq,d is dense in H q,d, we ge ha H q,d Rd) Lq Λ T M) Lq. u by [[], Corollary 6.3], he reverse inclusion Rd) L q Λ T M) Lq H q,d always holds. Thus, H q,d = Rd) Lq Λ T M) Lq. This conclude he proof of Theorem 3.2.

20 2 APTISTE DEVYVER In he remaining par of his secion, we prove Theorem 5.. Sraegy of he proof of Theorem 5.: We will denoe F = Q N ω. Our proof is inspired by he proof of [[2], Theorem.3]. Le us explain roughly he sraegy. Define he regularizing operaor A r by A r = I I e r2 ) n, where n is an ineger which will be chosen big enough laer. We will show ha for some maximal funcion G γ o be specified laer), he following pair of inequaliies holds for any ball of radius r: and ) /2 SI A r )F 2 C inf G γfx) x ) /q SA r F q C inf M SF 2 ) x) ) /2. x Her, M is he Hardy-Lilewood maximal funcion. Once his is done, he proof of Theorem 5. follows by argumens similar o [[2], Theorem 2.] or [[3], Proposiion 3.2 and Corollary 3.3]. The res of his secion will be devoed o make he above argumens more precise. Firs, we define he maximal funcion G γ. For j n, define Then we le F j := 2 ) N+j e 2 d ω). G γ H = M A γ H 2)) /2, wherewerecallhaa γ ishefuncioncorrespondingoawhenheaperure of he cone is chosen o be γ >. Finally, we define Wih his seled, we prove: G γ F = j n G γ F j. Proposiion 5.2. Assume p ), n 3 4κ and N n. Then here is γ > such ha for every 2 < q < p and for every ball of radius r, here holds: and ) /2 SI A r )F 2 C inf G γfx) 5.) x

21 HARDY SPACES AND HEAT KERNEL REGULARITY 2 ) /q SA r F q C inf M SF 2 ) x) ) /2. 5.2) x Le us firs show how Theorem 5. follows, assuming he resul of Proposiion 5.2: End of he proof of Theorem 5.: Le us fix 2 < q < p. Proposiion 5.2 allows us o apply Proposiion 3.2 and Corollary 3.3 from [3] wih he choice F = SF 2, G = 2 SI A r )F 2, H = 2 SA r F 2 and G = G γ F, in order o obain y definiion, F q 2 MF q 2 C G q 2. F q = SQ Nω 2 2 q. Using he srong q 2, q 2 ) ype of he maximal operaor M, we have G q 2 j n M A γf j 2 q 2 C j n A γf j 2 q C j n Fj 2 T 2,q, wherewe have used he fac ha underd), differen angles in he definiion of he en space T 2,q give rise o equivalen norms see Proposiion 4 in [6]). Recall ha F j = 2 ) N+j e 2 d ω). According o he resuls of [] see Definiion 5.6 herein), for every M β 2 recall ha β = [κ 2 ]+), ω H q,d 2 ) M e 2 d ω) T 2,q. Since for every j n, here holds ha N + j 3 4 κ β 2, we ge by definiion of F j ha Therefore, j n F j 2 T 2,q C ω 2 H q,d. SQ N ω q C ω H q,d. The proof of Theorem 5. is complee.

22 22 APTISTE DEVYVER Proof of Proposiion 5.2: Le us begin by esablishing 5.2), which follows direcly from resuls in [2]. Noice ha A r is a sum of erms of he form C k e kr2, for k n. I is hus enough o prove ha for any k n, y definiion of S, where ) /q Se kr2 F q C inf M SF 2 ) x) ) /2. 5.3) x ) /q ) /q Se kr2 F q = e kr2 g q, g := e 2 d F. According o Equaion 3.2) in [2], here holds: u ) /q e kr2 g q C inf M g 2 ) x) ) /2. x hence 5.3). g = e 2 F d = SF, Now, we will be concerned wih he more difficul ask of esablishing 5.). Again, his relies on ideas developped in [2]. In he proof, C and c will design generic consans, whose value can change from a line o anoher. Expanding he erm I A r = I e r2 ) n and performing a change of variable for each erm appearing in he sum, we ge SI A r )F = ) n k= )k n) k χ{> kr} e 2 F 2 kr 2 d 2 kr 2 = S +S 2, 5.4) where S resp. S 2 ) corresponds o he inegral being aken from o Ar resp. from Ar o ), where he value of A n+ will be precised laer. We will separaely esimae ) /2 S 2 and ) /2. S 2 2

23 Sep : esimae of We claim ha HARDY SPACES AND HEAT KERNEL REGULARITY 23 ) /2 S 2 : Lemma 5.3. The following inequaliy akes place: ) /2 S 2 C inf CFx). x The proof of Lemma 5.3 is echnical, and is posponed unil he end of his secion. Sep 2: esimae of Le us define ) /2 S 2 2 : fs) = e 2 F 2 s 2 s. Then, fkr 2 ) = e 2 F 2 kr 2 2 kr 2 is he erm appearing in he inegrand of 5.4). We have, by he Taylor formula for f around : fkr 2 ) = n l= f l) ) k l r 2l + kn r 2n l! n )! u) n f n) ukr 2 )du 5.5) Replacingfkr 2 )byisexpressiongivenby5.5)inhesum n k= )k n k) fkr 2 ), and using he fac ha for every ineger l n, n ) n ) k k l =, k k= see [[8], Problem 6, p. 65]), we obain ) /2 S 2 2 C Ar ) /2 r 2n sup f n) s) 2 d. s [,nr 2 ] Le us now compue f n) s): recalling ha F = 2 ) N e 2 d ω, we have fs) = 2 s) /2 e 2 2 s) ) N e 2 s) d ω, and hus, assuming ha N > n, f n) s) = Cj,n,N) e 2 F j 2 s), 5.6) n+ 2 2 s j n where we recall ha by definiion, F j = 2 ) N+j e 2 d ω. We claim:

24 24 APTISTE DEVYVER Lemma 5.4. There exiss γ > such ha for every H T 2,2, Ar r 2n sup s [,nr 2 ] /2 e 2 H 2 s) n+ 2 s 2 recall ha G γ H := M A γ H 2)) /2 ). L 2 ) d C inf x G γhx), The proof of Lemma 5.4 is given below. Assuming i for he momen, and applying i o H = F j for every j n, we obain ha by definiion of G γ, ) /2 S 2 2 C inf Gγ F j = C inf G γfx). 5.7) x x From Lemma 5.3 and inequaliy 2.6), we ge ) /2 S 2 C inf M AF 2 ) x) ) /2. 5.8) x As consequence of D), since γ >, here is a consan C such ha for every F, AF CA γ F, y 5.7) and 5.8), we hus obain 5.), and he proof of Proposiion 5.2 is complee. Proof of Lemma 5.3: Define C = 4, and for i 2, C i = 2 i+ \2 i. Decomposing F = χ Ci F = i= F i,, we have by Minkowski s inequaliy wih an obvious definiion of S,i in which F i appears insead of F) ) /2 S 2 i= i= ) /2 S,i 2. Our ask is hus o esimae each erm of his sum. We firs consider he case i =. Firs, noice ha ) /2 S,i 2 SI Ar ) χ,ar) 4 F ) ) /2 2. I is easy o see ha,ar) 4 TA+4)), and hus

25 HARDY SPACES AND HEAT KERNEL REGULARITY 25 ) /2 S,i 2 SI A r ) χ TA+4)) F ) ) /2 2. We claim ha SI A r ) is bounded from T 2,2 o L 2. Indeed, S is bounded from T 2,2 o L 2, and i is enough o see ha I A r ) is bounded on T 2,2. Since I A r is a sum of erms of he form C k e kr2 for k n, his follows from he fac ha for any k n, and every H T 2,2, using 2.3), e kr2 H T 2,2 M e kr2 H x) 2 dx d ) /2 = ) /2 e kr2 H 2 2 d ) /2 H 2 2 d H T 2,2, where we have used he fac ha he semi-group e is conracive on L 2. Therefore, SI A r ) χ TA+4)) F ) L 2 ) C χ TA+4)) F T 2,2. Using D), we obain by definiion of he maximal funcion C ha /2 χ TA+4))F T 2,2 C inf CFx). x This implies ha ) /2 S, 2 C inf CFx). x Le us now urn o he case i 2. y 5.4) and Minkowski s inegral inequaliy, we have ) /2 S,i 2 C n k= Ar r k e 2 F i, 2 kr 2 2 ) /2 Using he L 2 off-diagonal esimaes for e 2 Lemma 2.2), we ge ) /2 S,i 2 C n Ar k= r r ) 2 F k e c4i L /2 2 kr 2 2 C i ) C Ar e c4i r ) 2 F /2 L 2 C i ) d +Ce c4i n k= Ar r k /2 F 2 kr 2 L 2 C i ) d 2 kr 2. d 2 kr 2 d 2 kr 2.

26 26 APTISTE DEVYVER For k, we have by a change of variables and using he fac ha C r on r,ar): Ar r k /2 F 2 kr 2 L 2 C i ) d 2 kr 2 C r r A 2 k /2 F L 2 C i )d C r Ar d) /2 Ar F 2 L 2 C i ) ) /2. d u i is easy o see ha C i,ar) T 2 i+ +A) ) TA2 i+ ), and hus using D), Ar ) /2 F 2 d L 2 C i ) ) A2 i+ /2 A2 i+ TA2 i+ ) F,x) 2 dx d ) /2 Therefore, C2 iκ/2 inf x CFx). 5.9) n k= Ar F kr /2 L d 2 kr 2 2 C i ) 2 kr 2 C2iκ/2 inf CFx). x For k =, we use successively Cauchy-Schwarz inequaliy, he inequaliy e c4i r ) 2 e C4i e C4i r ) 2 which holds for every Ar, and inequaliy 5.9) in order o ge: Ar e c4i r ) 2 F /2 L 2 C i ) d ) Ar e c4i r ) 2 /2 d Ar F 2 L 2 C i ) ) /2 d Ce C4i 2 iκ/2 inf x CFx). Finally, we obain Summing on i, we ge ) /2 S,i 2 Ce C4i 2 iκ/2 inf CFx). x

27 HARDY SPACES AND HEAT KERNEL REGULARITY 27 ) /2 S 2 ) /2 i= S,i 2 C i= e C4i 2 iκ/2 ) inf x CFx) Cinf x CFx). This concludes he proof of Lemma 5.3. Proof of Lemma 5.4: Firs, since 2 nr 2 C 2 for every > Ar, we ge Ar C r 2n sup s [,nr 2 ] Ar /2 2 s) n+ 2 r ) 2nsups [,nr 2 ] e 2 H 2 s e 2 H /2 2 s L 2 )d L 2 ) From now on, we fix s [,nr 2 ]. Le λ,) be such ha Aλ he value of λ will be precised laer). Denoe := r = x,), hen for every Ar and for every real funcion ϕ, here holds, using D), /2 ϕ L 2 ) ) /2 λ ϕ λ /2 L 2 λ ) C ) κ/2 r ϕ λ /2 L 2 λ ). d. 5.) Applying inequaliy 5.) wih ϕ = e 2 H 2 s, we obain, denoing α = 2n κ 2, Ar C r ) 2nsups [,nr 2 ] Ar e 2 H /2 2 s r ) α e 2 H λ /2 2 s Denoe C = x,4+4r) and for i 2, Noice ha for every i 2, L 2 ) L 2 λ ) C i = x,4+2 i+ r)\x,4+2 i r). d d. We decompose dc i,4 ) = 2 i r.

28 28 APTISTE DEVYVER H = χ C i H = i= We have by Minkowski s inequaliy Ar H i,. i= r ) α e 2 H λ /2 2 s i= Ar L 2 λ ) r ) α e 2 H λ /2 i, 2 s d L 2 λ ) I is enough o esimae each erm in he above sum. We begin wih he case i =, for which he choice of λ has no imporance. Using he fac ha for r, H, is suppored in C 8 and he uniform boundedness on L 2 of e 2, we ge e 2 H, 2 s L 2 λ ) e 2 H, 2 s C H, 2 s y a change of variable and D), we obain 2 = C 2 H 2 s r ) α e 2 Ar H d λ /2, 2 s 2 C A r ) α 2 r 2 s H 8 /2 L 2 8 d ) C r ) α r H 8 /2 L 2 8 d ) Applying Cauchy-Schwarz s inequaliy, Ar r ) α e 2 H λ /2, 2 s d 2 d L 2 8 ). 2 s r r ) ) 2α /2 d r 8 H 2 L 2 8 ) ) /2 d We claim ha r C r 8 H 2 L 2 8 ) ) /2 d 8 H 2 d L 2 8 ) C inf M A6 H 2) x) ) /2. 5.) x Indeed, le us compue

29 HARDY SPACES AND HEAT KERNEL REGULARITY 29 A 6 H 2 = d Vx,6) x,6) H 2. Noice ha for every x and every > r, 8 x,6). Also, by Lemma 2., Vx,6) 8. Therefore, inf M A 6 H 2) x) A 6 H 2 C x r which is wha has been claimed. Consequenly, Ar r ) α e 2 λ /2 H, 2 s L 2 λ ) d H,y) 2 dy, 8 8 d C inf M A6 H 2) x) ) /2. x Le us now urn o he case i 2. y a change of variables, we ge Ar r ) α e 2 H λ /2 i, 2 s L 2 λ ) d C Ar s r ) α λ 2 +s e 2 +s) L H i, 2 +s /2 2 λ ) d 2 +s u here is a consan c such ha for every r and every s [,nr 2 ], 2 +s c. Choosing λ c and A big enough so ha Aλ ), and using D), we ge Ar C r ) α e 2 H λ /2 i, 2 s r L 2 λ ) r ) α 2 +s e 2 +s) L d H /2 i, 2 ) Using he L 2 off-diagonal esimaes Lemma 2.2) and Cauchy-Schwarz, we obain Ar r ) α e 2 H λ /2 i, 2 s L 2 λ ) d d r r r ) α H /2 r L2 ) 2 d C) i e c4i r ) α H 2 L 2 C) d i ) /2 r r ) ) αe c4 i r ) 2 /2 d ) C4 αi r ) /2 α r H 2 L 2 C) d i We claim ha for α κ,

30 3 APTISTE DEVYVER r r ) α H 2 L 2 C i ) Indeed, we compue ha A 4 H 2 2 i+2 r d ) d /2 C2 iκ/2 inf M A4 H 2) x) ) /2. x 5.2) 2 i+2 dx x,4) H,y) 2 dy Vy,4). For every,y) C, i here exiss y y,4) such ha y, 2) r 2 i+2 and for every z y, 2) r, y z,4): jus ake y lying on a minimizing geodesic going from x o y, such ha dy,y ) = 4 r 2. Therefore, 2 i+2 A 4 H 2 r d C i H,y) 2V y, r 2 Vy,4) dy. u by Lemma 2., Vy,4) Vy,4), and herefore using D), we ge r ) κ H A 4 H 2 C 2 d 2 i+2 r L 2 C i). y D), if r, ) 2 i+2 = 2 i+2 min, ) κ ) 2 i+2 r Therefore, if α κ, C 2 iκ r ) r ) /2 α Hi 2 L 2 C) d i 2 iκ/2 2 i+2 2 i+2 A 4H 2 ) /2 C2 iκ/2 inf x M A4 H 2) x) ) /2, which ends he proof of inequaliy 5.2). Now, we can finally prove Lemma 5.4. Indeed, by 5.) and 5.2), we have for our choosen values of λ and A) i= Ar r ) α e 2 H i λ /2 2 s Cinf x M A6 H 2) x) ) /2 L 2 λ ) + i=2 2iκ/2 4 αi) inf x M A4 H 2) x) ) /2 Thus, since α > κ 4, we ge d

31 HARDY SPACES AND HEAT KERNEL REGULARITY 3 i= Ar r ) α e 2 H i λ /2 2 s L 2 λ ) d Cinf x M A6 H 2) x) ) /2 +Cinfx M A4 H 2) x) ) /2 y an easy consequence of D), here is a consan C such ha for every H, Therefore, A 4 H CA 6 H. i= Ar r ) α e 2 λ /2 H i 2 s This shows Lemma 5.4, wih γ = 6. L 2 λ ) 6. Appendix d C inf M A6 H 2) x) ) /2. x In his Appendix, we prove Proposiion 4.. The proof is an adapaion of he proof of [[3], Theorem 2.3]. I relies on he following: Proposiion 6.. Le F and G be given, such ha for every ball, one can find non-negaive, measurable funcions G and H such ha and saisfying F = G +H a.e. on T), and { AχT) H ) } ) /p ) p C inf CFx)+ inf Gx), x x ) { )} /2 2 A χt) G C inf Gx). x For 2 < q < p, here is a consan C independan of he choice of F and G such ha if G q < and F T 2,2 <, hen F T 2,q C G q. Assuming for he momen he resul of Proposiion 6., le us conclude he proof of Proposiion 4.. Proof of Proposiion 4.: Define F = Tf, G = Tχ α f) and H = T χ α )f). Define finally G = Mf 2 ) ) /2. y lineariy of T, one has

32 32 APTISTE DEVYVER y hypohesis, F = G +H. { AχT) H ) } ) /p ) p C inf CFx)+ inf Gx). x x We claim ha here also holds ha ) { )} /2 2 A χt) G C inf Gx). 6.) x Once 6.) is shown, he proof of Proposiion 4. is compleed by applying Proposiion 6. o our choice of F, G, H and G. Indeed, Proposiion 6. hen gives F T 2,q C G q. Using he srong q 2, q 2 ) ype of he Hardy-Lilewood maximal funcion, one has G q = Mf 2 ) ) /2 q C f q, and hus y definiion of F we obain F T 2,q C f q. Tf T 2,q C f q. This concludes he proof of Proposiion 4., upon proving inequaliy 6.). We now proves 6.). Applying successively 2.4) and 2.3), one has A ) ) 2 /2 χ T) G C ) /2 T) G,y) 2 dy d C /2 G T 2,2. y definiion of G, he fac ha T is bounded from L 2 o T 2,2, and D), one has A ) ) 2 /2 χ T) G C /2 χ α f 2 Recalling ha G = M f 2)) /2, we obain C ) /2. α α f 2

33 HARDY SPACES AND HEAT KERNEL REGULARITY 33 A ) ) /2 2 χ T) G inf Gx). x This complees he proof of 6.), and of Proposiion 4.. I only remains o prove Proposiion 6.. We spli he proof in a sequence of lemmas. Firs, we begin by a localizaion lemma: Lemma 6.2 Localizaion). There exiss K depending only on he doubling consan, wih he following propery: if x is such ha CF x) λ, hen for every K K, { {χ CF > Kλ} C χ T3) F ) > K } λ. K Proof. We firs prove ha CF K C c F, 6.2) where C c is he cenered maximal funcion defined by C c Fx) = sup F,y) 2 dy d > Vx,) Tx,)). For his, we noice ha if x x,), hen x,) x,3). Thus, using D), x,) Tx,)) F,y) 2 dy d x,) Tx,3)) F,y) 2 dy d K x,3) Tx,3)) F,y) 2 dy d. K C c Fx). Taking he supremum wih respec o he se of balls x,) conaining x, we obain 6.2). Now, le x such ha CFx) > Kλ. y 6.2), here is > such ha F,y) 2 dy d Vx,) Tx,)) > K λ. 6.3) K Furhermore, x / x,) since CF x) λ K K λ. Therefore, x,) 3. Consequenly, F,y) 2 dy d Vx,) Tx,)) = χ Vx,) T3) F,y) 2 dy d Tx,)), which, ogeher wih 6.3), yields ha Cχ T3) F)x) > K K λ.

34 34 APTISTE DEVYVER We coninue wih he following good-λ inequaliies, analogue of Proposiion 3.2 in [3] : Lemma 6.3 Good-λ inequaliies). Assume ha for every ball, one can find G and H such ha and saisfying F = G +H a.e. on T), and { AχT) H ) } ) /p ) p C inf CFx)+ inf Gx), x x ) { )} /2 2 A χt) G C inf Gx). x Then for every λ >, K > K and γ, {CF > Kλ, G γλ} C provided ha {CF > λ} is a proper subse of M. ) K p + γ2 K 2 {CF > λ}, Proof. Le E λ = {CF > λ}. I is a proper, open subse of M. We wrie a Whiney covering for E λ : E λ = i i, ha is he i are balls wih he finie inersecion propery, and here is a consan c > wih he following propery: for every i, here is x i c i such ha x i / E λ. Define Then λ = {CF > Kλ, G γλ}. λ i λ i i λ c i. Assume ha λ c i, and le ȳ i λ c i. y he localisaion lemma Lemma 6.2), { λ c i Cχ T3ci )F) > K λ}. K Denoe G i := G 3ci and H i := H 3ci. Then, since F = G i +H i on T3c i ), here holds

35 HARDY SPACES AND HEAT KERNEL REGULARITY 35 { } { Cχ T3ci )F) > K K λ Cχ T3ci )G i ) > K 2K λ} { Le us firs esimae he erm { + Cχ T3ci )H i ) > K. 2K λ} Cχ T3ci )G i ) > K 2K λ} : using inequaliy 2.6) and he weak, ) ype of he Hardy-Lilewood maximal funcion, here holds: { Cχ T3ci )G i ) > K 2K λ } { M Aχ T3ci )G i ) ) ) 2 /2 > C K 2K λ} C Kλ) 2 Aχ T3ci )G i ) 2 2 Using he hypohesis on G i, he doubling propery D) and he fac ha Gȳ i ) γλ, we ge { } Cχ T3ci )G i ) > K 2K λ C Kλ 2 ) 3c i inf x 3ci G 2 x) C γ2 K 2 i. { Now, le us esimae Cχ T3ci )H i ) > K : 2K λ} using successively inequaliy 2.6), he weak p 2, p 2 ) ype of he Hardy-Lilewood maximal funcion M, and he hypohesis on H i, we obain: { Cχ T3ci )H i ) > K 2K λ } { M Aχ T3ci )H i ) ) ) 2 /2 > C K 2K λ} C Kλ) T3c p i ) C Kλ) p i 3c i Aχ T3ci )H i ) p T3c i ) AχT3ci )H i ) p) C Kλ) p i inf x 3ci CFx)+inf x 3ci Gx)) p/2 C Kλ) p i CF x i )+Gȳ i )) p C K p i. Finally, we ge, using he finie inersecion propery of he balls i, λ C γ 2 K 2 + ) γ 2 K p i C K 2 + ) K p E λ, i

36 36 APTISTE DEVYVER and he proof of Lemma 6.3 is complee. End of he proof of Proposiion 6.: Define y 2.6), Φ) = q λ q {CF > λ} dλ. {CF > λ} { MAF 2) /2 > Cλ}, and by he weak,) ype of M, {CF > λ} C λ 2 AF 2 2 C λ 2 F 2 T 2,2 < Since D) implies ha M has infinie volume, necessarily {CF > λ} is a proper subse of M. Therefore, we can apply Lemma 6.3, and obain by inegraion ha ) ) ΦK) CK q K p + γ2 K q K 2 Φ)+ G q q γ. Since q < p, one can choose K large enough and γ small enough so ha ) K q K p + γ2 K 2 2. Hence, for his choice, we ge ha for all, ΦK) ) K q 2 Φ)+ G q q γ. y an easy ieraion, his implies ha for every, Φ) C G q q. Since lim Φ) = CF q q, we ge ha CF q C G q. u by Theorem 2.5, since 2 < q here holds ha CF q F T 2,q, hence he resul of Proposiion 6..

37 HARDY SPACES AND HEAT KERNEL REGULARITY 37 Remark 6.4. OnT 2,q for q > 2, herearewo maximal funcions, namely C and G : F M AF 2 ) ) /2, wih he propery ha F T 2,q CF q GF q/2. The proof of Proposiion 6. wih G insead of C works fine, excep a one crucial) place: he localisaion lemma Lemma 6.2), which is no rue for G. This explains our choice of C in he proof of Proposiion 6.. References [] P. Auscher, A. McInosh and E. Russ, Hardy spaces of differenial forms on Riemannian manifolds, J. Geom. Anal. 8 28), no., [2] P. Auscher, T. Coulhon, X.T. Duong, S. Hofmann, Riesz ransform on manifolds and hea kernel regulariy, Ann. Sci. École Norm. Sup. 4) 37 24), no. 6, [3] P. Auscher, T. Coulhon, Riesz ransform on manifolds and Poincaré inequaliies, Ann. Sc. Norm. Super. Pisa Cl. Sci. 5) 4 25), no. 3, [4] T. Coulhon, X.T. Duong, Riesz ransforms for p 2, Trans. Amer. Mah. Soc ), no. 3, [5] T. Coulhon, Q.S. Zhang, Large ime behavior of hea kernels on forms, J. Differenial Geom ), no. 3, [6] R.R. Coifman, Y. Meyer, E.M. Sein, Some new funcion spaces and heir applicaions o harmonic analysis, J. Func. Anal ), no. 2, [7]. Devyver, A gaussian esimae for he hea kernel on differenial forms and applicaion o he Riesz ransform, o appear in Mah. Annalen [8] W. Feller, An Inroducion o Probabiliy Theory and is Applicaions, vol. I, Wiley, New York, 968. [9] S. Hofmann, G. Lu, D. Mirea, M. Mirea, L. Yan, Hardy spaces associaed o non-negaive self-adjoin operaors saisfying Davies-Gaffney esimaes, Mem. Amer. Mah. Soc. 24 2), no. 7. [] Z. Shen, ounds of Riesz ransforms on L p spaces for second order ellipic operaors, Ann. Ins. Fourier Grenoble) 55 25), no., [] E.M. Sein, Harmonic analysis: real-variable mehods, orhogonaliy, and oscillaory inegrals, Princeon Mahemaical Series, 43, Princeon Universiy Press, Princeon, NJ, 993. [2] E.M. Sein, Singular Inegrals and Differeniabiliy of Funcions, Princeon Universiy Press, Princeon 97). [3] S.T. Yau, Some funcion-heoreic properies of complee Riemannian manifold and heir applicaions o geomery, Indiana Univ. Mah. J ), no. 7, apise Devyver, Deparmen of Mahemaics, Technion - Israel Insiue of Technology, Haifa 32, Israel address: bapise.devyver@univ-nanes.fr