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

Faber–Krahn for polyharmonic operators

Establish whether Euclidean balls minimize the first Dirichlet eigenvalue of the polyharmonic operator (−Δ)^m among all open subsets of R^d with a fixed Lebesgue measure, for general dimensions d≥2 and orders m≥1 (beyond the biharmonic cases known in d=2 and d=3).

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

Background

For the Dirichlet Laplacian, the Rayleigh–Faber–Krahn theorem asserts that balls minimize the first eigenvalue among sets of fixed volume. An analogous minimization principle for higher-order operators is far less understood.

The paper highlights that, unlike the classical Laplacian, the question for the polyharmonic operator (−Δ)m remains unresolved in general, with only special results available for the biharmonic case (m=2) in two and three dimensions.

References

The validity of a Rayleigh--Faber--Krahn theorem, that is, the question whether balls minimize the lowest eigenvalue of the polyharmonic operator among sets with a given volume, is a major open problem.

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)