skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: 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
Author(s) / Creator(s):
;
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
  1. Abstract We prove the “hot spots” conjecture on the Vicsek set. Specifically, we will show that every eigenfunction of the second smallest eigenvalue of the Neumann Laplacian on the Vicsek set attains its maximum and minimum on the boundary. 
    more » « less
  2. 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
  3. 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
  4. 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
  5. 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