Improved Sobolev inequalities on the Heisenberg group

In this paper we prove a refined version of the Sobolev inequality on the Heisenberg group, extending to this context the Euclidean result by Bianchi and Egnell [J. Funct. Anal. 100 (1991) 18-24].