Optimal Domains for Elliptic Eigenvalue Problems with Rough Coefficients
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.
more »
« less
- Award ID(s):
- 2213407
- PAR ID:
- 10519036
- Publisher / Repository:
- SIAM
- Date Published:
- Journal Name:
- SIAM Journal on Mathematical Analysis
- Volume:
- 56
- Issue:
- 3
- ISSN:
- 0036-1410
- Page Range / eLocation ID:
- 3412 to 3429
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
We apply the method of inverse iteration to the Laplace eigenvalue problem with Robin and mixed Dirichlet-Neumann boundary conditions, respectively. For each problem, we prove convergence of the iterates to a non-trivial principal eigenfunction and show that the corresponding Rayleigh quotients converge to the principal eigenvalue. We also propose a related iterative method for an eigenvalue problem arising from a model for optimal insulation and provide some partial results.more » « less
-
We prove that the boundary distance map of a smooth compact Finsler manifold with smooth boundary determines its topological and differential structures. We construct the optimal fiberwise open subset of its tangent bundle and show that the boundary distance map determines the Finsler function in this set but not in its exterior. If the Finsler function is fiberwise real analytic, it is determined uniquely. We also discuss the smoothness of the distance function between interior and boundary points.more » « less
-
We prove that the boundary distance map of a smooth compact Finsler manifold with smooth boundary determines its topological and differential structures. We construct the optimal fiberwise open subset of its tangent bundle and show that the boundary distance map determines the Finsler function in this set but not in its exterior. If the Finsler function is fiberwise real analytic, it is determined uniquely. We also discuss the smoothness of the distance function between interior and boundary points.more » « less
-
In this paper we study the existence, the optimal regularity of solutions, and the regularity of the free boundary near the so-called \emph{regular points} in a thin obstacle problem that arises as the local extension of the obstacle problem for the fractional heat operator $$(\partial_t - \Delta_x)^s$$ for $$s \in (0,1)$$. Our regularity estimates are completely local in nature. This aspect is of crucial importance in our forthcoming work on the blowup analysis of the free boundary, including the study of the singular set. Our approach is based on first establishing the boundedness of the time-derivative of the solution. This allows reduction to an elliptic problem at every fixed time level. Using several results from the elliptic theory, including the epiperimetric inequality, we establish the optimal regularity of solutions as well as $$H^{1+\gamma,\frac{1+\gamma}{2}}$$ regularity of the free boundary near such regular points.more » « less
An official website of the United States government

