Skip to main content

Multiple singular integrals and Marcinkiewicz integrals with mixed homogeneity along surfaces

Abstract

This paper is devoted to studying the singular integrals and Marcinkiewicz integrals with mixed homogeneity along surfaces, which contain many classical surfaces as model examples, on the product domains R m × R n (m,n2). Under rather weak size conditions of the kernels, the L p ( R m × R n )-boundedness for such operators is established. These results essentially extend certain previous results.

MSC:42B20, 42B25.

1 Introduction

Let R d (d=m or n), d2, be the d-dimensional Euclidean space and S d 1 be the unit sphere in R d equipped with the induced Lebesgue measure d σ d . Let α d , 1 , α d , 2 ,, α d , d be fixed real numbers, α d , j 1 (j=1,,d). Define the function F: R d ×(0,)R by F(x, ρ d )= j = 1 d x j 2 ρ d 2 α d , j , x=( x 1 , x 2 ,, x d ). It is clear that for each fixed x R d , the function F(x, ρ d ) is a decreasing function in ρ d >0. We let ρ d (x) denote the unique solution of the equation F(x, ρ d )=1. Fabes and Riviére [13] showed that ( R d , ρ d ) is a metric space, which is often called the mixed homogeneity space related to { α d , j } j = 1 d . For λ>0, we let A d , λ be the diagonal d×d matrix A d , λ =diag{ λ α d , 1 ,, λ α d , d }. Let ϕ: R + (0,), we denote A d , ϕ ( ρ d ( y ) ) y by A d ϕ (y) for y R d , where y = A d , ρ d ( y ) 1 y S d 1 .

Let β d = max 1 j d α d , j , γ d = min 1 j d α d , j . It is easy to check that

The change of variables related to the spaces ( R d , ρ d ) is given by the transformation

Thus dx= ρ d α d 1 J d ( x )d ρ d d σ d ( x ), where ρ d α d 1 J d ( x ) is the Jacobian of the above transform and α d = j = 1 d α d , j , J d ( x )= j = 1 d α d , j ( x j ) 2 . Obviously, J d ( x ) C ( S d 1 ) and there exists M d >0 such that

1 J d ( x ) M d , x S d 1 .

Let Ω L 1 ( S d 1 ) and satisfy the following conditions:

Define the parabolic singular integral operator T by

Tf(x):= p . v . R d Ω ( y ) ρ d ( y ) α d f(xy)dy.
(1.1)

As is well known, a singular integral operator of the type (1.1) originally arose from the study on the existence and regularity results of the heat equation and the more general parabolic differential operator with constant coefficients. In 1966, Fabes and Riviére [13] showed that T is bounded on L p ( R d ) for 1<p< if Ω C 1 ( S d 1 ). Subsequently, Nagel, Riviére and Wainger [18] weakened the regularity condition on Ω to the case ΩL log + L( S d 1 ). Recently, Chen, Ding and Fan [5] extended further the condition to the case Ω H 1 ( S d 1 ).

In this paper, we will continue the research along this line. We will focus our attention on the multiple singular integrals with mixed homogeneity. Assume that Ω L 1 ( S m 1 × S n 1 ) and satisfies the following conditions:

(1.2)
(1.3)

We consider the multiple singular integral with mixed homogeneity defined by

T Ω (f)(x,y):= p . v . R m × R n Ω ( u , v ) ρ m ( u ) α m ρ n ( v ) α n f(xu,yv)dudv.
(1.4)

In 2011, Chen and Le [8] showed that if ΩL ( log + L ) 2 ( S m 1 × S n 1 ), then T Ω is bounded on L p ( R m × R n ) for 1<p<. On the other hand, in the special case α m , i = α n , j =1 (i=1,2,,m; j=1,2,,n), T Ω is the classical multiple singular integral, which is studied extensively by many authors (see [2, 10, 12, 14, 15, 19, 25, 27, 28] for examples). In particular, Ying [28] (also see [27] for a more general case) proved that T Ω is bounded on L p ( R m × R n ) for 2β/(2β1)<p<2β and β>1 provided that Ω satisfies the following condition:

sup ( ξ , η ) S m 1 × S n 1 S m 1 × S n 1 | Ω ( u , v ) | { G ( ξ , η ; u , v ) } β d σ m ( u ) d σ n ( v ) <,
(1.5)

where

G ( ξ , η ; u , v ) =log 1 | ξ u | +log 1 | η v | +log 1 | ξ u | log 1 | η v | .

It should be pointed out that the condition (1.5) for one parameter case was originally defined in Walsh’s paper [22] and developed by Grafakos and Stefanov [16]. For the sake of simplicity, we denote that for β>0,

F β ( S m 1 × S n 1 ) = { Ω L 1 ( S m 1 × S n 1 ) : Ω  satisfies (1.5) } .

Employing the ideas in [16], one easily verifies that for β 1 > β 2 >0, F β 1 ( S m 1 × S n 1 )⊆̷ F β 2 ( S m 1 × S n 1 ) and

β > 1 F β ( S m 1 × S n 1 ) L ( log + L ) 2 ( S m 1 × S n 1 ) ⊆̷ L log + L ( S m 1 × S n 1 ) β > 1 F β ( S m 1 × S n 1 ) .
(1.6)

Based on the above, a natural question is as follows.

Question 1.1 For the general case α m , i 1 (i=1,,m) and α n , j 1 (j=1,,n), is T Ω bounded on L p ( R m × R n ) under the condition (1.5) for some β>1?

One of the main purposes of this paper is to give a positive answer to the above question. The method we use allows us to treat a family of operators broader than those given by (1.4). To be precise, for suitable functions φ,ψ: R + (0,) and two real polynomial P N i on R with P N i (0)=0 and P N i (t)>0 for t0, where N i is the degree of P N i (i=1,2), we define the multiple singular integral operator T Ω P along surfaces S( P N 1 (φ), P N 2 (ψ)) by

(1.7)

where

S ( P N 1 ( φ ) , P N 2 ( ψ ) ) := { ( A m P N 1 ( φ ) ( u ) , A n P N 2 ( ψ ) ( v ) ) : ( u , v ) R m × R n } .

Obviously, T Ω is the special case of T Ω P for P N i (s)=φ(s)=ψ(s)=s (i=1,2). Also, in the special case α m , i = α n , j =1 (i=1,,m; j=1,,n),

S ( P N 1 ( φ ) , P N 2 ( ψ ) ) = { ( P N 1 ( φ ( | u | ) ) u , P N 2 ( ψ ( | v | ) ) v ) : ( u , v ) R m × R n } .
(1.8)

Moreover, for the special case φ(s)=ψ(s)=s and α m , i = α n , j =1 (i=1,,m; j=1,,n),

S ( P N 1 ( φ ) , P N 2 ( ψ ) ) = { ( P N 1 ( | u | ) u , P N 2 ( | v | ) v ) : ( u , v ) R m × R n } .

Wu and Yang [27] proved that if Ω F β ( S m 1 × S n 1 ) with β>1, then T Ω P is bounded on L p ( R m × R n ) for 2β/(2β1)<p<2β. In this paper, we will extend the result above as follows.

