The Moser-Trudinger inequality and its extremals on a disk via energy estimates

We study the Dirichlet energy of non-negative radially symmetric critical points uμ of the Moser–Trudinger inequality on the unit disc in R2, and prove that it expands as 4π+4πμ4+o(μ−4)≤∫B1|∇uμ|2dx≤4π+6πμ4+o(μ−4),as μ→∞, where μ=uμ(0) is the maximum of uμ. As a consequence, we obtain a new proof of the Moser–Trudinger inequality, of the Carleson–Chang result about the existence of extremals, and of the Struwe and Lamm–Robert–Struwe multiplicity result in the supercritical regime (only in the case of the unit disk). Our results are stable under sufficiently weak perturbations of the Moser–Trudinger functional. We explicitly identify the critical level of perturbation for which, although the perturbed Moser–Trudinger inequality still holds, the energy of its critical points converges to 4π from below. We expect, in some of these cases, that the existence of extremals does not hold, nor the existence of critical points in the supercritical regime.