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.

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

Partial regularity for minimizers of a class of discontinuous Lagrangians

Regularity of almost minimizers with free boundary

Regularity of free boundaries in anisotropic capillarity problems and the validity of Young's law

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

Existence and regularity of min-max anisotropic minimal hypersurfaces

Optimal regularity of isoperimetric sets with Hölder densities

Almost minimizers of the one-phase free boundary problem

Weak Solutions and Regularity of the Interface in an Inhomogeneous Free Boundary Problem for the p(x)-Laplacian

On partially segregated harmonic maps: optimal regularity and structure of the free boundary

Improved regularity for a Hessian-dependent functional

Minimizers for the Thin One‐Phase Free Boundary Problem

Lipschitz regularity for Poisson equations involving measures supported on $C^{1,\operatorname{Dini}}$ interfaces

A condition for the Holder regularity of strong local minimizers of a nonlinear elastic energy in two dimensions

Regularity for anisotropic fully nonlinear integro-differential equations

Free boundary regularity for almost minimizers of the parabolic Signorini problem

The equilibrium measure for an anisotropic nonlocal energy

Regularity of Minimizers in the Two-Phase Free Boundary Problems in Orlicz-Sobolev Spaces

Boundary behavior of limit-interfaces for the Allen-Cahn equation on Riemannian manifolds with Neumann boundary condition

Lipschitz regularity for Poisson equations involving measures supported on C1,Dini interfaces

Local Minimizer and De Giorgi’s Type Conjecture for the Isotropic–nematic Interface Problem