Theorem 1.1 Let P N 1 and P N 2 be two real polynomials on R with P N i (0)=0 and P N i (t)>0 for t0, where N i is the degree of P N i (i=1,2), and let φ,ψF, where F is the set of functions ϕ satisfying the following properties:

  1. (i)

    ϕ: R + (0,) is continuous strictly increasing and ϕ C 1 ((0,)) satisfying that ϕ is monotonous;

  2. (ii)

    there exist constants C ϕ , c ϕ >0 such that t ϕ (t) C ϕ ϕ(t) and ϕ(2t) c ϕ ϕ(t) for all t>0.

Suppose that Ω satisfies (1.2)-(1.3) and Ω F β ( S m 1 × S n 1 ) for some β>1. Then T Ω P defined as in (1.7) is bounded on L p ( R m × R n ) for 2β/(2β1)<p<2β. The bound is independent of the coefficients of P N i (i=1,2), but depends on φ, ψ, N 1 , N 2 , m, n and β.

Remark 1.1 For any ϕF, there exists a constant B ϕ >1 such that ϕ(2r) B ϕ ϕ(r) for all r>0. To see this, by the mean-valued theorem, for any r>0, there exists s(r,2r) such that ϕ(2r)ϕ(r)=r ϕ (s). The properties (i) and (ii) of ϕ imply that

ϕ(2r)ϕ(r)=rϕ(s)r C ϕ ϕ ( s ) s C ϕ 2 ϕ(r).

Taking B ϕ =1+ C ϕ /2, this is the desired constant.

Remark 1.2 We remark that the model examples for functions ϕF are t α (α>0), tln(1+t), tlnln(e+t) and real-valued polynomials P on R with positive coefficients and P(0)=0 (see [3]). Theorem 1.1 extends the result of [27], which is the multiple-parameter generalization of the result in [11, 16], to the mixed homogeneity setting, even in the special case φ(s)=ψ(s)=s. Also, by (1.6), Theorem 1.1 is distinct from the result of [8], even in the special case P N 1 (s)= P N 2 (s)=φ(s)=ψ(s)=s.

On the other hand, we also consider the multiple Marcinkiewicz integral operator M Ω P along the surfaces S( P N 1 (φ), P N 2 (ψ)) defined by

M Ω P (f)(x,y)= ( 0 0 | F s , t P N 1 ( φ ) , P N 2 ( ψ ) ( x , y ) | 2 d s d t s 3 t 3 ) 1 / 2 ,
(1.9)

where

F s , t P N 1 ( φ ) , P N 2 ( ψ ) (x,y)= Λ ( s , t ) Ω ( u , v ) ρ m ( u ) α m 1 ρ n ( v ) α n 1 f ( x A m P N 1 ( φ ) ( u ) , y A n P N 2 ( ψ ) ( v ) ) dudv,

and Λ(s,t)={(u,v) R m × R n : ρ m (u)s, ρ n (v)t}.

When P N 1 (s)= P N 2 (s)=φ(s)=ψ(s)=s, α m , i = α n , j =1 (i=1,,m; j=1,,n), we denote M Ω P by M Ω , which is the classical Marcinkiewicz integral on the product domains and is studied extensively by many authors (see [1, 3, 4, 6, 7, 17, 2326]et al.). In particular, Al-Qassem, Al-Salman, Cheng and Pan [1] showed that if ΩL log + L( S m 1 × S n 1 ), then M Ω is bounded on L p ( R m × R n ) for 1<p<; Hu, Lu and Yan [17] (also see [23, 26]) proved that if Ω F β ( S m 1 × S n 1 ) for β>1/2, then M Ω is bounded on L p ( R m × R n ) for 1+1/(2β)<p<1+2β. For the general operator M Ω P , when P N i (t)=t (i=1,2) and φ,ψF, Al-Salman [3] showed that M Ω P is bounded on L p ( R m × R n ) for 1<p< provided that ΩL log + L( S m 1 × S n 1 ).

A natural question which arises from the above is the following:

Question 1.2 Under the condition (1.5) with β>1/2, is M Ω P also bounded on L p ( R m × R n ) for 1+1/(2β)<p<1+2β?

This question will be addressed by our next theorem.

Theorem 1.2 Let P N i (i=1,2), φ, ψ be as in Theorem 1.1. Suppose Ω F β ( S m 1 × S n 1 ) for some β>1/2 and satisfies (1.2)-(1.3). Then M Ω P defined as (1.9) is bounded on L p ( R m × R n ) for 1+1/(2β)<p<1+2β. The bound is independent of the coefficients of P N i (i=1,2) but depends on φ, ψ, N 1 , N 2 , m, n and β.

Remark 1.3 Theorem 1.2 extends the result of [17] to the mixed homogeneity setting, even for the special case P N 1 (s)= P N 2 (s)=φ(s)=ψ(s)=s. And by (1.6), Theorem 1.2 is distinct from the result of [3], even in the special case P N 1 (s)= P N 2 (s)=s.

The rest of this paper is organized as follows. After recalling some notation and establishing some preliminary lemmas, we will prove Theorem 1.1 in Section 2. And the proof of Theorem 1.2 will be given in Section 3. We remark that our some ideas in the proofs of our main results are taken from [3, 9, 11, 17], but our methods and technique are more delicate and complex than those used in [3, 9, 11, 17].

Throughout this paper, the letter C or c, sometimes with additional parameters, will stand for positive constants, not necessarily the same at each occurrence but independent of the essential variables.

2 On multiple singular integrals

Let us begin with some notations and lemmas. For given positive polynomials P N 1 (t)= i = 1 N 1 β i t i , P N 2 (t)= i = 1 N 2 γ i t i and two smooth functions φ,ψF, we set

Then for x,ξ R m ; y,η R n ,

We denote N 1 :=max{ N 1 α m , l :1lm}, N 2 :=max{ N 2 α n , k :1kn} and set a i , l =0 whenever i> N 1 α m , l ; b j , k =0 whenever j> N 2 α n , k . So we can write

A m P N 1 ( φ ) (x)ξ= = 1 m i = 1 N 1 α m , l a i , l φ ( ρ m ( x ) ) i x l ξ l = i = 1 N 1 ( L i ( ξ ) x ) φ ( ρ m ( x ) ) i ,

where L i (ξ)=( a i , 1 ξ 1 , a i , 2 ξ 2 ,, a i , m ξ m ). Similarly,

A n P N 2 ( ψ ) (y)η= j = 1 N 2 ( I j ( η ) y ) ψ ( ρ n ( y ) ) j ,

where I j (η)=( b j , 1 η 1 , b j , 2 η 2 ,, b j , n η n ). For μ{0,1,, N 1 }, ν{0,1,, N 2 }, we set

Here we use the convention i a i =0. Hence,

For any κ,Z and μ{0,1,, N 1 }, ν{0,1,, N 2 }, we define the measures { σ κ , ; μ , ν } and {| σ κ , ; μ , ν |} as follows.

