Partial regularity for minimizing constraint maps for the Alt-Phillips energy

Abstract: In this paper, we establish an $\varepsilon$-regularity theorem for minimizers of an Alt-Phillips type functional subject to constraint maps. We prove that under sufficiently small energy, the minimizers exhibit regularity, and hence proving the smoothness of these maps. From here, we bootstrap to optimal regularity.

• The paper establishes an ε-regularity theorem proving that minimizers attain C¹,α regularity when localized energy and proximity to the constraint are sufficiently small.
• It demonstrates optimal partial regularity, where outside a singular set of Hausdorff dimension at most n-3, minimizers exhibit enhanced smoothness, including C¹,¹ regularity for γ ≥ 1.
• The work overcomes technical challenges by employing constrained Dirichlet minimization techniques, yielding sharp monotonicity formulas and oscillation estimates for the nonlinear source term.

Partial Regularity for Minimizing Constraint Maps for the Alt-Phillips Energy

Introduction and Problem Formulation

The paper addresses the partial regularity theory for maps minimizing an Alt–Phillips-type functional under pointwise constraints in the target space. Given a bounded domain $\Omega \subset \mathbb{R}^n$ ($n\geq1$) and a smooth domain $M \subset \mathbb{R}^m$, the main object of study is the variational problem: $$\mathcal{E}_{\lambda,\gamma}[u] = \int_\Omega \frac{1}{2}|Du|^2 + \lambda(\rho \circ u)^\gamma \, dx, \quad \lambda > 0,\ \gamma \in (0,2).$$ Here, $u: \Omega \to \overline{M}$, $\rho$ denotes the signed distance to the boundary $\partial M$, and the constraint is $u(x) \in \overline{M}$ a.e.

Building on the regularity theory for minimizing maps for Dirichlet and Alt-Caffarelli energies, this work initiates the rigorous analysis for the broader Alt-Phillips class where the nonlinearity introduces significant technical challenges, especially for $\gamma \in (0,1)$. In contrast to previous work, the current paper incorporates both the effect of constraints and the singular perturbation introduced by the source term.

Main Results

$\varepsilon$-Regularity Theorem

A central achievement is the establishment of an $n\geq1$0-regularity theorem: for minimizers $n\geq1$1 of $n\geq1$2, if the localized (rescaled) energy is sufficiently small and the map stays close enough to the constraint set, then $n\geq1$3 exhibits $n\geq1$4 regularity inside the domain. Explicitly, under smallness assumptions on the Dirichlet energy and the $n\geq1$5 term, there exists $n\geq1$6 such that $n\geq1$7 up to the boundary of the ball, with quantitative estimates on the $n\geq1$8 seminorm: $n\geq1$9 For $M \subset \mathbb{R}^m$0 and maps close to $M \subset \mathbb{R}^m$1, one obtains the optimal estimate $M \subset \mathbb{R}^m$2, with corresponding bounds for second derivatives.

Optimal Partial Regularity and Singular Set

A covering argument leveraging the $M \subset \mathbb{R}^m$3-regularity result yields partial regularity for global minimizers: outside a closed singular set $M \subset \mathbb{R}^m$4 of Hausdorff dimension at most $M \subset \mathbb{R}^m$5, $M \subset \mathbb{R}^m$6 is $M \subset \mathbb{R}^m$7 regular, with $M \subset \mathbb{R}^m$8 regularity near the free boundary whenever $M \subset \mathbb{R}^m$9. Thus, the structure and size of the singular set, as well as the degree of smoothness both away from and near the constraint boundary, are now sharp for this class of energies. This brings the regularity theory for the Alt-Phillips energy in line with what is known for the Dirichlet and Alt-Caffarelli models, but with subtle differences manifesting in the critical exponent $$\mathcal{E}_{\lambda,\gamma}[u] = \int_\Omega \frac{1}{2}|Du|^2 + \lambda(\rho \circ u)^\gamma \, dx, \quad \lambda > 0,\ \gamma \in (0,2).$$0 and the structure of the Euler–Lagrange system.

Technical Developments

Two main technical obstacles are overcome:

• Control of the Nonlinear Source Term: For $$\mathcal{E}_{\lambda,\gamma}[u] = \int_\Omega \frac{1}{2}|Du|^2 + \lambda(\rho \circ u)^\gamma \, dx, \quad \lambda > 0,\ \gamma \in (0,2).$$1, the variational equation has a singular term that complicates regularity. Standard techniques based solely on mappings into constraint sets are not sufficient.
• Comparison with Constraint Maps: Rather than employing harmonic replacements, as in classical approaches, the authors utilize minimizing maps for the Dirichlet energy subject to the target constraint as comparison functions. This adjustment is essential to maintain compatibility with the constraint structure.

Key technical results include maximal and oscillation estimates for minimizing maps, a sharp monotonicity formula adapted to the inhomogeneous energy, and delicate decay estimates on the oscillation of derivatives using Campanato's approach and iterative bootstrapping.

Implications and Theoretical Significance

The results sharpen the understanding of fine regularity properties for constraint minimization problems with nontrivial source terms, clarifying the influence of the Alt-Phillips energy's nonlinear perturbation. The extension to $$\mathcal{E}_{\lambda,\gamma}[u] = \int_\Omega \frac{1}{2}|Du|^2 + \lambda(\rho \circ u)^\gamma \, dx, \quad \lambda > 0,\ \gamma \in (0,2).$$2 regularity for $$\mathcal{E}_{\lambda,\gamma}[u] = \int_\Omega \frac{1}{2}|Du|^2 + \lambda(\rho \circ u)^\gamma \, dx, \quad \lambda > 0,\ \gamma \in (0,2).$$3 underlines the optimal interplay between the source exponent and smoothness up to the free boundary, paralleling phenomena observed in free boundary and obstacle problems.

The partial regularity theory established here opens avenues for further exploration of geometric variational problems with singular source terms and constraints, including potential generalizations to systems, functional classes with variable exponents, or in the presence of lower regularity in the domain geometry.

From a practical perspective, the improved regularity ensures better stability and convergence behavior in numerical approximations of such constrained minimization problems. The compatibility with topological and geometric constraints—a pervasive feature in applications ranging from geometric flows to data-driven models—now enjoys a rigorous theoretical foundation.

Future Directions

Potential future directions include:

• Analysis of the Free Boundary: Detailed investigation of the regularity and structure of the free boundary $$\mathcal{E}_{\lambda,\gamma}[u] = \int_\Omega \frac{1}{2}|Du|^2 + \lambda(\rho \circ u)^\gamma \, dx, \quad \lambda > 0,\ \gamma \in (0,2).$$4, especially in the regime near singularities.
• Extension to Non-Euclidean Targets: The methods may be adapted to constraint sets with nontrivial topological or geometric structure, such as manifolds or stratified spaces.
• Functionals with More General Source Terms: Generalization to energies with variable exponents or even more singular perturbations.
• Applications to Calculus of Variations with Geometric Constraints: These results are expected to inform related problems, such as capillarity, phase transition, or harmonic map with obstacle constraints.

Conclusion

This work furnishes a comprehensive partial regularity theory for minimizers of Alt-Phillips-type energies subject to pointwise target constraints, yielding optimal smoothness results outside a sharp singular set. The paper's technical contributions resolve longstanding obstacles regarding the handling of singular source terms within the constraint map paradigm, and the results stand as a significant advance in the qualitative theory for geometric variational problems involving energy-minimizing mappings and free boundaries (2603.29810).