arxiv: v2 [math.ca] 29 Dec 2017

Transcription

1 Vector-valued operators, optimal weighted estimates and the C p condition María Eugenia Ceas a,b, Kangwei Li a,,4, Carlos Pérez c,d,a,,, Israel Pablo Rivera-Ríos c,a,,,3 a BCAM - Basue Center for Applied Mathematics, Bilbao, Spain b CONICET, Facultad de Ciencias Exactas, Departamento de Matematica, UNLP c Department of Mathematics, University of the Basue Country, Bilbao, Spain d Ikerbasue, Basue Foundation of Science, Bilbao, Spain arxiv:7.0578v [math.ca] 9 Dec 07 Abstract Sharp weighted estimates and local exponential decay estimates are obtained for vector-valued extensions of the Hardy-Littlewood maximal operator, Calderón-Zygmund operators, rough singular integrals and commutators. Those estimates will rely upon suitable pointwise estimates in terms of sparse operators. We also prove some new results for the C p classes introduced by Muckenhoupt [66] and later extended by Sawyer [83], in particular we extend the result to the full expected range p > 0, to the weak norm, to other operators and to the their vector-valued extensions. Summary Introduction and main results Preliminaries 6 3 Proofs of the results for the vector-valued Hardy-Littlewood maximal operators. 4 Sparse domination for vector-valued Calderón-Zygmund operators and vectorvalued commutators 3 5 Sparse domination for rough singular integrals and commutators with rough singular integrals 8 6 Strong type estimate for commutators via conugation method 30 7 Proofs of C p condition estimates 3 8 Proof of local decay estimates 40 A Unweighted uantitative estimates 44 addresses: mec.eugenia@gmail.com María Eugenia Ceas), kli@bcamath.org Kangwei Li), carlos.perezmo@ehu.es Carlos Pérez), petnapet@gmail.com Israel Pablo Rivera-Ríos) Supported by the Basue Government through the BERC program and by Spanish Ministry of Economy and Competitiveness MINECO: BCAM Severo Ochoa excellence accreditation SEV Supported by the Spanish Ministry of Economy and Competitiveness MINECO through the proect MTM P. 3 Supported by Spanish Ministry of Economy and Competitiveness MINECO through the proect MTM Supported by Juan de la Cierva - Formación 05 FJCI

2 . Introduction and main results We recall that a weight w, that is, a non-negative locally integrable function, belongs to the Muckenhoupt A p class for < p < if ) p [w] Ap = sup w w p ) <, Q Q Q Q where the supremum is taken over all cubes in R n with sides parallel to the axes. And in the case p = we say that w A if Mw κw a.e. and we define [w] A = inf{κ > 0 : Mw κw a.e.}. The uantity [w] Ap is called the A p constant or characteristic of the weight w. In the last years the sharp dependence on the A p constant of weighted ineualities for several operators in Harmonic Analysis has been thoroughly studied by many authors. We could set the begining of the history of uantitative weighted estimates in the pioneering work of S.M. Buckley [8] in which he proved that the following estimate holds Q M L p w) L p p w) c n,p [w] A p,.) where M stands for the Hardy-Littlewood maximal function, < p < and w A p. He also proved that the exponent of the A p constant cannot be replaced by a smaller one. Almost ten years later, the so-called A conecture for the Ahlfors-Beurling transform was raised in [4] and solved not much later by S. Petermichl and A. Volberg in [78]. The solution of this problem motivated the study of the sharp dependence on the A p constant of operators such as the Hilbert transform [76] or the Riesz transforms [77]. Then to prove the linear dependence on the A constant for general Calderón-Zygmund operators became an important problem in the area that was finally solved by T. Hytönen [40]. The best result until then for the case of sufficiently smooth operators Calderón-Zygmund operators was obtained in [7] using a method that was sufficiently flexible to treat other operators as can be found in [8]. This result was improved in [46] for the case p = as well as.) for any p, by means of what are now called mixed A p A estimates as the one ones we obtain in this paper. The mixed A p A estimate for Calderón-Zygmund operators and general p was obtained in [43, 44]. Also new proofs and improvements of the mixed A p A versions of.) were obtained in [48] and [7]. In the attempt to simplify the proof of the A conecture, as well as trying to solve other problems, a new technology based on the domination of Calderón-Zygmund operators by positive obects was developed. One paradigmatic result in that direction is the norms domination of Calderón-Zygmund operators by sparse operators due to A. Lerner [56] that reads as follows. Given a maximal Calderón-Zygmund operator T and a Banach function space X where A S fx) = Q S T f X sup A S f X, S fy) dyχ Q x) =: Q χ Q x) Q Q Q S f and each S is a sparse family contained in any general dyadic grid see Section. for the precise definition of sparse family). Quite recently the former norm control was improved to a pointwise control see [59, 4, 53, 49, 57] and also [0, 6] for other interesting advances) which in its fully uantitative version see [49, 57]) reads as follows 3n Tfx) c n C T A Sk f x), k=

3 where C T = C K + T L L + ω Dini see Section. for the precise definition of T and these constants). The development of such a pointwise control has reuired the development of several new approaches. Among them we would like stress [57, 59, 63] since the techniues contained in them will be crucial in the present work... Estimates for vector-valued Hardy-Littlewood maximal operators Given 0 < < we define the vector-valued Hardy-Littlewood maximal operator M as M fx) = Mf x) = This operator was introduced by Fefferman and Stein in [3] as a generalization of both the scalar maximal function M and the classical integral of Marcinkiewicz. Since then, it has played an important role in Harmonic Analysis. It is well known that this operator is of strong type p,p) and of weak type,):. M f L p R n ) c n,p, f L p R n ) < p, < and M f) L, R n ) c n, R n fx) dx, ) where f = = f see [3]). They are bounded on L p w) if and only if w A p [3, 5]. It is also known the sharp dependence on the A p constant [8] and that they satisfy a Fefferman-Stein type ineuality [7, Theorem.]). Now we turn to our contribution in this work. In [59] A. Lerner and F. Nazarov developed a new version of Lerner s formula [54]) that allows to obtain a pointwise control of any function satisfying minimum assumptions in terms of its oscillations see Section. for more details). Using Lerner-Nazarov formula we will obtain a sparse control for vector-valued Hardy-Littlewood maximal operators, that somehow appears implicitly in [8], that reads as follows. Theorem. Let < < and f = {f } =, such that for each ε > 0 { x [ R,R] n : M fx) > ε } = or n ) as R. Then there exists 3 n dyadic lattices D k and 3 n 6 -sparse families S k D k depending on f such that 3n M fx) c n, A S k f x), where k= A S k f x) = Q Sk f Q χ Qx). Using the pointwise control, as a conseuence of Theorems 6 and 7 cf. Section.3 for the statements and the notation) we have the following mixed estimates 3

