arxiv: v1 [math.ca] 27 Jun 2017

Transcription

1 SPARSE BOUNDS FOR MAXIMAL ROUGH SINGULAR INTEGRALS VIA THE FOURIER TRANSFORM arxiv: v [math.ca] 27 Jun 207 FRANCESCO DI PLINIO, TUOMAS P. HYTÖNEN, AND KANGWEI LI Abstract. We prove that the class of convolution-type kernels satisfying suitable decay conditions of the Fourier transform, appearing in the works of Christ [4], Christ-Rubio de Francia [6] and Duoandikoetxea-Rubio de Francia [3] gives rise to maximally truncated singular integrals satisfying a sparse bound by (+ε, +ε)-averages for allε>0, with linear growth inε. This is an extension of the sparse domination principle by Conde-Alonso, Culiuc, Ou and the first author [7] to maximally truncated singular integrals. Our results cover the rough homogeneous singular integrals onr d T Ω f (x)=p.v. f (x t) Ω(t/ t ) dt R d t d with angular partω L (S d ) and having vanishing integral on the sphere. Consequences of our sparse bound include novel quantitative weighted norm estimates as well as Fefferman- Stein type inequalities. In particular, we obtain that the L 2 (w) norm of the maximal truncation of T Ω depends quadratically on the Muckenhoupt constant [w] A2, extending a result originally by Hytönen, Roncal and Tapiola [6]. A suitable convex-body valued version of the sparse bound is also deduced and employed towards novel matrix weighted norm inequalities for the maximal truncated rough homogeneous singular integrals. Our result is quantitative, but even the qualitative statement is new, and the present approach via sparse domination is the only one currently known for the matrix weighted bounds of this class of operators.. Introduction and main results Letη (0, ). A countable collectionsof cubes ofr d is said to beη-sparse if there exist measurable sets{e I : I S} such that E I I, E I η I, I, J S, I J = E I E J =. Let T be a sublinear operator mapping the space L 0 (Rd ) of complex-valued, bounded and compactly supported functions onr d into locally integrable functions. We say that T has the sparse (p, p 2 ) bound [0] if there exists a constant C> 0 such that for all f, f 2 L 0 (Rd ) we may find 200 Mathematics Subject Classification. Primary: 42B20. Secondary: 42B25. Key words and phrases. Sparse domination, rough singular integrals, weighted norm inequalities. F. Di Plinio was partially supported by the National Science Foundation under the grants NSF-DMS and NSF-DMS T. Hytönen was supported by the Finnish Centre of Excellence in Analysis and Dynamics Research. K. Li was supported by Juan de la Cierva-Formación 205 FJCI Some of the results were discovered at the Mathematical Sciences Research Institute (MSRI) in Berkeley, during the workshop Recent trends in harmonic analysis, in which Di Plinio and Hytönen participated with the support of the MSRI and the Clay Mathematics Institute. Di Plinio and Li are also supported by the Severo Ochoa Program SEV and by Basque Government BERC Program

2 2 F. DI PLINIO, T.P. HYTÖNEN, AND K. LI a 2 -sparse collections=s( f, f 2 ) such that T f, f 2 C S 2 f j p j, in which case we denote by T (p,p 2 ),sparse the least such constant C. As customary, j= f p, = f p, p (0, ]. p Estimating the sparse norm(s) of a sublinear or multisublinear operator entails a sharp control over the behavior of such operator in weighted L p -spaces; this theme has been recently pursued by several authors, see for instance [, 8, 8, 20, 2, 33]. This sharp control is exemplified in the following proposition, which is a collection of known facts from the indicated references. Proposition.. Let T be a sublinear operator onr d mapping L 0 (Rd ) to L loc (Rd ). Then the following hold.. [7, Appendix B] Le p, p 2 <. There is an absolute constant C p2 > 0 such that 2. [2, Proposition 4.] If T : L p (R d ) L p, (R d ) C p2 T (p,p 2 ),sparse (.) Ψ(t) := T (+ t,+ t ),sparse< t>, then there is an absolute constant C> 0 such that In particular, T L 2 (w,r d ) C[w] A2 Ψ ( C[w] A2 ). supψ(t)< = T L 2 (w,r d ) C[w] A2. t> In this article, we are concerned with the sparse norms (.) of a class of convolution-type singular integrals whose systematic study dates back to the celebrated works by Christ [4], Christ-Rubio de Francia [6], and Duoandikoetxea-Rubio de Francia [3], admitting a decomposition with good decay properties of the Fourier transform. To wit, let{k s :R d C, s Z} be a sequence of (smooth) functions with the properties that (.2) supp K s A s :={x R d : 2 s 4 < x < 2 s 2 }, sup 2 sd K s, s Z sup sup max { 2 s ξ α, 2 s ξ α } K s (ξ), s Zξ R d for someα>0. We consider truncated singular integrals of the type T f (x,, t 2 )= K s f (x),, t 2 Z, <s t 2 and their maximal version (.3) T f (x) := sup t 2 T f (x,, t 2 ).

3 Theorem A. For all 0<ε< SPARSE BOUNDS VIA FOURIER TRANSFORM 3 T (+ε,+ε),sparse ε, with absolute dimensional implicit constant, in particular uniform over families{k s } satisfying (.2). Theorem A entails immediately a variety of novel corollaries involving weighted norm inequalities for the maximally truncated operators T. In addition to, for instance, those obtained by suitably applying the points of Proposition., we also detail the quantitative estimates below, whose proof will be given in Section 7. Theorem B. Let T be a sublinear operator satisfying the sparse bound (.) withψ(t) Ct.. For any < p<, T L p (w) [w] p A p ([w] p A p + [σ] p A ) max{[σ] A, [w] A } with implicit constant possibly depending on p and dimension d; in particular, (.4) T L p (w) [w] 2 max{, p } A p. 2. The Fefferman-Stein type inequality T f L p (w) p 2 (p ) p (r ) + p f L p (M r w), r< p holds with implicit constant possibly depending on d only. 3. The A q -A estimate (.5) T f L p (w) [w] p A q [w] + p A f L p (w), holds for q< p and w A q, with implicit constant possibly depending on p, q and d only. 4. The following Coifman-Fefferman type inequality T f L p (w) [w]2 A M +ε f L ε p (w) holds for allε>0with implicit constant possibly depending on p and d only. Remark.2. TakeΩ : S d C with Ω and having vanishing integral on S d, and consider the associated truncated integrals and their maximal function (.6) T Ω,δ f (x) := f (x t) Ω(t/ t ) dt, T t d Ω, f (x) := sup T Ω,δ f (x), x R d. δ>0 δ< t < δ It is well known for instance, see the recent contribution [6, Section 3] that T Ω, f (x) M f (x)+t f (x), x R d with T being defined as in (.3) for a suitable choice of{k s : s Z} satisfying (.2) withα= d. As M (,),sparse, a corollary of Theorem A is that (.7) T Ω, (+ε,+ε),sparse ε

