Skip to main content

A note on rough singular integrals in Triebel-Lizorkin spaces and Besov spaces

Abstract

This paper is concerned with the singular integral operators along polynomial curves. The boundedness for such operators on Triebel-Lizorkin spaces and Besov spaces is established, provided the kernels satisfy rather weak size conditions both on the unit sphere and in the radial direction. Moreover, the corresponding results for the singular integrals associated to the compound curves formed by polynomial with certain smooth functions are also given.

MSC:42B20, 42B25.

1 Introduction

Let R n , n2, be the n-dimensional Euclidean space and S n 1 denote the unit sphere in R n equipped with the induced Lebesgue measure . Let Ω L 1 ( S n 1 ) be a homogeneous function of degree zero and satisfy

S n 1 Ω(u)dσ(u)=0.
(1.1)

For a suitable function h defined on R + ={tR:t0} and a polynomial P N with P N (0)=0, where N is the degree of P N , we define the singular integral operators T h , Ω , P N along polynomial curves in R n by

T h , Ω , P N (f)(x):= p . v . R n f ( x P N ( | y | ) y ) Ω ( y ) h ( | y | ) | y | n dy.
(1.2)

For P N (t)=t, we denote T h , Ω , P N by T h . Fefferman [1] first proved that T h is bounded on L p ( R n ) for 1<p< provided that Ω satisfies a Lipschitz condition of positive order on S n 1 and h L (R). Subsequently, Namazi [2] improved Fefferman’s result to the case Ω L q ( S n 1 ). Later on, Duoandikoetxea and Francia [3] showed that T h is of type (p,p) for 1<p< provided that Ω L q ( S n 1 ) and h Δ 2 ( R + ), where Δ γ ( R + ), γ>0, denotes the set of all measurable functions h on R + satisfying the condition

h Δ γ ( R + ) = sup R > 0 ( R 1 0 R | h ( t ) | γ d t ) 1 / γ <.

It is easy to check that Δ ( R + )= L ( R + )⊆̷ Δ γ 2 ( R + )⊆̷ Δ γ 1 ( R + ) for 0< γ 1 < γ 2 <. In 1997, Fan and Pan [4] extended the result of [3] to the singular integrals along polynomial mappings provided that Ω H 1 ( S n 1 ) and h Δ γ ( R + ) for γ>1 with |1/p1/2|<min{1/2,1/ γ }, where H 1 ( S n 1 ) denotes the Hardy spaces on the unit sphere (see [5, 6]). In 2009, Fan and Sato [7] showed that T h is bounded on L p ( R n ) for some β>max{ γ ,2} with |1/p1/2|<min{1/ γ ,1/2}1/β, provided that h Δ γ ( R + ) for γ>1, and Ω satisfies the following size condition:

sup ξ S n 1 S n 1 × S n 1 | Ω ( θ ) Ω ( u ) | ( log + 1 | ( θ u ) ξ | ) β dσ(θ)dσ ( u ) <.
(1.3)

For the sake of simplicity, we denote

F ˜ β ( S n 1 ) := { Ω L 1 ( S n 1 ) : Ω  satisfies  ( 1.3 ) } ,β>0.

On the other hand, for h(t)=1, Fan et al. [8] showed that T h , Ω , P N is bounded on L p ( R n ) for 2β/(2β1)<p<2β provided β>1 and Ω F β ( S n 1 ), where

F β ( S n 1 ) := { Ω L 1 ( S n 1 ) : sup ξ S n 1 S n 1 | Ω ( y ) | ( log 1 | ξ y | ) β d σ ( y ) < } ,β>0.

Moreover, see [9, 10] for the corresponding results of the singular integrals in the mixed homogeneity setting.

Remark 1.1 It should be pointed out that the functions class F β ( S n 1 ) was originally introduced in Walsh’s paper [11] and developed by Grafakos and Stefanov [12] in the study of L p -boundedness of singular integrals with rough kernels. It follows from [12] that F β 1 ( S n 1 )⊆̷ F β 2 ( S n 1 ) for 0< β 2 < β 1 , and q > 1 L q ( S n 1 )⊆̷ F β ( S n 1 ) for any β>0, moreover,

β > 1 F β ( S n 1 ) H 1 ( S n 1 ) β > 1 F β ( S n 1 ) .
(1.4)

We also remark that condition (1.3) was originally introduced by Fan and Sato in more general form in [7]. In addition, it follows from [[7], Lemma 1] that

F β ( S 1 ) F ˜ β ( S 1 ) ,for β>0.
(1.5)

In this paper, we consider the boundedness of T h , Ω , P N on the Triebel-Lizorkin spaces and the Besov spaces, which contain many important function spaces, such as Lebesgue spaces, Hardy spaces, Sobolev spaces and Lipschitz spaces. Let us recall some notations. The homogeneous Triebel-Lizorkin spaces F ˙ α p , q ( R n ) and homogeneous Besov spaces B ˙ α p , q ( R n ) are defined, respectively, by

