A sharp Trudinger-Moser type inequality for unbounded domains in $\mathbb{R}^n$ Yuxiang LiBernhard Ruf 35J5046E35Trudinger-Moser inequalityblow-upbest constantunbounded domain The Trudinger-Moser inequality states that for functions $u \in H_0^{1,n}(\Omega)$ ($\Omega \subset \mathbb{R}^{n}$ a bounded domain) with $\int_{\Omega} |\nabla u|^n \mathrm{d}x \le 1$, one has \[ \int_{\Omega} (e^{\alpha_n |u|^{n/(n-1)}} - 1) \mathrm{d}x \le c|\Omega|, \] with $c$ independent of $u$. Recently, the second author has shown that for $n=2$ the bound $c|\Omega|$ may be replaced by a uniform constant $d$ independent of $\Omega$ if the Dirichlet norm is replaced by the Sobolev norm, i.e., requiring \[ \int_{\Omega}(|\nabla u|^n + |u|^n) \mathrm{d}x \le 1. \] We extend here this result to arbitrary dimensions $n > 2$. Also, we prove that for $\Omega = \mathbb{R}^n$ the supremum of $\int_{\mathbb{R}^n} (e^{\alpha_n|u|^{n/(n-1)}} - 1) \mathrm{d}x$ over all such functions is attained. The proof is based on a blow-up procedure. (See a graphic rendition of this abstract in http://www.iumj.indiana.edu/oai/2008/57/3137/3137_abstract.xml.) Indiana University Mathematics Journal 2008 text pdf 10.1512/iumj.2008.57.3137 10.1512/iumj.2008.57.3137 en Indiana Univ. Math. J. 57 (2008) 451 - 480 state-of-the-art mathematics http://iumj.org/access/