Two-phase Free Boundary Problems in Convex Domains

Abstract

We study the regularity of minimizers of a two-phase free boundary problem. For a class of n-dimensional convex domains, we establish the Lipschitz continuity of the minimizer up to the fixed boundary under Neumann boundary conditions. Our proof uses an almost monotonicity formula for the Alt–Caffarelli–Friedman functional restricted to the convex domain. This requires a variant of the classical Friedland–Hayman inequality for geodesically convex subsets of the sphere with Neumann boundary conditions. To apply this inequality, in addition to convexity, we require a Dini condition governing the rate at which the fixed boundary converges to its limit cone at each boundary point.