The sharp constant in the Hardy-Sobolev-Maz'ya inequality in the three-dimensional upper half space (Q2518148)

Let \(H= \{x= (x,y): x\in\mathbb{R}^2\), \(y> 0\}\) be the upper half space. Put \(g(x,y)= f(x,y)/\sqrt{y}\). We say that \(f\in D_1(H)\), if the corresponding \(g\) vanishes at infinity in \(dxy\,dy\)-measure, and the weak derivative of \(g(x,y)\) is square-integrable with respect to this measure. The main result of this paper states that, if \(f\in D_1(H)\), then the inequality \[ \int_H|\nabla f(x)|^2 \,dx\geq \int_H(|f(x)|^2 y^{-2}/4)\,dx+ K\Biggl(\int_H |f(x)|^6\,dx\Biggr)^{1/3} \] holds, where the sharp Sobolev constant \(K= 3(\pi/2)^{4/3}\) appears. The inequality is always strict for nonzero \(f\).