Geometric Hardy and Hardy–Sobolev inequalities on Heisenberg groups
In this paper, we present geometric Hardy inequalities for the sub-Laplacian in half-spaces of stratified groups. As a consequence, we obtain the following geometric Hardy inequality in a half-space of the Heisenberg group with a sharp constant: [Formula: see text] which solves a conjecture in the paper [S. Larson, Geometric Hardy inequalities for the sub-elliptic Laplacian on convex domain in the Heisenberg group, Bull. Math. Sci. 6 (2016) 335–352]. Here, [Formula: see text] is the angle function. Also, we obtain a version of the Hardy–Sobolev inequality in a half-space of the Heisenberg group: [Formula: see text] where [Formula: see text] is the Euclidean distance to the boundary, [Formula: see text], and [Formula: see text]. For [Formula: see text], this gives the Hardy–Sobolev–Maz’ya inequality on the Heisenberg group.