Next Article in Journal
The Neutron Lifetime Discrepancy and Its Implications for Cosmology and Dark Matter
Previous Article in Journal
Group-Action-Based S-box Generation Technique for Enhanced Block Cipher Security and Robust Image Encryption Scheme
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Certain Rough Marcinkiewicz Integral Operators with Grafakos-Stefanov Kernels on Product Spaces

1
Department of Mathematics and Statistics, Qatar University, Doha 2713, Qatar
2
Department of Mathematics and Statistics, Jordan University of Science and Technology, Irbid 22110, Jordan
*
Author to whom correspondence should be addressed.
Symmetry 2024, 16(8), 955; https://doi.org/10.3390/sym16080955
Submission received: 23 June 2024 / Revised: 17 July 2024 / Accepted: 24 July 2024 / Published: 26 July 2024
(This article belongs to the Section Mathematics)

Abstract

:
In this paper, several classes of rough Marcinkiewicz integral operators along surfaces of revolution on product spaces are investigated. We prove the L p boundedness of these operators when their kernels functions belong to a class of functions related to a class of functions introduced by Grafakos-Stefanov. The results in this paper extend and improve several known results on Marcinkiewicz integrals over a symmetric space.

1. Introduction

Let R q ( q = m or n) be the 2 q -Euclidean space and S q 1 be the unit sphere in R q equipped with the normalized Lebesgue surface measure d σ q ( · ) d σ . Also, let z = z / | z | for z R q { 0 } .
Let ℧ be a measurable function defined on R m × R n , integrable over S m 1 × S n 1 and satisfy the following:
( r x , s y ) = ( x , y ) , r , s > 0 ,
S m 1 ( x , y ) d σ ( x ) = S n 1 ( x , y ) d σ ( y ) = 0 .
For an appropriate mapping Φ : R + × R + R , we consider the parametric Marcinkiewicz integral operator M , Φ along the surface of revolution Λ Φ ( u , v ) = u , v , Φ ( u , v ) defined, initially for g C 0 ( R m × R n × R ) , by
M , Φ ( g ) ( u , v , w ) = R + × R + F r , s ( g ) ( u , v , w ) 2 d r d s r s 1 / 2 ,
where
F r , s ( g ) ( u , v , w ) = 1 r s y s x r f ( u x , v y , w Φ ( x , y ) ) ( x , y ) x m 1 y n 1 d x d y .
We point out her that the Marcinkiewicz integral M , Φ is a natural generalization of the Marcinkiewicz inegral M ϕ along surface of revolution Λ Φ ( u ) = u , Φ ( u ) in the one parameter setting which is given by
M ϕ ( g ) ( u , u m + 1 ) = R + 1 r x r g ( u x , u m + 1 ϕ ( x ) ) ( x ) x m 1 d x 2 d r r 1 / 2 .
The investigation of the L p boundedeness of M ϕ under certain assumptions on ℧ and ϕ has received a large amount of attention by many mathematicians: when ϕ 0 [1,2,3,4] and when ϕ satisfies some certain conditions [5,6,7,8,9].
Let G α S m 1 (for α > 0 ) be the class of all functions L 1 ( S m 1 ) satisfying the condition
sup ξ S m 1 S m 1 x log α ( ξ · x 1 ) d σ x < .
It is worth mentioning that the class G α S m 1 was defined by Walsh in [10] and developed by Grafakos and Stefanov in [11].
An interesting result related to our work in the one parameter setting was obtained in [12] as described in the following theorem:
Theorem 1.
Let G α S m 1 for some α > 1 / 2 . Then M ϕ is bounded on L p ( R m × R ) for all p ( 1 + 2 α 2 α , 1 + 2 α ) if one of the following conditions is satisfied:
(a)
ϕ C 1 ( R + ) , ϕ is increasing and convex function with either m = 2 or m 3 and ϕ ( 0 ) = 0 .
(b)
ϕ is a polynomial with either m = 2 or m 3 and ϕ ( 0 ) = 0 .
Our focus will be on the operator M , Φ . If Φ 0 , we denote M , Φ by M which is the classical Marcinkiewicz integral on product domains. The study of the boundedness of M started by Ding in [13] and then continued by many authors. For a sample of past studies and for more information about the applications and development of the operator M , we refer the readers to consult: For the case Φ 0 [14,15,16] and for the case Φ satisfies specific conditions [17,18,19] and the references therein.
For α > 0 , let G α S m 1 × S n 1 be the set of all functions L 1 ( S m 1 × S n 1 ) which satisfy Grafakos and Stefanov condition:
sup ( ξ , ζ ) S m 1 × S n 1 S m 1 × S n 1 x , y log α ( ξ · x 1 ) log α ( ζ · y 1 ) d σ x d σ y < .
By following the same arguments as those in [11], we get
κ > 1 L κ S m 1 × S n 1 G α S m 1 × S n 1 f o r a n y α > 0 ,
α > 0 G α S m 1 × S n 1 L ( log L ) ( S m 1 × S n 1 ) α > 0 G α S m 1 × S n 1 .
Very recently, in [20] the authors studied the related singular integral operators along surfaces of revolution T , Φ which are given by
T , Φ ( g ) ( u , v , w ) = R m × R n f ( u x , v y , w Φ ( x , y ) ) ( x , y ) x m y n d x d y ,
where Φ : R + × R + R is an appropriate mapping. When G α S m 1 × S n 1 for some α > 1 / 2 , the authors of [20] showed that T , Φ is bounded on L p ( R m × R n × R ) for all p ( 1 + 2 α 2 α , 1 + 2 α ) under various assumptions on Φ .
In light of the assumptions imposed on Φ in [20] and of the results in [12] concerning the boundedness of Marcinkiewicz operator M ϕ in the one parameter setting whenever G α S m 1 as well as of the results in [18] concerning the boundedness of Marcinkiewicz operator M , Φ whenever L ( log L ) ( S m 1 × S n 1 ) B κ ( 0 , 0 ) ( S m 1 × S n 1 ) , a question arises naturally is the following:
  • Question: Under the same conditions on Φ in [20], does the operator M , Φ satisfy the L p boundedness provided that G α S m 1 × S n 1 for some α > 1 / 2 ?
