Optimal Domains for Elliptic Eigenvalue Problems with Rough Coefficients
Stanley Snelson,Eduardo V. Teixeira
DOI: https://doi.org/10.1137/22m1523820
IF: 2.071
2024-05-09
SIAM Journal on Mathematical Analysis
Abstract:SIAM Journal on Mathematical Analysis, Volume 56, Issue 3, Page 3412-3429, June 2024. We prove the existence of an open set minimizing the first Dirichlet eigenvalue of an elliptic operator with bounded, measurable coefficients, over all open sets of a given measure. Our proof is based on a free boundary approach: we characterize the eigenfunction on the optimal set as the minimizer of a penalized functional, and derive openness of the optimal set as a consequence of a Hölder estimate for the eigenfunction. We also prove that the optimal eigenfunction grows at most linearly from the free boundary, i.e., it is Lipschitz continuous at free boundary points.
mathematics, applied