4 4 F. DI PLINIO, T.P. HYTÖNEN, AND K. LI as well. The main result of [7] is the stronger control (.8) sup T Ω,δ (,+ε),sparse δ>0 ε. The above estimate, in particular, is stronger that the uniform weak type (, ) for the operators T Ω,δ, a result originally due to Seeger [3]. As the weak type (, ) of T Ω, under no additional smoothness assumption on Ω is a difficult open question, estimating the (, + ε) sparse norm of T Ω, as in (.8) seems out of reach. The study of sharp weighted norm inequalities for T Ω,δ (the uniformity inδis of course relevant here) was initiated in the recent article [6] by Hytönen, Roncal and Tapiola. Improved quantifications have been obtained in [7] as a consequence of the domination result (.8), and further weighted estimates including a Coifman-Fefferman type inequality, that is a norm control of T Ω,δ by M on all L p (w), 0< p< when w A have been later derived from (.8) in the recent preprint by the third named author, Pérez, Roncal and Rivera-Rios [28]. Although (.7) is a bit weaker than (.8), we see from comparison of (.4) from Theorem B with the results of [7, 28] that the quantification of the L 2 (w)-norm dependence on [w] A2 entailed by the two estimates is the same quadratic; on the contrary, for p 2, (.8) yields the better estimate T Ω,δ L p (w) [w] p A p. We also observe that the proof of the mixed estimate (.5) actually yields the following estimate for the non-maximally truncated operators, improving the previous estimate given in [28] T Ω,δ f L p (w) [w] p A q [w] p A f L p (w). Finally, we emphasize that (.7) also yields a precise dependence on p of the unweighted L p operator norms. Namely, from the sparse domination, we get (.9) T Ω, L p (R d ) L p, (R d ) max{p, p }, T Ω, L p (R d ) pp max{p, p } with absolute dimensional implicit constant, which improves on the implicit constants in [3]. Moreover, we note that the main result of [29] implies that if (.9) is sharp, then our quantitative weighted estimate (.4) is also sharp. Remark.3. Comparing Theorem A with the sparse domination formula for commutators of Calderón-Zygmund operators with BMO symbols [23], all our weighted corollaries hold for commutators as well, with the help of John-Nirenberg inequality..4. Matrix weighted estimates for vector valued rough singular integrals. Let (e l ) n l=,, F n and F n be the canonical basis, scalar product and norm onf n overf, wheref {R,C}. A recent trend in Harmonic Analysis see, among others, [2, 3, 9, 4, 30] is the study of quantitative matrix weighted norm inequalities for the canonical extension of the (integral) linear operator T T f (x), e l F n := T Id Fn f (x), e l F = T ( ) f, e n l F n (x), x R d tof n -valued functions f. In Section 6 of this paper, we introduce an L p, p>, version of the convex body averages first brought into the sparse domination context by Nazarov, Petermichl, Treil and Volberg [30], and use them to produce a vector valued version of Theorem A. As a corollary, we obtain quantitative matrix weighted estimates for the maximal truncated vector valued extension of the rough singular integrals T Ω,δ from (.6). In fact, the next corollary is a special case of the more precise Theorem E from Section 6.

5 SPARSE BOUNDS VIA FOURIER TRANSFORM 5 Corollary E.. Let W be a positive semidefinite and locally integrablel(f n )-valued function onr d and T Ω,δ be as in (.6). Then (.0) sup W 2 TΩ,δ f F n [W] 5 2 W 2 A2 f F n L 2 (R d ) δ>0 L 2 (R d ) with implicit constant depending on d, n only, where the matrix A 2 constant is given by ( ) [W] A2 := sup 2 ( 2 2 W(x) dx W (x) dx). cube ofr d As the left hand side of (.0) dominates the matrix weighted norm of the vector valued maximal operator first studied by Christ and Goldberg in [5], the finiteness of [W] A2 is actually necessary for the estimate to hold. To the best of the authors knowledge, Theorem E has no precedessors, in the sense that no matrix weighted norm inequalities for vector rough singular integrals were known before, even in qualitative form. At this time we are unable to assess whether the power 5 appearing in (.0) is optimal. For comparison, if the angular partωis 2 Hölder continuous, the currently best known result [30] is that (.0) holds with power 3; see 2 also [9]..5. Strategy of proof of the main results. We will obtain Theorem A by an application of an abstract sparse domination principle, Theorem C from Section 3, which is a modification of [7, Theorem C]. At the core of our approach lies a special configuration of stopping cubes, the so-called stopping collections, and their related atomic spaces. The necessary definitions, together with a useful interpolation principle for the atomic spaces, appear in Section 2. In essence, Theorem C can be summarized by the inequality L(F n ) ( ) T (p,p 2 ),sparse T L(L 2 (R d ))+ sup t 2 Ẋp Y p2 + t 2 Y Ẋ p2,,t 2 where the supremum is taken over all stopping collections and all measurable linearizations of the truncation parameters, t 2, and t 2 are suitably adapted localizations of (the adjoint form to the linearized versions of) T. In Section 4, we prove the required uniform estimates for the localizations t 2 coming from Dini-smooth kernels. The proof of Theorem A is given in Section 5, relying upon the estimates of Section 4 and the Littlewood-Paley decomposition of the convolution kernels (.2) whose first appearance dates back to [3]. Remark.6. We remark that while this article was being finalized, an alternative proof of (.8) was given by Lerner [22]. It is of interest whether the strategy of [22], relying on bumped bilinear grand local maximal functions, can be applied towards estimate (.7) as well. Notation. With q = q we indicate the Lebesgue dual exponent to q (, ), with the usual q extension =, =. The center and the (dyadic) scale of a cube R d will be denoted by c and s respectively, so that =2 sd. We use the notation M p ( f )(x)= sup R d f p, (x) for the p-hardy Littlewood maximal function and write M in place of M. Unless otherwise specified, the almost inequality signs imply absolute dimensional constants which may be different at each occurrence.

6 6 F. DI PLINIO, T.P. HYTÖNEN, AND K. LI Acknowledgments. This work was completed during F. Di Plinio s stay at the Basque Center for Applied Mathematics (BCAM), Bilbao as a visiting fellow. The author gratefully acknowledges the kind hospitality of the staff and researchers at BCAM and in particular of Carlos Pérez. The authors also want to thank José Conde-Alonso, Amalia Culiuc, Yumeng Ou and Ioannis Parissis for several inspiring discussions on sparse domination principles. 2. Stopping collections and interpolation in localized spaces The notion of stopping collection with top the (dyadic) cube has been introduced in [7, Section 2], to which we send for details. Here, we recall that such ais a collection of pairwise disjoint dyadic cubes contained in 3 and satisfying suitable Whitney type properties. More precisely, (2.) 9L sh := L 3, c :={L :3L 2 }; (2.2) (2.3) L c L L, L, L L = L=L ; L, L N(L) = s L s L 8, N(L) :={L :3L 3L }. A consequence of (2.3) is that the cardinality of N(L) is bounded by an absolute constant. The spacesy p (),X p (),Ẋ p () have also been defined in [7, Section 2]: here we recall that Y p () is the subspace of L p (R d ) of functions satisfying (2.4) supp f 3, max{ f R > f Yp () := d \sh f, sup L } inf M p f (x) x L p< p= where L stands for the (non-dyadic) 2 5 -fold dilate of L, and thatx p () is the subspace ofy p () of functions satisfying (2.5) b= b L, supp b L L. L Finally, we write b Ẋ p () if b X p () and each b L has mean zero. We will omit () from the subscript of the norms whenever the stopping collectionis clear from context. There is a natural interpolation procedure involving they p -spaces. We do not strive for the most general result but restrict ourselves to proving a significant example, which is also of use to us in the proof of Theorem A. Proposition 2.. Let B be a bisublinear form and A, A 2 be positive constants such that the estimates Then for all 0<ε< B(b, f ) A b Ẋ () f Y (), B(g, g 2 ) A 2 g Y2 () g 2 Y2 () B( f, f 2 ) (A ) ε (A 2 ) ε f Ẋp () f 2 Yp (), p= 2 2 ε.

