arxiv: v2 [math.ca] 30 Aug 2009

Transcription

1 arxiv: v2 [math.ca] 30 Aug 2009 Radia maxima function characterizations of Hardy spaces on RD-spaces and their appications Dachun Yang and Yuan Zhou Abstract Let X be an RD-space with µ(x) =, which means that X is a space of homogeneous type in the sense of Coifman and Weiss and its measure has the reverse doubing property. In this paper, we characterize the atomic Hardy spaces H p at (X) of Coifman and Weiss for p (n/(n+1),1] via the radia maxima function, where n is the dimension of X, and the range of index p is the best possibe. This competey answers the question proposed by Ronad R. Coifman and Guido Weiss in 1977 in this setting, and improves on a deep resut of Uchiyama in 1980 on an Ahfors 1-reguar space and a recent resut of Loukas Grafakos et a in this setting. Moreover, we obtain a maxima function theory of ocaized Hardy spaces in the sense of Godberg on RD-spaces by generaizing the above resut to ocaized Hardy spaces and estabishing the inks between Hardy spaces and ocaized Hardy spaces. These resuts have a wide range of appications. In particuar, we characterize the Hardy spaces H p at (M) via the radia maxima function generated by the heat kerne of the Lapace-Betrami operator on compete noncompact connected manifods M having a doubing property and supporting a scaed Poincaré inequaity for a p (n/(n+α),1], where α represents the reguarity of the heat kerne. This extends some recent resuts of Russ and Auscher-McIntosh-Russ. Mathematics Subject Cassification (2000) Primary 42B30; Secondary 42B25, 42B35 Dachun Yang was supported by the Nationa Natura Science Foundation (Grant No ) of China. D. Yang Schoo of Mathematica Sciences, Beijing Norma University, Laboratory of Mathematics and Compex Systems, Ministry of Education, Beijing , Peope s Repubic of China e-mai: dcyang@bnu.edu.cn Y. Zhou Schoo of Mathematica Sciences, Beijing Norma University, Laboratory of Mathematics and Compex Systems, Ministry of Education, Beijing , Peope s Repubic of China e-mai: yuanzhou@mai.bnu.edu.cn Y. Zhou Department of Mathematics and Statistics, University of Jyväskyä, P. O. Box 35 (MaD), FI-40014, Finand e-mai: yuzhou@cc.jyu.fi 1

2 2 D. Yang, Y. Zhou 1 Introduction The theory of Hardy spaces on the Eucidean space R n pays an important roe in various fieds of anaysis and partia differentia equations; see, for exampes, [33, 8, 5, 32, 9]. It is we-known that the foowing spaces of homogeneous type of Coifman and Weiss [6, 7] form a natura setting for the study of function spaces and singuar integras. Definition 1.1 Let (X, d) be a metric space with a Bore reguar measure µ such that a bas defined by d have finite and positive measure. For any x X and r > 0, set the ba B(x,r) {y X : d(x,y) < r}. The tripe (X, d, µ) is caed a space of homogeneous type if there exists a constant C 1 1 such that for a x X, λ 1 and r > 0, µ(b(x,λr)) C 1 λ n µ(b(x,r)). (1.1) Here n, if chosen minima, measures the dimension of the space X in some sense. Let X be a space of homogeneous type as in Definition 1.1. In 1977, Coifman and Weiss [7] introduced the atomic Hardy spaces H p at (X) for p (0,1] and obtained their moecuar characterizations. Moreover, under certain additiona geometric condition, Coifman and Weiss obtained the radia maxima function characterization of Hat(X). 1 Then they further asked the foowing question; see [7, pp ] or [34, p. 580]. Question 1: Is it possibe to characterize H p at (X) for p (0, 1] in terms of a radia maxima function? Reca that an Ahfors n-reguar metric measure space is a space of homogeneous type as in Definition 1.1 satisfying that for a x X and r (0,2diam(X)), µ(b(x,r)) r n, where diam(x) sup x,y X d(x,y). When X is an Ahfors 1-reguar metric measure space, in 1980, Uchiyama [34] partiay answered this question by proving the deep resut that for p (p 0,1] and functions in L 1 (X), the L p (X) quasi-norms of their grand maxima functions (as in [21]) are equivaent to the L p (X) quasi-norms of their radia maxima functions defined via some kernes in [7]. However, here p 0 > 1/2; see [11] for the expicit vaue of p 0. Aso in this setting, when p (1/2,1], Macías and Segovia [21] characterized H p at (X) via a grand maxima function. Observe that when X is an Ahfors 1-reguar metric measure space and p 1/2, it is impossibe to characterize H p at (X) via the radia maxima function since atoms of H p at (X) have ony 0-order vanishing moment. Recenty, the foowing RD-spaces were introduced in [18], which are modeed on Eucidean spaces with Muckenhoupt weights, Ahfors n-reguar metric measure spaces (see, for exampe, [16]), Lie groups of poynomia growth (see, for exampe, [1, 38, 39]) and Carnot-Carathéodory spaces with doubing measures (see, for exampe, [25, 23, 32]). Definition 1.2 The tripe (X, d, µ) is caed an RD-space if it is a space of homogeneous type as in Definition 1.1 and there exist constants C 2 > 1 and C 3 > 1 such that for a x X and r (0, diam(x)), µ(b(x,c 2 r)) C 3 µ(b(x,r)). (1.2) We point out that the condition (1.2) can be repaced by the foowing geometric condition: there exists a constant a 0 > 1 such that for a x X and 0 < r < diam(x)/a 0,

3 Hardy spaces 3 B(x, a 0 r)\b(x, r) ; see [18, Remark 1] and aso [37] for some other equivaent characterizations of RD-spaces. In particuar, a connected space of homogeneous type is an RD-space. Throughout the whoe paper, we aways assume that X is an RD-space and µ(x) =. Recenty, by extending Uchiyama s idea in [34], it was proved in [11] that there exists a p 0 cose to 1 such that when p (p 0, 1], H p at (X) is characterized by a certain radia maxima function. However, here p 0 > n/(n+1). This partiay and affirmativey answers Question 1 when X is an RD-space. Moreover, a Littewood-Paey theory for H p at (X) when p (n/(n + 1),1] was estabished in [17, 18] via Caderón reproducing formuae. Aso, via inhomogeneous Caderón reproducing formuae, the grand, the nontangentia and the dyadic maxima function characterizations of H p at (X) for p (n/(n+1),1] were aso obtained in [10]. On the other hand, et M be a noncompact manifod having the doubing property and supporting a scaed Poincaré inequaity and the Lapace-Betrami operator. There is an increasing interest in the study of the Hardy spaces and the Riesz transforms on such noncompact manifods; see, for exampe, [2, 3, 26] and the references therein. In particuar, et H p (M) be the Hardy space defined by the radia maxima function generated by the heat kerne. Based on Uchiyama s resut [34], Russ [26] stated the equivaence of H p (M) and H p at (M) for p (p 0, 1] without a proof, where p 0 is not far from 1; see aso Theorem 8.2 of [3] for p = 1. Then the foowing question naturay appears. Question 2: What is the best possibe range of p 1 which guarantees the equivaence between H p at (M) and Hp (M). This paper is devoted to Questions 1 and 2 above, and extensions of these resuts to ocaized Hardy spaces in the sense of Godberg ([12]). Throughout the whoe paper, we aways assume that X is an RD-space and µ(x) =. (We eave the case when µ(x) < to another forthcoming paper, because of the need to overcome some additiona subte technica difficuties.) First, for p (n/(n+1), 1], we characterize H p at (X) via a certain radia maxima function; see Theorem 3.1 and Coroary 3.1 beow. This competey and affirmativey answers Question 1 of Coifman and Weiss in the case when X is an RD-space and µ(x) =. Observe that whenp (0,n/(n+1)], the radia maxima function cannot characterize H p at (X) since its atoms have ony 0-order vanishing moment. Thus, the range p (n/(n+1), 1] in Theorem 3.1 and Coroary 3.1 is the best possibe. Obviousy, Theorem 3.1 and Coroary 3.1 generaize the resut of Uchiyama [34] to RD-spaces and, moreover, improve the corresponding resuts in [34] and [11] by widening the range of the index p to the best possibe. Let {S } Z be any approximation of the identity (see Definition 2.1 beow). The proof of Theorem 3.1 is based on the foowing two key observations: (i) Any inhomogeneous test function φ can be decomposed into a,φ S + b,φ ϕ, where ϕ is a homogeneous test function, a,φ and b,φ are constants satisfying certain uniform estimates in and φ; (ii) Any inhomogeneous distribution uniquey induces a homogeneous distribution, which enabes us to use the homogeneous Caderón reproducing formua instead of the inhomogeneous one as in [10]. This combined with (i) overcomes the difficuty caused by the average term appearing in the inhomogeneous Caderón reproducing formua. Then by some simpe cacuations, we contro the grand maxima function via the Hardy-Littewood maxima

