A sharp Trudinger-Moser type inequality for unbounded domains in \(\mathbb R^2\)
type: Item
instance of: scholarly article
title: A sharp Trudinger-Moser type inequality for unbounded domains in \(\mathbb R^2\)
zbMATH Open document ID: 1119.46033
author: Bernhard Ruf
published in: Journal of Functional Analysis
publication date: 2005-03-08T00:00:00Z
review text: The classical Trudinger-Moser inequality states that for a bounded domain \(\Omega \subset {\mathbb R}^2\), \[ \sup_{\| u \| _{D} \leq 1} \int_{\Omega}(\exp^{\alpha u^2} -1) \, dx = c(\Omega) < +\infty \quad \text{for } \alpha \leq 4 \pi,\tag{1} \] where \(\| u \| _{D} = ( \int_{\Omega} | \nabla u | ^2 \, dx )^{1/2}\) is the usual Dirichlet norm in \( H^1_0(\Omega)\). Since the supremum in the preceding inequality becomes infinite for domains \(\Omega\) such that \( | \Omega | = \infty\), the Trudinger-Moser inequality does not hold for unbounded domains. Moreover, this inequality is optimal, since, when \(\alpha > 4\pi\), then the corresponding supremum is \(+ \infty\). In this paper, the author shows that if the Dirichlet norm is replaced with the standard Sobolev norm, \(\| u \| _{S} = ( \| u \| _{D}^2 + \| u \| _{L^2}^2 )^{1/2}\) in \( H^1_0(\Omega)\), the inequality holds for any domain with a bound independent of the domain. More precisely, he proves the following Theorem. There exists a constant \(d > 0\) such that, for any domain \(\Omega \subset {\mathbb R}^2\), \[ \sup_{\| u \| _{S} \leq 1} \int_{\Omega}(\exp^{4 \pi u^2} -1)\,dx \, \leq \, d,\tag{2} \] where the growth factor \(4\pi\) is sharp. Next, the author presents a result due to \textit{L. Carleson} and \textit{S.-Y. A. Chang} [Bull. Sci. Math. 110, 113--127 (1986; Zbl 0619.58013)] that describes the highest possible level of non-compactness of normalized (with respect to the Dirichlet norm) concentrating sequences. Then, he defines the Carleson-Chang limit as the maximal limit of Sobolev-normalized concentrating sequences. Thereafter, in a second theorem, the author finds an upper bound of the Carleson-Chang limit for any domain, with sharp estimates for \( \Omega = {\mathbb R}^2\) and for the ball \( \Omega = B_R(0)\). Thus, in a third theorem, the author is able to show, using a restatement of a concentration-compactness alternative of Lions, that the supremum in (2) is achieved for \( \Omega = {…
reviewed by: F. Colin
Mathematics Subject Classification ID: 46E35
Mathematics Subject Classification ID: 26D10
Mathematics Subject Classification ID: 35J20
zbMATH DE Number: 2141630
zbMATH Keywords: Trudinger-Moser inequality
zbMATH Keywords: Sobolev normalized concentrating sequences
zbMATH Keywords: Carleson-Chang limit
MaRDI profile type: Publication
full work available at URL: j.jfa.2004.06.013
OpenAlex ID: W2153919696
Wikidata QID: Q59310995
cites work: Q5585340
cites work: Trudinger type inequalities in $\mathbf {R}^N$ and their best exponents
cites work: Nonlinear scalar field equations. I: Existence of a ground state
cites work: Positive solutions of nonlinear elliptic equations involving critical sobolev exponents
cites work: Nontrivial Solution of Semilinear Elliptic Equations with Critical Exponent in R
cites work: Q3756181
cites work: Q3359063
cites work: Extremal functions for the Trudinger-Moser inequality in 2 dimensions
cites work: The concentration-compactness principle in the calculus of variations. The limit case. I
cites work: Existence of solitary waves in higher dimensions
DOI: 10.1016/J.JFA.2004.06.013
description: scientific article; zbMATH DE number 2141630