On critical cases of Sobolev's inequalities for Heisenberg groups

We prove some Trudinger-type inequalities and Brezis-Gallouet-Wainger inequality on the Heisenberg group, extending to this context the Euclidean results by T. Ozawa.