Skip to main content

Hypersingular integral operators on modulation spaces for 0<p<1

Abstract

The purpose of this paper is to investigate the mapping properties of the hypersingular integral operators on general weighted modulation spaces M s p , q ( R n ) for 0<p<1. Our results show that modulation spaces are good substitutions for Lebesgue spaces.

MSC:42B20, 42B25.

1 Introduction

The modulation spaces M p , q , p,q[1,] were first introduced by Feichtinger in [10] and [11]. Their classical definition is based on the notion of short time Fourier transform (STFT). Recently, Kobayashi [15] extended the classical definition to general case for 0<p,q. For the more general definitions, involving different kinds of weight functions, both in the time and the frequency variables, we refer the readers to [13]. During the last ten years, modulation spaces have not only become useful function spaces for time-frequency analysis, they have also been employed to study boundedness properties of pseudo-differential operators, Fourier multipliers, Fourier integral operators and well-posedness of solutions to PDE’s. For more details of the applications of these spaces, the readers can see [13, 9, 12, 16, 1821] and references therein.

In this paper, we are mainly concerned about the boundedness of the hypersingular integral operators along curves on weighted modulation spaces M s p , q ( R n ) for 0<p<1, 0<q and sR. From our results, we will see that modulation spaces are good substitutions for Lebesgue spaces.

Suppose α,β>0 and

K α (x)= e i | x | β | x | n + α η(x),for x R n {0},
(1.1)

where η(x) is a smooth, compactly supported, radial function which is equal to 1 in the unit ball.

Define the convolution operator

Tf(x)=( K α f)(x),for f C 0 ( R n ) .
(1.2)

It is well known that the L p -boundedness of the operator T defined by (1.2) is closely related to the values of the parameters α and β. In [23], Wainger proved that T is a bounded operator on L 2 if and only if α n β 2 . Interpolating this result with the result of weak type (1,1), Wainger obtained the L p -boundedness of the operator T. Inspired by Wainger, in [7], the authors considered the mapping properties of the operator T on weighted modulation M s p , q ( R n ) for 1p, 0<q and sR. In this paper, we extend such result to the case 0<p<1. Our result is as follows.

Theorem 1.1 Assume 0<α β 2 . Then the operator T defined by (1.2) is bounded on weighted modulation spaces M s p , q ( R n ) for 0<p<1, 0<q and sR.

The hypersingular integral operator along curves which is defined by

T α , β f(x,y)= p . v . 1 1 f ( x t , y γ ( t ) ) e 2 π i | t | β t | t | α dt
(1.3)

has been studied by many mathematicians (see [46, 8, 17, 22, 24]), where x,yR and α,β>0. This operator is initially studied by Zielinski in his PhD thesis (see [24]). He showed that if γ(t)= t 2 , then T α , β is bounded on L 2 ( R 2 ) if and only if β3α. This result was later improved by Chandrana in [4]. He considered the general homogeneous curves γ(t)= | t | k or γ(t)= | t | k sgnt for k2 and proved that if β>3α>0, then the operator T α , β is bounded on L p ( R 2 ) for

1+ 3 α ( β + 1 ) β ( β + 1 ) + ( β 3 α ) <p< β ( β + 1 ) + ( β 3 α ) 3 α ( β + 1 ) +1.

Recently, in [8], the authors have considered the mapping properties of the operator T α , β defined by (1.3) on weighted modulation spaces M s p , q ( R n ) for 1p, 0<q and sR. For the case 0<p<1, we prove the following result.

Theorem 1.2 Let γ(t)= | t | k or γ(t)= | t | k sgnt for k2 and the operator T α , β be defined by (1.3). If β3α, then the operator T α , β is bounded on M s p , q ( R 2 ) for 0<p<1, 0<q and sR.

In [5], the authors extended the results of [4] and [24] to high dimensions. They investigated the L p -boundedness of the operator

T n , α , β f(x)= p . v . 1 1 f ( x Γ θ ( t ) ) e 2 π i | t | β t | t | α dt,
(1.4)

where θ=( θ 1 , θ 2 ,, θ n ) and

