Sharpened Trudinger-Moser Inequalities on the Euclidean Space and Heisenberg Group

Let H-n = C-n x R be the n-dimensional Heisenberg group, Q = 2n + 2 be the homogeneous dimension of H-n. We establish in this paper that the following sharpened Trudinger-Moser inequalities on the Heisenberg group H-n under the homogeneous constraints of the Sobolev norm: sup(parallel to del Hu parallel to QQ+parallel to u parallel to QQ <= 1) integral(Hn) Phi(Q) (alpha(Q)(1 + alpha parallel to u parallel to QQ)(1/Q-1) vertical bar u vertical bar(Q/Q-1))d xi < + infinity, holds if and only if alpha < 1, where Phi(Q)(t) = e(t) - Sigma(Q-2)(0) t(j)/j!. Unlike all the proofs in the literature even in the Euclidean spaces, our proof avoids using the complicated blowup analysis of the Euler-Lagrange equation associated with the Moser functional. In fact, our proof reveals a surprising fact that the known critical Trudinger-Moser inequality on the entire space is equivalent to seemingly much stronger sharpened Trudinger-Moser inequality on the entire space. Furthermore, we obtain the critical Trudinger-Moser inequality and the Concentration-Compactness Principle under the inhomogeneous constraints on the entire Heisenberg group. Finally, using the method of scaling again, we obtain improved Trudinger-Moser inequality under the inhomogeneous constraints. Our approach is surprisingly simple and general and can be easily applied to the all stratified nilpotent groups and other settings. In particular, our method also gives an alternative and much simpler proof of the corresponding results in the Euclidean space.