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.

On the L 1 -relaxed area of graphs of BV piecewise constant maps taking three values

Relaxed area of $0$-homogeneous maps in the strict $BV$-convergence

Upper bounds for the relaxed area of $\mathbb S^1$-valued Sobolev maps and its countably subadditive interior envelope

The $L^1$-relaxed area of the graph of the vortex map: optimal upper bound

Subgraphs of BV functions on RCD spaces

Absolutely continuous and BV-curves in 1-Wasserstein spaces

The positivity of the Jacobian in the weak limit of generalised axisymmetric maps

Sobolev regularity of bivariate isogeometric finite element spaces in case of a geometry map with degenerate corner

Sobolev Regularity of Isogeometric Finite Element Spaces with Degenerate Geometry Map

On the singular planar Plateau problem

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

Geometric Constrained Variational Calculus. I. - Piecewise smooth extremals

Constraint maps with free boundaries: the Bernoulli case

Lipschitz-Volume Rigidity and Sobolev Coarea Inequality for Metric Surfaces

On the Lawson-Osserman conjecture

Quasiconformal, Lipschitz, and BV mappings in metric spaces

Lipschitz regularity for solutions of a general class of elliptic equations

Unboundedness of the images of set-valued mappings having closed graphs: Application to vector optimization

Dynamics of a family of piecewise-linear area-preserving plane maps III. Cantor set spectra

The Chain Rule and a Compactness Theorem for BV Functions in the Heisenberg Group Hn