arxiv: v1 [math.ca] 7 Jan 2018

Transcription

1 WEIGHTED ESTIMATES FO THE CALDEÓN COMMUTATO arxiv:8.273v [ath.ca] 7 Jan 28 JIECHENG CHEN AND GUOEN HU Abstract. In this paper, the authors consider the weighted estiates for the Calderón coutator defined by C +,A a,...,a ;fx P 2 A; x, y = p.v. A x A y x y +2 fydy, with P 2 A; x, y = Ax Ay A yx y. Doinating this operator by ultisublinear sparse operators, the authors establish the weighted bounds fro L p,w L p,w to L p,ν w, with p,...,p,, /p = /p + +/p, and w = w,..., w A P +. The authors also obtain the weighted weak type endpoint estiates for C +,A.. Introduction As it is well known, the Calderón coutator was arisen in the study of the L 2 boundedness for the Cauchy integral along Lipschitz curves. Let A,...,A be functions defined on such that a = A. Define the +-th order Lq coutator of Calderón by C + a,...,a ; fx = A x A y. x y + fydy. ByTTheoreandtheCalderón-Zygundtheory,weknowthatforallp,, C + a,...,a ; f L p a L f L p, and, C + is bounded fro L L L to L,. For the case of =, it is knownthatc 2 is bounded frol p L q tol r providedthat p, q, and r /2, with /r = /p+/q; oreover, it is bounded fro L p L q to L r, if in{p, q} =, see [2, 3] for details. By establishing the weak type endpoint estiates for ultilinear singular integral operator with nonsooth kernels, and reducing the operator C + to suitable ultilinear singular integral with nonsooth kernel, Duong, Grafakos and Yan [7] proved the following theore. 2 Matheatics Subect Classification. Priary 42B2. Key words and phrases. Calderón coutator, weighted inequality, ultilinear singular integral operator, sparse operator, ultiple weight. The research of the first author was supported by the NNSF of China under grant #67363, and the research of the second corresponding author was supported by the NNSF of China under grant #3737.

