We study existence of maximizer for the Trudinger-Moser inequality with general nonlinearity of the critical growth on $R^2$, as well as on the disk. We derive a very sharp threshold nonlinearity between the existence and the non-existence in each case, in asymptotic expansions with respect to growth and decay of the function. The expansions are explicit, using Aperys constant. We also obtain an asymptotic expansion for the exponential radial Sobolev inequality on $R^2$.
Let $M$ be a complete, simply connected Riemannian manifold with negative curvature. We obtain some Moser-Trudinger inequalities with sharp constants on $M$.
We give a new proof of the almost sharp Moser-Trudinger inequality on compact Riemannian manifolds based on the sharp Moser inequality on Euclidean spaces. In particular we can lower the smoothness requirement of the metric and apply the same approach to higher order Sobolev spaces and manifolds with boundary under several boundary conditions.
In this paper, we establish the sharp critical and subcritical trace Trudinger-Moser and Adams inequalities on the half spaces and prove the existence of their extremals through the method based on the Fourier rearrangement, harmonic extension and scaling invariance. These trace Trudinger-Moser and Adams inequalities can be considered as the borderline case of the Sobolev trace inequalities of first and higher orders. Furthermore, we show the existence of the least energy solutions for a class of bi-harmonic equations with nonlinear Neumann boundary condition associated with the trace Adams inequalities.
Wang and Ye conjectured in [22]: Let $Omega$ be a regular, bounded and convex domain in $mathbb{R}^{2}$. There exists a finite constant $C({Omega})>0$ such that [ int_{Omega}e^{frac{4pi u^{2}}{H_{d}(u)}}dxdyle C(Omega),;;forall uin C^{infty}_{0}(Omega), ] where $H_{d}=int_{Omega}| abla u|^{2}dxdy-frac{1}{4}int_{Omega}frac{u^{2}}{d(z,partialOmega)^{2}}dxdy$ and $d(z,partialOmega)=minlimits_{z_{1}inpartialOmega}|z-z_{1}|$.} The main purpose of this paper is to confirm that this conjecture indeed holds for any bounded and convex domain in $mathbb{R}^{2}$ via the Riemann mapping theorem (the smoothness of the boundary of the domain is thus irrelevant). We also give a rearrangement-free argument for the following Trudinger-Moser inequality on the hyperbolic space $mathbb{B}={z=x+iy:|z|=sqrt{x^{2}+y^{2}}<1}$: [ sup_{|u|_{mathcal{H}}leq 1} int_{mathbb{B}}(e^{4pi u^{2}}-1-4pi u^{2})dV=sup_{|u|_{mathcal{H}}leq 1}int_{mathbb{B}}frac{(e^{4pi u^{2}}-1-4pi u^{2})}{(1-|z|^{2})^{2}}dxdy< infty, ] by using the method employed earlier by Lam and the first author [9, 10], where $mathcal{H}$ denotes the closure of $C^{infty}_{0}(mathbb{B})$ with respect to the norm $$|u|_{mathcal{H}}=int_{mathbb{B}}| abla u|^{2}dxdy-int_{mathbb{B}}frac{u^{2}}{(1-|z|^{2})^{2}}dxdy.$$ Using this strengthened Trudinger-Moser inequality, we also give a simpler proof of the Hardy-Moser-Trudinger inequality obtained by Wang and Ye [22].
Though much work has been done with respect to the existence of extremals of the critical first order Trudinger-Moser inequalities in $W^{1,n}(mathbb{R}^n)$ and higher order Adams inequalities on finite domain $Omegasubset mathbb{R}^n$, whether there exists an extremal function for the critical higher order Adams inequalities on the entire space $mathbb{R}^n$ still remains open. The current paper represents the first attempt in this direction. The classical blow-up procedure cannot apply to solving the existence of critical Adams type inequality because of the absence of the P{o}lya-Szeg{o} type inequality. In this paper, we develop some new ideas and approaches based on a sharp Fourier rearrangement principle (see cite{Lenzmann}), sharp constants of the higher-order Gagliardo-Nirenberg inequalities and optimal poly-harmonic truncations to study the existence and nonexistence of the maximizers for the Adams inequalities in $mathbb{R}^4$ of the form $$ S(alpha)=sup_{|u|_{H^2}=1}int_{mathbb{R}^4}big(exp(32pi^2|u|^2)-1-alpha|u|^2big)dx,$$ where $alpha in (-infty, 32pi^2)$. We establish the existence of the threshold $alpha^{ast}$, where $alpha^{ast}geq frac{(32pi^{2})^2B_{2}}{2}$ and $B_2geq frac{1}{24pi^2}$, such that $Sleft( alpharight) $ is attained if $32pi^{2}-alpha<alpha^{ast}$, and is not attained if $32pi^{2}-alpha>alpha^{ast}$. This phenomena has not been observed before even in the case of first order Trudinger-Moser inequality. Therefore, we also establish the existence and non-existence of an extremal function for the Trudinger-Moser inequality on $mathbb{R}^2$. Furthermore, the symmetry of the extremal functions can also be deduced through the Fourier rearrangement principle.