7 SPARSE BOUNDS VIA FOURIER TRANSFORM 7 Proof. We may assume A 2 < A, otherwise there is nothing to prove. We are allowed to normalize A =. Fixing now 0<ε<, so tha< p<2, it will suffice to prove the estimate (2.6) B( f, f 2 ) (A 2 ) ε for each pair f Ẋ p (), f 2 Y p () with f Ẋp = f 2 Yp = with implied constant depending on dimension only. Letλ to be chosen later. Using the notation f >λ := f f >λ, we introduce the decompositions ( f = g + b, b := ( f ) >λ ) ( f ) >λ, f 2 = g 2 + b 2, b 2 := ( f 2 ) >λ which verify the properties g Ẋ 2 (), g Ẋp, g Ẋ2 λ p 2, b Ẋ (), b Ẋ λ p g 2 Ẋ2 λ p 2, b2 X λ p. We have used that b is supported on the union of the cubes and has mean zero on each, and therefore g has the same property, given that f Ẋ p (). Therefore B( f, f 2 ) B(b, b 2 ) + B(b, g 2 ) + B(g, b 2 ) + B(g, g 2 ) b Ẋ b 2 Y + b Ẋ g 2 Y + g Ẋ b 2 Y + A 2 g Y2 g 2 Y2 λ 2 2p + 2λ p + A 2 λ 2 p λ 2 2p (+ A 2 λ p ) which yields (2.6) with the choiceλ=a p 2. (3.) 3. A sparse domination principle for maximal truncations We consider families of functions [K]={K s : s Z} satisfying supp K s { (x, y) R d R d : x y <2 s}, [K] := sup 2 sd sup ( K s (x, ) + K s (, x) )< s Z x R d and associate to them the linear operators (3.2) T[K] f (x,, t 2 ) := K s (x, y) f (y) dy, x R d,, t 2 Z R d <s t 2 and their sublinear maximal versions T t 2 [K] f (x) := sup τ τ 2 t 2 T[K] f (x,τ,τ 2 ), T [K] f (x)=sup t 2 T[K] f (x,, t 2 ). We assume that there exists < r < such that (3.3) [K] r, := T [K] L r (R d )<. For pairs of bounded measurable functions, t 2 :R d Z, we also consider the linear operators (3.4) T[K] t 2 f (x) := T[K] f (x, (x), t 2 (x)), x R d.

8 8 F. DI PLINIO, T.P. HYTÖNEN, AND K. LI Remark 3.. From the definition (3.2), it follows that, t 2 Z, t 2 = T[K] f (x,, t 2 )=0. In consequence, for the linearized versions defined in (3.4) we have supp T[K] t 2 f {x R d : t 2 (x) (x)>0}. A related word on notation: we will be using linearizations of the type T[K] s and similar, where s is the (dyadic) scale of a (dyadic) cube. With this we mean we are using the constant function equal to s as our upper truncation function. Finally, we will be using the notations t 2 s for the linearizing function x min{t 2 (x), s } and s L for the linearizing function x max{ (x), s L }. Given two bounded measurable functions, t 2 and a stopping collectionwith top, we define the localized truncated bilinear forms [K] t 2 ( f, f 2 ) := t T[K] 2 s (3.5) t ( f ), f 2 T[K] t 2 s L ( f L ), f 2. Remark 3.2. Note that we have normalized by the measure of, unlike the definitions in [7, Section 2]. Observe that as a consequence of the support assumptions in (3.) and of the largest allowed scale being s, we have L L [K] t 2 ( f, f 2 )=[K] t 2 ( f, f 2 3 ). Similarly we remark that T[K] t 2 s L ( f L ) is supported on the set 3L {x R d : s L (x)>0}; see Remark 3.. Within the above framework, we have the following abstract theorem. Theorem C. Let [K]={K s : s Z} be a family of functions satisfying (3.) and (3.3) above. Assume that there exis p, p 2 < such that sup [K] t 2 (b, f ) + sup [K] t 2 ( f, b) =: CL [K](p, p 2 )<. (3.6) b Ẋp () = f Yp2 ()= f Y () = b Ẋp2 () = hold uniformly over all bounded measurable functions, t 2, and all stopping collections. Then (3.7) T [K] (p,p 2 ),sparse [K] r, + C L [K](p, p 2 ). Proof. The proof follows essentially the same scheme of [7, Theorem C]; for this reason, we limit ourselves to providing an outline of the main steps. Step. Auxiliary estimate. First of all, an immediate consequence of the assumptions of the Theorem is that the estimate (3.8) [K] t 2 ( f, f 2 ) CΘ[K],p,p 2 f Yp () f 2 Yp2 ()

9 SPARSE BOUNDS VIA FOURIER TRANSFORM 9 whereθ [K],p,p 2 := [K] r, +C L [K](p, p 2 ), holds with C> 0 uniform over bounded measurable functions, t 2. See [7, Lemma 2.7]. Therefore, (3.9) T[K] t 2 s ( f ), f 2 CΘ [K],p,p 2 f Yp () f 2 Yp2 ()+ T[K] t 2 s L ( f L ), f 2 Step 2. Initialization. The argument begins as follows. Fixing f j L p j (R d ), j =, 2 with compact support, we may find measurable functions, t 2 which are bounded above and below and a large enough dyadic cube 0 from one of the canonical 3 d dyadic systems such that supp f 0, supp f and T [K] f, f 2 2 T[K] t 2 s 0 ( f 0 ), f 2 and we clearly can replace f 2 by f 2 in what follows. Step 3. Iterative process. Then, the argument proceeds via iteration over k of the following construction, which follows from (3.9) and the Calderón-Zygmund decomposition and is initialized by takings k ={ 0 } for k=0. Given a disjoint collection of dyadic cubes S k with the further Whitney property that (2.3) holds fors k in place of, there exists a further collection of disjoint dyadic cubes L S k+ such that (2.3) fors k in place ofcontinues to hold, each subcollections k+ ()={L S k+ : L 3} is a stopping collection with top, and for which for all S k there holds T[K] t 2 s ( f ), f 2 (3.0) C Θ [K],p,p 2 f p,3 f 2 p2,3+ L S k+ () L L L T[K] t 2 s L ( f L ), f 2. More precisely,s k+ is composed by the maximal dyadic cubes L such that { } M p j ( f j 3 )(x) (3.) 9L E, E := x 3 : max > C j=,2 f S j p j,3 k for a suitably chosen absolute large dimensional constant C. This construction, as well as the Whitney property (2.3) results into (3.2) = E 2 S k, k=0,,... L S k+ L S k : N() guaranteeing thatt k := k κ=0 S κ is a sparse collection for all k. When k = k is such that inf{s : S k}<inf, the iteration stops and the estimate T [K] f, f 2 Θ [K],p,p 2 f p,3 f 2 p2,3 T k is reached. This completes the proof of Theorem C.

