Extremals and Thresholds for Critical Singular Anisotropic Moser-Trudinger Inequalities

Abstract

For $N\ge 2$, $0<\beta <N$ and $q>1$, we study maximizers of the critical singular anisotropic Moser--Trudinger integral \[ \int_{\mathbb{R}^N} \frac{Φ_{N,q,β} (λ_N(1-β/N)|u|^{N/(N-1)})} {F^o(x)^β}\,\mathrm{d}x, \qquad \|F(\nabla u)\|_N^a+\|u\|_q^b\le 1. \] where $a>0$, $0<b\le N$ and ${\Phi }_{N,q,\beta }$ is the integrable Taylor remainder. The supremum is attained for every $a>0$ when $b<N$. For $b=N$ and $1<q<q_{+}$, the first retained Taylor term separates two regimes, with \[ q_-:=\frac{N^2(N-2)}{(N-1)(N-β)},\qquad q_+:=\frac{N^2}{N-β}. \] Attainment holds for every $a>0$ if $1<q<q_{-}$, while for $q>1$, $q_{-}\le q<q_{+}$, there is a finite threshold $a_c>N$ and attainment holds if and only if $0<a\le a_c$. An exact Euclidean reduction shows that the threshold is independent of the anisotropy. The proof combines critical--subcritical scaling with a nonlinear Green-function concentration bound. Radial flux and Pohozaev identities determine the first correction to the subcritical supremum, and refined Green tests give the strict comparison needed for attainment at the finite threshold, including in dimension two.