F ˙ α p , q ( R n ) := { f S ( R n ) : f F ˙ α p , q ( R n ) = ( i Z 2 i α q | Ψ i f | q ) 1 / q L p ( R n ) < }
(1.6)

and

B ˙ α p , q ( R n ) := { f S ( R n ) : f B ˙ α p , q ( R n ) = ( i Z 2 i α q Ψ i f L p ( R n ) q ) 1 / q < } ,
(1.7)

where αR, 0<p,q (p), S ( R n ) denotes the tempered distribution class on R n , Ψ i ˆ (ξ)=ϕ( 2 i ξ) for iZ and ϕ C c ( R n ) satisfies the conditions: 0ϕ(x)1; supp(ϕ){x:1/2|x|2}; ϕ(x)>c>0 if 3/5|x|5/3. It is well known that

F ˙ 0 p , 2 ( R n ) = L p ( R n )
(1.8)

for any 1<p<, see [1315], etc. for more properties of F ˙ α p , q ( R n ) and B ˙ α p , q ( R n ).

For h(t)=1, the operator T h is the classical Calderón-Zygmund singular integral operator denoted by T. In 2002, Chen et al. [16] proved that T is bounded on F ˙ α p , q ( R n ) provided Ω L r ( S n 1 ) for some r>1. Subsequently, Chen and Zhang [17] improved the result of [16] to the case Ω F β ( S n 1 ) for some β>2. Furthermore, in 2008, Chen and Ding [18] showed that T h is bounded on F ˙ α p , q ( R n ) for 1<p,q< and αR if Ω H 1 ( S n 1 ) and h L ( R + ). In 2010, Chen et al. [19] extended the result of [18] to the singular integrals along polynomial mappings provided that h Δ γ ( R + ) for γ>1 with max{|1/p1/2|,|1/q1/2|}<min{1/2,1/ γ }.

In light of aforementioned facts, a natural question is the following.

Question Is T h , Ω , P N bounded on F ˙ α p , q ( R n ) if Ω F ˜ β ( S n 1 ) and h Δ γ ( R + ) for some γ>1?

In this paper, we will give an affirmative answer to this question. Our main results can be formulated as follows.

Theorem 1.1 Let T h , Ω , P N be as in (1.2) and h Δ γ ( R + ) for some γ>1. Suppose that Ω F ˜ β ( S n 1 ) for some β>max{2, γ } and satisfies (1.1). Then for αR and max{|1/p1/2|,|1/q1/2|}<min{1/2,1/ γ }1/β, there exists a constant C>0 such that

T h , Ω , P N ( f ) F ˙ α p , q ( R n ) C f F ˙ α p , q ( R n ) ,

where C= C n , p , q , h , α , N , γ , β is independent of the coefficients of P N .

Theorem 1.2 Let T h , Ω , P N be as in (1.2) and h Δ γ ( R + ) for some γ>1. Suppose that Ω F ˜ β ( S n 1 ) for some β>max{2, γ } and satisfies (1.1). Then for αR, 1<q< and |1/p1/2|<min{1/2,1/ γ }1/β, there exists a constant C>0 such that

T h , Ω , P N ( f ) B ˙ α p , q ( R n ) C f B ˙ α p , q ( R n ) ,

where C= C n , p , q , h , α , N , γ , β is independent of the coefficients of P N .

By (1.5) and Theorems 1.1-1.2, we get the following results immediately.

Theorem 1.3 Let T h , Ω , P N be as in (1.2) and h Δ γ ( R + ) for some γ>1. Suppose that Ω F β ( S 1 ) for some β>max{2, γ } and satisfies (1.1). Then for αR and max{|1/p1/2|,|1/q1/2|}<min{1/2,1/ γ }1/β, there exists a constant C>0 such that

T h , Ω , P N ( f ) F ˙ α p , q ( R 2 ) C f F ˙ α p , q ( R 2 ) ,

where C= C p , q , h , α , N , γ , β is independent of the coefficients of P N .

Theorem 1.4 Let T h , Ω , P N be as in (1.2) and h Δ γ ( R + ) for some γ>1. Suppose that Ω F β ( S 1 ) for some β>max{2, γ } and satisfies (1.1). Then for αR, 1<q< and |1/p1/2|<min{1/2,1/ γ }1/β, there exists a constant C>0 such that

T h , Ω , P N ( f ) B ˙ α p , q ( R 2 ) C f B ˙ α p , q ( R 2 ) ,

where C= C p , q , h , α , N , γ , β is independent of the coefficients of P N .