10 0 F. DI PLINIO, T.P. HYTÖNEN, AND K. LI 4. Preliminary localized estimates for the truncated forms (3.5) We begin by introducing our notation for the Dini constant of a family of kernels [K] as in (3.). We write (4.) [K] Dini := [K] + j([k]) where j([k]) := sup 2 sd sup s Z x R d sup h R d s j 3 h <2 ( j=0 ) K s (x, x+ ) K s (x+h, x+ ) + K s (x+, x) K s (x+, x+h) The estimates contained within the lemmata that follow are meant to be uniform over all measurable functions, t 2 and all stopping collections. The first one is an immediate consequence of the definitions: for a full proof, see [7, Lemma 2.3]. Lemma 4.. Le<r<. Then [K] t 2 ( f, f 2 ) [K] r, f Yr () f 2 Yr () The second one is a variant of [7, Lemma 3.2]; we provide a full proof. Lemma 4.2. There holds [K] t2 (b, f ) [K] Dini b Ẋ () f Y (). Proof. We consider the family K fixed and use the simplified notation t 2 in place of[k] t 2, and similarly for the truncated operators T[K]. By horizontal rescaling we can assume =. Let b Ẋ. Recalling the definition (2.5) and using bilinearity of t 2 it suffices for each stopping cube R to prove that (4.2) t 2 (b R, f ) [K] Dini b R f Y as b R R b Ẋ, and conclude by summing up over the disjoint R, whose union is contained in 3. We may further assume R ; otherwise t 2 (b R, f )=0. In addition we can assume f is positive, by repeating the same argument below with the real and imaginary, and positive and negative parts of f. Using the definition of the truncated forms (3.5) and the disjointness of L, t 2 (b R, f ) = T t 2 s (b R ) T t 2 s R (b R ), f = t T 2 s s R (b R ), f s T sr b R, f. Thus, if R s denotes the cube concentric to R and whose sidelength is 2 0+s, using the support conditions and abbreviating a standard calculation t 2 (b R, f ) s T sr b R, f s K s (x, y)b R (y) dy f (x) dx s=s R + which is bounded by the right hand side of (4.2). R s [K] Dini b R Ẋ sup f,r j j R

11 SPARSE BOUNDS VIA FOURIER TRANSFORM The third localized estimate is new. However, its roots lie in the well-known principle that the maximal truncations of a Dini-continuous kernel to scales larger than s do not oscillate too much on a ball of radius 2 s, see (4.7). This was recently employed, for instance, in [, 6, 9]. Lemma 4.3. There holds [K] t 2 ( f, b) ( ) [K] Dini K r, f Y () b X (). Proof. We use similar notation as in the previous proof and again we rescale to =, and work with positive b X. We can of course assume that supp f. We begin by removing an error term; namely, referring to notation (2.), if b o = then (4.3) R c [K] t 2 ( f, b o ) T f (, s, s ), b o [K] b X f Y The first inequality holds because dist(supp f, supp b o )>2 s, so at most the s scale may contribute, and in particular no contribution comes from cubes L. The second inequality is a trivial estimate, see [7, Appendix A] for more details. Thus we may assume b R = 0 whenever R c. We begin the main argument by fixing R c. Then by support considerations T t 2 s L ( f L ), b R 0 = L N(R). Similarly, T t 2 s R f, b R = T t 2 s R ( f sh ), b R = T t 2 s R ( f L ), b R. L N(R) L In fact, using (2.) we learn that dist(sh, R) > 2 s R, whence the first equality. Therefore, subtracting and adding the last display to obtain the second equality, t 2 ( f, b R )= T t 2 s f, b R T t 2 s L ( f L ), b R L N(R) L f, b R = T t 2 s s R L N(R) L b R sign(s L s R ) T t 2 (s L s R ) (s L s R ) ( f L), b R. Now, the summation in the above display is then bounded in absolute value by s L s R T s L s R ( f L ), b R [K] b R f,l [K] Dini b R f Y, L N(R) L N(R) using that s L s R 8whenever L N(R). Therefore when R c t 2 ( f, b R ) t T 2 s (4.4) s R f, b R + C [K] Dini b R f Y with absolute constant C. Now, define the function sup T f (x,τ,τ 2 ) x R c F(x)= s R τ τ 2 s 0 x R c R

12 2 F. DI PLINIO, T.P. HYTÖNEN, AND K. LI and notice that T t 2 s s R f Fon R c. Since b is positive, using (4.3), summing (4.4) over R c and using that this is a pairwise disjoint collection, we obtain that (4.5) t 2 ( f, b) t 2 ( f, b o ) + R c t 2 ( f, b R ) C [K] Dini b Y f Y + T t 2 s f, b R R c s R C [K] Dini b X f Y + F, b R =C [K] Dini b X f Y + F, b. R c Therefore, we are left with bounding F, b. This is actually done using both the L r estimate and the Dini cancellation condition. In fact, decompose ( ) b=g+z, g= g R := b,r R, z= z R := b b,r R so that R c R c R c R c Then g Y b X, z Ẋ 2 b X (4.6) F, g T f, g [K] r, f r g r [K] r, g Y f Y [K] r, f Y b X and we are left to control F, z. We recall from [6, Lemma 2.] the inequality (4.7) T f (x,τ,τ 2 ) T f (ξ,τ,τ 2 ) [K] Dini sup s s R f,rs, x,ξ R,τ 2 τ s R where R s is the cube concentric with R and sidelength 2 s, whence for suitable absolute constant C F(x) F(ξ)+ C [K] Dini f Y, x,ξ R and taking averages there holds sup F(x) F,R [K] Dini f Y. x R Finally, using the above display and the fact that each z R has zero average and is supported on R, F, z F, z R = F F,R R, z R [K] Dini f Y z R (4.8) R R c R c [K] Dini f Y b X and collecting (4.5), (4.6) and (4.8) completes the proof of the Lemma. By Proposition 2. applied to the forms t 2 [K], we may interpolate the bound of Lemma 4.2 with the one of Lemma 4. with r=2. A similar but easier procedure allows to interpolate Lemma 4.3 with Lemma 4. with r = 2. We summarize the result of such interpolations in the following lemma. Lemma 4.4. For 0 ε and p= 2 there holds 2 ε where C L [K](p, p 2 ) is defined in (3.6). C L [K](p, p) ( [K] Dini [K] 2, ) ε ( [K] 2, ) ε

