Lipschitz regularity of the eigenfunctions on optimal domains (Q2260640)

In this paper, the authors study the domains of prescribed volume, which are optimal for functionals depending on the spectrum of the Dirichlet Laplacian. Indeed, they consider shape optimization problems of the form \[ \min \{ F(\lambda_1(\Omega), \ldots, \lambda_p(\Omega)): \Omega \subset \mathbb{R}^d, |\Omega | = 1 \}, \] where \(F: \mathbb{R}^p \rightarrow \mathbb{R}\) is a given bi-Lipschitz function, locally increasing in each variable, and \(\lambda_k(\Omega)\), for \(k = 1, \ldots, p\), denotes the \(k\)-th eigenvalue of the Dirichlet Laplacian. The main result is that if a set \(\Omega^*\) satisfies \[ F(\lambda_{k_1}(\Omega^*), \ldots, \lambda_{k_p}(\Omega^*)) + \Lambda|\Omega^*| \leq F(\lambda_{k_1}(\Omega), \ldots, \lambda_{k_p}(\Omega)) + \Lambda|\Omega| \] (where \(0 < k_1<k_2< \cdots <k_p \in \mathbb{N}\), \(\Lambda > 0\)) for all measurable sets \(\Omega\) containing \(\Omega^*\), then there exists a family of \(L^2\)-orthonormal eigenfunctions \(u_{k_1}, \ldots, u_{k_p}\), corresponding respectively to \(\lambda_{k_1}(\Omega^*), \ldots, \lambda_{k_p}(\Omega^*)\), which are Lipschitz continuous on \(\mathbb{R}^d\). Furthermore, some functionals are given so that the optimal sets are open.