Remark 1.2 Obviously, by (1.5) and (1.8), our results can be regarded as the generalization of the results in [8] or [7], even in the special case h(t)=1 or P N (t)=t. Moreover, by (1.4)-(1.5), our results are also distinct from the ones in [18, 19].

Furthermore, by Theorems 1.1-1.4, and a switched method followed from [20], we can establish the following more general results.

Theorem 1.5 Let h Δ γ ( R + ) for some γ>1 and Ω F ˜ β ( S n 1 ) for some β>max{2, γ } with satisfying (1.1). Suppose that φ is a nonnegative (or nonpositive) and monotonic C 1 function on (0,) such that Γ(t):= φ ( t ) t φ ( t ) with |Γ(t)|C, where C is a positive constant which depends only on φ. Then

  1. (i)

    for αR and max{|1/p1/2|,|1/q1/2|}<min{1/2,1/ γ }1/β, there exists a constant C>0 such that

    T h , P N , φ ( f ) F ˙ α p , q ( R n ) C f F ˙ α p , q ( R n ) ,

where

T h , P N , φ (f)(x):= p . v . R n f ( x P N ( φ ( | y | ) ) y ) Ω ( y ) h ( | y | ) | y | n dy.
  1. (ii)

    for αR, 1<q< and |1/p1/2|<min{1/2,1/ γ }1/β, there exists a constant C>0 such that

    T h , P N , φ ( f ) B ˙ α p , q ( R n ) C f B ˙ α p , q ( R n ) .

The constant C= C n , p , q , h , α , φ , N , γ , β is independent of the coefficients of P N .

Theorem 1.6 Let φ, h and T h , P N , φ be as in Theorem  1.5. Suppose that Ω F β ( S 1 ) for some β>max{2, γ } with satisfying (1.1). Then

  1. (i)

    for αR and max{|1/p1/2|,|1/q1/2|}<min{1/2,1/ γ }1/β, there exists a constant C>0 such that

    T h , P N , φ ( f ) F ˙ α p , q ( R 2 ) C f F ˙ α p , q ( R 2 ) ;
  2. (ii)

    for αR, 1<q< and |1/p1/2|<min{1/2,1/ γ }1/β, there exists a constant C>0 such that

    T h , P N , φ ( f ) B ˙ α p , q ( R 2 ) C f B ˙ α p , q ( R 2 ) .

The constant C= C p , q , h , α , φ , N , γ , β is independent of the coefficients of P N .

Remark 1.3 Under the assumptions on φ in Theorem 1.5, the following facts are obvious (see [20]):

  1. (i)

    lim t 0 φ(t)=0 and lim t |φ(t)|= if φ is nonnegative and increasing, or nonpositive and decreasing;

  2. (ii)

    lim t 0 |φ(t)|= and lim t φ(t)=0 if φ is nonnegative and decreasing, or nonpositive and increasing.

Moreover, the inhomogeneous versions of Triebel-Lizorkin spaces and Besov spaces, which are denoted by F α p , q ( R n ) and B α p , q ( R n ), respectively, are obtained by adding the term Φ f L p ( R n ) to the right-hand side of (1.6) or (1.7) with i Z replaced by i 1 , where ΦS( R n ), supp( Φ ˆ ){ξ:|ξ|2}, Φ ˆ (x)>c>0 if |x|5/3. The following properties are well known (see [13, 14], for example):

F α p , q ( R n ) F ˙ α p , q ( R n ) L p ( R n ) and f F α p , q ( R n ) f F ˙ α p , q ( R n ) + f L p ( R n ) ( α > 0 ) ;
(1.9)
B α p , q ( R n ) B ˙ α p , q ( R n ) L p ( R n ) and f B α p , q ( R n ) f B ˙ α p , q ( R n ) + f L p ( R n ) ( α > 0 ) .
(1.10)

Hence, by (1.8)-(1.10) and Theorems 1.5-1.6, we get the following conclusion immediately.

Corollary 1.7 Under the same conditions of Theorems  1.5 and  1.6 with α>0, the operator T h , P N , φ is bounded on F α p , q ( R n ) and B α p , q ( R n ), respectively.

The paper is organized as follows. After recalling and establishing some auxiliary lemmas in Section 2, we give the proofs of our main results in Section 3. It should be pointed out that the methods employed in this paper follow from a combination of ideas and arguments in [3, 19, 20].

Throughout the paper, we let p denote the conjugate index of p, which satisfies 1/p+1/ p =1. The letter C or c, sometimes with certain parameters, will stand for positive constants not necessarily the same one at each occurrence, but are independent of the essential variables.

2 Auxiliary lemmas