13 SPARSE BOUNDS VIA FOURIER TRANSFORM 3 Remark 4.5 (Calderón-Zygmund theory). Let T be an L 2 (R d )-bounded singular integral operator with Dini-continuous kernel K. Then its maximal truncations obey the estimate (4.9) T f (x) := sup K(x, x+h) f (x+h) dh δ>0 M f (x)+t [K] f (x), δ< h < δ with the family [K] :={K s : s Z} defined by where the smooth radial functionψsatisfies K s (x, x+h) := K(x, x+ h)ψ(2 s h), x, h R d suppψ {h R d : 2 2 < h <}, ψ(2 s h)=, h 0. We know from classical theory [32, Ch. I.7] that [K] 2, T L 2 (R d )+ K Dini. Therefore, in consequence of (4.9) and of the bound M (,),sparse, an application of Theorem C in conjunction with Lemmata 4.2 and 4.3 yields that s Z T (,),sparse T L 2 (R d )+ K Dini. This is a well-known result. The dual pointwise version was first obtained in this form in [6] quantifying the initial result of Lacey [9]; see also [24]. An extension to multilinear operators with less regular kernels was recently obtained in [26]. 5. Proof of Theorem A In this section, we will prove Theorem A by appealing to Theorem C for the family [K]= {(x, y) K s (x y) : s Z} of (.2). First of all, we notice that the assumption (3.) is a direct consequence of (.2). It is known from e.g. [3] (and our work below actually reproves this) that, with reference to (.3) T [K] L 2 (R d ), which is assumption (3.3) with r=2. Therefore, for an application of Theorem C with p = p 2 = p= 2 2 ε, 0<ε< we are left with verifying the corresponding stopping estimates (3.6) hold with C L [K](p, p) ε. We do so by means of a Littlewood-Paley decomposition, as follows. Letϕbe a smooth radial function onr d with support in a sufficiently small ball containing the origin, having mean zero and such that ϕ k (ξ)=, ξ 0, ϕ k ( ) := 2 kd ϕ(2 k ). k= Also define (5.) φ k ( ) := ϕ l ( ), K s,0 = K s φ s, K s, j = l k j l= ( j )+ K s ϕ s l, j. for some large integer which will be specified during the proof. Unless otherwise specified, the implied constants appearing below are independent of but may depend onα>0 from (.2) and on the dimension. Note that K s, j are supported in{ x <2 s }. Define now for all j 0 [K j ]={(x, y) K s, j (x y) : s Z}

14 4 F. DI PLINIO, T.P. HYTÖNEN, AND K. LI and note that, with unconditional convergence (5.2) K s (y)= K s, j (y), y R d. j=0 The following computation is carried out in [6, Section 3]. Lemma 5.. There holds (5.3) l([k j ]) min{, 2 j l } and as a consequence [K j ] Dini + j for all j 0. It is also well-known that (5.4) sup,t 2 Z f T[K j ] f (,, t 2 )= K s, j f <s t 2 L 2 (R d ) 2 α ( j ) ; however, we need a stronger estimate on the pointwise maximal truncations, which is implicit in [3]. Lemma 5.2. There holds [K 0 ] 2,, [K j ] 2, 2 α 2 ( j ), j. Proof. Letβbe a smooth compactly supported function onr d normalized to have β, =, and writeβ s ( )=2 sd β(2 s ). By usual arguments it suffices to estimate the L 2 (R d ) operator norm of uniformly over, t 2 Z. We then have (5.5) T[K j ] f (, s, t 2 )=β s ( For I,s, by (5.4) we have (5.6) f sup s t 2 T[K j ] f (, s, t 2 ) K k (φ k j φ k ( j ) ) ) f <k t 2 β s ( K k (φ k j φ k ( j ) ) ) f <k s + (δ β s ) ( s<k t 2 K k (φ k j φ k ( j ) ) ) f=: I,s + I 2,s + I 3,s, sup I,s ( M T[K s t 2 j ] f (,, t 2 ) ) 2 2 α ( j ) f 2. 2

15 SPARSE BOUNDS VIA FOURIER TRANSFORM 5 Next we estimate the second and third contribution in (5.5). We have, using the third assertion in (.2), that ˆβ(2 s ξ) ˆK k (ξ)( ˆφ(2 k j ξ) ˆφ(2 k ( j ) ξ)) <k s <k s min{, 2 s ξ } min{ 2 k ξ α, 2 k ξ α } j l= ( j ) min{ 2 k l ξ, 2 k l ξ } 2 α ( j ) 2 s ξ, 2 s ξ >, 2 ( j ) 2 s ξ, 2 s ξ A similar computation reveals ( ˆβ(2 s ξ)) ˆK k (ξ)( ˆφ(2 k j ξ) ˆφ(2 k ( j ) ξ)) 2 α ( j )/2 min{ 2 s ξ, 2 s ξ α/2 }. k s Thus by Plancherel, for m=2, 3 we have (5.7) sup I m,s ( t 2 s t 2 I m,s 2) α ( j )/2 f 2 s= 2 and the proof of the Lemma is completed by putting together (5.5) (5.7). We are now ready to verify the assumptions (3.6) for the truncated forms[k] t 2 associated to a family [K] satisfying the assumptions (.2). By virtue of Lemma 5. and 5.2, Lemma 4.4 applied to the families [K j ] for the value =2ε α yields that C L [K j ](p, p) ( [K j ] Dini [K j ] 2, ) ε ( [K j ] 2, ) ε (+ j) ε 2 α 2 ( j )ε ε (+ j)2 j. Therefore using linearity in the kernel family [K] of the truncated forms t 2 [K] and the decomposition (5.)-(5.2) (5.8) C L [K](p, p) C L [K j ](p, p) ε which, together with the previous observations, completes the proof of Theorem A. j=0 6. Extension to vector-valued functions In this section, we suitably extend the abstract domination principle Theorem C to (a suitably defined)f n -valued extension, withf {R,C}, of the singular integrals of Section 3. In fact, thec n -valued case can be recovered by suitable interpretation of ther 2n -valued one; thus, it suffices to considerf=r. 6.. Convex body domination. Le p<. To each f L p loc (Rd ;R n ) and each cube in R d, we associate the closed convex symmetric subset ofr n { } (6.) f p, := fϕ dx :ϕ Φ p () R n,

