Skip to main content

Strongly singular Calderón-Zygmund operators and commutators on weighted Morrey spaces

Abstract

In this paper, the authors establish the boundedness of the strongly singular Calderón-Zygmund operator on weighted Morrey spaces. Moreover, the boundedness of the commutator generated by the strongly singular Calderón-Zygmund operator and the weighted BMO function on weighted Morrey spaces is also obtained.

MSC:42B20, 42B25, 42B35.

1 Introduction

The strongly singular non-convolution operator was introduced by Alvarez and Milman in [1], whose properties are similar to those of the Calderón-Zygmund operator, but the kernel is more singular near the diagonal than that of the standard case. Furthermore, following a suggestion of Stein, the authors in [1] showed that the pseudo-differential operators with symbols in the class S α , δ β , where 0<δα<1 and n(1α)/2β<n/2, are included in the strongly singular Calderón-Zygmund operator. Thus, the strongly singular Calderón-Zygmund operator correlates closely with both the theory of Calderón-Zygmund singular integrals in harmonic analysis and the theory of pseudo-differential operators in PDE.

Definition 1.1 Let T:S S be a bounded linear operator. T is called a strongly singular Calderón-Zygmund operator if the following conditions are satisfied.

  1. (1)

    T can be extended into a continuous operator from L 2 ( R n ) into itself.

  2. (2)

    There exists a function K(x,y) continuous away from the diagonal {(x,y):x=y} such that

    |K(x,y)K(x,z)|+|K(y,x)K(z,x)|C | y z | δ | x z | n + δ α ,

    if 2 | y z | δ |xz| for some 0<δ1 and 0<α<1. And Tf,g=K(x,y)f(y)g(x)dydx, for f,gS with disjoint supports.

  3. (3)

    For some n(1α)/2β<n/2, both T and its conjugate operator T can be extended to continuous operators from L q to L 2 , where 1/q=1/2+β/n.

Alvarez and Milman [1, 2] discussed the boundedness of the strongly singular Calderón-Zygmund operator on Lebesgue spaces. Lin [3] proved the boundedness of the strongly singular Calderón-Zygmund operator on Morrey spaces. Furthermore, Lin and Lu [4] showed the boundedness of the strongly singular Calderón-Zygmund operator on Herz-type Hardy spaces.

Suppose that T is a strongly singular Calderón-Zygmund operator and b is a locally integrable function on R n . The commutator [b,T] generated by b and T is defined as follows:

[b,T](f)(x)=b(x)T(f)(x)T(bf)(x).

The authors in [5] obtained the boundedness of the commutators generated by strongly singular Calderón-Zygmund operators and Lipschitz functions on Lebesgue spaces. Lin and Lu [4] proved the boundedness of the commutators of strongly singular Calderón-Zygmund operators on Hardy-type spaces. Moreover, Lin and Lu [3, 6] discussed the boundedness of the commutator [b,T] on Morrey spaces when b is a BMO function or a Lipschitz function, respectively.

The classical Morrey space was originally introduced by Morrey in [7] to study the local behavior of solutions of second order elliptic partial differential equations. For the properties and applications of classical Morrey spaces, one can refer to [7, 8]. In [9], Chiarenza and Frasca showed the boundedness of the Hardy-Littlewood maximal operator, the fractional integral operator and the Calderón-Zygmund singular integral operator on Morrey spaces. In 2010, Fu and Lu [10] established the boundedness of weighted Hardy operators and their commutators on Morrey spaces.

In 2009, Komori and Shirai [11] defined the weighted Morrey spaces and studied the boundedness of the Hardy-Littlewood maximal operator, the fractional integral operator, and the classical Calderón-Zygmund singular integral operator on these weighted spaces. In 2012, Wang [12] showed the boundedness of commutators generated by classical Calderón-Zygmund operators and weighted BMO functions on weighted Morrey spaces. In 2013, the authors in [13] proved the boundedness of some sublinear operators and their commutators on weighted Morrey spaces.

Inspired by the above results, the main purpose of this paper is to overcome the stronger singularity near the diagonal and establish the boundedness properties of the strongly singular Calderón-Zygmund operators and their commutators on weighted Morrey spaces.

Let us first recall some necessary definitions and notations.

Definition 1.2 ([14])

A non-negative measurable function ω is said to be in the Muckenhoupt class A p with 1<p< if for every cube Q in R n , there exists a positive constant C independent of Q such that

( 1 | Q | Q ω ( x ) d x ) ( 1 | Q | Q ω ( x ) 1 p d x ) p 1 C,

where Q denotes a cube in R n with the side parallel to the coordinate axes and 1/p+1/ p =1. When p=1, a non-negative measurable function ω is said to belong to A 1 , if there exists a constant C>0 such that for any cube Q,

1 | Q | Q ω(y)dyCω(x),a.e. xQ.

It is well known that if ω A p with 1<p<, then ω A r for all r>p, and ω A q for some 1<q<p.

Definition 1.3 ([15])

A weighted function ω belongs to the reverse Hölder class RH r if there exist two constants r>1 and C>0 such that the reverse Hölder inequality

( 1 | Q | Q ω ( x ) r d x ) 1 r C ( 1 | Q | Q ω ( x ) d x )

holds for every cube Q in R n .

It is well known that if ω A p with 1p<, then there exists a r>1 such that ω RH r . It follows directly from Hölder’s inequality that ω RH r implies ω RH s for all 1<s<r.

Definition 1.4 Let 1p< and ω be a weighted function. A locally integrable function b is said to be in the weighted BMO space BMO p (ω) if

