Abstract
This paper aims at deriving some weighted Hardy type and Rellich type inequalities with sharp constants on the Heisenberg group. The improved versions of these inequalities are established as well. The technique adopted involve the application of some elementary vectorial inequalities and some properties of Heisenberg group.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Preliminaries
1.1 Introduction
The main goal of this paper is to provide simple and more direct proofs of Hardy type and Rellich type inequalities on the Heisenberg group with respect to homogeneous norm, horizontal gradient and Kohn sub-Laplace operators. This class of inequalities is well known in the classical Euclidean spaces [6, 20, 28], homogeneous spaces [15, 23, 29, 31] and Riemannian manifolds [5, 13, 21, 24, 25] with numerous applications in mathematical analysis, physics, quantum mechanics, theory of linear and nonlinear partial differential equations and so on [7, 10, 16, 17]. A classical Hardy inequality measures a smooth function by its derivative, while the Rellich inequality is a generalization of the Hardy inequality to the higher order derivatives. Consider a subdomain \(\Omega \subset {\mathbb {R}}^n\), the classical Hardy inequality states that
where \(\nabla\) is the Euclidean gradient, for \(1\le p<n\), which can also be extended to the whole of \({\mathbb {R}}^n\setminus \{0\}\) for \(n<p<\infty\). It is well known that the constant \(\left( \frac{n-p}{p}\right) ^p\) is sharp but never achieved by a nontrivial function \(\phi\). On the other hand, generalization of (1.1) to higher order derivative is the following Rellich inequality
where \(\Delta\) is the Euclidean Laplacian, with suitable positive weight functions \(\Phi , \Psi\) and positive constant C. This was originally obtained by Rellich [30] for \(p=2\) and \(n\ge 5\) in the sharp form
A generalization of (1.3) was obtained by Davies and Hinz [9] as follows
where \(n>2p\) and the constant is sharp. Recently, there has been considerable development of the concepts of Hardy and Rellich type inequalities in sub-elliptic context. For instance, Garofalo and Lanconelli [16], Niu et al. [27], Xi and Dou [33], and D’Ambrosio [8] have obtained Hardy inequalities on the Heisenberg group with sharp constants (see also the book [31] for several related results).
Let \({\mathbb {H}}\) be the Heisenberg group of homogeneous dimension Q (detail description is given below) and \(\varrho _{cc}\) be the Carnot-Carathéodory norm on \({\mathbb {H}}\). Motivated by the above quoted works, Yang [34] proved analogous Hardy type and Rellich type inequalities on the Heisenberg group with \(\varrho _{cc}\) being the weight function. Precisely, they proved via a representation formula associated with \(\varrho _{cc}\) that for \(1<p<Q\), then
and for \(Q\ge 4\), then
The motivation for studying this class of inequalities on sub-Riemannian setting with noncommutative vector fields satisfying Hörmander’s condition is due to the link between Hardy and Rellich inequalities on one hand and their numerous applications as highlighted above on the other hand. From mathematical point of view, the Heisenberg group is the simplest and most important model in this setting. It is an important model to study many significant problems such as existence, continuation, eigenvalue problems, therefore, obtaining vital integral inequalities and their improvements such as those discussed in this paper become essential, and hence the theme of this paper. Our results generalize and improve the above quoted results with weight involving Koranyi-Folland homogeneous norm. In fact this paper complements some other existing results [1, 3, 4, 11, 12, 18, 19, 32].
1.2 Preliminaries
Basic facts on the Heisenberg group are summarily recalled here. Detail description can be found in Refs. [15, 31]. Heisenberg group arises from many fields such as quantum physics, differential geometry, harmonic analysis. It is a unimodular, connected and simply connected step two (Carnot) Lie group.
Let \(\xi = (x,y,t)\in {\mathbb {R}}^n\times {\mathbb {R}}^n\times {\mathbb {R}}\), \(n\ge 1\). The Heisenberg group \({\mathbb {H}}\) is the set \({\mathbb {H}}_n={\mathbb {R}}^{2n}\times {\mathbb {R}}\) equipped with the non-commutative group law, \(\circ\), having the structure
where \(x\cdot y\) is the usual Euclidean inner product in \({\mathbb {R}}^n\). The distance between points \(\xi\) and \(\xi '\) in \({\mathbb {H}}\) is defined by
where \(\xi '^{-1}\) is the inverse of \(\xi '\) given by \(\xi '^{-1}=-\xi '\) with respect to the group law \(\circ\). Let \(z=(x,y)\), \(\xi =(z,t)\) and \(\xi '=(z',t)\). By (1.7) and (1.8), one can obtain the explicit expression for \(d_{{\mathbb {H}}_n}(\xi ,\xi ')\). Therefore the Heisenberg distance function (homogeneous norm) is given by
where \(|z|^2=x^2+y^2\) and 0 is the centre. A basis for the Lie algebra of the left invariant vector fields on \({\mathbb {H}}^n\) is given by (\(1\le j \le n\))
By the Lie bracket definition one can easily check that
and
which constitute Heisenberg canonical commutation relation of quantum mechanics for position and momentum, whence the name Heisenberg group.
A family of dilation on \({\mathbb {H}}\) is defined by \(\delta _\lambda (z,t)=(\lambda z, \lambda ^2t), \lambda >0\). It is also easy to check that \(|\cdot |_{{\mathbb {H}}}, X_j, Y_j, (j=1,2 \cdots n)\) are homogeneous of degree 1 with respect to dilations (where \(|\cdot |_{{\mathbb {H}}}\) is as defined by (1.8)). The anisotropic dilation on \({\mathbb {H}}\) induces a homogeneous norm
also known as Korányi-Folland non-isotropic gauge, while the homogeneous dimension with respect to dilations is \(Q=2n+2\).
The horizontal gradient and divergence on \({\mathbb {H}}\) are respectively defined by
and
Hence, sub-Laplacian on \({\mathbb {H}}\) (Kohn Laplacian) is defined by
The Heisenberg group belongs to a class of homogeneous Carnot groups. It was shown by Folland [14] (see also Ref. [15]) that the sub-Laplacian on a general stratified Lie group has a unique fundamental solution \(u_\varepsilon\) in distributional sense, which in the Heisenberg setting means
where \(\delta _0\) is the Dirac delta-distribution at the neutral element 0 of \({\mathbb {H}}^n\). The \(\Delta _{\mathbb {H}}\)-gauge \(d(\xi )\) (i.e. the homogeneous quasi-norm on \({\mathbb {H}}\)) can be written in term of the fundamental solution as
as a continuous function smooth away from the origin. The action of \(\Delta _{\mathbb {H}}\) on d is given as
A simple computation therefore gives the following identities ([27, 31])
Similarly, the following identities can be established by direct computation.
Lemma 1.1
Let d be as defined above. Then we have
Proof
by applying (1.12) and (1.13). \(\square\)
Note that the standard Lebesgue measure on \({\mathbb {R}}^n\) is the Haar measure for the homogeneous group, so we write \(d\xi =dzdt\) as the Lebesgue measure on \({\mathbb {H}}\). Throughout, we denote by \(B_1:=B(0,1)=\{\xi =(z,t) \in {\mathbb {H}}: d(\xi )\le 1\}\) the unit ball with respect to the homogeneous quasi norm d.
This section is concluded with the following elementary vectorial inequalities that will be of great applications to the proof of some of the results in the next sections.
Lemma 1.2
[26] There exists some constant \(c(p)>0\) such that for all \(u,v \in {\mathbb {R}}^n\), there holds the following inequalities
We note that if \(p=2\), (1.16) become equality and \(c(2)=1\).
The rest of the paper is structured as follows: Sect. 2 is devoted to the proof of weighted \(L^p\)-Hardy type inequalities, (\(p\ne Q+\alpha ,\ Q\ge 3\) and \(\alpha \in {\mathbb {R}}\)), and their improvements on the Heisenberg group. The claims for the sharp constant will also be established. While Sect. 3 is devoted to the proofs of sharp weighted Rellich type inequalities and thier improvements.
2 Weighted Hardy Type Inequalities
This section is concerned with sharp weighted Hardy type inequalities and their improvements.
2.1 Weighted \(L^p\)-Hardy Inequalities
Theorem 2.1
Let \({\mathbb {H}}\) be the Heisenberg group of homogeneous dimension \(Q \ge 3\). Let \(\alpha \in {\mathbb {R}}\) and \(p\ge 1\) such that \(p\ne Q+\alpha\). Then the following inequality
holds for all \(f\in C^\infty _0({\mathbb {H}}\setminus \{0\})\) and the constant \(\left| \frac{Q+\alpha -p}{p}\right| ^p\) is sharp.
Proof
Let \(f\in C^\infty _0({\mathbb {H}}\setminus \{0\})\) and define a function \(g=d^{-\gamma }f\), where \(\gamma \ne 0\) will be chosen later. Direct computation implies
Clearly by Lemma 1.2 we have for \(u,v \in {\mathbb {R}}^n\) and \(p\ge 1\)
Thus, one can write
Multiplying the last inequality by \(d^\alpha\) and integrating by parts over \({\mathbb {H}}\) gives
Choosing \(\gamma = \frac{p-Q-\alpha }{p}\ne 0\), we have by (1.12) that
Therefore the last integral in (2.2) vanishes and we thus arrive at
which implies the required inequality (2.1).
In the next we prove the claim that the constant \({\mathcal {C}}_{{\mathbb {H}}} = \left| \frac{Q+\alpha -p}{p}\right| ^p\) is sharp in the sense that
must hold. In other words, we need to show that \({\mathcal {C}}_{{\mathbb {H}}}={\mathcal {A}}_{{\mathbb {H}}}\). We use the idea from Ref. [8] (see also Refs. [22, 23, 35] for similar methods). Obviously, by the inequality (2.1) and by passing to the infimum in the last equation
holds for all \(f \in C^\infty _0({\mathbb {H}}\setminus \{0\})\). Thus, we need to show that
and for this purpose, we define the following radial function which can be approximated by some smooth function with compact support in \({\mathbb {H}}\)
for \(\epsilon >0\). Therefore
Since the integrands on the right hand side (of the last equation) are integrable, both integrals on that side are finite and so also the integral on the left hand side.
Also
Thus we have
implying that \(\Big |\frac{Q+\alpha -p}{p}+\epsilon \Big |^p \ge {\mathcal {A}}_{{\mathbb {H}}}\). Then, \({\mathcal {C}}_{{\mathbb {H}}} \ge {\mathcal {A}}_{{\mathbb {H}}}\) by letting \(\epsilon \rightarrow 0\). Therefore \({\mathcal {C}}_{{\mathbb {H}}} = {\mathcal {A}}_{{\mathbb {H}}}\). This concludes the proof. \(\square\)
Remark 2.2
-
(1)
There are many special cases of (2.1) that are present in the literature, for examples, the cases \(\alpha =0\), \(\alpha =p\) and \(\alpha =-p\) (see D’Ambrossio [8], Niu-Zhang-Wang [27], Abolarinwa-Ruzhansky [2] for these and more examples). The case \(p=2\) is well known.
-
(2)
Setting \(\alpha =0\) and replacing Korányi-Folland distance norm d with Carnot-Carathéodory norm \(\varrho _{cc}\) the inequality (2.1) reduces to (1.5).
-
(3)
The inequality (2.1) is strict except for \(f\equiv 0\). It is therefore natural to expect additional term on the right hand side of (2.1). (See Theorems 2.3 and 2.5).
-
(4)
The proof of sharpness of the constant is well known by different methods. (See Refs. [8, 22, 23, 27, 35] for examples).
-
(5)
Theorem 2.1 above can also be compared with [33, Theorem 2.1], which has been derived using a different method for \(1<p<\infty\). Indeed, if \(\beta\) and \(\alpha - p\) in [33, eqn. (2.5)] are respectively replaced by p and \(-\alpha\), then [33, Theorem 2.2] coincides with our Theorem 2.1.
2.2 Improved Hardy Type Inequalities
Theorem 2.3
Let \({\mathbb {H}}\) be the Heisenberg group of homogeneous dimension \(Q \ge 3\) and \(Q+\alpha -2>0\), \(\alpha \in {\mathbb {R}}\). Let \(\Omega \subset {\mathbb {H}}\) be a bounded domain with smooth boundary, \(0 \in \Omega\) and \(\sup _\Omega d< R<\infty\). Then the following inequality
where \({\mathscr {C}}_Q=\Big (\frac{Q+\alpha -2}{2}\Big )^2\), holds for all compactly supported smooth function \(f\in C^\infty _0(\Omega )\).
Proof
Define \(\phi :=d^{-\lambda }f\), \(\lambda <0\) for any \(f \in C^\infty _0(\Omega )\). Then
and
The integrand of the middle term on the right hand side of (2.5) can be simplified further by using (1.9) and (1.10) as follows
Substituting the last expression into (2.5) yields
By the maximization procedure the function \(\lambda \mapsto \lambda ^2 -\lambda (\alpha +Q-2)\) attains its maximum for \(\lambda =\frac{2-Q-\alpha }{2}\) with the maximum being \((\frac{Q+\alpha -2}{2})^2\). Therefore
Now define a smooth function \(\psi\) by \(\psi :=(\ln \frac{R}{d})^{-\frac{1}{2}}\phi\). Then we have
and then
The last integral in (2.7) vanishes due to integration by parts and identities in (1.13). This can be shown as follows:
Therefore (2.7) implies
where we have used \(\psi =(\ln \frac{R}{d})^{-\frac{1}{2}}\phi\) and \(\phi =d^{-\alpha }f\) with \(\lambda =\frac{2-Q-\alpha }{2}\). Putting (2.8) into (2.6) we arrive at (2.4). This completes the proof. \(\square\)
Remark 2.4
Heuristically, if one chooses \(\lambda =\frac{2-Q-\alpha }{2}\) in (2.5), obiviously, the middle integral on the right hand side of the equation vanishes at once. Then one can conclude at that point using (2.8) without resulting to the maximization of coefficient.
2.3 Improved \(L^p\)-Hardy Type Inequalities
Theorem 2.5
Suppose all the conditions of Theorem 2.1 hold for \(p\ge 2\). Then there exists a constant \({\mathcal {D}}_p>0\) such that
holds for all \(f\in C^\infty _0({\mathbb {H}}\setminus \{0\})\), where \(\sup _{\mathbb {H}}d<R<\infty .\)
Proof
For \(f\in C^\infty _0({\mathbb {H}}\setminus \{0\})\), define \(g=d^{-\gamma }f\), \(\gamma \ne 0\) as in the proof of Theorem 2.1. Using (1.16) of Lemma 1.2 we have
Following the same steps as in the proof of Theorem 2.1 we arrive at (2.1) but with an extra term which will be analyzed further, that is
Define a function \(\psi :=\varphi ^{-\frac{1}{p}}g\) and compute using Lemma 1.2 for \(p>1\)
Therefore,
where \({\widetilde{c}}(p)=c(p)p^{1-p}\).
Setting \(\varphi :=\ln \frac{R}{d}\) we have
Then referring to the definitions of \(\psi\) and g, (i.e., \(\psi :=\varphi ^{-\frac{1}{p}}g\) and \(g=d^{-\gamma }f\)), the first integral on the right hand side of (2.11) implies
Using \(\gamma =\frac{p-Q-\alpha }{p}\) and \(\nabla _{\mathbb {H}}\varphi = -\frac{\nabla _{\mathbb {H}}d}{d}\) into the second integral on the right hand side of (2.11), then applying integration by parts and (2.10) gives
by using (1.12) and (2.12). Combining (2.11), (2.13) and (2.14) with (2.10) yields the expected inequality (2.9) with \({\mathcal {D}}_p=\frac{c(p)}{p^p}(p-1)^2>0\). \(\square\)
Remark 2.6
If \(p=2\), we can see from Lemma 1.2 that \(c(p)=1\). Thus, the explicit value of \({\mathcal {D}}_p\) can be computed as \({\mathcal {D}}_p=\frac{c(p)}{p^p}(p-1)^2 = \frac{1}{4}\) in the case \(p=2\) as in Theorem 2.3.
3 Rellich Type Inequalities
In this section, we are concerned with Rellich type inequalities with weights given in terms of the homogeneous quasi norm (Heisenberg distance function). First, we start with an \(L^2\)-Rellich inequalities and their improved versions and we conclude with \(L^p\)-Rellich inequalities and their improved versions
3.1 \(L^2\)-Rellich Type Inequalities
Theorem 3.1
Let \({\mathbb {H}}\) be the Heisenberg group of homogeneous dimension \(Q \ge 3\) and \(Q+\alpha -4> 0\) for \(\alpha \in {\mathbb {R}}\). Then for all \(f \in C^\infty _0({\mathbb {H}}\setminus \{0\})\)
and the constant \(\frac{(Q+\alpha -4)^2(Q-\alpha )^2}{16}\) is sharp.
Moreover, if \(4-Q<\alpha <Q\) and \(\sup _\Omega d<R<\infty\), where \(\Omega \in {\mathbb {H}}\), then
where \({\mathscr {A}}_{Q,\alpha }:=\frac{(Q+\alpha -4)^2(Q-\alpha )^2}{16}\) and \({\mathcal {B}}_{Q,\alpha }:=\frac{(Q+\alpha -4)(Q-\alpha )}{8}\), holds for all compactly support function \(f\in C^\infty _0(\Omega )\).
Proof
A direct computation shows that
On the other hand, using integration by parts we get (f is assumed to be real-valued without loss of generality)
Since \(Q+\alpha -4> 0\), we have
Rearranging we have
Applying the weighted Hardy inequality (2.1) replacing \(\alpha\) by \(\alpha -2\) and \(p=2\) gives
The last inequality implies after rearranging and adding like terms
Using Cauchy-Schwarz inequality
Combining (3.4) and (3.5) proves (3.1).
To prove the inequality (3.2), we apply the improved weighted Hardy type inequality (2.4) to the right hand side of (3.3) and obtain
Rearranging
Applying the Young’s inequality for \(\beta >0\) (\(\beta\) to be determined later)
Putting (3.7) and (3.6) together
Let \(\Psi (\beta ):= \beta [(Q-\alpha )(Q+\alpha -4) -4\beta ]\). Obviously, the maximum of the \(\Psi (\beta )\) is
achieved at the point \(\beta _\star =\frac{(Q-\alpha )(Q+\alpha -4)}{8}\). Hence we arrive at
which is the required (3.2).
In the next we prove that the constant \(\frac{(Q+\alpha -4)^2(Q-\alpha )^2}{16}\) appearing in (3.1) is sharp in the sense that
must hold.
Thus, we are required to prove that \(D_{Q,\alpha }:=\frac{(Q+\alpha -4)^2(Q-\alpha )^2}{16} = {\mathcal {D}}_{{\mathbb {H}}_n}\). Clearly by (3.1) and passing to the infimum in (3.8) we have \(D_{Q,\alpha } \le {\mathcal {D}}_{{\mathbb {H}}}\). Hence, it only remains to prove that \(D_{Q,\alpha } \ge {\mathcal {D}}_{{\mathbb {H}}}\).
For \(\eta >0\), we define the following radial function which can be approximated by smooth function with compact support in \({\mathbb {H}}\)
Then
and
where \(\Lambda (Q,\alpha ,\eta ):= (\frac{Q+\alpha -4}{2}+\eta )^2(Q-1)^2\) and \({\widetilde{\Lambda }}(Q,\alpha ,\eta ):= (\frac{Q+\alpha -4}{2}+\eta )^2(\frac{Q-\alpha }{2}-\eta )^2\), and \(B_1\) is the unit Heisenberg ball with respect to homogeneous quasi norm as defined in the introduction. Note that the integral \(\int _{B_1}d^{\alpha -2}|\nabla _{\mathbb {H}}d|^2d\xi\) is finite since \(|\nabla _{\mathbb {H}}d|\) is uniformly bounded and \(Q+\alpha -4>0\). Therefore
On the other hand,
Clearly, the integral \(\int _{B_1} |\nabla _{\mathbb {H}}d|^2 d^{\alpha -4}|f_\eta |^2d\xi\) is finite and we get
Sending \(\eta \rightarrow 0\) and noting that \(\int _{{\mathbb {H}}\setminus B_1} |\nabla _{\mathbb {H}}d|^2 d^{-Q-2\eta }d\xi \rightarrow \infty\), we get that \({\mathcal {D}}_{\mathbb {H}}\le D(Q,\alpha )\). The proof is therefore complete. \(\square\)
The next theorem contains the \(L^p\)-Rellich type inequalities and improvement.
3.2 Improved \(L^p\)-Rellich Type Inequalities
Theorem 3.2
Let \({\mathbb {H}}\) be the Heisenberg group of homogeneous dimension \(Q \ge 3\). Let \(2-Q<\alpha <0\), then there holds for \(f \in C^\infty _0({\mathbb {H}}\setminus \{0\})\) and \(1<p<\infty\)
Moreover, the constant \({\mathscr {A}}_{Q,p} = \Big (\frac{(Q+\alpha -2)[(p-1)(Q-2)-\alpha ]}{p^2}\Big )^p\) is sharp.
Furthermore, we have the improved version
where
and
Remark 3.3
The first part of Theorem 3.2 above can also be compared with [33, Theorem 2.2], which has been derived using a different method for \(1<p<\infty\). Indeed, if \(\alpha\) in [33, eqn. (2.10)] is replaced by \(2-\alpha\), then [33, eqn. (2.10)] coincides with (3.10) above.
Proof
For \(\epsilon >0\), define \(f_\epsilon :=(|f|^2+\epsilon ^2)^{\frac{p}{2}}-\epsilon ^p \in C^\infty _0({\mathbb {H}}_n\setminus \{0\})\) with same support as f. Compute
where we have defined \(h_\epsilon := (|f|^2+\epsilon ^2)^{\frac{p}{4}}-\epsilon ^{\frac{p}{2}} \in C^\infty _0({\mathbb {H}}_n\setminus \{0\})\) and used
Thus,
Multiplying the last inequality by \(d^\alpha\) (\(2-Q<\alpha <0\)) and integrating over \({\mathbb {H}}\) gives
Integration by parts gives
Therefore
Applying the weighted Hardy inequality (2.1) (with \(p=2\)) to (3.11), we have
Letting \(\epsilon \rightarrow 0\), applying the Lebesgue dominated convergence theorem and Hölder’s inequality, we have
Raising both sides to the power of p and rearranging leads to the desired inequality (3.9).
In order to prove (3.10), we apply the improved weighted Hardy inequality (2.4) (or (2.9) for \(p=2\)) to (3.11) to obtain
Letting \(\epsilon \rightarrow 0\), using Lebesgue dominated convergence theorem, rearranging and then applying Hölder’s and Young’s inequalities (for \(\varepsilon >0\))
The Young’s inequality used here can be described as follows: Let
Then for any \(\varepsilon >0\), Young’s inequality implies
Therefore
where \(\Phi (\varepsilon )\) is a scalar function given by
Obviously, the maximum of \(\varepsilon \mapsto \Phi (\varepsilon )\) is
achieved at the point \(\varepsilon _\star\) given by
Replacing \(\Phi (\varepsilon )\) and \(\varepsilon\) in (3.12) with \(\Phi (\varepsilon _\star )\) and \(\varepsilon _\star\), respectively, we obtain (3.10) at once.
In conclusion we show that the constant \({\mathscr {A}}_{Q,p} = \Big (\frac{(Q+\alpha -2)[(p-1)(Q-2)-\alpha ]}{p^2}\Big )^p\) appearing in (3.9) is sharp. Following the same procedure as before, we consider the function
for \(\eta >0\) and \(C_\eta\) is a constant function.
A simple computation gives (for \(d>1\))
and
Passing to the limit \(\eta \rightarrow 0\) one gets at once that the constant \({\mathscr {A}}_{Q,p}\) is sharp. \(\square\)
Remark 3.4
Setting \(\alpha =0\), we have (3.1) reduces to \(Q\ge 5\) and
Replacing d with Carnot-Carathéodory distance norm \(\varrho _{cc}\) we obtain (1.6) since \(\varrho _{cc}\) is Lipschitz and \(|\nabla _{\mathbb {H}}\varrho _{cc}|^2 =1\), (we can do this because \(\varrho _{cc}\) is equivalent to any other norm on \({\mathbb {H}}\)). In a similar spirit, setting \(\alpha =-2\), \(p=2\) and \(d\equiv \varrho _{cc}\) in (3.10) (Theorem 3.2) we also obtain (1.6).
4 Conclusion
In this paper we have derived some weighted Hardy type and Rellich type inequalities with sharp constants and their improved versions on the Heisenberg group. Improvement of this class of inequalities is being a hot research topic since few decades ago, see Refs. [2, 5, 8, 12, 13, 19, 24, 25, 31, 34] for instance. The book [31] contains detail discussion on this class of inequalities on homogeneous groups. Some more general results and some improvement of Hardy and Rellich inequalities were established in Ref. [33] (this reference was pointed to us by one of the referees at the review stage). The present paper therefore provides simple and more direct proofs of improved Hardy type and Rellich type inequalities on the Heisenberg group with respect to homogeneous norm, horizontal gradient and Kohn sub-Laplace operators. The results obtained generalize and improved several results in literature as reported in the paper. From mathematical point of view, the Heisenberg group is the simplest and most important model in sub-Riemannian setting with noncommutative vector fields satisfying Hörmander’s condition. Hence, it would be interesting to extend these results to some other examples of homogeneous groups.
Availability of data and materials
All data generated or analyzed during the study are included in this paper.
References
Abolarinwa, A., Apata, T.: \(L^p\)-Hardy-Rellich and uncertainty principle inequalities on the sphere. Adv. Oper. Theory 3(4), 745–762 (2018)
Abolarinwa, A., Ruzhansky, M.: Generalized Hardy type and Rellich type inequalities on the Heisenberg group. (submitted) (2022). arXiv:2209.04225v2
Abolarinwa, A., Rauf, K., Yin, S.: Sharp \(L^p\) Hardy and uncertainty principle inequalities on the sphere. J. Math. Ineq. 13(4), 1011–1022 (2019)
Abolarinwa, A., Rauf, K., Yin, S.: Remarks on \(L^p\)-CKN interpolation inequalities of Hardy and Rellich types on the sphere. Nig. J. Math. Appl. (to appear) (2022)
Andriano, L., Xia, C.: Hardy type inequalities on complete Riemannian manifolds. Monatsh. Math. 163(2), 115–129 (2011)
Caffarelli, L., Kohn, R., Nirenberg, L.: First order interpolation inequalities with weights. Compos. Math. 53, 259–275 (1984)
D’Ambrosio, L.: Hardy-type inequalities related to degenerate elliptic differential operators. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 5(4), 451–486 (2005)
D’Ambrosio, L.: Some Hardy Inequalities on the Heisenberg Group. Diff. Equ. 40, 552–564 (2004)
Davies, E.B., Hinz, A.M.: Explicit constants for Rellich inequalities in \(L^p(\Omega )\). Math. Z. 227, 511–523 (1998)
Devyver, B.: A spectral result for Hardy inequalities. J. Math. Pures. Appl. 102, 813–853 (2014)
Di, Y., Jiang, L., Shen, S., Jin, Y.: A note on a class of Hardy-Rellich type inequalities. J. Inequal. Appl. 2013, 84 (2013)
Dou, J., Niu, P., Yuan, Z.: A Hardy inequality with remainder terms in the Heisenberg group and the weighted eigenvalue problem. J. Inequal. Appl. Article ID 32585, 25pp (2007)
Du, F., Mao, J.: Hardy and Rellich type inequalities on metric measure spaces. J. Math. Anal. Appl. 429, 354–365 (2015)
Folland, G.B.: Subelliptic estimates and function spaces on nilpotent Lie groups. Ark. Mat. 13(1–2), 161–207 (1975)
Folland, G.B., Stein, E.M.: Hardy spaces on homogeneous groups. Math. Notes., Princeton Univ. Press, Princeton (1982)
Garofalo, N., Lanconelli, E.: Frequency function on the Heisenberg group, the uncertainty principle and unique continuation. Ann. Inst. Fourier (Grenoble) 40, 313–356 (1990)
Gracía, J.P., Peral Alonso, I.: Hardy inequalities and some critical elliptic and parabolic problems. J. Differ. Equ. 144, 441–476 (1998)
Han, Y., Niu, P.: Some Hardy type inequalities in the Heisenberg group. J. Inequal. Pure Appl. Math. 4(5), 1–5 (2003)
Han, Y., Niu, P., Zhang, T.: On first order interpolation inequalities with weights on the Heisenberg group. Acta Math. Sinica 27(12), 2493–2506 (2011). (English series)
Hardy, G., Littlewood, J.E., Polya, G.: Inequalities, 2nd edn. Cambridge Univ. Press, Cambridge (1952)
Ioku, N., Ishiwata, M., Ozawa, T.: Hardy type type inequalities in \(L^p\) with sharp remainders. J. Inequal. Appl. 5, 1–7 (2017)
Jin, Y., Han, Y.: Weighted Rellich inequality on H-type groups and Nonisotropic Heisenberg group. J. Inequal. Appl. Article ID 158281, 17pp (2010)
Kombe, I.: Sharp weighted Rellich and uncertainty principle inequalities on carnot groups. Commun. Appl. Anal. 14(2), 251–272 (2010)
Kombe, I., Özaydin, M.: Improved Hardy and Rellich inequalities on Riemannian manifolds. Trans. Am. Math. Soc. 361, 6191–6203 (2009)
Li, Y., Abolarinwa, A., Alkhaldi, H., Ali, A.: Some inequalities of Hardy type related to Witten Laplace operator on smooth metric measure spaces. Mathematics 10(23), 4580 (2022)
Lindqvist, P.: On the equation \(\text{ div }(|\nabla u|^{p-2}\nabla u)+\lambda |u^{p-2}u=0\). Proc. Am. Math. Soc. 109, 157–164 (1990)
Niu, P., Zhang, H., Wang, Y.: Hardy type and Rellich type inequalities on the Heisenberg group. Proc. Am. Math. Soc. 129, 3623–3630 (2001)
Opic, B., Kufner, A.: Hardy-type inequalities. Pitman Res. Notes Math Ser. 219 (1990)
Ozawa, T., Ruzhansky, M., Suragan, D.: \(L^p\)-Caffarelli-Kohn-Nirenberg type inequalities on homogeneous groups. Quart. J. Math. 70, 305–318 (2019)
Rellich, F.: Perturbation theory of eigenvalue problems. Gordon and Breach, New York (1969)
Ruzhansky, M., Suragan, D.: Hardy inequalities on homogeneous groups. Progress in Math., vol. 327, Birkhä user, 588 pp (2019)
Wang, J., Niu, P.: Sharp weighted Hardy type inequalities and Hardy-Sobolev type inequalities on polarizable Carnot groups. Comptes Rendus Math. 346, 1231–1234 (2008)
Xi, L., Dou, J.: Some weighted Hardy and Rellich inequalities on the Heisenberg group. Int. J. Math. 23(03), 2150011 (2021)
Yang, Q.: Hardy type inequality related to Carnot-Carathéodory distance on the Heisenberg group. Proc. Am. Math. Soc. 141(1), 351–362 (2013)
Yang, Q.: Best constants in the Hardy-Rellich type inequalities on the Heisenberg group. J. Math. Anal. Appl. 342(1), 423–431 (2008)
Acknowledgements
This paper was completed during the author research visit to Ghent Analysis and PDE Centre, Ghent University. He therefore gratefully acknowledges the research supports of IMU-Simons African Fellowship Grant and EMS-Simons for African program. He thanks his host, Professor Michael Ruzhansky, for useful discussions on this project. He also thanks the two anonymous referees for their comments on the earlier version of this paper. One of the referees pointed out Ref. [33] to us. So we thank Professor Jingbo Dou for making that reference available to us.
Funding
This work does not receive any funding.
Author information
Authors and Affiliations
Contributions
AA is the only contributor in the preparation of this manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The author declares that there is no competing interests.
Ethics approval and consent to participate
Not applicable.
Consent for publication
Not applicable.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Abolarinwa, A. Weighted Hardy and Rellich Types Inequalities on the Heisenberg Group with Sharp Constants. J Nonlinear Math Phys 30, 677–698 (2023). https://doi.org/10.1007/s44198-022-00105-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s44198-022-00105-1