For given polynomial P N (t)= i = 1 N b i t i , we let P λ (t)= i = 1 λ b i t i for λ{1,2,,N} and P 0 (t)=0 for all tR. Without loss of generality, we may assume that b λ 0 for λ{1,2,,N} (or there exist some positive integers 0< l 1 < l 2 << l d N such that P N (t)= i = 1 d b l i t l i with b l i 0 for all i{1,2,,d}). Let kZ and D k ={y R n : 2 k <|y| 2 k + 1 }. For λ{1,2,,N} and ξ R n , we define the measures { σ k , λ } k Z by

σ k , λ ˆ (ξ)= D k e 2 π i P λ ( | y | ) y ξ Ω ( y ) h ( | y | ) | y | n dy.

It is clear that

T h , Ω , P N (f)= k Z σ k , N f.
(2.1)

We have the following estimates.

Lemma 2.1 Let h Δ γ ( R + ) for some γ>1 and Ω F ˜ β ( S n 1 ) for some β>0. For λ{1,2,,N}, kZ and ξ R n , there exists a constant C>0 such that

  1. (i)
    | σ k , λ ˆ ( ξ ) σ k , λ 1 ˆ ( ξ ) | C | 2 ( k + 1 ) λ b λ ξ | 1 / λ ;
    (2.2)
  2. (ii)
    | σ k , λ ˆ ( ξ ) | C ( log | 2 ( k + 1 ) λ b λ ξ | ) β / γ ˜ ,for | 2 ( k + 1 ) λ b λ ξ | >1,
    (2.3)

where γ ˜ =max{2, γ }. The constant C is independent of the coefficients of P λ .

Proof By the change of the variables, we have

| σ k , λ ˆ ( ξ ) σ k , λ 1 ˆ ( ξ ) | = | 2 k 2 k + 1 S n 1 Ω ( y ) ( e 2 π i P λ ( t ) y ξ e 2 π i P λ 1 ( t ) y ξ ) d σ ( y ) h ( t ) d t t | C Ω L 1 ( S n 1 ) h Δ γ ( R + ) | 2 ( k + 1 ) λ b λ ξ | .
(2.4)

On the other hand, it is easy to check that

| σ k , λ ˆ ( ξ ) | C Ω L 1 ( S n 1 ) h Δ γ ( R + ) .
(2.5)

Interpolating between (2.4) and (2.5) implies (2.2). Next, we prove (2.3). Let

H k ( ξ , y , θ ) = 2 k 2 k + 1 e 2 π i P λ ( t ) ( y θ ) ξ d t t .

By Van der Coupt lemma, there exists a constant C>0, which is independent of the coefficients of P λ and k such that

| H k ( ξ , y , θ ) | Cmin { 1 , | 2 ( k + 1 ) λ b λ ξ ( y θ ) | 1 / λ } .

For | 2 ( k + 1 ) λ b λ ξ|>1, since t/ ( log t ) β is increasing in ( e β ,), we have

| H k ( ξ , y , θ ) | C ( log 2 e β λ | η ( y θ ) | 1 ) β ( log | 2 ( k + 1 ) λ b λ ξ | ) β ,
(2.6)

where η=ξ/|ξ|. Let γ ˜ be as in Lemma 2.1, by the change of the variables and Hölder’s inequality, we have

| σ k , λ ˆ ( ξ ) | = | 2 k 2 k + 1 S n 1 Ω ( y ) e 2 π i P λ ( t ) y ξ d σ ( y ) h ( t ) d t t | C h Δ γ ( R + ) ( 2 k 2 k + 1 | S n 1 Ω ( y ) e 2 π i P λ ( t ) y ξ d σ ( y ) | γ d t t ) 1 / γ C ( I k ( ξ ) ) 1 / γ ˜ ,
(2.7)

where

I k (ξ)= 2 k 2 k + 1 | S n 1 Ω ( y ) e 2 π i P λ ( t ) y ξ d σ ( y ) | 2 d t t .

Note that

I k ( ξ ) = 2 k 2 k + 1 | S n 1 Ω ( y ) e 2 π i P λ ( t ) y ξ d σ ( y ) | 2 d t t = 2 k 2 k + 1 S n 1 × S n 1 Ω ( y ) Ω ( θ ) ¯ e 2 π i P λ ( t ) ( y θ ) ξ d σ ( y ) d σ ( θ ) d t t = S n 1 × S n 1 H k ( ξ , y , θ ) Ω ( y ) Ω ( θ ) ¯ d σ ( y ) d σ ( θ ) .

Combining (2.6)-(2.7) with the fact that Ω F ˜ β ( S n 1 ), we get (2.3). This proves Lemma 2.1. □

Lemma 2.2 [[19], Theorem 1.4]

Let d2 and P=( P 1 ,, P d ) with P j being real-valued polynomials on R n . For 1<p,q<, the operator M P given by

M P (f)(x)= sup r > 0 1 r n | y | r | f ( x P ( y ) ) | dy

satisfies the following L p ( q , R d ) inequality

