Abstract:We prove the first regularity theorem for the free boundary of solutions to shape optimization problems involving integral functionals, for which the energy of a domain Ω is obtained as the integral of a cost function j(u, x) depending on the solution u of a certain PDE problem on Ω . The main feature of these functionals is that the minimality of a domain Ω cannot be translated into a variational problem for a single (real or vector valued) state function. In this paper we focus on the case of affine cost functions j ( u , x ) = - g ( x ) u + Q ( x ) , where u is the solution of the PDE - Δ u = f with Dirichlet boundary conditions. We obtain the Lipschitz continuity and the non-degeneracy of the optimal u from the inwards/outwards optimality of Ω and then we use the stability of Ω with respect to variations with smooth vector fields in order to study the blow-up limits of the state function u. By performing a triple consecutive blow-up, we prove the existence of blow-up sequences converging to homogeneous stable solution of the one-phase Bernoulli problem and according to the blow-up limits, we decompose ∂ Ω into a singular and a regular part. In order to estimate the Hausdorff dimension of the singular set of ∂ Ω we give a new formulation of the notion of stability for the one-phase problem, which is preserved under blow-up limits and allows to develop a dimension reduction principle. Finally, by combining a higher order Boundary Harnack principle and a viscosity approach, we prove C ∞ regularity of the regular part of the free boundary when the data are smooth.

Optimal regularity of isoperimetric sets with Hölder densities

Regularity of the Optimal Sets for a Class of Integral Shape Functionals

Regularity of optimal sets for some functional involving eigenvalues of an operator in divergence form

Regularity in shape optimization under convexity constraint

Optimal regularity for minimizers of the prescribed mean curvature functional over isotopies

Optimal Hölder regularity for the $\bar\partial$ problem on product domains in $\mathbb C^2$

Regularity results for almost-minimizers of anisotropic free interface problem with Hölder dependence on the position

Regularity of sets of finite fractional perimeter and nonlocal minimal surfaces in metric measure spaces

Liouville theorems and optimal regularity in elliptic equations

Topological regularity of isoperimetric sets in PI spaces having a deformation property

Local Regularity for Minimizers of Integral Functionals

Partial regularity for variational integrals with Morrey-Hölder zero-order terms, and the limit exponent in Massari's regularity theorem

Improved regularity for a Hessian-dependent functional

Ahlfors regularity of continua that minimize maxitive set functions

Isoperimetric conditions, lower semicontinuity, and existence results for perimeter functionals with measure data

Optimal Regularity of Minimal Graphs in the Hyperbolic Space

Examples of optimal Hölder regularity in semilinear equations involving the fractional Laplacian

Existence and density theorems of Henig global proper efficient points

Optimal function spaces and Sobolev embeddings

Optimal regularity for quasiminimal sets of codimension one in $\R^2$ and $\R^3$