Extremals for the Singular Moser-Trudinger Inequality via n-Harmonic Transplantation
The Moser-Trudinger embedding has been generalized in [Adimurthi A.; Sandeep K., A singular Moser-Trudinger embedding and its applications, \textit{NoDEA Nonlinear Differential Equations Appl.}, 13 (2007), no. 5-6, 585--603] to the following weighted version: if $Ω\subset\mathbb{R}^n$ is bounded, $ω_{n-1}$ is the $\mathcal{H}^{n-1}$ measure of the unit sphere, then for $α>0$ and $β\in [0,n)$, $$ \sup_{u\in\mathcal{B}_1}\int_Ω\frac{e^{α|u|^{n/(n-1)}}}{|x|^β}\leq C \ \Leftrightarrow \ \fracα{α_n}+\fracβ{n}\leq1,\qquad $$ where $α_n=n\cnn$ and $\mathcal{B}_1 = \left\{ u \in W_0^{1, n}(Ω) \ | \ \int_Ω |\nabla u |^n \leq1 \right\}$. We prove that the supremum is attained on any domain $Ω$. The paper also fills in the gaps in the proof of [Lin K.C., Extremal functions for Moser's inequality, \textit{Trans. of. Am. Math. Soc.}, 384 (1996), 2663--2671], which deals with the case $β=0.$