4 Theorem. Let < p, < and let w and σ be a pair of weights. Then ) M σf) L p p p) w) [w,σ] A p [w] + p +[σ] A f L p σ). If we also have that p, then A M σf) L p, p w) [w,σ] A p [w] ) p + A f L p σ). This result reflects the interesting fact that M behaves like a Calderón-Zygmund operator as while it behaves like the scalar) Hardy-Littlewood maximal function as. This observation is also reflected in some of the main results in [7]. We observe that the strong-type estimate is an improvement of [8, Theorem.] since we obtain here mixed A p A constants. Also as far as we are concerned, no dependence on the A p constant of the weak type estimate of M appears to have been considered before. We would like to point out that the case p = was established in [7], namely for every weight w the following estimate holds M f) L, w) c n, f L Mw) and conseuently, if w A the dependence on the A constant is linear. We do not know whether such a precise estimate follows from the sparse control for M provided in Theorem above. Remark. During the final stage of the elaboration of this work we have learned that some of the results we provide for the Hardy-Littlewood maximal function have been independently obtained and extended in [36]... Estimates for vector-valued Calderón-Zygmund operators Let 0 < <, T be an ω- Calderón-Zygmund operator see Section. for the precise definition) and f = {f } =. We define the vector-valued ω- Calderón-Zygmund operator T as T fx) = Tf x). = L p -boundedness for these operators is obtained, for example, in [5]. In that paper the authors point out the fact that their result yields a new proof of a particular case of the corresponding result in [5] in that work operators are defined over Banach space valued functions). Weighted estimates for the kind of vector-valued Calderón-Zygmund operators that we consider in the current paper were obtained in [9] and [75]. In [57] A. Lerner devised a method to control pointwise Calderón-Zygmund operators by sparse operators that can be extended to other operators provided that their grand maximal operator is of weak type,) see Section 4. for the details). Following ideas from [57] we are going to establish a pointwise domination for T which is a natural analogous to the scalar case. Theorem 3. Let T be an ω- Calderón-Zygmund operator with ω satisfying the Dini condition and < <. If f = {f } and f L R n ) is a compactly supported function, then there exist 3 n dyadic lattices D k and 3 n -sparse families S k D k. such that T fx) 3 n c n C T A Sk f x), 4 k=

5 where A S fx) = Q S f Q χ Q x) and C T = C K + ω Dini + T L L. With that pointwise domination at our disposal we can derive several corollaries. Relying upon results in [45] see Theorems 6 and 7 in Section.3) we can obtain the following weighted estimates. Theorem 4. Let < p, <, w and σ be a pair of weights, and T be an ω-calderón-zygmund operator with ω satisfying the Dini condition. Then and also T σf) L p p w) c n,p, C T [w,σ] T σf) L p, p w) c n,p, C T [w,σ] p p A p [w] A +[σ] A ) f L p σ) p A p [w] A f L p σ). We observe that the sharp A constant had been obtained before in [35] in a more general setting and that J. Scurry [84] established the sharp A p dependence for the strong type estimate for Calderón-Zygmund operators satisfying a Hölder-Lipschitz condition. Our result deals with Dini kernels and as far as we are concerned the mixed A p A has not appeared before. The uantitative weak type estimate is also new. Using the main result in [4] for sparse operators, we can also derive an endpoint estimate for arbitrary weights. Theorem 5. Let w be a weight and >. Then for every Young function Φ we have that where c Φ = Φ t) t loge+t) dt. T f) L, w) c Φ R n fx) M Φ wx)dx, See Section. for the definition of Young function and M Φ. The first result of this sort was obtained in [69], with a bad control in the bound, recently improved in [47]. From the preceding result we can derive the following Corollary. Corollary. Let w be a weight and < <. Then the following statements hold T f) L, w) +logr ) fx) M r wx)dx r >..) R n T f) L, w) fx) M ε LloglogL) +εwx)dx 0 < ε <..3) R n Furthermore if w A then T f) L, w) [w] A loge+[w] A ) fx) wx)dx..4) R n At this point we would like to stress the fact that.3) is an improvement of [75, Theorem.4] in terms of the maximal operator on the right hand side of the estimate and also in terms of the uantitative control of the blow up when ε 0 that we obtain. On the other hand we also would like to observe that the mixed A A is the analogous result to the scalar case [60]) but doesn t seem to have appeared in the literature before for the vector-valued setting. Another interesting result is thea estimate for < p <, which is the natural counterpart for the sharp result obtained in the scalar case in [60]. 5

6 Theorem 6. Let p,, ), T be an ω-calderón-zygmund operator with ω satisfying the Dini condition and w a weight. Then the following ineuality holds T f L p w) c n, C T pp r ) p f L p M rw) r >..5) Furthermore, if w A then we have the following estimate T f L p w) c n, C T pp p [w] p A [w] A f L p w),.6) and if w A s, with s < p <. Furthermore, it follows from [6, Corollary 4.3], T f L p w) c n,,p,t [w] As f L p w)..7) We will not provide a proof of this result. It suffices to follow, for instance, the arguments in [47] where.5) is obtained using a sparse domination result in norm. Remark. Although.5) can be generalized replacing M r by a general M Φ and replacing the constants depending on p and r in the right hand side of the ineuality by suitable ones in terms of M Φ and p a ualitative version of that kind of result was obtained in [75, Theorem.]), for the sake of clarity, we prefer to include the proof and the statement of this estimate ust in terms of M r. We also remark that we can improve.7) to the mixed A s A estimate, see [64]..3. Estimates for vector-valued commutators Let < <, T be an ω-calderón-zygmund operator with ω satisfying the Dini condition see Section. for the precise definition). Let b be a locally integrable function and f = {f } =. We define the vector-valued commutator [b,t] as [b,t] fx) = [b,t]f x) = This operator was considered in [75] where some weighted estimates were obtained. In this work we will obtain uantitative versions of some of the results of [75]. Exploiting the tecnhniues devised by A. Lerner in [57], and also A. Lerner, S. Ombrosi and the fourth author in [63] we are able to obtain a pointwise domination for [b,t] by sparse operators in terms of the function and of the symbol which is a natural analogous to the scalar case. Theorem 7. Let T be an ω-calderón-zygmund operator with ω satisfying the Dini condition and < <. If f = {f } and f L R n ) is a compactly supported function and b L loc, then there exist 3 n dyadic lattices D k and 3 n -sparse families S k D k such that where 3n [b,t] fx) c n C T TS,b f x)+ts,b f x) ), T S,b fx) = Q S = bx) b Q f Q χ Q x), T S,b fx) = Q S b b Q f Q χ Q x),. and C T = C K + ω Dini + T L L. 6

