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.

A general and sharp regularity condition for integro-differential equations with non-dominated measures

Regularity theory for fully nonlinear integro-differential equations

Parabolic equations with non-standard growth and measure or integrable data

An $L_{q}(L_{p})$-regularity theory for parabolic equations with integro-differential operators having low intensity kernels

Regularity theory for non-autonomous problems with a priori assumptions

Regularity for anisotropic fully nonlinear integro-differential equations

Wiener type regularity for non-linear integro-differential equations

Regularity theory for parabolic systems with Uhlenbeck structure

Regularity results for Hölder minimizers to functionals with non-standard growth

Holomorphic Regularization of Singularly Perturbed Integro-Differential Equations

Regularity estimates for fully nonlinear integro-differential equations with nonhomogeneous degeneracy

Regularity of solutions for degenerate/singular fully nonlinear integro-differential equation

Integro-differential equations with L{é}vy operators for degenerate jumps depending on spaces and gradients

A regularity result for quasilinear elliptic systems with an equation of energy-type

Quantitative estimates of $L^p$ maximal regularity for nonautonomous operators and global existence for quasilinear equations

Sharp regularity estimates for $0$-order $p$-Laplacian evolution problems

A Regularity Theory for Parabolic Equations with Anisotropic Nonlocal Operators in [math] Spaces

On Theory for Integro-Differential Operators with Spatially Dependent Coefficients

A necessary condition on a singular kernel for the continuity of an integral operator in Hölder spaces

Optimal global second-order regularity and improved integrability for parabolic equations with variable growth

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