Regularity in the two-phase Bernoulli problem for the p-Laplace operator

We show that any minimizer of the well-known ACF functional (for the p-Laplacian) constitutes a viscosity solution. This allows us to establish a uniform flatness decay at the two-phase free boundary points to improve the flatness, which boils down to \(C^{1,\eta }\) regularity of the flat part of the free boundary. This result, in turn, is used to prove the Lipschitz regularity of minimizers by a dichotomy argument. It is noteworthy that the analysis of branch points is also included.