Our main purpose in this paper is on giving a positive answer to this question. Indeed, we obtain the following:
Theorem 2.
Assume that ℧ belongs to the space G α S m 1 × S n 1 for some α > 1 / 2 and satisfies the conditions (1)–(2). Assume that Φ C 1 ( R + × R + ) . If one of the following conditions holds, then M , Φ is bounded on L p ( R m × R n × R ) for all p ( 1 + 2 α 2 α , 1 + 2 α ) .
(i)
m = 2 = n , D t Φ ( t , ) and D Φ ( t , ) are convex increasing functions,
(ii)
m = 2 , n 3 , D t Φ ( t , ) and D Φ ( t , ) are convex increasing functions with D ( t , 0 ) = 0 ,
(iii)
n = 2 , m 3 , D t Φ ( t , ) and D Φ ( t , ) are convex increasing functions with D t Φ ( 0 , ) = 0 ,
(iv)
m 3 , n 3 , Φ t ( t , ) and D Φ ( t , ) are convex increasing functions with D t Φ ( 0 , ) = 0 = D Φ ( t , 0 ) .
Theorem 3.
Assume that G α S m 1 × S n 1 for some α > 1 / 2 and satisfies the conditions (1)–(2). Assume that Φ ( t , ) = i = 0 d 1 j = 0 d 2 a j , i t α i β j is a generalized polynomial on R 2 , where the exponents in each set { α i : 0 i d 1 } and { β j : 0 j d 2 } are distinct positive numbers. Then M , Φ is bounded on L p ( R m × R n × R ) for all p ( 1 + 2 α 2 α , 1 + 2 α ) whenever one of the following conditions holds:
( i )
α i 1 and β j 1 for all 0 i d 1 and 0 j d 2 ,
( i i )
There is α i 0 = 1 for some 0 i 0 d 1 and β j 1 for all 0 j d 2 ; and if m 3 , we need D t Φ ( 0 , ) = 0 ,
( i i i )
There is β j 0 = 1 for some 0 j 0 d 2 and α i 1 for all 0 i d 1 ; and if n 3 , we need D Φ ( t , 0 ) = 0 ,
( i v )
There exists α i 0 = 1 for some 0 i 0 d 1 and there exists β j 0 = 1 for some 0 j 0 d 2 . Moreover, whenever m 3 we need D t Φ ( 0 , ) = 0 and whenever n 3 we need D Φ ( t , 0 ) = 0 .
Theorem 4.
Assume that ℧ is given as in Theorem 2. Assume that Φ ( t , ) = ϕ ( t ) P ( ) , where ϕ ( t ) is in C 1 ( R + ) , ϕ is increasing and convex function; and P is a generalized polynomials given by P ( ) = j = 0 d 2 a j β j . Then M , Φ is bounded on L p ( R m × R n × R ) for all p ( 1 + 2 α 2 α , 1 + 2 α ) if one of the following conditions is satisfied:
( i )
β j 1 for all 0 j d 2 , and if m 3 we need ϕ ( 0 ) = 0 ,
( i i )
There is β j 0 = 1 for some 0 j 0 d 2 , and if m , n 3 we need ϕ ( 0 ) = 0 = P ( 0 ) .
Theorem 5.
Assume Φ ( t , ) = ϕ 1 ( t ) + ϕ 2 ( ) , where ϕ j ( j = 1 , 2 ) is either a generalized polynomial or is in C 1 ( R + ) , ϕ j is increasing and convex function. If G α S m 1 × S n 1 for some α > 1 / 2 and one of the following conditions is held, then M , Φ is bounded on L p ( R m × R n × R ) for all p ( 1 + 2 α 2 α , 1 + 2 α ) .
  • Case 1: ϕ j ( j = 1 , 2 ) is in C 1 ( R + ) , ϕ j is increasing and convex function.