7 Having the sparse domination in Theorem 7 at our disposal, the same proof of [63, Theorem.] allows us to derive an endpoint estimate for [b,t] and arbitrary weights that reads as follows. Theorem 8. Let w be a weight and < < and b BMO. Then for every Young function ϕ we have that { }) ) w x R n c ϕ fx) : [b,t] fx) > t c T b BMO M t t Φ ϕ)l) wx)dx, where Φt) = tloge+t) and c ϕ = R n Φ ϕ t) t loge+t) dt. See Section. for the definition of Young function and M Φ. From the preceding result we can derive the following Corollary. Corollary. Let w be a weight and < <. Then for every 0 < ε <, { }) w x R n : [b,t] f > t ) f b BMO Φ M ε R n t LlogL) +εwdx. { }) w x R n : [b,t] f > t ) f b BMO M ε t LlogL)loglogL) +εwdx..8) R n Φ Furthermore if w A then { }) w x R n : [b,t] fx) > t [w] A [w] A loge+[w] A ) R n Φ f b BMO t ) wdx. We would like to draw the attention to the fact that.8) is an improvement of [75, Theorem.8] in terms of the maximal operator on the right hand side of the estimate and also in terms of the uantitative control of the blow up when ε 0 that we obtain. On the other hand we also would like to observe that the mixed A A is the analogous result to the scalar case [63], see also [67, 74]) but doesn t seem to have appeared in the literature before for the vector-valued setting. Relying upon a generalization of the so called conugation method that appeared for the first time in [] and was further exploited in [] also in [46]) we can obtain the following estimate for [b,t]. Theorem 9. Let < p, <, T be an ω-calderón-zygmund operator with ω satisfying the Dini condition and b BMO. If w A p then [b,t] f L p p w) c n,p, C T [w] p p A p [w] A +[σ] A )[w] A +[σ] A ) f L p w). Another interesting conseuence of the sparse representation is an extension of a two weights estimate for the commutator. In [7] Bloom obtained a two-weighted result for the commutator of the Hilbert transform H. Given µ,λ A p < p <, ν = ) µ p λ and b BMO ν, then [b,h]f L p λ) cp,µ,λ) b BMOν f L p µ), where BMO ν is the space of locally integrable functions such that b BMOν = sup b b Q dx <. Q νq) Q.9) 7

8 Quite recently I. Holmes, M. Lacey and B. Wick [37] extended Bloom s estimate to Calderón- Zygmund operators satisfying a Hölder-Lipschitz condition. In the particular case when µ = λ = w A their approach see [38]) allowed then to recover the following estimate [b,t]f L w) c[w] A f L w) due to D. Chung, C. Pereyra and the third author []. Even more recently a uantitative version of Bloom-Holmes-Lacey-Wick estimate was obtained in [63]. Here we extend it to the vector-valued setting. Theorem 0. Let T be an ω-calderón Zygmund operator with ω satisfying the Dini condition. Let < <, µ,λ A p, and ν = ) µ p λ. If b BMO ν, then [b,t] f L p λ) c n,p, C T max { { } } max, p [µ] Ap [λ] Ap b BMOν f L p µ). Another interesting result is thea estimate for < p <, which is the natural counterpart for the sharp result obtained in the scalar case in [67]. Theorem. Let < p, <, T be an ω-calderón-zygmund operator, b BMO and w be a weight. Then the following ineuality holds [b,t] f L p w) c n, C T b BMO pp ) r ) + p f L p M rw) r >..0) Furthermore, if w A then we have the following estimate [b,t] f L p w) c n, C T b BMO pp ) [w] p A [w] + p A f L p w),.) and if w A s, with s < p <. Futhermore, it follows from [6, Corollary 4.3], [b,t] f L p w) c n,p,,t b BMO [w] A s f L p w)..) We don t provide a proof for the preceding result since it suffices to use arguments in [74]. Remark 3. We would like to observe that it is possible to derive a uantitative estimate similar to.0 with M LlogL) p +δ on the right hand side in the spirit of the estimate obtained in [74], but for the sake of clarity we state ust the case M r. We note as well that using the ideas in [8] it is possible to provide A s A estimates..4. Estimates for vector-valued rough singular integral operators and commutators Let T Ω be a rough singular integral operator defined as Ωx ) T Ω fx) = p.v. R n x n fx y)dy, where x = x/ x and Ω L S n ) satisfies S Ω = 0. We can define the associated maximal n operator by TΩ Ωx ) fx) = sup x n fx y)dy. ε>0 x y >ε T Ω was introduced and also was proved to be bounded onl p in [0]. Later on J. Duoandikoetxea and J. L. Rubio de Francia [7] established the weighted L p boundedness of T Ω for A p weights. It is also a central fact, due to A. Seeger [85], that T Ω is of weak type,). Fan and Sato [9] settled the weighted endpoint estimate. 8

9 Coming back to uantitative weighted estimates, the first works considering that uestion for T Ω are uite recent. The first work in this direction is due to T. P. Hytönen, L. Roncal and O. Tapiola [49]. Their approach relies upon an elaboration of a classical decomposition of these operators into Dini pieces combined with interpolation with change of measure see also [7, 5, 49, 86]). However, up until now the best known bound, namely T Ω L p w) L p p w) c n,p Ω L [w] A p [w] + p A c n,p Ω L [w] p A p, +[σ] + p A )min{[w] A,[σ] A }.3) was established in [65]. Also the first uantitative A estimate for that class of operators was obtained uite recently by the third author, L. Roncal and the fourth author [74] and was even more recently improved in [65] where it was established that the dependence is linear. In the case of commutators, the conugation method yields that the weighted L p estimate is the same as the dependence in.3) with an extra [w] A term. For the sake of simplicity, ust in terms of the A p constant we have that [b,t Ω ] L p w) L p w) c n,p Ω L b BMO [w] +p A p. In the case of uantitative A estimates the dependence was shown to be at most cubic in [73] and very recently it was proved in [8] that the dependence is uadratic as in the case of Calderón-Zygmund operators. We also recall that the operator B n )/, the Bochner Riesz multiplier at the critical index, which is defined by B n )/ f)ξ) = ξ ) n )/ + ˆfξ). satisfies the same estimates mentioned above for T Ω see [65]). In a recent paper by Conde-Alonso, Culiuc, Plinio and Ou [3], the sparse domination formula of integral type for T Ω and B n )/ are obtained see also an alternative proof by Lerner [58]). We reformulate it as follows Theorem [3, Theorems A and B]). Let T be T Ω or B n )/. Then for all < p <, f L p R n ) and g L p R n ), we have that Tf)gdx c n C T s Q g s,q Q, R Q S f n where S is a sparse family of some dyadic lattice D, { < s < if T = B n )/ or T = T Ω with Ω L S n ) s < if T = T Ω with Ω L, logls n ) and Ω L S n ), if T = T Ω with Ω L S n ) C T = Ω L, logls n ) if Ω L, logls n ) if T = B n )/..4) For TΩ with Ω L S n ) the following sparse domination was provided in [3]. T Ωf)g c n Ω L S n )s s,q g s,q Q < s <..5) R Q S f n In the case of commutators, the following result was recently obtained in [8], hinging upon techniues in [58]. 9

