Lemma. Let $\Omega \subset \mathbb{R}^N$ be a bounded open set, $N \geq 1$. Let $1 \leq q \leq p \leq \gamma$, and $\gamma \leq p^*$ if $N>p$ and $\gamma<\infty$ if $N < p$. Then there exists $C=C(\Omega,q,p,\gamma)$ such that for any $u \in W_0^{1,p}(\Omega)$ the following inequality is satisfied:

In fact, this inequality easily follows from the general Sobolev inequality just by applying the latter one to each term on the lhs of the former one. (I’m almost sure there could be some investigation of an inequality of this type in the literature, but I was not able to find it.)

2) If one considers the optimization problem for the constant $C$, then it is possible to see that a corresponding minimizer of