- Research Article
- Open Access
Riesz Potential on the Heisenberg Group
© J. Xiao and J. He 2011
- Received: 24 November 2010
- Accepted: 17 February 2011
- Published: 9 March 2011
The relation between Riesz potential and heat kernel on the Heisenberg group is studied. Moreover, the Hardy-Littlewood-Sobolev inequality is established.
- Heat Kernel
- Maximal Operator
- Heisenberg Group
- Theta Function
- Weak Type
In addition, one has the following Hardy-Littlewood-Sobolev theorem (see ).
Let , , . One has the following.
(a)If , then ;
(b)if , then for all ,
In recent years many interesting works about the Riesz potential have been done by many authors. Thangavelu and Xu  discussed the Riesz potential for the Dunkl transform. Garofalo and Tyson  proved superposition principle Riesz potentials of nonnegative continuous function on Lie groups of Heisenberg type. Huang and Liu  studied the Hardy-Littlewood-Sobolev inequality of this operator on the Laguerre hypergroup. For more results about the Riesz potential, we refer the readers to see [5–9].
It is a remarkable fact that the Heisenberg group, denoted by , arises in two aspects. On the one hand, it can be realized as the boundary of the unit ball in several complex variables. On the other hand, an important aspect of the study of the Heisenberg group is the background of physics, namely, the mathematical ideas connected with the fundamental notions of quantum mechanics. In other words, there is its genesis in the context of quantum mechanics which emphasizes its symplectic role in the theory of theta functions and related parts of analysis. Due to this reason, many interesting works were devoted to the theory of harmonic analysis on in [10–15] and the references therein.
In present paper, we consider the Riesz potential associated with the Heisenberg group. We will show a connection between the Riesz potential and the heat kernel, and then get the Hardy-Littlewood-Sobolev inequality.
where denotes the inner product.
where denotes the adjoint of .
where does not depend on or ( ).
So that .
Then forms an orthonormal basis for .
In view of this equation we have the following.
In Section 1 we have recalled some properties about the Riesz potential on ; now we are going to discuss the Riesz potential on the Heisenberg group.
At present we do not prepare to gain the expression of analogues to (1.3) because it is hard to calculate the Fourier transform of . But the following theorem will give us another expression of , which provides a bridge to discuss the boundedness of the Riesz potential.
Then we get the desired result.
with some positive constants and .
Since , then by [19, Proposition 2.8.2] we obtain this lemma.
The following theorem is an immediate consequence of Theorem 4.2 and Lemma 4.3.
where is a positive constant.
Using Theorems 4.2 and 4.4, we get the Hardy-Littlewood-Sobolev theorem on the Heisenberg group.
Let , , and . For , one has the following.
(a)If , then is of type .
(b)If , then is of weak type .
That is, . Substituting this in the above then gives (4.9).
This proves our main theorem.
Let and . For , one has the following.
If , then the condition is necessary and sufficient for the type of .
Case 1 ( ).
If , then as . If , then as . Thus we have .
Case 2 ( ).
which implies that .
Then we complete the proof of this theorem.
The work for this paper is supported by the National Natural Science Foundation of China (no. 10971039) and the Doctoral Program Foundation of the Ministry of China (no. 200810780002). The authors are also grateful for the referee for the valuable suggestions.
- Stein EM: Singular Integrals and Differentiability Properties of Functions, Princeton Mathematical Series, no. 30. Princeton University Press, Princeton, NJ, USA; 1970:xiv+290.Google Scholar
- Thangavelu S, Xu Y: Riesz transform and Riesz potentials for Dunkl transform. Journal of Computational and Applied Mathematics 2007,199(1):181–195. 10.1016/j.cam.2005.02.022MathSciNetView ArticleMATHGoogle Scholar
- Garofalo N, Tyson JT: Riesz potentials and -superharmonic functions in Lie groups of Heisenberg type. http://arxiv.org/abs/arXiv:1005.4090
- Huang J, Liu H: Riesz potential on the Laguerre hypergroup. http://www.paper.edu.cn/index.php/default/releasepaper/paper_all/9592
- Chen Y, Ding Y, Wang X: Compactness of commutators of Riesz potential on Morrey spaces. Potential Analysis 2009,30(4):301–313. 10.1007/s11118-008-9114-4MathSciNetView ArticleMATHGoogle Scholar
- Cowling M, Meda S, Pasquale R: Riesz potentials and amalgams. Annales de l'Institut Fourier 1999,49(4):1345–1367. 10.5802/aif.1720MathSciNetView ArticleMATHGoogle Scholar
- Rubin B: Inversion of potentials in by means of Gauss-Weierstrass integrals. Mathematical Notes 1987,41(1):22–27. 10.1007/BF01159524View ArticleMathSciNetMATHGoogle Scholar
- Sezer S, Aliev IA: A new characterization of the Riesz potential spaces with the aid of a composite wavelet transform. Journal of Mathematical Analysis and Applications 2010,372(2):549–558. 10.1016/j.jmaa.2010.07.009MathSciNetView ArticleMATHGoogle Scholar
- Stein EM: The characterization of functions arising as potentials. Bulletin of the American Mathematical Society 1961,67(1):102–104. 10.1090/S0002-9904-1961-10517-XMathSciNetView ArticleMATHGoogle Scholar
- Coulhon T, Müller D, Zienkiewicz J: About Riesz transforms on the Heisenberg groups. Mathematische Annalen 1996,305(1):369–379. 10.1007/BF01444227MathSciNetView ArticleMATHGoogle Scholar
- Müller D, Ricci F, Stein EM: Marcinkiewicz multipliers and multi-parameter structure on Heisenberg (-type) groups. I. Inventiones Mathematicae 1995,119(1):199–233. 10.1007/BF01245180MathSciNetView ArticleMATHGoogle Scholar
- Müller D, Ricci F, Stein EM: Marcinkiewicz multipliers and multi-parameter structure on Heisenberg (-type) groups. II. Mathematische Zeitschrift 1996,221(1):267–291. 10.1007/BF02622116MathSciNetView ArticleMATHGoogle Scholar
- Rubin B: The Radon transform on the Heisenberg group and the transversal Radon transform. http://arxiv.org/abs/0910.2312
- Stein EM: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals, Princeton Mathematical Series. Volume 43. Princeton University Press, Princeton, NJ, USA; 1993:xiv+695.Google Scholar
- Thangavelu S: Harmonic Analysis on the Heisenberg Group, Progress in Mathematics. Volume 159. Birkhäuser, Boston, Mass, USA; 1998:xiv+192.View ArticleGoogle Scholar
- Folland GB: Harmonic Analysis in Phase Space, Annals of Mathematics Studies. Volume 122. Princeton University Press, Princeton, NJ, USA; 1989:x+277.Google Scholar
- Folland GB, Stein EM: Hardy Spaces on Homogeneous Groups, Mathematical Notes. Volume 28. Princeton University Press, Princeton, NJ, USA; 1982:xii+285.Google Scholar
- Müller D: Marcinkiewicz Multipliers and Multi-Parameter Structure on Heisenberg Groups, Lecture Notes. Università degli Studi di Padova; 2004.Google Scholar
- Thangavelu S: An Introduction to the Uncertainty Principle: Hardy's Theorem on Lie Groups, Progress in Mathematics. Volume 217. Birkhäuser, Boston, Mass, USA; 2004:xiv+174.View ArticleMATHGoogle Scholar
This article is published under license to BioMed Central Ltd. 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.