Wulff shapes in the Heisenberg group

Abstract: Given a not necessarily symmetric left-invariant norm $||\cdot ||_K$ in the first Heisenberg group $\mathbb{H}^1$ induced by a convex body $K\subset\mathbb{R}^2$ containing the origin in its interior, we consider the associated perimeter functional, that coincides with the classical sub-Riemannian perimeter in case $K$ is the closed unit disk centered at the origin of $\rr^2$. Under the assumption that $K$ has strictly convex smooth boundary we compute the first variation formula of perimeter for sets with $C^2$ boundary. The localization of the variational formula in the non-singular part of the boundary, composed of the points where the tangent plane is not horizontal, allows us to define a mean curvature function $H_K$ out of the singular set. In the case of non-vanishing mean curvature, the condition that $H_K$ be constant implies that the non-singular portion of the boundary is foliated by horizontal liftings of translations of $\ptl K$ dilated by a factor of $1/H_K$. Based on this we can defined a sphere $\mathbb{B}_K$ with constant mean curvature $1$ by considering the union of all horizontal liftings of $\partial K$ starting from $(0,0,0)$ until they meet again. We give some geometric properties of this sphere and, moreover, we prove that, up to non-homogenoeus dilations and left-translations, they are the only solutions of the sub-Finsler isoperimetric problem in a restricted class of sets. This is joint work with Julián Pozuelo.

analysis of PDEsdifferential geometrymetric geometry

Audience: researchers in the topic

International sub-Riemannian seminar

Series comments: Description: Research seminars in sub-Riemannian geometry