Γ θ (t)= ( θ 1 | t | p 1 , θ 2 | t | p 2 , , θ n | t | p n ) orsgnt ( θ 1 | t | p 1 , θ 2 | t | p 2 , , θ n | t | p n ) .

They proved that T n , α , β is bounded on L 2 ( R n ) if and only if β(n+1)α. While β>(n+1)α, the operator T n , α , β is bounded on L p ( R n ) for 2 β 2 β ( n + 1 ) α <p< 2 β ( n + 1 ) α . Inspired by Chen, Fan, Wang and Zhu, the authors of [8] investigated the boundedness of the operator defined by (1.4) on modulation spaces M s p , q ( R n ) for 1p, 0<q and sR. While for 0<p<1, we prove the following result.

Theorem 1.3 Suppose that p 1 , p 2 ,, p n are distinct positive numbers and the operator T n , α , β is defined as (1.4). If β(n+1)α, then T n , α , β is bounded on M s p , q ( R n ) for 0<p<1, 0<q and sR.

Obviously, Theorem 1.1 is the extension of Theorem 1.2 in [7]. Theorems 1.2 and 1.3 are respectively the extensions of Theorems 1.1 and 1.2 in [8].

In what follows, we always denote C to be a positive constant that may be different at each place, but independent of the essential variables.

This paper is organized as follows. In Section 2, we give the definitions and basic properties of modulation spaces. Section 3 is devoted to the proofs of our main results.

2 Basic definition and important lemma

The following notations will be used throughout this paper. Let S( R n ) be the Schwartz space of all complex-valued rapidly decreasing infinitely differentiable functions on R n and S ( R n ) be the topological dual of S( R n ). For a function f in S( R n ), its Fourier transform is defined by f ˆ (ω)=f(t) e 2 π i ω t dt, and its inverse Fourier transform is f ˇ (t)= f ˆ (t). The translation and the modulation operators are defined by

T x f(t)=f(tx)and M ω f(t)= e 2 π i ω t f(t)

for every x,ω R n . For sR and x R n , the weight function x s = ( 1 + | x | 2 ) s 2 .

Let g be a non-zero Schwartz function and 1p,q and sR, the weighted modulation space M s p , q ( R n ) is defined as the closure of the Schwartz class with respect to the norm

f M s p , q = ( R n ( R n | V g f ( x , w ) | p d x ) q p w s q d w ) 1 q ,

with obvious modifications for p or q=, where V g f(x,w) is the so-called short time Fourier transform (STFT), which is defined by

V g f(x,w)=f, M ξ T x g= e 2 π i w y f(y) g ( y x ) ¯ dy,

i.e., the Fourier transform F applied to f T x g ¯ .

Recently, the above definition has been generated by Kobayashi in [15] to the case 0<p,q. In his definition, the function g is restricted to the space Φ δ ( R n ), which is defined by

Definition 2.1 For δ>0, we define Φ δ ( R n ) to be the spaces of all gS( R n ) satisfying

supp g ˆ { ξ : | ξ | 1 } and k Z n g ˆ (ξδk)=1.

We may choose a sufficiently small δ, such that the function space Φ δ ( R n ) is not empty.

Definition 2.2 Given a g Φ δ ( R n ), and 0<p,q, sR, we define the modulation space M s p , q ( R n )to be the space of all tempered distributions f S ( R n ) such that the quasi-norm

f M s p , q = ( R n ( R n | f ( M w g ) ( x ) | p d x ) q p w s q d w ) 1 q

is finite, with obvious modifications for p or q=.

The following basic properties of modulation spaces, which play important roles in this article, can be found in [14] and [15].

Lemma 2.1 Let 0<p,q and g Φ δ ( R n ). Then

  1. (1)

    Different test functions g 1 , g 2 Φ δ ( R n ) define the same space and equivalent quasi-norms on M s p , q ( R n ).

  2. (2)

    Let 0< p 0 p 1 and 0< q 0 q 1 , then

    M s p 0 , q 0 ( R n ) M s p 1 , q 1 ( R n ) .
  3. (3)

    If 0<p,q<, then S( R n ) is dense in M s p , q ( R n ).

