Skip to main content

The boundedness of Fourier transform on the Herz type amalgams and Besov spaces

Abstract

In this paper, using the Young inequality as regards the Herz space, the authors obtain the boundedness of the Fourier transform on the Herz type amalgams and Besov spaces. As corollaries, the authors get the estimates of the Fourier transform on the weighted amalgams and Besov spaces.

MSC:42B10, 42B35.

1 Introduction

One of the central problems in classic harmonic analysis is the study of the boundedness of Fourier transform on a given function space. A basic result is the Hausdorff-Young inequality and its various extensions and generalizations. Here and below we define the Fourier transform of f L 1 L p to be

Ff(x)= R n f(y) e i y x dy.

When 1p2, is bounded from L p to L p . If the spaces are weighted Lebesgue spaces or Herz spaces, the following results are proved (see [14]).

Theorem A If 1<p2 and 0α< 1 p , then

( R n | F f | p | x | α n p d x ) 1 p c ( R n | f | p | x | α n p d x ) 1 p .

Theorem B If 1<p2 and 0α< 1 p , then

F f K ˙ 2 α , p c f K ˙ p α , p .

Here K ˙ q α , p denotes a Beurling-Herz space.

In [5], the authors give a result as regards the Young theorem for amalgams and Besov spaces.

Theorem C (1) Let 1p2, 0<q and sR. Then

F: ( L p , l q ( z s ) ) B p , q s n ( 1 p 1 q ) + .
  1. (2)

    Let 1p2, 0<q and sR. Then

    F: B p , q s ( L p , l q ( z s n ( 1 q 1 p ) + ) ) .

Inspired by Theorem B and Theorem C, in this paper, we discuss the boundedness as regards the Fourier transform on the Herz type amalgams and the Besov spaces. In Section 2, we give the definition of function spaces. The main theorems and their proofs are contained in Section 3.

2 Function spaces

In this section, we give the definition of function spaces that we work on. Let S=S( R n ) and S = S ( R n ) be a Schwartz space and its dual space.

Definition 2.1 (Weighted Lebesgue spaces)

Let ω(x) be a nonnegative function, L p (ω)={f(x) f L p ( w ) <}, where

f L p ( w ) = ( R n | f | p ω ( x ) d x ) 1 p .

Now we give the definitions as regards Herz spaces.

Definition 2.2 Suppose <α<, 0<p, 0<q. The Herz space K ˙ q α , p is defined by

K ˙ q α , p = { f L loc q ( R n { 0 } ) : f K q α , p < } ,

where X B k (x)= X C k C k 1 (x), C k ={x R n :|x| 2 k },

f K ˙ q α , p = { k = 2 k α q f χ B k L p q } 1 / q .

The usual modification should be made when p= or q= (see [6]).

In order to define the Herz type Besov space, we need the following Littlewood-Paley function (see [5, 7]).

Definition 2.3 Let ϕ 0 , ϕ 1 S be even functions satisfying the following condition:

X [ 2 , 2 ] n ϕ 0 X [ 4 , 4 ] n , X [ 4 , 4 ] n [ 2 , 2 ] n ϕ 1 X [ 8 , 8 ] n [ 1 , 1 ] n .

We set ϕ j (x)= ϕ 1 ( 2 j + 1 x) for j2.

For f S , we denote ϕ j (D)f= F 1 ( ϕ j Ff). Now let us introduce the Herz type Besov spaces (see [8]).

Definition 2.4 Let <α<, 0<p<, 1q<, and <s<, 0<r; then we define

K ˙ q α , p B r s = { f S | f K ˙ q α , p B r s = { i = 0 2 i s r ϕ j ( D ) f K ˙ q α , p r } 1 / r < } .

Obviously, the definition of the Herz-Besov space is independent of the choice of ϕ 0 , ϕ 1 and K ˙ p 0 , p B r s = B p , r s , standard Besov spaces. More information as regards the Besov space and Herz type Besov spaces can be found in [7, 912].

Definition 2.5 (Herz type amalgam space)

Let <α<, 0<p<, 1q<, sR, and 0<r. Set Q z =z+ [ 0 , 1 ] n , the translation of the unit cube. For a Lebesgue locally integrable function f we define

f ( K ˙ q α , p , l r ( z s ) ) = { z s f X Q z K ˙ q α , p } l r ,

where z= | z | 2 + 1 . ( K ˙ q α , p , l r ( z s )) is the set of all locally integrable functions f for which the quasi-norm f ( K ˙ q α , p , l r ( z s ) ) <.

If α=0 and p=q in Definition 2.5, then the Herz type amalgam space is also an amalgam space ( L p , l r ( z s )) (see [5, 13, 14]).