b BMO p ( ω ) = sup Q ( 1 ω ( Q ) Q | b ( x ) b Q | p ω ( x ) 1 p d x ) 1 / p <,

where b Q = 1 | Q | Q b(y)dy and the supremum is taken over all cubes Q R n .

Moreover, we denote simply BMO(ω) when p=1.

Definition 1.5 The Hardy-Littlewood maximal operator M is defined by

M(f)(x)= sup Q x 1 | Q | Q |f(y)|dy.

We set M s (f)=M ( | f | s ) 1 / s , where 0<s<.

The sharp maximal operator M is defined by

M (f)(x)= sup Q x 1 | Q | Q |f(y) f Q |dy sup Q x inf a C 1 | Q | Q |f(y)a|dy,

where f Q = 1 | Q | Q f(x)dx. We define the t-sharp maximal operator M t (f)= M ( | f | t ) 1 / t , where 0<t<1.

Let ω be a weight. The weighted maximal operator M ω is defined by

M ω (f)(x)= sup Q x 1 ω ( Q ) Q |f(y)|ω(y)dy.

We also set M s , ω (f)= M ω ( | f | s ) 1 / s , where 0<s<.

Definition 1.6 ([11])

Let 1p<, 0<k<1, and ω be a weighted function. Then the weighted Morrey space L p , k (ω) is defined by

L p , k (ω)= { f L loc p ( ω ) : f L p , k ( ω ) < } ,

where

f L p , k ( ω ) = sup Q ( 1 ω ( Q ) k Q | f ( x ) | p ω ( x ) d x ) 1 / p ,

and the supremum is taken over all cubes Q in R n .

Definition 1.7 ([11])

Let 1p< and 0<k<1. Then for two weighted functions u and v, the weighted Morrey space L p , k (u,v) is defined by

L p , k (u,v)= { f L loc p ( u ) : f L p , k ( u , v ) < } ,

where

f L p , k ( u , v ) = sup Q ( 1 v ( Q ) k Q | f ( x ) | p u ( x ) d x ) 1 / p .

2 Main results

Now we state our main results as follows.

Theorem 2.1 Let T be a strongly singular Calderón-Zygmund operator, and α, β, δ be given in Definition  1.1. If n ( 1 α ) + 2 β 2 β <p<, 0<k<1, and ω A 2 β p / [ n ( 1 α ) + 2 β ] , then T is bounded on L p , k (ω).

Theorem 2.2 Let T be a strongly singular Calderón-Zygmund operator, α, β, δ be given in Definition  1.1 and n ( 1 α ) 2 <β< n 2 . Suppose n ( 1 α ) + 2 β 2 β <p<, 0<k<1, and ω A 1 RH r with r> ( n ( 1 α ) + 2 β ) ( p 1 ) 2 β p n ( 1 α ) 2 β . If bBMO(ω), then [b,T] is bounded from L p , k (ω) to L p , k ( ω 1 p ,ω).

If we consider the extreme cases α1 and β0 in Definition 1.1, then the strongly singular Calderón-Zygmund operator comes back to the classical Calderón-Zygmund operator. Thus, we get the boundedness of the classical Calderón-Zygmund operator and its commutator on weighted Morrey spaces as corollaries of Theorem 2.1 and Theorem 2.2.

Corollary 2.1 Let T be a classical Calderón-Zygmund operator. If 1<p<, 0<k<1, and ω A p , then T is bounded on L p , k (ω).

Corollary 2.2 Let T be a classical Calderón-Zygmund operator, 1<p<, 0<k<1 and ω A 1 . If bBMO(ω), then [b,T] is bounded from L p , k (ω) to L p , k ( ω 1 p ,ω).

Remark 2.1 Actually, Corollary 2.1 and Corollary 2.2 have been exactly obtained in [11] and [12] in the special case δ=1. Thus, from this perspective, Theorem 2.1 and Theorem 2.2 generalized the corresponding results in [11, 12], and the range of the index in Theorem 2.1 and Theorem 2.2 is reasonable.

3 Preliminaries

Before we give the proofs of our main results, we need some lemmas.

Lemma 3.1 ([1])

If T is a strongly singular Calderón-Zygmund operator, then T can be defined to be a continuous operator from L to BMO.

Lemma 3.2 ([2])

If T is a strongly singular Calderón-Zygmund operator, then T is of weak ( L 1 , L 1 ) type.

By Lemma 3.1, Lemma 3.2, Definition 1.1, and interpolation theory, we find that T is bounded on L p , 1<p<. Besides the ( L p , L p )-boundedness, the strongly singular Calderón-Zygmund operator T still has other kinds of boundedness properties on Lebesgue spaces. By interpolating between ( L 2 , L q ) and ( L ,BMO), where q is given in Definition 1.1 and 1/q+1/ q =1, T is bounded from L u to L v with 2u< and v= u q 2 . It is easy to see that 0< u v α in this situation. Then we interpolate between ( L 2 , L q ) and weak ( L 1 , L 1 ) to obtain the boundedness of T from L u to L v , where 1<u2 and v= u q 2 q u q + 2 u 2 . In this situation, 0< u v α if and only if n ( 1 α ) + 2 β 2 β u2. In a word, the boundedness properties of the strongly singular Calderón-Zygmund operator on Lebesgue spaces can be summarized as follows.

Remark 3.1 The strongly singular Calderón-Zygmund operator T is bounded on L p for 1<p<. And T is bounded from L u to L v , n ( 1 α ) + 2 β 2 β u< and 0< u v α. In particular, if we restrict n ( 1 α ) 2 <β< n 2 in (3) of Definition 1.1, then T is bounded from L u to L v , n ( 1 α ) + 2 β 2 β <u<, and 0< u v <α.