To prove our main results, we need the definition of the Wiener amalgam space W(F L p , L ).

Definition 2.3 Let g Φ δ ( R n ) and 0<p<, we define W(F L p , L ) to be the space of all tempered distributions f S ( R n ) such that

f W ( F L p , L ) = sup x R n ( R n | ( f T x g ˆ ) ( w ) | p d w ) 1 p <.

Lemma 2.2 Let 0<p< and K=2([ n 2 p ]+1). Define the space B K by

B K = { f C K ( R n ) | | α | K α f L < } .

Then B K W(F L p , L ).

The proof of Lemma 2.2 can be found in [16].

Lemma 2.3 Let 0<p<1, 0<q and sR. If σW(F L p , L ), then the multiplier operator σ(D) defined by

σ(D)f(x)=σ(ξ) f ˆ (ξ) e 2 π i x ξ dξ

is bounded on weighted modulation spaces M s p , q ( R n ).

The proof of Lemma 2.3 can be found in [3], we omit here.

3 Proof of the main results

In this section, we will prove our main results. Firstly, we come to the proof of Theorem 1.1.

Proof of Theorem 1.1 Our convolution operator T, which is defined by Tf(x)=( K α f)(x), may be realized on the transform side as a Fourier multiplier operator

T f ˆ (ξ)=m(ξ) f ˆ (ξ),

where

m(ξ)= K α ˆ (ξ)= R n K α (x) e 2 π i x ξ dx.

By Lemma 2.3, it suffices to prove m(ξ)W(F L p , L ). In accordance with Lemma 2.2, if we can prove γ m L C for all |γ|2([ n 2 p ]+1), then we get the result. For |γ|=0, in [23], Wainger proved that m L C if and only if α n β 2 . Thus when α β 2 , we also have m L C. Therefore, in the following, we only need to prove γ m L C for all α β 2 and 0<|γ|2([ n 2 p ]+1).

Differentiating the function m(ξ), and using the polar coordinate transformation, we have

γ m ( ξ ) = ( 2 π i ) | γ | R n x γ | x | n α e i | x | β η ( x ) e 2 π i x ξ d x = ( 2 π i ) | γ | S n 1 ( x ) γ 0 r | γ | α 1 η ( r ) e i [ r β 2 π r x ξ ] d r d x .

Denote I( x ,ξ)= 0 r | γ | α 1 η(r) e i [ r β 2 π r x ξ ] dr. Choose θ C 0 (R) supported in [ 1 2 ,2] such that j = 0 θ( 2 j r)=1 for all r. We can rewrite I( x ,ξ) as

I ( x , ξ ) = j = 0 0 r | γ | α 1 η(r)θ ( 2 j r ) e i [ r β 2 π r x ξ ] dr.

Set s= 2 j r, then

I ( x , ξ ) = j = 0 2 j ( | γ | α ) 1 2 2 r | γ | α 1 η ( 2 j r ) θ ( r ) e i [ 2 j β r β 2 j + 1 π r x ξ ] d r = j = 0 2 j ( | γ | α ) I j ( x , ξ ) .

Let ϕ(r)= 2 j β r β 2 j + 1 πr x ξ, then ϕ (r)=β 2 j β r β 1 2 j + 1 π x ξ and ϕ (r)=β(β+1) 2 j β r β 2 C 2 j β for all r[ 1 2 ,2]. By Van der Corput lemma, we get

| I j ( x , ξ ) | C 2 j β 2 .

Therefore,

| I ( x , ξ ) | C j = 0 2 j ( | γ | α ) 2 j β 2 =C j = 0 2 j | γ | 2 j ( β 2 α ) C.

Then for all α β 2 and 0<|γ|2([ n 2 p ]+1), we have γ m L C. The proof of Theorem 1.1 is completed. □

Next, we give the proof of Theorem 1.2.

Proof of Theorem 1.2 Using Fourier transformation, the operator T α , β can be written as

T α , β f ˆ ( ξ 1 , ξ 2 )= m α , β ( ξ 1 , ξ 2 ) f ˆ ( ξ 1 , ξ 2 ),

