Journal of Function Spaces
Volume 2015 (2015), Article ID 160635, 19 pages
http://dx.doi.org/10.1155/2015/160635

Research Article

Herz-Morrey-Hardy Spaces with Variable Exponents and Their Applications

Jingshi Xu and Xiaodi Yang

Department of Mathematics, Hainan Normal University, Haikou 571158, China

Received 5 July 2014; Accepted 20 December 2014

Academic Editor: Józef Banaś

Copyright © 2015 Jingshi Xu and Xiaodi Yang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

The authors introduce Herz-Morrey-Hardy spaces with variable exponents and establish the characterization of these spaces in terms of atom. Applying the characterization, the authors obtain the boundedness of some singular integral operators on these spaces.

1. Introduction

The Herz spaces go back to Beurling and Herz; see [1, 2]. Firstly, they attracted a lot of authors’ attention because they could be used to characterize Fourier multipliers for Hardy spaces; see [3]. Then, in 1989 Chen and Lau in [4] and García-Cuerva in [5] introduced now called nonhomogeuous Herz type Hardy spaces. They found that these Herz type Hardy spaces have a decomposition via central atoms. After that, Lu et al. considered homogeuous Herz type Hardy spaces and also obtained a central atomic decomposition for them. Since then Herz type spaces have been studied extensively; see monograph [6] for details. Meanwhile, in the last three decades, the interest of the study for variable exponent spaces has been increasing year by year. Variable exponent spaces have many applications: in electrorheological fluid [7], in differential equations [8] and references therein, and in image restoration [9–11], for instance. Indeed, many spaces with variable exponents appeared, such as: Lebesgue spaces, Sobolev spaces and Bessel potential spaces with variable exponent, Besov and Triebel-Lizorkin spaces with variable exponents, Morrey spaces with variable exponents, Campanato spaces with variable exponent, and Hardy spaces with variable exponent; see [12–23] and references therein. Moreover, the atomic, molecular, and wavelet decompositions of variable exponent Besov and Triebel-Lizorkin spaces were given in [13, 14, 20, 21, 24]. The duality and reflexivity of spaces and were discussed in [25]. The atomic and molecular decompositions of Hardy spaces with variable exponent and their applications for the boundedness of singular integral operators were obtained in [22, 26].

Recently, as a generalization of Lebesgue spaces with variable exponent, Herz spaces with variable exponents are introduced. In fact, in 2010 Izuki proved the boundedness of sublinear operators on Herz space with variable exponents and in [27]. In 2012, Almeida and Drihem obtained boundedness results for a wide class of classical operators on Herz spaces and in [28]. Shi and the first author in [29] considered Herz type Besov and Triebel-Lizorkin spaces with one variable exponent. Then Dong and first author in [30] established the boundedness of vector-valued Hardy-Littlewood maximal operator in spaces and and gave characterizations of Herz type Besov and Triebel-Lizorkin spaces with variable exponents by maximal functions. In [31], Wang and Liu introduced a certain Herz type Hardy spaces with variable exponent. In 2013, Samko introduced Herz spaces with three variable exponents and obtained the boundedness of Hardy-Littlewood maximal operator on them. In [32–34], the boundedness of singular integrals and their commutators of BMO functions are discussed in Herz Morrey spaces with variable exponents. The Herz-Morrey spaces with constants were considered in [35, 36]; however, there is no theory of Herz-Morrey type Hardy spaces. In this paper we fill the gap and introduce Herz-Morrey-Hardy spaces with variable exponents.

The outline of the paper is as follows. In the rest of the section we will recall some definitions and notions. In Section 2, we will define the Herz-Morrey-Hardy spaces with variable exponents and and give their atomic characterization. In Section 3, we obtain that certain singular integral operators are bounded from Herz-Morrey-Hardy spaces with variable exponents into Herz-Morrey spaces with variable exponents as an application of the atomic characterization.

