A family of sharp inequalities for Sobolev functions

TL;DR

This paper establishes a family of sharp inequalities for Sobolev functions involving various norms and parameters, extending known results and providing new bounds relevant to Sobolev embedding theory.

Contribution

The paper introduces a new family of sharp inequalities for Sobolev functions that generalize and extend previous inequalities, with explicit constants and conditions.

Findings

Proves the existence of an alpha_0(q,a,Omega) parameter for the inequalities.

Derives a family of inequalities valid for a range of q between 2^flat and 2^#.

Extends known Sobolev inequalities, including a case due to M. Zhu.

Abstract

Let $N\geq 5$, $\Omega$ be a smooth bounded domain in $\mathbb{R}^{N}$, ${2^*}=\frac{2N}{N-2}$, $a>0$, $S=\inf\left\{\left. \int_{\mathbb{R}^{N}}|\nabla u|^2\,\right|\,u\in L^{2^*}(\mathbb{R}^{N}), \nabla u\in L^2(\mathbb{R}^{N}), \int_{\mathbb{R}^{N}}|u|^{2^*}=1 \right\}$ and $||u||^2=|\nabla u|_{2}^2+a|u|_{2}^2$. We define ${2^\flat}= \frac{2N}{N-1}$, ${2^\#}=\frac{2(N-1)}{N-2}$ and consider $q$ such that ${2^\flat}\leq q\leq{2^\#}$. We also define $s=2-N+\frac{q}{{2^*}-q}$ and $t=\frac{2}{N-2}\cdot \frac{1}{{2^*}-q}$. We prove that there exists an $\alpha_{0}(q,a,\Omega)>0$ such that, for all $u\in H^1(\Omega)\setminus\{0\}$, $$\frac{S}{2^{\frac 2N}}{|u|_{{2^*}}^2}\leq||u||^2+\alpha_{0} \left(\frac{||u||}{|u|_{{2^*}}^{2^*/2}}\right)^s|u|_{q}^{qt},\qquad{(I)_{q}}$$ where the norms are over $\Omega$. Inequality $(I)_{{2^\flat}}$ is due to M. Zhu.