Abstract:Let $\Gamma$ be a compact codimension-two submanifold of $\mathbb{R}^n$, and let $L$ be a nontrivial real line bundle over $X = \mathbb{R}^n \setminus \Gamma$. We study the Allen--Cahn functional, \[E_\varepsilon(u) = \int_X \varepsilon \frac{|\nabla u|^2}{2} + \frac{(1-|u|^2)^2}{4\varepsilon}\,dx,\] on the space of sections $u$ of $L$. Specifically, we are interested in critical sections for this functional and their relation to minimal hypersurfaces with boundary equal to $\Gamma$. We first show that, for a family of critical sections with uniformly bounded energy, in the limit as $\varepsilon \to 0$, the associated family of energy measures converges to an integer rectifiable $(n-1)$-varifold $V$. Moreover, $V$ is stationary with respect to any variation which leaves $\Gamma$ fixed. Away from $\Gamma$, this follows from work of Hutchinson--Tonegawa; our result extends their interior theory up to the boundary $\Gamma$. Under additional hypotheses, we can say more about $V$. When $V$ arises as a limit of critical sections with uniformly bounded Morse index, $\Sigma := \operatorname{supp} \|V\|$ is a minimal hypersurface, smooth away from $\Gamma$ and a singular set of Hausdorff dimension at most $n-8$. If the sections are globally energy minimizing and $n = 3$, then $\Sigma$ is a smooth surface with boundary, $\partial \Sigma = \Gamma$ (at least if $L$ is chosen correctly), and $\Sigma$ has least area among all surfaces with these properties. We thus obtain a new proof (originally suggested in a paper of Fröhlich and Struwe) that the smooth version of Plateau's problem admits a solution for every boundary curve in $\mathbb{R}^3$. This also works if $4 \leq n\leq 7$ and $\Gamma$ is assumed to lie in a strictly convex hypersurface.

Isoperimetric Residues and a Mesoscale Flatness Criterion for Hypersurfaces with Bounded Mean Curvature

Plateau's problem via the Allen--Cahn functional

Asymptotics of Willmore Minimizers with Prescribed Small Isoperimetric Ratio

Plateau Problems for Maximal Surfaces in Pseudo-Hyperbolic Spaces

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

The intrinsic metric of constant mean curvature surfaces and minimal hypersurfaces with free boundary

On a Free-Endpoint Isoperimetric Problem in $\mathbb{R}^2$

Minimal hypersurfaces in $\mathbb{S}^{4}(1)$ by doubling the equatorial $\mathbb{S}^{3}$

Remarks on Area Maximizing Hypersurfaces over $${{\pmb {\mathbb {r}}}}^n\backslash \{0\}$$ and Exterior Domains

Inverse Mean Curvature Flow of Rotationally Symmetric Hypersurfaces

Remarks on area maximizing hypersurfaces over $\mathbb{R}^n\backslash\{0\}$ and exterior domains

Existence and regularity of min-max anisotropic minimal hypersurfaces

Existence of minimal hypersurfaces with arbitrarily large area and possible obstructions

Hypersurfaces of constant scalar curvature in hyperbolic space with prescribed asymptotic boundary at infinity

Remarks on area maximizing hypersurfaces over ℝ^n\{0} and exterior domains

Solutions to the minimal surface system with large singular sets

Axially Symmetric Willmore Minimizers with Prescribed Isoperimetric Ratio

The Penrose inequality in extrinsic geometry

Frankel property and Maximum Principle at Infinity for complete minimal hypersurfaces

Minimal Wasserstein Surfaces