σ κ , ; μ , ν ˆ (ξ,η)= Δ κ , Ω ( x , y ) ρ m ( x ) α m ρ n ( y ) α n exp ( i ( Q μ ( x ) ξ + R ν ( y ) η ) ) dxdy,
(2.1)
| σ κ , ; μ , ν | ˆ (ξ,η)= Δ κ , | Ω ( x , y ) | ρ m ( x ) α m ρ n ( y ) α n exp ( i ( Q μ ( x ) ξ + R ν ( y ) η ) ) dxdy,
(2.2)

where Δ κ , ={(x,y) R m × R n : 2 κ 1 ρ m (x)< 2 κ , 2 1 ρ n (y)< 2 }. By (1.3) and Q 0 (x)=(0,0,,0) R m , R 0 (y)=(0,0,,0) R n , for μ{0,1,, N 1 } and ν{0,1,, N 2 } we have

σ κ , ; 0 , ν ˆ (ξ,η)= σ κ , ; μ , 0 ˆ (ξ,η)=0.
(2.3)

Then it is easy to see that

T Ω P (f)(x,y)= κ , Z σ κ , ; N 1 , N 2 f(x,y).
(2.4)

Lemma 2.1 (cf. [21], pp.476-478])

Let P be a polynomial mapping R + R d , where P(t)=( P 1 (t), P 2 (t),, P d (t)) and P i is a real polynomial defined on R + (i=1,,d). Then the maximal function M P (f)(x) defined by

M P (f)(x)= sup r > 0 1 r | | t | r f ( x P ( t ) ) d t |

is bounded on L p ( R d ) for 1<p<. The bound is independent of the coefficients of P i (i=1,,d) and f.

Lemma 2.2 Let P be a polynomial mapping R + R d , where P(t)=( P 1 (t), P 2 (t),, P d (t)) and P i is a real polynomial defined on R + (i=1,,d). Suppose that ϕF. Then the operator M ϕ defined by

M P ( ϕ ) (f)(x)= sup r > 0 r 2 r | f ( x P ( ϕ ( t ) ) ) | d t t

is bounded on L p ( R d ) for 1<p<. The bound is independent of the coefficients of P i (i=1,,d) and f, but depends on ϕ.

Proof For any r>0, by the change of variable, it can be easily seen that

This implies that M P ( ϕ ) (f)(x)C(ϕ) M P (|f|)(x). Then Lemma 2.2 follows from Lemma 2.1. □

Lemma 2.3 Let φ,ψF. Suppose that Ω L 1 ( S m 1 × S n 1 ) and satisfies (1.2)-(1.3). Then, for μ{1,2,, N 1 }, ν{1,2,, N 2 }, the maximal operator defined by

σ μ , ν (f)(x,y)= sup κ , Z | | σ κ , ; μ , ν | f ( x , y ) |

is bounded on L p ( R m × R n ) for 1<p<. The bound is independent of the coefficients of P N i (i=1,2) and f, but depends on φ, ψ, N 1 , N 2 , m, n.

Proof By the definition of | σ κ , ; μ , ν |, we have

where

M Q μ , R ν ; u , v (f)(x,y):= sup s , t > 0 1 s t s 2 s t 2 t | f ( x Q μ ( A m , r u ) , y R ν ( A n , h v ) ) | drdh.

By Lemma 2.2, using iterated integration, it is easy to see that

M Q μ , R ν ; u , v ( f ) p C f p for 1<p<,

where C is independent of u , v . Thus

σ μ , ν ( f ) p C S m 1 × S n 1 | Ω ( u , v ) | M Q μ , R ν ; u , v ( f ) p d σ m ( u ) d σ n ( v ) C f p ,

which completes the proof of Lemma 2.3. □

Lemma 2.4 (cf. [20], p.186, Corollary])

Let Φ(t)= t α 1 + μ 2 t α 2 ++ μ n t α n and Ψ C 1 ([a,b]), where μ 2 ,, μ n are real parameters, and α 1 ,, α n are distinct positive (not necessarily integer) exponents. Then

| a b exp ( i λ Φ ( t ) ) Ψ ( t ) d t | C λ ϵ { sup a t b | Ψ ( t ) | + a b | Ψ ( t ) | d t } ,

with ϵ=min{1/ α 1 ,1/n} and C does not depend on μ 2 ,, μ m as long as 0a<b1.

Lemma 2.5 Suppose that φ,ψF. Then for any μ{1,2,, N 1 } and ν{1,2,, N 2 }, there exist ϵ 1 =1/μ and ϵ 2 =1/ν such that for any r>0

The constant C(φ) is independent of the coefficients of P N 1 but depends on φ; and C(ψ) is independent of the coefficients of P N 2 but depends on ψ.

Proof We only prove the first inequality, since a similar argument can get the second inequality. By the change of variables, we have

where ς=φ(r/2)/φ(r), ϕ(t)= ( φ 1 ( φ ( r ) t ) ) 1 , g r , φ (t)= ( φ ( φ 1 ( φ ( r ) t ) ) ) 1 . Let

I(t)= ς t exp ( i j = 1 μ ( L j ( ξ ) x ) φ ( r ) j s j ) ϕ(s)ds,ςt1.

By Lemma 2.4, there exists ϵ 1 =1/μ such that

| I ( t ) | C | φ ( r ) μ L μ ( ξ ) x | ϵ 1 ( sup s [ ς , t ] | ϕ ( s ) | + ς t | ϕ ( s ) | d s ) C | φ ( r ) μ L μ ( ξ ) x | ϵ 1 ( 2 / r + 1 / r ) C r | φ ( r ) μ L μ ( ξ ) x | ϵ 1 .

Thus by integration by parts and the fact that φ is monotonous, we have

Using t φ (t) C φ φ(t), we get

r / 2 r exp ( i Q μ ( A m , ρ m x ) ξ ) d ρ m ρ m c C φ ( 1 + 2 c φ ) | φ ( r ) μ L μ ( ξ ) x | ϵ 1 C ( φ ) | φ ( r ) μ L μ ( ξ ) x | ϵ 1 .

This proves Lemma 2.5. □

Lemma 2.6 Let φ,ψF. Suppose that Ω F β ( S m 1 × S n 1 ) for some β>1 and satisfies (1.2)-(1.3). Then for μ{1,2,, N 1 } and ν{1,2,, N 2 }, there exists a constant C>0 such that

  1. (i)

    if |ψ ( 2 ) ν I ν (η)|>1, then

    (2.5)
  2. (ii)

    if |φ ( 2 κ ) μ L μ (ξ)|>1, then

    (2.6)
  3. (iii)

    if |φ ( 2 κ ) μ L μ (ξ)|>1 and |ψ ( 2 ) ν I ν (η)|>1, then

    (2.7)
    (2.8)

    (iv)

    (2.9)

The constant C is independent of the coefficients of P N 1 and P N 2 .

Proof Let

By Lemma 2.5, there exist ϵ 1 , ϵ 2 (0,1] such that

When |φ ( 2 κ ) μ L μ (ξ)|>1, since t/ ( log t ) β is increasing in ( e β ,), we have

| H κ , μ ( x , ξ ) | C ( log e β | ( φ ( 2 κ ) μ L μ ( ξ ) ) x | ϵ 1 ) β ( log | φ ( 2 κ ) μ L μ ( ξ ) | ) β .

Then

