Abstract:In this manuscript, we delve into the study of maps $u\in W^{1,2}(\Omega;\overline M)$ that minimize the Alt-Caffarelli energy functional $$ \int_\Omega (|Du|^2 + q^2 \chi_{u^{-1}(M)})\,dx, $$ under the condition that the image $u(\Omega)$ is confined within $\overline M$. Here, $\Omega$ denotes a bounded domain in the ambient space $\mathbb{R}^n$ (with $n\geq 1$), and $M$ represents a smooth domain in the target space $\mathbb{R}^m$ (where $m\geq 2$). Since our minimizing constraint maps coincide with harmonic maps in the interior of the coincidence set, ${\rm int}(u^{-1}(\partial M))$, such maps are prone to developing discontinuities due to their inherent nature. This research marks the commencement of an in-depth analysis of potential singularities that might arise within and around the free boundary. Our first significant contribution is the validity of a $\varepsilon$-regularity theorem. This theorem is founded on a novel method of Lipschitz approximation near points exhibiting low energy. Utilizing this approximation and extending the analysis through a bootstrapping approach, we show Lipschitz continuity of our maps whenever the energy is small energy. Our subsequent key finding reveals that, whenever the complement of $M$ is uniformly convex and of class $C^3$, the maps minimizing the Alt-Caffarelli energy with a positive parameter $q$ exhibit Lipschitz continuity within a universally defined neighborhood of the non-coincidence set $u^{-1}(M)$. In particular, this Lipschitz continuity extends to the free boundary. A noteworthy consequence of our findings is the smoothness of flat free boundaries and of the resulting image maps.

Free-Boundary Monotonicity for Almost-Minimizers of the Relative Perimeter

The relative isoperimetric inequality for minimal submanifolds with free boundary in the Euclidean space

A Vertex-Skipping property for almost-minimizers of the relative perimeter in convex sets

Uniform $C^{1,α}$-regularity for almost-minimizers of some nonlocal perturbations of the perimeter

Regularity of sets of finite fractional perimeter and nonlocal minimal surfaces in metric measure spaces

Free boundary regularity for almost minimizers of the parabolic Signorini problem

On the regularity of area minimizing currents at boundaries with arbitrary multiplicity

Isoperimetric conditions, lower semicontinuity, and existence results for perimeter functionals with measure data

Topological control for min-max free boundary minimal surfaces

On partially segregated harmonic maps: optimal regularity and structure of the free boundary

Strong stability of convexity with respect to the perimeter

Alexandrov-Fenchel inequalities for convex hypersurfaces with free boundary in a ball

Almost minimizers of the one-phase free boundary problem

On the monotonicity of weighted perimeters of convex bodies

Free boundary minimal disks in convex balls

A Minkowski type inequality with free boundary in space forms

Boundary points, Minimal $L^{2}$ integrals and Concavity property

On the uniqueness of tangent cones to area minimizing currents at boundaries with arbitrary multiplicity

Constraint maps with free boundaries: the Bernoulli case

Generic regularity of free boundaries for the thin obstacle problem