arxiv: v3 [math.ca] 26 Apr 2017

Transcription

1 arxiv: v3 [math.ca] 26 Apr 2017 SPARSE DOMINATION THEOREM FOR MULTILINEAR SINGULAR INTEGRAL OPERATORS WITH L r -HÖRMANDER CONDITION KANGWEI LI Abstract. In this note, we show that if T is a multilinear singular integral operator associated with a kernel satisfies the so-called multilinear L r -Hörmander condition, then T can be dominated by multilinear sparse operators. 1. Introduction and main results This note is devoted to obtain a sparse domination formula for a class of multilinear singular integral operators. Dominating Calderón-Zygmund operators by sparse operators starts from Lerner [19], in which paper he obtained the following result, Tf(x) X C T sup D,S ( S ) f χ (x), X where the supremum is taken over all the sparse families S D (see below for the definition) and all the dyadic grids D and X is an arbitrary Banach function space. Then the A 2 theorem (due to Hytönen [12]) follows as an easy consequence. Later, this result was refined by a pointwise control independently and simultaneously by Conde-Alonso and Rey [6], and by Lerner and Nazarov [21]. All the results mentioned above require the kernel satisfying the log- Dini condition. Finally, Lacey [17] relaxed the log-dini condition to Dini condition and then Hytönen, Roncal and Tapiola [14] refined the proof by tracking the precise dependence on the constants. Very recently, Lerner [20] also provided a new proof for this result, which also works for some more general operators. To be precise, Lerner showed the following result: Date: June 25, Mathematics Subject Classification. 42B20, 42B25, 42B15. Key words and phrases. sparse domination theorem, L r -Hörmander condition. The author was supported by the European Union through Tuomas Hytönen s ERC Starting Grant Analytic-probabilistic methods for borderline singular integrals. He was a member of the Finnish Centre of Excellence in Analysis and Dynamics Research. He is also supported by the Basque Government through the BERC program and by Spanish Ministry of Economy and Competitiveness MINECO: BCAM Severo Ochoa excellence accreditation SEV