( i )
m = 2 , n = 2 ,
( i i )
m = 2 , n 3 and ϕ 1 ( 0 ) ,
( i i i )
n = 2 , m 3 and ϕ 2 ( 0 ) ,
( i v )
m 3 , n 3 and ϕ 1 ( 0 ) = 0 = ϕ 2 ( 0 ) .
Case 2: ϕ 1 is in C 1 ( R + ) , ϕ 2 is increasing and convex function; ϕ 2 is a generalized polynomial on R given by ϕ 2 ( ) = j = 0 d 2 a j β j , where the exponents in the set { β j : 0 j d 2 } are distinct positive numbers.
(i)
β j 1 for all 0 j d 2 , and if n 3 we need ϕ 1 ( 0 ) = 0 ,
(ii)
There is β j 0 = 1 for some 0 j 0 d 2 , and if m , n 3 we need ϕ 1 ( 0 ) = 0 = ϕ 2 ( 0 ) .
Theorem 6.
Assume that Φ ( t , ) = ϕ ( t ) for all t , > 0 , where ϕ C 1 ( R + ) . If G α S m 1 × S n 1 for some α > 1 / 2 and one of the following conditions is satisfied, then M , Φ is bounded on L p ( R m × R n × R ) for all p ( 1 + 2 α 2 α , 1 + 2 α ) .
(i)
m = 2 = n and ϕ is an increasing and convex function,
(ii)
If m or n 3 and ϕ is an increasing and convex function with ϕ ( 0 ) = 0 .
Remark 
(1)
The authors of [16] confirmed the boundedness of M , Φ whenever Φ 0 and L q ( S m 1 × S n 1 ) G α S m 1 × S n 1 . Therefore, our findings extend the results in [16].
(2)
For the special case Φ 0 , our results prove the L p boundedness of M , Φ for p ( 1 + 2 α 2 α , 1 + 2 α ) , which is the result established in [21]. Hence, our results are essential generalization and improvement to the results in [21].
(3)
The authors of [18] showed that M , Φ is bounded on L p ( R m × R n × R ) provided that L ( l o g L ) ( S m 1 × S n 1 ) B q ( 0 , 0 ) ( S m 1 × S n 1 ) G α S m 1 × S n 1 , for any α > 0 , q > 1 .
(4)
The surfaces of revolution Λ Φ ( u , v ) = u , v , Φ ( u , v ) which are considered in Theorems 2–6 cover several important natural classical surfaces. For example, our theorems allow surfaces of the type Λ Φ , where Φ ( t , ) = t 2 2 ( e 1 / t + e 1 / ) , t , > 0 ; Φ ( t , ) = t α β with α , β > 0 ; Φ ( t , ) = P ( t , ) is a polynomial; Φ ( t , ) = ϕ 1 ( t ) ϕ 2 ( ) , where for i { 1 , 2 }, each ϕ i C 2 ( R + ) is a convex increasing function with ϕ i ( 0 ) = 0 .
Henceforward, the constant C denotes a positive real constant which is not necessary the same at each occurrence but it is independent of the essential variables.

