A Multiphase Shape Optimization Problem for Eigenvalues: Qualitative Study and Numerical Results

We consider the multiphase shape optimization problem $$\min\Big\{\sum_{i=1}^h\lambda_1(\Omega_i)+\alpha|\Omega_i|:\ \Omega_i\ \hbox{open},\ \Omega_i\subset D,\ \Omega_i\cap\Omega_j=\emptyset\Big\},$$ where $\alpha>0$ is a given constant and $D\subset\Bbb{R}^2$ is a bounded open set with Lipschitz boundary. We give some new results concerning the qualitative properties of the optimal sets and the regularity of the corresponding eigenfunctions. We also provide numerical results for the optimal partitions

Shape Optimization Problems for Metric Graphs

We consider the shape optimization problem $$\min\big\{{\mathcal E}(\Gamma)\ :\ \Gamma\in{\mathcal A},\ {\mathcal H}^1(\Gamma)=l\ \big\},$$ where ${\mathcal H}^1$ is the one-dimensional Hausdorff measure and ${\mathcal A}$ is an admissible class of one-dimensional sets connecting some prescribed set of points ${\mathcal D}=\{D_1,\dots,D_k\}\subset{\mathbb R}^d$. The cost functional ${\mathcal E}(\Gamma)$ is the Dirichlet energy of $\Gamma$ defined through the Sobolev functions on $\Gamma$ vanishing on the points $D_i$. We analyze the existence of a solution in both the families of connected sets and of metric graphs. At the end, several explicit examples are discussed.Comment: 23 pages, 11 figures, ESAIM Control Optim. Calc. Var., (to appear

Free boundary regularity for a multiphase shape optimization problem

In this paper we prove a $C^{1,\alpha}$ 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

Uniqueness of the blow-up at isolated singularities for the Alt-Caffarelli functional

In this paper we prove uniqueness of blow-ups and $C^{1,\log}$-regularity for the free-boundary of minimizers of the Alt-Caffarelli functional at points where one blow-up has an isolated singularity. We do this by establishing a (log-)epiperimetric inequality for the Weiss energy for traces close to that of a cone with isolated singularity, whose free-boundary is graphical and smooth over that of the cone in the sphere. With additional assumptions on the cone, we can prove a classical epiperimetric inequality which can be applied to deduce a $C^{1,\alpha}$ regularity result. We also show that these additional assumptions are satisfied by the De Silva-Jerison-type cones, which are the only known examples of minimizing cones with isolated singularity. Our approach draws a connection between epiperimetric inequalities and the \L ojasiewicz inequality, and, to our knowledge, provides the first regularity result at singular points in the one-phase Bernoulli problem.Comment: 37 pages. To appear in Duke Math Journa

Existence and Regularity of Optimal Shapes for Elliptic Operators with Drift

This paper is devoted to the study of shape optimization problems for the first eigenvalue of the elliptic operator with drift L = --$\Delta$+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 $\lambda$\_1($\Omega$, V) for a bounded quasi-open set $\Omega$ which enjoys similar properties to the case of open sets. Then, given m > 0 and $\tau$ $\ge$ 0, we show that the minimum of the following non-variational problem min $\lambda$\_1($\Omega$, V) : $\Omega$ $\subset$ D quasi-open, |$\Omega$| $\le$ m, |V|\_{\infty} $\le$ $\tau$. 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 $\Omega$ * solving the minimization problem min $\lambda$\_1($\Omega$, $\Phi$) : $\Omega$ $\subset$ D quasi-open, |$\Omega$| $\le$ m , where $\Phi$ is a given Lipschitz function on D. We prove that the topological boundary $\partial$$\Omega$ * is composed of a regular part which is locally the graph of a C ^{1,$\alpha$} 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$$\Omega$ * $\cap$ $\partial$D, $\partial$$\Omega$ * is C^{ 1,$\alpha$} in a neighborhood of x, for some $\alpha$ $\le$ 1 /2. This last result is optimal in the sense that C ^{1,1/2} is the best regularity that one can expect

Worst-case shape optimization for the Dirichlet energy

We consider the optimization problem for a shape cost functional $F(\Omega,f)$ which depends on a domain $\Omega$ varying in a suitable admissible class and on a "right-hand side" $f$. More precisely, the cost functional $F$ is given by an integral which involves the solution $u$ of an elliptic PDE in $\Omega$ with right-hand side $f$; the boundary conditions considered are of the Dirichlet type. When the function $f$ is only known up to some degree of uncertainty, our goal is to obtain the existence of an optimal shape in the worst possible situation. Some numerical simulations are provided, showing the difference in the optimal shape between the case when $f$ is perfectly known and the case when only the worst situation is optimized.Comment: 14 pages, 8 figure

A free boundary problem arising in PDE optimization

A free boundary problem arising from the optimal reinforcement of a membrane or from the reduction of traffic congestion is considered; it is of the form $$\sup_{\int_D\theta\,dx=m}\ \inf_{u\in H^1_0(D)}\int_D\Big(\frac{1+\theta}{2}|\nabla u|^2-fu\Big)\,dx.$$ We prove the existence of an optimal reinforcement $\theta$ and that it has some higher integrability properties. We also provide some numerical computations for $\theta$ and $u$.Comment: 29 pages, 42 figure