16 6 F. DI PLINIO, T.P. HYTÖNEN, AND K. LI where we used the notationφ q () :={ϕ : R, ϕ q, }. It is easy to see that sup ξ f p, ξ f R n p, where p, on the right hand side is being interpreted in the usual fashion. A slightly less obvious fact that we will use below is recorded in the following simple lemma, which involves the notion of John ellipsoid of a closed convex symmetric set K. This set, which we denote bye K, stands for the solid ellipsoid of largest volume contained in K; in particular, the John ellipsoid of K has the property that (6.2) E K K ne K where, if A R n and c 0, by ca we mean the set{ca : a A}. We also apply this notion in the degenerate case as follows: if the linear span of K is a k-dimensional subspace V ofr n, we denote bye K the solid ellipsoid of largest k-dimensional volume contained in K. In this case, (6.2) holds with k in place of n, but then it also holds as stated, since k n ande K is also convex and symmetric. Lemma 6.2. Let f= ( f,..., f n ) L p loc (Rd ;R n ) and suppose thate f p, = B, where B ρ ={a R n : a R n ρ}. Then sup f j p, n. j=,...,n Proof. By definition of p, for scalar functions, f j p, = sup f j ϕ dx= ϕ Φ p () f j ϕ dx for a suitableϕ Φ p (). Thus f j p, is the j-th component of the vector f ϕ = f j ϕ dx f p,. By (6.2), and in consequence of the assumption, f ϕ B n, which proves the assertion. We now define the sparse (p, p 2 ) norm of a linear operator T mapping the space L 0 (Rd ;R n ) into locally integrable,r n -valued functions, as the least constant C> 0 such that for each pair f, f 2 L 0 (Rd ;R n ) we may find a -sparse collectionssuch that 2 (6.3) T f, f 2 C f p, f 2 p2,. S We interpret the rightmost product in the above display as the right endpoint of the Minkowski product AB={ a, b R n : a A, b B} of the closed convex symmetric sets A, B R n, which is a closed symmetric interval. We use the same familiar notation T (p,p 2 ),sparse for such norm. Within such framework, we have the following extension of Theorem C. Theorem D. Let [K]={K s : s Z} be a family of real-valued functions satisfying (3.), (3.3), and (3.6) for some <r<, p, p 2 <. Then ther n -valued extension of the linearized truncations T[K] t 2 defined in (3.4) admits a (p, p 2 ) sparse bound, namely (6.4) T[K] t 2 Id R n [K] (p,p 2 ),sparse r, + C L [K](p, p 2 )

17 SPARSE BOUNDS VIA FOURIER TRANSFORM 7 with implicit constant possibly depending on r, p, p 2 and the dimensions d, n only, and in particular uniform over bounded measurable truncation functions, t 2. Remark 6.3. The objects (6.) for p= have been introduced in this context by Nazarov, Petermichl, Treil and Volberg [30], where sparse domination of vector valued singular integrals by the Minkowski sum of convex bodies (6.) is employed towards matrix-weighted norm inequalities. In [9], a similar result, but in the dual form (6.3) with p = p 2 = is proved for dyadic shifts via a different iterative technique which is a basic version of the proof of Theorem C. Subsequent developments in vector valued sparse domination include the sharp estimate for the dyadic square function [4]. The usage of exponents p> in (6.), necessary to effectively tackle rough singular integral operators, is a novelty of this paper Matrix-weighted norm inequalities. We now detail an application of Theorem 6.4 to matrix-weighted norm inequalities for maximally truncated, rough singular integrals. In particular, Corollary E from the introduction is a particular case of Theorem E below. The classes of weights we are concerned with are the following. A pair of matrix-valued weights W, V L loc (Rd ;L(R n )) is said to satisfy the (joint) matrix A 2 condition if [W, V] A2 := sup W V 2 < L(R n ) supremum being taken over all cubes R d and W := W(x) dx L(R n ). We simply write [W] A2 := [W, W ] A2. We further introduce a directional matrix A condition, namely [W] A := sup [ Wξ,ξ R n] A sup [ Wξ,ξ R n] A2 [W] A2. ξ S n ξ S n where the second inequality is the content of [30, Lemma 4.3]. Theorem E. Let W, V L loc (Rd ;L(R n )) be a pair of matrix weights, and T Ω,δ be defined by (.6), with in particular Ω. Then (6.5) sup W 2 TΩ,δ (V R 2 f ) max{[w] A, [V] A } [W, V] A2 [W] A [V] A f n L 2 (R d ;R ). n δ>0 L 2 (R d ) We now explain how an application of Theorem D reduces Theorem E to a weighted square function-type estimate for convex-body valued sparse operators. First of all, fix f of unit norm in L 2 (R d ;R n ). We may then find g of unit norm in L 2 (R d ;R n ) and bounded measurable functions, t 2 such that the left hand side of (6.5) is bounded by twice the sum of (6.6) T[K] t 2 Id R n(v 2 f ), W 2 g and Rn x sup W 2 (x)v 2 f x L 2 (R d ) x sup x 2 W L(R (x) V 2 n ) V 2 V 2 R f n L 2 (R d ) where [K] is a suitable decomposition satisfying (.2). The latter expression is (the norm of) a two-weight version of the matrix weighted maximal function of Christ and Goldberg [5]. In the,

18 8 F. DI PLINIO, T.P. HYTÖNEN, AND K. LI one weight case when V= W A 2, its boundedness has been proved in [5] and quantified in [7], which contains the explicit bound and the implicit improvement c d,n [W] A2 f L 2 (R d ;R n ) c d,n [W] /2 A 2 [W ] /2 A f L 2 (R d ;R n ), where c d,n is a dimensional constant. A straightforward modification of the same argument, using the splitting on the right of the previous display, gives the bound [W, V] /2 A 2 [V] /2 A f L 2 (R d ;R n ) in the two weight case. Roughly speaking, the first factor is controlled by the two weight A 2 condition and the second one by the A property of V. By virtue of the localized estimate (5.8) for [K], an application of Theorem D tells us that (6.6) is bounded by C/ε times a sparse sublinear form as in (6.3) with p = p 2 = +ε, f = V 2 f and f 2 = W 2 g for allε>0. Finally, we gather that sup W 2 TΩ,δ (V R 2 f ) n (6.7) δ>0 [V, W] A2 max{[w] A, [V] A }+inf sup ε>0 S ε 2 V 2 f +ε, W 2 g +ε, where the supremum is being taken over -sparse collectionss, and the proof of Theorem E is 2 completed by the following proposition. Proposition 6.5. The estimate inf V 2 f +ε, W 2 g +ε, max{[w] A, [V] A } [W, V] A2 [W] A [V] A ε>0ε S holds uniformly over all f, g of unit norm in L 2 (R d ;R n ) and all -sparse collectionss. 2 Proof. There is no loss in generality with assuming that the sparse collectionsis a subset of a standard dyadic grid inr d, and we do so. Fixε>0. By standard reductions, we have that (6.8) sup V 2 f +ε, W 2 f2 +ε, [W, V] A2 sup S V,ε f 2 S W,ε f 2 2 f j L 2 (R d ;R n ) = f j L 2 (R d ;R n ) = S S having defined the square function S W,ε f 2 = (W ) 2 2 W 2 f R n S Now, if ε<2 0 t W, t W := (2 d+n+ +[W] A ) +2t, p := (, 2) (+ε)(+t) as a result of the sharp reverse Hölder inequality and of the Carleson embedding theorem there holds S W,ε f 2 2 f R n 2 2 p, (p ) p f R n 2 2 [W] A f R n 2 2 S +ε,.