Lemma 3.3 ([16, 17])

Let ω A 1 . Then for any 1p<, there exists an absolute constant C>0 such that b BMO p ( ω ) C b BMO ( ω ) .

Lemma 3.4 ([11])

If 1<p<, 0<k<1, and ω A p , then M is bounded on L p , k (ω).

Lemma 3.5 ([12])

Let 1<p<, 0<k<1, and ω A , then for any 1<s<p, we have

M s , ω ( f ) L p , k ( ω ) C f L p , k ( ω ) .

Lemma 3.6 ([12])

Let 0<t<1, 1<p<, and 0<k<1. If u,v A , then we have

M t ( f ) L p , k ( u , v ) C M t ( f ) L p , k ( u , v )

for all functions f such that the left-hand side is finite. In particular, when u=v=ω and ω A , we have

M t ( f ) L p , k ( ω ) C M t ( f ) L p , k ( ω )

for all functions f such that the left-hand side is finite.

Lemma 3.7 Given ε>0, we have lnx 1 ε x ε , for all x1.

Let φ(x)=lnx 1 ε x ε , x1. The above result comes from the monotone property of the function φ.

Lemma 3.8 If T is a strongly singular Calderón-Zygmund operator, α, β, δ are given in Definition  1.1, and 0<t<1, then for all n ( 1 α ) + 2 β 2 β s<, there exists a positive constant C such that

M t (Tf)(x)C M s (f)(x),x R n

for every bounded and compactly supported function f.

Proof For any ball B=B( x 0 , r B ) R n which contains x, there are two cases.

Case 1: r B >1.

We have

( 1 | B | B | | T ( f ) ( y ) | t | T ( f χ ( 2 B ) c ) ( x 0 ) | t | d y ) 1 / t ( 1 | B | B | T ( f ) ( y ) T ( f χ ( 2 B ) c ) ( x 0 ) | t d y ) 1 / t C ( 1 | B | B | T ( f χ 2 B ) ( y ) | t d y ) 1 / t + C ( 1 | B | B | T ( f χ ( 2 B ) c ) ( y ) T ( f χ ( 2 B ) c ) ( x 0 ) | t d y ) 1 / t : = I 1 + I 2 .

For I 1 , by Hölder’s inequality and the L s -boundedness of T, we get

I 1 C 1 | B | B | T ( f χ 2 B ) ( y ) | d y C ( 1 | B | B | T ( f χ 2 B ) ( y ) | s d y ) 1 / s C ( 1 | B | 2 B | f ( y ) | s d y ) 1 / s C M s ( f ) ( x ) .

Since r B >1 and 2 | y x 0 | α |z x 0 | for any yB, z ( 2 B ) c , by Hölder’s inequality and (2) of Definition 1.1, we have

I 2 C | B | B | T ( f χ ( 2 B ) c ) ( y ) T ( f χ ( 2 B ) c ) ( x 0 ) | d y C | B | B ( 2 B ) c | K ( y , z ) K ( x 0 , z ) | | f ( z ) | d z d y C | B | B ( 2 B ) c | y x 0 | δ | z x 0 | n + δ α | f ( z ) | d z d y C r B δ j = 1 2 j + 1 B 2 j B | f ( z ) | | z x 0 | n + δ α d z C r B δ j = 1 ( 2 j r B ) δ α 1 | 2 j + 1 B | 2 j + 1 B | f ( z ) | d z C r B δ δ α j = 1 ( 2 j ) δ α ( 1 | 2 j + 1 B | 2 j + 1 B | f ( z ) | s d z ) 1 / s C M s ( f ) ( x ) r B δ δ α j = 1 ( 2 j ) δ α C M s ( f ) ( x ) .

Case 2: 0< r B 1.

Denote B ˜ =B( x 0 , r B α ). There is

( 1 | B | B | | T ( f ) ( y ) | t | T ( f χ ( 2 B ˜ ) c ) ( x 0 ) | t | d y ) 1 / t ( 1 | B | B | T ( f ) ( y ) T ( f χ ( 2 B ˜ ) c ) ( x 0 ) | t d y ) 1 / t C ( 1 | B | B | T ( f χ 2 B ˜ ) ( y ) | t d y ) 1 / t + C ( 1 | B | B | T ( f χ ( 2 B ˜ ) c ) ( y ) T ( f χ ( 2 B ˜ ) c ) ( x 0 ) | t d y ) 1 / t : = II 1 + II 2 .

Since n ( 1 α ) + 2 β 2 β s<, by Remark 3.1, there exists an l such that T is bounded from L s into L l and 0< s l α. It follows from Hölder’s inequality that

II 1 C | B | B | T ( f χ 2 B ˜ ) ( y ) | d y C ( 1 B B | T ( f χ 2 B ˜ ) ( y ) | l d y ) 1 / l C | B | 1 / l ( 2 B ˜ | f ( y ) | s d y ) 1 / s = C r n / l + α n / s ( 1 | 2 B ˜ | 2 B ˜ | f ( y ) | s d y ) 1 / s C M s ( f ) ( x ) .

Since 0< r B 1 and 2 | y x 0 | α |z x 0 | for any yB, z ( 2 B ˜ ) c , similarly to I 2 , we have

