English

A sharp Trudinger-Moser type inequality involving $L^{n}$ norm in the entire space $\mathbb{R}^{n}$

Analysis of PDEs 2017-03-03 v1

Abstract

Let W1,n(RnW^{1,n} ( \mathbb{R}^{n} be the standard Sobolev space and n\left\Vert \cdot\right\Vert _{n} be the LnL^{n} norm on Rn\mathbb{R}^n. We establish a sharp form of the following Trudinger-Moser inequality involving the LnL^{n} norm supuW1,n(Rn)=1RnΦ(αnunn1(1+αunn)1n1)dx<+ \underset{\left\Vert u\right\Vert _{W^{1,n}\left(\mathbb{R} ^{n}\right) }=1}{\sup}\int_{ \mathbb{R}^{n}}\Phi\left( \alpha_{n}\left\vert u\right\vert ^{\frac{n}{n-1}}\left( 1+\alpha\left\Vert u\right\Vert _{n}^{n}\right) ^{\frac{1}{n-1}}\right) dx<+\infty in the entire space Rn\mathbb{R}^n for any 0α<10\leq\alpha<1, where Φ(t)=etn2j=0\Phi\left( t\right) =e^{t}-\underset{j=0}{\overset{n-2}{\sum}}% \frac{t^{j}}{j!}, αn=nωn11n1\alpha_{n}=n\omega_{n-1}^{\frac{1}{n-1}} and ωn1\omega_{n-1} is the n1n-1 dimensional surface measure of the unit ball in Rn\mathbb{R}^n. We also show that the above supremum is infinity for all α1\alpha\geq1. Moreover, we prove the supremum is attained, namely, there exists a maximizer for the above supremum when α>0\alpha>0 is sufficiently small. The proof is based on the method of blow-up analysis of the nonlinear Euler-Lagrange equations of the Trudinger-Moser functionals. Our result sharpens the recent work \cite{J. M. do1} in which they show that the above inequality holds in a weaker form when Φ(t)\Phi(t) is replaced by a strictly smaller Φ(t)=etn1j=0\Phi^*(t)=e^{t}-\underset{j=0}{\overset{n-1}{\sum}}% \frac{t^{j}}{j!}. (Note that Φ(t)=Φ(t)+tn1(n1)!\Phi(t)=\Phi^*(t)+\frac{t^{n-1}}{(n-1)!}).

Keywords

Cite

@article{arxiv.1703.00901,
  title  = {A sharp Trudinger-Moser type inequality involving $L^{n}$ norm in the entire space $\mathbb{R}^{n}$},
  author = {Guozhen Lu and Maochun Zhu},
  journal= {arXiv preprint arXiv:1703.00901},
  year   = {2017}
}

Comments

33 pages, submitted for publication on February 8, 2017