| H κ , μ ( x , ξ ) | Cmin { 1 , ( log e β | ( φ ( 2 κ ) μ L μ ( ξ ) ) x | ϵ 1 ) β ( log | φ ( 2 κ ) μ L μ ( ξ ) | ) β } .
(2.10)

Similarly, when |ψ ( 2 ) ν I ν (η)|>1,

| J , ν ( y , η ) | Cmin { 1 , ( log e β | ( ψ ( 2 ) ν I ν ( η ) ) y | ϵ 2 ) β ( log | ψ ( 2 ) ν I ν ( η ) | ) β } .
(2.11)

By the definition of σ κ , ; μ , ν , we have

Combining (2.11) with the fact Ω F β ( S m 1 × S n 1 ), we obtain (2.5). Similarly, we can conclude (2.6). To prove (2.7) and (2.8), we write

| σ κ , ; μ , ν ˆ ( ξ , η ) | C S m 1 × S n 1 | Ω ( x , y ) | | H κ , μ ( x , ξ ) | | J , ν ( y , η ) | d σ m ( x ) d σ n ( y ) .

Then (2.7) and (2.8) follow from (2.10)-(2.11) with the fact Ω F β ( S m 1 × S n 1 ). Finally, (2.9) follows from the inequality

This completes the proof of Lemma 2.6. □

Now we take two radial Schwartz functions ϕ 1 S( R m ) and ϕ 2 S( R n ) such that ϕ i (t)1 for |t|1 and ϕ i (t)0 for |t|>min{ B φ , B ψ } (i=1,2), where B φ , B ψ are as in Remark 1.1. Define the measures { ω κ , ; μ , ν } by

ω κ , ; μ , ν ˆ ( ξ , η ) = σ κ , ; μ , ν ˆ ( ξ , η ) i = μ + 1 N 1 ϕ 1 ( φ ( 2 κ ) i L i ( ξ ) ) j = ν + 1 N 2 ϕ 2 ( ψ ( 2 ) j I j ( η ) ) σ κ , ; μ 1 , ν ˆ ( ξ , η ) i = μ N 1 ϕ 1 ( φ ( 2 κ ) i L i ( ξ ) ) j = ν + 1 N 2 ϕ 2 ( ψ ( 2 ) j I j ( η ) ) σ κ , ; μ , ν 1 ˆ ( ξ , η ) i = μ + 1 N 1 ϕ 1 ( φ ( 2 κ ) i L i ( ξ ) ) j = ν N 2 ϕ 2 ( ψ ( 2 ) j I j ( η ) ) + σ κ , ; μ 1 , ν 1 ˆ ( ξ , η ) i = μ N 1 ϕ 1 ( φ ( 2 κ ) i L i ( ξ ) ) j = ν N 2 ϕ 2 ( ψ ( 2 ) j I j ( η ) )

for κ,Z, μ{1,2,, N 1 } and ν{1,2,, N 2 }, where we use the convention j a j =1. By (2.3), it is easy to see that

σ κ , ; N 1 , N 2 = μ = 1 N 1 ν = 1 N 2 ω κ , ; μ , ν .
(2.12)

Lemma 2.7 Let Ω, φ, ψ be as in Lemma 2.6. For μ{1,2,, N 1 } and ν{1,2,, N 2 }, κ,Z, we have (i)

| ω κ , ; μ , ν ˆ ( ξ , η ) | C | φ ( 2 κ ) μ L μ ( ξ ) | | ψ ( 2 ) ν I ν ( η ) | ;
(2.13)
  1. (ii)

    if |φ ( 2 κ ) μ L μ (ξ)|> B φ , then

    | ω κ , ; μ , ν ˆ ( ξ , η ) | C ( log | φ ( 2 κ ) μ L μ ( ξ ) | ) β | ψ ( 2 ) ν I ν ( η ) | ;
    (2.14)
  2. (iii)

    if |ψ ( 2 ) ν I ν (η)|> B ψ , then

    | ω κ , ; μ , ν ˆ ( ξ , η ) | C | φ ( 2 κ ) μ L μ ( ξ ) | ( log | ψ ( 2 ) ν I ν ( η ) | ) β ;
    (2.15)
  3. (iv)

    if |φ ( 2 κ ) μ L μ (ξ)|> B φ and |ψ ( 2 ) ν I ν (η)|> B ψ , then

    | ω κ , ; μ , ν ˆ ( ξ , η ) | C ( log | φ ( 2 κ ) μ L μ ( ξ ) | ) β ( log | ψ ( 2 ) ν I ν ( η ) | ) β .
    (2.16)

Here and below, B ϕ (ϕ=φorψ) is as in Remark 1.1, the constant C is independent of the coefficients of P N i (i=1,2).

Proof We write Π 1 (μ)= i = μ + 1 N 1 ϕ 1 (φ ( 2 κ ) i L i (ξ)), Π 2 (ν)= j = ν + 1 N 2 ϕ 2 (ψ ( 2 ) j I j (η)). Then

ω κ , ; μ , ν ˆ ( ξ , η ) = σ κ , ; μ , ν ˆ ( ξ , η ) Π 1 ( μ ) Π 2 ( ν ) σ κ , ; μ 1 , ν ˆ ( ξ , η ) Π 1 ( μ 1 ) Π 2 ( ν ) σ κ , ; μ , ν 1 ˆ ( ξ , η ) Π 1 ( μ ) Π 2 ( ν 1 ) + σ κ , ; μ 1 , ν 1 ˆ ( ξ , η ) Π 1 ( μ 1 ) Π 2 ( ν 1 ) .
(2.17)

Thus, it is easy to see that

| ω κ , ; μ , ν ˆ ( ξ , η ) | = | Π 1 ( μ ) Π 2 ( ν ) | | σ κ , ; μ , ν ˆ ( ξ , η ) σ κ , ; μ 1 , ν ˆ ( ξ , η ) ϕ 1 ( φ ( 2 κ ) μ L μ ( ξ ) ) σ κ , ; μ , ν 1 ˆ ( ξ , η ) ϕ 2 ( ψ ( 2 ) ν I ν ( η ) ) + σ κ , ; μ 1 , ν 1 ˆ ( ξ , η ) ϕ 1 ( φ ( 2 κ ) μ L μ ( ξ ) ) ϕ 2 ( ψ ( 2 ) ν I ν ( η ) ) | C | σ κ , ; μ , ν ˆ ( ξ , η ) σ κ , ; μ 1 , ν ˆ ( ξ , η ) σ κ , ; μ , ν 1 ˆ ( ξ , η ) + σ κ , ; μ 1 , ν 1 ˆ ( ξ , η ) | + C | σ κ , ; μ 1 , ν ˆ ( ξ , η ) σ κ , ; μ 1 , ν 1 ˆ ( ξ , η ) | | 1 ϕ 1 ( φ ( 2 κ ) μ L μ ( ξ ) ) | + C | σ κ , ; μ , ν 1 ˆ ( ξ , η ) σ κ , ; μ 1 , ν 1 ˆ ( ξ , η ) | | 1 ϕ 2 ( ψ ( 2 ) ν I ν ( η ) ) | + C | σ κ , ; μ 1 , ν 1 ˆ ( ξ , η ) | | 1 ϕ 1 ( φ ( 2 κ ) μ L μ ( ξ ) ) | | 1 ϕ 2 ( ψ ( 2 ) ν I ν ( η ) ) | .

