A Poincaré-Sobolev type inequality on compact Riemannian manifolds with boundary (Q5947230)

Let \((\bar V,g)\) be a compact Riemannian \(n\)-manifold with smooth boundary and \(n\geq 3\). Then there exists \(B>0\) such that \[ \|u\|_{q,\partial V}^2 \leq S^2\|\nabla u\|_{2,V}^2 + B\|u\|_{2,\partial V}^2, \] where \(\|\cdot\|_{p,M}\) denotes the norm in \(L^p(M)\), \(u\in C^\infty(V)\), \(q=2(n-1)/(n-2)\) and \(S^{-2}={n-2\over 2}\omega_{n-1}^{1/(n-1)}\). The authors study the following inequality: \[ \|u\|_{q,\partial V}^2 \leq A\|\nabla u\|_{2,V}^2 +B\Big|\int_{\partial V}|u|^{q-2}u\Big|^{2/(q-1)}.\tag{1} \] Set \(A_0:=\inf\{A>0\); (1) is true for some \(B\}\), \(\mu:=\inf\{\|\nabla u\|_{2,V}^2/\|u\|_{q,\partial V}^2\); \(u\in H^1(V)\), \(\int_{\partial V}|u|^{q-2}u=0\}\). The first result of the paper guarantees that: (i) inequality (1) is true for some \(A,B>0\); (ii) \(A_0=1/\mu\); (iii) if \(n\leq 4\) or \(\mu<S^{-2}\) then there exists \(B>0\) such that (1) is true with \(A=A_0\). The authors also find some geometric conditions under which \(\mu<S^{-2}\) and, in the case of bounded starshaped domains in \(\mathbb R^n\), they derive a lower bound for \(\mu\).