where

m α , β ( ξ 1 , ξ 2 ) = p . v . 1 1 e 2 π i [ ξ 1 t + ξ 2 γ ( t ) ] e 2 π i | t | β t | t | α d t = 0 1 e 2 π i [ ξ 1 t + ξ 2 t k ] e 2 π i t β t 1 + α d t 0 1 e 2 π i [ ξ 1 t ξ 2 t k ] e 2 π i t β t 1 + α d t = m α , β + ( ξ 1 , ξ 2 ) m α , β ( ξ 1 , ξ 2 ) .

In the following, we only need to consider m α , β + ( ξ 1 , ξ 2 ), the other half can be dealt with similarly. Take l=( l 1 , l 2 ) N 2 , then, by Lemma 2.2 and Lemma 2.3, it suffices to prove

l m α , β + L C

for all |l|2([ 1 p ]+1). Firstly, we consider the case 0<|l|2([ 1 p ]+1). Differentiate m α , β + ( ξ 1 , ξ 2 ), and then

ξ l m α , β + ( ξ 1 , ξ 2 ) = l 1 + l 2 = | l | C l 1 , l 2 ξ 1 l 1 ξ 2 l 2 m α , β + ( ξ 1 , ξ 2 ) = l 1 + l 2 = | l | C l 1 , l 2 0 1 ( 2 π i t ) l 1 ( 2 π i t k ) l 2 e 2 π i [ ξ 1 t + ξ 2 t k ] e 2 π i t β t 1 + α d t = l 1 + l 2 = | l | C l 1 , l 2 ( 2 π i ) l 1 + l 2 0 1 t l 1 + k l 2 α 1 e 2 π i [ ξ 1 t + ξ 2 t k + t β ] d t .

Denote

I= 0 1 t l 1 + k l 2 α 1 e 2 π i [ ξ 1 t + ξ 2 t k + t β ] dt

and

ϕ(s)= ξ 1 s+ ξ 2 s k + s β ,G(t)= 0 t e 2 π i ϕ ( s ) ds,

then I= 0 1 t l 1 + k l 2 α 1 G (t)dt.

The following proof will be decomposed into two cases.

Case 1. ξ 2 >0. Then the first and second derivative of ϕ about s is

ϕ (s)= ξ 1 +k ξ 2 s k 1 β s β 1

and

ϕ (s)=k(k1) ξ 2 s k 2 +β(β+1) s β 2 β(β+1) s β 2

for k2 and s(0,1).

By Van der Corput lemma, we get |G(t)|C t β + 2 2 and

| I | C t l 1 + k l 2 α 1 t β + 2 2 | 0 1 + C | l 1 + k l 2 α 1 | 0 1 t β + 2 2 t l 1 + k l 2 α 2 d t = C t β 2 α 2 + l 1 + k l 2 | 0 1 + C 0 1 t β 2 α 2 + l 1 + k l 2 1 d t C

for all β3α.

Case 2. ξ 2 <0. In this case, the third derivative of ϕ satisfies

ϕ (s)=k(k1)(k2) ξ 2 s k 3 β(β+1)(β+2) s β 3 β(β+1)(β+2) s β 3

for all k2. Van der Corput lemma indicates that |G(t)|C t β + 3 3 . Thus for 0<|l|2([ 1 p ]+1), we have

| I | C t β + 3 3 t l 1 + k l 2 α 1 | 0 1 + C 0 1 t β + 3 3 t l 1 + k l 2 α 2 d t = C t β 3 α 3 + l 1 + k l 2 | 0 1 + C 0 1 t β 3 α 3 + l 1 + k l 2 1 d t C

for β3α.

Hence | ξ l m α , β + ( ξ 1 , ξ 2 )|C for all 0<|l|2([ 1 p ]+1). Using the same methods, we can also prove | ξ l m α , β ( ξ 1 , ξ 2 )|C for all 0<|l|2([ 1 p ]+1). Thus for all 0<|l|2([ 1 p ]+1), we have ξ l m α , β L C. While for |l|=0, in [24], Zielinski proved that m α , β L C if and only if β3α. Therefore, for all β3α and |l|2([ 1 p ]+1), we have ξ l m α , β L C, and then m α , β ( ξ 1 , ξ 2 )W(F L p , L ).