10 Theorem 3. Let T Ω be a rough homogeneous singular integral with Ω L S n ). Then, for every compactly supported f,g C R n ) every b BMO and < p <, there exist 3 n dyadic lattices D and 3 n sparse families S D such that where [b,t Ω ]f,g C n s Ω L S n ) = T S,r,sb,f,g) = Q S f r,q b b Q )g s,q Q ) T S,,sb,f,g)+TS,,sb,f,g),.6) T S,r,s b,f,g) = Q S b b Q )f r,q g s,q Q. Analogously as we did in the preceding sections, if < < and T is T Ω or B n )/ and b L loc, we consider the corresponding vector-valued versions of T and [b,t] that are defined as follows T fx) = Tf ) ) = [b,t] fx) = [b,t]f ) ). = Exploiting a beautiful observation due to Culiuc, Di Plinio and Ou [] we are able to extend the preceding results to vector-valued setting. Theorem 4. Let Ω L S n ). If T is T Ω or B n )/ and s < +, then there exists a sparse collection S such that Tf )g dx c n, C T s Q g s,q Q. R Q S f n Z If < s < min{,}+, then there exists a sparse collection S such that T Ωf )g dx c n, Ω L S n )s s,q g s,q Q. R Q S f n Z If < s < +, < r < + and b BMO then [b,t Ω ]f )g dx c n, b BMO Ω L S n )s max{r,s } r,q g s,q Q. Z R Q S f n The preceding result combined with arguments in [3] and in [65] allow us to establish the following result that provides the natural counterparts to the results mentioned above. Theorem 5. Let Ω L S n ) and T = T Ω or B n )/. Then. For any < p <, T L p p w) c n,p, c T [w] p TΩ ) L p w) c n,p, Ω L S n p )[w] [b,t Ω ] L p w) c n,p, Ω L S n p ) b BMO [w] p A p [w] A +[σ] A )min{[σ] A,[w] A }, p p A p [w] A +[σ] A )max{[σ] A,[w] A }, 0 p p A p [w] A +[σ] A )max{[σ] A,[w] A }.

11 Conseuently T L p w) c n,p, c T [w] p A p, T Ω ) L p w) c n,p, Ω L S n )[w] max { }, p A p, { }, p A p. [b,t Ω ] L p w) c n,p, Ω L S n ) b BMO [w] 3max. The following Fefferman-Stein type ineualities for < r small enough hold 3. If < s < p then T f) L p w) c n,p, c T r ) p f L p M rw), T Ω ) f) L p w) c n,p, Ω L S n )r ) + p f L p M rw), [b,t Ω ] L p w) c n,p, b BMO Ω L S n )r ) + p f L p M rw). T f) L p p w) c n,p, [w] p A s [w] A f L p w), TΩ ) f) L p w) c n,p, Ω L S n p )[w] A s [w] + p A f L p w), [b,t Ω ] f) L p w) c n,p, b BMO Ω L S n p )[w] A s [w] + p A f L p w)..5. Coifman-Fefferman estimates and the C p condition Calderón-Zygmund principle states that for each singular operator there exists a maximal operator that controls it. A paradigmatic example of that principle is the Coifman-Fefferman estimate, namely, for each 0 < p < and every w A there exists c = c n,w,p > 0 such that T f L p w) c Mf L p w)..7) where T stands for the maximal Calderón-Zygmund operator. This kind of estimate plays a central role in modern euclidean Harmonic Analysis. In particular we emphasize the key role in the main result in [6]..7) raises a natural uestion, is the A condition necessary for.7) to hold? B. Muckenhoupt [66] provided a negative answer to the uestion. He proved that in the case when T is the Hilbert transform,.7) does not imply that w satisfies the A condition. He showed that if.7) holds with p > and T is the Hilbert transform, then w C p, that is if there exist c,δ > 0 such that for every cube Q and every subset E Q we have that ) E δ we) c Mχ Q ) p w..8) Q R n Observe that that A C p for every p > 0. B. Muckenhoupt showed, in dimension one, that if w A p, < p <, then wχ [0, ) C p. In the same paper it was conectured that the C p condition is also sufficient for.7) to hold, uestion which remains still open. Not much later, the necessity of the C p condition was extended to arbitrary dimension and a converse result was provided by E.T. Sawyer [83]. More precisely he proved the following result. Theorem 6 E. Sawyer [83]). Let < p < and let w C p+ǫ for some ǫ > 0. Then T f) L p w) c Mf L p w).9) Also, relying upon Sawyer s techniues, K. Yabuta [87, Theorem ] established the following result extending the classical result of C. Fefferman and E. Stein relating M and the sharp maximal M # function [3, 50] that we state as a lemma.

12 Lemma K. Yabuta [87]). Let < p < and let w C p+ǫ for some ǫ > 0. Then Mf) L p w) c M # f L p w).0) The proof of this result, although based on a key lemma from [83], is simpler than the proof of.9) by Sawyer. In this paper we will present a different approach for proving.9) based on Yabuta s lemma which is conceptually much simpler and much flexible. Furthermore, we extend estimate.9) to the full expected range, namely 0 < p < and to some vector-valued operators. We remark that in the last case, the classical good-λ seems not be applicable. None of the known methods yield this result. Remark 4. We remark that we do not know how to extend Lemma to the full range 0 < p < as in Theorems 7 and 8 below. However, this lemma is key for proving these theorems in the full range. We remark that more recently, A. Lerner [55] provided another proof of Yabuta s result.0) improving it slightly. He established, using a different argument, that if a weight w satisfies the following estimate ) E δ we) ϕ p Mχ Q )) p w, Q R n where 0 ϕ p t) dt t p+ < then.0) holds. Let us now turn attention to our contribution. We say that an operator T satisfies the condition D) if there are some constants, δ 0,) and c > 0 such that for all f, M # δ Tf)x) cmfx). D) Some examples of operators satisfying condition D) are: Calderón-Zygmund operators These operators are generalization of the regular singular integral operators as defined above. This was observed in []. Weakly strongly singular integral operators These operators were considered by C. Fefferman in [30]. Pseudo-differential operators. To be more precise, the pseudo-differential operators satisfying condition D) are those that belong to the Hörmander class [39]). Oscillatory integral operators These operators were by introduced by Phong and Stein [79]. The proof that last three cases satisfy condition D) can be found in []. It is also possible to consider a suitable variant of condition D) which will allow us to treat some vector-valued operators. Given an operator T we say that it satisfies the D ) condition with < < if for every 0 < δ < there exists a finite constant c = C δ,,t > such that ) T f x) cm f )x). D ) M # δ Two examples of operators satisfying the D ) condition are the Hardy-Littlewood maximal operator [] Proposition 4.4) and any Calderón-Zygmund operator [75] Lemma 3.). Next theorems extend and improve the main result from [83] since we are able to provide some answers for the range 0 < p and to consider vector-valued extensions. It is not clear that the method of [83] can be extended to cover both situations. Furthermore, we can extend this result to the multilinear context and other operators like fractional integrals.