Notice that

(2.18)
(2.19)

Invoking Lemma 2.6, we get (2.13). On the other hand, since

(2.20)
(2.21)

by (2.17) and (2.20), we have

| ω κ , ; μ , ν ˆ ( ξ , η ) | = | σ κ , ; μ , ν ˆ ( ξ , η ) Π 1 ( μ ) Π 2 ( ν ) σ κ , ; μ , ν 1 ˆ ( ξ , η ) Π 1 ( μ ) Π 2 ( ν 1 ) | | σ κ , ; μ , ν ˆ ( ξ , η ) σ κ , ; μ , ν 1 ˆ ( ξ , η ) ϕ 2 ( ψ ( 2 ) ν I ν ( η ) ) | | σ κ , ; μ , ν ˆ ( ξ , η ) σ κ , ; μ , ν 1 ˆ ( ξ , η ) | + | σ κ , ; μ , ν 1 ˆ ( ξ , η ) | | 1 ϕ 2 ( ψ ( 2 ) ν I ν ( η ) ) | .

Then (2.14) follows from (2.6)-(2.7) with (2.19). Similarly, we get (2.15). Finally, (2.16) follows from (2.8), (2.17), (2.20) and (2.21). This completes the proof of Lemma 2.7. □

By Lemma 2.3 and the definition of { μ κ , ; μ , ν }, it is easy to verify the following lemma.

Lemma 2.8 Let Ω,φ,ψ be as in Lemma 2.3. Then for μ{1,2,, N 1 } and ν{1,2,, N 2 }, we have

sup κ , Z | | ω κ , ; μ , ν | f ( , ) | L p ( R m × R n ) C f L p ( R m × R n )

for 1<p<. The constant C is independent of the coefficients of P N 1 and P N 2 .

Applying Lemma 2.8 and [9], p.544, Lemma], we can obtain

Lemma 2.9 Let Ω, φ, ψ be as in Lemma 2.3. Then for μ{1,2,, N 1 } and ν{1,2,, N 2 }, we have

( κ , Z | ω κ , ; μ , ν g κ , ( , ) | 2 ) 1 / 2 L p ( R m × R n ) C ( κ , Z | g κ , ( , ) | 2 ) 1 / 2 L p ( R m × R n )

for 1<p< and any arbitrary functions { g κ , }. The constant C is independent of the coefficients of P N 1 and P N 2 .

Now we are in the position of proving Theorem 1.1.

Proof of Theorem 1.1 Combining (2.4) with (2.12), we write

T Ω P (f)= μ = 1 N 1 ν = 1 N 2 κ , Z ω κ , ; μ , ν f:= μ = 1 N 1 ν = 1 N 2 T Ω , μ , ν P (f).
(2.22)

It suffices to show that for μ{1,2,, N 1 } and ν{1,2,, N 2 },

T Ω , μ , ν P ( f ) p C f p for 2β/(2β1)<p<2β.
(2.23)

For fixed μ{1,2,, N 1 } and ν{1,2,, N 2 }, choose two collections of C functions { λ i } i Z and { η j } j Z on (0,) with the following properties:

  1. (i)

    supp λ i [φ ( 2 i + 1 ) μ ,φ ( 2 i 1 ) μ ], supp η j [ψ ( 2 j + 1 ) ν ,ψ ( 2 j 1 ) ν ];

  2. (ii)

    0 λ i , η j 1, i Z λ i ( t ) 2 = j Z η j ( t ) 2 =1;

  3. (iii)

    | λ i (t)|,| η j (t)|C/t, where C is a constant.

Define the multiplier operator S i , j on R m × R n by

S i , j f ˆ (x,y)= λ i ( | L μ ( x ) | ) η j ( | I ν ( y ) | ) f ˆ (x,y).
(2.24)

Then

T Ω , μ , ν P ( f ) ( x , y ) = κ , Z ω κ , ; μ , ν f ( x , y ) = κ , Z ω κ , ; μ , ν ( i , j Z S i + κ , j + S i + κ , j + f ) ( x , y ) = i , j Z κ , Z S i + κ , j + ( ω κ , ; μ , ν S i + κ , j + f ) ( x , y ) : = i , j Z T i , j f ( x , y ) .
(2.25)

Now we consider the L p -boundedness of T i , j . By the Littlewood-Paley theory and Lemma 2.9, we have

T i , j f p C ( κ , Z | S i + κ , j + ( ω κ , ; μ , ν S i + κ , j + f ) | 2 ) 1 / 2 p C ( κ , Z | ω κ , ; μ , ν S i + κ , j + f | 2 ) 1 / 2 p C ( κ , Z | S i + κ , j + f | 2 ) 1 / 2 p C f p , 1 < p < , i , j Z .
(2.26)

On the other hand, by the Littlewood-Paley theory and Plancherel’s theorem, we have

T i , j f 2 2 C ( κ , Z | ω κ , ; μ , ν S i + κ , j + f | 2 ) 1 / 2 2 2 = C κ , R m × R n | ω κ , ; μ , ν ˆ ( ξ , η ) | 2 | λ i + κ ( | L μ ( ξ ) | ) η j + ( | I ν ( η ) | ) | 2 | f ˆ ( ξ , η ) | 2 d ξ d η C κ , E i + κ , j + | ω κ , ; μ , ν ˆ ( ξ , η ) | 2 | f ˆ ( ξ , η ) | 2 d ξ d η ,

where E i + κ , j + ={(ξ,η) R m × R n :φ ( 2 i + κ + 1 ) μ | L μ (ξ)|φ ( 2 i + κ 1 ) μ ,ψ ( 2 j + + 1 ) ν | I ν (η)|ψ ( 2 j + 1 ) ν }. Using Lemma 2.7 and Remark 1.1, we have

T i , j f 2 C(φ,ψ,μ,ν) B i , j f 2 ,
(2.27)

where

