Hardy-Type Inequalities for the Carnot–Carathéodory Distance in the Heisenberg Group

In this paper we study Hardy inequalities in the Heisenberg group Hn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {H}}^n$$\end{document}, with respect to the Carnot–Carathéodory distance δ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\delta $$\end{document} from the origin. We firstly show that, letting Q be the homogenous dimension, the optimal constant in the (unweighted) Hardy inequality is strictly smaller than n2=(Q-2)2/4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n^2 = (Q-2)^2/4$$\end{document}. Then, we prove that, independently of n, the Heisenberg group does not support a radial Hardy inequality, i.e., a Hardy inequality where the gradient term is replaced by its projection along ∇Hδ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\nabla \!_{\mathbb {H}}\delta $$\end{document}. This is in stark contrast with the Euclidean case, where the radial Hardy inequality is equivalent to the standard one, and has the same constant. Motivated by these results, we consider Hardy inequalities for non-radial directions, i.e., directions tangent to the Carnot–Carathéodory balls. In particular, we show that the associated constant is bounded on homogeneous cones CΣ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C_\Sigma $$\end{document} with base Σ⊂S2n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Sigma \subset {\mathbb {S}}^{2n}$$\end{document}, even when Σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Sigma $$\end{document} degenerates to a point. This is a genuinely sub-Riemannian behavior, as such constant is well known to explode for homogeneous cones in the Euclidean space.