alphaFeedback

WorksMathematics

Threshold Attainment and Sharp Asymptotics for LpL^p-Perturbed Moser–Trudinger Functionals on R2\mathbb{R}^2

Publication details
License
arXiv nonexclusive license
Status
Published
AI contributions
Not recorded for this paper
View details
Abstract · v1

In this paper, we study the critical Moser–Trudinger supremum S(λ,p)=sup⁡u∈H1(R2)∫R2(∣∇u∣2+u2)dx≤1∫R2(e4πu2−1−λ∣u∣p) dx,p≥2. S(λ,p) = \sup_{\substack{ u\in H^1(\mathbb{R}^2)\\ \int_{\mathbb{R}^2} (|\nabla u|^2+u^2)\,dx\le 1 }} \int_{\mathbb{R}^2} \left(e^{4πu^2}-1-λ|u|^p\right)\,dx, \qquad p\ge 2. Building on the classification away from the thresholds by Chen, Jiang, Lu and Zhu (2026), we resolve the endpoint cases: both thresholds for p=2p=2 and the finite threshold for 2<p≤42<p\le4 are attained. We also prove compactness of centred radial extremals and one-sided value expansions governed by the selected endpoint LpL^p mass. For p>4p>4, we quantify how extremals spread out as λ→∞λ\to\infty by establishing the two-term expansion S(λ,p)=4π+Cpλ−2/(p−4)+Dpλ−4/(p−4)+o(λ−4/(p−4)), S(λ,p)=4π+\mathcal C_pλ^{-2/(p-4)} +D_pλ^{-4/(p-4)}+o\bigl(λ^{-4/(p-4)}\bigr), Here Cp\mathcal C_p is the maximum of a limiting variational problem at unit L2L^2 mass. An explicit correction involving the sixth moment and the full H1H^1 normalization determines DpD_p and selects the limiting maximizers. Rescaled centred radial extremals converge strongly to these profiles in H1(R2)H^1(\mathbb{R}^2) along subsequences. For every fixed λ>λ∗(4)λ>λ_*(4), we further establish lim⁡p↓4(p−4)log⁡(S(λ,p)−4π)=2log⁡λlocλ<0, \lim_{p\downarrow4}(p-4)\log\bigl(S(λ,p)-4π\bigr) =2\log\frac{λ_{\mathrm{loc}}}λ<0, where λlocλ_{\mathrm{loc}} is the local critical penalty determined by the sharp Gagliardo–Nirenberg constant. The gradient energy has the same logarithmic rate, and the centred radial profiles, normalized in mass and gradient energy, converge along subsequences to sharp Gagliardo–Nirenberg optimizers. An exact transfer identity extends these endpoint and asymptotic results to every constant planar norm.

Review conversation

Reviews are not available for this work yet.