13 Theorem 7. Let T be an operator satisfying the D) condition. Let 0 < p < and let w C max{,p}+ǫ for some ǫ > 0. Then Tf L p w) c Mf L p w)..) Additionally, if < < and T satisfies the D ) condition then T f L p w) c M f ) L p w). Remark 5. We don t know how to extend.) to rough singular integral operators or to the Bochner Riesz multiplier at the critical index as considered in Section.4. Indeed, it is not known whether any of these operators satisfies condition D) above. Remark 6. Following a similar strategy as in the proof of.) the following result holds. Let I α, 0 < α < n, be a fractional operator and let < p <. Let w C p+ǫ for some ǫ > 0. Then I α f L p w) c M α f L p w)..) It is possible to extend these kind of results to the multilinear setting as follows. Following [34], we say that T is an m-linear Calderón-Zygmund operator if, for some <, it extends to a bounded multilinear operator from L L m to L, where = + + m, and if there exists a function K, defined off the diagonal x = y = = y m in R n ) m+, satisfying Tf,...,f m )x) = Kx,y,...,y m )f y )...f m y m )dy...dy m R n ) m for all x / m = supp f ; and also satisfies similar size and regularity conditions as that in Section.. It was shown in [6], following the Calderón-Zygmund principle mentioned above, that the right maximal operator that controls these m-linear Calderón-Zygmund operators is defined by M f )x) = sup m Q x i= f i y i ) dy i, Q Q where f = f,...,f m ) and where the supremum is taken over all cubes Q containing x. In fact, these m-linear Calderón-Zygmund operators satisfy a version of the D) condition mentioned above as can be found in [6, Theorem 3.]. Lemma. Let T be an m-linear Calderón-Zygmund operator and δ 0, m ). Then, there is a constant c such that M # δ T f ))x) cm f )x)..3) This estimate is very sharp since it is false in the case δ = m. Also this estimate is uite useful since one can deduce the following multilinear version of Coifman-Fefferman estimate.7), T f) L p w) c M f) L p w) 0 < p <, w A, which can be found in [6] leading to the characterization of the class of multilinear) weights for which any mulitilinear Calderón-Zygmund operators are bounded. Relying upon the pointwise estimate.3) it is possible to establish the following extension of.). 3

14 Theorem 8. Let T be an m-linear Calderón-Zygmund operator, and let 0 < p <. Also let w C mmax{,p}+ǫ for some ǫ > 0. Then T f) L p w) c M f) L p w)..4) We emphasize that the method of Sawyer in [83] does not produce the preceding result even for the case p >. For commutators, the following estimates are known see [70, 75]). For every 0 < ε < δ <, M # ε [b,t]f)x) c δ,t b BMO Mδ Tf)+M f)x) ),.5) M # ε [b,t] f)x) c δ,t b BMO Mδ T f)+m f )x) ), < <,.6) where T is a Calderón-Zygmund operator satisfying a log-dini condition. Relying upon them we obtain the following result. Theorem 9. Let T be an ω-calderón-zygmund operator with ω satisfying a log-dini condition and let b BMO. Let 0 < p < and let w C max{,p}+ǫ for some ǫ > 0. Then there is a constant c depending on the C max{,p}+ǫ condition such that [b,t]f L p w) c b BMO M f L p w). Additionally, if < < then Then there is a constant c depending on the C max{,p}+ǫ condition such that [b,t] f L p w) c b BMO M f ) L p w). Remark 7. We remark that a similar estimate can be derived for the general k-th iterated commutator: let 0 < p < and let w C max{,p}+ǫ for some ǫ > 0. Then there is a constant c depending on the C max{,p}+ǫ condition such that T k b f L p w) c b k BMO Mk+ f L p w). In the following results we observe that rephrasing Sawyer s method [83] in combination with sparse domination we will be able to obtain estimates like.9) where the strong norm L p w) is replaced by the weak norm L p, w). However, we can only get the result only within the range < p <. Theorem 0. Let T be an ω-calderón-zygmund operator with ω satisfying the Dini condition. Let < p < and let w C p+ǫ for some ǫ > 0. Then there exists c = c T,p,ǫ,w such that If aditionally < < then Tf L p, w) c Mf L p, w). T f L p, w) c M f ) L p, w). We also obtain some results for commutators which are completely new in both the scalar and the vector valued case. Theorem. Let T be an ω-calderón-zygmund operator with ω satisfying a Dini condition and b BMO. Let < p < and w C p+ǫ for some ǫ > 0. Then there exists c = c T,p,ǫ,w such that If aditionally < < then [b,t]f L p w) c b BMO M f L p w), [b,t]f L p, w) c b BMO M f L p, w). [b,t] f L p w) c b BMO M f ) L p w), [b,t] f L p, w) c b BMO M f ) L p, w). 4

