Lipschitz regularity of the eigenfunctions on optimal domains

From MaRDI portal
Publication:2260640



Abstract: We study the optimal sets OmegaastsubsetmathbbRd for spectral functionals , which are bi-Lipschitz with respect to each of the eigenvalues lambda1(Omega),dots,lambdap(Omega) of the Dirichlet Laplacian on Omega, a prototype being the problem min{�ig{lambda_1(Omega)+dots+ lambda_p(Omega);:;Omegasubsetmathbb{R}^d, |Omega|=1�ig}}. We prove the Lipschitz regularity of the eigenfunctions u1,dots,up of the Dirichlet Laplacian on the optimal set Omega∗ and, as a corollary, we deduce that Omega∗ is open. For functionals depending only on a generic subset of the spectrum, as for example lambdak(Omega) or lambdak1(Omega)+dots+lambdakp(Omega), our result proves only the existence of a Lipschitz continuous eigenfunction in correspondence to each of the eigenvalues involved.


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.



Cites work


Cited in
(32)








This page was built for publication: Lipschitz regularity of the eigenfunctions on optimal domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2260640)