Dice Question Streamline Icon: https://streamlinehq.com

Sharp constant in inradius-based lower bounds for polyharmonic eigenvalues

Ascertain the optimal constant in the lower bound that controls the first Dirichlet eigenvalue of the polyharmonic operator (−Δ)^m on convex domains in R^d in terms of the inradius R_Ω, as given by Owen’s analogue of the Hersch–Protter inequality, for orders m≥2.

Information Square Streamline Icon: https://streamlinehq.com

Background

For the Laplacian, Hersch–Protter-type bounds yield sharp inradius-based lower estimates. Owen extended such estimates to polyharmonic operators, but the optimal constant in these inequalities is unknown for higher orders.

Determining the sharp constant would clarify the precise geometric dependence of the lowest eigenvalue on the inradius for polyharmonic operators on convex domains.

References

As far as we know, the sharp constant in this inequality is not known when $m\geq 2$.

Eigenvalue lower bounds through a generalized inradius (2509.18878 - Frank et al., 23 Sep 2025) in Section 1.3, Subsubsection “Polyharmonic operator” (Our three examples. Previous results)