Throughout this paper denotes the Lebesgue measure and the characteristic function for a measurable set . For a multi-index , we denote . We also use the notation if there exists a constant such that . If and we will write . Finally we claim that is always a positive constant but it may change from line to line.

Definition 1. Let be a measurable set in with . Let be a measurable function. Denote

where , and

Then is a Banach space with the norm .

Let be the collection of all locally integrable functions on . Given a function , the Hardy-Littlewood maximal operator is defined by

where and what follows . We also use the following notation: and . The set consists of all satisfying and . is the set of satisfying the condition that is bounded on . It is well known that if satisfies the following global log-Hölder continuous then ; see [37–42].

Definition 2. Let be a real-valued function on . If there exists such that, for all , ,

then is said local log-Hölder continuous on .
If there exists , such that for all ,

then is said log-Hölder continuous at origin.
If there exist and a constant such that for all

then is said log-Hölder continuous at infinity.
If is both local log-Hölder continuous and log-Hölder continuous at infinity, then is said global log-Hölder continuous.

The sets of log-Hölder continuous functions, log-Hölder continuous functions at origin, log-Hölder continuous functions at infinity, global log-Hölder continuous are denoted by , , , and , respectively.

We denote by the conjugate exponent to , which means . It is also well known that is equivalent to ; see [39].

For simplicity, we denote by . We will use the following results.

Lemma 3 (see [43]). Let . If and , then is integrable on and

where .

Lemma 4 (see [27]). Let . Then there exist , , and a positive constant depending only on and such that for all balls in and all measurable subsets ,

Lemma 5 (see [27]). Let . Then there exists a positive constant such that, for any ball in ,

To give the definition of Herz-Morrey spaces with variable exponents, let us introduce the following notations. Let , , , , and . The symbol denotes the set of all nonnegative integers. For , we denote if and .

Definition 6. Let , , and . Let be a bounded real-valued measurable function on . The homogeneous Herz-Morrey space and nonhomogeneous Herz-Morrey space are defined, respectively, by

where

Here there is the usual modification when .

Proposition 7. Let , , and . If , then

Proposition 7 is the generalization of Herz spaces with variable exponents in [28], and it was used in [33, 34].

Lemma 8. Let , , and . Let be bounded and log-Hölder continuous both at the origin and at infinity such that , where , are constants in Lemma 4. Suppose that is a sublinear and bounded operator on satisfying size condition

for all with compact support and a.e. . Then there exists a positive constant such that

for any function belongs to and , respectively.

Lemma 8 is the generalization of Herz spaces with variable exponents in [28]. For a proof, see [33].

2. The Atomic Characterization

In this section, we will introduce Herz-Morrey-Hardy spaces with variable exponents and . To do this, we need to recall some notations. denotes the Schwartz space of all rapidly decreasing infinitely differentiable functions on , and denotes the dual space of . Let be the grand maximal function of defined by

where and and is the nontangential maximal operator defined by

The grand maximal operator was firstly introduced by Fefferman and Stein in [44] to study classical Hardy spaces. For classical Hardy spaces, one can also see [45–47]. Nakai and Sawano generalized them to variable exponent case in [22].

Definition 9. Let , , , , and . The homogeneous Herz-Morrey-Hardy space with variable exponents and nonhomogeneous Herz-Morrey-Hardy space with variable exponents are defined, respectively, by

Remark 10. If and , these spaces were considered by Wang and Liu in [31]. If and are constant and , these are the classical Herz type Hardy spaces; see [6].

Let for and for . Then there exists such that for all . Therefore, by [46, Proposition in Page 57], there exists such that for all . This means that satisfies the size condition in Lemma 8. By Lemma 8, if and , then

Thus we are interested in the case , . In this case, we will establish a characterization of the spaces and in terms of central atom. For we denote by the largest integer less than or equal to .

Definition 11. Let and be log-Hölder continuous both at the origin and infinity, and nonnegative integer ; here , if , and , if , and as in Lemma 4.