4 4 D. Yang, Y. Zhou function of a certain power of the radia maxima function. This procedure further impies Theorem 3.1, which is much simper than and totay different from those used by Fefferman-Stein in [8], Uchiyama in [34] and Grafakos-Liu-Yang in [11]. Secondy, via a grand maxima function and a variant of the radia maxima function, we characterize the ocaized Hardy space H p,at (X) in the sense of Godberg with p (n/(n +1), 1] and Z; see Theorems 3.2 and 3.4 beow. We point out that the range of the index p (n/(n + 1),1] here is aso the best possibe by a reason simiar to the above and that constants appeared in Theorems 3.2 through 3.4 are uniform in Z. In fact, et H p (X) be the ocaized Hardy space defined by the ocaized grand maxima function. In Theorem 3.2 (i), for p (n/(n+1), 1], we characterize H p (X) via a variant of the ocaized radia maxima function, and for an eement in H p (X), in Theorem 3.2 (ii), we further estabish the equivaence between its H p (X)-norm and the Lp (X)-norm of its ocaized radia maxima function. The proof of Theorem 3.2 (i) is aso based on the key observation (i) used in the proof of Theorem 3.1 and an appication of the inhomogeneous Caderón reproducing formua. Due to the inhomogeneity of such Caderón reproducing formua, we ony obtain a variant of the ocaized radia maxima function characterization for the ocaized Hardy spaces; see the extra condition (3.1) in Theorem 3.2. But this is quite reasonabe as the same phenomena happens in [18] for the ocaized Littewood-Paey characterization of ocaized Hardy spaces. The proof of Theorem 3.2 (ii) requires another key observation, namey, the size of dyadic cubes {Q,ν },ν appearing in the average term of the inhomogeneous Caderón reproducing formua (see Theorem 5.2 beow) can be sufficienty sma, which aows us to obtain sufficienty sma decay factor determined by j in the estimate of J 1. This pays a key roe in the proof of Theorem 3.2 (ii). In Theorem 3.4, we estabish the equivaence between the ocaized Hardy space defined by the grand maxima function and the one by atoms. To prove this, we ink H p (X) and H p (X)inTheorem3.3byusingsomeideasfrom[12]and[18]andtheCaderónreproducing formua. Finay, appying Theorems 3.1 through 3.4 to a noncompact manifod satisfying the doubing property and supporting a scaed Poincaré inequaity, we obtain, in Proposition 4.1, an expicit range p (n/(n +α), 1] for Question 2, where α (0, 1] is the order of the reguarity of the heat kerne. This range is the best one which can be obtained by the current approach, but it is not cear if it is optima. However, this aready extends Theorem 8.2 of Auscher, McIntosh and Russ [3] and the resut stated by Russ in [26]. We aso appy Theorems 3.1 through 3.4 to theeucidean space R m endowed with the measure w(x)dx, where w A 2 (R m ) (the cass of Muckenhoupt weights), and to the boundary of an unbounded mode poynomia domain in C 2 introduced by Nage and Stein [24] (see aso [23]); see Propositions 4.2 and 4.3 beow. We point out that Theorems 3.1 through 3.4 are aso vaid for Lie groups of poynomia growth. On the other hand, in this setting, Saoff-Coste has aready obtained certain grand and radia maxima functions and atomic characterizations of Hardy spaces; see [27, 28, 29, 30] for more detais. The paper is organized as foows. We reca, in Section 2, some notation and definitions; state, in Section 3, the main resuts of this paper, Theorems 3.1 through 3.4; give, in Section 4, some appications; and finay, in Section 5, prove Theorems 3.1 through 3.4 by empoying Caderón reproducing formuae (see Theorems 5.1 and 5.2) estabished in

5 Hardy spaces 5 [18, 11]. We finay make some conventions. Throughout this paper, we aways use C to denote a positive constant which is independent of the main parameters invoved but whose vaue may differ from ine to ine. Constants with subscripts do not change throughout the whoe paper. Set a b min{a, b} for a, b R. 2 Preiminaries The foowing notion of approximations of the identity on RD-spaces were first introduced in [18]. In what foows, we set V r (x) µ(b(x, r)) and V(x, y) µ(b(x, d(x, y))) for x, y X and r (0, ). Definition 2.1 Let ǫ 1 (0, 1], ǫ 2 > 0 and ǫ 3 > 0. A sequence {S k } k Z of bounded inear integra operators on L 2 (X) is caed an approximation of the identity of order (ǫ 1, ǫ 2, ǫ 3 ) (for short, (ǫ 1, ǫ 2, ǫ 3 )-AOTI), if there exists a positive constant C 4 such that for a k Z and x, x, y, y X, S k (x,y), the integra kerne of S k, is a measurabe function from X X into C satisfying 1 2 (i) S k (x,y) C k 4 V 2 k(x)+v(x,y) [ 2 k +d(x,y) ]ǫ 2 ; (ii) S k (x,y) S k (x,y) C 4 [ d(x,x ) 2 k +d(x,y) ]ǫ 1 1 V 2 k(x)+v (x,y) [ [2 k +d(x, y)]/2; (iii) Property (ii) aso hods with x and y interchanged; (iv) [S k (x,y) S k (x,y )] [S k (x,y) S k (x,y )] C 4 [ 1 V 2 k(x)+v(x,y) [ 2 k 2 k 2 k +d(x,y) ]ǫ 2 for d(x,x ) d(x,x ) 2 k +d(x,y) ]ǫ 1 d(y,y [ ) 2 k +d(x,y) ]ǫ 1 2 k +d(x,y) ]ǫ 3 for d(x,x ) [2 k + d(x, y)]/3 and d(y,y ) [2 k + d(x, y)]/3; (v) X S k(x,z)dµ(z) = 1 = X S k(z,y)dµ(z) for a x, y X. Remark 2.1 (i) In [18], for any N > 0, it was proved that there exists a (1, N, N)-AOTI {S k } k Z with bounded support in the sense that S k (x,y) = 0 when d(x, y) > C2 k, where C is a fixed positive constant independent of k. In this case, {S k } k Z is caed a 1-AOTI with bounded support; see [18]. (ii) If a sequence { S t } t>0 of bounded inear integra operators on L 2 (X) satisfies (i) through (v) of Definition 2.1 with 2 k repaced by t, then we ca { S t } t>0 a continuous approximation of the identity of order (ǫ 1, ǫ 2, ǫ 3 ) (for short, continuous (ǫ 1, ǫ 2, ǫ 3 )-AOTI). For exampe, if {S k } k Z is an (ǫ 1, ǫ 2, ǫ 3 )-AOTI and if we set S t (x, y) S k (x, y) for t (2 k 1, 2 k ] with k Z, then { S t } t>0 is a continuous (ǫ 1, ǫ 2, ǫ 3 )-AOTI. (iii) If S k (resp. St ) satisfies (i), (ii), (iii) and (v) of Definition 2.1, then S k S k (resp. S t St ) satisfies the conditions (i) through (v) of Definition 2.1; see [18]. (iv) For any RD-space (X, d, µ), if we reax d to be a quasi-metric, then there exist constants θ (0, 1) and C > 0 and quasi-metric d which is equivaent to d such that d(x, y) d(z, y) C[ d(z,x)] θ [ d(x, y)+ d(z, y)] for a x, y, z X; see [20]. By this and an argument simiar to that used in [18], we know the existence of the approximation of the identity (θ, N, N)-AOTI with bounded support, where N > 0.

