preprint
AI statement: 🟢 AI-Free: no AI used.

Inserted: 23 jul 2024
Last Updated: 13 nov 2026

Year: 2024

Abstract:

We consider minimizers of the one-phase Bernoulli free boundary problem in domains with analytic fixed boundary. In any dimension $d$, we prove that the branching set at the boundary has Hausdorff dimension at most $d-2$. As a consequence, we also obtain an analogous estimate on the branching set for solutions to the symmetric two-phase problem. The approach we use is based on the (almost-)monotonicity of a boundary Almgren-type frequency function, obtained via regularity estimates and a Calder\'on-Zygmund decomposition in the spirit of Almgren-De Lellis-Spadaro.