19 SPARSE BOUNDS VIA FOURIER TRANSFORM 9 cf. [30, Proof of Lemma 5.2], and a similar argument applies to S V,ε. Therefore, forε < 2 0 min{t W, t V }, (6.8) turns into sup V 2 f +ε, W 2 f2 +ε, [W, V] A2 [W] A [V] A f j L 2 (R d ;R n ) = S which in turn proves Proposition 6.5. Remark 6.6. We may derive a slightly stronger weighted estimate than (6.7) for the nonmaximally truncated rough integrals T Ω,δ, by applying Theorem D in conjunction with the (, +ε) localized estimates proved in [7]. Namely, the estimate W 2 TΩ,δ (V 2 L f ) 2 (R d ;R n ) sup inf sup g L 2 (R d ;R n ) =ε>0 S ε V 2 f, W 2 g +ε,. holds uniformly inδ>0 for all f of unit norm in L 2 (R d ;R n ). Repeating the proof of Proposition 6.5 then yields the slightly improved weighted estimate W 2 TΩ,δ (V 2 L f ) min{[w] 2 (R d ;R n A, [V] A } [W, V] A2 [W] A [V] A f L ) 2 (R d ;R ). n sup δ> Proof of Theorem D. The proof of Theorem D is formally identical to the argument for the scalar valued case, provided that estimate (3.0) and the definition of E given in (3.) are replaced by suitable vector valued versions. We begin with the second tool. The proof, which is a minor variation on [9, Lemma 3.3], is given below Lemma 6.8. Let 0<η, be a dyadic cube and f j L p j (R d ;R n ), j=, 2. Then the set (6.9) E := 2 { x 3 :η f j 3 p j,l f j p j,3 for some cube L R d with x L } j= satisfies E Cη min{p,p 2 } for some absolute dimensional constant C. Proof. We may assume that supp f j 3. It is certainly enough to estimate the measure of each j {, 2} component of E by Cη p j, and we do so: we fix j and are thus free to write f j = f, p j = p. LetL f ={L R d :η f p,l f p,3 }. By usual covering arguments it suffices to show that if L,... L m L f are disjoint then m L µ Cη p. µ= Fix such a disjoint collection L,... L m. Notice that if A GL(R n ) thenl A f =L f. By action of GL(R n ) we may thus reduce to the case wheree f p,3 = B, and in particular (6.0) B f p,3 B n. By membership of each L µ L f, we know thatη f p,lµ B. A fortiori, there existsϕ µ Φ p (L µ ) and a coordinate indexl µ {,...,n} such that (6.) η(f µ ) l > dx, F µ := fϕ µ n L µ L µ. S

20 20 F. DI PLINIO, T.P. HYTÖNEN, AND K. LI Let M l ={µ {,...,m} :l µ =l}. As{,...,m}= {M l :l=,...,n} it suffices to show that (6.2) L µ =:δ<cη p. 3 µ M l Using the membershipϕ µ Φ p (L µ ) for the first inequality and the disjointness of the supports for the second equality dx p ϕ µ δ L µ 3 3 = dx p ϕ 3 3, ϕ :=δ p ϕ µ 3 µ M l µ M l so thatϕ Φ p (3). In particular, beginning with the right inclusion in (6.0) and using (6.) in the last inequality dx L µ n ( fϕ) l 3 3 =δ p 3 (F µ) l > µ M l η n δ p which rearranging yields (6.2) with C= n p, thus completing the proof. At this point, lets k be a collection of pairwise disjoint cubes as in Step 3 of the proof of Theorem C. The elements of the collections k+ are defined to be the maximal dyadic cubes L such that the same condition as in (3.) holds, provided the definition of E therein is replaced with the one in (6.9). By virtue of Lemma 6.8, (3.2) still holds providedηis chosen small enough. And, we still obtain thats k+ ()={L S k+ : L 3} is a stopping collection. By definition ofs k+, it must be that (6.3) f j 3 p j,k C f j p j,3 whenever the (not necessarily dyadic) cube K is such that a moderate dilate CK of K contains 2 5 L for some L S k+ (). Fix for a moment and let A j = (A mµ j : m,µ n) GL(R n ), j=, 2 be chosen such that the John ellipsoid of f j 3,p j is B, or its intersection with a lower dimensional subspace in a degenerate case, and A j f j := f j. It follows from (6.3) that if 2 5 L CK then f j 3 p j,k B C. This fact, together with Lemma 6.2 readily yields the estimates (6.4) f j Yp j (), j=, 2. We are ready to obtain a substitute for (3.0). In fact T[K] t 2 s n Id R n( f ), f 2 [K] t 2 ( f m, f 2m ) + m= L S k+ () L and by actions of GL(R n ), see the proof of [9, Lemma 3.4], n [K] t 2 ( f m, f 2m ) = n A mµ A mµ 2 2 [K] t 2 ( f µ, f 2µ2 ) m= m,µ,µ 2 = f p,3 f 2 p2,3 sup µ,µ 2 [K] t 2 ( f µ, f 2µ2 ) f p,3 f 2 p2,3 T[K] t 2 s L Id R n( f L ), f 2 where we also employed (3.8) coupled with (6.4) in the last line. Assembling together the last two displays yields the claimed vector-valued version of (3.0), and finishes the proof of Theorem D.

21 SPARSE BOUNDS VIA FOURIER TRANSFORM 2 7. Proof of Theorem B We begin with the proof of the first point. As a direct application of the main result of [27], where r= ( (+ε) p By definition, T f, g c d,p ε [v] +ε p A r ([u] p A + [v] p A ) f L p (w) g L p (σ), ) +ε ( p p(p 2)ε )+= p+, v=σ +ε p εp + = w p +ε (+ε) +ε (p )ε, u=w +ε p [v] +ε p A r ( = sup ( = sup εp ) + w p +ε ( p (+ε) εp ) + w p p (+ε) εp + p (+ε) ( εp ) + (r )( +ε σ p p (+ε) ) εp ) + p σ εp p (+ε) + p (+ε). By the sharp reverse Hölder inequality [5], taking ε = τ d max{p,p } max{[w] A,[σ] A, we can conclude } T L p (w) c d,p [w] p A p ([w] p A p + [σ] p A ) max{[σ] A, [w] A } c d,p [w] 2 max{, p } A p. Next let us prove the Fefferman-Stein type inequality of the second point. Indeed, let A(t) = t pr/ r and B(t)=t 2 ( p r +) r pr 2, where <r< p and r=. Then pr (r ) Let v= M r w. Now we have, sup w r pr (M rw) r/p r B, sup inf (M rw) p (Mr w) r/p r x B,. r f r, gw p r, = r f S S r v p r v p r r gw p r, r S f r v r p r B, v r p rb, w r p ra, g r rā, 2 r S f r v r p r B, g r rā, E 2 r M D B ( f r v r p ) r M DĀ(t r ) (g) By sparse domination formula and duality, 2 r M D B ( f r v r p ) r L p M D Ā(t r ) (g) L p c d p 2 (p ) p (r ) + p f L p (v) g L p. T( f ) L p (w) c d p 2 (p ) p (r ) + p f L p (M r w). Notice that the A -A estimate just follows from the sharp reverse Hölder inequality, so that we may restrict to q>. The idea is still viewing A q condition as a bumped A p condition (see

22 22 F. DI PLINIO, T.P. HYTÖNEN, AND K. LI [25]). Let C(t)=t r(q ). We have Take r S p f r, gw r, r S r=+ f r w r p r C, w r p rc, g rs w rs 8p( p, s=+ q ) τ d [w] A 4( p q ) p. w(r s )s rs. Then rs<+ 2p < p, r<+ 8 ( p q )< p q and (r s )s < + τ d [w] A. Then applying the sparse domination, and the sharp reverse Hölder inequality we obtain T( f ) L p (w) sup r f r, gw r, g L p (w) = S sup c d,p,q [w] A f r w r p r C, g w g L p (w) = rs, w w q q p S sup c d,p,q [w] A [w] p g L p (w) = A q S f r w r p r C, g w rs, w() p p sup c d,p,q [w] A [w] p( g L p (w) = A q f r w r p r C, ) ( p S S( g w rs, w() ) )p p c d,p,q [w] + p A [w] p A q f L p (w), where in the last step we have used the Carleson embedding theorem; we omit the routine details. Finally, we prove the Coifman-Fefferman type inequality. Fixε>0 and denoteη=+ε. Also let r=+, s=+ 8pη τ d [w] A 4η p. Then again rs<+ < 2p p, r<η and (r s )s < + τ d [w] A. Applying the sparse domination formula again, we obtain T( f ) L p (w) sup r f r, gw r, sup η [w] A f η, g w g L p (w) = S g L p (w) = rs, w() S sup η [w] 2 g L p (w) = A M η f Mrs,w D (g)wdx η [w] 2 A M η f L p (w). R d References [] Frédéric Bernicot, Dorothee Frey, and Stefanie Petermichl, Sharp weighted norm estimates beyond Calderón- Zygmund theory, Anal. PDE 9 (206), no. 5, MR [2] K. Bickel, A. Culiuc, S. Treil, and B. D. Wick, Two weight estimates with matrix measures for well localized operators, preprint arxiv: [3] Kelly Bickel, Stefanie Petermichl, and Brett D. Wick, Bounds for the Hilbert transform with matrix A 2 weights, J. Funct. Anal. 270 (206), no. 5, MR [4] Michael Christ, Weak type (, ) bounds for rough operators, Ann. of Math. (2) 28 (988), no., MR 95506