( i Z | M P ( f i ) | q ) 1 / q L p ( R d ) C p , q ( i Z | f i | q ) 1 / q L p ( R d ) ,

where C p , q is independent of the coefficients of P j for all 1jd.

Lemma 2.3 [[21], Proposition 2.3]

Let 0<MN and H: R M R M , G: R N R N be two nonsingular linear transformations. Let { a k } k Z be a lacunary sequence of positive numbers satisfying inf k Z a k + 1 / a k a>1. Let Φ(ξ)S( R M ) and Φ k (ξ)= a k M Φ(ξ/ a k ). Define the transformations J and X k by

J(f)(x)=f ( G t ( H t id R N M ) x )

and

X k (f)(x)= J 1 ( ( Φ k δ R N M ) J f ) (x).

Here, we use δ R n to denote the Dirac delta function on R n , J 1 denote the inverse transform of J and G t denote the transpose of G. We have the following inequalities:

( j Z ( k Z | X k ( f j ) ( ) | 2 ) q / 2 ) 1 / q L p ( R N ) C ( j Z | f j ( ) | q ) 1 / q L p ( R N )
(2.8)

for arbitrary functions { f j } L p ( q , R N ) and 1<p,q<;

( j Z ( k Z | X k ( g k , j ) ( ) | 2 ) q / 2 ) 1 / q L p ( R N ) ( j Z ( k Z | g k , j ( ) | 2 ) q / 2 ) 1 / q L p ( R N )
(2.9)

for arbitrary functions { g k , j } k , j L p ( q ( 2 ), R N ) and 1<p,q<.

Lemma 2.4 For any λ{1,2,,N} and arbitrary functions { g k , j } k , j L p ( q ( 2 ), R n ), there exists a constant C>0, which is independent of the coefficients of P λ such that

( j Z ( k Z | σ k , λ g k , j | 2 ) q / 2 ) 1 / q L p ( R n ) C ( j Z ( k Z | g k , j | 2 ) q / 2 ) 1 / q L p ( R n )
(2.10)

for max{|1/p1/2|,|1/q1/2|}<min{1/2,1/ γ }.

Proof Since h Δ γ ( R + ) C h Δ 2 ( R + ) when γ2, we may assume that 1<γ2. By duality, it suffices to prove (2.10) for 2<p,q<2γ/(2γ). Given functions { f j } with { f j } L ( p / 2 ) ( ( q / 2 ) , R n ) 1. It follows from the similar argument as in getting (7.7) in [4] that

R n | σ k , λ g k , j ( x ) | 2 f j (x)dxC R n | g k , j ( x ) | 2 M P λ ( f j )(x)dx,
(2.11)

where

M P λ ( f j )(x)= 2 k 2 k + 1 S n 1 | f j ( x + P λ ( t ) y ) | | Ω ( y ) | dσ ( y ) | h ( t ) | 2 γ d t t .

By Hölder’s inequality, we have

M P λ ( f j ) ( x ) h Δ γ ( R + ) 2 γ S n 1 ( 2 k 2 k + 1 | f ( x + P λ ( t ) y ) | γ / 2 d t t ) 2 / γ | Ω ( y ) | d σ ( y ) C S n 1 | Ω ( y ) | ( sup r > 0 1 r | t | < r | f ( x + P λ ( t ) y ) | γ / 2 d t ) 2 / γ d σ ( y ) .

By Lemma 2.2 and Minkowski’s inequality, we have for γ /2<u,v<,

( j Z | M P λ ( f j ) | v ) 1 / v L u ( R n ) C ( j Z | f j | v ) 1 / v L u ( R n ) .
(2.12)

Thus, by (2.11)-(2.12), we get

( j Z ( k Z | σ k , λ g k , j | 2 ) q / 2 ) 1 / q L p ( R n ) 2 = sup { f j } L ( p / 2 ) ( ( q / 2 ) , R n ) 1 R n j Z k Z | σ k , λ g k , j ( x ) | 2 f j ( x ) d x C sup { f j } L ( p / 2 ) ( ( q / 2 ) , R n ) 1 R n j Z k Z | g k , j ( x ) | 2 M P λ ( f j ) ( x ) d x C sup { f j } L ( p / 2 ) ( ( q / 2 ) , R n ) 1 ( j Z | M P λ ( f j ) | v ) 1 / v L u ( R n ) × ( j Z ( k Z | g k , j | 2 ) q / 2 ) 1 / q L p ( R n ) 2 C ( j Z ( k Z | g k , j | 2 ) q / 2 ) 1 / q L p ( R n ) 2 ,

where we take u= ( p / 2 ) and v= ( q / 2 ) . This completes the proof of Lemma 2.4. □

Lemma 2.5 [[20], Lemma 2.1]

