Asymptotics as ssearrow 0 of the nonlocal nonparametric Plateau problem with obstacles
Pith reviewed 2026-05-10 15:25 UTC · model grok-4.3
The pith
When the fractional order s is small enough and data at infinity is bounded, nonlocal minimal graphs stick entirely to the obstacle and leave the domain asymptotically empty.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For sufficiently small fractional parameter s and data at infinity not too large, the solutions to the nonlocal nonparametric Plateau problem with obstacles adhere entirely to the obstacle and leave the remainder of the domain asymptotically empty; this furnishes a class of examples in which continuity of nonlocal minimal graphs across the boundary and across the obstacle may fail.
What carries the argument
The nonlocal minimal graph obstacle problem, posed via an energy functional that penalizes nonlocal interactions while enforcing an obstacle constraint, whose minimizers are studied in both variational and geometric terms.
If this is right
- Existence of solutions holds for the obstacle problem in the nonlocal minimal graph setting.
- A priori estimates are available that control the graphs uniformly in the fractional parameter.
- The functional formulation and the geometric formulation of the obstacle problem are equivalent.
- As s tends to zero, the graphs exhibit complete stickiness to the obstacle under the stated size condition on the data.
Where Pith is reading between the lines
- The stickiness may limit the applicability of boundary regularity results that assume continuity up to the free boundary.
- Approximations of fractional minimal surfaces by local ones could inherit or amplify discontinuities when obstacles are present.
- The phenomenon suggests that the limiting local minimal graph problem with obstacles may require separate analysis of attached and detached regimes.
Load-bearing premise
The data prescribed at infinity must remain below some threshold when the fractional parameter s is taken sufficiently small.
What would settle it
Construction of a nonlocal minimal graph over a bounded domain that, for arbitrarily small positive s and bounded data at infinity, detaches from the obstacle on a set of positive measure.
read the original abstract
In this paper, we introduce a functional and a geometric setting for an obstacle problem for nonlocal minimal graphs. In particular we study existence of solutions, a priori estimates, and we prove the equivalence of the two settings. We then observe a striking stickiness phenomena when the fractional parameter is small and the data at infinity is not too large: the nonlocal minimal graphs adhere entirely to the obstacle and leave the remainder of the domain asymptotically empty. We thus provide a class of examples where continuity of nonlocal minimal graphs across the boundary and across the obstacle may fail.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a functional and geometric setting for the obstacle problem for nonlocal minimal graphs in the nonlocal nonparametric Plateau problem. It establishes existence of solutions, derives a priori estimates, proves equivalence between the two settings, and then studies the asymptotics as s ↓ 0. The central observation is a stickiness phenomenon: for sufficiently small s > 0 and data at infinity not too large, the nonlocal minimal graphs coincide with the obstacle throughout the domain and are asymptotically empty outside it, yielding examples where continuity across the boundary and obstacle fails.
Significance. If the stickiness result holds with a non-vacuous parameter regime, the paper supplies concrete counterexamples to boundary and obstacle continuity for nonlocal minimal graphs, which is of interest for the regularity theory of nonlocal minimal surfaces and their limits as s → 0. The existence, estimates, and equivalence results are standard but useful groundwork; the asymptotic stickiness is the novel contribution.
major comments (1)
- [Main stickiness theorem / asymptotic analysis section] The stickiness theorem (the main result on the asymptotic behavior as s ↓ 0) states that the phenomenon occurs when the fractional parameter is small and the data at infinity is not too large, but neither the abstract nor the statement provides an explicit threshold relating the size of the data at infinity to s. Without such a quantitative relation or effective constants from the a priori estimates, it is unclear whether the regime is non-empty, which directly affects whether the claimed counterexamples to continuity are realized.
minor comments (2)
- [Introduction / Preliminaries] Notation for the nonlocal energy and the obstacle constraint should be introduced with a single consistent definition early in the paper rather than piecemeal across sections.
- [Equivalence of settings] The equivalence proof between the functional and geometric settings would benefit from an explicit statement of the precise function spaces in which the minimizers are sought.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for highlighting the importance of clarifying the parameter regime in the stickiness result. We address the major comment below and will incorporate revisions to improve clarity.
read point-by-point responses
-
Referee: The stickiness theorem (the main result on the asymptotic behavior as s ↓ 0) states that the phenomenon occurs when the fractional parameter is small and the data at infinity is not too large, but neither the abstract nor the statement provides an explicit threshold relating the size of the data at infinity to s. Without such a quantitative relation or effective constants from the a priori estimates, it is unclear whether the regime is non-empty, which directly affects whether the claimed counterexamples to continuity are realized.
Authors: We agree that the statement would benefit from greater explicitness regarding the dependence between the data at infinity and s. The proof of the stickiness theorem relies on the a priori estimates established earlier in the paper, which are effective in the sense that all constants are determined by the data, the obstacle, and the domain. Specifically, the estimates imply that for any fixed M > 0 bounding the data at infinity, there exists s_0 = s_0(M) > 0 such that the stickiness phenomenon holds for all s < s_0. This follows because the nonlocal interaction terms are controlled uniformly for small s when the data is fixed, causing the solution to adhere to the obstacle inside the domain and to vanish asymptotically outside. Consequently, the regime is non-empty for any choice of data at infinity (with the bound M arbitrary but fixed). We will revise the theorem statement and abstract to explicitly note this dependence (data fixed, s sufficiently small) and add a short remark after the proof indicating how the threshold s_0 arises from the preceding estimates. No numerical values for s_0 are computed, as the emphasis is on the asymptotic limit rather than optimization. revision: yes
Circularity Check
No circularity: standard variational proofs of existence, estimates, and asymptotics
full rationale
The derivation proceeds by introducing a nonlocal energy functional and geometric setting for the obstacle problem, establishing existence of minimizers, deriving a priori estimates, proving equivalence of the two formulations, and then analyzing the s↘0 limit to obtain the stickiness result under the stated smallness assumptions on s and the data at infinity. None of these steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the central claims rest on direct variational arguments and comparison principles that are independent of the target asymptotics. The unquantified threshold on the data is a limitation on the explicitness of the regime but does not render any step circular.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Existence of minimizers for the nonlocal energy in appropriate fractional Sobolev spaces with obstacles
- domain assumption Equivalence between functional and geometric formulations of nonlocal minimal graphs
Reference graph
Works this paper leans on
-
[1]
A notion of nonlocal curvature.Numer
Nicola Abatangelo and Enrico Valdinoci. A notion of nonlocal curvature.Numer. Funct. Anal. Optim., 35(7- 9):793–815, 2014
work page 2014
-
[2]
Springer Science & Business Media, 2000
Luigi Ambrosio and Norman Dancer.Calculus of Variations and Partial Differential Equations: Topics on Geo- metrical Evolution Problems and Degree Theory. Springer Science & Business Media, 2000
work page 2000
-
[3]
Bego ˜na Barrios, Alessio Figalli, and Enrico Valdinoci. Bootstrap regularity for integro-differential operators and its application to nonlocal minimal surfaces.Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5), 13(3):609–639, 2014
work page 2014
-
[4]
Complete stickiness of nonlocal minimal surfaces for small values of the fractional parameter.Ann
Claudia Bucur, Luca Lombardini, and Enrico Valdinoci. Complete stickiness of nonlocal minimal surfaces for small values of the fractional parameter.Ann. Inst. H. Poincar ´e Anal. Non Lin´eaire, 36(3):655–703, 2019
work page 2019
-
[5]
A gradient estimate for nonlocal minimal graphs.Duke Math
Xavier Cabr ´e and Matteo Cozzi. A gradient estimate for nonlocal minimal graphs.Duke Math. J., 168(5):775– 848, 2019
work page 2019
-
[6]
Obstacle-type problems for minimal surfaces.Comm
Luis Caffarelli, Daniela De Silva, and Ovidiu Savin. Obstacle-type problems for minimal surfaces.Comm. Partial Differential Equations, 41(8):1303–1323, 2016
work page 2016
-
[7]
Nonlocal minimal surfaces.Comm
Luis Caffarelli, Jean-Michel Roquejoffre, and Ovidiu Savin. Nonlocal minimal surfaces.Comm. Pure Appl. Math., 63(9):1111–1144, 2010
work page 2010
-
[8]
Regularity properties of nonlocal minimal surfaces via limiting arguments
Luis Caffarelli and Enrico Valdinoci. Regularity properties of nonlocal minimal surfaces via limiting arguments. Adv. Math., 248:843–871, 2013
work page 2013
-
[9]
On nonlocal minimal graphs.Calc
Matteo Cozzi and Luca Lombardini. On nonlocal minimal graphs.Calc. Var. Partial Differential Equations, 60(4):Paper No. 136, 72, 2021
work page 2021
-
[10]
Ennio De Giorgi. Frontiere orientate di misura minima.Seminario di Matematica della Scuola Normale Superiore di Pisa, , 1960-61 Editrice Tecnico Scientifica, Pisa, page 57 pp, 1961
work page 1960
-
[11]
Asymptotics of thes-perimeter as s↘0.Discrete Contin
Serena Dipierro, Alessio Figalli, Giampiero Palatucci, and Enrico Valdinoci. Asymptotics of thes-perimeter as s↘0.Discrete Contin. Dyn. Syst., 33(7):2777–2790, 2013
work page 2013
-
[12]
Graph properties for nonlocal minimal surfaces.Calc
Serena Dipierro, Ovidiu Savin, and Enrico Valdinoci. Graph properties for nonlocal minimal surfaces.Calc. Var. Partial Differential Equations, 55(4):Paper No. 86, 25, 2016
work page 2016
-
[13]
Boundary behavior of nonlocal minimal surfaces.J
Serena Dipierro, Ovidiu Savin, and Enrico Valdinoci. Boundary behavior of nonlocal minimal surfaces.J. Funct. Anal., 272(5):1791–1851, 2017
work page 2017
-
[14]
Serena Dipierro, Ovidiu Savin, and Enrico Valdinoci. Boundary properties of fractional objects: flexibility of linear equations and rigidity of minimal graphs.J. Reine Angew. Math., 769:121–164, 2020
work page 2020
-
[15]
Nonlocal minimal graphs in the plane are generically sticky
Serena Dipierro, Ovidiu Savin, and Enrico Valdinoci. Nonlocal minimal graphs in the plane are generically sticky. Comm. Math. Phys., 376(3):2005–2063, 2020
work page 2005
-
[16]
Serena Dipierro, Ovidiu Savin, and Enrico Valdinoci. Regularity of the trace of nonlocal minimal graphs.arXiv preprint arXiv:2601.20484, 2026
-
[17]
Nonlocal minimal surfaces: Interior regularity, quantitative estimates and boundary stickiness
Serena Dipierro and Enrico Valdinoci. Nonlocal minimal surfaces: Interior regularity, quantitative estimates and boundary stickiness. In Giampiero Palatucci and Tuomo Kuusi, editors,Recent Developments in Nonlocal Theory, pages 165–209. De Gruyter Open Poland, Warsaw, Poland, 2017
work page 2017
-
[18]
Approximation of domains with Lipschitzian boundary
Pavel Doktor. Approximation of domains with Lipschitzian boundary. ˇCas. Pˇestov´an´ı Mat., 101:237–255, 1976
work page 1976
-
[19]
Trudinger.Elliptic partial differential equations of second order
David Gilbarg and Neil S. Trudinger.Elliptic partial differential equations of second order. Classics in Mathe- matics. Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition
work page 2001
-
[20]
Birkh¨auser Verlag, Basel, 1984
Enrico Giusti.Minimal surfaces and functions of bounded variation, volume 80 ofMonographs in Mathematics. Birkh¨auser Verlag, Basel, 1984. ASYMPTOTICS ASs↘0 OF THE NONLOCAL NONPARAMETRIC PLATEAU PROBLEM 29
work page 1984
-
[21]
Boundary Euler-Lagrange inequalities for nonlocal perimeter functionals.preprint, 2016
Luca Lombardini. Boundary Euler-Lagrange inequalities for nonlocal perimeter functionals.preprint, 2016
work page 2016
-
[22]
Luca Lombardini. Approximation of sets of finite fractional perimeter by smooth sets and comparison of local and globals-minimal surfaces.Interfaces Free Bound., 20(2):261–296, 2018
work page 2018
-
[23]
Luca Lombardini. Minimization problems involving nonlocal functionals: nonlocal minimal surfaces and a free boundary problem.https://arxiv.org/abs/1811.09746, 2018
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.