23 SPARSE BOUNDS VIA FOURIER TRANSFORM 23 [5] Michael Christ and Michael Goldberg, Vector A 2 weights and a Hardy-Littlewood maximal function, Trans. Amer. Math. Soc. 353 (200), no. 5, MR [6] Michael Christ and José Luis Rubio de Francia, Weak type (, ) bounds for rough operators. II, Invent. Math. 93 (988), no., MR [7] José M. Conde-Alonso, Amalia Culiuc, Francesco Di Plinio, and Yumeng Ou, A sparse domination principle for rough singular integrals, preprint arxiv: , to appear in Analysis & PDE. [8] Amalia Culiuc, Francesco Di Plinio, and Yumeng Ou, Domination of multilinear singular integrals by positive sparse forms, preprint arxiv: [9] Amalia Culiuc, Francesco Di Plinio, and Yumeng Ou,, Uniform sparse domination of singular integrals via dyadic shifts, preprint arxiv: , to appear in Math. Res. Lett. [0] Amalia Culiuc, Robert Kesler, and Michael T. Lacey, Sparse bounds for the discrete cubic Hilbert transform, preprint arxiv: [] Fernanda Clara de França Silva and Pavel Zorin-Kranich, Sparse domination of sharp variational truncations, preprint arxiv: [2] Francesco Di Plinio and Andrei K. Lerner, On weighted norm inequalities for the Carleson and Walsh- Carleson operator, J. Lond. Math. Soc. (2) 90 (204), no. 3, MR [3] Javier Duoandikoetxea and José L. Rubio de Francia, Maximal and singular integral operators via Fourier transform estimates, Invent. Math. 84 (986), no. 3, MR [4] T. Hytönen, S. Petermichl, and A. Volberg, The sharp square function estimate with matrix weight, preprint arxiv: [5] Tuomas Hytönen, Carlos Pérez, and Ezequiel Rela, Sharp reverse Hölder property for A weights on spaces of homogeneous type, J. Funct. Anal. 263 (202), no. 2, MR [6] Tuomas P. Hytönen, Luz Roncal, and Olli Tapiola, uantitative weighted estimates for rough homogeneous singular integrals, Israel J. Math. 28 (207), no., MR [7] J. Isralowitz, H.-K. Kwon, and S. Pott, Matrix weighted norm inequalities for commutators and paraproducts with matrix symbols, ArXiv e-prints (205). [8] Michael T. Lacey, Sparse Bounds for Spherical Maximal Functions, preprint arxiv: , to appear in J. d Analyse Math. [9] Michael T. Lacey, An elementary proof of the A 2 bound, Israel J. Math. 27 (207), no., MR [20] Michael T. Lacey and Dario Mena Arias, The sparse T Theorem, Houston J. Math. 43 (207), no., 27. [2] Michael T. Lacey and Scott Spencer, Sparse bounds for oscillatory and random singular integrals, New York J. Math. 23 (207), 9 3. MR [22] A. K. Lerner, A weak type estimate for rough singular integrals, preprint arxiv: [23] A. K. Lerner, S. Ombrosi, and I. P. Rivera-Ríos, On pointwise and weighted estimates for commutators of Calderón-Zygmund operators, preprint arxiv: [24] Andrei K. Lerner, On pointwise estimates involving sparse operators, New York J. Math. 22 (206), MR [25] Kangwei Li, Sharp weighted estimates involving one supremum, preprint arxiv: [26] Kangwei Li, Sparse domination theorem for multilinear singular integral operators with L r -Hörmander condition, preprint arxiv: , to appear in Michigan Math. J. [27] Kangwei Li, Two weight inequalities for bilinear forms, Collect. Math. 68 (207), no., [28] Kangwei Li, Carlos Pérez, Israel P. Rivera-Ríos, and Luz Roncal, Weighted norm inequalities for rough singular integral operators, preprint arxiv: [29] Teresa Luque, Carlos Pérez, and Ezequiel Rela, Optimal exponents in weighted estimates without examples, Math. Res. Lett. 22 (205), no., MR [30] Fedor Nazarov, Stefanie Petermichl, Serger Treil, and Alexander Volberg, Convex body domination and weighted estimates with matrix weights, preprint arxiv: [3] Andreas Seeger, Singular integral operators with rough convolution kernels, J. Amer. Math. Soc. 9 (996), no., MR 37232

24 24 F. DI PLINIO, T.P. HYTÖNEN, AND K. LI [32] Elias M. Stein, Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, Princeton Mathematical Series, vol. 43, Princeton University Press, Princeton, NJ, 993, With the assistance of Timothy S. Murphy, Monographs in Harmonic Analysis, III. MR [33] Pavel Zorin-Kranich, A p -A estimates for multilinear maximal and sparse operators, preprint arxiv: , to appear in J. d Analyse Math. (FDP) Department of Mathematics, University of Virginia, Box 40037, Charlottesville, VA 22904, USA address: francesco.diplinio@virginia.edu (TPH) Department of Mathematics and Statistics, P.O.B. 68, FI-0004 University of Helsinki, Finland address: tuomas.hytonen@helsinki.fi (KL) BCAM, Basque Center for Applied Mathematics, Bilbao, Spain address: kli@bcamath.org