3 Main theorems and proofs

In this section we formulate our main theorems and proofs.

Theorem 3.1 Let 1<p2, 0<q, 0α< 1 p and sR. Then the Fourier transform is bounded from the Herz type amalgam space ( K ˙ p α , p , l q ( z s )) to the Herz type Besov space K ˙ 2 α , p B q s n ( 1 p 1 q ) + . Here and below, for aR we write a + =max{a,0}.

Proof of Theorem 3.1 If we note that the lift operator ( I ) t 2 is bounded from K ˙ u α , p B q s to K ˙ u α , p B q s t (see [8]) and the following multiplication operator is an isomorphism:

f ( K ˙ q α , p , l r ( z s ) ) t f ( K ˙ q α , p , l r ( z s t ) ) ,

we can assume s=0.

Let A j =supp( ϕ j ), j N 0 , where ϕ j is the Littlewood-Paley function. Using the Young inequality F f K ˙ 2 α , p c f K ˙ p α , p , we obtain

2 j n ( 1 p 1 q ) + ϕ j ( D ) F f K ˙ 2 α , p 2 j n ( 1 p 1 q ) + ϕ j F F f K ˙ p α , p c 2 j n ( 1 p 1 q ) + ϕ j f ( x ) K ˙ p α , p c 2 j n ( 1 p 1 q ) + X A j f K ˙ p α , p .

But

X A j f ( x ) K ˙ p α , p q ( k = 2 k α p X B k X A j f p p ) q p c ( k = 2 k α p z Z n X B k X Q z X A j f p p ) q p c ( z Z n ( k = 2 k α p X B k X Q z X A j f p p ) ) q p c ( | z | 2 j n X Q z X A j f K ˙ p α , p p ) q p c 2 j n ( q p 1 ) + | z | 2 j n X Q z X A j f K ˙ p α , p q ,

where we use the inequality ( j = 1 L | a j | ) q p L ( q p 1 ) + j = 1 L | a j | q p (see [5]).

If we put these estimates together, we have

{ 2 j n ( 1 p 1 q ) + ϕ j ( D ) F f K ˙ 2 α , p } l q c { ( z X A j X Q z f K ˙ p α , p q ) 1 q } l q c ( z j X A j X Q z f K ˙ p α , p q ) 1 q .

Given z Z n , from the definition of the ϕ j , there are at most three j such that A j Q z . So we have

{ 2 j n ( 1 p 1 q ) + ϕ j ( D ) F f K ˙ 2 α , p } l q c ( z j X A j X Q z f K ˙ p α , p q ) 1 q c ( z X Q z f K ˙ p α , p q ) 1 q c f ( K ˙ p α , p , l q ( z s ) ) .

This is the desired result. □

Theorem 3.2 Let 1<p2, 0<q, 0α< 1 p and sR. Then the Fourier transform is bounded from the Herz type Besov space K ˙ p α , p B q s to the Herz type amalgams space ( K ˙ 2 α , p , l q ( z s n ( 1 q 1 p ) + )).

Proof of Theorem 3.2 As before, we assume s=0. Let | z | =max{| z 1 |,,| z n |}. By the definition of the Herz type amalgam space, we have

F f ( K ˙ 2 α , p , l q ( z n ( 1 q 1 p ) + ) ) q { 2 j n q ( 1 q 1 p ) + | z | 2 j n F f K ˙ 2 α , p q } l 1 .

When | z | 2 j , from the definition of B k , there are at most three k (k=j1,j,j+1) such that Q z B k . If | z 1 | ,, | z i | 2 j and Q z 1 Q z i =, we have

X Q z 1 F f K ˙ 2 α , p p + + X Q z i F f K ˙ 2 α , p p c k = j 1 j + 1 2 k α p X Q z 1 X B k F f p p + + c k = j 1 j + 1 2 k α p X Q z i X B k F f p p = c k = j 1 j + 1 2 k α p X Q z 1 Q z i X B k F f p p = c X Q z 1 Q z i F f K ˙ 2 α , p p .

Using the above inequality and i = 1 L | a i | q p L ( 1 q p ) + ( i = 1 L | a i | ) q p (see [5]) we have

2 j n q ( 1 q 1 p ) + | z | 2 j n F f K ˙ 2 α , p q 2 j n q ( 1 q 1 p ) + | z | 2 j n F f K ˙ 2 α , p p q p ( | z | 2 j n F f K ˙ 2 α , p p ) q p X B j F f K ˙ 2 α , p q .

So

