Regularity of optimal sets for some functional involving eigenvalues of an operator in divergence form

Abstract

In this paper we consider minimizers of the functional \begin{equation*} \min \big\{ λ_1(Ω)+\cdots+λ_k(Ω) + Λ|Ω|, \ : \ Ω\subset D \text{ open} \big\} \end{equation*} where $D\subset\mathbb{R}^d$ is a bounded open set and where $0<λ_1(Ω)\leq\cdots\leqλ_k(Ω)$ are the first $k$ eigenvalues on $Ω$ of an operator in divergence form with Dirichlet boundary condition and with Hölder continuous coefficients. We prove that the optimal sets $Ω^\ast$ have finite perimeter and that their free boundary $\partialΩ^\ast\cap D$ is composed of a regular part, which is locally the graph of a $C^{1,α}$-regular function, and a singular part, which is empty if $d d^\ast$, for some $d^\ast\in\{5,6,7\}$.