15 We would like to note that the preceding result extends results based in the M approach that hold for Calderón-Zygmund operators satisfying a log-dini condition to operators satisfying ust a Dini condition..6. Local exponential decay estimates for vector valued operators In the previous section we recalled the classical Coifman-Fefferman estimate, namely that if w A then.7) holds. To obtain such an estimate Coifman and Fefferman used the good-λ techniue introduced by Burkholder and Gundy [9]. The use of that techniue was based on the following estimate {x R n : T fx) > λ, Mfx) λγ} cγ {x R n : T fx) > λ}. The first step to prove such an ineuality is to localize the level set {x R n : T fx) > λ} by means of a Whitney decomposition. Then the problem is reduced to studying a local estimate, namely {x Q : T fx) > λ, Mfx) λγ} cγ Q where each Q is a Whitney cube and f is supported on Q. In [8], trying to obtain a uantitative weighted estimate for Calderón-Zygmund operators by means of the good-λ techniue, Buckley obtained an exponential decay in γ that can be stated as follows, {x Q : T fx) > λ, Mfx) λγ} ce c γ Q..7) This result is interesting for many reasons. One of these reasons is because it yields an estimate like Tf L p w) cp[w] A Mf L p w), which is optimal in both p and [w] A. These estimates play a maor role in the LlogL estimate derived in [6]. Later on, Karagulyan [5] obtained an improved version of.7), namely, he proved that there exist constants α,c > 0 depending ust on T and n such that {x Q : T fx) > tmfx)} ce αt Q t > 0. This estimate was later generalized, using other methods, to several operators by C. Ortiz- Caraballo, the third author and E. Rela in [68]. Now we come to our contribution in this paper. Our first result is the following. Theorem. Let < <, T be an ω-calderón-zygmund operator with ω satisfying the Dini condition and b BMO. Assume also that supp f Q. Then { x Q : M fx) > tm f )x) } c e c t Q,.8) { x Q : T fx) > tm f )x) } c e ct Q,.9) { } x Q : [b,t] fx) > tm c f )x) c e t b BMO Q..30) That theorem is a direct conseuence of the combination of the sparse domination results obtained in the previous section and the following Lemma. Lemma 3. Let S be an η-sparse family and b BMO. Then if supp f Q we have that {x Q : A r S f > tmfx)} c e c t r Q r > 0, { x Q : T S,b fx)+ts,b fx) > tm fx) } c e t c b BMO Q. where c,c only depend on n and η. 5

16 At this point we would like to point out that both.8) and.9) were obtained in [68]. Here we provide a unified proof of those estimates. In the case of.30) the estimate is new. We would also like to remark that combining Lemma 3 and the sparse domination of [b,t] we also obtain a new proof for the corresponding estimate already obtained in [68]. We will finish this section with a similar type result for rough singular integrals. Theorem 3. Let Ω L S n ) and T = T Ω or B n )/. Let also Q be a cube and f such that supp f Q, then there exist some constants c,α > 0 such that {x Q : Tfx) > tmfx)} ce αt Q, t > 0. Remark 8. We believe that the preceding estimate is not sharp, we conecture that the decay should be exponential instead of subexponential. The rest of the paper is organized as follows. In Section we gather some basic definitions and properties and fix some notation. Section 3 is devoted to the the proofs of the results for the vector-valued extensions of Hardy-Littlewood maximal operator. Section 4 contains the proof of the sparse domination for both vector-valued Calderón-Zygmund operators and commutators. A proof of Theorem 9 is provided in section 6. In section 7 we give the proofs of the results related to the C p condition. Section 8 is devoted to establish the local exponential and subexponential estimates. We end this paper with an Appendix that contains precise statements of some uantitative unweighted estimates that are essentially implicit in the literature and that are needed for our fully-uantitative sparse estimates.. Preliminaries.. Notations and basic definitions In this Section we fix the notation that we will use in the rest of the paper. First we recall the definition of ω-calderón-zygmund operator. Definition. A Calderón-Zygmund operator T is a linear operator bounded on L R n ) that admits the following representation Tfx) = Kx, y)fy)dy with f C c Rn ) and x supp f and where K : R n R n \{x,x) : x R n } R has the following properties Size condition Kx,y) C K x y n, x 0. Smoothness condition Provided that y z < x y, then Kx,y) Kx,z) + Kx,y) Kz,y) x y nω ) y z, x y where the modulus of continuity ω : [0, ) [0, ) is a subaditive, increasing function such that ω0) = 0. It is possible to impose different conditions on the modulus of continuity ω. The most general one is the Dini condition. We say that a modulus of continuity ω satisfies a Dini condition if ω Dini = ωt) dt t <. 0 6

17 We will say that the modulus of continuity ω satisfies a log-dini condition if ) dt ω log-dini = ωt) log t t <. 0 Clearly ω Dini ω log-dini We recall also that if ωt) = ct δ we are in the case of the classical Hölder-Lipschitz condition. Definition. Let ω be a modulus of continuity and K be a kernel satisfying the properties in the preceding definition. We define the maximal Calderón-Zygmund operator T as T fx) = sup Kx, y)fy)dy. ε>0 x y >ε Given < < and f = {f } = we will call f and we will denote indistinctly fx) = f x) the function defined as fx) = f x) = Similarly we will define extensions for the Hardy-Littlewood maximal operator and for Calderón- Zygmund operators. Definition 3. Let D be a dyadic lattice and < <. We define the vector-valued Hardy- Littlewood maximal operator M D as where M D fx) = M D f x) = M D fx) = sup fy) dy. x Q D Q Q Definition 4. Let < <, T be an ω-calderón-zygmund operator with ω satisfying the Dini condition and f = {f }. We define the vector-valued maximal ω-calderón-zygmund operator T as T fx) = T f x). = To end the Section we would like to recall also the definitions of some variants and generalizations of the Hardy-Littlewood maximal function. We will denote M s fx) = M f s )x) s where s > 0. Now we recall that we say that Φ is a Young function if it is a continuous, convex increasing function that satisfies Φ0) = 0 and such that Φt) as t. Let f be a measurable function defined on a set E R n with finite Lebesgue measure. The Φ-norm of f over E is defined by f ΦL),E := inf { λ > 0 : Φ E E., fx) λ ) } dx. Using this Φ-norm we define, in the natural way, the Orlicz maximal operator M ΦL) by Some particular cases of interest are M ΦL) fx) = sup f ΦL),Q. x Q 7

18 M r for r > given by the Young function Φt) = t r. M LlogL) δ with δ > 0 given by the Young function Φt) = tloge+t) δ. It is a well known fact that M k+) f M LlogL) kf, where M k = M k) M. M LloglogL) δ with δ > 0 given by the Young function Φt) = tlogloge e +t)) δ. M LlogL)loglogL) δ with δ > 0 given by the function Φt) = tloge+t)logloge e +t)) δ. One basic fact about this kind of maximal operators that follows from the definition of the norm is the following. Given Ψ and Φ Young functions such that for some κ,c > 0 Ψt) κφt), then f ΨL),Q Ψc)+κ) f ΦL),Q, and conseuently M ΨL) fx) Ψc)+κ)M ΦL) fx). Associated to each Young function A there exists a complementary function Ā that can be defined as follows Āt) = sup{st As)}. s>0 That complementary function is a Young function as well and it satisfies the following pointwise estimate t A t)ā t) t. An interesting property of this associated function is that the following estimate holds fg dx f A,Q g Q. Ā,Q Q A case of interest for us is the case At) = tloge+t). In that case we have that fg dx c f LlogL,Q g Q expl),q. Q From that estimate taking into account John-Nirenberg s theorem, if b BMO, then fb b Q ) dx c f LlogL,Q b b Q Q expl),q c f LlogL,Q b BMO..) Q For a detailed account about the ideas presented in the end of this Section we refer the reader to [80, 8]... Lerner-Nazarov formula In this Section we recall the definitions of the local oscillation and the Lerner-Nazarov oscillation and we show that the latter is controlled by the former. Built upon Lerner-Nazarov oscillation we will also introduce formula, which will be a uite useful tool for us. Most of the ideas covered in this Section are borrowed from [59]. Among them, we start with the definition of dyadic lattice. Let us call DQ) the dyadic grid obtained repeatedly subdividing Q and its descendents in n cubes with the same side length. Definition 5. A dyadic latticedinr n is a family of cubes that satisfies the following proporties 8

