Abstract
We prove geometric \(L^p\) versions of Hardy’s inequality for the sub-elliptic Laplacian on convex domains \(\Omega \) in the Heisenberg group \(\mathbb {H}^n\), where convex is meant in the Euclidean sense. When \(p=2\) and \(\Omega \) is the half-space given by \(\langle \xi , \nu \rangle > d\) this generalizes an inequality previously obtained by Luan and Yang. For such p and \(\Omega \) the inequality is sharp and takes the form
where \({{\mathrm{\text {dist}}}}(\, \cdot \,, \partial \Omega )\) denotes the Euclidean distance from \(\partial \Omega \).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In [12] Luan and Yang prove the Hardy inequality
where an element \(\xi \in \mathbb {H}^n\) is written as \(\xi =(x, y, t)\), with \(x, y\in \mathbb {R}^n\) and \(t\in \mathbb {R}\), and \(\mathbb {H}^n_+:=\{\xi \in \mathbb {H}^n : t>0\}\). In this paper we provide a different proof of this inequality, generalize it to any half-space of \(\mathbb {H}^n\) and use it to obtain a weighted geometric Hardy inequality on a convex domain \(\Omega \), where convex is meant in the Euclidean sense. The weight that appears in our results is in some sense a natural sub-elliptic weighting of the Euclidean distance and is closely related to distances studied in [14, 16].
We begin with a short introduction providing the basic definitions, notation and background necessary for the sequel.
The n-dimensional Heisenberg group, which we denote by \(\mathbb {H}^n\), may be described as the set \(\mathbb {R}^{2n+1}\) equipped with the group law
where we use the notation \(\xi = (x_1, \dots , x_n, y_1, \dots , y_n, t)=(x, y, t)\in \mathbb {R}^{2n+1}\). The inverse element of \(\xi \), with respect to the group law, is denoted by \(\xi ^{-1}\) and we note that \(\xi ^{-1}=-\xi \). The group law induces the following dilation operation
The Lie algebra of left-invariant vector fields on \(\mathbb {H}^n\) is spanned by
for \(1\le i\le n\), together with their commutators. The only non-zero commutators are
We also define the associated gradient \({\nabla _{\mathbb {H}^n}}:= (X_1, \dots , X_n, Y_1, \dots , Y_n)\) and the Heisenberg Laplacian \(\Delta _{\mathbb {H}^n}\) on \(\mathbb {H}^n\), formally given by \(\Delta _{\mathbb {H}^n}:= \sum _{i=1}^n X_i^2+Y_i^2\). The collection of vector fields \(\{X_i, Y_i : 1\le i\le n\}\) satisfies the Hörmander finite rank condition:
Thus the Heisenberg Laplacian is a second order hypoelliptic differential operator [10].
We call a Lipschitz curve \(\gamma :I\subset \mathbb {R}\rightarrow \mathbb {H}^n\) horizontal if its tangent at almost every \(\tau \in I\) is spanned by the \(X_i\) and \(Y_i\), that is, for a.e. \(\tau \in I\) there exist \(a, b \in \mathbb {R}^n\) such that
We denote the set of all horizontal curves \(\gamma :I \rightarrow \mathbb {H}^n\) by \(\mathcal {S}_{\mathbb {H}^n}(I)\) and for a given \(\gamma \in \mathcal {S}_{\mathbb {H}^n}(I)\) we define its length \(l(\gamma )\) as
By the accessibility theorem of Chow and Rashevsky any pair of points \(\xi _0, \xi _1 \in \Omega \) where \(\Omega \) is an open connected subset of \(\mathbb {H}^n\) can be joined by a horizontal curve \(\gamma :[0, 1]\rightarrow \mathbb {H}^n\) of finite length (see [5, 15]).
The Carnot–Carathéodory distance \(\delta _{cc}\) on \(\mathbb {H}^{n}\) is defined as
The Carnot–Carathéodory distance is not the only distance that has a natural connection to \(\mathbb {H}^n\). A second distance that arises naturally when considering the fundamental solution of \(\Delta _{\mathbb {H}^n}\) is the Kaplan distance (see [9]):
where \(\rho \) is the Kaplan gauge on \(\mathbb {H}^n\) defined by
It turns out that the two distance functions above are bi-Lipschitz equivalent, that is, there exists a constant \(C>0\) such that for all \(\xi ^0, \xi ^1\in \mathbb {H}^n\) we have that
Let \(\mathcal {M}\subset \mathbb {H}^n\) be a 2n-dimensional \(C^1\) manifold. We call a point \(\xi _0 \in \mathcal {M}\) a characteristic point of \(\mathcal {M}\) if the tangent space \(T_{\xi _0}\mathcal {M}\) is spanned by \(\{ X_i(\xi _0),, Y_i(\xi _0) : 1\le i \le n\}\).
Even though both \(\delta _{cc}\) and \(\delta _{K}\) appear naturally when considering the geometric structure of \(\mathbb {H}^n\) these distances can be rather difficult to work with, see for instance the work of Arcozzi and Ferrari [1, 2]. Extra difficulties arise when studying the behaviour of the distance to a hypersurface \(\mathcal {M}\) close to one of its characteristic points.
In what follows we will be interested in inequalities of the form
where \(\Omega \subset \mathbb {H}^n\), \(p\ge 2\) and \(\rho \) is some, possibly weighted, distance from \(\xi \) to the boundary of \(\Omega \). In the Euclidean setting, with \({\nabla _{\mathbb {H}^n}}\) replaced by the usual gradient and \(\rho \) by the Euclidean distance, such inequalities have a long history and wide range of applications (see, for instance, [4, 8, 13]).
In the setting of the Heisenberg group results of this kind have been obtained through methods based on sub-elliptic capacity and Fefferman–Phong inequalities. In [7] the authors provide sharp conditions on the triple \(\Omega , \rho \) and C for the validity of (2). However, the results obtained in [7] are of a rather non-explicit nature and what they say in a specific setting is not very approachable.
One of the obstacles in proving inequalities of the form (2) on domains in \(\mathbb {H}^n\) is that the natural distances on \(\mathbb {H}^n\) (\(\delta _{cc}, \delta _K\)) are rather difficult to work with. If \(\Omega =\mathbb {H}^n\setminus \{\xi _0\}\) and \(\rho \) is the Carnot–Carathéodory or Kaplan distance to the point \(\xi _0\in \mathbb {H}^n\) inequalities of this form have been studied in a several articles (see, for instance, [6, 9, 11, 17]). However, when \(\partial \Omega \) is a more complicated set the problem becomes more difficult. Results concerning the behaviour of the distance from sets and a detailed analysis of the problems arising can be found in work by Arcozzi and Ferrari [1, 2].
In this article we begin by generalizing (1) to the case where \(\Omega \) is an arbitrary half-space of \(\mathbb {H}^n\). The proof given here differs from that given in [12] and contains their result as a special case. Moreover, from our proof of (1) and the corresponding generalizations we are able to apply a standard argument and find \(L^p\) versions of the inequalities.
In Sect. 3, we combine our inequalities for half-spaces with a method used by Avkhadiev in the Euclidean setting [3] to obtain an inequality of the form (2) for convex domains in \(\mathbb {H}^n\), here convex is meant in the Euclidean sense, and with \(\rho \) being a weighted Euclidean distance. More specifically we have that
where \(p\ge 2\), \({{\mathrm{\text {dist}}}}(\, \cdot \,, \partial \Omega )\) denotes the Euclidean distance to the boundary of \(\Omega \) and \(\nu (\xi )\in \mathbb {S}^{2n}\) is such that \(\xi + {{\mathrm{\text {dist}}}}(\xi , \partial \Omega )\nu (\xi ) \in \partial \Omega \).
2 Hardy inequalities on half-spaces of \(\mathbb {H}^n\)
For \(\nu \in \mathbb {S}^{2n}\) and \(d\in \mathbb {R}\) let \(\Pi _{\nu , d}\) be the hyperplane in \(\mathbb {H}^n\) defined by the equation \(\langle \xi , \nu \rangle =d\). Correspondingly, let \({\Pi _{\nu , d}^+}\) be the half-space of \(\mathbb {H}^n\) where \(\langle \xi , \nu \rangle >d\).
Theorem 2.1
Let \(u\in C_0^\infty ({\Pi _{\nu , d}^+})\). Then the following inequality holds
By choosing \(\nu \) to be the unit vector in the t direction and d to be zero the above theorem reduces to (1).
In the case of a half-space it was pointed out to us by Ruszkowski that outside a certain cone the weighted distance appearing in Theorem 2.1 is comparable to the Carnot–Carathéodory distance on the Heisenberg group. In fact, the weighted distance coincides with a reduced version of the Carnot–Carathéodory distance [14, 16], namely
For results concerning this reduced distance and Hardy inequalities closely related to those obtained here we refer to [14] and an upcoming article by Ruszkowski [16].
We proceed by providing a factorization-type proof of the above theorem and also sketch how to obtain the same statement from (1) through a simple translation argument. The second argument has the slight advantage that it gives a geometric interpretation of the weight appearing in the inequality, but most importantly it simplifies the proof that (3) is sharp. However, later in the article we will need the calculations performed in our first proof.
Proof of Theorem 2.1
The inequality is obtained by a simple factorization argument and the optimization of a parameter \(\alpha \). For \(u\in C^\infty _0({\Pi _{\nu , d}^+})\) and any \(V\in H^1({\Pi _{\nu , d}^+}; \mathbb {R}^{2n})\) with components \((V_1, \dots , V_{2n})\) we have that
where the last equality is obtained by partial integration and the fact that u has compact support.
Rearranging the terms one finds the following inequality
We now choose the components of V as
A simple calculation gives us that
Inserting into equation (4) we find that
Choosing \(\alpha \) to maximize \(-\alpha (1+\alpha )\) completes the proof. \(\square \)
As mentioned above the theorem admits a second proof through a translation argument, and we proceed by sketching this alternative proof. The main reason for including this is that it reduces the proof of sharpness of (3) to considering a given half-space, but it also gives a second geometric interpretation of the weight appearing in the theorem.
We sketch the proof only in the case of \(\mathbb {H}^1\). The ideas translate without change to higher dimension but the geometry of the argument is more transparent in the case \(n=1\). For simplicity we will also only deal with the case \(d=0\), i.e. a plane passing through the origin.
For \(\nu =(\nu _x, \nu _y, \nu _t)\in \mathbb {S}^2\), let \(\Pi _{\nu }\) be the plane in \(\mathbb {H}^1\) defined by the equation \(\langle \xi , \nu \rangle =0\). If \(\nu _t\ne 0\) we can find a \(\xi ^0\in \Pi _\nu \) such that \(\xi ^0\) is a characteristic point of \(\Pi _\nu \). This reduces to solving the following system of equations:
From the first two equations we find that
which combined with the third equation gives the solution
Applying a change of variables given by left translation by \(-\xi ^0\) and using the left-invariance of X and Y reduces the left-hand side of inequality (3) to the case of \(\Pi _\nu =\{\xi \in \mathbb {H}^1 : t=0\}\). Thus we may apply (1). Changing back variables the right-hand side becomes, after some algebraic manipulations, the desired expression. For arbitrary non-vertical planes (\(\nu _t\ne 0\)) the argument goes through without any substantial change. For vertical planes (\(\nu _t=0\)) the result can be found through a simple limiting process.
In the case treated by Luan and Yang the term \(|x|^2+|y|^2\) has a clear interpretation as the square of the Euclidean distance to the centre of \(\mathbb {H}^1\), which here actually coincides with the Carnot–Carathéodory distance. This is precisely the distance from \(\xi \) to the subspace of \(\mathbb {H}^1\) consisting of points where \(\nu \) is orthogonal to both X and Y.
The translation argument above then provides the interpretation that the weight corresponds to the Carnot–Carathéodory distance from the subspace where the \(X_i\) and \(Y_i\) span a hyperplane which is parallel to \(\Pi _\nu \), multiplied by a factor corresponding to how “tilted” \(\Pi _\nu \) is. If we let \(\mathcal {H}_{\nu }\) denote the subspace of \(\mathbb {H}^1\) given by \(\{\xi \in \mathbb {H}^1 : X(\xi )\perp \nu , Y(\xi )\perp \nu \}\) one finds that
One should note that this weight behaves well with respect to both \(\xi \) and \(\nu \). In particular, if we let \(\nu _t\) tend to zero this converges to 1 / 4. As this leads to a rather surprising invariance of the Hardy inequality with respect to any choice of vertical plane we state this as a corollary.
Corollary 2.2
Let \(u\in C_0^\infty ({\Pi _{\nu , d}^+})\) with \(\nu _t=0\). Then the following inequality holds
With the above translation argument in hand we see that to prove the sharpness (3) it suffices to consider a given pair of \(\nu \in \mathbb {S}^{2n}\) and \(d\in \mathbb {R}\). Thus we restrict our attention to the case \({\Pi _{\nu , d}^+}= \{ (x, y, t)\in \mathbb {H}^n : t \ge 0\}\), that is, \(\nu =(0, \dots , 0, 1)\) and \(d=0\). We will also make use of the identity
where \(\xi '=(x, y)\), \(\nabla '\) denotes the gradient in \(\mathbb {R}^{2n}\) acting in the \(\xi '\) variables and \(\Lambda \) is the skew symmetric matrix
It follows that
The sharpness of (3) now follows from a straightforward variational argument with the ansatz \(u(x, y, t)=w(t)\phi (x, y)\). We argue as follows:
where we used that \(2 \int _{\mathbb {R}_+} w w' \, dt = \int _{\mathbb {R}_+} (w^2)' \, dt =0\), the sharp Hardy inequality on \(\mathbb {R}_+\) and that
which follows by a simple dimensionality argument. Hence the constant appearing in Theorem 2.1 is sharp. For vertical planes, i.e. the ones that can not be reached by translation, the sharpness follows by a limiting procedure but can also be found by an almost identical variational argument but considering a slightly different quotient.
2.1 An \(L^p\) Hardy inequality on a half-space of \(\mathbb {H}^n\)
We may use standard techniques to generalize the proof of the previous theorem to construct \(L^p\) Hardy inequalities for any \(p\ge 2\). We summarize the results in the following theorem.
Theorem 2.3
For \(\nu \in \mathbb {S}^{2n}\) and \(d\in \mathbb {R}\) let \({\Pi _{\nu , d}^+}\) be the half-space described previously. Then for \(p\ge 2\) and \(u\in C_0^\infty ({\Pi _{\nu , d}^+})\) the following inequality holds
Moreover, the constant in the inequality is sharp.
The above \(L^p\) version of our Hardy inequality on a half-space is perhaps not the most natural generalization of Theorem 2.1; a more natural weight in the right-hand side of (5) would be
However, by Jensen’s inequality it is easy to see that Theorem 2.3 implies a Hardy inequality with the above weight but with a worse constant. We believe that such an inequality should hold with the same constant as in (5), namely \(\bigl (\frac{p-1}{p}\bigr )^p\) (which is the sharp constant also for the Euclidean counterpart), but so far we are not able to prove this.
Proof of Theorem 2.3
The proof of the theorem is very similar to the proof presented above for the \(L^2\) case. By the divergence theorem we have for \(g\in H^1({\Pi _{\nu , d}^+})\) and \(V\in C^\infty ({\Pi _{\nu , d}^+}; \mathbb {R}^{2n+1})\) that
Here and in what follows \(\text {div}\) and \(\nabla \) denote the usual divergence and gradient in \(\mathbb {R}^{2n+1}\). By Hölder’s and Young’s inequalities we have that
Inserting this into (5) and rearranging the terms we obtain
Choose \(V=X_i\) and let
By the same calculations as earlier we obtain that
where
Maximizing this constant in \(\alpha \) we find that
where the maximum is attained at
By an almost identical calculation but with \(V=Y_i\) and
one finds that
Adding the two inequalities and summing over \(i=1, \ldots , n\) we find that
Since \(p\ge 2\), the function \(\varphi :x \mapsto x^{p/2}\) is superadditive, and therefore
Inserting this into the above we get (5).
By a similar argument as in the case \(p=2\) we can prove that the constant is sharp in the sense that if it were replaced by a larger constant we could choose \({\Pi _{\nu , d}^+}\) such that the inequality fails. To achieve this we wish to find an upper bound for the quantity
We begin by choosing \(\nu _0=(1, 0, \dots , 0)\) and \(d=0\). By the same calculations as in the \(L^2\) case we then find that the quotient can be rewritten in the form
With the same ansatz as before, namely \(u(\xi )=\phi (\xi ') w(t)\), we can bound this from above by
where \(\mathbb {R}^{2n}_+= \{\xi '\in \mathbb {R}^{2n} : x_1>0\}\).
In the case \(p=2\) things are slightly simpler and the above quotient splits into three parts, one of which easily can be seen to be zero and another which can be eliminated by a simple scaling argument. However, in the general case we cannot in such a simple manner split the above integral. But using Jensen’s inequality we can bound the quotient by some appropriately weighted sum of three terms and then use a similar scaling argument as for \(p=2\).
What we need is the following simple consequence of Jensen’s inequality: For \(\alpha \ge 1\), \(x_i\ge 0\) and any \(a_i>0\), \(i=1, \dots , k\), we have that
We will apply this with \(k=3\), \(\alpha =p/2\), \(x_1=|\nabla \phi |^2|w|^2\), \(x_2=4 |w w'|\,|\phi \langle \Lambda \xi ', \nabla \phi \rangle |\), \(x_3=4 |\xi '|^2|\phi |^2|w'|^2\) and \(a_i\)’s to be chosen later. We also denote the effective weights of each \(x_i\) by \(c_i\), that is
Using the above we find that
By a simple rescaling argument in t, by say replacing w(t) by \(\widetilde{w}(t)=w(\lambda t)\) with \(\lambda >0\), one sees that we independently of choice of \(\phi \) can make the last two terms arbitrarily small. Moreover, since the first term is independent of w we can use the sharp Hardy inequality in \(\mathbb {R}^{2n}_+\) (see, for instance, [13, 18]) to find that
Since we have lost all dependence on \(c_2\) and \(c_3\) we are free to choose the \(a_i\) in such a way that \(c_1\) is arbitrarily close to 1, which can be done by fixing \(a_2, a_3\) positive and choosing \(a_1\) sufficiently large. This completes the proof. \(\square \)
3 Hardy inequalities for convex domains in \(\mathbb {H}^n\)
We now turn our attention to using Theorem 2.1 to obtain a geometric version of Hardy’s inequality on convex domains in \(\mathbb {H}^n\).
Theorem 3.1
Let \(\Omega \) be a convex domain in \(\mathbb {H}^n\). For \(\xi \in \Omega \) let \(\nu (\xi )\) denote the unit normal of \(\partial \Omega \) at a point \(\hat{\xi }\in \partial \Omega \), where \(\hat{\xi }\) is such that \({{\mathrm{\text {dist}}}}(\xi , \partial \Omega )={{\mathrm{\text {dist}}}}(\hat{\xi }, \xi )\). Then for any \(u\in C^\infty _0(\Omega )\) we have that
Note that we do not require the domain \(\Omega \) to be bounded. In particular if \(\Omega \) is a half-space of \(\mathbb {H}^n\) this is precisely Theorem 2.1. The proof is based on an approach used in [3] and proceeds along the same lines as the that of Theorem 2.1 with an additional element in which we approximate the domain \(\Omega \) by convex polytopes.
Proof of Theorem 3.1
We begin by proving the inequality when \(\Omega \) is a convex polytope. Let \(\{F_k\}_k\) be the facets of \(\Omega \) with corresponding inward pointing unit normals \(\{\nu _k\}_k\). Further we construct a partition of \(\Omega \) into the essentially disjoint sets \(\Omega _k:=\{\xi \in \Omega : {{\mathrm{\text {dist}}}}(\xi , \partial \Omega )={{\mathrm{\text {dist}}}}(\xi , F_k)\}\). Since the partition elements \(\Omega _k\) are defined through a finite number of affine inequalities they are polytopes.
For each partition element \(\Omega _k\) we can now apply the same idea as in the proof of the previous theorem. The only difference will be that not all the boundary terms from the partial integration are zero. In each \(\Omega _k\) we define the potential V with components
Through the same calculations as before one finds that
where \(n_k(\xi )\) denotes the outward pointing unit normal of \(\partial \Omega _k\) at \(\xi \). Note that on \(F_k\subset \partial \Omega _k\) we have that \(n_k(\xi )=-\nu _k\).
Since u is compactly supported in \(\Omega \) the boundary contribution from \(\partial \Omega \) is again zero, and thus all we need to deal with are the parts of \(\partial \Omega _k\) that are in the interior of \(\Omega \). For each such facet of \(\Omega _k\) there is some \(\Omega _l\), \(l\ne k\), that shares this facet. Let \(\Gamma _{kl}\) denote the common facet of \(\Omega _k\) and \(\Omega _l\), and note that \(n_k{\mid _{\Gamma _{kl}}}=-n_l{\mid _{\Gamma _{kl}}}\). Summing over all partition elements \(\Omega _k\) and letting \(n_{kl}=n_{k}{\mid _{\Gamma _{kl}}}\), i.e. the unit normal of \(\Gamma _{kl}\) pointing from \(\Omega _k\) into \(\Omega _l\), we obtain using the earlier calculations for the components of V that
In the last equality we use the fact that \(\Gamma _{kl}\) is by definition the set where \({{\mathrm{\text {dist}}}}(\xi , F_k)={{\mathrm{\text {dist}}}}(\xi , F_l)\).
By construction we have that
Rearranging we find that \(\xi \cdot (\nu _k-\nu _l)-d_k+d_l=0\), that is, \(\Gamma _{kl}\) is a hyperplane with normal \(\nu _k-\nu _l\). Therefore, we have \(\nu _k-\nu _l \parallel n_{kl}\) and all that remains to do is check that \((\nu _k-\nu _l)\cdot n_{kl}>0\). Since \(\nu _k\) points into k-th partition element and \(n_{kl}\) points out, \(\nu _k\cdot n_{kl}\) is non-negative. By the same argument the term \(\nu _l\cdot n_{kl}\) is non-positive. Therefore, the entire expression is non-negative and moreover we have that
where \(\alpha _{kl}\) is the angle between \(\nu _k\) and \(\nu _l\). Thus \((\nu _k-\nu _l)\cdot n_{kl}=\sqrt{2-2\cos \alpha _{kl}}\) and equation (6) gives us that
We conclude that the boundary terms are of the correct sign, and the inequality follows.
Let now \(\Omega \) be an arbitrary convex domain. For \(u\in C_0^\infty (\Omega )\) we can always choose an increasing sequence of convex polytopes \(\{\Omega _j\}_{j=1}^\infty \) such that \(u\in C_0^\infty (\Omega _1)\), \(\Omega _j\subset \Omega \) and \(\Omega _j\rightarrow \Omega \) when \(j\rightarrow \infty \). Letting \(\nu _j(\xi )\) be the map \(\nu \) from above corresponding to \(\Omega _j\) we have that
Letting j tend to infinity completes the proof. \(\square \)
3.1 \(L^p\) Hardy inequality for a convex domain
Again we can make slight alterations to the proof above to obtain \(L^p\)-inequalities, \(p\ge 2\), on convex domains. We summarize the results in the following theorem.
Theorem 3.2
Let \(\Omega \) be a convex domain in \(\mathbb {H}^n\) and for \(\xi \in \Omega \) let \(\nu (\xi )\) denote the unit normal of \(\partial \Omega \) at a point \(\hat{\xi }\in \partial \Omega \), where \(\hat{\xi }\) is such that \({{\mathrm{\text {dist}}}}(\xi , \partial \Omega )={{\mathrm{\text {dist}}}}(\hat{\xi }, \xi )\). Then for any \(p\ge 2\) and \(u\in C_0^\infty (\Omega )\) the following inequality holds
Proof of Theorem 3.2
The proof of the theorem is very similar to the proof presented above for the \(L^2\) case. We again begin with the case when \(\Omega \) is a polytope and consider the same partition \(\Omega _k\). For \(g\in H^1(\Omega _k)\) and \(V\in C^\infty (\Omega _k; \mathbb {R}^{2n+1})\) the divergence theorem gives us that
Consider the first term in the right-hand side. Using Hölder’s and Young’s inequalities we have that
Inserting this into 3.1 and rearranging the terms we obtain
Choosing \(V=X_i\) and letting
we see by the same calculations as earlier that
where
Maximizing this constant in \(\alpha \) we find as before that
where the maximum is attained at
What remains to complete the proof is to show that we can discard the boundary terms after summing over the \(\Omega _k\), in other words we need to prove that
As in the \(L^2\) case only the boundary terms that come from the interior of \(\Omega \) are non-zero, and again these appear in pairs. Thus, in the same manner as before we wish to show that
is non-negative.
By the same geometric considerations as above \(n_{kl}=\beta (\nu _k-\nu _l)\), where \(\beta =1/{\sqrt{2-2\cos (\alpha _{kl})}}\). Using this combined with the fact that \({{\mathrm{\text {dist}}}}(\xi , F_k)={{\mathrm{\text {dist}}}}(\xi , F_l)\) on \(\Gamma _{kl}\) we find that (3.1) can be rewritten as
Thus it suffices to proof that the expression in the brackets is positive. Clearly this is positive when \(\langle X_i(\xi ), \nu _k\rangle \) and \(\langle X_i(\xi ), \nu _l\rangle \) have different signs. On the other hand if the two scalar products have the same sign we have an expression of the form \(A^p -A^{p-1}B-B^{p-1}A+B^{p-1}\), where \(A=|\langle X_i(\xi ), \nu _k\rangle |\) and \(B=|\langle X_i(\xi ), \nu _l\rangle |\). But this we can rewrite as
Now it is clear that both terms on the right-hand side have the same sign. Thus (7) is non-negative and we conclude that the boundary terms can be discarded.
By almost identical calculations we find the corresponding inequalities for the \(Y_i\). Summing all terms and using Jensen’s inequality as in the proof of Theorem 2.3 we obtain the desired inequality for polytopes. The proof of the theorem can now be completed in the same manner as for Theorem 3.1. \(\square \)
References
Arcozzi, N., Ferrari, F.: Metric normal and distance function in the Heisenberg group. Math. Z. 256(3), 661–684 (2007)
Arcozzi, N., Ferrari, F.: The Hessian of the distance from a surface in the Heisenberg group. Ann. Acad. Sci. Fenn. Math. 33(1), 35–63 (2008)
Avkhadiev, F.G.: Hardy type inequalities in higher dimensions with explicit estimate of constants. Lobachevskii J. Math. 21, 3–31 (2006)
Balinsky, A.A., Evans, W.D., Lewis, R.T.: The Analysis and Geometry of Hardy’s Inequality. Universitext, Springer International Publishing, New York (2015)
Chow, W.L.: Über Systeme von linearen partiellen Differentialgleichungen erster Ordnung. Math. Ann. 117, 98–105 (1939)
D’Ambrosio, L.: Some hardy inequalities on the Heisenberg group. Differ. Equ. 40(4), 552–564 (2004)
Danielli, D., Garofalo, N., Phuc, N.C.: Inequalities of Hardy-Sobolev type in Carnot-Carathéodory spaces, Sobolev spaces in mathematics. I Int. Math. Ser. (N. Y.), vol. 8, pp. 117–151. Springer, New York (2009)
Davies, E.B.: Heat kernels and Spectral Theory, Cambridge Tracts in Mathematics, vol. 92. Cambridge Univ. Press, Cambridge (1989)
Garofalo, N., Lanconelli, E.: Frequency functions on the Heisenberg group, the uncertainty principle and unique continuation. Ann. Inst. Fourier (Grenoble) 40(2), 313–356 (1990)
Hörmander, L.: Hypoelliptic second order differential equations. Acta Math. 119(1), 147–171 (1967)
Jin, Y.: Hardy-type inequalities on H-type groups and anisotropic Heisenberg groups. Chin. Ann. Math. Ser. B 29(5), 567–574 (2008)
Luan, J., Yang, Q.: A Hardy type inequality in the half-space on \(\mathbb{R}^n\) and Heisenberg group. J. Math. Anal. Appl. 347(2), 645–651 (2008)
Maz’ya, V.: Sobolev spaces with applications to elliptic partial differential equations, augmented ed., Fundamental Principles of Mathematical Sciences. Springer, Heidelberg (2011)
Prandi, D., Rizzi, L., Seri, M.: A sub-Riemannian Santaló formula with applications to isoperimetric inequalities and first Dirichlet eigenvalue of hypoelliptic operators, p. 1509.05415. ArXiv e-prints, (2015)
Rashevsky, P.K.: Any two points of a totally nonholonomic space may be connected by an admissible line. Uch. Zap. Ped. Inst. Liebknechta Ser. Phys. Math. 2, 83–94 (1938). Russian
Ruszkowski, B.: Hardy inequalities for the Heisenberg Laplacian on convex bounded polytopes, in preperation (2016)
Ruzhansky, M., Suragan, D.: Local Hardy inequality for sums of squares. ArXiv e-prints, 1601.06157 (2016)
Tidblom, J.: A Hardy inequality in the half-space. J. Funct. Anal. 221(2), 482–495 (2005)
Acknowledgments
It is a pleasure to thank Professor Ari Laptev for suggesting the problem studied here and for his input and encouragement. Part of this work was carried out during a visit to the Institute of Analysis, Dynamics and Modelling at Universität Stuttgart and the author would like to thank the staff for their hospitality, and in particular Professor Timo Weidl for the invitation. The author would also like to thank Eric Larsson, Bartosch Ruszkowski and Aron Wennman for fruitful discussions. The author is supported by the Swedish Research Council Grant No. 2012-3864.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Ari Laptev.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Larson, S. Geometric Hardy inequalities for the sub-elliptic Laplacian on convex domains in the Heisenberg group. Bull. Math. Sci. 6, 335–352 (2016). https://doi.org/10.1007/s13373-016-0083-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13373-016-0083-4