2. Some Lemmas

For a suitable mapping Φ ( r , s ) on R + × R + , we define the family of measures { λ , Φ , r , s k , j : = λ r , s k , j : k , j Z , r , s R + } and its related maximal operator λ * on R m × R n × R by
R m × R n × R g d λ r , s k , j = 1 2 k + j r s 2 j s u 2 j + 1 s 2 k r v 2 k + 1 r g ( v , u , Φ ( v , u ) ) K , h ( v , u ) d v d u
and
λ * ( g ) ( x , y , w ) = sup k , j Z sup r , s R + | | λ r , s k , j | * g ( x , y , w ) | ,
where | λ r , s k , j | is defined in the same way as λ r , s k , j but with replacing ℧ by | | .
The following lemma can be proved directly by the results in [22,23], see also [20].
Lemma 1.
Let P : R + R q be a function given by P ( t ) = ( c 1 t γ 1 , , c n t γ q ) , where c j s are real numbers and γ j s are distinct positive exponents (not necessarily integer). Define the maximal function related to P by
M P g ( z ) = sup h > 0 1 h 0 h g ( z P ( t ) ) d t .
Then, for all 1 < p , there exists a constant C p > 0 (independent of g and c j s ) such that
M P ( g ) L p ( R q ) C p g L p ( R q ) .
We shall need the following estimate from [24].
Lemma 2.
Let φ : R + R be a C 1 function such that φ is convex and increasing with φ ( 0 ) = 0 . Then, there exists a positive constant C such that the inequality
1 b e i ( 2 k t r + η φ ( 2 k t ) ) d t C 2 k r 1 / 2
holds for all b 1 , r , η R and k Z .
Lemma 3
([25]). Let Γ ( x ) = | α | d b α x α , where b α R . Then
[ 0 , 1 ] q e i Γ ( x ) d x C d , q 0 < | α | d b α 1 / d .
Now we need to prove the following lemma which will play a key role on proving our main results.
Lemma 4.
Let G α S m 1 × S n 1 for α > 1 / 2 and satisfy the conditions (1) and (2). Suppose that Φ is given as in any of Theorems 2–6. Then there is a real number C > 0 such that the inequalities
λ r , s k , j C ,
λ ^ r , s k , j ( ξ , ζ , η ) C min 2 k ξ , log | 2 k ξ | α ,
λ ^ r , s k , j ( ξ , ζ , η ) C min 2 j ζ , log | 2 j ζ | α
hold for all k , j Z and r , s > 0 , where λ r , s k , j stands for the total variation of λ r , s k , j .
Proof. 
By the definition of λ r , s k , j , it is easy to prove the inequality (10). Next, by Hölder’s inequality, we have
λ ^ r , s k , j ( ξ , ζ , η ) C 1 2 1 2 S m 1 × S n 1 e i { 2 k r t x · ξ + 2 j s y · ζ + Φ ( 2 k r t , 2 j s ) η }   × x , y d σ x d σ y d t d t   C S m 1 × S n 1 x , y 1 2 I k ( ξ , η , x , t ) d d σ x d σ y ,
where
I k ( ξ , η , x , t ) = 1 2 e i { 2 k r t x · ξ + Φ ( 2 k r t , 2 j s ) η } d t t .
Hence, we have
I k ( ξ , η , x , t ) = 1 2 e i { 2 k r t x · ξ + η 2 k r t D t Φ ( 0 , 2 j s ) + [ Φ ( 2 k r t , 2 j s ) 2 k r t D t Φ ( 0 , 2 j s ) ] η } d t t .
Now we need to consider several cases.
Case 1. If Φ is given as in Theorem 2, then by Lemma 2, we deduce that
I k ( ξ , η , x , t ) 2 k r ξ x · ξ + η ξ 1 D t Φ ( 0 , 2 j s ) 1 / 2 .
Let δ = min 2 , η ξ 1 D t Φ ( 0 , 2 j s ) s g n ( η D t Φ ( 0 , 2 j s ) ) . Combine the inequality (14) with the trivial estimate I k ( ξ , η , x , t ) 1 and use the fact that ( t / log α t ) is increasing over the interval ( 2 α , ) , we get that
I k ( ξ , η , x , t ) C log α ( 2 ξ · x + δ 1 ) log α 2 k r ξ i f | 2 k r ξ | > 2 α .
Thus, if n 3 , then by the additional assumption D t Φ ( 0 , 2 j s ) = 0 , we get δ = 0 . Hence,
I k ( ξ , η , x , t ) C log α ( 2 ξ · x 1 ) log α 2 k r ξ i f | 2 k r ξ | > 2 α .
Therefore, by (13) we acquire that
λ ^ r , s k , j ( ξ , ζ , η ) C log 2 k r ξ α S m 1 × S n 1 x , y log α ( 2 ξ · x 1 ) d σ x d σ y   C log 2 k r ξ α i f | 2 k r ξ | > 2 α .
Now, if n = 2 , then follow the argument similar to that in [26]; we may assume that δ > 0 . Set δ = min { 1 , δ } and θ = a r c s i n ( δ ) , and let e + denote the vector obtained by rotating ξ by angles θ and e denote the vector obtained by rotating ξ by angles θ . Then we conclude that a constant C 0 ( 0 , 1 ) exists such that
ξ · x + δ C 0 min { | x · e | 2 , | x · e + | 2 }
for x S 1 . So, the estimate in (16) holds and therefore (17) holds for the case n = 2 .
We notice her that the conclusions of this lemma when n = 2 , m = 2 are proved without the additional assumptions D t Φ ( 0 , ) = 0 and D Φ ( t , o ) = 0 .
In the same manner, we can prove that
λ ^ r , s k , j ( ξ , ζ , η ) C log 2 j s ζ α i f | 2 j s ζ | > 2 α .
Now by using the cancellation conditions on ℧, we get
λ ^ r , s k , j ( ξ , ζ , η ) C S m 1 × S n 1 x , y 1 2 J k ( ξ , η , x , t ) d d σ x d σ y   C 2 k r ξ ,
where
J k ( ξ , η , x , t ) = 1 2 e i { 2 k r t x · ξ + Φ ( 2 k r t , 2 j s ) η } e Φ ( 2 k r t , 2 j s ) η d t t .
Similarly, we obtain that
λ ^ r , s k , j ( ξ , ζ , η ) C 2 k r ξ .
Consequently, by (17)–(20), we finish the proof of this lemma for the first case.
We notice here that the proofs of (19)–(20) do not depend on Φ .
Case 2. If Φ is given as in Theorem 3. Notice that
Φ ( t , ) = j = 1 d 2 i = 1 d 1 a j , i t α i β j .
Hence, Φ ( t , ) can be written as
Φ ( t , ) = P ( t ) = i = 0 d 1 b i ( ) t α i
and
Φ ( t , ) = Q t ( ) = j = 0 d 2 c j ( t ) β j ,
where
b i ( ) = j = 0 d 2 a j , i β j a n d c j ( t ) = i = 0 d 1 a j , i t α i .
If α i 1 for all 1 i d 1 , then by Lemma 3, we get that
I k ( ξ , η , x , t ) 2 k ξ ( ξ · x ) 1 / d 1 .
So, by following the same argument as above, we get
λ ^ r , s k , j ( ξ , ζ , η ) log 2 k r ξ α i f | 2 k r ξ | > 2 α .
Consider α i 0 = 1 for some 1 i 0 d 1 . Since
I k ( ξ , η , x , t ) = 1 2 e i 2 k r t ξ { x · ξ + η ξ 1 b i 0 ( 2 j s ) + η i = 0 , i i 0 d 1 b i ( 2 j s ) ( 2 k r t ) ) α i } d t t ,
then by invoking Lemma 3 we obtain
I k ( ξ , η , x , t ) C 2 k r ξ x · ξ + η ξ 1 b i 0 ( 2 j s ) 1 / D t .
Set Y = min 2 , η ξ 1 b i 0 ( 2 j s ) s g n ( b i 0 ( 2 j s ) η ) . By combining (23) with the trivial estimate I k ( ξ , η , x , t ) 1 and using the fact that ( t / log α t ) is increasing over the interval ( 2 α , ) , we get
I k ( ξ , η , x , t ) C log α ( 2 ξ · x + Y 1 ) log α 2 k r ξ i f | 2 k r ξ | > 2 α .
When n 3 , by the additional condition D t Φ ( 0 , 2 j s ) = 0 , we deduce that Y = 0 ; which yields that
I k ( ξ , η , x , t ) C log α ( 2 ξ · x 1 ) log α 2 k r ξ i f | 2 k r ξ | > 2 α .
By the last estimate and (13) we get
λ ^ r , s k , j ( ξ , ζ , η ) C log 2 k r ξ α S m 1 × S n 1 x , y log α ( 2 ξ · x 1 ) d σ x d σ y   C log 2 k r ξ α i f | 2 k r ξ | > 2 α .
When n = 2 , we follow the same arguments similar to those in Case 1, we obtain (26).
Similarly, we have that
λ ^ r , s k , j ( ξ , ζ , η ) C log 2 j s ζ α i f | 2 j s ζ | > 2 α .
Case 3. This lemma can be proved for the other cases of Φ by following the same argument as in the proof adoptedfor the cases 1 and 2. We omit the details. □
Lemma 5.
Suppose that L 1 S m 1 × S n 1 and satisfies the conditions (1) and (2). Let Φ be given as in any one of Theorems 2–6. Then there exists C p > 0 such that
λ * ( g ) L p ( R m × R n × R ) C p g L p ( R m × R n × R ) .
We can easily prove this lemma by using iterated integration and using at least one of results in Corollary 5.3 in [24] or Lemma 1.

