Journal of Function Spaces

Volume 2015, Article ID 419532, 7 pages

http://dx.doi.org/10.1155/2015/419532

## Hardy-Littlewood-Sobolev Inequalities on -Adic Central Morrey Spaces

Department of Mathematics, Linyi University, Linyi, Shandong 276005, China

Received 21 October 2014; Accepted 15 December 2014

Academic Editor: Yoshihiro Sawano

Copyright © 2015 Qing Yan Wu and Zun Wei Fu. 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

We establish the Hardy-Littlewood-Sobolev inequalities on -adic central Morrey spaces. Furthermore, we obtain the -central BMO estimates for commutators of -adic Riesz potential on -adic central Morrey spaces.

#### 1. Introduction

Let . The Riesz potential operator is defined by setting, for all locally integrable functions on , where . It is closely related to the Laplacian operator of fractional degree. When and , is a solution of Poisson equation . The importance of Riesz potentials is owing to the fact that they are smooth operators and have been extensively used in various areas such as potential analysis, harmonic analysis, and partial differential equations. For more details about Riesz potentials one can refer to [1].

This paper focuses on the Riesz potentials on -adic field. In the last 20 years, the field of -adic numbers has been intensively used in theoretical and mathematical physics (cf. [2–12]). And it has already penetrated intensively into several areas of mathematics and its applications, among which harmonic analysis on -adic field has been drawing more and more concern (see [13–22] and references therein).

For a prime number , the field of -adic numbers is defined as the completion of the field of rational numbers with respect to the non-Archimedean -adic norm , which satisfies if and only if ; ; . Moreover, if , then . It is well-known that is a typical model of non-Archimedean local fields. If any nonzero rational number is represented as , where and integers , are indivisible by , then .

The space consists of points , where , . The -adic norm on is Denote by the ball of radius with center at and by the sphere of radius with center at , where . It is clear that

It is well-known that is a classical kind of locally compact Vilenkin groups. A locally compact Vilenkin group is a locally compact Abelian group containing a strictly decreasing sequence of compact open subgroups such that (1) and and (2) . For several decades, parallel to the -adic harmonic analysis, a development was under way of the harmonic analysis on locally compact Vilenkin groups (cf. [23–25] and references therein).

Since is a locally compact commutative group under addition, it follows from the standard analysis that there exists a Haar measure on , which is unique up to a positive constant factor and is translation invariant. We normalize the measure by the equality where denotes the Haar measure of a measurable subset of . By simple calculation, we can obtain that for any . We should mention that the Haar measure takes value in ; there also exist -adic valued measures (cf. [26, 27]). For a more complete introduction to the -adic field, one can refer to [22] or [10].

On -adic field, the -adic Riesz potential [22] is defined by where , , . When , Haran [4, 28] obtained the explicit formula of Riesz potentials on and developed analytical potential theory on . Taibleson [22] gave the fundamental analytic properties of the Riesz potentials on local fields including , as well as the classical Hardy-Littlewood-Sobolev inequalities. Kim [18] gave a simple proof of these inequalities by using the -adic version of the Calderón-Zygmund decomposition technique. Volosivets [29] investigated the boundedness for Riesz potentials on generalized Morrey spaces. Like on Euclidean spaces, using the Riesz potential with and , one can introduce the -adic Laplacians [13].

In this paper, we will consider the Riesz potentials and their commutators with -adic central BMO functions on -adic central Morrey spaces. Alvarez et al. [30] studied the relationship between central BMO spaces and Morrey spaces. Furthermore, they introduced -central BMO spaces and central Morrey spaces, respectively. In [31], we introduce their -adic versions.

*Definition 1. *Let and . The -adic central Morrey space is defined by
where .

*Remark 2. *It is clear that
When , the space reduces to ; therefore, we can only consider the case . If , by Hölder’s inequality,
for .

*Definition 3. *Let and . The space is defined by the condition

*Remark 4. *When , the space is just , which is defined in [32]. If , by Hölder’s inequality,
for . By the standard proof as that in , we can see that

*Remark 5. *Formulas 9 and 12 yield that is a Banach space continuously included in .

Here we introduce the -adic weak central Morrey spaces.

*Definition 6. *Let and . The -adic weak central Morrey space is defined by
where .

In Section 2, we will get the Hardy-Littlewood-Sobolev inequalities on -adic central Morrey spaces. Namely, under some conditions for indexes, is bounded from to and is also bounded from to . In Section 3, we establish the boundedness for commutators generated by and -central BMO functions on -adic central Morrey spaces.

Throughout this paper the letter will be used to denote various constants, and the various uses of the letter do not, however, denote the same constant.

#### 2. Hardy-Littlewood-Sobolev Inequalities

We get the following Hardy-Littlewood-Sobolev inequalities on -adic central Morrey spaces.

Theorem 7. *Let be a complex number with and let , , , and .*(i)*If , then is bounded from to .*(ii)*If , then is bounded from to .*

*In order to give the proof of this theorem, we need the following result.*