(i)A function on is called a central -atom, if it satisfies supp ; (2) ; (3) , .(ii)A function on is called a central -atom of restricted type, if it satisfies supp , ; (2) ; (3) , .

Remark 12. If and are constant, then taking we recover the classical case in [6].

Theorem 13. Let , , , and be log-Hölder continuous both at the origin and infinity, , , , and as in Lemma 4.

(i) if and only if in the sense of , where each is a central -atom with support contained in and . Moreover,

 where the infimum is taken over all above decompositions of .(ii) if and only if in the sense of, where each is a central -atom of restricted type with support contained in and . Moreover

 where the infimum is taken over all above decompositions of .

Proof. We only prove (i). The proof of (ii) is similar. We use the ideas in [6]. To prove the necessity, we choose such that , , and . For , let , . For each , set , . It is obvious that and in . Let be a radial smooth function such that with , for . Let for and

Observe that and for . Obviously, , . Let

Then for . For each , we denote by the class of all the real polynomials with the degree less than . Let be the unique polynomial satisfying

Write

For the term , let and , where and is a constant which will be chosen later. Note that , .
Now we estimate . To do this, let be the orthogonal polynomials restricted to with respect to the weight , which are obtained from by the Gram-Schmidt method, which means

where for , otherwise 0.
It is easy to see that for . On the other hand, from we infer that

Thus, we deduce a.e. That is, almost everywhere for . Therefore for . By the generalized Hölder inequality we have

By Lemma 5 we have

Choose ; then and each is a central -atom with support contained in . Here and below we abuse and it is well defined in Definition 11. Thus,

Now we estimate . By the condition of and Proposition 7 we consider it in two cases.
Case 1 (). Consider

Case 2 (). Consider

Hence,

It remains to estimate . Let be the dual basis of with respect to the weight on , that is,

Similar to the method of [48], let

We write

where

and is a constant which will be chosen later. Note that

By a computation we have

Since

it follows that

Take . It is easy to show that each is a central -atom with support contained in , and

where is a constant independent of , , , and . Moreover, we have

Using the same argument as before for , we obtain

Therefore,

Thus, we obtain that

where each is a central -atom with support contained in , is independent of and

where is independent of and .
Since

by the Banach-Alaoglu theorem we obtain a subsequence of converging in the weak topology of to some . It is easy to verify that is a central -atom supported on . Next, since

another application of the Banach-Alaoglu theorem yields a subsequence of which converges weak in to a central -atom with support in . Furthermore,

Similarly, there exists a subsequence of which converges weak in to some , and is a central -atom supported on . Repeating the above procedure for each , we can find a subsequence of converging weak in to some which is a central -atom supported on . By using the diagonal method we obtain a subsequence of such that, for each , in the weak topology of and therefore in .
Now we only need to prove that in the sense of . For each , note that . Using the same argument in [48], we have

Recall that . If , then by Lemmas 3 and 4 we have

If , let such that ; then by Lemmas 4 and 3 again we have

Let

Then

which implies that

This establishes the identity we wanted.
To prove the sufficiency, for convenience, we denote . Firstly we have

where

Now we have

To estimate , , and we need a pointwise estimate for on , where . Let , such that . Denote by the th order Taylor series expansion of at . If , then from the vanishing moment condition of we have

where . Since for , we have . From and , we have

Thus,

Therefore, we have

To proceed, we consider them into two cases and .
If ,

Then we turn to estimate :

Third, we estimate :

If , we have

Second, we estimate . As the same argument before, we obtain that

Third, we estimate . We have

Thus, we finish the proof of Theorem 13.

3. Applications

As an application of the atomic decompositions, we will prove the following result.

Theorem 14. Let , , , and be log-Hölder continuous both at the origin and infinity, , , , nonnegative integer and , and as in Lemma 4. If a sublinear operator satisfies that

(i) is bounded on ;(ii)there exists a constant such that , and for any compact support function with

satisfies the size condition

Then there exists a constant such that

for and , respectively.

Proof. It suffices to prove the homogeneous case. Suppose . By Theorem 13, converges in , where each is a central -atom with support contained in and

