Dorin Bucur

Polygonal Faber-Krahn inequality: local minimality via validated computing

The main result of the paper shows that the regular [Formula: see text]-gon is a local minimizer for the first Dirichlet-Laplace eigenvalue among [Formula: see text]-gons having fixed area for [Formula: see text]. The eigenvalue is seen as a function of the coordinates of the ver...