Bounds for eigenfunctions of the Neumann \(p\)-Laplacian on noncompact Riemannian manifolds (Q6130548)

The authors study eigenfunctions properties of the \(p\)-Laplacian operator on \(\Omega\), a connected open set of an \(n\)-dimensional Riemannian manifold \((M^n,g)\) such that \(\mathcal{H}^{n}(\Omega)\), the \(n\)-dimensional Hausdorff measure of \(\Omega\), is finite. To be precise, they look for properties of the solutions associated to the following Neumann boundary value problem: \[ -\text{div}(|\nabla u|^{p-2}\nabla u)=\gamma|u|^{p-2}u\ in\ \Omega,\tag{1}\] such that \(\gamma\) is a real constant and \(p>1\). The authors define the perimeter \(P(E,\Omega)\) of a measurable subset \(E\) of \(M^n\) relative to \(\Omega\) which is given as the Hausdorff measure of the intersection of \(\Omega\) by the essential boundary of \(E\), then they define the isoperimetric function as \(\lambda_\Omega\), a positive function on \([0,\frac{\mathcal{H}^n(\Omega)}{2}]\) by \(\lambda_\Omega(s)=\inf\left\{P(E,\Omega):E\subset\Omega,\ s\le \mathcal{H}^n(E)\le \frac{\mathcal{H}^n(\Omega)}{2}\right\}\). Then, the authors state that a solution of \((1)\) belongs to \(L_q(\Omega)\) (resp. \(L_\infty(\Omega)\)) whenever \(\frac{s}{\lambda_\Omega(s)}\) converges to zero as \(s\) is close to zero (resp. \(\int_0\left(\frac{s}{\lambda_\Omega(s)}\right)^{\frac{p}{p-1}}\frac{ds}{s}<\infty\)), see Theorem 1.1 for the complete statement. In the case when \(\Omega=M^n\), then a solution of \((1)\) does not belong to \(L_q(M^n)\) for \(q>p\) whenever \(\lambda_{M^n}(s)\) is equivalent to \(s\) near zero (Theorem 1.2). Also, the authors state analogous results on (sharpness)bounds for eigenfunctions through the positive \(p\)-isocapacitary function which is given in terms of the infimum of the \(p\)-capacity of \(E\) (Theorems 1.3 and 1.4).