F f ( K ˙ 2 α , p , l q ( z n ( 1 q 1 p ) + ) ) { X B j F f K ˙ 2 α , p } l q c { ϕ j F f K ˙ 2 α , p } l q c { ϕ j ( D ) f K ˙ p α , p } l q c f K ˙ p α , p B q 0 .

This proves Theorem 3.2. □

We note that K ˙ p α , p = L p ( | x | α ) (see [2]) and K ˙ 2 α , p K ˙ q α , p , q2. Then we have the following.

Corollary 3.3 Let 1<p2, 0<q, 0α< 1 p , and sR. Then the Fourier transform is bounded from the weighted amalgam space ( L p ( | x | α ), l q ( z s )) to the weighted Besov space B p , q s n ( 1 p 1 q ) + ( | x | α ).

Corollary 3.4 Let 1<p2, 0<q, 0α< 1 p , and sR. Then the Fourier transform is bounded from the weighted Besov space B p , q s ( | x | α ) to the weighted amalgam space ( L p ( | x | α ), l q ( z s n ( 1 q 1 p ) + )).

If q=p and s=0 in Theorem 3.1, we have the following.

Corollary 3.5 Let 1<p2 and 0α< 1 p . Then the Fourier transform is bounded from the Herz space K ˙ p α , p to the Herz type Besov space K ˙ 2 α , p B p 0 .

Next we deduce some necessary condition as regards the boundedness of the Fourier transform.

Proposition 3.6 Let 1 p 1 , 0< p 2 , q 1 , q 2 , u 1 , u 2 , α 1 0, and α 2 , s 1 , s 2 R. If

F f K ˙ u 2 α 2 , p 2 B q 2 s 2 c f ( K ˙ u 1 α 1 , p 1 , l q 1 ( z s 1 ) ) ,

then p 1 p 2 .

Proof of Proposition 3.6 Let θS be an even function with X B ( 0 , 1 4 ) θ X B ( 0 , 1 2 ) . We take f(x)= | x | α 1 θ, g(x)= | x | α 1 (1θ). So F(f+g)(x)=c | x | α 1 n . Since | x | 2 v Fg(x)=F( ( Δ ) v g)(x)<c (v1), it follows that |Fg(x)|c | x | 2 v . From this we have |Ff(x)| | x | α 1 n (x).

Since suppfB(0, 1 2 ), we have f ( K ˙ u 1 α 1 , p 1 , l q 1 ( z s 1 ) ) f K ˙ u 1 α 1 , p 1 . But f X B k p 1 2 k p 1 α 1 k . So

f K ˙ u 1 α 1 , p 1 ( k = 1 2 k α 1 u 1 f X B k p 1 u 1 ) 1 u 1 k = 1 2 k u 1 1 p 1 .

That is to say, f( K ˙ u 1 α 1 , p 1 , l q 1 ( z s 1 )) if and only if α 1 p 1 <n. F f K ˙ u 2 α 2 , p 2 B q 2 s 2 < forces p 2 (n a 1 )>n. From this it follows that n p 1 n n p 2 , which is equivalent to p 1 p 2 . □

Proposition 3.7 Let 1 p 1 , 0< p 2 , q 1 , q 2 , u 1 , u 2 , α 1 0, and α 2 , s 1 , s 2 R. If

F f K ˙ u 2 α 2 , p 2 B q 2 s 2 c f ( K ˙ u 1 α 1 , p 1 , l q 1 ( z s 1 ) ) ,

then s 2 α 1 + α 2 + s 1 + n q 1 n p 2 .

Proof of Proposition 3.7 We estimate ϕ j ( K ˙ u 1 α 1 , p 1 , l q 1 ( z s 1 ) ) and F ϕ j K ˙ u 2 α 2 , p 2 B q 2 s 2 . We have

ϕ j ( K ˙ u 1 α 1 , p 1 , l q 1 ( z s 1 ) ) = ( z z s 1 q 1 ϕ j X Q z K ˙ u 1 α 1 . p 1 q 1 ) 1 q 1 ϕ j ( K ˙ u 1 α 1 , p 1 , l q 1 ( z s 1 ) ) = ( k j + 1 2 k s 1 q 1 | z | 2 k ϕ j X Q z K ˙ u 1 α 1 . p 1 q 1 ) 1 q 1 ϕ j ( K ˙ u 1 α 1 , p 1 , l q 1 ( z s 1 ) ) ( k j + 1 2 k s 1 q 1 | z | 2 k 2 k α 1 q 1 ) 1 q 1 ϕ j ( K ˙ u 1 α 1 , p 1 , l q 1 ( z s 1 ) ) ( k j + 1 2 k s 1 q 1 2 k n 2 k α 1 q 1 ) 1 q 1 2 j ( s 1 + α 1 + n q 1 ) , F ϕ j K ˙ u 2 α 2 , p 2 B q 2 s 2 2 j s 2 F ϕ j K ˙ u 2 α 2 , p 2 F ϕ j K ˙ u 2 α 2 , p 2 B q 2 s 2 2 j s 2 2 j n F ϕ 1 ( 2 j 1 x ) K ˙ u 2 α 2 , p 2 F ϕ j K ˙ u 2 α 2 , p 2 B q 2 s 2 2 j s 2 2 j n 2 j ( α 2 + n p 2 ) F ϕ 1 ( x ) K ˙ u 2 α 2 , p 2 F ϕ j K ˙ u 2 α 2 , p 2 B q 2 s 2 2 j ( s 2 α 2 + n p 2 ) .

