Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2503.21245

Global Stable Solutions to the Free Boundary Allen--Cahn and Bernoulli Problems in 3D are One-Dimensional

Hardy Chan·Xavier Fernández-Real·Alessio Figalli·Joaquim Serra
View original source ↗Read source document ↗Export metadata ↓

Abstract

A long-standing conjecture of De Giorgi asserts that every monotone solution of the Allen--Cahn equation in \(\mathbb{R}^{n+1}\) is one-dimensional if \(n \leq 7\). A stronger version of the conjecture, also widely studied and often called ``the stable De Giorgi conjecture'', proposes that every stable solution in \(\mathbb{R}^n\) must be one-dimensional for \(n \leq 7\). To this date, both conjectures remain open for \(3 \leq n \leq 7\). An elegant variant of this problem, advocated by Caffarelli, Córdoba, and Jerison since the 1990s, considers a free boundary version of the Allen--Cahn equation. This variant features a step-like double-well potential, leading to multiple free boundaries. Locally, near each free boundary, the solution satisfies the Bernoulli free boundary problem. However, the interaction of the free boundaries causes the global behavior of the solution to resemble that of the Allen--Cahn equation. In this paper, we establish the validity of the stable De Giorgi conjecture in dimension 3 for the free boundary Allen--Cahn equation and, as a corollary, we prove the corresponding De Giorgi conjecture for monotone solutions in dimension 4. To obtain these results, a key aspect of our work is to address a classical open problem in free boundary theory of independent interest: the classification of global stable solutions to the one-phase Bernoulli problem in three dimensions. This result, which is the core of our paper, implies universal curvature estimates for local stable solutions to Bernoulli, and serves as a foundation for adapting some classical ideas from minimal surface theory -- after significant refinements -- to the free boundary Allen--Cahn equation.

Explore related subjects

math.AP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hardy Chan, Xavier Fernández-Real, Alessio Figalli, Joaquim Serra. 2025-03-27. Global Stable Solutions to the Free Boundary Allen--Cahn and Bernoulli Problems in 3D are One-Dimensional. https://arxiv.org/abs/2503.21245

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A linear test approach to global controllability of third- and fifth-order nonlinear dispersive equations

We investigate third- and fifth-order nonlinear dispersive equations of KdV type on the torus and establishes approximate controllability by a fixed four-dimensional control; rather than relying solely on the saturation machinery, the analysis exploits the finite-dimensional controllability of the inviscid Burgers equation linearized around a carefully constructed return trajectory, with the trajectory itself obtained from an observable family. This ``linear test" strategy, yields more information about the structure of the control than the standard approach. In particular, the constructed control is shown to depend continuously on the initial and target states, a property that is by no means automatic in nonlinear control problems, and to decompose as a bounded linear operator applied to the data plus a fixed remainder, with the operator part interestingly independent of the order of dispersion.

math.AP↗
arXiv2026

A conditional Lagrangian clock barrier at the $C^{1,\frac{1}{3}}$ threshold for axisymmetric Euler without swirl

We consider axisymmetric no-swirl solutions to the three-dimensional incompressible Euler equations, with initial velocity in $C^{1,α}\cap L^2$, where $α\in\left[\frac{1}{3},1\right)$. In a major breakthrough, Shkoller introduced a clock-and-driver framework that he used in order to prove finite-time type I blow-up below the $C^{1,\frac{1}{3}}$ threshold in this setting. Motivated by this, we define Lagrangian classes of coherent conditional solutions for which the same mechanism yields a supercritical-critical barrier to blow-up when $α\geq\frac{1}{3}$. When $α>\frac{1}{3}$, the aforementioned barrier is genuinely depleted, whereas at the critical endpoint $α=\frac{1}{3}$, we obtain an exponential bound preventing blow-up. In the general case, we formulate a matrix-clock criterion in terms of the smallest singular value of the deformation gradient and show that, under transverse cusp-tail, longitudinal, off-clock, Dini, and suitable geometric coherence hypotheses, this singular value cannot collapse in finite time. In particular, we also show that the class of such coherent solutions includes the smooth ones locally in time. In the on-axis case, the criterion reduces to the scalar clock inequality $\displaystyle \dot{J}(t)\gtrsim -B(t)J(t)-CJ(t)^{3α}$, which rules out Shkoller-type clock collapse for $α\geq\frac{1}{3}$. These results do not enlarge the known Lorentz-space global regularity classes. Rather, they in particular identify the supercritical Lagrangian obstruction dual to Shkoller's subcritical blow-up mechanism in the case $α>\frac{1}{3}$.

math.AP↗