3. Proof of Main Theorems

Assume that G α S m 1 × S n 1 for some α > 1 / 2 and satisfies the conditions (1) and (2), and let Φ be given as in any of Theorems 2–6. Then by Minkowski’s inequality, we have
M , Φ ( g ) ( u , v , w ) = R + × R + j = 1 k = 1 2 j + k λ r , s k , j g ( u , v , w ) 2 d r d s r s 1 / 2   j = 1 k = 1 2 j + k R + × R + λ r , s 0 , 0 g ( u , v , w ) 2 d r d s r s 1 / 2   = 1 2 1 2 j Z k Z λ r , s k , j * g ( u , v , w ) 2 d r d s r s 1 / 2   1 2 1 2 j Z k Z λ r , s k , j * g ( u , v , w ) 2 d r d s 1 / 2 .
Choose two radial Schwartz functions Ψ 1 S ( R m ) and Ψ 2 S ( R n ) which satisfy the following properties:
(i)
0 Ψ 1 1 , 0 Ψ 2 1 ,
(ii)
supp ( Ψ 1 ) { u R m : 1 / 4 u 4 } , supp ( Ψ 2 ) { v R n : 1 / 4 v 4 } .
(iii)
a 1 Z ( Ψ 1 ( 2 a 1 r ) ) 2 = 1 , a 2 Z ( Ψ 2 ( 2 a 2 s ) ) 2 = 1 .
Define the multiplier operators { T a 1 , a 2 } on R m × R n × R by
T a 1 , a 2 ( g ) ^ ( ξ , ζ , η ) = Ψ 1 ( 2 a 1 ξ ) Ψ 2 ( 2 a 2 ζ ) g ^ ( ξ , ζ , η ) .
Thus for any g C 0 ( R m × R n × R ) , we have
g ( u , v , w ) = a 2 Z a 1 Z T a 1 , a 2 2 ( g ) ( u , v , w ) ,
which in turn by (29) leads to
M , Φ ( g ) ( u , v , w ) I ( g ) ( u , v , w ) ,
where
I ( g ) ( u , v , w ) = j Z k Z 1 2 1 2 a 1 Z a 2 Z T j a 1 , k a 2 λ r , s k , j T j a 1 , k a 2 ( g ) ( u , v , w ) 2 d r d s 1 / 2 .
Therefore, by Lemmas 4 and 5 and employing the same argument as in ([19], p. 301), we obtain
I ( g ) L p ( R m × R n × R ) C f L p ( R m × R n × R )
for all p ( 1 + 1 / ( 2 α ) , 1 + 2 α ) . Now the proof is complete by the last inequality and using (30).