B i , j ={ B φ i μ B ψ j ν , i , j > 2 ; B φ i μ | j | β , i > 2 , j 2 ; | i | β B ψ j ν , i 2 , j > 2 ; | i j | β , i , j 2 .
(2.28)

Interpolating (2.26) and (2.27), for any p(2β/(2β1),2β), we can obtain δ(0,1) such that δβ>1 and

T i , j f p C ( φ , ψ , μ , ν ) 1 δ B i , j δ f p ,2β/(2β1)<p<2β.

Then we have

i , j Z T i , j f p C ( φ , ψ , μ , ν ) ( i , j > 2 B φ i μ δ B ψ j ν δ + i > 2 , j 2 B φ i μ δ | j | δ β + i 2 , j > 2 | i | δ β B ψ j ν δ + i , j 2 | i j | δ β ) f p C ( φ , ψ , μ , ν ) f p q , for  2 β / ( 2 β 1 ) < p < 2 β .

This together with (2.22) and (2.25) completes the proof of Theorem 1.1. □

3 On the multiple Marcinkiewicz integrals

This section is devoted to the proof of Theorem 1.2. We first introduce some notations and lemmas. For μ{1,2,, N 1 }, ν{1,2,, N 2 } and i,jZ, s,t R + , we define the measures { σ i , j ; s , t μ , ν } and {| σ i , j ; s , t μ , ν |} by

(3.1)
(3.2)

where Δ i , j s , t ={(x,y) R m × R n : 2 i 1 s ρ m (x) 2 i s, 2 j 1 t ρ n (y) 2 j t} and Q μ , R ν were defined as in Section 2. It is obvious that for μ{0,1,, N 1 }, ν{0,1,, N 2 }

σ i , j ; s , t 0 , ν ˆ (ξ,η)= σ i , j ; s , t μ , 0 ˆ (ξ,η)=0,(ξ,η) R m × R n ,

and

F s , t P N 1 ( φ ) , P N 2 ( ψ ) (x,y)=st i , j = 0 2 i + j σ i , j ; s , t N 1 , N 2 f(x,y).
(3.3)

Lemma 3.1 Let s,t>0, i,jZ and φ,ψF. Suppose that Ω F β ( S m 1 × S n 1 ) for some β>1/2 and satisfies (1.2)-(1.3). Then for each pair μ and ν, there exists a constant C>0 such that

  1. (i)

    if |ψ ( 2 j t ) ν I ν (η)|>1, then

    (3.4)
  2. (ii)

    if |φ ( 2 i s ) μ L μ (ξ)|>1, then

    (3.5)
  3. (iii)

    if |φ ( 2 i s ) μ L μ (ξ)|>1 and |ψ ( 2 j t ) ν I ν (η)|>1, then

    (3.6)
    (3.7)

    (iv)

    (3.8)

The constant C is independent of the coefficients of P N 1 and P N 2 .

Proof Set

By Lemma 2.5, there exist ϵ 1 , ϵ 2 (0,1] such that

(3.9)
(3.10)

When |φ ( 2 i s ) μ L μ (ξ)|>1, since t/ ( log t ) β is increasing in ( e β ,), we have

| U i , s μ ( x , ξ ) | Cmin { 1 , ( log e β | ( φ ( 2 i s ) μ L μ ( ξ ) ) x | ϵ 1 ) β ( log | φ ( 2 i s ) μ L μ ( ξ ) | ) β } .
(3.11)

Similarly, when |ψ ( 2 j t ) ν I ν (η)|>1

| V j , t ν ( y , η ) | Cmin { 1 , ( log e β | ( ψ ( 2 j t ) ν I ν ( η ) ) y | ϵ 2 ) β ( log | ψ ( 2 j t ) ν I ν ( η ) | ) β } .
(3.12)

By the definition of σ i , j ; s , t μ , ν , we have

Combining (3.12) with the fact Ω F β ( S m 1 × S n 1 ), we obtain (3.4). Similarly, we can conclude (3.5). To prove (3.6) and (3.7), we write

| σ i , j ; s , t μ , ν ˆ ( ξ , η ) | C S m 1 × S n 1 | Ω ( x , y ) | | U i , s μ ( x , ξ ) | | V j , t ν ( y , η ) | d σ m ( x ) d σ n ( y ) .

Combining (3.11)-(3.12) with the fact that Ω F β ( S m 1 × S n 1 ), we get (3.6) and (3.7). Finally, (3.8) follows from the inequality

This completes the proof of Lemma 3.1. □

We now take two radial Schwartz functions ϕ 1 S( R m ) and ϕ 2 S( R n ) such that ϕ i (t)1 for |t|1 and ϕ i (t)0 for |t|>min{ B φ , B ψ } (i=1,2), where B φ , B ψ are as in Remark 1.1. Define the measures { ω i , j ; s , t μ , ν } by

ω i , j ; s , t μ , ν ˆ ( ξ , η ) = σ i , j ; s , t μ , ν ˆ ( ξ , η ) Θ 1 ( μ ) Θ 2 ( ν ) σ i , j ; s , t μ 1 , ν ˆ ( ξ , η ) Θ 1 ( μ 1 ) Θ 2 ( ν ) σ i , j ; s , t μ , ν 1 ˆ ( ξ , η ) Θ 1 ( μ ) Θ 2 ( ν 1 ) + σ i , j ; s , t μ 1 , ν 1 ˆ ( ξ , η ) Θ 1 ( μ 1 ) Θ 2 ( ν 1 ) ,

where Θ 1 (μ)= κ = μ + 1 N 1 ϕ 1 (φ ( 2 i s ) κ L κ (ξ)), Θ 2 (ν)= = ν + 1 N 2 ϕ 2 (ψ ( 2 j t ) I (η)), for i,jZ, s,t>0, μ{1,2,, N 1 }, ν{1,2,, N 2 }. Here we use the convention Π j a j =1. It is easy to see that

σ i , j ; s , t N 1 , N 2 = μ = 1 N 1 ν = 1 N 2 ω i , j ; s , t μ , ν .
(3.13)

Applying Lemma 3.1 and the same arguments as in proving Lemma 2.7, we have

Lemma 3.2 Let Ω, φ, ψ be as in Lemma 3.1. Then for μ{1,2,, N 1 } and ν{1,2,, N 2 }, i,jZ; s,t>0, there exists a constant C>0 such that

  1. (i)

    | ω i , j ; s , t μ , ν ˆ (ξ,η)|C|φ ( 2 i s ) μ L μ (ξ)||ψ ( 2 j t ) ν I ν (η)|;

  2. (ii)

    if |φ ( 2 i s ) μ L μ (ξ)|> B φ , then

    | ω i , j ; s , t μ , ν ˆ ( ξ , η ) | C ( log | φ ( 2 i s ) μ L μ ( ξ ) | ) β | ψ ( 2 j t ) ν I ν ( η ) | ;
  3. (iii)

    if |ψ ( 2 j t ) ν I ν (η)|> B ψ , then

    | ω i , j ; s , t μ , ν ˆ ( ξ , η ) | C | φ ( 2 i s ) μ L μ ( ξ ) | ( log | ψ ( 2 j t ) ν I ν ( η ) | ) β ;
  4. (iv)

    if |φ ( 2 i s ) μ L μ (ξ)|> B φ and |ψ ( 2 j t ) ν I ν (η)|> B ψ , then

    | ω i , j ; s , t μ , ν ˆ ( ξ , η ) | C ( log | φ ( 2 i s ) μ L μ ( ξ ) | ) β ( log | ψ ( 2 j t ) ν I ν ( η ) | ) β .

Here the constant C is independent of the coefficients of P N i (i=1,2).

By Lemma 2.2 and the same arguments as in proving Lemma 2.3, we have the following lemma:

Lemma 3.3 Let φ,ψF. Suppose that Ω L 1 ( S m 1 × S n 1 ) and satisfies (1.2)-(1.3). Then for μ{1,2,, N 1 }, ν{1,2,, N 2 }, the maximal operator

σ ˜ μ , ν (f)(x,y)= sup i , j Z sup s , t > 0 | | σ i , j ; s , t μ , ν | f ( x , y ) |

is bounded on L p ( R m × R n ) for 1<p<. The bound is independent of the coefficients of P N i (i=1,2) but depends on φ, ψ, N 1 , N 2 , m, n.

Applying Lemma 3.3, we have

Lemma 3.4 Let Ω, φ, ψ be as in Lemma 3.3. Then for μ{1,2,, N 1 } and ν{1,2,, N 2 },

sup i , j Z sup s , t > 0 | | ω i , j ; s , t μ , ν | f ( , ) | p C f p ,1<p<.

The constant C is independent of the coefficients of P N i (i=1,2).

Furthermore, applying Lemma 3.4 and [9], p.544, Lemma], we can obtain

