Some Hardy type inequalities in the Heisenberg group.
Using the exact representation of Carnot-Carathéodory balls in the Heisenberg group, we prove that: 1. in the classical sense for all with , where is the distance from the origin; 2. Metric balls are not optimal isoperimetric sets in the Heisenberg group.
Let be a -step Carnot group. The first aim of this paper is to show an interplay between volume and -perimeter, using one-dimensional horizontal slicing. What we prove is a kind of Fubini theorem for -regular submanifolds of codimension one. We then give some applications of this result: slicing of functions, integral geometric formulae for volume and -perimeter and, making use of a suitable notion of convexity, called-convexity, we state a Cauchy type formula for -convex sets. Finally,...