4. Conclusions

In this paper, we proved the L p estimates for several types of functions of multiple Marcinkiewicz operators along surfaces of revolution. Precisely, we confirmed the boundedness of the aforementioned operators under very weak assumption on the kernels that is G α S m 1 × S n 1 for some α > 1 / 2 . The method employed in this paper is a combination of arguments and ideas taken from [8,12,19,20]. Our results cover several types of natural surfaces that were considered by many mathematicians in their studying singular integrals and double Hilbert transforms on product domains.

Author Contributions

Formal analysis and writing—original draft preparation: H.A.-Q. and M.A. All authors have read and agreed to the published version of the manuscript.

Funding

This work is partially supported by the deanship of research at Jordan University of Science and Technology (Research Grant No. 20230654).

Data Availability Statement

Data are contained within the article.

Acknowledgments

The authors would like to express their gratitude to the referees for their valuable comments and suggestions in improving writing this paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Stein, E. On the function of Littlewood–Paley, Lusin and Marcinkiewicz. Trans. Am. Math. Soc. 1958, 88, 430–466. [Google Scholar] [CrossRef]
  2. Benedek, A.; Calderón, A.; Panzones, R. Convolution operators on Banach space valued functions. Proc. Natl. Acad. Sci. USA 1962, 48, 356–365. [Google Scholar] [CrossRef] [PubMed]
  3. Ding, Y.; Fan, D.; Pan, Y. Lp boundedness of Marcinkiewicz integrals with Hardy space function kernel. Acta Math. 2000, 16, 593–600. [Google Scholar]
  4. Wu, H. Lp bounds for Marcinkiewicz integrals associated to surfaces of revolution. J. Math. Anal. Appl. 2006, 321, 811–827. [Google Scholar] [CrossRef]
  5. Ding, Y.; Fan, D.; Pan, Y. On the Lp boundedness of Marcinkiewicz integrals. Mich. Math. J. 2002, 50, 17–26. [Google Scholar] [CrossRef]
  6. Al-Qassem, H.; Pan, Y. On rough maximal operators and Marcinkiewicz integrals along submanifolds. Stud. Math. 2009, 190, 73–98. [Google Scholar] [CrossRef]
  7. Ali, M.; Al-Refai, O. Boundedness of Generalized Parametric Marcinkiewicz Integrals Associated to Surfaces. Mathematics 2019, 7, 886. [Google Scholar] [CrossRef]
  8. Chen, J.; Fan, D.; Pan, Y. A note on Marcinkiewicz Integral operator. Math. Nachr. 2001, 2777, 33–42. [Google Scholar] [CrossRef]
  9. Kim, W.; Wainger, S.; Wright, J.; Ziesler, S. Singular Integrals and Maximal Functions Associated to Surfaces of Revolution. Bull. Lond. Math. Soc. 1996, 28, 291–296. [Google Scholar] [CrossRef]
  10. Walsh, T. On the function of Marcinkiewicz. Studia Math. 1972, 44, 203–217. [Google Scholar] [CrossRef]
  11. Grafakos, L.; AStefanov, A. Lp bounds for singular integrals and maximal singular integrals with rough kernel. India. Univ. Math. J. 1998, 47, 455–469. [Google Scholar]
  12. Ding, Y.; Pan, Y. Lp bounds for Marcinkiewicz integral. Proce. Edinb. Math. Soc. 2003, 46, 669–677. [Google Scholar] [CrossRef]
  13. Ding, Y. L2-boundedness of Marcinkiewicz integral with rough kernel. Hokk. Math. J. 1998, 27, 105–115. [Google Scholar]
  14. Choi, Y. Marcinkiewicz integrals with rough homogeneous kernel of degree zero in product domains. J. Math. Anal. Appl. 2001, 261, 53–60. [Google Scholar] [CrossRef]
  15. Chen, J.; Ding, Y.; Fan, D. Lp boundedness of the rough Marcinkiewicz integral on product domains. Chin. J. Contemp. Math. 2000, 21, 47–54. [Google Scholar]
  16. Chen, J.; Fan, D.; Ying, Y. Rough Marcinkiewicz integrals with L(logL)2 kernels. Adv. Math. 2001, 30, 179–181. [Google Scholar]
  17. Ali, M.; Al-Qassem, H. On certain estimates for parabolic Marcinkiewicz integrals related to surfaces of revolution on product spaces and extrapolation. Axioms 2023, 12, 35. [Google Scholar] [CrossRef]
  18. Al-Qassem, H.; Ali, M. On the functions of Marcinkiewicz integrals along surfaces of revolution on product domains via extrapolation. Symmetry 2023, 15, 1814. [Google Scholar] [CrossRef]
  19. Wu, H.; Xu, J. Rough Marcinkiewicz integrals associated to surfaces of revolution on product domains. Acta Math. Sci. 2009, 29, 294–304. [Google Scholar]
  20. Al-Qassem, H.; Cheng, L.; Pan, Y. Rough singular integrals associated to surfaces of revolution on product spaces. J. Inequalities Appl. 2024. submitted. [Google Scholar]
  21. Hu, G.; Lu, S.; Yan, D. Lp( R m × R n ) boundedness of Marcinkiewicz integral on product spaces. Sci. China Ser. A 2003, 46, 75–82. [Google Scholar] [CrossRef]
  22. Stein, E.; Wainger, S. Problems in harmonic analysis related to curvature. Bull. Am. Math. Soc. 1978, 84, 1239–1295. [Google Scholar] [CrossRef]
  23. Ricci, F.; Stein, E. Multiparameter singular integrals and maximal functions. Ann. Inst. Fourier 1992, 42, 637–670. [Google Scholar] [CrossRef]
  24. Duoandikoetxea, J.; Rubio de Francia, J. Maximal and singular integral operators via Fourier transform estimates. Invent. Math. 1986, 84, 541–561. [Google Scholar] [CrossRef]
  25. Christ, A.; Wright, J. Multidimensional van der Corput and sublevel set estimates. J. Am. Math. Soc. 1999, 12, 981–1015. [Google Scholar]
  26. Cheng, L.; Pan, Y. Lp bounds for singular integrals associated to surfaces of revolution. J. Math. Anal. Appl. 2002, 265, 163–169. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Al-Qassem, H.; Ali, M. On Certain Rough Marcinkiewicz Integral Operators with Grafakos-Stefanov Kernels on Product Spaces. Symmetry 2024, 16, 955. https://doi.org/10.3390/sym16080955

AMA Style

Al-Qassem H, Ali M. On Certain Rough Marcinkiewicz Integral Operators with Grafakos-Stefanov Kernels on Product Spaces. Symmetry. 2024; 16(8):955. https://doi.org/10.3390/sym16080955

Chicago/Turabian Style

Al-Qassem, Hussain, and Mohammed Ali. 2024. "On Certain Rough Marcinkiewicz Integral Operators with Grafakos-Stefanov Kernels on Product Spaces" Symmetry 16, no. 8: 955. https://doi.org/10.3390/sym16080955

APA Style

Al-Qassem, H., & Ali, M. (2024). On Certain Rough Marcinkiewicz Integral Operators with Grafakos-Stefanov Kernels on Product Spaces. Symmetry, 16(8), 955. https://doi.org/10.3390/sym16080955

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop