pith. sign in

arxiv: 2412.01813 · v3 · submitted 2024-12-02 · 🧮 math.AP

Free boundary regularity for semilinear variational problems with a topological constraint

Michael Novack , Daniel Restrepo , Anna Skorobogatova This is my paper

Pith reviewed 2026-05-23 08:23 UTC · model grok-4.3

classification 🧮 math.AP
keywords free boundary problemstopological constraintsemilinear variational problemsPlateau problemminimal capacityAllen-Cahn formulationLipschitz regularitycodimension two singularities
0
0 comments X

The pith

Semilinear variational problems with a topological spanning constraint on the 1-level set have minimizers that are Lipschitz regular, with free boundaries analytic outside a codimension-two singular set.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper examines free boundary problems where admissible functions must satisfy a topological constraint forcing their 1-level set to span a prescribed frame, akin to surfaces in the Plateau problem. It establishes existence of minimizers for a minimal capacity problem and an Allen-Cahn formulation of the Plateau problem. The minimizers achieve optimal Lipschitz regularity. Their free boundaries are analytic away from a codimension-two singular set. The singularities are modeled by conical critical points of the minimal capacity problem, linked to spectral optimal partition problems.

Core claim

We establish the existence of minimizers and study their regularity properties, obtaining the optimal Lipschitz regularity of minimizers and analytic regularity for the free boundaries away from a codimension two singular set. The singularity models for these problems are given by conical critical points of the minimal capacity problem, which are closely related to spectral optimal partition and segregation problems.

What carries the argument

The topological spanning constraint on the 1-level set, which forces the free boundary to behave like a surface with special singularities attached to a fixed boundary frame while preserving the variational structure.

If this is right

  • Minimizers exist for minimization of capacity among surfaces sharing a common boundary under the spanning condition.
  • Minimizers exist for the Allen-Cahn formulation of the Plateau problem with the topological constraint.
  • Minimizers are Lipschitz continuous at the optimal rate.
  • Free boundaries are analytic outside a codimension-two singular set.
  • The singularities are conical critical points related to spectral optimal partition and segregation problems.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The approach may extend regularity results to other semilinear problems that incorporate topological spanning conditions.
  • The codimension-two control on singularities could connect these problems more directly to existing theory for minimal surfaces with prescribed boundaries.
  • Numerical approximations of the minimizers might be used to observe the predicted conical singularity models in explicit examples.
  • Similar constraints could be imposed in higher-dimensional or vector-valued settings while retaining the same regularity conclusions.

Load-bearing premise

The topological spanning constraint can be imposed on the admissible class while preserving the standard variational structure and without introducing singularities worse than codimension two.

What would settle it

A minimizer that fails to be Lipschitz continuous, or a free boundary containing a singularity of codimension one, would disprove the claimed regularity.

Figures

Figures reproduced from arXiv: 2412.01813 by Anna Skorobogatova, Daniel Restrepo, Michael Novack.

Figure 1.1
Figure 1.1. Figure 1.1: Shown above are two different configurations of W ⊂ R 2 , generators for an associated spanning class C, and a spanning set. In both cases, W is the union of the gray balls, C is the family of smooth loops homotopic to some γi , and the example spanning sets are composed of line segments. We will refer to any set satisfying (1.3) as C-spanning. This type of condition originated in the study of the set-th… view at source ↗
read the original abstract

We study a class of semilinear free boundary problems in which admissible functions $u$ have a topological constraint, or spanning condition, on their 1-level set. This constraint forces $\{u=1\}$, which is the free boundary, to behave like a surface with some special types of singularities attached to a fixed boundary frame, in the spirit of the Plateau problem \cite{HP16}. Two such free boundary problems are the minimization of capacity among surfaces sharing a common boundary and an Allen-Cahn formulation of the Plateau problem. We establish the existence of minimizers and study their regularity properties, obtaining the optimal Lipschitz regularity of minimizers and analytic regularity for the free boundaries away from a codimension two singular set. The singularity models for these problems are given by conical critical points of the minimal capacity problem, which are closely related to spectral optimal partition and segregation problems.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript studies semilinear free boundary problems subject to a topological spanning constraint on the 1-level set of admissible functions. It treats two model problems: capacity minimization among surfaces sharing a fixed boundary frame, and an Allen-Cahn formulation of the Plateau problem. The authors establish existence of minimizers, prove optimal Lipschitz regularity of the minimizers, and obtain analytic regularity of the free boundaries outside a codimension-two singular set whose models are conical critical points of the minimal-capacity problem (related to spectral optimal partitions).

Significance. If the results hold, the work extends free-boundary regularity theory to variational problems with topological constraints, providing a direct link between capacity minimization, the classical Plateau problem, and segregation problems. The identification of singularity models and the analytic regularity statement away from codimension two are the principal contributions.

minor comments (2)
  1. The abstract and introduction refer to “the setup of the two problems” without an explicit numbered section or displayed definition of the admissible class; a dedicated subsection stating the precise functional setting and the spanning condition would improve readability.
  2. The statement that the singularity models are “closely related to spectral optimal partition and segregation problems” would benefit from one or two additional citations to the relevant literature on conical solutions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper establishes existence of minimizers and regularity (Lipschitz for u, analytic for free boundaries away from codim-2 set) for two variational problems with topological spanning constraints. These are standard direct-method and regularity arguments in the calculus of variations, building on the well-posedness of the admissible class (capacity minimization and Allen-Cahn Plateau) as stated in the setup. No equations reduce a claimed prediction to a fitted input by construction, no load-bearing self-citations appear, and the singularity models are identified with external conical critical points rather than being defined circularly. The work is therefore independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based solely on the abstract; no free parameters, invented entities, or non-standard axioms are visible. The work relies on standard background results in the calculus of variations and elliptic regularity.

axioms (2)
  • standard math Existence of minimizers in appropriate Sobolev or BV spaces for the capacity and Allen-Cahn functionals under the given constraint
    Invoked implicitly when stating that minimizers exist.
  • standard math Standard elliptic regularity theory applies once the free boundary is shown to be a critical point
    Used to obtain analyticity away from the singular set.

