Table of Contents Author Guidelines Submit a Manuscript
Journal of Function Spaces
Volume 2015 (2015), Article ID 419532, 7 pages
http://dx.doi.org/10.1155/2015/419532
Research Article

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. [212]). 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 [1322] 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. [2325] 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

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

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

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

  1. 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
  2. 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
  3. 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
  4. 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
  5. A. Khrennikov, p-Adic Valued Distributions in Mathematical Physics, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1994.
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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.
  11. 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
  12. 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
  13. 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
  14. 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
  15. N. M. Chuong, Y. V. Egorov, A. Khrennikov, Y. Meyer, and D. Mumford, Harmonic, Waveletand p-Adic Analysis, World Scientific Publishers, Singapore, 2007.
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. M. H. Taibleson, Fourier Analysis on Local Fields, Princeton University Press, Princeton, NJ, USA, University of Tokyo Press, Tokyo, Japan, 1975.
  23. 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
  24. 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
  25. 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
  26. 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
  27. A. Khrennikov and M. Nilsson, p-Adic Deterministic and Random Dynamical Systems, Kluwer, Dordreht, The Netherlands, 2004.
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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