Shape optimization problems on metric measure spaces

We consider shape optimization problems of the form $$\min\big\{J(\Omega)\ :\ \Omega\subset X,\ m(\Omega)\le c\big\},$$ where $X$ is a metric measure space and $J$ is a suitable shape functional. We adapt the notions of $\gamma$-convergence and weak $\gamma$-convergence to this new general abstract setting to prove the existence of an optimal domain. Several examples are pointed out and discussed.Comment: 27 pages, the final publication is available at http://www.journals.elsevier.com/journal-of-functional-analysis

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

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

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

Shape Optimization Problems with Internal Constraint

We consider shape optimization problems with internal inclusion constraints, of the form \min\big\{J(\Omega)\ :\ \Dr\subset\Omega\subset\R^d,\ |\Omega|=m\big\}, where the set \Dr is fixed, possibly unbounded, and $J$ depends on $\Omega$ via the spectrum of the Dirichlet Laplacian. We analyze the existence of a solution and its qualitative properties, and rise some open questions.Comment: 18 pages, 0 figure

Spectral optimization problems for potentials and measures

In the present paper we consider spectral optimization problems involving the Schr\"odinger operator $-\Delta +\mu$ on $\R^d$, the prototype being the minimization of the $k$ the eigenvalue $\lambda_k(\mu)$. Here $\mu$ may be a capacitary measure with prescribed torsional rigidity (like in the Kohler-Jobin problem) or a classical nonnegative potential $V$ which satisfies the integral constraint \ds \int V^{-p}dx \le m with $0<p<1$. We prove the existence of global solutions in $\R^d$ and that the optimal potentials or measures are equal to $+\infty$ outside a compact set.Comment: 30 pages, 1 figur

A one-sided two phase Bernoulli free boundary problem

We study a two-phase free boundary problem in which the two-phases satisfy an impenetrability condition. Precisely, we have two ordered positive functions, which are harmonic in their supports, satisfy a Bernoulli condition on the one-phase part of the free boundary and a two-phase condition on the collapsed part of the free boundary. For this two-membrane type problem, we prove an epsilon-regularity theorem with sharp modulus of continuity. Precisely, we show that at flat points each of the two boundaries is $C^{1,1/2}$ regular surface. Moreover, we show that the remaining singular set has Hausdorff dimension at most $N-5$ as in the case of the classical one-phase problem, $N$ being the dimension of the space