II 2 C | B | B | T ( f χ ( 2 B ˜ ) c ) ( y ) T ( f χ ( 2 B ˜ ) c ) ( x 0 ) | d y C | B | B ( 2 B ˜ ) c | K ( y , z ) K ( x 0 , z ) | | f ( z ) | d z d y C | B | B ( 2 B ˜ ) c | y x 0 | δ | z x 0 | n + δ α | f ( z ) | d z d y C r B δ j = 1 2 j + 1 B ˜ 2 j B ˜ | f ( z ) | | z x 0 | n + δ α d z C r B δ j = 1 ( 2 j r B α ) δ α 1 | 2 j + 1 B ˜ | 2 j + 1 B ˜ | f ( z ) | d z C j = 1 ( 2 j ) δ α ( 1 | 2 j + 1 B ˜ | 2 j + 1 B ˜ | f ( z ) | s d z ) 1 / s C M s ( f ) ( x ) .

Therefore, combining the estimates in both cases, there is

M t (Tf)(x) sup B x inf a C ( 1 | B | B | | T ( f ) ( y ) | t a | d y ) 1 t C M s (f)(x).

 □

Lemma 3.9 Let ω A 1 and f be a function in BMO(ω). Suppose 1p<, x R n , and r 1 , r 2 >0. Then

( 1 | B ( x , r 1 ) | B ( x , r 1 ) | f ( y ) f B ( x , r 2 ) | p ω ( y ) 1 p d y ) 1 p C f BMO ( ω ) ω ( x ) ( 1 + | ln r 2 r 1 | ) ( ω ( B ( x , r 1 ) ) | B ( x , r 1 ) | ) 1 p .

Proof Without loss of generality, we may assume that 0< r 1 r 2 and omit the case 0< r 2 < r 1 since their similarity. For 0< r 1 r 2 , there are k 1 , k 2 Z such that 2 k 1 1 < r 1 2 k 1 and 2 k 2 1 < r 2 2 k 2 . Then k 1 k 2 and

( k 2 k 1 1)ln2<ln r 2 r 1 <( k 2 k 1 +1)ln2.

Thus, we have

( 1 | B ( x , r 1 ) | B ( x , r 1 ) | f ( y ) f B ( x , r 2 ) | p ω ( y ) 1 p d y ) 1 p ( 1 | B ( x , r 1 ) | B ( x , r 1 ) | f ( y ) f B ( x , 2 k 1 ) | p ω ( y ) 1 p d y ) 1 p + ( | f B ( x , r 2 ) f B ( x , 2 k 2 ) | + | f B ( x , 2 k 2 ) f B ( x , 2 k 1 ) | ) × ( 1 | B ( x , r 1 ) | B ( x , r 1 ) ω ( y ) 1 p d y ) 1 p ( 2 n | B ( x , 2 k 1 ) | B ( x , 2 k 1 ) | f ( y ) f B ( x , 2 k 1 ) | p ω ( y ) 1 p d y ) 1 p + ( | f B ( x , r 2 ) f B ( x , 2 k 2 ) | + j = k 1 k 2 1 | f B ( x , 2 j + 1 ) f B ( x , 2 j ) | ) × ( 1 | B ( x , r 1 ) | B ( x , r 1 ) ω ( y ) 1 p d y ) 1 p C f BMO ( ω ) ω ( x ) 1 p + ( 1 | B ( x , r 2 ) | B ( x , r 2 ) | f ( y ) f B ( x , 2 k 2 ) | d y + j = k 1 k 2 1 1 | B ( x , 2 j ) | B ( x , 2 j ) | f ( y ) f B ( x , 2 j + 1 ) | d y ) × ( 1 | B ( x , r 1 ) | B ( x , r 1 ) ω ( y ) 1 p d y ) 1 p .

Write

1 | B ( x , r 2 ) | B ( x , r 2 ) | f ( y ) f B ( x , 2 k 2 ) | d y 2 n | B ( x , 2 k 2 ) | ( B ( x , 2 k 2 ) | f ( y ) f B ( x , 2 k 2 ) | p ω ( y ) 1 p d y ) 1 p × ( B ( x , 2 k 2 ) ω ( y ) d y ) 1 p 2 n ω ( B ( x , 2 k 2 ) ) | B ( x , 2 k 2 ) | × ( 1 ω ( B ( x , 2 k 2 ) ) B ( x , 2 k 2 ) | f ( y ) f B ( x , 2 k 2 ) | p ω ( y ) 1 p d y ) 1 p 2 n f BMO ( ω ) ω ( x )

and

1 | B ( x , 2 j ) | B ( x , 2 j ) | f ( y ) f B ( x , 2 j + 1 ) | d y 2 n | B ( x , 2 j + 1 ) | ( B ( x , 2 j + 1 ) | f ( y ) f B ( x , 2 j + 1 ) | p ω ( y ) 1 p d y ) 1 p × ( B ( x , 2 j + 1 ) ω ( y ) d y ) 1 p 2 n f BMO ( ω ) ω ( x ) .

If 1<p<, then by the fact ω A 1 A p , we have

( 1 | B ( x , r 1 ) | B ( x , r 1 ) ω ( y ) 1 p d y ) 1 p = [ ( 1 | B ( x , r 1 ) | B ( x , r 1 ) ω ( y ) 1 p d y ) p 1 ] 1 p ( p 1 ) C ( 1 | B ( x , r 1 ) | B ( x , r 1 ) ω ( y ) d y ) 1 p ( p 1 ) = C ( ω ( B ( x , r 1 ) ) | B ( x , r 1 ) | ) 1 p .

If p=1, then the above estimate holds obviously.

Thus,