2 2 KANGWEI LI Theorem A. [20, Theorem 4.2] Given a sublinear operator T. Assume that T is of weak type (q,q) and the corresponding grand maximal truncated operator M T is of weak type (r,r), where 1 q r <. Then, for every compactly supported f L r (R n ), there exists a sparse family S such that for a.e. x R n, T(f)(x) c n,q,r ( T L q L q, + M T L r L r, ) ( f rχ r)1 (x). S Let us recall the notations in the above result. We say S is a sparse family if for all cubes S, there exists E which are pairwise disjoint and E γ, where 0 < γ < 1. For a given operator T, the so-called grand maximal truncated operator M T is defined by M T f(x) = sup ess sup T(fχ R n \3)(ξ). x ξ It is shown in [20] that Calderón-Zygmund operators with Dini continuous kernel satisfy the assumption in Theorem A with q = r = 1. In this short note, we shall give a multilinear analogue of Theorem A. Then as an application, we give a sparse domination formula for multilinear singular integral operators whose kernel K(x,y 1,,y m ) satisfies the so-called m-linear L r -Hörmander condition K r := sup sup x,z 1 2 k=1 where m = }{{} is understood as K 1 := sup sup mtimes x,z 1 2 k=1 ( 2 k m r (2 k ) m \(2 k 1 ) m K(x,y 1,,y m ) K(z,y 1,,y m ) r 2 k m r <, and 1 r <. When r = 1, the above formula ess sup K(x,y 1,,y m ) K(z,y 1,,y m ) <. y (2 k ) m \(2 k 1 ) m In [3], Bernicot, Frey and Petermichl showed that a large class of singular non-integral operators can be dominated by sparse operators(actually in the bilinear form sense). Even in the linear case, the L r -Hörmander condition is beyond the off-diagonal estimate assumption in [3]. We also remark that our assumption is weaker than the assumption (H2) used in [1] (see Proposition 3.3). It is also easy to see that our assumption is weaker than the Dini condition used in [9] (see Proposition 3.2). Now to state our main result, we need a multilinear analogue of grand maximal truncated operator. Given an operator T, define M T (f 1,,f m )(x) = sup ess sup T(f 1,,f m )(ξ) T(f 1 χ 3,,f m χ 3 )(ξ), x ξ

3 SPARSE DOMINATION THEOREM 3 note that we don t require T to be multi-sublinear. Given a cube 0, for x 0, we also define a local version of M T by M T,0 (f 1,,f m )(x) = sup Our first result reads as follows esssup x, 0 ξ T(f 1 χ 30,,f m χ 30 )(ξ) T(f 1 χ 3,,f m χ 3 )(ξ). Theorem 1.1. Assume that T is bounded from L q L q to L q/m, and M T is bounded from L r L r to L r/m,, where 1 q r <. Then, for compactly supported functions f i L r (R n ), i = 1, m, there exists a sparse family S such that for a.e. x R n, T(f 1,,f m )(x) c n,q,r ( T L q L q L q/m, + M T L r L r L r/m, ) m ( f i rχ r)1 (x). S i=1 As a consequence, we show the following Theorem 1.2. Let T be a multilinear singular integral operator which is bounded from L r L r to L r/m, and its kernel satisfies the m-linear L r - Hörmander condition. Then, for compactly supported functions f i L r (R n ), i = 1, m, there exists a sparse family S such that for a.e. x R n, T(f 1,,f m )(x) c n,r ( T L r L r L r/m, +K r) m ( f i rχ r)1 (x). S i=1 We would like to remark that recently a different approach to sparse domination of singular integrals not relying on weak endpoint bounds for grand maximal functions has been developed by many authors, see [5, 8, 15, 18]. In the next section, we shall give a proof for Theorems 1.1 and 1.2. And in Section 3, we will give some remarks about the m-linear L r -Hörmander condition. 2. Proof of Theorems 1.1 and 1.2 The proof of Theorem 1.1 will follow the same idea used in [20], but with proper changes to make it suit for the multilinear case. For simplicity, we only prove both results in the case of m = 2, and the general case can be proved similarly. First, we prove the following lemma. Lemma 2.1. Suppose T is bounded from L q L q L q/2,, 1 q <. Then for a.e. x 0, T(f 1 χ 30,f 2 χ 30 )(x) c n T L q L q L q 2, f 1 (x)f 2 (x) +M T,0 (f 1,f 2 )(x).

4 4 KANGWEI LI Proof. Suppose that x int 0 and let x be a point of approximate continuity of T(f 1 χ 30,f 2 χ 30 ) (see e.g. [10, p.46]). Then for every ε > 0, the sets E s (x) := {y B(x,s) : T(f 1 χ 30,f 2 χ 30 )(y) T(f 1 χ 30,f 2 χ 30 )(x) < ε} E satisfy lim s(x) s 0 B(x,s) = 1. Denote by (x,s) the smallest cube centered at x and containing B(x,s). Let s > 0 be so small that (x,s) 0. Then for a.e. y E s (x), T(f 1 χ 30,f 2 χ 30 )(x) < T(f 1 χ 30,f 2 χ 30 )(y) +ε It follows that T(f 1 χ 30,f 2 χ 30 )(x) T(f 1 χ 3(x,s),f 2 χ 3(x,s) )(y) +M T,0 (f 1,f 2 )(x)+ε. essinf y E s(x) T(f 1χ 3(x,s),f 2 χ 3(x,s) )(y) +M T,0 (f 1,f 2 )(x)+ε E s (x) 2 q T(f 1 χ 3(x,s),f 2 χ 3(x,s) ) L q/2, +M T,0 (f 1,f 2 )(x)+ε 1 2 ( )1 T L q L q L q 2, E s (x) 2/q f i (y) q q dy +M T,0 (f 1,f 2 )(x)+ε. i=1 3(x,s) Assuming additionally that x is a Lebesgue point of f 1 q and f 2 q and letting subsequently s 0 and ε 0 will conclude the proof. Now we are ready to prove Theorem 1.1. Proof of Theorem 1.1. Fix a cube 0 R n. We shall prove the following recursive inequality, (2.2) T(f 1 χ 30,f 2 χ 30 )(x) χ 0 c n,t f 1 r 1 r 30 f 2 r 1 r 30 + j T(f 1 χ 3Pj,f 2 χ 3Pj )(x) χ Pj, where P j are disjoint dyadic subcubes of 0, i.e. P j D( 0 ) and moreover, j P j Observe that for arbitrary pairwise disjoint cubes P j D( 0 ), we have T(f 1 χ 30,f 2 χ 30 )(x) χ 0 = T(f 1 χ 30,f 2 χ 30 )(x) χ 0 \ j P j + j T(f 1 χ 30,f 2 χ 30 )(x) χ Pj T(f 1 χ 30,f 2 χ 30 )(x) χ 0 \ j P j + j T(f 1 χ 3Pj,f 2 χ 3Pj )(x) χ Pj + j T(f 1 χ 30,f 2 χ 30 )(x) T(f 1 χ 3Pj,f 2 χ 3Pj )(x) χ Pj. Hence, in order to prove the recursive claim, it suffices to show that one can select pairwise disjoint cubes P j D( 0 ) with j P j and such

5 SPARSE DOMINATION THEOREM 5 that for a.e. x 0, T(f 1 χ 30,f 2 χ 30 )(x) T(f 1 χ 3Pj,f 2 χ 3Pj )(x) χ Pj j + T(f 1 χ 30,f 2 χ 30 )(x) χ 0 \ j P j c n,t f 1 r 1 r 30 f 2 r 1 r 30. By our assumption, M T is bounded from L r L r to L r/2,. Therefore, there is some sufficient large c n such that the set E :={x 0 : f 1 (x)f 2 (x) > c n f 1 r 1 r 30 f 2 r 1 r 30 } {x 0 : M T,0 (f 1,f 2 )(x) > c n M T L r L r L r/2, f 1 r 1 r 30 f 2 r 1 r 30 } will satisfy E 1 2 n+2 0. The Calderón-Zygmund decomposition applied to the function χ E on 0 at height λ = 1 produces pairwise disjoint 2 n+1 cubes P j D( 0 ) such that 1 2 n+1 P j P j E < 1 2 P j and E \ j P j = 0. It follows that j P j and P j E c. Therefore, ess sup ξ P j T(f 1 χ 30,f 2 χ 30 )(ξ) T(f 1 χ 3Pj,f 2 χ 3Pj )(ξ) c n M T L r L r L r/2, f 1 r 1 r 30 f 2 r 1 r 30. On the other hand, by Lemma 2.1, for a.e. x 0 \ j P j, we have T(f 1 χ 30,f 2 χ 30 )(x) c n ( T L q L q L q/2, + M T L r L r L r/2, ) Therefore, combining the estimates we arrive at (2.2) with f 1 r 1 r 30 f 2 r 1 r 30. c n,t T L q L q L q/2, + M T L r L r L r/2,. Now with (2.2), the rest of the argument is the same as that in [20] and we complete the proof. Next we turn to prove Theorem 1.2 Proof of Theorem 1.2. It suffices to prove that M T is bounded from L r L r to L r/2,. Indeed, let x,x,ξ We have (2.3) T(f 1,f 2 )(ξ) T(f 1 χ 3,f 2 χ 3 )(ξ) = K(ξ,y 1,y 2 )f 1 (y 1 )f 2 (y 2 )dy 1 dy 2 (R n ) 2 \(3) 2 (K(ξ,y 1,y 2 ) K(x,y 1,y 2 ))f 1 (y 1 )f 2 (y 2 )dy 1 dy 2 (R n ) 2 \(3) 2 + T(f 1,f 2 )(x ) + T(f 1 χ 3,f 2 χ 3 )(x ).

6 6 KANGWEI LI By the bilinear L r -Hörmander condition, we have (K(ξ,y 1,y 2 ) K(x,y 1,y 2 ))f 1 (y 1 )f 2 (y 2 )dy 1 dy 2 (R n ) 2 \(3) 2 K(ξ,y 1,y 2 ) K(x,y 1,y 2 ) f 1 (y 1 ) f 2 (y 2 ) dy 1 dy 2 k=1 (2 k 3) 2 \(2 k 1 3) 2 ( K(ξ,y 1,y 2 ) K(x,y 1,y 2 ) r r dy 1 dy 2 k=1 (2 k 3) 2 \(2 k 1 3) 2 ( )1 f 1 (y 1 )f 2 (y 2 ) r r dy 1 dy 2 (2 k 3) 2 ( ) = 2 k r K(ξ,y 1,y 2 ) K(x,y 1,y 2 ) r r dy 1 dy 2 k=1 (2 k 3) 2 \(2 k 1 3) 2 ( )1 1 2 k 3 2 f 1 (y 1 )f 2 (y 2 ) r r dy 1 dy 2 (2 k 3) 2 K r (M( f 1 r, f 2 r )(x) r. Then by taking L r/4 average over x on both side of (2.3) we obtain T(f 1,f 2 )(ξ) T(f 1 χ 3,f 2 χ 3 )(ξ) ( K r (M( f 1 r, f 2 r )(x) 1 r + T(f 1,f 2 )(x ) r 4 dx )4 r ( 1 + T(f 1 χ 3,f 2 χ 3 )(x ) r 4 dx )4 r K r (M( f 1 r, f 2 r )(x) r +M r/4 (T(f 1,f 2 ))(x) +c r T(f 1 χ 3,f 2 χ 3 ) L r 2, (, dx ) K r (M( f 1 r, f 2 r )(x) r +Mr/4 (T(f 1,f 2 ))(x) ( 1 ( +c r T L r L r L r/2, f 1 r)1 r f 2 r)1 r (K r +c n,r T L r L r L r/2, )(M( f 1 r, f 2 r )(x) r +M r/4 (T(f 1,f 2 ))(x), where the bilinear maximal function M is defined as ( 1 )( 1 M(f,g)(x) = sup f 1 x So we conclude that ) f 2. M T (f 1,f 2 )(x) (K r +c n,r T L r L r L r/2, )(M( f 1 r, f 2 r )(x) r +M r/4 (T(f 1,f 2 ))(x).

7 SPARSE DOMINATION THEOREM 7 It is obvious that (M( f 1 r, f 2 r )(x) r is bounded from L r L r to L r/2,. On the other hand, since it is well-known that M r/4 is bounded from L r/2, to L r/2,, by the assumption that T is bounded from L r L r to L r/2,, we obtain M r/4 (T(f 1,f 2 )) L r/2, c n,r T L r L r L r/2, f 1 L r f 2 L r. Therefore, M T is bounded from L r L r L r/2, and the desired result follows from Theorem Some remarks In this section, we give some remarks about the L r -Hörmander condition and some applications of our main result. It is well known that the Hörmander condition sup x,z R n y x >2 x z K(x,y) K(z,y) dy < is not sufficient for (3.1) T(f) p w(x)dx C M r (f) p w(x)dx, w A R n R n for any r 1 and 0 < p < (see [25, Theorem 3.1]). So we cannot expect the sparse domination theorem for singular integral operators with this kernel. This is because once we have ( T(f)(x) C T,r f rχ r)1 (x) S forsomer 1, then(3.1) holdsforp = 1(see [13, Lemma4.1]) andtherefore for all 0 < p < (see [7, Theorem 1.1]). Then it is reasonable to consider somewhatstrongerconditionsuchasourl r -Hörmandercondition. Formore background, see [16, 25, 26]. Now we shall briefly show that our conditions are weaker than Dini condition, which is used in [9] by Damián, Hormozi and the author. Recall that the Dini condition is defined by K(x+h,y 1,,y m ) K(x,y 1,,y m ) + K(x,y 1 +h,,y m ) K(x,y 1,,y m ) + + K(x,y 1,,y m +h) K(x,y 1,,y m ) ( ) 1 ( h m i=1 x y i ) 2nω m i=1 x y, i whenever h 1 2 max{ x y i : i = 1,,m}, where ω is increasing, ω(0) = 0 and ω Dini = 1 0 w(t)dt/t <. Proposition 3.2. m-linear Dini condition implies m-linear L r -Hörmander condition.

8 8 KANGWEI LI Proof. Again, wejustprovethecasem = 2. Itisobviousthatwejustrequire regularity in the x variable. Fix x,z 1 2. Since x z < 2 1 nl(), for k > log 2 (1 + 4 n) and (y 1,y 2 ) (2 k ) 2 \ (2 k 1 ) 2, we have x z 1 2 max{ x y 1, x y 2 }. Therefore, k>log 2 (1+4 n) n k>log 2 (1+4 n) 2 k 2 r k>log 2 (1+4 n) ( (2 k ) 2 \(2 k 1 ) 2 K(x,y 1,y 2 ) K(z,y 1,y 2 ) r 2 k 2 r w( 2 n 2 k 1 ) 1 (2 k )2n l() 2n 2k 2 r w( 4 n 2 k ) n ω Dini. r It remains to consider those 1 k log 2 (1+4 n). We should be careful because we don t assume any size condition. In this case, since max{ y y 1, y y 2 } 1 4 l(), y 1 2 and(y 1,y 2 ) (2 k ) 2 \(2 k 1 ) 2, we select 4 n points x 1, x 4 n in the segment between x and z such that x x 1, x i x i+1, x 4 n z 1 8 l(), i = 1,,4 n 1. For convenience, denote x 0 = x and x 4 n +1 = z. Then we have K(x,y 1,y 2 ) K(z,y 1,y 2 ) Consequently, 1 k log 2 (1+4 n) 2 k 2 r n ω( 1 2 ) ω Dini. ( 4 n i=0 K(x i,y 1,y 2 ) K(x i+1,y 1,y 2 ) c n ω( 1 2 )l() 2n. (2 k ) 2 \(2 k 1 ) 2 K(x,y 1,y 2 ) K(z,y 1,y 2 ) r r This completes the proof. Next we will show that L r -Hörmander condition is also weaker than the regularity assumption used in [1] (which was originally introduced in [2]). Recall that the regularity assumption in [1] reads as follows: (H2): There exists δ > n/r so that ( K(x,y 1,,y m ) K(z,y 1,,y m ) r r S jm () S j1 ()

9 SPARSE DOMINATION THEOREM 9 C x z m(δ n/r) mδ/n 2 mδj 0 for all cubes, all x,z 1 2 and (j 1,,j m ) (0,,0), where j 0 = max{j i } 1 i m and S j () = 2 j \2 j 1 if j 1, otherwise, S j () =. Proposition 3.3. Assumption (H2) implies m-linear L r -Hörmander condition. Proof. Again, we just prove the bilinear case. Observe that (2 j ) 2 \(2 j 1 ) 2 = (2 j \2 j 1 ) 2 (2 j (2 j \2 j 1 )) j=1 ((2 j \2 j 1 ) 2 j ) = (S j ()) 2 ( l j S l () S j ()) ( l j S j () S l ()). By triangle inequality, we have ( ) 2 j 2 1 r K(x,y 1,y 2 ) K(z,y 1,y 2 ) r r (2 j ) 2 \(2 j 1 ) ( ) 2 j 2 1 r K(x,y 1,y 2 ) K(z,y 1,y 2 ) r r (S j ()) 2 j=1 2 j 2 r j=1 2 j 2 r j=1 j ( l=0 j ( l=0 S j () S l () S l () S j () 2 j 2 1 r 2/r2 2δj (1+j) j=1 <, K(x,y 1,y 2 ) K(z,y 1,y 2 ) r r K(x,y 1,y 2 ) K(z,y 1,y 2 ) r r the last inequality holds due to δ > n/r. This completes the proof. Remark 3.4. For r > 1, let T be a linear Fourier multiplier with Hörmander condition with parameter n/2 < s < n (see (3.6) in below for the definition). It is shown in [16, Theorem 3] that T is not bounded on L p (w) for some w A p when p < n/s or p > ( n s ). This means (H2) (which is a consequence of the assumption described as above, see [1]) and therefore the L r -Hörmander condition are not sufficient for the Dini condition. For r = 1, recall that we only need the regularity on the x-variable, in this sense, L 1 -Hörmander condition is strictly weaker than the Dini condition. However, the full regularity in the Dini condition is to ensure the weak endpoint boundedness. In fact, we can show that there is only a tiny difference between L 1 -Hörmander condition and Dini-condition in the x-variable. To

10 10 KANGWEI LI see this, define Then ω x,z (t) := sup x,z y: t 2 ω x,z (2 k ) k=1 sup K 1, sup x,z 1 2 k=1 2 sup K(x,y 1,y 2 ) K(z,y 1,y 2 ) ( x y i ) 2n. x z t 2i=1 x y i i=1 2 k 2 ess sup y (2 k ) 2 \(2 k 1 ) 2 K(x,y 1,y 2 ) K(z,y 1,y 2 ) where 1 2 is a cube which contains both x and z with l(1 2 ) = x z. However, the Dini condition in the x-variable can be written as the following supω x,z (2 k ) <. x,z k=1 It is hard to find an example to differentiate these two conditions. Remark 3.5. We claim that actually the L r -Hörmander condition is strictly weaker than (H2). Indeed, (H2) is essentially of Hölder type while L r Hörmander condition is essentially of Dini type. To prove our claim we borrow the example from [25]. And to make things easier we only consider the linear case in one dimension. Define K(x) = x 4 1 r ( log e x 4 ) 1+β r χ {3<x<5} (x). It is easy to check that K L r L 1. Then T : f K f is bounded on L p for all 1 p. It is already proved in [25] that K satisfies the L r -Hörmander condition. Define { K(x), x 2 l+1 1 K l (x) = k=0 (3+ k,3+ 3k+1 ], 2 l 3 2 l 0, otherwise. Similar argument as that in [25] shows that K l satisfies the L r -Hörmander condition uniformly, i.e. sup l (K l ) r <. Let x = 0, z = 2 l 1 and I l = [0,2 l ). We need to analyze ( K l (y x) K l (y z) r r dy. S j (I l ) Observe that only j = l+2 and j = l+3 are non-zero terms. We have ( K l (y) K l (y 2 l 1 ) r r dy 2 l+2 I l \2 l+1 I l

11 (2 l 1 k=0 SPARSE DOMINATION THEOREM k l 3+ k 2 l K l (y) r r dy K L r 2(δ 1 r )l K L r x z (δ 1 r ) I l δ 2 (l+2)δ. This shows that there exist a sequence of operators T l : f K l f, whose kernels satisfy L r Hörmander condition uniformly. However, since δ > 1 r, the constant C in (H2) tends to infinity when l, which means these two conditions cannot be equivalent. In other words, L r -Hörmander condition is strictly weaker than (H2). In the end, we give an application of our result for multilinear Fourier multipliers: T(f 1,,f m )(x) = a( y)e 2πix ( m i=1 y i) R mn m f(y i ), it is shown in [2] that multilinear Mihlin condition implies the assumption (H2). However, for the multilinear Hörmander condition ([11]), i.e., (3.6) sup a(rξ)χ {1< ξ <2} H s (R mn ) <, R>0 i=1 mn 2 < s mn, which is weaker than multilinear Mihlin condition, it is unknown. Very recently, Chaffee, Torres and Wu [4] showed that (3.6) implies the multilinear L r -Hörmander condition with r = mn/s. Therefore, Theorem 1.2 also applies to multilinear Fourier multipliers whose symbols satisfy (3.6). As a consequence of our sparse domination theorem, we can give quantitative weighted bounds for them. We have Theorem 3.7. Let T satisfy the assumption in Theorem 1.2, then Here (p i /r) } p A P/r. T L p 1(w1 ) L pm (w m) L p (v w ) c m,n,t, P [ w] max{1,max i [ w] A P/r := sup ( m w i=1 p p i i ) m ( i=1 w r p i r i ) p(p i r) p i r. For the proof, we refer the readers to [1]. One can also follow the maximal function trick used in [9] and then utilize the result in [22]. We can also obtain the A p -A type bounds, see [23, 9] for details. As we have discussed in the above, all these estimates apply to the multilinear Fourier multipliers with symbols satisfying(3.6). Notice that the qualitative result was obtained by the author and Sun in [24].

12 12 KANGWEI LI Acknowledgement The author would like to thank Prof. Tuomas Hytönen for careful reading an earlier version of this paper and valuable suggestions which have improved the quality of this paper. Thanks also go to the anonymous referees for valuable suggestions. References [1] T. A. Bui, J. Conde-Alonso, X.T. Duong and M. Hormozi, A note on weighted bounds for singular operators with nonsmooth kernels, Studia Math. 236 (2017), , 8, 9, 11 [2] T. A. Bui and X. T. Duong, Weighted norm inequalities for multilinear operators and applications to multilinear Fourier multipliers, Bull. Sci. Math. 137 (2013), no. 1, , 11 [3] F. Bernicot, D. Frey and S. Petermichl, Sharp weighted norm estimates beyond Calderón-Zygmund theory, Anal. & PDE, 9( [4] L. Chaffee, R. Torres, and X. Wu, Multilinear weighted norm inequalities under integral type regularity conditions, Harmonic Analysis, Partial Differential Equations and Applications, Part of the series Applied and Numerical Harmonic Analysis, [5] J. Conde-Alonso, A. Culiuc, F. Di Plinio, and Y. Ou. A sparse domination principle for rough singular integrals. Anal.& PDE, to appear, available at arxiv: [6] J. Conde-Alonso and G. Rey, A pointwise estimate for positive dyadic shifts and some applications, Math. Ann. 365(2016), [7] D. Cruz-Uribe, J.M. Martell and C. Pérez, Extrapolation from A weights and applications, J. Funct. Anal. 213(2004), [8] A. Culiuc, F. Di Plinio, and Y. Ou. Domination of multilinear singular integrals by positive sparse forms. preprint, available at arxiv: [9] W. Damián, M. Hormozi and K. Li, New bounds for bilinear Calderón- Zygmund operators and applications, Rev. Mat. Iberoam. to appear, available at arxiv: , 7, 11 [10] L. Evans and R. Gariepy, Measure theory and fine properties of functions. Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, viii+268 pp. 4 [11] L. Grafakos and Z. Si, The Hörmander type multiplier theorem for multilinear operators, J. Reine Angew. Math. 668 (2012), [12] T. Hytönen, The sharp weighted bound for general Calderón-Zygmund operators. Ann. of Math.(275(2012), no. 3, [13] T. Hytönen and C. Pérez, The L(logL) ǫ endpoint estimate for maximal singular integral operators, 428(2015), [14] T. Hytönen, L. Roncal and O. Tapiola, uantitative weighted estimates for rough homogeneous singular integrals, Israel J. Math. 218(2017), [15] B. Krause and M. Lacey. Sparse bounds for random discrete Carleson theorems. preprint, available at arxiv: [16] D.S. Kurtz and R.L. Wheeden, Results on weighted norm inequalities for multipliers, Trans. Amer. Math. Soc., 255(1979), , 9 [17] M. Lacey, An elementary proof of the A 2 bound, Israel J. Math. 217(2017), [18] M. Lacey and S. Spencer. Sparse bounds for oscillatory and random singular integrals. New York J. Math. 23(2017), [19] A. Lerner, A simple proof of the A 2 conjecture, Int. Math. Res. Not. 14(2013),

13 SPARSE DOMINATION THEOREM 13 [20] A. Lerner, On pointwise estimates involving sparse operators, New York J. Math. 22(2016) , 2, 3, 5 [21] A. Lerner and F. Nazarov, Intuitive dyadic calculus: the basics. Preprint, arxiv: [22] K. Li, K. Moen and W. Sun, The sharp weighted bound for multilinear maximal functions and Calderón-Zygmund operators. J. Fourier Anal. Appl. 20(2014), [23] K. Li and W. Sun, Weak and strong type weighted estimates for multilinear Calderón-Zygmund operators. Adv. Math. 254(2014), [24] K. Li and W. Sun, Weighted estimates for multilinear Fourier multipliers, Forum Math., 27(2015), [25] J. Martell, C. Pérez and R. Trujillo-González Lack of natural weighted estimates for some singular integral operators, Trans. Amer. Math. Soc., 357(2005), , 10 [26] D. Watson, Weighted estimates for singular integrals via Fourier transform estimates, Duke Math. J. 60(1990), Department of Mathematics and Statistics, P.O.B. 68 (Gustaf Hällströmin katu 2b), FI University of Helsinki, Finland Current address: BCAM, Basque Center for Applied Mathematics, Mazarredo, Bilbao Basque Country, Spain address: kangwei.nku@gmail.com, kli@bcamath.org