ACF Almost Monotonicity at Infinity with Applications to Perturbed Global Solutions

Abstract: We study the large-scale behavior of the coincidence set of perturbations of global solutions to the classical obstacle problem in $\mathbb{R}^n\setminus B_1$, with blow-down invariant in the $e_n$ direction. In dimensions $n\geq 3$, we prove that, locally around regular points sufficiently far out, the cross-sections of ${u=0}$ perpendicular to $e_n$ are $C<sup>2$ perturbations of ellipsoids. The main ingredient is a new large-scale almost monotonicity formula for the Alt--Caffarelli--Friedman functional. In contrast with the classical small-scale perturbative theory, our argument exploits the stability of the obstacle problem together with the fact that local perturbations vanish under blow-down. The method provides a model mechanism for controlling errors at infinity in stable free boundary problems.

• The paper introduces a novel large-scale almost monotonicity formula for the ACF functional at infinity, quantifying the decay of perturbations with precise error estimates.
• It employs advanced cut-off techniques, elliptic regularity, and comparison arguments to transfer monotonicity properties from auxiliary global solutions.
• The study establishes robust free boundary regularity at infinity and classifies blow-down limits based on quadratic profiles, enhancing our understanding of perturbed obstacle problems.

ACF Almost Monotonicity at Infinity and Perturbed Global Solutions

Introduction and Context

This paper investigates the large-scale geometric and analytic properties of solutions to the classical obstacle problem on exterior domains, specifically $\mathbb{R}^n \setminus B_1$, which exhibit prescribed blow-down limits in a fixed direction. The main analytic focus lies in developing a large-scale (as $|x|\to\infty$) “almost monotonicity” formula for the Alt–Caffarelli–Friedman (ACF) functional, which is of foundational importance in the regularity theory of free boundary problems. The work builds from the understanding that, at infinity, perturbations localized near the origin become negligible under appropriate rescalings (blow-downs), allowing for new structural theorems about the asymptotic geometry of perturbed free boundaries.

Main Results

Large-Scale ACF Almost Monotonicity

The central analytic contribution is a novel almost monotonicity formula for the ACF functional at infinity. Let $w$ solve $\Delta w = f$ on $\mathbb{R}^n$ with $f$ coinciding with $\chi_{\{w>0\}}$ outside a fixed ball, and consider finite difference quotients in a fixed direction. The main theorem states that for $n\geq 3$, given any $\delta>0$ and $h\in(0,1)$, there exists $|x|\to\infty$0 such that

$|x|\to\infty$1

for all $|x|\to\infty$2 and $|x|\to\infty$3, where $|x|\to\infty$4 denotes the ACF functional. In $|x|\to\infty$5, an analogous formula holds up to an additional logarithmic factor. This result asserts that the monotonicity defect of the ACF functional, when evaluated on perturbed global solutions, decays to zero as $|x|\to\infty$6.

Notably, the proof strategy diverges substantially from the classical small-scale almost monotonicity analysis (relying on vanishing at the base point). Instead, it exploits that local perturbations become insignificant at infinity: after blow-down, the perturbed region contracts to zero volume, allowing one to transfer the monotonicity properties of suitably constructed auxiliary (replacement) solutions to the original perturbed solution. This insight is formalized via stability estimates for the obstacle problem and careful comparison arguments.

Geometric Structure of Free Boundary at Infinity

Using the large-scale almost monotonicity, the authors establish new regularity results for the regular part of the free boundary of global solutions (with nontrivial coincidence set) perturbed in a localized region:

For $|x|\to\infty$7: If $|x|\to\infty$8 is a solution to the perturbed obstacle problem in $|x|\to\infty$9 whose blow-down is a quadratic polynomial $w$0, then far enough in the $w$1-direction, the cross-sections of $w$2 perpendicular to $w$3 are $w$4-small normal graphs over homothetic copies of the ellipsoid associated to $w$5. More precisely, for each $w$6 and $w$7 sufficiently large, the slice $w$8 is an $w$9-$\Delta w = f$0 normal graph over a scaled copy of the limiting ellipsoid. These cross-sections reflect the asymptotic stability and rigidity of regular free boundaries for perturbed solutions at large distances from the perturbation.

The analysis further supports a classification of all possible blow-down limits along diverging sequences of regular points, showing that only global solutions arise as nontrivial limits, and distinguishing between elliptic, cylindrical, and half-space configurations depending on the structure of the quadratic polynomial $\Delta w = f$1. The conclusions are supported by a careful analysis of regularity and convergence of the coincidence set under rescalings and a detailed application of the derived ACF almost monotonicity property.

Technical Approach

The technical core combines several elements:

• Cut-off and Comparison Techniques: Solutions are cut off and replaced with global solutions on large balls to isolate and control the effect of localized perturbations.
• Elliptic Regularity and Stability: Utilized in comparing the original and replacement solutions, ensuring that estimates don't degrade under dilation.
• Quantitative Geometric Analysis: Through rescalings (blow-downs) and continuity arguments, the geometric structure of the coincidence set is deduced from the analytic properties.
• Optimal $\Delta w = f$2 and $\Delta w = f$3 Estimates: These ensure the strong convergence needed for fine geometric conclusions on the free boundary.
• Classification Theorems for Global Solutions: Previously established results on the structure of global solutions and their free boundaries (ellipsoids, cylinders, paraboloids) are invoked to conclude the classification of asymptotic profiles.

Numerical and Structural Outcomes

A strong quantitative outcome is the precision of the monotonicity defect decay: $\Delta w = f$4 in $\Delta w = f$5 and $\Delta w = f$6 in $\Delta w = f$7, which is sufficient for transmission of monotonicity properties to the limit as $\Delta w = f$8. The boundary regularity results guarantee $\Delta w = f$9-small perturbations of limiting ellipsoids for large cross-sections, providing a robust geometric picture of perturbed global solutions at infinity.

The analysis also makes clear distinctions in dimension: in $\mathbb{R}^n$0, slices reduce to segments, precluding significant new geometric effects, while in higher dimensions, the richness of the free boundary geometry emerges.

Theoretical and Practical Implications

Theoretically, this work extends the toolkit for the analysis of stable free boundary problems by providing mechanisms for controlling errors at infinity, rather than relying exclusively on vanishing at a finite point. The results may influence the study of asymptotics and classification in other stable or variational PDE settings where similar localization/dilation phenomena govern the large-scale structure.

Practically, understanding the persistence and asymptotic behavior of geometric features under perturbations is foundational for applications in physics (e.g., phase transition models, elastic-plastic obstacles), engineering, and materials science where obstacles and interfaces are subject to localized external influences.

Going forward, possible directions include:

• Extension to more general operators or settings with nontrivial lower-order perturbations.
• Development of related monotonicity concepts for nonlinear obstacle-type problems or systems.
• Analysis of singular point sets under perturbation, given the added complexity and possible "wild" behavior of singular loci noted by the authors.

Conclusion

The paper provides a rigorous analytic and geometric framework for the asymptotic analysis of globally defined solutions to the obstacle problem under localized perturbations. The main achievement is the establishment of a new large-scale almost monotonicity formula for the ACF functional, allowing for precise control of the regular part of the free boundary at infinity. The methods and results offer a model for handling perturbations in stable free boundary problems and open avenues for further exploration in both linear and nonlinear contexts.

Reference: "ACF Almost Monotonicity at Infinity with Applications to Perturbed Global Solutions" (2606.31770)