19 . If Q D then each descendant of Q is in D as well.. For every cubes Q,Q we can find a common ancestor, that is, a cube Q D such that Q,Q DQ). 3. For every compact set K there exists a cube Q D such that K Q. A way to build such a structure is to consider an increasing seuence of cubes {Q } expanding each time from a different vertex. That choice of cubes gives that R n = Q and it is not hard to check that D = {Q DQ )} is a dyadic lattice. Lemma 4. Given a dyadic lattice D there exist 3 n dyadic lattices D such that {3Q : Q D} = 3 n D and for every cube Q D we can find a cube R Q in each D such that Q R Q and 3l Q = l RQ Remark 9. Fix D. For an arbitrary cube Q R n there is a cube Q D such that l Q < l Q l Q and Q 3Q. It suffices to take the cube Q that contains the center of Q. From the lemma above it follows that 3Q = P D for some {,...,3 n }. Therefore, for every cube Q R n there exists P D such that Q P and l P 3l Q. From this follows that Q P 3 n Q Definition 6. S D is a η-sparse family with η 0,) if for each Q S we can find a measurable subset E Q Q such that and all the E Q are pairwise disoint. η Q E Q = We also recall here the definition of Carleson family. Definition 7. We say that a family S D is Λ-Carleson with Λ > if for each Q S we have that P Λ Q. P S,P Q The following result that establishes the relationship between Carleson and sparse families was obtained in [59] and reads as follows. Lemma 5. If S D is a η-sparse family then it is a η-carleson family. Conversely if Sis Λ-Carleson then it is Λ -sparse. Now we turn to recall the definition of the local oscillation [54] which is given in terms of decreasing rearrangements. Definition 8 Local oscillation). Given λ 0, ), a measurable function f and a cube Q. We define w λ f;q) := inf c R f c)χ Q) λ Q ). For any function g, its decreasing rearrangement g is given by In particular, g t) = inf{α > 0 : {x R n : g > α} t}. f c)χ Q ) λ Q ) = inf{α > 0 : {x Q : f c > α} λ Q }. Now we define Lerner-Nazarov oscillation [59]. We would like to observe that decreasing rearrangements are not involved in the definition. 9

20 Definition 9 Lerner-Nazarov oscillation). Given λ 0, ), a measurable function f and a cube Q. We define the λ-oscillation of f on Q as where w λ f;q) := inf{wf;e) : E Q, E λ) Q }, wf;e) = supf inf f. E E Now as we announced we are going to prove that the local oscillation controls Lerner- Nazarov oscillation. Lemma 6. Given a measurable function f we have that for every λ 0,), wf;q) w λ f;q). Proof. We start the proof of this lemma recalling a useful identity that appears stated in [4]: f t) = inf E t fχ E c L, where E is any measurable set contained in R n. Taking that identity into account it is clear that w λ f;q) = inf inf f c)χq\el, c RE Q, E λ Q since it allows us to write inf f c)χq\el = inf{α > 0 : {x Q : f c > α} λ Q }. E Q, E λ Q Now we observe that Let c > 0. We see that w λ f;q) = inf{wf;q\e) : E Q, λ Q E }. wf;q\e) = supf inf Q\E Q\E f = sup Q\E And taking infimum on both sides of the ineuality f c+c inf Q\E f = supf c)+ sup f +c) f c)χ Q\E L. Q\E Q\E w λ f;q) w λ f;q). To end this Section we introduce Lerner-Nazarov formula cf. [59]). Theorem 4 Lerner-Nazarov formula). Let f : R n R be a measurable function such that for each ε > 0 {x [ R,R] n : fx) > ε} = or n ) as R. Then for each dyadic lattice D and every λ 0, n ] we can find a regular 6-sparse family of cubes S D depending on f) such that fx) Q Sw λ f;q)χ Q x) a.e. 0

21 .3. Mixed A p A estimates for generalized dyadic suare functions The content of this Section is essentially borrowed from [45]. We begin with the definition of a generalization of dyadic suare functions. Definition 0. Let r > 0 and η 0, ). Let D be a dyadic lattice and S D be an η-sparse family. We define the operator A r S as A r S fx) = Q S Q Q r fy) dy) χ Q x) We will also follow the notation of [45] for the A p and related weights. Given a pair of weights w and σ we denote and ) ) p [w,σ] Ap = sup w σ Q Q Q Q Q [w] A = sup Q Mwχ Q ). wq) Q We recall that A = p A p and that w A if and only if [w] A <. We also note that if w A p and σ = w p then [w,σ] Ap = [w] Ap. The definition of the A constant [w] A was shown to be very suitable in [46] being one of the main results of that work the following optimal reverse Hölder ineuality see also [48] for a different proof). Theorem 5 Reverse Hölder ineuality). Let w A. Then there exists a dimensional constant τ n such that ) w rw rw w, Q Q Q Q where r w = + τ n [w] A. To end this Section we borrow the main results from [45]. They will be crucial for our purposes. In both statements { α if α > 0, α) + = 0 otherwise. Theorem 6. Let < p < and r > 0. Let w,σ be a pair of weights. Then ) A r ) S f L p p r w) [w,σ] A p [w] p + p +[σ] A f L p w). Theorem 7. Let r > 0 and < p < such that p r. Let w,σ be a pair of weights. Then A A r Sf L p, p w) [w,σ] A p [w] r p) A r + f L p w)..

22 3. Proofs of the results for the vector-valued Hardy-Littlewood maximal operators. 3.. Sparse domination for vector-valued Hardy-Littlewood maximal operators We are going to prove 3n M fx) c n, Q Sk k= Q Q First we observe that from Remark 9 it readily follows that Taking that into account it is clear that The following estimate for local oscillations 3n Mfx) c n M D k fx). k= k= ) f χ Q x). 3.) 3n M fx) c n M D k fx). 3.) ) ;Q ) w λ M D f c n, λ ) f, Q Q was established in [8, Lemma 8.]. Now we recall that by Lemma 6 ) ) w λ M D f) ;Q ) ;Q w λ M D f. Then ) ;Q ) w λ M D f c ) n, λ f. Q Q Using now Lerner-Nazarov formula Theorem 4) there exists a 6-sparse family S D such that ) ;Q w λ M D )χ f Q x) M D fx) Q S c n, λ Q S ) f χ Q x). Q Q Conseuently M D fx) c n, Q S Q Q ) f χ Q x). Applying this to each M D k fx) in 3.) we obtain the desired estimate. 3.. Weighted estimates for vector-valued Hardy-Littlewood maximal operators The weighted estimates in Theorem are a direct conseuence of Theorems 6 and 7 cf. Section.3) applied to A S k f ).

