-
Regularity of the optimal sets for the second Dirichlet eigenvalue
Authors:
Dario Mazzoleni,
Baptiste Trey,
Bozhidar Velichkov
Abstract:
This paper is dedicated to the regularity of the optimal sets for the second eigenvalue of the Dirichlet Laplacian. Precisely, we prove that if the set $Ω$ minimizes the functional \[ \mathcal F_Λ(Ω)=λ_2(Ω)+Λ|Ω|, \] among all subsets of a smooth bounded open set $D\subset \mathbb{R}^d$, where $λ_2(Ω)$ is the second eigenvalue of the Dirichlet Laplacian on $Ω$ and $Λ>0$ is a fixed constant, then…
▽ More
This paper is dedicated to the regularity of the optimal sets for the second eigenvalue of the Dirichlet Laplacian. Precisely, we prove that if the set $Ω$ minimizes the functional \[ \mathcal F_Λ(Ω)=λ_2(Ω)+Λ|Ω|, \] among all subsets of a smooth bounded open set $D\subset \mathbb{R}^d$, where $λ_2(Ω)$ is the second eigenvalue of the Dirichlet Laplacian on $Ω$ and $Λ>0$ is a fixed constant, then $Ω$ is equivalent to the union of two disjoint open sets $Ω_+$ and $Ω_-$, which are $C^{1,α}$-regular up to a (possibly empty) closed set of Hausdorff dimension at most $d-5$, contained in the one-phase free boundaries $D\cap \partialΩ_+\setminus\partialΩ_-$ and $D\cap\partialΩ_-\setminus\partialΩ_+$.
△ Less
Submitted 1 October, 2020;
originally announced October 2020.
-
Regularity of optimal sets for some functional involving eigenvalues of an operator in divergence form
Authors:
Baptiste Trey
Abstract:
In this paper we consider minimizers of the functional \begin{equation*} \min \big\{ λ_1(Ω)+\cdots+λ_k(Ω) + Λ|Ω|, \ : \ Ω\subset D \text{ open} \big\} \end{equation*} where $D\subset\mathbb{R}^d$ is a bounded open set and where $0<λ_1(Ω)\leq\cdots\leqλ_k(Ω)$ are the first $k$ eigenvalues on $Ω$ of an operator in divergence form with Dirichlet boundary condition and with Hölder continuous coefficie…
▽ More
In this paper we consider minimizers of the functional \begin{equation*} \min \big\{ λ_1(Ω)+\cdots+λ_k(Ω) + Λ|Ω|, \ : \ Ω\subset D \text{ open} \big\} \end{equation*} where $D\subset\mathbb{R}^d$ is a bounded open set and where $0<λ_1(Ω)\leq\cdots\leqλ_k(Ω)$ are the first $k$ eigenvalues on $Ω$ of an operator in divergence form with Dirichlet boundary condition and with Hölder continuous coefficients. We prove that the optimal sets $Ω^\ast$ have finite perimeter and that their free boundary $\partialΩ^\ast\cap D$ is composed of a regular part, which is locally the graph of a $C^{1,α}$-regular function, and a singular part, which is empty if $d<d^\ast$, discrete if $d=d^\ast$ and of Hausdorff dimension at most $d-d^\ast$ if $d>d^\ast$, for some $d^\ast\in\{5,6,7\}$.
△ Less
Submitted 31 March, 2020; v1 submitted 17 January, 2020;
originally announced January 2020.
-
Lipschitz continuity of the eigenfunctions on optimal sets for functionals with variable coefficients
Authors:
Baptiste Trey
Abstract:
This paper is dedicated to the spectral optimization problem \begin{equation*} \min \big\{ λ_1(Ω)+\cdots+λ_k(Ω) + Λ|Ω| \ : \ Ω\subset D \text{ quasi-open} \big\} \end{equation*} where $D\subset\mathbb{R}^d$ is a bounded open set and $0<λ_1(Ω)\leq\cdots\leqλ_k(Ω)$ are the first $k$ eigenvalues on $Ω$ of an operator in divergence form with Dirichlet boundary condition and Hölder continuous coefficie…
▽ More
This paper is dedicated to the spectral optimization problem \begin{equation*} \min \big\{ λ_1(Ω)+\cdots+λ_k(Ω) + Λ|Ω| \ : \ Ω\subset D \text{ quasi-open} \big\} \end{equation*} where $D\subset\mathbb{R}^d$ is a bounded open set and $0<λ_1(Ω)\leq\cdots\leqλ_k(Ω)$ are the first $k$ eigenvalues on $Ω$ of an operator in divergence form with Dirichlet boundary condition and Hölder continuous coefficients. We prove that the first $k$ eigenfunctions on an optimal set for this problem are locally Lipschtiz continuous in $D$ and, as a consequence, that the optimal sets are open sets. We also prove the Lipschitz continuity of vector-valued functions that are almost-minimizers of a two-phase functional with variable coefficients.
△ Less
Submitted 31 March, 2020; v1 submitted 27 September, 2019;
originally announced September 2019.
-
Existence and Regularity of Optimal Shapes for Elliptic Operators with Drift
Authors:
Emmanuel Russ,
Baptiste Trey,
Bozhidar Velichkov
Abstract:
This paper is devoted to the study of shape optimization problems for the first eigenvalue of the elliptic operator with drift L = --$Δ$+V (x)\cdot \nabla with Dirichlet boundary conditions, where V is a bounded vector field. In the first instance, we prove the existence of a principal eigenvalue $λ$\_1($Ω$, V) for a bounded quasi-open set $Ω$ which enjoys similar properties to the case of open se…
▽ More
This paper is devoted to the study of shape optimization problems for the first eigenvalue of the elliptic operator with drift L = --$Δ$+V (x)\cdot \nabla with Dirichlet boundary conditions, where V is a bounded vector field. In the first instance, we prove the existence of a principal eigenvalue $λ$\_1($Ω$, V) for a bounded quasi-open set $Ω$ which enjoys similar properties to the case of open sets. Then, given m > 0 and $τ$ $\ge$ 0, we show that the minimum of the following non-variational problem min $λ$\_1($Ω$, V) : $Ω$ $\subset$ D quasi-open, |$Ω$| $\le$ m, |V|\_{\infty} $\le$ $τ$. is achieved, where the box D $\subset$ R^d is a bounded open set. The existence when V is fixed, as well as when V varies among all the vector fields which are the gradient of a Lipschitz function, are also proved. The second interest and main result of this paper is the regularity of the optimal shape $Ω$ * solving the minimization problem min $λ$\_1($Ω$, $Φ$) : $Ω$ $\subset$ D quasi-open, |$Ω$| $\le$ m , where $Φ$ is a given Lipschitz function on D. We prove that the topological boundary $\partial$$Ω$ * is composed of a regular part which is locally the graph of a C ^{1,$α$} function and a singular part which is empty if d < d * , discrete if d = d * and of locally finite H^{d--d *} Hausdorff measure if d > d * , where d * $\in$ {5, 6, 7} is the smallest dimension at which there exists a global solution to the one-phase free boundary problem with singularities. Moreover, if D is smooth, we prove that, for each x $\in$ $\partial$$Ω$ * $\cap$ $\partial$D, $\partial$$Ω$ * is C^{ 1,$α$} in a neighborhood of x, for some $α$ $\le$ 1 /2. This last result is optimal in the sense that C ^{1,1/2} is the best regularity that one can expect.
△ Less
Submitted 16 May, 2019; v1 submitted 18 October, 2018;
originally announced October 2018.
-
Free boundary regularity for a multiphase shape optimization problem
Authors:
Luca Spolaor,
Baptiste Trey,
Bozhidar Velichkov
Abstract:
In this paper we prove a $C^{1,α}$ regularity result in dimension two for almost-minimizers of the constrained one-phase Alt-Caffarelli and the two-phase Alt-Caffarelli-Friedman functionals for an energy with variable coefficients. As a consequence, we deduce the complete regularity of solutions of a multiphase shape optimization problem for the first eigenvalue of the Dirichlet-Laplacian up to th…
▽ More
In this paper we prove a $C^{1,α}$ regularity result in dimension two for almost-minimizers of the constrained one-phase Alt-Caffarelli and the two-phase Alt-Caffarelli-Friedman functionals for an energy with variable coefficients. As a consequence, we deduce the complete regularity of solutions of a multiphase shape optimization problem for the first eigenvalue of the Dirichlet-Laplacian up to the fixed boundary. One of the main ingredient is a new application of the epiperimetric-inequality of Spolaor-Velichkov [CPAM, 2018] up to the boundary. While the framework that leads to this application is valid in every dimension, the epiperimetric inequality is known only in dimension two, thus the restriction on the dimension.
△ Less
Submitted 16 October, 2018;
originally announced October 2018.
-
The Hahn polynomials in the nonrelativistic and relativistic Coulomb problems
Authors:
Sergei K. Suslov,
Benjamin Trey
Abstract:
We derive closed formulas for mean values of all powers of r in nonrelativistic and relativistic Coulomb problems in terms of the Hahn and Chebyshev polynomials of a discrete variable. A short review on special functions and solution of the Coulomb problems in quantum mechanics is given.
We derive closed formulas for mean values of all powers of r in nonrelativistic and relativistic Coulomb problems in terms of the Hahn and Chebyshev polynomials of a discrete variable. A short review on special functions and solution of the Coulomb problems in quantum mechanics is given.
△ Less
Submitted 26 December, 2007; v1 submitted 12 July, 2007;
originally announced July 2007.