By Lemma 2.3, we complete the proof of Theorem 1.2. □

Finally, we turn our attention to the proof of Theorem 1.3.

Proof of Theorem 1.3 By checking our proof in the following, we can assume Γ(t)=( t p 1 , t p 2 ,, t p n ) and consider the operator

T n , α , β = 0 1 f ( x Γ ( t ) ) e 2 π i t β t 1 + α dt.

Using Fourier transformation, we get the Fourier multiplier of the operator T n , α , β is

m(ξ)= 0 1 e 2 π i [ ξ Γ ( t ) + t β ] d t t 1 + α .

Denote l=( l 1 , l 2 ,, l n ) N n {0} such that j = 1 n l j =|l|, then

ξ l m ( ξ ) = ξ 1 l 1 ξ 2 l 2 ξ n l n m ( ξ 1 , ξ 2 , , ξ n ) = ( 2 π i ) | l | 0 1 t p 1 l 1 + p 2 l 2 + + p n l n e 2 π i [ ξ 1 t p 1 + ξ 2 t p 2 + + ξ n t p n + t β ] d t t 1 + α .

Set δ= j = 1 n p j l j , then

ξ l m(ξ)= ( 2 π i ) | l | 0 1 e 2 π i [ ξ Γ ( t ) + t β ] d t t 1 + α δ .

So ξ l m(ξ) is the Fourier multiplier of the operator T n , α δ , β . Using the same methods as in [5], when β(n+1)α(n+1)(αδ), ξ l m ( ξ ) L C for all |l|2([ n 2 p ]+1). By Lemma 2.2, we finish the proof of Theorem 1.3. □