( 1 | B ( x , r 1 ) | B ( x , r 1 ) | f ( y ) f B ( x , r 2 ) | p ω ( y ) 1 p d y ) 1 p C f BMO ( ω ) ω ( x ) 1 p + C ( 2 n f BMO ( ω ) ω ( x ) + j = k 1 k 2 1 2 n f BMO ( ω ) ω ( x ) ) ( ω ( B ( x , r 1 ) ) | B ( x , r 1 ) | ) 1 p C f BMO ( ω ) ω ( x ) ( ω ( B ( x , r 1 ) ) | B ( x , r 1 ) | ) 1 p + C f BMO ( ω ) ω ( x ) ( k 2 k 1 + 1 ) ( ω ( B ( x , r 1 ) ) | B ( x , r 1 ) | ) 1 p C f BMO ( ω ) ω ( x ) ( 1 + | ln r 2 r 1 | ) ( ω ( B ( x , r 1 ) ) | B ( x , r 1 ) | ) 1 p .

This completes the proof of Lemma 3.9. □

Lemma 3.10 Let T be a strongly singular Calderón-Zygmund operator, α, β, δ be given in Definition  1.1 and n ( 1 α ) 2 <β< n 2 . Let 0<t<1, n ( 1 α ) + 2 β 2 β <s<, ω A 1 RH r with r> ( n ( 1 α ) + 2 β ) ( s 1 ) 2 β s n ( 1 α ) 2 β , and bBMO(ω), then we have

M t ( [ b , T ] f ) (x)C b BMO ( ω ) ( ω ( x ) M s , ω ( T f ) ( x ) + ω ( x ) M s , ω ( f ) ( x ) ) ,a.e. x R n .

Proof For any ball B=B(x, r B ) with the center x and radius r B , there are two cases.

Case 1: r B >1.

We decompose f= f 1 + f 2 , where f 1 =f χ 2 B and χ 2 B denotes the characteristic function of 2B. Observe that

[ b , T ] ( f ) ( y ) = ( b ( y ) b 2 B ) T ( f ) ( y ) T ( ( b b 2 B ) f ) ( y ) = ( b ( y ) b 2 B ) T ( f ) ( y ) T ( ( b b 2 B ) f 1 ) ( y ) T ( ( b b 2 B ) f 2 ) ( y ) .

Since 0<t<1, we have

( 1 | B | B | | [ b , T ] ( f ) ( y ) | t | T ( ( b b 2 B ) f 2 ) ( x ) | t | d y ) 1 / t ( 1 | B | B | [ b , T ] ( f ) ( y ) + T ( ( b b 2 B ) f 2 ) ( x ) | t d y ) 1 / t C ( 1 | B | B | ( b ( y ) b 2 B ) T ( f ) ( y ) | t d y ) 1 / t + C ( 1 | B | B | T ( ( b b 2 B ) f 1 ) ( y ) | t d y ) 1 / t + C ( 1 | B | B | T ( ( b b 2 B ) f 2 ) ( y ) T ( ( b b 2 B ) f 2 ) ( x ) | t d y ) 1 / t : = I 1 + I 2 + I 3 .

We are now going to estimate each term, respectively. Since ω A 1 , it follows from Hölder’s inequality and Lemma 3.3 that

I 1 C | B | B | ( b ( y ) b 2 B ) T ( f ) ( y ) | d y C | B | ( B | b ( y ) b 2 B | s ω ( y ) 1 s d y ) 1 / s ( B | T f ( y ) | s ω ( y ) d y ) 1 / s C b BMO ( ω ) ω ( B ) | B | ( 1 ω ( B ) B | T f ( y ) | s ω ( y ) d y ) 1 / s C b BMO ( ω ) ω ( x ) M s , ω ( T f ) ( x ) .

Applying Kolmogorov’s inequality [15], Lemma 3.2, Hölder’s inequality, and Lemma 3.3, we get

I 2 C | B | 1 / t ( | B | 1 t ( b b 2 B ) f 1 1 t ) 1 / t = C | B | 2 B | ( b ( y ) b 2 B ) f ( y ) | d y C | B | ( 2 B | b ( y ) b 2 B | s ω ( y ) 1 s d y ) 1 / s ( 2 B | f ( y ) | s ω ( y ) d y ) 1 / s C b BMO ( ω ) ω ( 2 B ) | 2 B | ( 1 ω ( 2 B ) 2 B | f ( y ) | s ω ( y ) d y ) 1 / s C b BMO ( ω ) ω ( x ) M s , ω ( f ) ( x ) .

Since r B >1 and 2 | y x | α |zx| for any yB, z ( 2 B ) c , by (2) of Definition 1.1, we have

I 3 C | B | B | T ( ( b b 2 B ) f 2 ) ( y ) T ( ( b b 2 B ) f 2 ) ( x ) | d y C | B | B ( 2 B ) c | K ( y , z ) K ( x , z ) | | b ( z ) b 2 B | | f ( z ) | d z d y C j = 1 1 | B | B 2 j + 1 B 2 j B | y x | δ | z x | n + δ α | b ( z ) b 2 B | | f ( z ) | d z d y C r B δ j = 1 ( 2 j r B ) δ α 1 | B | B 1 | 2 j + 1 B | 2 j + 1 B 2 j B | b ( z ) b 2 B | | f ( z ) | d z d y C r B δ δ α j = 1 ( 2 j ) δ α 1 | 2 j + 1 B | 2 j + 1 B | b ( z ) b 2 B | | f ( z ) | d z .

Applying Hölder’s inequality and Lemma 3.9, we get

I 3 C j = 1 ( 2 j ) δ α 1 | 2 j + 1 B | ( 2 j + 1 B | b ( z ) b 2 B | s ω ( z ) 1 s d z ) 1 / s × ( 2 j + 1 B | f ( z ) | s ω ( z ) d z ) 1 / s C j = 1 ( 2 j ) δ α 1 | 2 j + 1 B | | 2 j + 1 B | 1 s b BMO ( ω ) j ω ( x ) ( ω ( 2 j + 1 B ) | 2 j + 1 B | ) 1 s × ( 2 j + 1 B | f ( z ) | s ω ( z ) d z ) 1 / s C b BMO ( ω ) ω ( x ) j = 1 j ( 2 j ) δ α ( 1 ω ( 2 j + 1 B ) 2 j + 1 B | f ( z ) | s ω ( z ) d z ) 1 / s C b BMO ( ω ) ω ( x ) M s , ω ( f ) ( x ) j = 1 j ( 2 j ) δ α C b BMO ( ω ) ω ( x ) M s , ω ( f ) ( x ) .

Case 2: 0< r B 1.

Since r> ( n ( 1 α ) + 2 β ) ( s 1 ) 2 β s n ( 1 α ) 2 β , that is, n ( 1 α ) + 2 β 2 β < r s s + r 1 , there exists an s 0 such that n ( 1 α ) + 2 β 2 β < s 0 < r s s + r 1 . For the index s 0 which we chose, by Remark 3.1, there exists an l 0 such that T is bounded from L s 0 to L l 0 and 0< s 0 l 0 <α. Then we can take a θ satisfying 0< s 0 l 0 <θ<α.

Let B ˜ =B(x, r B θ ). We decompose f= f 3 + f 4 , where f 3 =f χ 2 B ˜ and χ 2 B ˜ denotes the characteristic function of 2 B ˜ . Write

[ b , T ] ( f ) ( y ) = ( b ( y ) b 2 B ) T ( f ) ( y ) T ( ( b b 2 B ) f ) ( y ) = ( b ( y ) b 2 B ) T ( f ) ( y ) T ( ( b b 2 B ) f 3 ) ( y ) T ( ( b b 2 B ) f 4 ) ( y ) .

Since 0<t<1, we have

( 1 | B | B | | [ b , T ] ( f ) ( y ) | t | T ( ( b b 2 B ) f 4 ) ( x ) | t | d y ) 1 / t ( 1 | B | B | [ b , T ] ( f ) ( y ) + T ( ( b b 2 B ) f 4 ) ( x ) | t d y ) 1 / t C ( 1 | B | B | ( b ( y ) b 2 B ) T ( f ) ( y ) | t d y ) 1 / t + C ( 1 | B | B | T ( ( b b 2 B ) f 3 ) ( y ) | t d y ) 1 / t + C ( 1 | B | B | T ( ( b b 2 B ) f 4 ) ( y ) T ( ( b b 2 B ) f 4 ) ( x ) | t d y ) 1 / t : = II 1 + II 2 + II 3 .

Similarly to estimate I 1 , we have

II 1 C b BMO ( ω ) ω(x) M s , ω (Tf)(x).

Since 1< s 0 <s<, there exists an l (1<l<) such that 1 s 0 = 1 s + 1 l . By Hölder’s inequality and the ( L s 0 , L l 0 )-boundedness of T, we have

II 2 C | B | B | T ( ( b b 2 B ) f 3 ) ( y ) | d y C ( 1 | B | B | T ( ( b b 2 B ) f 3 ) ( y ) | l 0 d y ) 1 l 0 C | B | 1 l 0 ( 2 B ˜ | b ( y ) b 2 B | s 0 | f ( y ) | s 0 d y ) 1 s 0 C | B | 1 l 0 ( 2 B ˜ | b ( y ) b 2 B | l ω ( y ) l s d y ) 1 l ( 2 B ˜ | f ( y ) | s ω ( y ) d y ) 1 s C M s , ω ( f ) ( x ) ω ( 2 B ˜ ) 1 s | B | 1 l 0 ( 2 B ˜ | b ( y ) b 2 B | l ω ( y ) l s d y ) 1 l .

Let p 0 = ( r 1 ) ( s s 0 ) s ( s 0 1 ) . Since s 0 < r s s + r 1 , we get 1< p 0 <. So p 0 = ( r 1 ) ( s s 0 ) r s ( s + r 1 ) s 0 and 1< p 0 <. Applying Hölder’s inequality for p 0 and p 0 , Lemma 3.9, and noticing that r= l p 0 s p 0 p 0 , we get

II 2 C M s , ω ( f ) ( x ) ω ( 2 B ˜ ) 1 s | B | 1 l 0 ( 2 B ˜ | b ( y ) b 2 B | l p 0 ω ( y ) 1 l p 0 d y ) 1 l p 0 × ( 2 B ˜ ω ( y ) l p 0 s p 0 p 0 d y ) 1 l p 0 C M s , ω ( f ) ( x ) ω ( 2 B ˜ ) 1 s | B | 1 l 0 | 2 B ˜ | 1 l p 0 b BMO ( ω ) ω ( x ) × ( 1 + | ln r B θ r B | ) ( ω ( 2 B ˜ ) | 2 B ˜ | ) 1 ( l p 0 ) [ ( 1 | 2 B ˜ | 2 B ˜ ω ( y ) r d y ) 1 r ] r l p 0 | 2 B ˜ | 1 l p 0 C M s , ω ( f ) ( x ) ω ( 2 B ˜ ) 1 s | B | 1 l 0 | 2 B ˜ | 1 l b BMO ( ω ) ω ( x ) × ( 1 + | ln r B θ r B | ) ( ω ( 2 B ˜ ) | 2 B ˜ | ) 1 ( l p 0 ) ( ω ( 2 B ˜ ) | 2 B ˜ | ) r l p 0 C b BMO ( ω ) ω ( x ) M s , ω ( f ) ( x ) ω ( 2 B ˜ ) 1 s | B | 1 l 0 | 2 B ˜ | 1 l × ( 1 + ( 1 θ ) ln 1 r B ) ( ω ( 2 B ˜ ) | 2 B ˜ | ) 1 s .

