Regularity of the free boundary for the vectorial Bernoulli problem

DOI10.2140/APDE.2020.13.741MaRDI QIDQ2174116zbMATH OpenOpenAlexFDO

Authors Dario Mazzoleni, Susanna Terracini, Bozhidar Velichkov

Publication date 17 April 2020

Published in Analysis \& PDE (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1804.09243

optimality conditions viscosity solutions regularity of free boundaries branching points NTA domains

Variational problems in a geometric measure-theoretic setting (49Q20) Nonlinear elliptic equations (35J60) Free boundary problems for PDEs (35R35) Optimality conditions for free problems in two or more independent variables (49K10)

Abstract: In this paper we study the regularity of the free boundary for a vector-valued Bernoulli problem, with no sign assumptions on the boundary data. More precisely, given an open, smooth set of finite measure

D s u b s e t m a t h b b R^{d}

,

L a m b d a > 0

and

v a r p h i_{i} i n H^{1 / 2} (p a r t i a l D)

, we deal with [ min{left{sum_{i=1}^kint_D|

abla v_i|^2+LambdaBig|�igcup_{i=1}^k{v_i

ot=0}Big|;:;v_i=varphi_i;mbox{on }partial D ight}}. ] We prove that, for any optimal vector

U = (u_{1}, d o t s, u_{k})

, the free boundary

p a r t i a l (c u p_{i = 1}^{k} u_{i} o t = 0) c a p D

is made of a regular part, which is relatively open and locally the graph of a

C^{i} n f t y

function, a singular part, which is relatively closed and has Hausdorff dimension at most

d - d^{*}

, for a

d^{*} i n 5, 6, 7

and by a set of branching (two-phase) points, which is relatively closed and of finite

m a t h c a l H^{d - 1}

measure. Our arguments are based on the NTA structure of the regular part of the free boundary.

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Regularity of the free boundary for the vectorial Bernoulli problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2174116)