For simplicity, we denote . By Proposition 7, we have

where

To complete our proof, we only need show that there exists a positive constant such that .
First, we estimate :

By the boundedness of in , we have

Therefore, when , we get

When , let and we obtain

So, we have .
Second, we estimate . By (71) and Lemma 3, we get

So by Lemmas 3 and 4, we have

Therefore, when , by we get

When , let . Since , by Hölder’s inequality, we have

Hence, we have .
Third, we estimate . Consider

When , we get

When , let and we obtain

For , when , by we get

When , let . Since , by Hölder’s inequality, we have

So, we have .
Finally, we estimate :

When , by the boundedness of in , we have

When , by the boundedness of in and Hölder’s inequality, we have

When , by , we get

When , let . Since , , by Hölder’s inequality, we have

Thus we have . This finishes the proof of Theorem 14.

Definition 15. Let be a locally integrable function on . Then is called a standard kernel if there exist and , such that

A linear operator is called a Calderón-Zygmund operator associated to a standard kernel if

(i) can be extended to a bounded operator on ;(ii)for any with compact support and almost everywhere ,

It is well known that a Calderón-Zygmund operator is also bounded in for any ; for example, see [38].

Corollary 16. Let be a bounded and log-Hölder continuous both at the origin and infinity such that , with as in Lemma 4. Suppose is a Calderón-Zygmund operator associated to a standard kernel . If , , and , then there exists a constant such that

for and , respectively.

Proof. It is easy to know that when and . Then the result follows from Theorem 14.

Remark 17. For Hardy type spaces, there are some characterizations: maximal function, square function, atomic decomposition, and molecular decomposition. To discuss the boundedness of singular integrals in Hardy type spaces, we use the atomic decomposition for the domain Hardy space, while it is convenient to use another characterization of Hardy space for the target Hardy space; for example, see the proof of Theorem in [49] and [50, 51]. In a future paper, we will give the molecular decomposition of spaces and . Then, by the atomic and molecular decompositions, we will obtain the boundedness of in Corollary 16 from and into themselves, respectively.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work was supported by the NSF of China (Grant no. 11361020). The authors express their thanks to the referee for the useful comments.

References

A. Beurling, “Construction and analysis of some convolution algebras,” Annales de L'Institut Fourier Grenoble, vol. 14, pp. 1–32, 1964.

C. S. Herz, “Lipschitz spaces and Bernstein's theorem on absolutely convergent Fourier transforms,” vol. 18, pp. 283–324, 1968.

A. Baernstein II and E. Sawyer, “Embedding and multiplier theorems for ,” Memoirs of the American Mathematical Society, vol. 59, no. 318, 1985.

Y. Z. Chen and K.-S. Lau, “Some new classes of Hardy spaces,” Journal of Functional Analysis, vol. 84, no. 2, pp. 255–278, 1989.

J. García-Cuerva, “Hardy spaces and Beurling algebras,” Journal of the London Mathematical Society, vol. 39, no. 3, pp. 499–513, 1989.

S. Lu, D. Yang, and G. Hu, Herz Type Spaces and Their Applications, Science Press, Beijing, China, 2008.

M. Ruzicka, Electrorheological Fluids: Modeling and Mathematical Theory, vol. 1748 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 2000.

P. Harjulehto, P. Hästö, Ú. V. Lê, and M. Nuortio, “Overview of differential equations with non-standard growth,” Nonlinear Analysis: Theory, Methods & Applications, vol. 72, no. 12, pp. 4551–4574, 2010.

Y. Chen, S. Levine, and M. Rao, “Variable exponent, linear growth functionals in image restoration,” SIAM Journal on Applied Mathematics, vol. 66, no. 4, pp. 1383–1406, 2006.

F. Li, Z. Li, and L. Pi, “Variable exponent functionals in image restoration,” Applied Mathematics and Computation, vol. 216, no. 3, pp. 870–882, 2010.

