Steiner's formula in the Heisenberg group

Steiner’s tube formula states that the volume of an epsilon -neighborhood of a smooth regular domain in R^n is a polynomial of degree n in the variable epsilon whose coefficients are curvature integrals (called also as quermassintegrals). We prove a similar result in the sub-Riemannian setting of the first Heisenberg group. In contrast to the Euclidean setting, we find that the volume of an epsilon-neighborhood with respect to the Heisenberg metric is an analytic function of epsilon that is generally not a polynomial. The coefficients of the series expansion can be explicitly written in terms of integrals of iteratively defined canonical polynomials of just five curvature terms.