Gagliardo-Nirenberg-Sobolev inequalities for convex domains in \(\mathbb{R}^d\) (Q2278868)

The Gagliardo-Nirenberg-Sobolev inequality (sometimes called also Moser inequality) \(\int_{\mathbb R^d}|\nabla u|^2dx\ge G(d)\left(\int_{\mathbb R^d}u^2dx\right)^{-2/d}\int_{\mathbb R^d}u^{2(1+2/d)}dx\) holds for all functions \(u\) from the Sobolev space \(H^1(\mathbb R^d)\) and for any \(d\ge1\). Applications of the inequality often require to know the sharp value of the constant \(G(d)\). The authors consider the Gagliardo-Nirenberg-Sobolev inequality on convex domains \(\Omega\subset\mathbb R^d\) and investigate the optimal values of the corresponding constant \(G_\Omega(d)\). They are specially interested in the case when \(\Omega\) is the cube \(Q=[0,1]^d\). Let \(G(\Omega,d)=\inf\{\int_\Omega|\nabla u|^2dx\left(\int_\Omega u^2dx\right)^{2/d}\left(\int_\Omega|u-u_\Omega|^{2+4/d}dx\right)^{-1}: u\in W^{1,1}(\Omega)\}\), where \(u_\Omega=|\Omega|^{-1}\int_\Omega u\). The main results are as follows: \begin{itemize} \item[(i)] If \(d=1\), then \(G_Q(1)=G(1)/4=\pi^2/16\) and the infimum is not attained. \item[(ii)] For all \(d\ge3\) and all convex \(\Omega\), the estimate \(G(\Omega,d)\le \left(\frac{d|\Omega|}{\operatorname{diam}(\Omega)^d C_{HLS}}\right)^2\) holds, where \(C_{HLS}\) is the constant in the Hardy-Littlewood-Sobolev inequality (see Theorem 4.3 in \textit{E. H. Lieb} and \textit{M. Loos} [Analysis. Providence, RI: American Mathematical Society (2001; Zbl 0966.26002)]). \item[(iii)] For the cube \(Q\) and all \(d\ge2\) the estimates \(\frac{G(d)}4\ge G_Q(d)\ge \frac{\pi^2d^2}{(d+4)(d+2)N_d^{2/d}}\) hold with a constant \(N_d\) satisfying \(N_d\le \sum_{\ell=1}^d \binom{d}{\ell} \omega_\ell/\ell^{(d-\ell)/2}\), where \(\omega_\ell\) is the volume of the \(\ell\)-dimensional unit ball. \end{itemize}