Let Γ, φ be as in Theorem  1.5. Suppose that h Δ γ ( R + ) for some γ>1, then we have h( φ 1 )Γ( φ 1 ) Δ γ ( R + ).

Lemma 2.6 Let T h , P N , φ be given as in Theorem  1.5. Then

  1. (i)

    if φ is nonnegative and increasing, T h , P N , φ (f)= T h ( φ 1 ) Γ ( φ 1 ) , Ω , P N (f);

  2. (ii)

    if φ is nonnegative and decreasing, T h , P N , φ (f)= T h ( φ 1 ) Γ ( φ 1 ) , Ω , P N (f);

  3. (iii)

    if φ is nonpositive and decreasing, T h , P N , φ (f)= T h ( φ 1 ) Γ ( φ 1 ) , Ω ˜ , P N (f);

  4. (iv)

    if φ is nonpositive and increasing, T h , P N , φ (f)= T h ( φ 1 ) Γ ( φ 1 ) , Ω ˜ , P N (f),

where Ω ˜ (y)=Ω(y).

Proof We can get easily this lemma by Remark 1.3 and the similar arguments as in getting [[20], Lemma 2.3]. The details are omitted. □

3 Proofs of main results

For a function ϕ C 0 (R) such that ϕ(t)1 for |t|1/2 and ϕ(t)0 for |t|1. Let ψ(t)=ϕ( t 2 ), and define the measures { τ k , λ } by

τ k , λ ˆ (ξ)= σ k , λ ˆ (ξ) j = λ + 1 N ψ ( | 2 ( k + 1 ) j b j ξ | ) σ k , λ 1 ˆ (ξ) j = λ N ψ ( | 2 ( k + 1 ) j b j ξ | )
(3.1)

for kZ and λ{1,2,,N}, where we use convention j a j =1. It is easy to check that

σ k , N = λ = 1 N τ k , λ .
(3.2)

In addition, by Lemma 2.1, we can obtain the following estimates (see also in [[4], (7.39)])

| τ k , λ ˆ ( ξ ) | C | 2 ( k + 1 ) λ b λ ξ | 1 / λ ;
(3.3)
| τ k , λ ˆ ( ξ ) | C ( log | 2 ( k + 1 ) λ b λ ξ | ) β / γ ˜ ,for  | 2 ( k + 1 ) λ b λ ξ | >1,
(3.4)

where γ ˜ =max{2, γ }.

Now, we are in a position to prove our main results.

Proof of Theorem 1.1 It follows from (2.1) and (3.2) that

T h , Ω , P N (f)= λ = 1 N k Z τ k , λ f:= λ = 1 N B λ (f).
(3.5)

By (3.5), to prove Theorem 1.1, it suffices to prove that for any λ{1,2,,N},

B λ ( f ) F ˙ α p , q ( R n ) C f F ˙ α p , q ( R n )
(3.6)

for max{|1/p1/2|,|1/q1/2|}<min{1/2,1/ γ }1/β and αR, where C= C n , h , p , q , α , λ , γ , β is independent of the coefficients of P λ for λ{1,2,,N}.

For λ{1,2,,N}, we choose a Schwartz function ϒS( R + ) such that

0ϒ(t)1,supp(ϒ) [ 2 λ , 2 λ ] , k Z ϒ k ( t ) 2 =1,

where ϒ k (t)=ϒ( 2 k λ t). Define the operator S k by

S k f ˆ (ξ):= ϒ k ( | b λ ξ | ) f ˆ (ξ).

Let Θ k ˆ (ξ)= ϒ k (| b λ ξ|). It is clear that Θ k S( R n ) and

S k f(x)= Θ k f(x).

Observe that we can write

B λ (f)= k Z τ k , λ ( j Z S j + k S j + k f ) = j Z k Z S j + k ( τ k , λ S j + k f):= j Z B λ j (f).
(3.7)

Invoking the Littlewood-Paley theory and Plancherel’s theorem, we get

B λ j ( f ) L 2 ( R n ) 2 C k Z E j + k | τ k , λ ˆ ( ξ ) | 2 | f ˆ ( ξ ) | 2 dξ,

where

E j + k = { ξ R n : 2 ( j + k + 1 ) λ | b λ ξ | 2 ( j + k 1 ) λ } .

This together with (3.3)-(3.4) yields

B λ j ( f ) L 2 ( R n ) C C j f L 2 ( R n ) ,

where