*Lemma 8 (see [22]). Let be a complex number with and let satisfy .(i)If , , then
where is independent of .(ii)If , , then
where is independent of .*

*Proof of Theorem 7. *Let be a function in . For fixed , denote by .(i)If , write

For , since and , by Lemma 8,
For , we firstly give the following estimate. For , by Hölder’s inequality, we have
The last inequality is due to the fact that . Consequently,
The above estimates imply that
(ii)If , set and ; by Lemma 8, we have

On the other hand, by the same estimate as 30, we have
Then using Chebyshev’s inequality, we obtain
Since
we get
Therefore,
for any and . This completes the proof.

*For application, we now introduce a pseudo-differential operator defined by Vladimirov in [33].*

*The operator is defined as convolution of generalized functions and :
where and .*

*Let us consider the equation
where is the space of linear continuous functionals on and here denotes the set of locally constant functions on . A complex-valued function defined on is called locally constant if for any point there exists an integer such that
*

*The following lemma (page 154 in [10]) gives solutions of 30.*

*Lemma 9. For any solution of 30 is expressed by the formula
where is an arbitrary constant; for a solution of 30 is unique and it is expressed by formula 32 for .*

*Combining with Theorem 7, we obtain the following regular property of the solution.*

*Corollary 10. Let and let , , , and . If , then(i)when , 30 has a solution in ,(ii)when , 30 has a solution in .*

*3. Commutators of -Adic Riesz Potential*

*3. Commutators of -Adic Riesz Potential**In this section, we will establish the -central BMO estimates for commutators of -adic Riesz potential which is defined by
for some suitable functions .*

*Theorem 11. Suppose , , , and . Let , satisfies , and . If , then is bounded from to , and the following inequality holds:
*

*Before proving this theorem, we need the following result.*

*Lemma 12 (see [31]). Suppose that and , . Then
*

*Proof of Theorem 11. *Suppose that is a function in . For fixed , denote by . We write
Set ; then ; by Lemma 8 and Hölder’s inequality, we have
Similarly, denote ; then , and by Hölder’s inequality and Lemma 8, we get
To estimate and , we firstly give the following estimates. For , by Hölder’s inequality, we obtain
where the penultimate “” is due to the fact that . Similarly,
Since , by Lemma 12, we have
Thus
Now by 39 and Hölder’s inequality, we obtain
It follows from 42 that
The above estimates imply that
This completes the proof of the theorem.

*Remark 13. *Since -adic field is a kind of locally compact Vilenkin groups, we can further consider the Hardy-Littlewood-Sobolev inequalities on such groups, which is more complicated and will appear elsewhere.

*Conflict of Interests*

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

*Acknowledgments*

*Acknowledgments**This work was partially supported by NSF of China (Grant nos. 11271175, 11171345, and 11301248) and AMEP (DYSP) of Linyi University and Macao Science and Technology Development Fund, MSAR (Ref. 018/2014/A1).*

*References*

*References*