The inequality 0< s 0 l 0 <θ implies that ε 1 :=n( θ s 0 1 l 0 )>0. By Lemma 3.7, we have

II 2 C b BMO ( ω ) ω ( x ) M s , ω ( f ) ( x ) | B | 1 l 0 | 2 B ˜ | 1 l + 1 s ( 1 + 1 ε 1 r B ε 1 ) C b BMO ( ω ) ω ( x ) M s , ω ( f ) ( x ) r B n ( θ s 0 1 l 0 ) ε 1 = C b BMO ( ω ) ω ( x ) M s , ω ( f ) ( x ) .

The fact θ<α implies that ε 2 := δ α (αθ)>0. For any yB and z ( 2 B ˜ ) c , we have 2 | y x | α 2 r B α 2 r B θ |zx| since 0< r B 1. It follows from (2) of Definition 1.1, Hölder’s inequality, Lemma 3.9, and Lemma 3.7 that

II 3 C | B | B | T ( ( b b 2 B ) f 4 ) ( y ) T ( ( b b 2 B ) f 4 ) ( x ) | d y C | B | B ( 2 B ˜ ) c | K ( y , z ) K ( x , z ) | | b ( z ) b 2 B | | f ( z ) | d z d y C j = 1 1 | B | B 2 j + 1 B ˜ 2 j B ˜ | y x | δ | z x | n + δ α | b ( z ) b 2 B | | f ( z ) | d z d y C r B δ j = 1 ( 2 j r B θ ) δ α 1 | 2 j + 1 B ˜ | 2 j + 1 B ˜ 2 j B ˜ | b ( z ) b 2 B | | f ( z ) | d z C r B δ θ δ α j = 1 ( 2 j ) δ α 1 | 2 j + 1 B ˜ | ( 2 j + 1 B ˜ | b ( z ) b 2 B | s ω ( y ) 1 s d y ) 1 s × ( 2 j + 1 B ˜ | f ( z ) | s ω ( y ) d y ) 1 s C r B δ θ δ α j = 1 ( 2 j ) δ α 1 | 2 j + 1 B ˜ | | 2 j + 1 B ˜ | 1 s b BMO ( ω ) ω ( x ) × ( j + ( 1 θ ) ln 1 r B ) ( ω ( 2 j + 1 B ˜ ) | 2 j + 1 B ˜ | ) 1 s M s , ω ( f ) ( x ) ω ( 2 j + 1 B ˜ ) 1 s C r B δ θ δ α j = 1 ( 2 j ) δ α b BMO ( ω ) ω ( x ) M s , ω ( f ) ( x ) ( j + ( 1 θ ) ln 1 r B ) C b BMO ( ω ) ω ( x ) M s , ω ( f ) ( x ) r B δ θ δ α j = 1 ( 2 j ) δ α ( j + 1 ε 2 r B ε 2 ) C b BMO ( ω ) ω ( x ) M s , ω ( f ) ( x ) r B δ α ( α θ ) ε 2 j = 1 j ( 2 j ) δ α C b BMO ( ω ) ω ( x ) M s , ω ( f ) ( x ) .

Combining the estimates in both cases, we have

M t ( [ b , T ] f ) ( x ) sup r B > 0 inf a C ( 1 | B ( x , r B ) | B ( x , r B ) | | [ b , T ] ( f ) ( y ) | t a | d y ) 1 t C b BMO ( ω ) ( ω ( x ) M s , ω ( T f ) ( x ) + ω ( x ) M s , ω ( f ) ( x ) ) .

 □

4 Proof of the main results

Now we are able to prove our main results.

Proof of Theorem 2.1 Since n ( 1 α ) + 2 β 2 β <p< and ω A 2 β p / [ n ( 1 α ) + 2 β ] , there exists an l such that 1l< 2 p β n ( 1 α ) + 2 β and ω A l . Since n ( 1 α ) + 2 β 2 β < p l p, there exists an s such that n ( 1 α ) + 2 β 2 β <s< p l p. It follows from p s >l that ω A p / s . Applying Lemma 3.6, Lemma 3.8, and Lemma 3.4, we have

T ( f ) L p , k ( ω ) M t ( T f ) L p , k ( ω ) C M t ( T f ) L p , k ( ω ) C M s ( f ) L p , k ( ω ) = C M ( | f | s ) L p / s , k ( ω ) 1 / s C | f | s L p / s , k ( ω ) 1 / s = C f L p , k ( ω ) .

This completes the proof of Theorem 2.1. □

Proof of Theorem 2.2 Since r> ( n ( 1 α ) + 2 β ) ( p 1 ) 2 β p n ( 1 α ) 2 β , that is p> ( n ( 1 α ) + 2 β ) ( r 1 ) 2 β r n ( 1 α ) 2 β , there exists an s such that p>s> ( n ( 1 α ) + 2 β ) ( r 1 ) 2 β r n ( 1 α ) 2 β > n ( 1 α ) + 2 β 2 β . Since s> ( n ( 1 α ) + 2 β ) ( r 1 ) 2 β r n ( 1 α ) 2 β , we have r> ( n ( 1 α ) + 2 β ) ( s 1 ) 2 β s n ( 1 α ) 2 β . Applying Lemma 3.6 and Lemma 3.10, we thus have