C j ={ | j | β / γ ˜ , j 1 ; 2 | j | , j > 1 ,

and γ ˜ =max{2, γ }. In other words (by (1.8)),

B λ j ( f ) F ˙ 0 2 , 2 ( R n ) C C j f F ˙ 0 2 , 2 ( R n ) .
(3.8)

Next, we will show that

B λ j ( f ) F ˙ α p , q ( R n ) C f F ˙ α p , q ( R n )
(3.9)

for max{|1/p1/2|,|1/q1/2|}<min{1/2,1/ γ }, αR, jZ and λ{1,2,,N}. To prove (3.9), it suffices to prove that

( i Z | B λ j ( g i ) | q ) 1 / q L p ( R n ) C ( i Z | g i | q ) 1 / q L p ( R n )
(3.10)

for max{|1/p1/2|,|1/q1/2|}<min{1/2,1/ γ } and { g i } L p ( q , R n ), where C is independent of the coefficients of P λ . In fact, (3.10) implies (3.9), that is,

B λ j ( f ) F ˙ α p , q ( R n ) = ( i Z 2 i α q | Ψ i B λ j ( f ) | q ) 1 / q L p ( R n ) ( i Z | B λ j ( 2 i α Ψ i f ) | q ) 1 / q L p ( R n ) C ( i Z 2 i α q | Ψ i f | q ) 1 / q L p ( R n ) = C f F ˙ α p , q ( R n ) ,

which leads to (3.9). Now, we return to the proof of (3.10). Using Lemmas 2.3-2.4, the definition of τ k , λ and the similar argument in getting [[19], Proposition 2.3], one can check that

( i Z ( k Z | τ k , λ g k , i | 2 ) q / 2 ) 1 / q L p ( R n ) C ( i Z ( k Z | g k , i | 2 ) q / 2 ) 1 / q L p ( R n )
(3.11)

for max{|1/p1/2|,|1/q1/2|}<min{1/2,1/ γ }. Using Lemma 2.3 again, for 1<p,q< and arbitrary functions { g i } i Z L p ( q , R n ), we have

( i Z ( k Z | S k g i | 2 ) q / 2 ) 1 / q L p ( R n ) C ( i Z | g i | q ) 1 / q L p ( R n ) .
(3.12)

By duality and (3.11)-(3.12), we have

( i Z | B λ j ( g i ) | q ) 1 / q L p ( R n ) = sup { f i } L p ( q , R n ) 1 | R n i Z k Z S j + k ( τ k , λ S j + k g i ) ( x ) f i ( x ) d x | C sup { f i } L p ( q , R n ) 1 ( i Z ( k Z | S j + k f i | 2 ) q / 2 ) 1 / q L p ( R n ) × ( i Z ( k Z | τ k , λ S j + k g i | 2 ) q / 2 ) 1 / q L p ( R n ) C ( i Z ( k Z | S j + k g i | 2 ) q / 2 ) 1 / q L p ( R n ) C ( i Z | g i | q ) 1 / q L p ( R n ) .

This proves (3.10). Interpolating between (3.8) and (3.9) (see [14, 22]), for max{|1/p1/2|,|1/q1/2|}<min{1/2,1/ γ }1/β and αR, we can obtain ϵ(0,1) such that ϵβ/ γ ˜ >1 and

B λ j ( f ) F ˙ α p , q ( R n ) C C j ϵ f F ˙ α p , q ( R n ) ,
(3.13)

which together with (3.7) implies (3.6) and completes the proof of Theorem 1.1. □

Proof of Theorem 1.2 The proof of Theorem 1.2 is to copy the arguments in proving [[19], Theorem 1.2]. By Theorem 1.1 and (1.8), for |1/p1/2|<min{1/2,1/ γ }1/β, there exists a constant C>0 such that

T h , Ω , P N ( f ) L p ( R n ) C f L p ( R n ) .
(3.14)

Then for |1/p1/2|<min{1/2,1/ γ }1/β, 1<q< and αR, we have

T h , Ω , P N ( f ) B ˙ α p , q ( R n ) = ( i Z 2 i α q Ψ i T h , Ω , P N ( f ) L p ( R n ) q ) 1 / q = ( i Z T h , Ω , P N ( 2 i α Ψ i f ) L p ( R n ) q ) 1 / q C ( i Z 2 i α q Ψ i f L p ( R n ) q ) 1 / q = C f B ˙ α p , q ( R n ) .

Theorem 1.2 is proved. □

Proofs of Theorems 1.5-1.6 Using Lemmas 2.5-2.6 and Theorems 1.1-1.2, we get Theorem 1.5. Theorem 1.6 follows from Theorem 1.5 and Remark 1.1. □

References

  1. Fefferman R: A note on singular integrals. Proc. Am. Math. Soc. 1979, 74(2):266–270. 10.1090/S0002-9939-1979-0524298-3

    MathSciNet  Article  Google Scholar 

  2. Namazi J: A singular integral. Proc. Am. Math. Soc. 1986, 96: 201–219.

    MathSciNet  Article  Google Scholar 

  3. Duoandikoetxea J, Rubio de Francia JL: Maximal and singular integral operators via Fourier transform estimates. Invent. Math. 1986, 84: 541–561. 10.1007/BF01388746

    MathSciNet  Article  Google Scholar 

  4. Fan D, Pan Y: Singular integral operators with rough kernels supported by subvarieties. Am. J. Math. 1997, 119: 799–839. 10.1353/ajm.1997.0024

    MathSciNet  Article  Google Scholar 

  5. Colzani, L: Hardy spaces on spheres. PhD thesis, Washington University, St. Louis (1982)

  6. Ricci F, Weiss G:A characterization of H 1 ( n 1 ). Proc. Sympos. Pure Math., Part I 35. Harmonic Analysis in Euclidean Spaces 1979, 289–294.

    Chapter  Google Scholar 

  7. Fan D, Sato S: A note on the singular integrals associated with a variable surface of revolution. Math. Inequal. Appl. 2009, 12(2):441–454.

    MathSciNet  Google Scholar 

  8. Fan D, Guo K, Pan Y: A note of a rough singular integral operator. Math. Inequal. Appl. 1999, 2(1):73–81.

    MathSciNet  Google Scholar 

  9. Chen Y, Wang F, Yu W: L p bounds for the parabolic singular integral operator. J. Inequal. Appl. 2012, 2012(121):1–9.

    MathSciNet  Google Scholar 

  10. Liu F, Wu H: Multiple singular integrals and Marcinkiewicz integrals with mixed homogeneity along surfaces. J. Inequal. Appl. 2012, 2012(189):1–23.

    Google Scholar 

  11. Walsh T: On the function of Marcinkiewicz. Stud. Math. 1972, 44: 203–217.

    Google Scholar 

  12. Grafakos L, Stefanov A: L p bounds for singular integrals and maximal singular integrals with rough kernels. Indiana Univ. Math. J. 1998, 47: 455–469.

    MathSciNet  Article  Google Scholar 

  13. Frazier M, Jawerth B, Weiss G CBMS Reg. Conf. Ser. 79. In Littlewood-Paley Theory and the Study of Function Spaces. Am. Math. Soc., Providence; 1991.

    Google Scholar 

  14. Grafakos L: Classical and Modern Fourier Analysis. Prentice Hall, Upper Saddle River; 2003.

    Google Scholar 

  15. Triebel H Monogr. Math. 78. In Theory of Function Spaces. Birkhäuser, Basel; 1983.

    Chapter  Google Scholar 

  16. Chen J, Fan D, Ying Y: Singular integral operators on function spaces. J. Math. Anal. Appl. 2002, 276: 691–708. 10.1016/S0022-247X(02)00419-5

    MathSciNet  Article  Google Scholar 

  17. Chen J, Zhang C: Boundedness of rough singular integral on the Triebel-Lizorkin spaces. J. Math. Anal. Appl. 2008, 337: 1048–1052. 10.1016/j.jmaa.2007.04.026

    MathSciNet  Article  Google Scholar 

  18. Chen Y, Ding Y: Rough singular integrals on Triebel-Lizorkin space and Besov space. J. Math. Anal. Appl. 2008, 347: 493–501. 10.1016/j.jmaa.2008.06.039

    MathSciNet  Article  Google Scholar 

  19. Chen Y, Ding Y, Liu H: Rough singular integrals supported on submanifolds. J. Math. Anal. Appl. 2010, 368: 677–691. 10.1016/j.jmaa.2010.02.021

    MathSciNet  Article  Google Scholar 

  20. Ding Y, Xue Q, Yabuta Y: On singular integral operators with rough kernel along surfaces. Integral Equ. Oper. Theory 2010, 68: 151–161. 10.1007/s00020-010-1823-6

    MathSciNet  Article  Google Scholar 

  21. Liu, F, Wu, H: Rough singular integrals associated to compound mappings on Triebel-Lizorkin spaces and Besov spaces. Taiwan. J. Math. doi:10.11650/tjm.17.2013.3147. 10.11650/tjm.17.2013.3147

  22. Frazier M, Jawerth B: A discrete transform an decompositions of distribution spaces. J. Funct. Anal. 1990, 93: 34–170. 10.1016/0022-1236(90)90137-A

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The authors would like to thanks the referees for their careful reading and invaluable comments. This work was supported by the NNSF of China (11071200) and the NSF of Fujian Province of China (No. 2010J01013).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Daiqing Zhang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Three authors worked jointly in drafting and approving the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions

About this article

Cite this article

Liu, F., Wu, H. & Zhang, D. A note on rough singular integrals in Triebel-Lizorkin spaces and Besov spaces. J Inequal Appl 2013, 492 (2013). https://doi.org/10.1186/1029-242X-2013-492

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2013-492

Keywords

  • singular integrals
  • rough kernels
  • Triebel-Lizorkin spaces
  • Besov spaces