Optimal Sobolev type inequalities in Lorentz spaces (Q372811)

Let \(\Omega\subset\mathbb R^n\), \(n\geq 2\), be a bounded domain with sufficiently smooth boundary, or \(\Omega=\mathbb R^n\), and \(1<p<n\). Set \(p^*=\frac{np}{n-p}\). Let \(\mathcal D^{1,p}(\mathbb R^n)\) be the completion, with respect to the norm \(||\nabla\overset{.}{~}||_p\), of smooth compactly supported functions in \(\mathbb R^n\), and \(\mathcal D_0^{1,p} (\Omega)\) the closure, in \(\mathcal D^{1,p}(\mathbb R^n)\), of smooth functions with compact support in \(\Omega\). For a measurable function \(u:\Omega\to \mathbb R^+\), let \(u^*\) denote its decreasing rearrangement and denote by \(L^{p,q}(\Omega)\), \(p\leq q<\infty\), the Lorentz space \[ L^{p,q}(\Omega)=\left\{u:\Omega\to \mathbb R\text{ measurable with }||u||_{p,q}=\left(\int_0^{\infty}(u^*(t)t^{\frac{1}{p}})^q \frac{dt}{t}\right)^{\frac{1}{q}}<\infty\right\}. \] For \(q=\infty\), define \[ ||u||_{p,\infty}=\underset{t>0}{\sup}~ t^{\frac{1}{p}}u^*(t). \] The authors state inequalities of the form \[ ||u||_{p^*,q}\leq S_{n,p^*,q}||\nabla u||_p \eqno(*) \] for any \(u\in\mathcal D_0^{1,p}(\Omega)\), or for any \(u\in\mathcal D^{1,p}(\mathbb R^n)\). They determine optimal constants \(S_{n,p^*,q}\) for (*) to hold. Several cases are studied separately: \(q=\infty\), \(p<q<\infty\), \(q=p\). Extremal functions for (*) are also obtained via related elliptic problems.