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

Qing Yan Wu and Zun Wei Fu

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

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

L. Grafakos, Modern Fourier Analysis, vol. 250 of Graduate Texts in Mathematics, Springer, New York, NY, USA, 2nd edition, 2008.

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.

V. A. Avetisov, A. H. Bikulov, S. V. Kozyrev, and V. A. Osipov, “-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.

S. Haran, “Riesz potentials and explicit sums in arithmetic,” Inventiones Mathematicae, vol. 101, no. 3, pp. 697–703, 1990.

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.

A. N. Kochubei, “A non-Archimedean wave equation,” Pacific Journal of Mathematics, vol. 235, no. 2, pp. 245–261, 2008.

V. S. Varadarajan, “Path integrals for a class of -adic Schrödinger equations,” Letters in Mathematical Physics, vol. 39, no. 2, pp. 97–106, 1997.

V. S. Vladimirov and I. V. Volovich, “-adic quantum mechanics,” Communications in Mathematical Physics, vol. 123, no. 4, pp. 659–676, 1989.

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, “-adic space-time and string theory,” Akademiya Nauk SSSR: Teoreticheskaya i Matematicheskaya Fizika, vol. 71, no. 3, pp. 337–340, 1987.

I. V. Volovich, “-adic string,” Classical and Quantum Gravity, vol. 4, no. 4, pp. L83–L87, 1987.

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.

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.

N. M. Chuong, Y. V. Egorov, A. Khrennikov, Y. Meyer, and D. Mumford, Harmonic, Waveletand p-Adic Analysis, World Scientific Publishers, Singapore, 2007.

Y.-C. Kim, “Carleson measures and the BMO space on the -adic vector space,” Mathematische Nachrichten, vol. 282, no. 9, pp. 1278–1304, 2009.

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.

Y.-C. Kim, “A simple proof of the -adic version of the Sobolev embedding theorem,” Communications of the Korean Mathematical Society, vol. 25, no. 1, pp. 27–36, 2010.

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.

K. M. Rogers, “A van der Corput lemma for the -adic numbers,” Proceedings of the American Mathematical Society, vol. 133, no. 12, pp. 3525–3534, 2005.

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.

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.

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.

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.

A. Khrennikov, “-adic valued probability measures,” Indagationes Mathematicae, vol. 7, no. 3, pp. 311–330, 1996.

A. Khrennikov and M. Nilsson, p-Adic Deterministic and Random Dynamical Systems, Kluwer, Dordreht, The Netherlands, 2004.

S. Haran, “Analytic potential theory over the -adics,” Annales de l'institut Fourier, vol. 43, no. 4, pp. 905–944, 1993.

S. S. Volosivets, “Maximal function and Riesz potential on -adic linear spaces,” p-Adic Numbers, Ultrametric Analysis, and Applications, vol. 5, no. 3, pp. 226–234, 2013.

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.

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.

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.

V. S. Vladimirov, “Generalized functions over p-adic number field,” Uspekhi Matematicheskikh Nauk, vol. 43, pp. 17–53, 1988.