On critical cases of Sobolev's inequalities (Q1891786): Difference between revisions

The author presents a new form of the Trudinger-type inequality, and proves the following result: Let \(p\) and \(p'\) satisfy \(1/p+ 1/p'= 1\) with \(1< p< \infty\). Then there exist positive constants and such that for all \(f\in H^{n/p, p} (\mathbb{R}^n)\) with \(|(-\Delta )^{n/2p} |_{L^p}\leq 1\), \[ \int_{\mathbb{R}^n} (\exp (\alpha|f(x) |^{p'})- \sum _{\substack{ 0\leq j< p-1\\ j\in \mathbb{N}}} {\textstyle {1\over j!}} (\alpha |f(x) |^{p'} )^j) dx\leq C|f|^p_{L^p}, \] where the constant \(C\) is given by \[ C= C(\alpha)= \sum _{\substack{ j\geq p-1\\ j\in \mathbb{N}}} {\textstyle {j^j \over j!}} (p' M^{p'} \alpha )^j, \] where \(M\) depends only on \(p\) and \(n\). Moreover, the author proves the following main result: let \(p, q, m\in \mathbb{R}\) satisfy \(1< p< \infty\), \(1\leq q< \infty\), and \(m> n/q\). Then there exists a constant \(C\) such that for all \(f\in H^{n/ p,p} (\mathbb{R}^n)\cap H^{m,q} (\mathbb{R}^n)\) with \(|f|_{H^{n/ p,p}}\leq 1\), \[ |f|_{L^\infty}\leq C(1+ \text{Log} (1+|(-\Delta )^{m/2} f|_{L^q} ))^{1/p'}. \] This result generalizes the Brezis-Gallouet-Wainger inequality.