P. Harjulehto, P. Hästö, V. Latvala, and O. Toivanen, “Critical variable exponent functionals in image restoration,” Applied Mathematics Letters, vol. 26, no. 1, pp. 56–60, 2013.

A. Almeida, J. Hasanov, and S. Samko, “Maximal and potential operators in variable exponent Morrey spaces,” Georgian Mathematical Journal, vol. 15, no. 2, pp. 195–208, 2008.

A. Almeida and P. Hästö, “Besov spaces with variable smoothness and integrability,” Journal of Functional Analysis, vol. 258, no. 5, pp. 1628–1655, 2010.

L. Diening, P. Hästö, and S. Roudenko, “Function spaces of variable smoothness and integrability,” Journal of Functional Analysis, vol. 256, no. 6, pp. 1731–1768, 2009.

B. Dong and J. Xu, “New Herz type Besov and Triebel-Lizorkin spaces with variable exponents,” Journal of Function Spaces and Applications, vol. 2012, Article ID 384593, 27 pages, 2012.

X. Fan, “Variable exponent Morrey and Campanato spaces,” Nonlinear Analysis, vol. 72, no. 11, pp. 4148–4161, 2010.

J.-J. Fu and J.-S. Xu, “Characterizations of Morrey type Besov and Triebel-Lizorkin spaces with variable exponents,” Journal of Mathematical Analysis and Applications, vol. 381, no. 1, pp. 280–298, 2011.

P. Gurka, P. Harjulehto, and A. Nekvinda, “Bessel potential spaces with variable exponent,” Mathematical Inequalities & Applications, vol. 10, no. 3, pp. 661–676, 2007.

P. A. Hästö, “Local-to-global results in variable exponent spaces,” Mathematical Research Letters, vol. 16, no. 2, pp. 263–278, 2009.

H. Kempka, “2-microlocal Besov and Triebel-Lizorkin spaces of variable integrability,” Revista Matematica Complutense, vol. 22, no. 1, pp. 227–251, 2009.

H. Kempka, “Atomic, molecular and wavelet decomposition of generalized 2-microlocal Besov spaces,” Journal of Function Spaces and Applications, vol. 8, no. 2, pp. 129–165, 2010.

E. Nakai and Y. Sawano, “Hardy spaces with variable exponents and generalized Campanato spaces,” Journal of Functional Analysis, vol. 262, no. 9, pp. 3665–3748, 2012.

J. Xu, “Variable Besov and Triebel-Lizorkin spaces,” Annales Academiæ Scientiarum Fennicæ Mathematica, vol. 33, no. 2, pp. 511–522, 2008.

J.-S. Xu, “An atomic decomposition of variable Besov and Triebel-Lizorkin spaces,” Armenian Journal of Mathematics, vol. 2, no. 1, pp. 1–12, 2009.

T. Noi, “Duality of variable exponent Triebel-Lizorkin and Besov spaces,” Journal of Function Spaces and Applications, vol. 2012, Article ID 361807, 19 pages, 2012.

Y. Sawano, “Atomic decompositions of Hardy spaces with variable exponents and its application to bounded linear operators,” Integral Equations and Operator Theory, vol. 77, no. 1, pp. 123–148, 2013.

M. Izuki, “Boundedness of sublinear operators on Herz spaces with variable exponent and application to wavelet characterization,” Analysis Mathematica, vol. 36, no. 1, pp. 33–50, 2010.

A. Almeida and D. Drihem, “Maximal, potential and singular type operators on Herz spaces with variable exponents,” Journal of Mathematical Analysis and Applications, vol. 394, no. 2, pp. 781–795, 2012.

C. Shi and J. Xu, “Herz type Besov and Triebel-Lizorkin spaces with variable exponent,” Frontiers of Mathematics in China, vol. 8, no. 4, pp. 907–921, 2013.

B. Dong and J. Xu, “New Herz type Besov and Triebel-Lizorkin spaces with variable exponents,” Journal of Function Spaces and Applications, vol. 2012, Article ID 384593, 27 pages, 2012.