6 6 D. Yang, Y. Zhou The foowing spaces of test functions pay an important roe in the theory of function spaces on spaces of homogeneous type; see [17, 18]. Definition 2.2 Let x X, r > 0, β (0, 1] and γ > 0. A function f on X is said to beong to the space of test functions, G(x, r, β, γ), if there exists a nonnegative constant C such that ( γ 1 r (i) f(y) C V r(x)+v (x,y) r+d(x,y)) for a y X; ( ) (ii) f(z) f(y) C d(y,z) β ( γ 1 r r+d(x, y) V r(x)+v(x,y) r+d(x,y)) for a y, z X satisfying that d(y, z) [r +d(x, y)]/2. Moreover, for any f G(x, r, β, γ), we define its norm by f G(x,r,β,γ) inf{c : (i) and (ii) hod}. The space G(x, r, β, γ) is defined to be the set of a functions f G(x, r, β, γ) satisfying that X f(y)dµ(y) = 0. Moreover, we endow the space G(x, r, β, γ) with the same norm as the space G(x, r, β, γ). It is easy to see that G(x, r, β, γ) is a Banach space. Let ǫ (0, 1] and β, γ (0, ǫ]. For appications, we further define the space G0 ǫ (x, r, β, γ) to be the competion of the set G(x, r, ǫ, ǫ) in G(x, r, β, γ). For f G0 ǫ(x, r, β, γ), define f G0 ǫ(x,r,β,γ) f G(x,r,β,γ). Let (G0 ǫ(x, r, β, γ)) be the set of a continuous inear functionas on G0 ǫ (x, r, β, γ), and as usua, endow (G0 ǫ(x, r, β, γ)) with the weak topoogy. Throughout the whoe paper, we fix x 1 X and write G(β, γ) = G(x 1, 1, β, γ), and (G0 ǫ(β, γ)) (G0 ǫ(x 1, 1, β, γ)). Observe that for any x X and r > 0, G0 ǫ(x, r, β, γ) = Gǫ 0 (β, γ) with equivaent norms. Simiary, define the space G 0 ǫ(x, r, β, γ) to be the competion of the set G(x, r, ǫ, ǫ) in G(x, r, β, γ). For f G 0 ǫ(x, r, β, γ), define f Gǫ 0 (x,r,β,γ) f G(x,r,β,γ). Denote by ( G 0 ǫ(x, r, β, γ)) the set of a continuous inear functionas from G 0 ǫ (x, r, β, γ) to C, and endow ( G 0 ǫ(x, r, β, γ)) with the weak topoogy. Write G 0 ǫ(β, γ) G(x 1, 1, β, γ). For any x X and r > 0, we aso have G 0 ǫ(x, r, β, γ) = G 0 ǫ (β, γ) with equivaent norms. Now we reca the foowing maxima functions. Definition 2.3 (i) Let ǫ (0, 1], β, γ (0, ǫ) and Z. For any f (G ǫ 0 (β, γ)), the grand maxima function G (ǫ,β,γ) (f) is defined by setting, for a x X, G (ǫ,β,γ) (f)(x) sup { f, ϕ : ϕ G ǫ 0(β, γ), ϕ G(x,r,β,γ) 1 for some r > 0 }, and the ocaized grand maxima function G (ǫ,β,γ) (f) by setting, for a x X, { } G (ǫ,β,γ) (f)(x) sup f, ϕ : ϕ G0 ǫ (β, γ), ϕ G(x,r,β,γ) 1 for some r (0, 2 ]. (ii) Let ǫ 1 (0, 1],ǫ 2, ǫ 3 > 0, ǫ (0, ǫ 1 ǫ 2 ) and {S k } k Z be an (ǫ 1, ǫ 2, ǫ 3 )-AOTI. Let Z. For any β, γ (0, ǫ) and f (G ǫ 0 (β, γ)), the radia maxima function S + (f) is defined by setting, for a x X, S + (f)(x) sup S k (f)(x), k Z