pith-pipeline@v0.9.0 · 5677 in / 1132 out tokens · 25447 ms · 2026-05-23T08:23:25.882213+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages · 1 internal anchor

  1. [1]

    Caffarelli, and Avner Friedman

    Hans Wilhelm Alt, Luis A. Caffarelli, and Avner Friedman. Variational problems with two phases and their free boundaries. Trans. Amer. Math. Soc. , 282(2):431--461, 1984

    work page 1984

  2. [2]

    Harmonic polynomials and tangent measures of harmonic measure

    Matthew Badger. Harmonic polynomials and tangent measures of harmonic measure. Revista Matem \'a tica Iberoamericana , 27(3):841--870, 2011

    work page 2011

  3. [3]

    The method of fundamental solutions applied to boundary eigenvalue problems

    Beniamin Bogosel. The method of fundamental solutions applied to boundary eigenvalue problems. Journal of Computational and Applied Mathematics , 306:265--285, 2016

    work page 2016

  4. [4]

    Surfaces of minimum capacity for a knot

    Luis A Caffarelli. Surfaces of minimum capacity for a knot. Annali della Scuola Normale Superiore di Pisa-Classe di Scienze , 2(4):497--505, 1975

    work page 1975

  5. [5]

    Rigidity of equality cases in S teiner's perimeter inequality

    Filippo Cagnetti, Maria Colombo, Guido De Philippis, and Francesco Maggi. Rigidity of equality cases in S teiner's perimeter inequality. Anal. PDE , 7(7):1535--1593, 2014

    work page 2014

  6. [6]

    Essential connectedness and the rigidity problem for G aussian symmetrization

    Filippo Cagnetti, Maria Colombo, Guido De Philippis, and Francesco Maggi. Essential connectedness and the rigidity problem for G aussian symmetrization. J. Eur. Math. Soc. (JEMS) , 19(2):395--439, 2017

    work page 2017

  7. [7]

    Stable solutions to semilinear elliptic equations are smooth up to dimension 9

    Xavier Cabr \'e , Alessio Figalli, Xavier Ros-Oton, and Joaquim Serra. Stable solutions to semilinear elliptic equations are smooth up to dimension 9 . Acta Mathematica , 224(2):187--252, 2020

    work page 2020

  8. [8]

    An optimal partition problem for eigenvalues

    Luis A Cafferelli and Fang Hua Lin. An optimal partition problem for eigenvalues. Journal of scientific Computing , 31(1-2):5--18, 2007

    work page 2007

  9. [9]

    Singularly perturbed elliptic systems and multi-valued harmonic functions with free boundaries

    Luis Caffarelli and Fang-Hua Lin. Singularly perturbed elliptic systems and multi-valued harmonic functions with free boundaries. Journal of the American Mathematical Society , 21(3):847--862, 2008

    work page 2008

  10. [10]

    A variational problem for the spatial segregation of reaction-diffusion systems

    Monica Conti, Susanna Terracini, and Gianmaria Verzini. A variational problem for the spatial segregation of reaction-diffusion systems. Indiana University Mathematics Journal , 54(3):779--815, 2005

    work page 2005

  11. [11]

    The size of the singular set of area-minimizing currents

    Camillo De Lellis. The size of the singular set of area-minimizing currents. In Surveys in differential geometry 2016. A dvances in geometry and mathematical physics , volume 21 of Surv. Differ. Geom. , pages 1--83. Int. Press, Somerville, MA, 2016

    work page 2016

  12. [12]

    A direct approach to the anisotropic P lateau problem

    Camillo De Lellis, Antonio De Rosa, and Francesco Ghiraldin. A direct approach to the anisotropic P lateau problem. Adv. Calc. Var. , 12(2):211--223, 2019

    work page 2019

  13. [13]

    De Lellis, F

    C. De Lellis, F. Ghiraldin, and F. Maggi. A direct approach to P lateau's problem. J. Eur. Math. Soc. (JEMS) , 19(8):2219--2240, 2017

    work page 2017

  14. [14]

    Q -valued functions revisited

    Camillo De Lellis and Emanuele Nunzio Spadaro. Q -valued functions revisited. Mem. Amer. Math. Soc. , 211(991):vi+79, 2011

    work page 2011

  15. [15]

    De Philippis, A

    G. De Philippis, A. De Rosa, and F. Ghiraldin. A direct approach to P lateau's problem in any codimension. Adv. Math. , 288:59--80, 2016

    work page 2016

  16. [16]

    Existence results for minimizers of parametric elliptic functionals

    Guido De Philippis, Antonio De Rosa, and Francesco Ghiraldin. Existence results for minimizers of parametric elliptic functionals. J. Geom. Anal. , 30(2):1450--1465, 2020

    work page 2020

  17. [17]

    Minimization of anisotropic energies in classes of rectifiable varifolds

    Antonio De Rosa. Minimization of anisotropic energies in classes of rectifiable varifolds. SIAM J. Math. Anal. , 50(1):162--181, 2018

    work page 2018

  18. [18]

    Evans and Ronald F

    Lawrence C. Evans and Ronald F. Gariepy. Measure theory and fine properties of functions . Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, 1992

    work page 1992

  19. [19]

    Surfaces of minimal capacity

    GC Evans. Surfaces of minimal capacity. Proceedings of the National Academy of Sciences , 26(8):489--491, 1940

    work page 1940

  20. [20]

    Surfaces of minimum capacity

    GC Evans. Surfaces of minimum capacity. Proceedings of the National Academy of Sciences , 26(11):664--667, 1940

    work page 1940

  21. [21]

    Existence of solutions to a general geometric elliptic variational problem

    Yangqin Fang and S awomir Kolasi\' n ski. Existence of solutions to a general geometric elliptic variational problem. Calc. Var. Partial Differential Equations , 57(3):Paper No. 91, 71, 2018

    work page 2018

  22. [22]

    The thin obstacle problem: a survey

    Xavier Fern \'a ndez-Real. The thin obstacle problem: a survey. Publicacions Matem \`a tiques , 66(1):3--55, 2022

    work page 2022

  23. [23]

    G. P. Galdi. An introduction to the mathematical theory of the N avier- S tokes equations . Springer Monographs in Mathematics. Springer, New York, second edition, 2011. Steady-state problems

    work page 2011

  24. [24]

    Differential topology

    Victor Guillemin and Alan Pollack. Differential topology . Prentice-Hall, Inc., Englewood Cliffs, NJ, 1974

    work page 1974

  25. [25]

    Classical F ourier analysis , volume 249 of Graduate Texts in Mathematics

    Loukas Grafakos. Classical F ourier analysis , volume 249 of Graduate Texts in Mathematics . Springer, New York, third edition, 2014

    work page 2014

  26. [26]

    On spectral minimal partitions: the case of the sphere

    Bernard Helffer, Thomas Hoffmann-Ostenhof, and Susanna Terracini. On spectral minimal partitions: the case of the sphere. In Around the Research of Vladimir Maz'ya III: Analysis and Applications , pages 153--178. Springer, 2009

    work page 2009

  27. [27]

    Harrison and H

    J. Harrison and H. Pugh. Solutions to the R eifenberg P lateau problem with cohomological spanning conditions. Calc. Var. Partial Differential Equations , 55(4):Art. 87, 37, 2016

    work page 2016

  28. [28]

    Existence and soap film regularity of solutions to P lateau's problem

    Jenny Harrison and Harrison Pugh. Existence and soap film regularity of solutions to P lateau's problem. Adv. Calc. Var. , 9(4):357--394, 2016

    work page 2016

  29. [29]

    Harrison and H

    J. Harrison and H. Pugh. General methods of elliptic minimization. Calc. Var. Partial Differential Equations , 56(4):Paper No. 123, 25, 2017

    work page 2017

  30. [30]

    Interior regularity for two-dimensional stationary Q -valued maps, 2022

    Jonas Hirsch and Luca Spolaor. Interior regularity for two-dimensional stationary Q -valued maps, 2022

    work page 2022

  31. [31]

    On the local behavior of solutions of non-parabolic partial differential equations

    Philip Hartman and Aurel Wintner. On the local behavior of solutions of non-parabolic partial differential equations. American Journal of Mathematics , 75(3):449--476, 1953

    work page 1953

  32. [32]

    On the local behavior of solutions of non-parabolic partial differential equations: Iii

    Philip Hartman and Aurel Wintner. On the local behavior of solutions of non-parabolic partial differential equations: Iii. approximations by spherical harmonics. American Journal of Mathematics , 77(3):453--474, 1955

    work page 1955

  33. [33]

    Partial analyticity and nodal sets for nonlinear elliptic systems

    Herbert Koch and Nikolai Nadirashvili. Partial analyticity and nodal sets for nonlinear elliptic systems. arXiv preprint arXiv:1506.06224 , 2015

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  34. [34]

    Improved energy decay estimate for D ir-stationary Q -valued functions and its applications, 2023

    Sanghoon Lee. Improved energy decay estimate for D ir-stationary Q -valued functions and its applications, 2023

    work page 2023

  35. [35]

    On the mininum number of domains in which the nodal lines of spherical harmonics divide the sphere

    Hans Lewy. On the mininum number of domains in which the nodal lines of spherical harmonics divide the sphere. Communications in Partial Differential Equations , 2(12):1233--1244, 1977

    work page 1977

  36. [36]

    The analysis of harmonic maps and their heat flows

    Fanghua Lin and Changyou Wang. The analysis of harmonic maps and their heat flows . World Scientific, 2008

    work page 2008

  37. [37]

    Sets of finite perimeter and geometric variational problems , volume 135 of Cambridge Studies in Advanced Mathematics

    Francesco Maggi. Sets of finite perimeter and geometric variational problems , volume 135 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2012. An introduction to geometric measure theory

    work page 2012

  38. [38]

    A hierarchy of P lateau problems and the approximation of P lateau's laws via the A llen-- C ahn equation

    Francesco Maggi, Michael Novack, and Daniel Restrepo. A hierarchy of P lateau problems and the approximation of P lateau's laws via the A llen-- C ahn equation. arXiv preprint arXiv:2312.11139 , 2023

    work page arXiv 2023

  39. [39]

    Plateau borders in soap films and G auss' capillarity theory

    Francesco Maggi, Michael Novack, and Daniel Restrepo. Plateau borders in soap films and G auss' capillarity theory. arXiv preprint arXiv:2310.20169 , 2023

    work page arXiv 2023

  40. [40]

    Uniform stability in the E uclidean isoperimetric problem for the A llen- C ahn energy

    Francesco Maggi and Daniel Restrepo. Uniform stability in the E uclidean isoperimetric problem for the A llen- C ahn energy. Analysis & PDE , 17(5):1761--1830, 2024

    work page 2024

  41. [41]

    Structure of the free interfaces near triple junction singularities in harmonic maps and optimal partition problems, 2024

    Roberto Ognibene and Bozhidar Velichkov. Structure of the free interfaces near triple junction singularities in harmonic maps and optimal partition problems, 2024. cvgmt preprint

    work page 2024

  42. [42]

    Regularity properties of stationary harmonic functions whose laplacian is a radon measure

    R\' e my Rodiac. Regularity properties of stationary harmonic functions whose laplacian is a radon measure. SIAM Journal on Mathematical Analysis , 48(4):2495--2531, 2016

    work page 2016

  43. [43]

    Lectures on geometric measure theory , volume 3 of Proceedings of the Centre for Mathematical Analysis, Australian National University

    Leon Simon. Lectures on geometric measure theory , volume 3 of Proceedings of the Centre for Mathematical Analysis, Australian National University . Australian National University, Centre for Mathematical Analysis, Canberra, 1983

    work page 1983

  44. [44]

    u rich. Birkh\

    Leon Simon. Theorems on regularity and singularity of energy minimizing maps . Lectures in Mathematics ETH Z\" u rich. Birkh\" a user Verlag, Basel, 1996. Based on lecture notes by Norbert Hungerb\" u hler

    work page 1996

  45. [45]

    Liouville theorems and 1-dimensional symmetry for solutions of an elliptic system modelling phase separation

    Nicola Soave and Susanna Terracini. Liouville theorems and 1-dimensional symmetry for solutions of an elliptic system modelling phase separation. Adv. Math. , 279:29--66, 2015

    work page 2015

  46. [46]

    Jean E. Taylor. The structure of singularities in soap-bubble-like and soap-film-like minimal surfaces. Annals of Mathematics , 103(3):489--539, 1976

    work page 1976

  47. [47]

    Regularity of the nodal set of segregated critical configurations under a weak reflection law

    Hugo Tavares and Susanna Terracini. Regularity of the nodal set of segregated critical configurations under a weak reflection law. Calculus of Variations and Partial Differential Equations , 45:273--317, 2012

    work page 2012

  48. [48]

    Stable phase interfaces in the van der W aals-- C ahn-- H illiard theory

    Yoshihiro Tonegawa and Neshan Wickramasekera. Stable phase interfaces in the van der W aals-- C ahn-- H illiard theory. J. Reine Angew. Math. , 668:191--210, 2012

    work page 2012