23 4. Sparse domination for vector-valued Calderón-Zygmund operators and vectorvalued commutators 4.. A technical lemma Let T be an ω-czo with ω satisfying Dini condition and < <. We define the grand maximal truncated operator M T by M T fx) = sup ess sup T fχ R n \3Q)ξ). Q x ξ Q We also consider a local version of this operator M T,Q 0 fx) = sup ess sup T fχ 3Q0 \3Q)ξ). x Q Q 0 ξ Q Lemma 7. Let T be an ω-czo with ω satisfying Dini condition and < <. The following pointwise estimates hold:. For a.e. x Q 0. For all x R n T fχ 3Q0 )x) c n T L L, f x)+m T,Q 0 fx). 4.) M T fx) c n, ω Dini +C K )M fx)+t fx). 4.) Furthermore MT L L, c n,c T, 4.3) where C T = C K + ω Dini + T L L. Proof. First we prove the estimate in 4.). Fix x intq 0, and let x be a point of approximate continuity of T fχ 3Q0 ) see [8, p. 46]). For every ε > 0, set E s x) = { y Bx,s) : T fχ 3Q0 )y) T fχ 3Q0 )x) < ε }. E Then we have that lim sx) s 0 Bx,s) =, where Bx,s) is the open ball centered at x of radius s. Denote by Qx, s) the smallest cube centered at x and containing Bx, s). Let s > 0 be so small that Qx,s) Q 0. Then for a.e. y E s x), T fχ 3Q0 )x) T fχ 3Q0 )y) +ε T fχ 3Qx,s) )y) +M T,Q 0 fx)+ε. Now we can apply the weak type,) estimate of T. Then T fχ 3Q0 )x) ess inf T fχ 3Qx,s) )y) +M T,Q y E 0 fx)+ε sx) T L L, f +M E s x) T,Q 0 fx)+ε. 3Qx,s) Assuming that x is a Lebesgue point of f and letting s 0 and ε 0, leads to obtain 4.). Now we focus on part 4.). Let x,ξ Q. Denote by B x the closed ball centered at x of radius diamq. Then 3Q B x, and we obtain T fχ R n \3Q)ξ) T fχ R n \B x )ξ)+t fχ Bx\3Q)ξ) T fχ R n \B x )ξ) T fχ R n \B x )x) + T fχ Bx\3Q)ξ) + T fχ R n \B x )x). 3

24 By the smoothness condition, since a r b r max{,r} a b r for every r > 0 we have that T fχ R n \B x )ξ) T fχ R n \B x )x) = Tf χ R n \B x )ξ) Tf χ R n \B x )x) = = Tf χ R n \B x )ξ) Tf χ R n \B x )x). = Now using the smoothness condition see [57, Proof of Lemma 3. ii)] Tf χ R n \B x )ξ) Tf χ R n \B x )x) cn ω Dini Mf x), and then we have that T fχ R n \B x )ξ) T fχ R n \B x )x) c n, ω Dini Mf x) = = c n, ω Dini M fx). On the other hand the size condition of the kernel yields T fχ Bx\3Q)ξ) Tf χ Bx\3Q)ξ) = ) c n C K f B = x B x c n C K Mf x)) c n C K M fx). = To end the proof of the pointwise estimate we observe that T fχ R n \B x )x) T fx). Now, taking into account the pointwise estimate we have ust obtained and Theorem 3 below it is clear that MT c n,c T. L L, This ends the proof. 4.. Proof of Theorem 3 We fix a cube Q 0 R n such that supp f Q 0. We start claiming that here exists a -sparse family F DQ 0) such that for a.e. x Q 0 T fχ 3Q0 )x) cn C T f 3Q χ Q x). 4.4) Suppose that we have already proved the claim 4.4). Let us take a partition of R n by cubes Q such that supp f ) 3Q for each. We can do it as follows. We start with a cube Q 0 Q F 4

25 such that supp f ) Q 0. And cover 3Q 0 \Q 0 by 3 n congruent cubes Q. Each of them satisfies Q 0 3Q. We do the same for 9Q 0 \3Q 0 and so on. Now we apply the claim to each cube Q. Then we have that since supp f 3Q the following estimate holds a.e. x Q T fx) χ Q x) = T fχ 3Q )x) c n C T Q F f 3Q χ Q x), where each F DQ ) is a -sparse family. Taking F = F we have that F is a -sparse family and T fx) c n C T f 3Q χ Q x). Q F From Remark 9 it follows that there exist 3 n dyadic lattices D such that for each cube 3Q there exists some cube R Q D such that 3Q R Q and R Q 3 n 3Q. Conseuently h 3Q c n h RQ. Now setting S = {R Q D : Q F} and using that F is -sparse, we obtain that each family S is sparse as well. Then we can conclude that T fx) 3 n cn C T f R χ R x). = R S Proof of the claim 4.4) To prove the claim it suffices to prove the following recursive estimate: There exist pairwise disoint cubes P DQ 0 ) such that P Q 0 and for a.e. x Q 0, T fχ 3Q0 )x) χq0 x) c n C T f 3Q + T fχ 3P )x) χp x). Iterating this estimate we obtain 4.4) with F = {P k} where {P0 } = {Q 0}, {P } = {P } and {P k } are the cubes obtained at the k-th stage of the iterative process. It is also clear that F is a -sparse family. Now we observe that for any arbitrary family of disoint cubes P DQ 0 ) we have that T fχ 3Q0 )x) χ Q0 x) = T fχ 3Q0 )x) χq0 \ P x)+ T fχ 3Q0 )x) χp x) T fχ 3Q0 )x) χq0 \ P x)+ T fχ 3Q0 \3P )x) χ P x)+ T fχ 3P )x) χp x). So it suffices to show that we can choose a family of pairwise disoint cubes P DQ 0 ) with P Q 0 and such that for a.e. x Q 0 T fχ 3Q0 )x) χ Q0 \ P x)+ c n C T f 3Q0. Now we define the set E where E = {x Q 0 : f > α n f 3Q0 } Since M T is of weak type,) with T fχ 3Q0 \3P )x) χ P x) {x Q 0 : M T,Q0 f > α n C T f 3Q0 }. M T L L, c nc T. we have that, from this point the rest of the proof is analogous to [57, Theorem 3.]. 4.5) 5