Asymptotic shape optimization for Riesz means of the Dirichlet Laplacian over convex domains
For Ω⊂Rn, a convex and bounded domain, we study the spectrum of −ΔΩ the Dirichlet Laplacian on Ω. For Λ≥0 and γ≥0 let ΩΛ,γ(A) denote any extremal set of the shape optimization problem sup{Tr(−ΔΩ−Λ)−γ:Ω∈A,∣Ω∣=1}, where A is an admissible family of convex domains in Rn. If γ≥1 and {Λj}j≥1 is a positive sequence tending to infinity we prove that {ΩΛj,γ(A)}j≥1 is a bounded sequence, and hence contains a convergent subsequence. Under an additional assumption on A we characterize the possible limits of such subsequences as minimizers of the perimeter among domains in A of unit measure. For instance if A is the set of all convex polygons with no more than m faces, then ΩΛ,γ converges, up to rotation and translation, to the regular m-gon. This is a revised version of the paper published in the Journal of Spectral Theory (2019) which has been updated in accordance with an erratum published in 2021. The results of the paper remain unchanged, but the proofs of Theorem 2.4 and Corollary 5.3 have been amended.