Generalized Moser-Trudinger inequality for unbounded domains and its application (Q1928845): Difference between revisions

Let \(\Omega\) be an unbounded domain in \(\mathbb R^n\), \(n\geq 2\), \(\Phi:[0,\infty)\to[0,\infty)\) a suitable \(C^1\)-Young function, \(L^{\Phi}(\Omega)\) the associated Orlicz space, \(WL^{\Phi}(\Omega)\) the Orlicz-Sobolev space \(\{u:u,\nabla u\in L^{\Phi}(\Omega)\}\) equipped with the usual corresponding norm, and \(W_0 L^{\Phi}(\Omega)\) the closure of \(C_0^{\infty}(\Omega)\) in \(WL^{\Phi}(\Omega).\) For \(l\in\mathbb N\), let \(\exp_{[l]}(t)=\exp[\exp_{[l-1]}(t)]\), \(\exp_{[1](t)}=\exp(t)\). Let \[ \exp_{[l]}(t)=\sum_{j=0}^{\infty}a_jt^j \] be the Taylor expansion of \(\exp_{[l]}(t)\) and set, for \(n\geq 2,~\alpha<n-1,~\gamma=\frac{n}{n-1-\alpha}\), \[ S_{l,n,\alpha}(t)= \sum_{0\leq j<\frac{n}{\gamma}}a_jt^j. \] In Theorem 1.3, the author gives for \(u\in W_0 L^{\Phi}(\Omega)\) estimates of \[ \int_{\Omega}\exp_{[l]}(K|u|^{\gamma})-S_{l,n,\alpha}(K|u|^{\gamma}) \] for different values of \(K\). The version of this theorem, in the case of bounded domains, is recalled in Theorem 1.1. Let \(V:\mathbb R^n\to \mathbb R\) be a continuous potential with \(V(x)\geq V_0>0\) for all \(x\in\mathbb R^n\), and \(V(x)\to\infty\) as \(|x|\to\infty,\) and \[ X(\mathbb R^n)=\left\{ u\in W L^{\Phi}(\mathbb R^n):\int_{\mathbb R^n} V(x)\Phi(|u|)dx<\infty)\right\}, \] with the usual corresponding norm. As an application of Theorem 1.3, the following problem \[ u\in WL^{\Phi}(\mathbb R^n)\text{ and }- \text{div}(\Phi^{\prime}(|\nabla u|)\frac{\nabla u}{|\nabla u|}) +V(x)\Phi^{\prime}(|u|)\frac{u}{|u|}=f(x,u) \tag{P} \] is studied. The author gives sufficient conditions on \( \Phi\) and \(f\) for problem (P) to have a weak solution in \(X(\mathbb R^n)\). The main tools in the proof are the introduction of a \(C^1\)-functional \(J\), associated to (P), that has the mountain pass geometry, and the convergence of the Palais-Smale sequence, associated with \(J\), to a weak solution of (P). The paper is well written and self-contained.