Lipschitz regularity of the eigenfunctions on optimal domains

Abstract: We study the optimal sets

O m e g a^{a} s t s u b s e t m a t h b b R^{d}

for spectral functionals

, which are bi-Lipschitz with respect to each of the eigenvalues

l a m b d a_{1} (O m e g a), d o t s, l a m b d a_{p} (O m e g a)

of the Dirichlet Laplacian on

O m e g a

, 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

u_{1}, d o t s, u_{p}

of the Dirichlet Laplacian on the optimal set

O m e g a^{*}

and, as a corollary, we deduce that

O m e g a^{*}

is open. For functionals depending only on a generic subset of the spectrum, as for example

l a m b d a_{k} (O m e g a)

or

l a m b d a_{k_{1}} (O m e g a) + d o t s + l a m b d a_{k_{p}} (O m e g a)

, our result proves only the existence of a Lipschitz continuous eigenfunction in correspondence to each of the eigenvalues involved.

Recommendations

Cites work

Cited in

(27)

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