2 2 J. CHEN AND G. HU Theore.. Let N, p,..., p + [, and p / +, with /p = /p + +/p +. Then C + a,...,a ; f L p, a L p f L p +. Moreover, if in p >, then C + a,...,a ; f Lp a L p f L p +. Considerable attention has also been paid to the weighted estiates for C +. Duong, Gong, Grafakos, Li and Yan [6] considered the weighted estiates with A p weights for C +, they proved that if p,..., p +,, p /, with /p = /p + + /p +, then for w A p, C + is bounded fro L p, w L p+, w to L p, w, here and in the following, A p n denotes the weight function class of Muckenhoupt, see [9] for definitions and properties of A p n. Grafakos, Liu and Yang [] considered the weighted estiates with following ultiple A P weights, introduced by Lerner, Obrossi, Pérez, Torres and Troillo-Gonzalez [23]. Definition.2. Let N, w,...,w be weights, p,...,p [,, p [/, with /p = /p + +/p. Set w = w,..., w, P = p,..., p and ν w = k= wp/p k k. We say that w A P n if the A P n constant of w, defined by [ w] = sup A ν P w xdx w p/p k p k k xdx, Q n Q Q Q Q is finite, here and in the following, for r [,, r = r r ; when p k =, p k. is understood as inf Q w k Q Q w p k k Using soe new axial operators, Grafakos, Liu and Yang [] proved that if p,..., p + [, and p [ +, with /p = /p + +/p +, and w = w,..., w,w + A P +, then C + is bounded fro L p, w L p+, w tol p,,ν w, andwhenin + p >,C + isbounded fro L p,w L p+,w + to L p, ν w. Fairly recently, by doinating ultilinear singular integral operators by sparse operators, Chen and Hu [4] iproved the result of Grafakos et al. in [], and obtain the following quantitative weighted bounds for C +. Theore.3. Let N, p,..., p +, and p / +, with /p = /p + +/p +, w = w,..., w + A P +. Then.2 k= C + a,...,a ; f Lp,ν w [ w] ax{,p p,,p + p } a L p,w f L p +,w+. A P We reark that the quantitative weighted bounds for classical operators in haronic analysis was begun by Buckley [] and then by any other authors, see [7, 27, 8, 9, 2, 24, 22, 26] and references therein.

3 CALDEÓN COMMUTATO 3 Observe that.2 also hold if ax p = but p +, in this case, a L,w should be replaced by a L and w k should be replaced by if p k =. A natural question is: if a result siilar to.2 holds true when a BMO for soe? In this paper, we consider the operator defined by.3 C +,A a,...,a ; fx P 2 A; x, y = p.v. A x A y x y +2 fydy, with P 2 A; x, y = Ax Ay A yx y. When a,...,a L, it is obvious that A x A yx y is a Calderón-Zygund kernel. epeating the arguent in [5], we know that for any p,,.4 C +,A a,...,a ;f Lp A BMO a L f Lp. Moreover, the results in [4] iplies that for each λ >, {x : C +,A a,...,a ;fx > λ} a,...,a fx λ log e+ fx λ dx. Operators like C +,A with a L were introduced by Cohen [5], and then considered by Hofann [] and other authors, see also [2, 3, 4] and the related references therein. Our ain purpose in this paper is to establish the weighted bound siilar to.2 for the operator C +,A in.3. For a weight u A n = p A p n, [u] A, the A constant of u, is defined by [u] A = sup Muχ Q xdx. Q n uq Q ecall that for p,..., p [,, w = w,..., w A P n if and only if ν w A p n and w p A p n see [23] for details. Our ain result can be stated as follows. Theore.4. Let N, p,...,p + [,, p [ +, with /p = /p + +/p +, w = w,...,w + A P +, A BMO with A BMO =. i If in + p >, then C +,A a,...,a ;f L p,ν w [ w] ax{,p p,,p + A P p } f L p +,w+ [ w ] p A a L p,w ;

4 4 J. CHEN AND G. HU ii if p = = p + =, then for each λ >, ν w {x : C +,A a,...,a ; fx > λ} a y log e+ a y + w λ + λ y w y dy + fy λ + log e+ fy λ + w + ydy + eark.5. To prove Theore.4, we will eploy a suitable variant of the ideas of Lerner [2] see also [4, 25] in the case of ultilinear operator, to doinate C +,A by ultilinear sparse operators. This arguent need certain weak type endpoint estiates for the grand axial operator of C +,A. Although K A x;y,...,y +, thekerneloftheultilinearsingularintegraloperatorc +,A, enoys the nonsooth kernel conditions about the variable y,..., y as in [7], we do not know K A x; y,..., y + enoys any condition about the variable y +. Our arguent is a odification of the proof of Theore. in [7], based on a local estiate see Lea 2.5 below, and involves the cobination of sharp function estiates and the arguent used in [7]. In what follows, C always denotes a positive constant that is independent of the ain paraeters involved but whose value ay differ fro line to line. We use the sybol A B to denote that there exists a positive constant C such that A CB. Specially, we use A p B to denote that there exists a positive constant C depending only on p such that A CB. Constant with subscript such as C, does not change in different occurrences. For any set E n, χ E denotes its characteristic function. For a cube Q n interval I and λ,, we use λq to denote the cube with the sae center as Q and whose side length is λ ties that of Q. For x n and r >, Bx, r denotes the ball centered at x and having radius r. 2. An endpoint estiate This section is devoted to an endpoint estiate for C +,A. We begin with a preliinary lea. Lea 2.. Let A be a function on n with derivatives of order one in L q n for soe q n, ]. Then Ax Ay x y Ix y Az q q dz, where I y x is the cube centered at x and having side length 2 x y. For the proof of Lea 2., see [5]. For γ [, and a cube Q n, let LlogL γ,q be the Luxberg nor defined by f LlogL γ,q = inf { λ > : I y x fy Q Q λ Define the axial operator M LlogL γ by M LlogL γfx = sup f LlogLγ,Q. Q x. log γ e+ fy } dy. λ

5 CALDEÓN COMMUTATO 5 Obviously, M LlogL is ust the Hardy-Littlewood axial operator M. It is well known that M LlogL γ is bounded on L p n for all p,, and for λ >, {x n fx : M LlogL γfx > λ} log γ e+ fx 2. dx. λ λ n Let s, /2 and M,s be the John-Ströberg sharp axial operator defined by M,s fx = sup inf inf{ t > : {y Q : fy c > t} < s Q }, c C Q x where the supreu is taken over all cube containing x. This operator was introduced by John [2] and recovered by Ströberg in [3]. Lea 2.2. Let Φ be a increasing function on [, which satisfies the doubling condition that Φ2t CΦt, t [,. Then there exists a constant s, /2, such that for any s, s ], sup λ> provided that Φλ {x n : hx > λ} sup Φλ {x n : M,s hx > λ}, λ> supφλ {x n : hx > λ} <. λ> This lea can be proved by repeating the proof of Theore 2. in [5]. We oit the details for brevity. Lea 2.3. Let >. There exists a constant Cn, such that for all open set Ω n, Ω can be decoposed as Ω = Q, where {Q } is a sequence of cubes with disoint interiors, and i 5 distq, n \Ω diaq 5, ii χ Q x C n, χ Ω x. For the proof of Lea 2.3, see [29, p.256]. We return to C +. As it was proved in [7], C + can be rewritten as the following ultilinear singular integral operator where 2.2 C + a,..., a ; fx = Kx;y,...,y + a y fy + dy...dy + ; + Kx;y,...,y + = ey+ x x y + + χ x y+,x y +y, e is the characteristic function of [,, x y + = in{x, y + } and x y + = ax{x, y + }. Obviously, for x, y,..., y +, 2.3 Kx;y,...,y + + x y +.

6 6 J. CHEN AND G. HU Lea 2.4. Let K be the sae as in 2.2. Then for x, x, y,..., y + with 2 x x < in + x y Kx;y,..., y + Kx ; y,..., y + For the proof of Lea 2.4, see [6]. x x + x y +2. Lea 2.5. Let A be a function on such that A BMO, a,..., a L. Then for τ, +2 and any interval I, C+,A a,...,a ;fχ I y τ τ 2.4 dy f LlogL,4I a 4I. I I Proof. For a fixed interval I, let ϕ C such that ϕy, ϕy for y I, suppϕ 2I and ϕ L I. Set A I y = Ay A I y, A ϕ y = A I y A I y ϕy with y 3I\2I, and let a ϕ y = A ϕ y. Applying Lea 2., we know that Thus for y I, a ϕ y This, in turn iplies that A I y A I y I. I A Iy A I y + A y A I χ 2I y + A y A I χ 2I y. a ϕ L A BMO I, and by the generalization of Hölder inequality see [28, p. 64], a ϕ fχ I L I f LlogL,I. For =,...,, let A ϕ z = A z A y ϕz, and a ϕ z = Aϕ z. It then follows that a ϕ L a z dz. For y I, write C +,A a,...,a ; fχ I y = Aϕ y Aϕ zaϕ y A ϕ z y z +2 fzχ I zdz + Aϕ y Aϕ z y z + a ϕ zfzχ I zdz 4I = C +2 a ϕ,...,aϕ,a ϕ ; fχ I y+c + a ϕ,...,aϕ,a ϕ fχ I y. Theore. tells us that C +2 a ϕ,...,aϕ,aϕ ; fχ I is bounded fro L L to L +2,. As in the proof of Kologorov s inequality, we can deduce

7 CALDEÓN COMMUTATO 7 that τ, I +2, I C +2 a ϕ,...,aϕ,a ϕ ;fχ I y τ dy I 2 a ϕ L fχ I L a ϕ L f I a 4I, On the other hand, since C + is bounded fro L L to L +,, we then know that for ς, I I +, τ C + a ϕ,...,aϕ ;a ϕ ς ς fχ I y dy I a ϕ L a ϕ fχ I L f LlogL,I a 4I, Cobining the last two inequality yields 2.4. Now we rewrite C +,A as the following ultilinear singular integral operator, C +,A a,...,a ;fx = K A x;y,...,y + a y fy + d y, + where and in the following, 2.5 K A x;y,...,y + = Kx;y,...,y + P 2A; x, y +, x y + with Kx;y,...,y + defined by 2.2. Obviously, 2.6 K A x;y,...,y + + x y +2 P 2A; x, y +. Lea 2.6. Let φ C be even, φ, φ = and suppφ [, ]. Set Φt = φ t, Φ t y = t Φx/t and k t x, y = Φ t x yχ x, y. For =,...,, set K A,t x; y,..., y = K A x; y,...,y,z,y +,...,y + k t z, y dz. n Then for =,...,, x, y,..., y + and t > with 2t x y, Proof. We only consider =. Write K A x;y,...,y + K A,t x;y,...,y + P 2A, x, y + y+ y + k= x y k +2φ. t K A x;y,...,y + KA,t x;y,...,y + = ey+ x P 2 A; x, y + x y + + χ x y+,x y x y + +y χ x y+,x y +y y χ x y+,x y +zk t z ydz

8 8 J. CHEN AND G. HU Fro the proof of Theore 4. in [7], we find that when x y > 2t, y χ x y+,x y +y χ x y+,x y +zk t z ydz y+ y φ. t Note that K A x;y,...,y + KA,t x;y,...,y + = only if x y + > ax k x y k. Our desired conclusion then follows directly. eark 2.7. We do not know if K A x;y,...,y + enoys the properties as Lea 2.6 about the variable y +. We now recall the approxiation to the indentity introduced by Douong and McIntosh [8]. Definition 2.8. A faily of operators {D t } t> is said to be an approxiation to the identity in, if for every t >, D t can be represented by the kernel at in the following sense: for every function u L p with p [, ] and a. e. x, D t ux = a t x, yuydy, and the kernel a t satisfies that for all x, y and t >, x y a t x, y h t x, y = t /s h, t /s where s > is a constant and h is a positive, bounded and decreasing function such that for soe constant η >, li r r+η hr =. Lea 2.9. Let A be a function on such that A BMO, q,..., q + [,. Suppose that for soe β [,, C +,A satisfies the estiate that {x n : C +,A a,...,a ; fx > } a q L q + fx q+ log β e+ fx dx. n Then for p [, q, =,..., {x : C +,A a,...,a ; f > } a p L p + fx q+ log βq + e+ fx dx, where β q+ = β if q +, and β q+ = ax{, β} if q + =. Proof. We eploy the ideas in [7], together with soe odifications. At first, we prove that 2.7 {x : C +,A a,...,a ; f > } a p L p + a q L q n + fx q+ log β e+ fx dx. To do this, we apply Lea 2.3 to the set Ω = {x : M a p x > },

9 a 3 x = l CALDEÓN COMMUTATO 9 and obtain a sequence of intervals {I l } with disoint interiors, such that a x p dx, I l I l and l χ 4I l x χ Ω x. Let D t be the integral operator defined by D t hx = k t x, yhydy, with k t the sae as in Lea 2.6. Then {D t } t> is an approxiation to the identity in the sense of Definition 2.8. Set a x = a xχ n \Ωx, a 2 x = l D Il b l x, and b l x D Il b l x, with b l y = a yχ Il y. Obviously, b l l L p n and a L. Our hypothesis states that { x : C+,A a,...,a ; fx > } a p L p + a q L q + fx q+ log β e+ fx dx n On the other hand, as it was pointed out in [8, p. 24], we know that a 2 L q L χ Il Q q l /q a p/q L p. l Thus, { x : C+,A a 2,...,a ; fx > } a 2 q L q + a q L q + f + x q+ log β e+ f x dx a p L p + a q L q + l f + x q+ log β e+ f x dx. Our proof for 2.7 is now reduced to proving { x : C +,A a 3 2.8,..., a,f x > } a p L p + a q L q + f + x q+ log β q+ e+ f+ x dx, n here, β q+ = if q +, and β q+ = if q + =. We now prove 2.8. Let Ω = l 6I l. It is obvious that Ω a p L p.

10 J. CHEN AND G. HU For each x \ Ω, by Lea 2.6, we can write C+,A a 3, a 2,..., a, fx P 2 A, x, y + l + + k= x y k +2φ a y fy + d y. Observe that and for x \ Ω, Let Thus, Set 2.9 I l b l y dy I l, + k= x y k +2 Ex = l x y + 3 y+ y I l a y dy 2...dy Ma x. b l y P 2 A; x, y + I l 4I l x y + 3 fy + dy +. C+,A a 3, a 2,..., a, fx Ma xex. A Il y = Ay A Il y. It is easy to verify that for all y, z, P 2 A; y, z = P 2 A Il ; y, z. A straightforward coputation involving Lea 2. shows that for y + 4I l, A Il x A Il y + x y + + A Il A y I +. x Thus, \ Ω P 2 A; x, y + x y + 3 dx k=2 2 k I l k + A y + A Il dx x y + 2 I l + A y + A Il. This, via the generalization of Hölder s inequality, yields P 2 A; x, y \ Ω 4I l x y 3 fy dydx I l fy A y A Il dy 4I l f LlogL,4Il. Cobining the estiates above then yields \ ΩExdx I l f LlogL,4Il l l I l + fy loge+ fy dy,

11 CALDEÓN COMMUTATO since f LlogL,4Il + fy loge+ fy dy, 4I l 4I l see [28, p. 69]. Thus, { x : C +,A a 3, a 2..., a, f x > } Ω + {x : Ma x > } + { x \ Ω : Ex > } a q L q + n \ Ω Exdx a p L p + a q L q + fx log e+ fx dx. This establishes 2.8 for the case of q + =. For the case of q +,, it follows fro Hölder s inequality that I l f LlogL,4Il /q+ I l /q+ fy q+ dy l l 4I l I l + fy q+ dy. l l 4I l Thus, the inequality 2.8 still holds for q +,. With the estiate 2.7 in hand, applying the arguent above to a 2 fix the exponents p, q 3,...,q, q +, we can prove that {x : C +,A a,...,a ; f > } 2 a p L p + a q L q + fx q+ log βq + e+ fx dx. =3 epeating this procedure ties then leads to our desired conclusion. Lea 2.. Let A be a function on such that A BMO. Then for s, /2, M,s C+,A a,...,a ; f 2. x M LlogL fx Ma x, provided that a,..., a C. Proof. Without loss of generality, we ay assue that A BMO =. Let x, I be an interval containing x. Decopose f as and for =,...,, fy = fyχ 64I y+fyχ \64I y := f y+f 2 y, a y = a yχ 64I y+a yχ \64I y := a y+a 2 y. By the estiate.4, we know C +,A a,...,a, f 2 z < for a. e. z and we can choose soe x I 3I\2I such that C +,A a,...,a, f 2 x I <.

12 2 J. CHEN AND G. HU For δ,, write C +,A a,...,a, fy C +,A a,...,a, f 2 x I δ dy I I C+,A a,...,a ; f y δ dy I I + C+,A a i I,...,ai ; f2 y δ dy Λ I + C +,A a 2 I,...,a2 ;f2 y C +,A a 2,...,a2 ;f2 x I δ dy I := I+II+III, where Λ = {i,..., i : i,..., i {, 2}, in i = }. It follows fro Lea 2.5 that I /δ M LlogL fx Ma x. We turn our attention to the ter III. Let A I be defined in 2.9. Applying Lea 2. and the John-Nirenberg inequality, we can verify that if y I, and z 4 l+ I\4 l I with l N, then 2. P 2 A I ;y,z l+ A z A I y z. This, along with another application of Lea 2., gives us that for y I and z + 4 l+ I\4 l I, 2.2 P 2A I ;y,z + y z + A Iy A I x I y z + P 2A I ;x I,z + x I z + l+a z + A I y x I x I z +. We now deduce fro Lea 2.4 and 2. that + P 2 A I ; x I,z + x I z + y z + Ky;z,...,z + Kx I ;z,...,z + + P 2A I ;y,z + a 2 y z + z fz + d z l2 γl 4 l a z dz I l=3 4 l I A 4 l z + A fz+ I dz + I 4 l I M LlogL fx Ma x.

13 CALDEÓN COMMUTATO 3 On the other hand, we obtain fro 2.2 and the size condition 2.3 that KxI ;z,...,z + P 2A I ;y,z + P 2A I ;x I,z + y z + + x I z + a 2 z f 2 z + d z M LlogL fx Ma x. Therefore, for each y I, 2.3 C+,A a,..., a ; f 2 y C +,A a,..., a ; f 2 x I M LlogL fx Ma x, which shows that III /δ M LlogL fx Ma x. It reains to estiate II. For siplicity, we assue that for soe l N, i = = i l = and l l+ = = i = 2. Observe that for y I, P 2 A I ; y,z + fz + + dz + \64I + l + y z + and k=3 4 k I l + l + 4 k I I l + l M LlogL fx, \64I k + A z + A I fz+ dz + + a z dz I l + l Ma x. + l y z This, in turn iplies that, for each y I, 2.4 Therefore, C +,A a i,...,ai ;f2 y l II /δ M LlogL fx 64I a z dz a z + dz =l \64I + l + y z P 2 A I ; y,z fz dz + \64I + l + y z M LlogL fx Ma x. Ma x. Cobining the estiates for I, II and III leads to 2.. We are now ready to establish the ain result in this section.

14 4 J. CHEN AND G. HU Theore 2.. Let A be a function on such that A BMO. Then 2.5 {x : C+,A a,..., a ; fx > } a L + fy log e+ fy dy. Proof. Without loss of generality, we ay assue that a,..., a C. At first, let q,...,q +, q, with /q = /q + +/q +. ecalling that C +,A is bounded fro L L L q to L q see [4], we then know that for bounded functions a..., a, f with copact supports, sup λ> λ q {x : C +,A a,...,a ; f > λ} f q L q This, along with Lea 2.2 and Lea 2., leads to 2.6 a q L <. C +,A a,...,a ; f L q, f L q + a L q. Now let r [, q,..., r [, q and /r = /r + +/r +/q +. Invoking Lea 2.9, we deduce fro 2.6 that { x : C +,A a,...,a ;fx > } a r L r n + f q+ L q +. This, via hoogeneity, shows that C +,A is bounded fro L r L r L q+ to L r,. We now prove that for p,..., p,, and p /+, such that /p = /p + +/p +, 2.7 {x : C +,A a,...,a ; fx > } a p L p + fx loge+ fx dx. To this ai, we choose q,...q +, such that /q = /q + +/q + <, and p [, q,..., p [, q, p, such that /p = /p + + /p + /q + and p < p. ecall that C +,A is bounded fro L p L p L q + to L p,. Thus, for bounded functions a,..., a, f with copact support, λ p {x : C +,A a,...,a ; f > λ} a p L p f p. L p + Let ψt = t p log e+t p. A trivial coputation gives us that supψλ {x : C +,A a,...,a ; f > λ} λ> sup λ p {x : C +,A a,...,a ; f > λ} <λ< +supλ 2 {x : C +,A a,...,a ; f > λ} λ f p L q + a p L p + f 2 L 2 a 2 L <.

15 CALDEÓN COMMUTATO 5 This, via Lea 2.2, Lea 2. and the estiate 2., tells us that {x : C +,A a,...,a ; fx > } supψλ {x : Ma x > λ p p } λ> +supψλ {x : M LlogL fx > λ p } λ> λ p supψλ λ> a p L p + a p L p + fx λ p fx loge+ fx dx, log e+ fx λ p dx and then establishes 2.7. Finally, by 2.7 and invoking Lea 2.9 ties, we obtain the estiate 2.5. This copletes the proof of Lea Proof of Theore.4 Let S be a faily of cubes and η,. We say that S is an η-sparse faily, if, for each fixed Q S, there exists a easurable subset E Q Q, such that E Q η Q and {E Q } are pairwise disoint. A sparse faily is called siply sparse if η = /2. For a fixed cube Q, denote by DQ the set of dyadic cubes with respect to Q, that is, the cubes fro DQ are fored by repeating subdivision of Q and each of descendants into 2 n congruent subcubes. For constants β,..., β [,, let β = β,..., β. Associated with the sparse faily S and β, we define sparse operator A ;S,LlogL β by A ;S,LlogL β f,...,f x = Q S f LlogL β,q χ Qx. Lea 3.. Let p,..., p,, p, such that /p = /p + + /p, and w = w,..., w A P n. Set σ i = w /pi i. Let S be a sparse faily. Then for β,..., β [,, A ;S,LlogL β f,...,f L p n,ν w If w A,..., n, then with β = β. p,...,p p } [ w]ax{,p A p [σ ] β A f L p n,w. ν w {x n : A ;S,LlogL β f,..., f x > } f y log β + f y w y dy, n For the proof of Lea 3., see [4].

16 6 J. CHEN AND G. HU In the following, we say that U is an -sublinear operator, if U satisfies that for each i with i, Uf,...,f i +f2 i,f i+,...,f x Uf,...,f i,f i+,...,f x and for any t C, +Uf,...,f 2 i, f i+,...,f x, Uf,...,tf i,f i+,...,f x = tuf,...,f i,f i+,...,f x. For an -sublinear operator U and κ N, let M κ U be the corresponding grand axial operator, defined by M κ Uf,...,f x = sup Uf,..., f ξ Uf χ Q κ,..., f χ Q κξ L Q, Q x with Q κ = 3 κ Q. This operator was introduced by Lerner [2] and plays an iportant role in the proof of weighted estiates for singular integral operators, see [24, 4, 25]. Lea 3.2. Let, κ N, U be an -sublinear operator and M κ U the corresponding grand axial operator. Suppose that U is bounded fro L q n L q n to L q, n for soe q,..., q, and q /, with /q = /q + +/q. Then for bounded functions f,..., f, cube Q n, and a. e. x Q, Uf χ Q κ,..., f χ Q κ x f x +M κ Uf χ Q κ,..., f χ Q κ x. For the proof of Lea 3.2, see [4, 25]. The following theore is an extension of Theore 4.2 in [2], and will be useful in the proof of Theore.4. Theore 3.3. Let β,..., β [,, κ, N and U be an -sublinear operator and M κ U be the corresponding grand axial operator. Suppose that U is bounded fro L q n L q n to L q, n for soe q,..., q, and q /, with /q = /q + +/q, { x n : M κ Uf,...,f x > } C f y log β e+ f y dy. n Then for bounded functions f,...,f L n with copact supports, there exists a 2 3 -sparse of faily S such that for a. e. x n, κn Uf,..., f x f LlogL β,q χ Qx. Q S Proof. We eploy the arguent used in [2], together with suitable odifications, see also [4, 25]. As in [4, 25], it suffices to prove that for each cube Q n, there exist pairwise disoint cubes {P } DQ, such that P 2 Q and for a.

17 CALDEÓN COMMUTATO 7 e. x Q, 3. Uf χ Q κ,..., f χ Q κ x χ Q x C i LlogL βi,q κ i= f + Uf χ P κ,...,f χ P κ x χ P x. To prove this, let C 2 > which will be chosen later and E = { } x Q : f x...f x > C 2 f i LlogL β i,q κ i= { x Q : M κ U f } χ Q κ,...,f χ Q κ x > C 2 f i LlogL β i,q κ. Our assuption iplies that since } {x Q : M κ Uf χ Q κ,...,f χ Q κ x > C 2 f i LlogL β i,q κ C C 2 i= C C 2 Q. Q κ Q κ i= i= f i y i f log βi i y i e+ dy i f i LlogL β i,q κ f i LlogL β i,q κ f i y i f log βi i y i e+ dy i Q κ f i LlogL β i,q κ f i. LlogL β i,q κ If we choose C 2 large enough, our assuption then says that E 2 Q n+2. Now applying the Calderón-Zygund decoposition to χ E on Q at level 2, we then n+ obtain a faily of pairwise disoint cubes {P } such that 2 n+ P P E 2 P, and E\ P =. It then follows that P 2 Q, and P E c. Therefore, 3.2 Uf χ Q κ,...,f χ Q κ ξ Uf χ P κ,...,f χ P κ ξ Note that 3.3 C 2 f i LlogL β i,q κ. i= Uf χ Q κ,...,f χ Q κ x χ Q x + L P Uf χ Q κ,...,f χ Q κ x χ Q\ P x + Uf χ P κ,..., f χ P κ x χp x Uf χ Q κ,...,f χ Q κ Uf χ P κ,...,f χ P κ P x. L P χ 3. now follows fro 3.2, 3.3 and Lea 3.2 iediately. This copletes the proof of Theore 3.3.

18 8 J. CHEN AND G. HU For s,, let M s be the axial operator defined by M s fx = M f s x /s. It was proved in [3, p. 65] that for s, and λ >, 3.4 { x n : M s hx > λ } λ sup t 2 /s λ t {x n : hx > t}. Proof of Theore.4. By Lea 3., Theore 3.3 and 2.6, it suffices to prove that the grand axial operator M 3 C +,A satisfies that {x : M C+,A a,...,a ; fx > } f L + fy log e+ fy dy. We assue that A BMO = for siplicity. Let x and I be a interval containing x. For =,...,, set a y = a yχ 27I y, a 2 y = a yχ \27I y. Also, let Set f y = fyχ 27I y, f 2 y = fyχ \27I y. Λ = {i,...,i + : i,...,i + {, 2}, ax + i = 2, in + i = }. Let A I y be the sae as in 3.9. For each fixed z 2I\ 3 2I, write C+,A a,..., a ; fξ C +,A a χ 27I,..., a χ 27I ; fχ 27I ξ C +,AI a 2,...,a2 ;f2 ξ C +,AI a 2,..., a2 ; f2 z + C +,AI a 2,...,a 2 ;f 2 z + C+,AI a i,...,ai ξ ;fi+ i,...,i Λ = D ξ, z+d 2 z+d 3 ξ. As in the estiate 2.3, we know that for each z 2I\ 3 2 I, 3.6 D ξ, z M LlogL fx Ma x. We turn our attention to D 3. We clai that for each y 2I, i,...,i Λ C +;AI a i,...,a i ; f i+ y M LlogL fx Ma x. To see this, we consider the following two cases. Case I: i + =. In this case, ax k i k = 2. We only consider the case that i = = i = and i = 2. It follows fro the size condition 2.6 that

19 CALDEÓN COMMUTATO 9 in this case, C +;AI a i,...,ai,f y 27I a y dy 27I \27I fy P 2 A I ;y, z dz. a y x y +2dy Let q,. Another application of Lea 2. shows that for y 2I and z I, AI z A I y z y A Iz y w A I q /q dw Iz y I z y +log I, z y and in this case, We thus get P 2 A I ;z, y I + A A I. C +;AI a i,...,ai ; f y M LlogL fx Ma x. Case II: i + = 2. As in the estiates 2.4, we also have that C+,A a i,...,ai,f 2 y MLlogL fx Ma x. Our arguent for the above three cases leads to 3.6. As to the ter D 2, we have by the inequality 3.6 that for each z 2I, D 2 z C +,A a,...,a ; fz + C +,A a,...,a ;f z + C+;A a i,...,ai ;f i+ z i,...,i Λ C +;A a,..., a ; f z + C +;A a,..., a ; fz +M LlogL fx Ma x. We can now conclude the proof of Theore.4. The estiates for D, D 2 and D 3, via Lea 2.5, tell us that for any τ, +2, sup C +,A a,..., a ; fξ C +,A a 2,..., a2 ;f2 ξ ξ Q M LlogL fx + 2I + 2I 2I 2I M LlogL fx Ma x C +,A a,..., a ; fz τ dz τ C +;A a,..., a ; f z τ τ dz Ma x+m τ C+,A a,..., a ; f x,

20 2 J. CHEN AND G. HU which iplies that 3.7 M 3 C +,A a,..., a ; fx M LlogL fx Ma x +M τ C+;A a,...,a ; f x. Applying the inequality 3.4 and Theore 2., we obtain that { 3.8 x : M τ C+,A a,..., a ; f x > } sup s + {x : C +,A a,..., a ; f > s} s 2 +τ a L + fy loge+ fy dy. Cobining the estiates 3.7 and 3.8 shows that M 3 C +,A satisfies 3.5. This copletes the proof of Theore.4. eferences [] S. M. Buckley, Estiates for operator nors on weighted spaces and reverse Jensen inequalities, Trans. Aer. Math. Soc , [2] A. P. Calderón, Coutators of singular integral operators, Proc. Nat. Acad. Sci. U. S. A , [3] C. P. Calderón, On coutators of singular integrals, Studia Math , [4] J. Chen and G. Hu, Weighted vector-valued bounds for a class of ultilinear singular integral operators and applications, J. Korean Math. Soc, to appear. [5] J. Cohen, A sharp estiate for a ultilinear singular integral on n, Indiana Univ. Math. J. 398, [6] X. Duong,. Gong, L. Grafakos, J. Li and L. Yan, Maxial operator for ultilinear singular integrals with non-sooth kernels, Indiana Univ. Math. J , [7] X. Duong, L. Grafakos, L. Yan, Multilinear operators with non-sooth kernels and coutators of singular integrals. Trans. Aer. Math. Soc , [8] X. T. Duong and A. McIntosh, Singular integral operators with nonsooth kernels on irregular doains, ev. Mat. Iberoaericana 5 999, [9] L. Grafakos, Modern Fourier analysis, GTM 25, 2nd Edition, Springer, New York, 28. [] L. Grafakos, L. Liu and D. Yang, Multilple-weighted nor inequalities for axial singular integrals with non-sooth kernels, Proc. oyal Soc. Edinb. 4A 2, [] S. Hofann, On certain non-standard Calderón-Zygund operators, Studia Math. 9994, 5-3. [2] G. Hu, Weighted vector-valued estiates for a non-standard Calderón-Zygund operator, Nonlinear Anal. 6527, [3] G. Hu and D. Li, A Cotlar type inequality for the ultilinear singular integral operators and its applications, J. Math. Anal. Appl , [4] G. Hu and D. Yang, Sharp function estiates and weighted nor inequalities for ultilinear singular integral operators, Bull. London Math. Soc , [5] G. Hu, Da. Yang and Do. Yang, Boundedness of axial singular integral operators on spaces of hoogeneous type and its applications, J. Math. Soc. Japan, 59 27, [6] G. Hu and Y. Zhu, Weighted nor inequalities with general weights for the coutator of Calderón, Acta Math. Sinica, English Ser , [7] T. Hytönen, The sharp weighted bound for general Calderón-Zygund operators, Ann. of Math , [8] T. Hytönen, M. T. Lacey and C. Pérez, Sharp weighted bounds for the q-variation of singular integrals, Bull. Lond. Math. Soc. 4523, [9] T. Hytönen and C. Pérez, The LlogL ǫ endpoint estiate for axial singular integral operators, J. Math. Anal. Appl ,

21 CALDEÓN COMMUTATO 2 [2] F. John, Quasi-isoetric appings, In: 965 Seinari 962/63 Anal. Alg. Geo. e Topol., 2, Ist. [2] A. K. Lerner, On pointwise estiate involving sparse operator, New York J. Math. 2226, [22] A. K. Lerner and F. Nazarov, Intuitive dyadic calculus: the basics, arxiv: [23] A. Lerner, S. Obrossi, C. Pérez,. H. Torres and. Troillo-Gonzalez, New axial functions and ultiple weights for the ultilinear Calderón-Zygund theorey, Adv. Math , [24] A. K. Lerner, S. Obrosi and I. ivera-ios, On pointwise and weighted estiates for coutators of Calderón-Zygund operators, Adv. Math , [25] K. Li, Sparse doination theore for ultilinear singular integral operators with L r - Hörander condition, arxiv: [26] K. Li, K. Moen and W. Sun, The sharp weighted bound for ultilinear axial functions and Calderón-Zygund operators, J. Four. Anal. Appl. 2 24, [27] S. Peterichl, The sharp weighted bound for the iesz transfors, Proc. Aer. Math. Soc , [28] M. ao and Z. en, Theory of Orlicz spaces, Monographs and Textbooks in Pure and Applied Matheatics, 46, Marcel Dekker Inc., New York, 99. [29] E. Sawyer, Nor inequalities relating singular integrals and the axial function, Studia Math , [3] J. O. Ströberg, Bounded ean oscillation with Orlicz nors and duality of Hardy spaces, Indiana Univ. Math. J , Jiecheng Chen, Departent of Matheatics, Zheiang Noral University, Jinhua 324, P.. China E-ail address: cchen@znu.edu.cn Guoen Hu, Departent of Applied Matheatics, Zhengzhou Inforation Science and Technology Institute, Zhengzhou 45, P.. China E-ail address: guoenxx@63.co