References

  1. Bényi A, Grafakos L, Gröchenig K, Okoudjou KA: A class of Fourier multipliers for modulation spaces. Appl. Comput. Harmon. Anal. 2005, 19: 131–139. 10.1016/j.acha.2005.02.002

    MathSciNet  Article  MATH  Google Scholar 

  2. Bényi A, Gröchenig K, Okoudjou KA, Rogers LG: Unimodular Fourier multipliers for modulation spaces. J. Funct. Anal. 2007, 246: 366–384. 10.1016/j.jfa.2006.12.019

    MathSciNet  Article  MATH  Google Scholar 

  3. Bényi A, Okoudjou KA: Local well-posedness of nonlinear dispersive equations on modulation spaces. Bull. Lond. Math. Soc. 2009, 41: 549–558. 10.1112/blms/bdp027

    MathSciNet  Article  MATH  Google Scholar 

  4. Chandarana S: L p -bounds for hyper-singular integral operators along curves. Pac. J. Math. 1996, 175: 389–416.

    MathSciNet  Article  MATH  Google Scholar 

  5. Chen J, Fan D, Wang M, Zhu X: L p bounds for oscillatory hyper Hilbert transforms along curves. Proc. Am. Math. Soc. 2008, 136: 3145–3153. 10.1090/S0002-9939-08-09325-8

    MathSciNet  Article  MATH  Google Scholar 

  6. Chen J, Fan D, Zhu X:Sharp L 2 -boundedness of the oscillatory hyper Hilbert transform along curves. Acta Math. Sin. Engl. Ser. 2010, 26: 653–658.

    MathSciNet  Article  MATH  Google Scholar 

  7. Cheng M, Zhang Z: Strongly singular convolution operators on modulation spaces. Int. J. Wavelets Multiresolut. Inf. Process. 2011, 9: 759–772. 10.1142/S0219691311004304

    MathSciNet  Article  MATH  Google Scholar 

  8. Cheng M, Zhang Z: Hypersingular integrals along homogeneous curves on modulation spaces. Acta Math. Sin. Chin. Ser. 2010, 53: 531–540.

    MATH  Google Scholar 

  9. Cordero E, Nicola F: Some new Strichartz estimates for the Schrödinger equation. J. Differ. Equ. 2008, 245: 1945–1974. 10.1016/j.jde.2008.07.009

    MathSciNet  Article  MATH  Google Scholar 

  10. Feichtinger HG: Banach spaces of distributions of Wiener’s type and interpolation. Ins. Ser. Num. Math. 69. In Proc. Conf. Oberwolfach, Functional Analysis and Approximation, August 1980. Edited by: Butzer P, Nagy BS, Görlich E. Birkhäuser, Basel; 1981:153–165.

    Google Scholar 

  11. Feichtinger, HG: Modulation spaces on locally compact abelian groups. Technical report, University of Vienna, Vienna (1983)

    Google Scholar 

  12. Feichtinger HG, Narimani G: Fourier multipliers of classical modulation spaces. Appl. Comput. Harmon. Anal. 2006, 21: 349–359. 10.1016/j.acha.2006.04.010

    MathSciNet  Article  MATH  Google Scholar 

  13. Gröchenig K: Foundations of Time-Frequency Analysis. Birkhäuser, Boston; 2001.

    Book  MATH  Google Scholar 

  14. Kobayashi M: Dual of modulation spaces. J. Funct. Spaces Appl. 2007, 5: 1–8. 10.1155/2007/348637

    MathSciNet  Article  MATH  Google Scholar 

  15. Kobayashi M:Modulation spaces M p , q for 0<p,q. J. Funct. Spaces Appl. 2006, 4: 329–341. 10.1155/2006/409840

    MathSciNet  Article  MATH  Google Scholar 

  16. Kobayashi M: Multipliers on modulation spaces. SUT J. Math. 2006, 42: 305–312.

    MathSciNet  MATH  Google Scholar 

  17. Laghi N, Lyall N: Strongly singular integrals along curves. Pac. J. Math. 2007, 233: 403–415. 10.2140/pjm.2007.233.403

    MathSciNet  Article  MATH  Google Scholar 

  18. Okoudjou K: Embeddings of some classical Banach spaces into the modulation spaces. Proc. Am. Math. Soc. 2004, 132: 1639–1647. 10.1090/S0002-9939-04-07401-5

    MathSciNet  Article  MATH  Google Scholar 

  19. Sugimoto M, Tomia N: Boundedness property of pseudo-differential operators and Calderón-Zygmund operators on modulation spaces. J. Fourier Anal. Appl. 2007, 248: 79–106.

    Google Scholar 

  20. Toft J: Continuity properties for modulation spaces, with applications to pseudo-differential calculus. I. J. Funct. Anal. 2004, 207: 399–429. 10.1016/j.jfa.2003.10.003

    MathSciNet  Article  MATH  Google Scholar 

  21. Wang B, Hudzik H: The global Cauchy problem for the NLS and NLKG with small rough data. J. Differ. Equ. 2007, 232: 36–73. 10.1016/j.jde.2006.09.004

    MathSciNet  Article  MATH  Google Scholar 

  22. Wang M, Chen J, Fan D: On certain oscillatory operators along curves. Chin. Ann. Math., Ser. A 2007, 28: 1–10. 10.1007/s11401-006-0195-3

    MathSciNet  Article  MATH  Google Scholar 

  23. Wainger S Memoirs of the AMS 59. In Special Trigonometric Series in k Dimensions. Am. Math. Soc., Providence; 1965.

    Google Scholar 

  24. Zielinski, M: Highly oscillatory singular integrals along curves. PhD thesis, University of Wisconsin, Madison (1995)

    Google Scholar 

Download references

Acknowledgements

The author would like to thank Professor Zhenqiu Zhang in Nankai University for his valuable comments and suggestions. This work is supported by the National Nature Science Foundation of China (No. 10971039) and NNSF (No. KJ2011A138, No. KJ2012A133) of Anhui Province in China.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Meifang Cheng.

Additional information

Competing interests

The author declares that they have no competing interests.

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

Cheng, M. Hypersingular integral operators on modulation spaces for 0<p<1. J Inequal Appl 2012, 165 (2012). https://doi.org/10.1186/1029-242X-2012-165

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords

  • hypersingular integral operator
  • modulation space
  • Fourier multiplier