H. Wang and Z. Liu, “The Herz-type Hardy spaces with variable exponent and their applications,” Taiwanese Journal of Mathematics, vol. 16, no. 4, pp. 1363–1389, 2012.

Z.-H. Xuan and L.-S. Shu, “Boundedness of higher order commutators on Herz-Morrey spaces with variable exponent,” Journal of Nanjing University Mathematical Biquarterly, vol. 30, no. 2, pp. 188–196, 2013.

Y. Lu and Y. P. Zhu, “Boundedness of multilinear Calderón-Zygmund singular operators on Morrey-Herz spaces with variable exponents,” Acta Mathematica Sinica (English Series), vol. 30, no. 7, pp. 1180–1194, 2014.

C. Tang, Q. Wu, and J. Xu, “Commutators of multilinear Calderón-Zygmund operator and BMO functions in Herz-Morrey spaces with variable exponents,” Journal of Function Spaces, vol. 2014, Article ID 162518, 12 pages, 2014.

W. Gao, Y. Jiang, and X. Gong, “Boundedness of linear commutators on Herz-Morrey spaces on spaces of homogeneous type,” Chinese Quarterly Journal of Mathematics, vol. 25, no. 2, pp. 172–181, 2010.

X. Q. Zhao and W. H. Gao, “Boundedness of sublinear operators on Herz-Morrey spaces,” Applied Mathematics. A Journal of Chinese Universities. Series A, vol. 20, no. 1, pp. 55–62, 2005.

D. V. Cruz-Uribe and A. Fiorenza, Variable Lebesgue Spaces, Applied and Numerical Harmonic Analysis, Birkhäuser, Heidelberg, Germany, 2013.

D. Cruz-Uribe, A. Fiorenza, C. Martell, and C. Perez, “The Boundedness of classical operators on variable spaces,” Annales Academiae Scientiarum Fennicae—Mathematica, vol. 31, pp. 239–264, 2006.

D. Cruz-Uribe, A. Fiorenza, and C. J. Neugebauer, “The maximal function on variable spaces,” Annales Academiæ Scientiarum Fennicæ Mathematica, vol. 28, no. 1, pp. 223–238, 2003.

L. Diening, “Maximal function on generalized lebesgue spaces ,” Mathematical Inequalities and Applications, vol. 7, no. 2, pp. 245–253, 2004.

L. Diening, P. Harjulehto, P. Hasto, and M. Ruzicka, Lebesgue and Sobolev Spaces with Variable Exponents, Springer, Berlin, Germany, 2011.

A. Nekvinda, “Hardy-littlewood maxell operator on ,” Mathematical Inequalities and Applications, vol. 7, no. 2, pp. 255–265, 2004.

O. Kovacik and J. Rakosnik, “On spaces and ,” Czechoslovak Mathematical Journal, vol. 41, no. 4, pp. 592–681, 1991.

C. Fefferman and E. M. Stein, “ spaces of several variables,” Acta Mathematica, vol. 129, no. 1, pp. 137–193, 1972.

L. Grafakos, Classical Fourier Analysis, Springer, New York, NY, USA, 2008.

E. M. Stein, Harmonic Analysis, Princeton University Press, Princeton, NJ, USA, 1993.

A. Torchinsky, Real-Variable Methods in Harmonic Analysis, Academic Press, New York, NY, USA, 1986.

S. Lu and D. Yang, “The local versions of () spaces at the origin,” Studia Mathematica, vol. 116, pp. 103–131, 1995.

L. Grafakos, Modern Fourier Analysis, Springer, New York, NY, USA, 2009.

M. H. Taibleson and G. Weiss, “The molecular characterization of certain Hardy spaces,” Astérisque, vol. 77, pp. 67–149, 1980.

P. Rocha and M. Urciuolo, “Fractional type integral operators on variable Hardy spaces,” Acta Mathematica Hungarica, vol. 143, no. 2, pp. 502–514, 2014.