Regularity of the free boundary at density-one singular points

Characterize the regularity of the free boundary \(\partial\Omega_U\) near the set \(\mathrm{Sing}_2(\partial\Omega_U)\) of density-one singular points for minimizers of the vectorial Bernoulli functional \(J_\Lambda\).

Background

The paper studies minimizers of the vectorial Bernoulli functional JΛ(W,D)=∫D∣∇W∣2 dx+Λ∣ΩW∩D∣J_\Lambda(W,D)=\int_D |\nabla W|^2\,dx+\Lambda|\Omega_W\cap D|, where ΩW={W≠0}\Omega_W=\{W\neq 0\}. The free boundary is divided according to the density of the positivity set, with Sing2(∂ΩU)\mathrm{Sing}_2(\partial\Omega_U) consisting of points where the positivity set has density one.

The authors explain that understanding the structure of the free boundary near Sing2(∂ΩU)\mathrm{Sing}_2(\partial\Omega_U) requires characterizing blow-up limits at such points. The paper advances this program by analyzing linear blow-ups and determining the associated global minimizers, but it does not resolve the broader regularity problem for the free boundary at these singular points.

References

At the moment the main open problem about the regularity of the free boundary $\partial \Omega_{U}$ concerns $\mathrm{Sing}2(\partial \Omega{U})$ about which little is known, see for example .

— A rigidity result for a global vectorial free boundary problem with a linear datum  (2609.34747 - Siclari et al., 28 Sep 2026) in Section 1, Subsection “Applications to the vectorial Bernoulli free boundary problem”