Existence and Nonexistence of Extremals for Trudinger-Moser inequalities with $L^p$ type perturbation on any bounded planar domains

TL;DR

This paper characterizes the existence of extremals for perturbed Trudinger-Moser inequalities on bounded planar domains, revealing a threshold phenomenon depending on the perturbation parameter and employing refined blow-up analysis.

Contribution

It provides a complete characterization of extremal existence for perturbed Trudinger-Moser inequalities with $L^p$ perturbations, extending classical results to two-dimensional domains.

Findings

Existence of a threshold $\lambda^*(p)$ for $p ext{ in }[1,2]$

Attainability of supremum for $p>2$ for all $\lambda$

Development of a comparison principle between radial and non-radial solutions

Abstract

In this study, we investigate the perturbed Trudinger-Moser inequalities as follows:\[ S_\Omega(\lambda,p)=\sup_{u\in H_{0}^{1}(\Omega),\Vert\nabla u\Vert _{L^{2}\left( \Omega\right) }\leq 1}\int_{\Omega}\left( e^{4\pi u^{2}}-\lambda|u|^{p}\right) dx, \] where $1\leq p<\infty$ and $\Omega$ is a bounded domain in $\mathbb{R}^2$. Our results demonstrate that there exists a threshold $\lambda^{\ast}(p)>0$ such that $S_\Omega(\lambda,p)$ is attainable if $\lambda<\lambda^{\ast}(p)$, but unattainable if $\lambda>\lambda^{\ast}(p)$ when $p\in[1,2]$. For $p>2$, however, we show that $S_\Omega(\lambda,p)$ is always attainable for any $\lambda\in \mathbb{R}$. These results are achieved through a refined blow-up analysis, which allow us to establish a sharp Dirichlet energy expansion formula for sequences of solutions to the corresponding Euler-Lagrange equations. The asymmetric nature of our problem poses significant challenges to our analysis. To address these, we will establish an appropriate comparison principle between radial and non-radial solutions of the associated Euler-Lagrange equations. Our study establishes a complete characterization of how $L^p$-type perturbations influence the existence of extremals for critical Trudinger-Moser inequalities on any bounded planar domains, this extends the classical Brezis-Nirenberg problem framework to the two-dimensional settings.