Lemma 3.5 Let Ω, φ, ψ be as in Lemma 3.3. For μ{1,2,, N 1 }; ν{1,2,, N 2 }, s,t>0 and any arbitrary functions g i , j , then

where the constant C is independent of the coefficients of P N i (i=1,2).

Lemma 3.6 Let Ω, φ, ψ be as in Lemma 3.3. Then for μ{1,2,, N 1 } and ν{1,2,, N 2 }, there exists a constant C p >0 such that for 1<p<

where { g κ , } κ , Z are arbitrary functions defined on R m × R n . The constant C p is independent of the coefficients of P N i (i=1,2).

Proof We consider the mapping Ϝ: { g κ , } κ , { ω i , j ; s , t μ , ν g κ , } κ , ; s , t . By Lemma 3.4, we have for 1<p<

sup i , j Z sup s , t [ 1 , 2 ] | ω i , j ; s , t μ , ν g κ , ( , ) | p C p sup κ , Z | g κ , ( , ) | p ,

which implies Ϝ: L p ( R m × R n )( ) L p ( R m × R n )( ( L ([1,2]×[1,2]))).

On the other hand. By the dual argument and Lemma 3.4, we have

κ , Z 1 2 1 2 | ω i , j ; s , t μ , ν g κ , ( , ) | d s d t p C p κ , Z | g κ , ( , ) | p ,

which implies Ϝ: L p ( R m × R n )( 1 ) L p ( R m × R n )( 1 ( L 1 ([1,2]×[1,2]))). Then Lemma 3.6 follows from the standard interpolation arguments. □

Lemma 3.7 Let S i , j be the multiplier operators defined in (2.24) for any i,jZ. Then (i) for each fixed 1<p<2 and for any functions { g i , j ; s , t ; κ , }

(3.14)

(ii) for each fixed 2<p< and for any functions { g i , j ; s , t ; κ , },

(3.15)

By the arguments similar to those used in [17], pp.78-81], we easily establish this lemma. The details are omitted.

Now we turn to prove Theorem 1.2.

Proof of Theorem 1.2 By (3.3) and (3.13), we can write

M Ω P ( f ) ( x , y ) = ( 0 0 | i , j = 0 2 i + j σ i , j ; s , t N 1 , N 2 f ( x , y ) | 2 d s d t s t ) 1 / 2 i , j = 0 2 i + j ( 0 0 | σ i , j ; s , t N 1 , N 2 f ( x , y ) | 2 d s d t s t ) 1 / 2 = 4 ( κ , Z 2 κ 2 κ + 1 2 2 + 1 | σ 0 , 0 ; s , t N 1 , N 2 f ( x , y ) | 2 d s d t s t ) 1 / 2 = 4 ( 1 2 1 2 κ , Z | σ κ , ; s , t N 1 , N 2 f ( x , y ) | 2 d s d t s t ) 1 / 2 4 μ = 1 N 1 ν = 1 N 2 ( 1 2 1 2 κ , Z | ω κ , ; s , t μ , ν f ( x , y ) | 2 d s d t ) 1 / 2 : = 4 μ = 1 N 1 ν = 1 N 2 M Ω μ , ν ( f ) ( x , y ) .
(3.16)

It suffices to show that M Ω μ , ν is bounded on L p ( R m × R n ) for μ{1,2,, N 1 } and ν{1,2,, N 2 }. By the definitions of S i , j , we can write

M Ω μ , ν ( f ) ( x , y ) = ( 1 2 1 2 κ , Z | ω κ , ; s , t μ , ν ( i , j Z S i + κ , j + S i + κ , j + f ) ( x , y ) | 2 d s d t ) 1 / 2 = ( κ , Z 1 2 1 2 | i , j Z S i + κ , j + ( ω κ , ; s , t μ , ν S i + κ , j + f ) ( x , y ) | 2 d s d t ) 1 / 2 .
(3.17)

Case 1. 1+1/(2β)<p<2. Combining with (3.17) and Lemma 3.7, we know that for 1<q<p

M Ω μ , ν ( f ) p q C i , j Z ( κ , Z 1 2 1 2 | ω κ , ; s , t μ , ν S i + κ , j + f ( , ) | 2 d s d t ) 1 / 2 p q .
(3.18)

For fixed i,jZ, let

M i , j f(x,y):= ( κ , Z 1 2 1 2 | ω κ , ; s , t μ , ν S i + κ , j + f ( x , y ) | 2 d s d t ) 1 / 2 .

By Lemma 3.6 and the Littlewood-Paley theory, we have

M i , j f p C p ( κ , Z | S i + κ , j + f ( , ) | 2 ) 1 / 2 p C p f p ,1<p<.
(3.19)

On the other hand, by Plancherel’s theorem and Lemma 3.2, we know that

M i , j f 2 2 = κ , Z 1 2 1 2 R m × R n | ω κ , ; s , t μ , ν ˆ ( ξ , η ) | 2 λ i + κ 2 ( | L μ ( ξ ) | ) × η j + 2 ( | I ν ( η ) | ) | f ˆ ( ξ , η ) | 2 d ξ d η d s d t κ , Z E i + κ , j + | f ˆ ( ξ , η ) | 2 1 2 1 2 | ω κ , ; s , t μ , ν ˆ ( ξ , η ) | 2 d s d t d ξ d η ,

where E i + κ , j + is as in the proof of Theorem 1.1. Then

M i , j f 2 C(φ,ψ,μ,ν) B i , j f 2 ,
(3.20)

where B i , j is as in (2.28). Interpolating between (3.19) and (3.20), there exists δ(2/(2β+1),1) such that

M i , j f p C ( φ , ψ , μ , ν ) 1 δ B i , j δ f p ,1+1/(2β)<p<2.

For fixed 1+1/(2β)<p<2, we can choose 1<q<p such that qδβ>1. Then

i , j Z M i , j f p q C ( φ , ψ , μ , ν ) ( i , j > 2 B φ i μ δ q B ψ j ν δ q + i > 2 , j 2 B φ i q μ δ | j | q δ β + i 2 , j > 2 | i | q δ β B ψ j q ν δ + i , j 2 | i j | q δ β ) f p q C ( φ , ψ , μ , ν ) f p q , 1 + 2 β < p < 2 ,

which implies

M Ω μ , ν ( f ) p C(φ,ψ,μ,ν) f p ,1+1/(2β)<p<2.
(3.21)

Case 2. 2<p<1+2β. By (3.17) and Lemma 3.7, we have, for 2<p< and any 1<q< p =p/(p1),