[ b , T ] ( f ) L p , k ( ω 1 p , ω ) M t ( [ b , T ] f ) L p , k ( ω 1 p , ω ) C M t ( [ b , T ] f ) L p , k ( ω 1 p , ω ) C b BMO ( ω ) ( ω ( ) M s , ω ( T f ) L p , k ( ω 1 p , ω ) + ω ( ) M s , ω ( f ) L p , k ( ω 1 p , ω ) ) = C b BMO ( ω ) ( M s , ω ( T f ) L p , k ( ω ) + M s , ω ( f ) L p , k ( ω ) ) .

Therefore, by using Lemma 3.5 and Theorem 2.1, we obtain

[ b , T ] ( f ) L p , k ( ω 1 p , ω ) C b BMO ( ω ) ( T f L p , k ( ω ) + f L p , k ( ω ) ) C b BMO ( ω ) f L p , k ( ω ) .

This completes the proof of Theorem 2.2. □

References

  1. Alvarez J, Milman M: H p Continuity properties of Calderón-Zygmund type operators. J. Math. Anal. Appl. 1986, 118: 63-79. 10.1016/0022-247X(86)90290-8

    Article  MathSciNet  MATH  Google Scholar 

  2. Alvarez J, Milman M: Vector valued inequalities for strongly Calderón-Zygmund operators. Rev. Mat. Iberoam. 1986, 2: 405-426.

    Article  MathSciNet  MATH  Google Scholar 

  3. Lin Y: Strongly singular Calderón-Zygmund operator and commutator on Morrey type spaces. Acta Math. Sin. 2007, 23: 2097-2110. 10.1007/s10114-007-0974-0

    Article  MathSciNet  MATH  Google Scholar 

  4. Lin Y, Lu SZ: Boundedness of commutators on Hardy-type spaces. Integral Equ. Oper. Theory 2007, 57: 381-396. 10.1007/s00020-006-1461-1

    Article  MathSciNet  MATH  Google Scholar 

  5. Lin Y, Lu SZ: Toeplitz operators related to strongly singular Calderón-Zygmund operators. Sci. China Ser. A 2006, 49: 1048-1064. 10.1007/s11425-006-1084-7

    Article  MathSciNet  MATH  Google Scholar 

  6. Lin Y, Lu SZ: Strongly singular Calderón-Zygmund operators and their commutators. Jordan J. Math. Stat. 2008, 1: 31-49.

    MATH  Google Scholar 

  7. Morrey CB: On the solutions of quasi-linear elliptic partial differential equations. Trans. Am. Math. Soc. 1938, 43: 126-166. 10.1090/S0002-9947-1938-1501936-8

    Article  MathSciNet  MATH  Google Scholar 

  8. Peetre J: On the theory of L p , λ spaces. J. Funct. Anal. 1969, 4: 71-87. 10.1016/0022-1236(69)90022-6

    Article  MathSciNet  Google Scholar 

  9. Chiarenza F, Frasca M: Morrey spaces and Hardy-Littlewood maximal function. Rend. Mat. Appl. 1987, 7: 273-279.

    MathSciNet  MATH  Google Scholar 

  10. Fu ZW, Lu SZ: Weighted Hardy operators and commutators on Morrey spaces. Front. Math. China 2010, 5: 531-539. 10.1007/s11464-010-0015-7

    Article  MathSciNet  MATH  Google Scholar 

  11. Komori Y, Shirai S: Weighted Morrey spaces and a integral operator. Math. Nachr. 2009, 282: 219-231. 10.1002/mana.200610733

    Article  MathSciNet  MATH  Google Scholar 

  12. Wang H: Some estimates for commutators of Calderón-Zygmund operators on weighted Morrey spaces. Sci. Sin., Math. 2012, 42: 31-45. 10.1360/012011-400

    Article  Google Scholar 

  13. Shi SG, Fu ZW, Zhao FY: Estimates for operators on weighted Morrey spaces and their applications to nondivergence elliptic equations. J. Inequal. Appl. 2013 2013: Article ID 390

    Google Scholar 

  14. Muckenhoupt B: Weighted norm inequalities for the Hardy maximal function. Trans. Am. Math. Soc. 1972, 165: 207-226.

    Article  MathSciNet  MATH  Google Scholar 

  15. Garcia-Cuerva J, Rubio de Francia JL: Weighted Norm Inequalities and Related Topics. North-Holland, Amsterdam; 1985.

    MATH  Google Scholar 

  16. Garcia-Cuerva J:Weighted H p spaces. Diss. Math. 1979, 162: 1-63.

    MathSciNet  MATH  Google Scholar 

  17. Paluszyński M: Characterization of the Besov spaces via the commutator operator of Coifman, Rochberg and Weiss. Indiana Univ. Math. J. 1995, 44: 1-17.

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This work was supported by the National Natural Science Foundation of China (Nos. 11001266 and 11171345), Beijing Higher Education Young Elite Teacher Project (YETP0946), and the Fundamental Research Funds for the Central Universities (2009QS16).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yan Lin.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

YL put forward the ideas of the paper, and the authors completed the paper together. They also read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Lin, Y., Sun, G. Strongly singular Calderón-Zygmund operators and commutators on weighted Morrey spaces. J Inequal Appl 2014, 519 (2014). https://doi.org/10.1186/1029-242X-2014-519

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2014-519

Keywords