- L. Grafakos,
*Modern Fourier Analysis*, vol. 250 of*Graduate Texts in Mathematics*, Springer, New York, NY, USA, 2nd edition, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - S. Albeverio and W. Karwowski, “A random walk on
*p*-adics—the generator and its spectrum,”*Stochastic Processes and their Applications*, vol. 53, no. 1, pp. 1–22, 1994. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - V. A. Avetisov, A. H. Bikulov, S. V. Kozyrev, and V. A. Osipov, “$p$-adic models of ultrametric diffusion constrained by hierarchical energy landscapes,”
*Journal of Physics. A. Mathematical and General*, vol. 35, no. 2, pp. 177–189, 2002. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - S. Haran, “Riesz potentials and explicit sums in arithmetic,”
*Inventiones Mathematicae*, vol. 101, no. 3, pp. 697–703, 1990. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - A. Khrennikov,
*p-Adic Valued Distributions in Mathematical Physics*, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1994. - A. Khrennikov,
*Non-Archimedean Analysis: Quantum Paradoxes, Dynamical Systems and Biological Models*, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1997. View at Publisher · View at Google Scholar · View at MathSciNet - A. N. Kochubei, “A non-Archimedean wave equation,”
*Pacific Journal of Mathematics*, vol. 235, no. 2, pp. 245–261, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - V. S. Varadarajan, “Path integrals for a class of $p$-adic Schrödinger equations,”
*Letters in Mathematical Physics*, vol. 39, no. 2, pp. 97–106, 1997. View at Publisher · View at Google Scholar · View at MathSciNet - V. S. Vladimirov and I. V. Volovich, “$p$-adic quantum mechanics,”
*Communications in Mathematical Physics*, vol. 123, no. 4, pp. 659–676, 1989. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - V. S. Vladimirov, I. V. Volovich, and E. I. Zelenov,
*p-Adic Analysis and Mathematical Physics. Volume I*, Series on Soviet and East European Mathematics, World Scientific, Singapore, 1992. - I. V. Volovich, “$p$-adic space-time and string theory,”
*Akademiya Nauk SSSR: Teoreticheskaya i Matematicheskaya Fizika*, vol. 71, no. 3, pp. 337–340, 1987. View at Google Scholar · View at MathSciNet - I. V. Volovich, “$p$-adic string,”
*Classical and Quantum Gravity*, vol. 4, no. 4, pp. L83–L87, 1987. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - S. Albeverio, A. Yu. Khrennikov, and V. M. Shelkovich, “Harmonic analysis in the
*p*-adicLizorkinspaces: fractional operators, pseudo-differential equations,*p*-adic wavelets, Tauberian theorems,”*Journal of Fourier Analysis and Applications*, vol. 12, pp. 393–425, 2006. View at Google Scholar - N. M. Chuong and H. D. Hung, “Maximal functions and weighted norm inequalities on local fields,”
*Applied and Computational Harmonic Analysis*, vol. 29, no. 3, pp. 272–286, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - N. M. Chuong, Y. V. Egorov, A. Khrennikov, Y. Meyer, and D. Mumford,
*Harmonic, Waveletand*, World Scientific Publishers, Singapore, 2007.*p*-Adic Analysis - Y.-C. Kim, “Carleson measures and the BMO space on the $p$-adic vector space,”
*Mathematische Nachrichten*, vol. 282, no. 9, pp. 1278–1304, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Y.-C. Kim, “Weak type estimates of square functions associated with quasiradial Bochner-Riesz means on certain Hardy spaces,”
*Journal of Mathematical Analysis and Applications*, vol. 339, no. 1, pp. 266–280, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Y.-C. Kim, “A simple proof of the $p$-adic version of the Sobolev embedding theorem,”
*Communications of the Korean Mathematical Society*, vol. 25, no. 1, pp. 27–36, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - S. Z. Lu and D. C. Yang, “The decomposition of Herz spaces on local fields and its applications,”
*Journal of Mathematical Analysis and Applications*, vol. 196, no. 1, pp. 296–313, 1995. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - K. M. Rogers, “A van der Corput lemma for the $p$-adic numbers,”
*Proceedings of the American Mathematical Society*, vol. 133, no. 12, pp. 3525–3534, 2005. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - K. M. Rogers, “Maximal averages along curves over the
*p*-adic numbers,”*Bulletin of the Australian Mathematical Society*, vol. 70, no. 3, pp. 357–375, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - M. H. Taibleson,
*Fourier Analysis on Local Fields*, Princeton University Press, Princeton, NJ, USA, University of Tokyo Press, Tokyo, Japan, 1975. - S.-h. Lan, “The commutators on Herz spaces over locally compact Vilenkin groups,”
*Advances in Mathematics*, vol. 35, no. 5, pp. 539–550, 2006. View at Google Scholar · View at MathSciNet - C. Tang, “The boundedness of multilinear commutators on locally compact Vilenkin groups,”
*Journal of Function Spaces and Applications*, vol. 4, no. 3, pp. 261–273, 2006. View at Publisher · View at Google Scholar · View at MathSciNet - J. Wu, “Boundedness of commutators on homogeneous Morrey-Herz spaces over locally compact Vilenkin groups,”
*Analysis in Theory and Applications*, vol. 25, no. 3, pp. 283–296, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - A. Khrennikov, “$p$-adic valued probability measures,”
*Indagationes Mathematicae*, vol. 7, no. 3, pp. 311–330, 1996. View at Publisher · View at Google Scholar · View at MathSciNet - A. Khrennikov and M. Nilsson,
*p-Adic Deterministic and Random Dynamical Systems*, Kluwer, Dordreht, The Netherlands, 2004. - S. Haran, “Analytic potential theory over the $p$-adics,”
*Annales de l'institut Fourier*, vol. 43, no. 4, pp. 905–944, 1993. View at Publisher · View at Google Scholar · View at MathSciNet - S. S. Volosivets, “Maximal function and Riesz potential on $p$-adic linear spaces,”
*p-Adic Numbers, Ultrametric Analysis, and Applications*, vol. 5, no. 3, pp. 226–234, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - J. Alvarez, J. Lakey, and M. Guzm{\'a}n-Partida, “Spaces of bounded
*λ*-central mean oscillation, Morrey spaces, and*λ*-central Carleson measures,”*Universitat de Barcelona. Collectanea Mathematica*, vol. 51, no. 1, pp. 1–47, 2000. View at Google Scholar · View at MathSciNet - Q. Y. Wu, L. Mi, and Z. W. Fu, “Boundedness of
*p*-adic Hardy operators and their commutatorson*p*-adic central Morrey and BMO spaces,”*Journal of Function Spaces and Applications*, vol. 2013, Article ID 359193, 10 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - Z. W. Fu, Q. Y. Wu, and S. Z. Lu, “Sharp estimates of
*p*-adic hardy and Hardy-Littlewood-Pólya operators,”*Acta Mathematica Sinica*, vol. 29, no. 1, pp. 137–150, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - V. S. Vladimirov, “Generalized functions over
*p*-adic number field,”*Uspekhi Matematicheskikh Nauk*, vol. 43, pp. 17–53, 1988. View at Publisher · View at Google Scholar · View at MathSciNet

*
*