- Research Article
- Open access
- Published:
Riesz Potential on the Heisenberg Group
Journal of Inequalities and Applications volume 2011, Article number: 498638 (2011)
Abstract
The relation between Riesz potential and heat kernel on the Heisenberg group is studied. Moreover, the Hardy-Littlewood-Sobolev inequality is established.
1. Introduction
The classical Riesz potential is defined on
by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ1_HTML.gif)
where is the Laplacian operator. By virtue of the equations
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ2_HTML.gif)
where , one can get the explicit expression of Riesz potential
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ3_HTML.gif)
In addition, one has the following Hardy-Littlewood-Sobolev theorem (see [1]).
Theorem 1.1.
Let ,
,
. One has the following.
(a)If ,   then
;
(b)if ,   then for all
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ4_HTML.gif)
In recent years many interesting works about the Riesz potential have been done by many authors. Thangavelu and Xu [2] discussed the Riesz potential for the Dunkl transform. Garofalo and Tyson [3] proved superposition principle Riesz potentials of nonnegative continuous function on Lie groups of Heisenberg type. Huang and Liu [4] 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.
2. Preliminaries
The Heisenberg group is a Lie group with the underlying manifold
, the multiplication law is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ5_HTML.gif)
where . The dilation of
is defined by
with
. For
, the homogeneous norm of
is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ6_HTML.gif)
Note that . In addition,
satisfies the quasi-triangle inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ7_HTML.gif)
The ball of radius centered at
is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ8_HTML.gif)
For , let
be the space of measurable functions
on
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ9_HTML.gif)
Let be the Schrödinger representations which acts on
by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ10_HTML.gif)
where . Suppose that
is a Schwartz function on
, that is,
. The Fourier transform of
is defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ11_HTML.gif)
This means that, for each ,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ12_HTML.gif)
where denotes the inner product.
Let us write with
and define
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ13_HTML.gif)
Then (2.7) can be written as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ14_HTML.gif)
If we set
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ15_HTML.gif)
then . Let
; one has the inversion of Fourier transform
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ16_HTML.gif)
where denotes the adjoint of
.
The convolution of and
is defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ17_HTML.gif)
It is clear that . In addition, we have the generalized Yong inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ18_HTML.gif)
where . More details about the harmonic analysis on Heisenberg group can be found in [14–16].
Let be a mapping from
to
,  
,
. Then
is of type
if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ19_HTML.gif)
where does not depend on
. Similarly,
is of weak type
if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ20_HTML.gif)
where does not depend on
or
(
).
Let be the unit sphere in
and
the unit Euclidean sphere in
. Suppose that
is a measurable function on
, and we have (see [10])
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ21_HTML.gif)
We set , then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ22_HTML.gif)
Hence
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ23_HTML.gif)
A direct calculation shows that the area of is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ24_HTML.gif)
In addition, we have the volume of unit ball in
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ25_HTML.gif)
and thus the volume of
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ26_HTML.gif)
For a radial function , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ27_HTML.gif)
The Hardy-Littlewood maximal operator is defined on
by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ28_HTML.gif)
which is of type for
and is of weak type (1,1) (see [17, 18]).
3. The Sublaplacian and the Heat Kernel on the Heisenberg Group
As it is known, the following vector fields
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ29_HTML.gif)
form a basis for the Lie algebra of left-invariant vector fields on . The sublaplacian is defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ30_HTML.gif)
which also has another explicit form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ31_HTML.gif)
where is the standard Laplacian on
and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ32_HTML.gif)
For the Schrödinger representations one easily calculates that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ33_HTML.gif)
So that .
Let (
) be the normalized Hermite functions given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ34_HTML.gif)
where . For
and
, we define
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ35_HTML.gif)
Then forms an orthonormal basis for
.
We set and denote
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ36_HTML.gif)
Therefore,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ37_HTML.gif)
Moreover, one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ38_HTML.gif)
Now let , then
has the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ39_HTML.gif)
From (3.9) we know that the functions
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ40_HTML.gif)
are eigenfunctions of the operator :
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ41_HTML.gif)
Let be the Laguerre functions defined on
by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ42_HTML.gif)
and set for
. Then from [19, (2.3.26)] we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ43_HTML.gif)
In view of this equation we have the following.
Proposition 3.1.
One has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ44_HTML.gif)
where stands for the projection of
onto the
th eigenspace of
, that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ45_HTML.gif)
Now we consider the heat equation associated to the sublaplacian
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ46_HTML.gif)
with the initial condition . In fact, the function
given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ47_HTML.gif)
is just the solution of the heat equation and satisfies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ48_HTML.gif)
Moreover, we have the Fourier transform of (see [18, page 86])
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ49_HTML.gif)
4. Riesz Potential on the Heisenberg Group
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.
Definition 4.1.
For , the Riesz potential
is defined on
by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ50_HTML.gif)
From above definition and (3.10) it is easy to see that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ51_HTML.gif)
If ,
, then we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ52_HTML.gif)
which suggests that . Especially, for
, one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ53_HTML.gif)
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.
Theorem 4.2.
Let be the heat kernel on
. For
, one has for
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ54_HTML.gif)
Proof.
By (3.17), (3.21), and Proposition 3.1 we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ55_HTML.gif)
Then we get the desired result.
Lemma 4.3.
The heat kernel satisfies the estimate
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ56_HTML.gif)
with some positive constants and
.
Proof.
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.
Theorem 4.4.
The Riesz potential satisfies the estimate
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ57_HTML.gif)
where is a positive constant.
Using Theorems 4.2 and 4.4, we get the Hardy-Littlewood-Sobolev theorem on the Heisenberg group.
Theorem 4.5.
Let ,
, and
. For
, one has the following.
(a)If , then
is of type
.
(b)If , then
is of weak type
.
Proof.
Let be the maximal operator defined by (2.24). We claim that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ58_HTML.gif)
Let be the ball of radius
centered at (0,0), and let
be its characteristic function. We set
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ59_HTML.gif)
with . Obviously,
is radial and decreasing, then we can write
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ60_HTML.gif)
where and
is the ball centered at origin. By (2.23) and (2.24) we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ61_HTML.gif)
Let be the conjugate exponent of
. Since
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ62_HTML.gif)
Then by Hölder's inequality we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ63_HTML.gif)
Therefore,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ64_HTML.gif)
We choose such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ65_HTML.gif)
That is, . Substituting this in the above then gives (4.9).
Now if , we obtain (a) by the virtue of the type
of the maximal operator
. If
and
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ66_HTML.gif)
This proves our main theorem.
Theorem 4.6.
Let and
. For
, one has the following.
(a)If , then the condition
is necessary and sufficient for the weak type
of
.
-
(b)
If
, then the condition
is necessary and sufficient for the type
of
.
Proof.
The sufficiency follows from Theorem 4.5. We now begin to prove the necessity. Suppose that , and let
. Note that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ67_HTML.gif)
Then by (4.9) we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ68_HTML.gif)
Thus for , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ69_HTML.gif)
Case 1 ().
It follows from the hypothesis that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ70_HTML.gif)
If , then
as
. If
, then
as
. Thus we have
.
Case 2 ().
Similarly, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F498638/MediaObjects/13660_2010_Article_2345_Equ71_HTML.gif)
which implies that .
Then we complete the proof of this theorem.
References
Stein EM: Singular Integrals and Differentiability Properties of Functions, Princeton Mathematical Series, no. 30. Princeton University Press, Princeton, NJ, USA; 1970:xiv+290.
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.022
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-4
Cowling M, Meda S, Pasquale R: Riesz potentials and amalgams. Annales de l'Institut Fourier 1999,49(4):1345–1367. 10.5802/aif.1720
Rubin B: Inversion of potentials in
by means of Gauss-Weierstrass integrals. Mathematical Notes 1987,41(1):22–27. 10.1007/BF01159524
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.009
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-X
Coulhon T, Müller D, Zienkiewicz J: About Riesz transforms on the Heisenberg groups. Mathematische Annalen 1996,305(1):369–379. 10.1007/BF01444227
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/BF01245180
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/BF02622116
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.
Thangavelu S: Harmonic Analysis on the Heisenberg Group, Progress in Mathematics. Volume 159. Birkhäuser, Boston, Mass, USA; 1998:xiv+192.
Folland GB: Harmonic Analysis in Phase Space, Annals of Mathematics Studies. Volume 122. Princeton University Press, Princeton, NJ, USA; 1989:x+277.
Folland GB, Stein EM: Hardy Spaces on Homogeneous Groups, Mathematical Notes. Volume 28. Princeton University Press, Princeton, NJ, USA; 1982:xii+285.
Müller D: Marcinkiewicz Multipliers and Multi-Parameter Structure on Heisenberg Groups, Lecture Notes. Università degli Studi di Padova; 2004.
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.
Acknowledgments
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.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Xiao, J., He, J. Riesz Potential on the Heisenberg Group. J Inequal Appl 2011, 498638 (2011). https://doi.org/10.1155/2011/498638
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2011/498638