M Ω μ , ν ( f ) p q C i , j Z ( 1 2 1 2 ( κ , Z | ω κ , ; s , t μ , ν S i + κ , j + f ( , ) | 2 ) 1 / 2 p 2 d s d t ) q / 2 .
(3.22)

Let

J i , j ; s , t f(x,y):= ( κ , Z | ω κ , ; s , t μ , ν S i + κ , j + f ( x , y ) | 2 ) 1 / 2 .

By Lemma 3.5 and the Littlewood-Paley theory, we have that for i,jZ and s,t[1,2],

J i , j ; s , t f p C p ( κ , Z | S i + κ , j + f ( , ) | 2 ) 1 / 2 p C p f p , 1 < p < .
(3.23)

On the other hand, by the same argument as in getting (3.20), we have

J i , j ; s , t f 2 C(φ,ψ,μ,ν) B i , j f 2 ,
(3.24)

where B i , j is as in (2.28). By interpolating between (3.23) and (3.24), for fixed p(2,1+2β), we can choose q(1, p ) and γ(2/(2β+1),1) such that qγβ>1 and

J i , j ; s , t f p C ( φ , ψ , μ , ν ) 1 γ B i , j γ f p ,2<p<1+2β.

Combining this with (3.22), we have

M Ω μ , ν ( f ) p q C ( φ , ψ , μ , ν ) ( i , j > 2 B φ i μ γ q B ψ j ν γ q + i > 2 , j 2 B φ i q μ γ | j | q γ β + i 2 , j > 2 | i | q γ β B ψ j q ν γ + i , j 2 | i j | q γ β ) f p q C ( φ , ψ , μ , ν ) f p q , 2 < p < 1 + 2 β .

This together with (3.21) completes the proof of Theorem 1.2. □

References

  1. Al-Qassem H, Al-Salman A, Cheng L, Pan Y: Marcinkiewicz integrals on product spaces. Stud. Math. 2005, 167: 227–234. 10.4064/sm167-3-4

    Article  MathSciNet  Google Scholar 

  2. Al-Salman A, Al-Qassem H, Pan Y: Singular integrals on product domains. Indiana Univ. Math. J. 2006, 55(1):369–387. 10.1512/iumj.2006.55.2626

    Article  MathSciNet  Google Scholar 

  3. Al-Salman A: Parabolic Marcinkiewicz integrals along surfaces on product domains. Acta Math. Sin. Engl. Ser. 2011, 27(1):1–18.

    Article  MathSciNet  Google Scholar 

  4. Chen J, Ding Y, Fan D: Certain square functions on product spaces. Math. Nachr. 2001, 230: 5–18. 10.1002/1522-2616(200110)230:1<5::AID-MANA5>3.0.CO;2-O

    Article  MathSciNet  Google Scholar 

  5. Chen Y, Ding Y, Fan D: A parabolic singular integral operator with rough kernel. J. Aust. Math. Soc. 2008, 84: 163–179.

    Article  MathSciNet  Google Scholar 

  6. Chen J, Fan D, Ying Y: The method of rotation and Marcinkiewicz integrals on product domains. Stud. Math. 2002, 153(1):41–58. 10.4064/sm153-1-4

    Article  MathSciNet  Google Scholar 

  7. Choi Y: Marcinkiewicz integrals with rough homogeneous kernel of degree zero on product domains. J. Math. Anal. Appl. 2001, 261: 53–60. 10.1006/jmaa.2001.7465

    Article  MathSciNet  Google Scholar 

  8. Chen L, Le H: Singular integrals with mixed homogeneity in product spaces. Math. Inequal. Appl. 2011, 14(1):155–172.

    MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  10. Duoandikoetxea J: Multiple singular integrals and maximal functions along hypersurfaces. Ann. Inst. Fourier 1986, 36(4):185–206. 10.5802/aif.1073

    Article  MathSciNet  Google Scholar 

  11. 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 

  12. Fan D, Guo K, Pan Y: Singular integrals with rough kernels on product spaces. Hokkaido Math. J. 1999, 28: 435–460.

    Article  MathSciNet  Google Scholar 

  13. Fabes E, Reviére N: Singular integrals with mixed homogeneity. Stud. Math. 1966, 27: 19–38.

    Google Scholar 

  14. Fefferman R: Singular integrals on product domains. Bull. Am. Math. Soc. 1981, 4: 195–201. 10.1090/S0273-0979-1981-14883-7

    Article  MathSciNet  Google Scholar 

  15. Fefferman F, Stein EM: Singular integrals on product domains. Adv. Math. 1982, 45: 117–143. 10.1016/S0001-8708(82)80001-7

    Article  MathSciNet  Google Scholar 

  16. 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.

    Article  MathSciNet  Google Scholar 

  17. Hu G, Lu S, Yan D: L p ( R m × R n ) boundedness for the Marcinkiewicz integrals on product spaces. Sci. China Ser. A 2003, 46(1):75–82. 10.1360/03ys9008

    Article  MathSciNet  Google Scholar 

  18. Nagel A, Riviére NM, Wainger S: On Hilbert transforms along curves, II. Am. J. Math. 1976, 98: 395–403. 10.2307/2373893

    Article  Google Scholar 

  19. Ricci F, Stein EM: Multiparameter singular integrals and maximal functions. Ann. Inst. Fourier 1992, 42: 637–670. 10.5802/aif.1304

    Article  MathSciNet  Google Scholar 

  20. Ricci R, Stein EM: Harmonic analysis on nilpotent groups and singular integrals I: oscillatory integrals. J. Funct. Anal. 1987, 73: 179–184. 10.1016/0022-1236(87)90064-4

    Article  MathSciNet  Google Scholar 

  21. Stein EM: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press, Princeton; 1993.

    Google Scholar 

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

    Google Scholar 

  23. Wu H: Boundedness of multiple Marcinkiewicz integral operators with rough kernels. J. Korean Math. Soc. 2006, 43(3):635–658.

    MathSciNet  Google Scholar 

  24. Wu H: A rough multiple Marcinkiewicz integral along continuous surfaces. Tohoku Math. J. 2007, 59(2):145–166. 10.2748/tmj/1182180732

    Article  MathSciNet  Google Scholar 

  25. Wu H: General Littlewood-Paley functions and singular integral operators on product spaces. Math. Nachr. 2006, 279(4):431–444. 10.1002/mana.200310369

    Article  MathSciNet  Google Scholar 

  26. Wu H, Xu J: Rough Marcinkiewicz integrals associated to surfaces of revolution on product domains. Acta Math. Sci., Ser. B 2009, 29(2):294–304.

    Article  MathSciNet  Google Scholar 

  27. Wu H, Yang S: On multiple singular integrals along polynomial curves with rough kernels. Acta Math. Sin. Engl. Ser. 2008, 24(2):177–184.

    Article  MathSciNet  Google Scholar 

  28. Ying Y: A note on singular integral operators on product domains. J. Math. Study 1999, 32(3):264–271. in Chinese

    MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors would like to thanks the referees for their carefully 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 Huoxiong Wu.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Both 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. Multiple singular integrals and Marcinkiewicz integrals with mixed homogeneity along surfaces. J Inequal Appl 2012, 189 (2012). https://doi.org/10.1186/1029-242X-2012-189

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2012-189

Keywords