7 Hardy spaces 7 and the ocaized radia maxima function S + (f) by setting, for a x X, S + (f)(x) sup S k (f)(x). k When there exists no ambiguity, we write G (ǫ,β,γ) (f) and G (ǫ,β,γ) (f) simpy by G(f) and G (f), respectivey. It is easy to see that for a x X, S + (f)(x) G(f)(x), S + (f)(x) G (f)(x) and for any k, G (f)(x) G k (f)(x) CG (f)(x), where C is a positive constant depending on k and, but not on f and x. Definition 2.4 Let p (n/(n+1), 1] and n(1/p 1) < β, γ < ǫ < 1. (i) The Hardy space H p (X) is defined by H p (X) { f (G ǫ 0(β, γ)) : f H p (X) G(f) L p (X) < }. (ii) Let Z. The ocaized Hardy space H p (X) is defined by } H p {f (X) (G0 ǫ (β, γ)) : f H p (X) G (f) L p (X) <. It was proved in [10] that if p (n/(n+1), 1], then the definition of H p (X) is independent of the choices of ǫ (n(1/p 1), 1) and β, γ (n(1/p 1), ǫ). This aso hods for H p (X) by a simiar argument. Here we omit the detais. Now we reca the notion of the atomic Hardy space of Coifman and Weiss [7]. Definition 2.5 Let p (0, 1], q [1, ] (p, ] and Z. (i) A measurabe function a is caed a (p, q)-atom associated to the ba B(x, r) if (A1) suppa B(x, r) for certain x X and r > 0, (A2) a L q (X) [µ(b(x, r))] 1/q 1/p, (A3) X a(x)dµ(x) = 0. (ii) Ameasurabefunctionaiscaeda(p, q) -atomassociated tothebab(x, r)ifr 2 and a satisfies (A1) and (A2), and when r < 2, a aso satisfies (A3). Definition 2.6 Let p (0, 1]. (i) The space Lip(1/p 1, X) is defined to be the coection of a functions f satisfying f Lip(1/p 1,X) sup [µ(b)] 1 1/p f(x) f(y) <, x,y X,B x,y where the supremum is taken over a x, y X and a bas containing x and y. (ii) Thespace Lip (1/p 1, X)isdefinedtobethecoection ofa functionsf satisfying f Lip (1/p 1,X) sup x,y X,B I (x,y) f(x) f(y) 1 + sup f(z) dµ(z) <, [µ(b)] 1/p 1 B,r B >2 µ(b) B where I (x, y) denotes a bas containing x and y with radius no more than 2, the second supremum is taken over a bas with radius more than 2.

8 8 D. Yang, Y. Zhou Definition 2.7 Let p (0, 1] and q [1, ] (p, ]. (i) The space H p,q (X) is defined to be the set of a f = j N λ ja j in (Lip(1/p 1, X)) when p < 1 and in L 1 (X) when p = 1, where {a j } j N are (p, q)-atoms and {λ j } j N C such that j N λ j p <. For any f H p,q (X), define f H p,q (X) inf{( j N λ j p ) 1/p }, where the infimum is taken over a the above decompositions of f. (ii) The space H p,q (X) is defined as in (i) with (p, q)-atoms repaced by (p, q) -atoms and (Lip(1/p 1, X)) repaced by (Lip (1/p 1, X)). Since H p,q (X) = H p, (X) and H p,q (X) = H p, (X) (see [7] and aso [35]), we aways write H p,q (X) and H p,q (X) as H p at (X) and Hp,at (X), respectivey. Moreover, the dua spaces of H p at (X) and Hp,at (X) are, respectivey, Lip(1/p 1, X) and Lip (1/p 1, X) when p < 1, and BMO(X) and BMO (X) when p = 1; see [7] and aso [35] for the detais. 3 Main resuts The first resut is on the characterization of the radia maxima function of the Hardy space H p (X). Theorem 3.1 Let ǫ 1 (0, 1],ǫ 2, ǫ 3 > 0, ǫ (0, ǫ 1 ǫ 2 ) and {S k } k Z be an (ǫ 1, ǫ 2, ǫ 3 )- AOTI. Let p (n/(n +ǫ), 1] and β, γ (n(1/p 1), ǫ). Then for any f (G ǫ 0 (β, γ)), f H p (X) if and ony if S + (f) L p (X) < ; moreover, for a f H p (X), f H p (X) S + (f) L p (X). The proof of Theorem 3.1 is given in Section 5. Moreover, by Theorem 4.16 in [10] and Theorem 3.1, we have the foowing resut. Coroary 3.1 Let ǫ 1 (0, 1],ǫ 2, ǫ 3 > 0, ǫ (0, ǫ 1 ǫ 2 ) and {S k } k Z be an (ǫ 1, ǫ 2, ǫ 3 )- AOTI. Let p (n/(n + ǫ), 1] and β, γ (n(1/p 1), ǫ). Then f H p (X) if and ony if f H p at (X) or if and ony if f (Gǫ 0 (β, γ)) and S + (f) L p (X); moreover, for a f H p at (X), S+ (f) L p (X) f H p (X) f H p at (X). Remark 3.1 (i) If {S k } k Z is repaced by a continuous (ǫ 1, ǫ 2, ǫ 3 )-AOTI as in Remark 2.1 (ii), then Theorem 3.1 and Coroary 3.1 sti hod for a p (n/(n+ǫ 1 ), 1]. (ii) If we reax d to be a quasi-metric, then Theorem 3.1 and Coroary 3.1 sti hod by repacing p (n/(n+1),1] with p (n/(n+θ), 1] for any (θ, 1, 1)-AOTI {S k } k Z, where θ (0, 1) is the same as in Remark 2.1 (iv). (iii) Coroary 3.1 tes us that for p (n/(n + 1), 1], H p at (X) is characterized by the radia maxima function in Definition 2.3 (ii), which competey answers Question 1 when µ(x) = asked by Coifman and Weiss. We aso remark that Theorem 3.1 and Coroary 3.1 improve the deep resut of Uchiyama [34] and that of [11] to the best range p (n/(n+1), 1]. (iv) Notice that atoms of H p at (X) have ony 0-order vanishingmoment forp (0, n/(n+ 1)]here. ItiseasytoseethatthePoissonkerneisjusta(1, 1, 1)-AOTIasinDefinition2.1, and the radia Poisson maxima function characterizes certain atomic Hardy spaces on R n,

9 Hardy spaces 9 which asks the vanishing moment of atoms no ess than 1-order, when p (0, n/(n+1)]; see, for exampe, [32, pp. 91, 107, 133]. This atomic Hardy space is essentiay different from H p at (X) considered here. So it is impossibe to use the Poisson maxima function to characterize H p at (X) whenp (0, n/(n+1)] here. Inthissense, therangep (n/(n+1), 1] is the best possibe for which H p at (X) can be characterized by the radia maxima function. Now we turn to the ocaized Hardy spaces. Theorem 3.2 Let ǫ 1 (0, 1],ǫ 2, ǫ 3 > 0, ǫ (0, ǫ 1 ǫ 2 ) and {S k } k Z be an (ǫ 1, ǫ 2, ǫ 3 )- AOTI. Let Z, p (n/(n+ǫ), 1] and β, γ (n(1/p 1), ǫ). (i) Then f H p (X) if and ony if f (Gǫ 0 (β, γ)), S + k+1 (f) Lp (X), and for any k Z and a > 0, S (a) k (f)(x) 1 S k (f)(y) dµ(y) L p (X), (3.1) V a2 k(x) B(x,a2 k ) where x X. Moreover, for any a > 0, there exists a positive constant C depending on a such that for a Z and f (G ǫ 0 (β, γ)), C 1 f H p (X) S+ +1 (f) L p (X) + S (a) (f) L p (X) C f H p (X). (ii) If f (G0 ǫ(β, γ)) and (3.1) hods for any k Z, then f H p (X) if and ony if S + (f) Lp (X); moreover, there exists a positive constant C, independent of k and, such that for a f H p (X), C 1 f H p (X) S + (f) L p (X) C f H p (X). The basic idea of the proof of Theorem 3.2 (i) is simiar to that used in the proof of Theorem 3.1. To prove Theorem 3.2 (ii), observe that (3.1) and S + k (f) Lp (X) impy that G (f) L p (X) by Theorem 3.2 (i). Based on the observation that the constants appearing in Caderón reproducing formuae are uniform in j, where j measures the size of dyadic cubes{q k,ν },ν appearingintheaveragetermoftheinhomogeneouscaderónreproducing formua (see Theorem 5.2 beow). Then we prove that for certain r (n/(n+ǫ 1 ), p), and a j arge enough and x X, G (f)(x) C2 jn(1/r 1) [HL([S + (f)]r )(x)] 1/r +C2 j(ǫ 1+n n/r) [HL([G (f)] r )(x)] 1/r, where C is a positive constant independent of j, f and x and HL denotes the Hardy- Littewood maxima function. Taking j such that C2 j(ǫ1+n n/r) 1/2, we then obtain Theorem 3.2 (ii). By first estabishing a connection between H p (X) and H p (X), we then obtain the equivaence between H p (X) and Hp,at (X) via Coroary 3.1. Theorem 3.3 Let ǫ 1 (0, 1],ǫ 2, ǫ 3 > 0, ǫ (0, ǫ 1 ǫ 2 ) and {S k } k Z be an (ǫ 1, ǫ 2, ǫ 3 )- AOTI. Let p (n/(n + ǫ), 1] and β, γ (n(1/p 1), ǫ). Then there exists a positive constant C such that for a Z and f (G ǫ 0 (β, γ)), f S (f) H p (X) C G (f) L p (X).

10 10 D. Yang, Y. Zhou Theorem 3.4 Let ǫ (0, 1], p (n/(n + ǫ), 1] and β, γ (n(1/p 1), ǫ). Then for each Z, f H p,at (X) if and ony if f (Gǫ 0 (β, γ)) and G (f) L p (X) < ; moreover, there exists a positive constant C, independent of, such that for a f H p at (X), C 1 f H p,at (X) G (f) L p (X) C f H p (X).,at Remark 3.2 (i) If p = 1, then Theorem 3.2 (i) gives the radia maxima function characterization of H p (X) since (3.1) is just S (f) L 1 (X). This resut when p = 1 was aso obtained in [36]. When p < 1, it is sti uncear if one can remove the extra assumption (3.1). But this is quite reasonabe since we use the inhomogeneous Caderón reproducing formua and the same phenomena happens in the Littewood-Paey characterization of the ocaized Hardy space estabished in [18]. We aso notice that when X is an RD-space and µ(x) <, Theorem 3.2 aso hods; moreover, in this setting, (3.1) hods automaticay. (ii) Combining Theorems 3.2 with 3.4, we characterize H p,at (X) with p (n/(n+1), 1] via the radia maxima function and the grand maxima function. By a reason simiar to that of Remark 3.1, the range p (n/(n +1), 1] is the best possibe for which H p,at (X) can be characterized by the radia maxima function. (iii) If we reax d to be a quasi-metric, then Theorems 3.2 through 3.4 sti hod by repacing p (n/(n + 1),1] with p (n/(n + θ), 1] for any (θ, 1, 1) AOTI {S k } k Z, where θ (0, 1) is the same as in Remark 2.1 (iv). (iv) Theorems 3.2 through 3.4 are aso true if we repace the discrete approximation of the identity by the continuous one as in Remark 2.1 (ii). 4 Appications to some differentia operators Beyond the Ahfors n-reguar metric measure space and Lie groups of poynomia growth, we ist severa other specific settings where Theorems 3.1 through 3.4 work. (I) Hardy spaces associated to a certain Lapace-Betrami operator Let M be a compete noncompact connected Riemannian manifod, d the geodesic distance, µ the Riemannian measure and the Riemannian gradient. Denote by the ength in the tangent space. One defines, the Lapace-Betrami operator, as the sef-adjoint positive operator on L 2 (M) by the forma integration by parts f, f = f 2 L 2 (M) for a f C 0 (M). Denote by T t(x, y) with t > 0 and x, y M the heat kerne of M, namey, the kerne of the heat semigroup {e t } t>0. One says T t satisfies the Li-Yau type estimates if there exist some positive constants C 5, C 5 and C such that } C 1 1 V exp { d(x,y)2 T t (x, y) C 1 } t (x) C 5 t V exp { d(x,y)2 (4.1) t (x) C 5 t for a x, y M and t > 0. It is we-known [19] that such estimates hod on manifods with non-negative Ricci curvature. Later it has been proved in [31] that the Li-Yau type estimates are equivaent to the conjunction of the doubing property (1.1) and the scaed Poincaré inequaity that for every ba B B(x, r) and every f with f, f L 2 oc (M), f(y) f B 2 dµ(y) Cr 2 f(y) 2 dµ(y), (4.2) B B

11 Hardy spaces 11 where f B denotes the average of f on B, namey, f B = 1 µ(b) B f(x)dµ(x). Assume that M satisfies the doubing property (1.1) and supports a scaed Poincaré inequaity (4.2). Then (M, d, µ) is a connected space of homogeneous type and hence, an RD-space. Observe that the Li-Yau type estimates do aready impy some reguarity estimates for the heat kerne: there exist positive constants C and α (0, 1) such that T t (x, y) T t (z, y) ( ) d(x, z) α C t V t (y) (4.3) for a x, y, z M and t > 0; see, for exampe, [31, 13]. See aso [2] for more discussions on the reguarity of the heat kernes and connections with the boundedness of Riesz transforms in this setting. Notice that e t 1 = 1; see [14]. From this, (4.1), (4.3), the semigroup property and Remark 2.1, it foows that {T t 2} t>0 is just a continuous (α, N, N)-AOTI for each N N and α (0, α) as in Definition 2.1. Define the semigroup maxima function and the ocaized one by T + (f)(x) sup t>0 e t (f)(x) and T + (f)(x) sup e t 1 (f)(x) + T 2 0<t<2 V 2 (x) 2 (f)(y) dµ(y) B(x,2 ) for a Z, suitabe distributions f and x X. Let n be the same as in (1.1). For p (n/(n+α), 1], the Hardy space H p (M) and the ocaized one H p, (M) with Z on M associated to the Lapace-Betrami operator are defined, respectivey, by and } H p {f (M) (G0(β, ǫ γ)) : f H p (M) = T + (f) L p (X) <, (4.4) } H p, {f (M) (G0(β, ǫ γ)) : f H p, (M) = T + (f) 2 L p (X) <, (4.5) where ǫ (n(1/p 1), α) and β, γ (n(1/p 1), ǫ). Appying Theorems 3.1, 3.2 and 3.4, we have the foowing resut. Proposition 4.1 Let p (n/(n+α), 1] and Z. (i) Then H p (M) = Hp at (M) with equivaent norms. (ii) Then H p, (M) = Hp,at (M) with equivaent norms uniformy in. Remark 4.1 (i) Proposition 4.1 aso impies that the definition of the (ocaized) Hardy spaces are independent of the choices of ǫ (n(1/p 1), α) and β, γ (n(1/p 1), ǫ). (ii) Proposition 4.1 improves the resut stated by Russ [26] and Theorem 8.2 of Auscher, McIntosh and Russ [3]. (iii) According to the approach here, the range p (n/(n+α), 1] is the best possibe to define H p (X) and Hp, (M), and to estabish their equivaences with the corresponding atomic Hardy spaces, respectivey.

12 12 D. Yang, Y. Zhou (II) Hardy spaces for the degenerate Lapace on R m Let m 3 and R m be the m-dimensiona Eucidean space endowed with the Eucidean norm and the Lebesgue measure dx. Reca that a nonnegative ocay integrabe function w is caed an A 2 (R m ) weight in the sense of Muckenhoupt if sup B { 1 w(x) dx B B }{ 1 B B } [w(x)] 1 dx <, where the supremum is taken over a the bas in R m. Observe that if we set w(e) E w(x)dx for any measurabe set E, then there exist positive constants C, n and κ such that for a x R m, λ > 1 and r > 0, C 1 λ κ w(b(x, r)) w(b(x, λr)) Cλ n w(b(x, r)), namey, the measure w(x)dx satisfies (1.1) and (1.2). Thus (R m,, w(x)dx) is an RD-space. Let w A 2 (R m ) and {a i,j } 1 i,j m be a rea symmetric matrix function satisfying that for a x, ξ R m, C 1 w(x) ξ 2 a i,j (x)ξ i ξ j Cw(x) ξ 2. 1 i, j m Then the (possiby) degenerate eiptic operator L 0 is defined by L 0 f(x) 1 w(x) 1 i, j m i (a i,j ( ) j f)(x), where x R m. Denote by {T t } t>0 {e tl 0 } t>0 the semigroup generated by L 0. We aso denote the kerne of T t by T t (x, y) for a x, y R m and t > 0. Then it is known that there exist positive constants C, C 6, C 6 and α (0, 1] such that for a t > 0 and x, y R m, } C 1 1 V exp { x y 2 t (x) C 6 t T t (x, y) C 1 V exp t (x) that for a t > 0 and x, y, y R m with y y < x y /4, T t (x, y) T t (x, y ) C 1 ( y y ) α V t (x) exp t { x y 2 C 6 t { x y 2 and, moreover, that for a t > 0 and x, y R n, R m T t (x, y)w(y)dy = 1; see, for exampe, Theorems 2.1, 2.3, 2.4 and 2.7, and Coroary 3.4 of [15]. This together with the symmetry of the heat kerne and Remark 2.1 impies that {T t } t>0 is a continuous (α, N, N)-AOTI for any N N. Thus, Theorems 3.1 through 3.4 in Section 3 aso work here for p (n/(n+α), 1]. Define the Hardy spaces H p L 0 (R m,w) and the ocaized one H p,l 0 (R m,w) with Z associated to the (possiby) degenerate Lapace as in (4.4) and (4.5) of (I). We then have the foowing concusions. C 6 t } ; } ;

13 Hardy spaces 13 Proposition 4.2 Let p (n/(n+α), 1] and Z. (i) Then H p L 0 (R m,w) = H p at (Rm,w) with equivaent norms. (ii) Then H p,l 0 (R m,w) = H p,at (Rm,w) with equivaent norms uniformy in. (III) Hardy spaces associated to a certain sub-lapace operator The foowing exampe deas with the differentia operators on the noncompact C - manifod M arising as the boundary of an unbounded mode poynomia domain in C 2 introduced by Nage and Stein [24] (see aso [23]). Let Ω {(z, w) C 2 : Im[w] > P(z)}, where P is a rea, subharmonic poynomia of degree m. Then M Ω can be identified with C R {(z, t) : z C, t R}. The basic (0,1) Levi vector fied is then Z = z i P z t, and rewrite as Z = X 1 +ix 2. The rea vector fieds {X 1, X 2 } and their commutators of orders m span the tangent space at each point of M. Thus M is of finite type m. We denote by d the contro distance in M generated by X 1 and X 2 ; see [25] for the definition of the contro distance. Let µ be the Lebesgue measure on M. Then, Nage and Stein showed that there exist positive constants Q 4 and C such that for a s 1, x X and r > 0, C 1 s 4 V(x, r) V(x, sr) Cs Q V(x, r), which impies that (M, d, µ) is an RD-space; see [23, 24]. Moreover, denote by Xj the forma adjoint of X j, namey, Xj ϕ, ψ = ϕ, X jψ for ϕ, ψ Cc (M), where ϕ, ψ = M ϕ(x)ψ(x)dx. In genera, X j = X j + a j, where a j C (M). The sub-lapacian L on M is formay given by L X1 X 1 + X2 X 2. Set the heat operator T t e tl for t > 0. Nage and Stein further estabished the non-gaussian upper bound estimate and reguarity of {T t } t>0 ; see [23, 22]. These properties further impy that {T t } t>0 forms a continuous (1, 1, 1)-AOTI as in Definition 2.1. Thus Theorems 3.1 through 3.4 in Section 3 aso work here. In particuar, we define the Hardy space H p L (M) and the ocaized one H p,l (M) with Z associated to the sub-lapace as in (4.4) and (4.5) of (I). We then have the foowing concusions. Proposition 4.3 Let p (n/(n+1), 1] and Z. (i) Then H p L (M) = Hp at (M) with equivaent norms. (ii) Then H p,l (M) = Hp,at (M) with equivaent norms uniformy in. 5 Proofs of main theorems We need the Caderón reproducing formua to prove Theorems 3.1 through 3.4. First we reca the dyadic cubes on spaces of homogeneous type constructed by Christ [4]. Lemma 5.1 Let X be a space of homogeneous type. Then there exists a coection {Q k α X : k Z, α I k } of open subsets, where I k is certain index set, and positive constants δ (0, 1), C 7 and C 8 such that (i) µ(x \ α Q k α ) = 0 for each fixed k and Qk α Qk β = if α β;

14 14 D. Yang, Y. Zhou (ii) for any α, β, k, with k, either Q β Qk α or Q β Qk α = ; (iii) for each (k, α) and < k, there exists a unique β such that Q k α Q β ; (iv) diam(q k α) C 7 δ k ; (v) each Q k α contains certain ba B(z k α, C 8 δ k ), where z k α X. In fact, we can think of Q k α as being a dyadic cube with diameter roughy δk and centered at zα k. In what foows, for simpicity, we may assume that δ = 1/2; see [18, p.25] as to how to remove this restriction. Fix j 0 N such that 2 j 0 C 7 < 1/3. For any given j j 0, and for any k Z and I k, we denote by Q k,ν, ν = 1, 2,, N(k, ), the set of a cubes Q k+j Q k. Denote by z k,ν the center of Q k,ν and et y k,ν be a point in Q k,ν. For any given Z { } and j j 0, we pick a point y k,ν in the cube Q k,ν for each integer k when Z or k Z when =, I k and ν = 1,, N(k, ), and denote by D(, j) the set of a these points; namey, D(, j) {y k,ν : k Z, I k, ν = 1,, N(k, )} and D(, j) {y k,ν : k =,, I k, ν = 1,, N(k, )}. The foowing Caderón reproducing formua was estabished in Theorem 4.1 of [18]. Theorem 5.1 Let ǫ 1 (0, 1],ǫ 2, ǫ 3 > 0, ǫ (0, ǫ 1 ǫ 2 ) and {S k } k Z be an (ǫ 1, ǫ 2, ǫ 3 )- AOTI. Set D k S k S k 1 for k Z. Then there exists j > j 0 such that for any choice of D(, j), there exists a sequence of operators { D k } k Z such that for a f ( G 0 ǫ (β, γ)) with β, γ (0, ǫ), and x X, f(x) = k= I k N(k, ) µ(q k,ν ) D k (x, y k,ν )D k (f)(y k,ν ), where the series converge in ( G ǫ 0 (β, γ)). Moreover, for any ǫ [ǫ, ǫ 1 ǫ 2 ), there exists a positive constant C depending on ǫ, but not on j and D(, j), such that { D k (x, y)} k Z, the kernes of { D k } k Z, satisfy (i) and (ii) of Definition 2.1 with ǫ 1 and ǫ 2 repaced by ǫ and the constant C 4 repaced by C, and X D k (x, y)dµ(x) = 0 = X D k (x, y)dµ(y). The foowing inhomogeneous Caderón reproducing formua was estabished in [18] and [11]. For a measurabe set E, we set m E (f) 1 µ(e) E f(y)dµ(y). Theorem 5.2 Let ǫ 1 (0, 1],ǫ 2, ǫ 3 > 0, ǫ (0, ǫ 1 ǫ 2 ) and {S k } k Z be an (ǫ 1, ǫ 2, ǫ 3 )- AOTI. Set D k S k S k 1 for k Z. Then there exist N N and j 1 > j 0 such that for a j > j 1, Z and D(+N +1, j), there exist operators { D k (x, y)} k= such that for any f (G0 ǫ(β, γ)) with β, γ (0, ǫ), and a x X, f(x) = N(,) I + +N k=+1 I k Q,ν N(k, ) D (x, y)dµ(y)m Q,ν(S (f)) Q k,ν D k (x, y)dµ(y)m Q k,ν(d k (f))

15 Hardy spaces 15 + k=+n+1 I k N(k, ) µ(q k,ν ) D k (x, y k,ν )D k (f)(y k,ν ), where the series converge in (G ǫ 0 (β, γ)). Moreover, for any ǫ [ǫ, ǫ 1 ǫ 2 ), there exists a positive constant C depending on N and ǫ, but not on, j and D(+N +1, j), such that Dk for k satisfies (i) and (ii) of Definition 2.1 with ǫ 1 and ǫ 2 repaced by ǫ and the constant C 4 repaced by C, and X D k (x, y)dµ(x) = X D k (x, y)dµ(y) = 1 when k +N; = 0 when k +N +1. Remark 5.1 (i) We remark that by checking the proofs of Theorem 4.1 and Theorem 4.3 in [18], it is easy to see that the constants C in Theorems 5.1 and 5.2 are independent of j. This observation pays a key roe in the proof of Theorem 3.2 (ii). (ii) For simpicity, in Theorem 5.2, we aways assume that N = 0 in what foows. The foowing technica emma is aso used; see [18] for its proof. Lemma 5.2 Let ǫ (0, 1], r (n/(n + ǫ),1] and j j 0. Then there exists a positive constant C independent of j such that for a k, k Z, a k,ν C, y k,ν Q k,ν with I k and ν = 1,, N(k, ) and x X, [ ] N(k, ) µ(q k,ν a k,ν ǫ 2 (k k) ) I k V 2 (k k)(x)+v(x, y k,ν ) 2 (k k) +d(x, y k,ν ) C2 jn(1/r 1) 2 [(k k) k]n(1 1/r) HL N(k, ) a k,ν r χ Q k,ν (x) Ik Now we prove Theorem 3.1 by using the homogeneous Caderón formua given in Theorem 5.1. Proof of Theorem 3.1 To prove Theorem 3.1, it suffices to prove that for any fixed β, γ (n(1/p 1), ǫ), there exist positive constants r (n/(n+β γ), p) and C such that for a f (G ǫ 0 (β, γ)) and x X, G(f)(x) C { HL([S + (f)] r )(x) } 1/r. (5.1) To this end, it suffices to prove that for any ϕ G ǫ 0 (β, γ) with ϕ G ǫ 0 (x,2,β,γ) 1, 1/r. f, ϕ C { HL([S + (f)] r )(x) } 1/r. (5.2) Assume that (5.2) hods for the moment. Then for any φ G0 ǫ (β, γ) with φ G ǫ 0 (x,2,β,γ) 1

16 16 D. Yang, Y. Zhou and σ X φ(y)dµ(y), we have σ X ( 1 V 2 (x)+v(x, y) 2 2 +d(x, y) ) γ dµ(y) 1. 1 Set ϕ(y) 1+ σ C 3 [φ(y) σs (x, y)]. Then X ϕ(y)dµ(y) = 0 and hence, ϕ G 0 ǫ (β, γ) with ϕ G ǫ 0 (x,2,β,γ) 1. Since f, φ σ S (f)(x) +(1+ σ C 3 ) f, ϕ, by (5.2) and taking the supremum over a Z and φ G ǫ 0 (β, γ) with φ G ǫ 0 (x,2,β,γ) 1, we further obtain that for a x X, G(f)(x) σ S + (f)(x)+c(1+σc 3 ) { HL([S + (f)] r )(x) } 1/r, which yieds (5.1). To prove (5.2), for each Q k,ν, we pick a point y k,ν Q k,ν which further impies that D k (f)(y k,ν ) 2 inf D k (f)(y k,ν ) 2 inf D k (f)(z), z Q k,ν z Q k,ν such that ( S k (f)(z) + S k 1 (f)(z) ) 4 inf S + (f)(z). z Q k,ν Denote by D(, j) the coection of a such points y k,ν. Observe that G 0 ǫ (β, γ) is a subspace of G0 ǫ(β, γ) and for any ϕ G 0 ǫ(β, γ), ϕ G 0 ǫ(β,γ) = ϕ G0 ǫ(β,γ). So for any f (G0 ǫ(β, γ)), we know that f uniquey induces a bounded inear functiona g on G 0 ǫ(β, γ), namey, g ( G 0 ǫ(β, γ)) ; moreover, g ( Gǫ 0 (β,γ)) f (G ǫ 0 (β,γ)). By ϕ G 0 ǫ (β, γ), D k (y, ) G 0 ǫ (β, γ) for a y X and Theorem 5.1, we have f, ϕ g, ϕ = = k= I k k= I k where and in what foows, for a y X, D k (ϕ)(y) = N(k, ) N(k, ) X µ(q k,ν ) D k (ϕ)(yk,ν )D k (g)(y k,ν ) µ(q k,ν ) D k (ϕ)(yk,ν )D k (f)(y k,ν ), D k (z, y)ϕ(z)dµ(z). We reca that there exist positive constants β (n(1/p 1), β) and C such that for a y X, ( ) γ D k 1 2 ( k) (ϕ)(y) C2 k β V 2 ( k)(x)+v(x, y) 2 ( k) ; (5.3) +d(x, y)

17 Hardy spaces 17 see the proof of Proposition 5.7 of [18] for the detais. Reca that k min{, k}. We point out that, to obtain the decay factor 2 k β in (5.3), we need to use the fact that X ϕ(z)dµ(z) = 0 and X D k (z, y)dµ(z) = 0 for a y X. Then by Lemma 5.2 with r (n/(n+β γ), p), we have f, ϕ k= 2 N(k,) k β I k µ(q k,ν ) inf z Q k,ν S + (f)(z) ( 1 2 ( k) V 2 ( k)(x)+v(x, y k,ν ) 2 ( k) +d(x, y k,ν ) 2 k β 2 [( k) k]n(1 1/r) k= HL N(k, ) inf Ik ( 2 ( k)β + k= z Q k,ν k=+1 { HL ( [S + (f)] r) (x) } 1/r, S + (f)(z) r χ Q k,ν 2 (k )[β n(1/r 1)] which gives (5.2). This finishes the proof of Theorem 3.1. ) γ 1/r (x) ) {HL ( [S + (f)] r) (x) } 1/r To prove Theorem 3.2, we first introduce a variant of the ocaized radia maxima function. Definition 5.1 Let ǫ 1 (0, 1],ǫ 2, ǫ 3 > 0, ǫ (0, ǫ 1 ǫ 2 ) and {S k } k Z be an (ǫ 1, ǫ 2, ǫ 3 )- AOTI. Let p (n/(n+ǫ), 1] and β, γ (n(1/p 1), ǫ). For j j 0 and f (G0 ǫ(β, γ)), define (f) S + (f)+ S +,j I N(, ) [m Q,ν ( S (f) )] p χ Q,ν where {Q,ν } N(,) is the coection of a dyadic cubes Q +j contained in Q. Proof of Theorem 3.2 To prove (i), we first caim that for p (n/(n+ǫ),1], a Z and f (G 0 ǫ(β, γ)), S (a) (f) p L p (X) I N(, ) [m Q,ν where the constants depend on j, p and a, but not on and f. 1/p ( S (f) )] p µ(q,ν ), (5.4),

18 18 D. Yang, Y. Zhou To see this, we observe that for each given j 0, there exists a positive constant C(j) depending on j such that for a Z and I, N(, ) C(j). In fact, by Lemma 5.1, (1.1) and (1.2), we have N(,) µ(q ) = N(, ) µ(q,ν ) N(, ) V C8 2 j(z,ν ) which impies our caim. Then it is easy to see that for a j 0, I N(, ) [m Q,ν V 2C7 2 (z,ν ) N(, )µ(q ), ( S (f) )] p µ(q,ν ) I [m Q ( S (f) )] p µ(q ), (5.5) where the equivaent constants are independent of f and. For any given a > 0, et j be arge enough such that a > C 7 2 j diam(q,ν ). Since for any x Q,ν, m Q,ν ( S (f) ) V a2 (x) µ(q,ν ) S(a) (f)(x) Va2 +1(z,ν ) V C8 2 (z,ν ) S(a) (f)(x) S (a) (f)(x), we know that the eft hand side of (5.4) contros its right hand side for this j and thus for a j 0 by (5.5). For a 0 and each Q, by (1.2) and a simiar argument, we have { } p Q [S (a) (f)(x)] p dµ(x) [µ(q )]1 p Q B(x,(a+C 7)2 ) S (f)(y)dµ(y) B(x,(a+C 7)2 ) [m Q ( S (f) )] p µ(q ). Simiary to above, using Lemma 5.5, (1.1) and (1.2), we have that { : Q B(x, (a+ C 5 )2 ) } is bounded uniformy in and, from which it foows that the right hand side of (5.4) contros its eft hand side for j = 0 and thus for a j by (5.5). Here, E denotes the cardinaity of the set E. By Lemma 5.1 and the Höder inequaity, we have S (f) p L p (X) = N(,) I which together with (5.4) eads to m Q,ν( S (f) p )µ(q,ν ) I N(, ) S +,j (f) L p (X) S + +1 (f) L p (X) + S (a) (f) L p (X) [m Q,ν( S (f) )] p µ(q,ν ), with constants independent of and f. Then the proof of Theorem 3.2 (i) is reduced to showing that C 1 S +,j (f) L p (X) G (f) L p (X) C2 jn(1/p 1) S +,j (f) L p (X), (5.6)

19 Hardy spaces 19 where C is a positive constant independent of j, and f. Observe that for a x, y Q k,ν and k, S (f)(x) G (f)(y), which impies the first inequaity in (5.6). To prove the second inequaity in (5.6), it suffices to prove that for any fixed β, γ (n(1/p 1), ǫ), there exist positive constants r (n/(n+β γ), p) and C such that for a j j 0, Z, f (G0 ǫ(β, γ)) and x X, G (f)(x) C2 jn(1/p 1){ HL([S +,j (f)] r )(x)} 1/r. (5.7) To prove (5.7), we ony need to prove that for a k and ϕ G 0 ǫ (β, γ) with ϕ G ǫ 0 (x,2 k,β,γ) 1, f, ϕ C2 jn(1/p 1){ HL([S +,j (f)] r )(x)} 1/r. (5.8) In fact, assume that φ G0 ǫ(β, γ) with φ G0 ǫ(x,2 k,β,γ) 1 for certain k. Set σ X φ(y)dµ(y) and ϕ(y) = 1 1+ σ C 3 [φ(y) σs k (x, y)]. Then we have X ϕ(y)dµ(y) = 0 and hence, ϕ G 0 ǫ(β, γ) with ϕ G0 ǫ(x,2 k,β,γ) 1. Moreover, we have f, φ σ S k (f)(x) +(1+ σ C 3 ) f, ϕ. By taking the supremum over a k and φ G ǫ 0 (β, γ) with φ G ǫ 0 (x,2 k,β,γ) 1 together with (5.8), we have G (f)(x) σs +,j (f)(x)+c(1+σc 3 )2 jn(1/p 1){ HL([S +,j (f)] r )(x)} 1/r, which combined with the uniform boundedness of σ yieds (5.7). To prove (5.8), for each Q k,ν with k +1, we choose a point y k,ν D k (f)(y k,ν ) 2 inf z Q k,ν D k (f)(z) 4 inf S +,j z Q k,ν (f)(z) Q k,ν such that and denote by D(+1, j) the coection of a such points y k,ν. Then by Theorem 5.2, we write f, ϕ = N(,) I + k=+1 I k Q k,ν N(k, ) D (ϕ)(z)dµ(z)m Q, ν (S (f)) µ(q k,ν ) D k (ϕ)(yk,ν )D k (f)(y k,ν ). Simiary to the proof of (5.3), there exist positive constants β (n(1/p 1), β) and C, independent of j, and D(+1, j), such that for a k Z and y X, ( ) γ D k (ϕ)(y) β 1 2 (k k) C2 k k V 2 (k k)(x)+v(x, y) 2 (k k). +d(x, y)

20 20 D. Yang, Y. Zhou Then by Lemma 5.2 with r (n/(n+β γ), p), we have f, ϕ k= 2 N(k,) k k β I k µ(q k,ν ) inf z Q k,ν S +,j (f)(z) ( 1 2 (k k) V 2 (k k)(x)+v(x, y k,ν ) 2 (k k) +d(x, y k,ν ) 2 k k β 2 [(k k) k]n(1 1/r) 2 jn(1/r 1) k= HL Ik 2 jn(1/r 1){ HL N(k, ) inf S +,j z Q k,ν (f)(z) ( [S +,j (f)] r) (x)} 1/r. r χ Q k,ν ) γ (x) Thus (5.8) hods, which gives (i). To prove (ii), by the fact that S + (f)(y) G (f)(y) for a y X, we ony need to prove that for any β, γ (n(1/p 1), ǫ), there exist r (n/(n+ǫ), p) and a positive constant C such that for a Z, j > j 0 and f (G ǫ 0 (β, γ)), G (f) C2 jn(1/r 1){ HL([S + (f)]r ) } 1/r +C2 j(ǫ 1 +n n/r) {HL([G (f)] r )} 1/r. (5.9) Assume that (5.9) hods for the moment. Then, by the L p/r (X)-boundedness of HL, we have G (f) L p (X) C2 jn(1/r 1) S + (f) L p (X) +C2 j(ǫ 1+n n/r) G (f) L p (X). Noticethatfromtheassumption(3.1) andtheorem3.2(i), wededucethat G (f) L p (X) <. Thus, choosing j arge enough such that C2 j(ǫ 1+n n/r) 1/2, we obtain To prove (5.9), for each Q k,ν and for k +1, G (f) L p (X) C2 jn(1/r 1) S + (f) L p (X). with k, we pick a point y k,ν S (f)(y,ν ) 2 inf S + z Q,ν (f)(z) D k (f)(y k,ν ) 2 inf z Q k,ν Q k,ν D k (f)(z) 4 inf S + z Q k,ν (f)(z). 1/r such that DenotebyD(, j)thecoection ofasuchpointsy k,ν. Foranyk andanyϕ G 0 ǫ (β, γ) with ϕ G 0 ǫ(x,2 k,β,γ) 1, by Theorem 5.2, we have f, ϕ = N(,) I Q,ν D (ϕ)(y)dµ(y)[m Q,ν (S (f)) S (f)(y,ν )]

21 Hardy spaces 21 + N(,) I + k=+1 I k Q,ν N(k, ) D (ϕ)(y)dµ(y)s (f)(y,ν ) Simiary to the proofs of (5.8) and (5.2), we have µ(q k,ν ) D k (ϕ)(yk,ν )D k (f)(y k,ν ) J 1 +J 2 +J 3. J 2 + J 3 2 jn(1/r 1){ HL ( [S + (f)]r) (x) } 1/r. To estimate J 1, observe that there exists a positive constant C, independent of j and, such that for a y, z, y,ν Q,ν, which impies that S (y, ) S (y,ν, ) G ǫ 0 (z,2,β,γ) 2 jǫ 1, m Q,ν(S (f)) S (f)(y,ν ) 2 jǫ 1 inf G (f)(z). z Q,ν Therefore, by Lemma 5.2 and the fact that 2 + d(x, y) 2 + d(x, yν, ) for a y Q,ν, we have J 1 2 jǫ 1 I N(, ) 1 µ(q,ν ) inf V 2 (x)+v(x, y, ν ) 2 j(ǫ 1+n n/r) HL I N(, ) [ z Q,ν ( inf z Q,ν G (f)(z) 2 2 +d(x, y, ν ) 2 j(ǫ 1+n n/r) {HL([G (f)] r )(x)} 1/r. ) γ G (f)(z)] r χ Q,ν This gives (5.9) and hence, finishes the proof of Theorem 3.2. Now we give the proof of Theorem 3.3. (x) Proof of Theorem 3.3 Assume that G (f) L p (X) < and {S k } k Z is an (ǫ 1, ǫ 2, ǫ 3 )- AOTI. By Theorem 3.1, it suffices to prove that S + (f S (f)) L p (X) G (f) L p (X) with a constant independent of f and. Write S + (f S (f)) L p (X) S + (f) L p (X) + sup S k S (f) k +1 L p (X) 1/r

22 22 D. Yang, Y. Zhou + sup S k (f S (f)) k L p (X) I 1 +I 2 +I 3. Obviousy, I 1 G (f) L p (X). Write S k S (y, z) for the kerne of S k S. Let ǫ (0, ǫ 1 ǫ 2 ) and β,γ (n(1/p 1), ǫ). Then for any x X and k + 1, by [18, Lemma 3.8], we have that S k S (x, ) G0 ǫ (β, γ) and S k S (x, ) G(x, 2 1,ǫ,ǫ) 1 with a constant independent of, k and f. From this, it foows that I 2 G (f) L p (X). To estimate I 3, using Theorem 5.2, for k, we have S k (I S )f(x) = N(,) I + Q,ν k =+1 I k [S k (I S ) D ](x, u)dµ(u)m Q,ν(S (f)) N(k,) µ(q k,ν )[S k (I S ) D k ](x, y k,ν )D k (f)(y k,ν ). For any y,ν Q,ν, since S (f)(z) G (f)(y,ν ) for any z Q,ν, we further obtain m Q,ν(S (f)) G (f)(y,ν ). Moreover, for any k k and y k,ν Q k,ν, by an argument simiar to that used in Case 1 of the proof of [17, Proposition 5.11], we have ( ) ǫ [S k (I S ) D k ](x, y k,ν ) 2 (k k)ǫ 1 2 k. V 2 k(x)+v(x, y k,ν ) 2 k +d(x, y k,ν ) We omit the detais here. Thus, for any r (n/(n+ǫ),p), we have S k (I S )f(x) k = I k ( k = N(k,) 2 k 2 k +d(x, y k,ν µ(q k,ν )2 (k k)ǫ 1 ) 2 (k k)(ǫ+n n/r) ) ǫ inf z Q k,ν HL I k V 2 k(x)+v(x, y k,ν G (f)(z) N(k,) ) [G (f)] r χ Q k,ν (x) 2 (k )(ǫ+n n/r) {HL([G (f)] r )(x)} 1/r {HL([G (f)] r )(x)} 1/r. k = 1/r

23 Hardy spaces 23 This impies that I 3 {HL([G (f)] r )} 1/r L p (X) G (f) L p (X), which competes the proof of Theorem 3.3. Now we turn to the proof of Theorem 3.4. Proof of Theorem 3.4 Let Z. Then it is quite standard (see, for exampe, the proof of [17, Theorem 2.21]) to prove that for any f H p, (X), G (f) L p (X) f H p, (X) with a constant independent of and f. Observe that if f (Lip (1/p 1,X)), then f (G0 ǫ(β, γ)) for ǫ (n(1/p 1),1] and β,γ (n(1/p 1), ǫ). Then by Coroary 3.1, we have H p, (X) H p (X). We omit the detais. On the other hand, if f (G0 ǫ(β, γ)) and G (f) L p (X) <, then by Theorem 3.3, we have f S f H p, (X) and Write where λ,ν f S f H p, (X) S + (f S ) L p (X) G (f) L p (X). S (f) = N(,ν) I S (f)χ Q,ν = N(,ν) I [µ(q,ν )] 1/p S (f) L (Q,ν and a,ν ) (λ,ν λ,ν a,ν, that {a,ν } I,,,N(,ν) are (p, ) -atoms. Since for any z Q,ν we have ( which impies that I N(, ν) ( λ,ν S (f) L (Q,ν ) G (f)(z), λ,ν ) p I ) p N(, ν) Q,ν Q,ν G (f)(z) p dµ(z), ) 1 S (f)χ Q,ν. It is easy to see, G (f)(z) p dµ(z) G (f) p L p (X). Thus S + f Hp (X) and S+ f G (f) L p (X), which impies that f H p, (X) and f H p, (X) G (f) L p (X). This finishes the proof of Theorem 3.4. Acknowedgements Dachun Yang woud ike to thank Professor Pasca Auscher for some usefu discussions on the subject of this paper. Part of this paper was written during the stay of Yuan Zhou in University of Jyväskyä and he woud ike to thank Professor Pekka Koskea and Professor Xiao Zhong for their support and hospitaity. Both authors woud aso ike to thank the referee for his/her many vauabe remarks which improve the presentation of the paper.

24 24 D. Yang, Y. Zhou References 1. Aexopouos, G.: Spectra mutipiers on Lie groups of poynomia growth. Proc. Amer. Math. Soc. 120, (1994) 2. Auscher, P., Couhon, T., Duong, X.T., Hofmann, S.: Riesz transform on manifods and heat kerne reguarity. Ann. Sci. Écoe Norm. Sup. (4) 37, (2004) 3. Auscher, P., McIntosh, A., Russ, E.: Hardy spaces of differentia forms on Riemannian manifods. J. Geom. Ana. 18, (2008) 4. Christ, M.: A T(b) theorem with remarks on anaytic capacity and the Cauchy integra. Cooq. Math. 60/61, (1990) 5. Coifman, R.R., Lions, P.-L., Meyer, Y., Semmes, S.: Compensated compactness and Hardy spaces. J. Math. Pures App. (9) 72, (1993) 6. Coifman, R.R., Weiss, G.: Anayse Harmonique Non-commutative sur Certain Espaces Homogènes. Lecture Notes in Math. 242, Springer, Berin (1971) 7. Coifman, R.R., Weiss, G.: Extensions of Hardy spaces and their use in anaysis. Bu. Amer. Math. Soc. 83, (1977) 8. Fefferman, C., Stein, E.M.: H p spaces of severa variabes. Acta Math. 129, (1972) 9. Grafakos, L.: Modern Fourier Anaysis. Second Edition, Graduate Texts in Math., No. 250, Springer, New York (2008) 10. Grafakos, L., Liu, L., Yang, D.: Maxima function characterizations of Hardy spaces on RD-spaces and their appications. Sci. China Ser. A 51, (2008) 11. Grafakos, L., Liu, L., Yang, D.: Radia maxima function characterizations for Hardy spaces on RD-spaces. Bu. Soc. Math. France 137, (2009) 12. Godberg, D.: A oca version of rea Hardy spaces. Duke Math. J. 46, (1979) 13. Grigor yan, A.A.: Stochasticay compete manifods. Dok. Akad. Nauk SSSR 290, (1986) (in Russian); Engish transation in Soviet Math. Dok. 34, (1987) 14. Grigor yan, A.A.: The heat equation on noncompact Riemannian manifods. Mat. Sb. 182, (1991) (in Russian); Engish transation in Math. USSR-Sb. 72, (1992) 15. Hebisch, W., Saoff-Coste, L.: On the reation between eiptic and paraboic Harnack inequaities. Ann. Inst. Fourier (Grenobe) 51, (2001) 16. Heinonen, J.: Lectures on Anaysis on Metric Spaces. Universitext, Springer-Verag, New York (2001) 17. Han, Y., Müer, D., Yang, D.: Littewood-Paey characterizations for Hardy spaces on spaces of homogeneous type. Math. Nachr. 279, (2006) 18. Han, Y., Müer, D., Yang, D.: A theory of Besov and Triebe-Lizorkin spaces on metric measure spaces modeed on Carnot-Carathéodory spaces. Abstr. App. Ana. Art. ID , 250 pp. (2008) 19. Li, P., Yau, S.-T.: On the paraboic kerne of the Schrödinger operator. Acta Math. 156, (1986) 20. Macías, R.A., Segovia, C.: Lipschitz functions on spaces of homogeneous type. Adv. in Math. 33, (1979)