Here we use f ( λ x ) K ˙ q α , p = λ ( α + n p ) f K ˙ q α , p (see [15]); through 2 j ( s 2 α 2 + n p 2 ) 2 j ( s 1 + α 1 + n q 1 ) we have s 2 α 1 + α 2 + s 1 + n q 1 n p 2 . This completes the proof of Proposition 3.7. □

References

  1. Stein EM: Interpolation of linear operators. Trans. Am. Math. Soc. 1956, 83: 482-492. 10.1090/S0002-9947-1956-0082586-0

    Article  Google Scholar 

  2. Herz C: Lipschitz spaces and Bernstein’s theorem on absolutely convergent Fourier series. J. Math. Mech. 1968, 18: 283-324.

    MathSciNet  Google Scholar 

  3. Kurtz DS:Littlewood-Paley and multiplier theorems on weighted L p spaces. Trans. Am. Math. Soc. 1980, 259: 235-254.

    MathSciNet  Google Scholar 

  4. Taibleson MH: On the theory of Lipschitz spaces of distributions on Euclidean n -space. I. Principal properties. J. Math. Mech. 1964, 13: 407-479.

    MathSciNet  Google Scholar 

  5. Sawano Y, Yoneda T: On the Young theorem for amalgams and Besov spaces. Int. J. Pure Appl. Math. 2007,36(2):197-205.

    MathSciNet  Google Scholar 

  6. Lu S, Yang D: The decomposition of the weighted Herz spaces and its applications. Sci. China Ser. A 1995,38(2):147-158.

    MathSciNet  Google Scholar 

  7. Triebel H Monographs in Math. 78. In Theory of Function Spaces. Birkhäuser, Basel; 1983.

    Chapter  Google Scholar 

  8. Xu J, Yang D: Herz-type Triebel-Lizorkin spaces I. Acta Math. Sin. 2005,21(3):643-654. 10.1007/s10114-004-0424-1

    MathSciNet  Article  Google Scholar 

  9. Triebel H Monographs in Math. In Theory of Function Spaces II. Birkhäuser, Basel; 1992.

    Chapter  Google Scholar 

  10. Hedberg L, Netrusov Y: An axiomatic approach to function spaces, spectral synthesis and Luzin approximation. Mem. Am. Math. Soc. 2007. Article ID 882, 188: Article ID 882

    Google Scholar 

  11. Liang Y, Yang D, Yuan W, Sawano Y, Ullrich T: A new framework for generalized Besov-type and Triebel-Lizorkin-type spaces. Diss. Math. 2013, 489: 1-114.

    MathSciNet  Google Scholar 

  12. Ho K: Littlewood-Paley spaces. Math. Scand. 2011, 108: 77-102.

    MathSciNet  Google Scholar 

  13. Holland F: Harmonic analysis on amalgams. J. Lond. Math. Soc. (2) 1975, 10: 295-305.

    Article  Google Scholar 

  14. Fournier JJF: On the Hausdorff-Young theorem for amalgams. Monatshefte Math. 1983, 95: 117-135. 10.1007/BF01323655

    MathSciNet  Article  Google Scholar 

  15. Miyachi A: Remarks on Herz-type Hardy spaces. Acta Math. Sin. Engl. Ser. 2001, 17: 339-360. 10.1007/s101140100104

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

Project (Grant Nos. 11261055, 11161044) was supported by NSFC, and SF of Xinjiang (Grant Nos. 2011211A005, BS120104).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yonghui Cao.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved 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

Verify currency and authenticity via CrossMark

Cite this article

Zhou, J., Cao, Y. The boundedness of Fourier transform on the Herz type amalgams and Besov spaces. J Inequal Appl 2014, 296 (2014). https://doi.org/10.1186/1029-242X-2014-296

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords

  • Fourier transform
  • Herz-Besov space
  • Herz-amalgam space
  • weighted