pith. sign in

arxiv: 2604.15863 · v2 · submitted 2026-04-17 · 🧮 math.AP

C^(infty) regularity of the Alt-Phillips Functional for negative powers

Lu Chen , Jiali Lan , Yong Wu This is my paper

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

classification 🧮 math.AP
keywords alt-phillipsgammanegativepowersfracfreefunctionalinfty
0
0 comments X

The pith

Free boundaries of minimizers of the Alt-Phillips functional with negative powers γ ∈ (0,2) are C^∞ at regular points.

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

The Alt-Phillips functional combines the squared gradient of a function u with a term that becomes very large when u is small but positive. Its minimizers have a free boundary separating where u is positive from where it is zero. The authors focus on points where this boundary behaves regularly and show it must actually be infinitely differentiable. They achieve this by deriving a linearized equation for the derivatives of u and proving a comparison principle that controls the behavior of solutions to that linear equation.

Core claim

We proved that the free boundaries are C^∞ at regular points.

Load-bearing premise

The comparison principle holds for the linearized operator associated to the Euler-Lagrange equation in the negative-power case.

read the original abstract

In this paper, we study the regularity of the free boundary for minimizers of the Alt-Phillips functional with negative powers \[\mathcal{E}_{\gamma}(u)=\int_{\Omega}\frac{1}{2}|\nabla u|^2+\frac{1}{\gamma}u^{-\gamma}\chi_{\{u>0\}}dx,\quad\gamma\in(0,2).\] We proved that the free boundaries are $C^{\infty}$ at regular points. A key technical tool is the linearized operator for the PDE satisfied by the partial derivatives of a solution to the Alt-Phillips Euler-Lagrange equation in the negative power case. For this operator we establish a comparison principle, which may have further applications to the Alt-Phillips problem with negative powers.

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

2 major / 2 minor

Summary. The paper studies minimizers of the Alt-Phillips functional with negative powers E_γ(u) = ∫ (1/2 |∇u|^2 + (1/γ) u^{-γ} χ_{u>0}) dx for γ ∈ (0,2). It claims that free boundaries are C^∞ at regular points, with the key tool being a comparison principle for the linearized operator associated to the Euler-Lagrange equation Δu = -u^{-γ-1} inside {u>0}, applied to partial derivatives of solutions.

Significance. If the result holds, it extends free-boundary regularity theory to the singular negative-power regime, which has received less attention than the positive-power Alt-Phillips problem. The comparison principle for the linearized operator, if established with the necessary control on singular coefficients, is a reusable technical contribution that could apply to other degenerate variational problems.

major comments (2)
  1. [Section establishing the comparison principle for the linearized operator] The comparison principle for the linearized operator (introduced after the Euler-Lagrange equation) must be proved with explicit control on the singular zeroth-order coefficient that behaves like u^{-γ-2} as u → 0 near the free boundary. Standard maximum principles require either bounded coefficients or suitable integrability; the manuscript must supply uniform estimates preventing the singularity from invalidating the principle up to the free boundary.
  2. [Bootstrap argument for C^∞ regularity] The bootstrap from the comparison principle to C^∞ regularity at regular free-boundary points relies on the linearized equation holding in a neighborhood that touches the free boundary. The argument needs to confirm that the singular coefficients remain compatible with the Schauder or higher-order estimates used in the bootstrap, without additional assumptions on the distance to the free boundary.
minor comments (2)
  1. The abstract should state the ambient dimension and any standing assumptions on the domain Ω.
  2. Notation for the linearized operator L should be introduced with an explicit formula (including the precise form of the zeroth-order term) at first appearance.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and valuable comments on our manuscript. The points raised highlight important technical aspects of the comparison principle and bootstrap that we will address explicitly in the revision. Below we respond point by point.

read point-by-point responses

  1. Referee: [Section establishing the comparison principle for the linearized operator] The comparison principle for the linearized operator (introduced after the Euler-Lagrange equation) must be proved with explicit control on the singular zeroth-order coefficient that behaves like u^{-γ-2} as u → 0 near the free boundary. Standard maximum principles require either bounded coefficients or suitable integrability; the manuscript must supply uniform estimates preventing the singularity from invalidating the principle up to the free boundary.

    Authors: We agree that explicit control on the singular coefficient is required for a fully rigorous application of the maximum principle up to the free boundary. In the current proof (Section 3), we work in the weak sense with test functions supported away from {u=0} and invoke the C^{1,α} regularity of minimizers already established in the literature to obtain integrability of u^{-γ-2}. However, the dependence on the distance to the free boundary is not written out explicitly. We will add a dedicated lemma (new Lemma 3.4) that derives uniform L^p bounds (p>1) for the coefficient in balls touching the free boundary, using the non-degeneracy |∇u|≥c>0 at regular points. This will be included in the revised manuscript. revision: yes

  2. Referee: [Bootstrap argument for C^∞ regularity] The bootstrap from the comparison principle to C^∞ regularity at regular free-boundary points relies on the linearized equation holding in a neighborhood that touches the free boundary. The argument needs to confirm that the singular coefficients remain compatible with the Schauder or higher-order estimates used in the bootstrap, without additional assumptions on the distance to the free boundary.

    Authors: We appreciate this remark. The bootstrap in Section 4 applies Schauder estimates iteratively in shrinking domains that approach regular free-boundary points. The coefficients remain controlled because the C^{1,α} regularity of the free boundary and the non-degeneracy of u already give Hölder bounds on u^{-γ-2} that are uniform in the distance to the boundary. Nevertheless, the current write-up does not track the constants explicitly. We will insert a short paragraph after the statement of the bootstrap theorem that verifies the coefficient norms stay bounded in the required Hölder spaces, independent of the distance, and we will add a reference to the new Lemma 3.4. This clarification will appear in the revised version. revision: yes

Circularity Check

0 steps flagged

Derivation self-contained via independent comparison principle

full rationale

The paper proves C^∞ regularity of free boundaries at regular points for the Alt-Phillips functional with negative powers by first establishing a comparison principle for the linearized operator associated to the Euler-Lagrange equation. This principle is introduced and proved as a new technical tool within the work, then applied to bootstrap regularity. No step reduces the central claim to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain; the argument remains independent of its own outputs and does not rename known empirical patterns. The derivation chain is therefore non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard elliptic PDE theory and introduces a comparison principle derived for this specific operator; no free parameters or new entities are postulated.

axioms (1)
  • standard math Standard elliptic regularity and maximum principles for linear second-order PDEs
    Implicitly used to pass from the comparison principle to C^∞ regularity.

pith-pipeline@v0.9.0 · 5426 in / 1021 out tokens · 33561 ms · 2026-05-10T08:30:00.712266+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

37 extracted references · 37 canonical work pages

  1. [1]

    Aris,The Mathematical Theory of DilTusion and Reaction in Permcable Catalysists, Oxford 1975

    R. Aris,The Mathematical Theory of DilTusion and Reaction in Permcable Catalysists, Oxford 1975

    work page 1975

  2. [2]

    S. M. Allen, J. W. Cahn,Ground State Structures in Ordered Binary Alloys with Second Neighbor Inter- actions, Acta Metall. 20, (1972) 423-433

    work page 1972

  3. [3]

    H. W. Alt, L. A. Caffarelli,Existence and regularity for a minimum problem with free boundary, J. Reine Angew. Math 325 (1981), 105-144

    work page 1981

  4. [4]

    Ambrosio, X

    L. Ambrosio, X. Cabre,Entire solutions of semilinear elliptic equations inR 3 and a conjecture of De Giorgi, J. Am. Math. Soc. 13 (2000), no. 4, 725-739

    work page 2000

  5. [5]

    H. W. Alt, L. A. Caffarelli and A. Friedman,Variational problems with two phases and their free boundaries, Trans. Amer. Math. Soc. 282 (1984), no. 2, 431-461

    work page 1984

  6. [6]

    Allen, D

    M. Allen, D. Kriventsov,The free boundary for semilinear problems with highly oscillating singular terms, J. London Math. Soc. 111 (2025), no. 2, e70180

    work page 2025

  7. [7]

    H. W. Alt, D. Phillips,A free boundary problem for semilinear elliptic equations, J. Reine Angew. Math. 368 (1986), 63107. C ∞ REGULARITY OF THE ALT-PHILLIPS FUNCTIONAL FOR NEGATIVE POWERS 35

    work page 1986

  8. [8]

    Abatangelo, X

    N. Abatangelo, X. Ros-Oton,Obstacle problems for integro-differential operators: higher regularity of free boundaries, Adv. Math.360(2020), 106931

    work page 2020

  9. [9]

    J. E. Hilliard, J. W. Cahn,Free Energy of a Nonuniform System I. Interfacial Free Energy, The Journal of Chemical Physics. AIP Publishing. 28 (1958) 258-267

    work page 1958

  10. [10]

    L. A. Caffarelli,The regularity of free boundaries in higher dimensions, Acta Math. 139 (1977), no. 3-4, 155-184

    work page 1977

  11. [11]

    L. A. Caffarelli, O. Savin Amar,A Harnack inequality approach to the regularity of free boundaries. Part I: Lipschitz free boundaries areC 1,α, Rev. Mat. Iberoamericana 3 (1987), no.2, 139-162

    work page 1987

  12. [12]

    L. A. Caffarelli, O. Savin Amar,A Harnack inequality approach to the regularity of free boundaries. Part II: Flat free boundaries are Lipschitz, Comm. Pure Appl. Math. 42 (1989), no. 1, 55-78

    work page 1989

  13. [13]

    L. A. Caffarelli, O. Savin Amar,A Harnack inequality approach to the regularity of free boundaries. Part III: Existence theory, compactness, and dependence onX, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 15 (1988), no. 4, 583-602

    work page 1988

  14. [14]

    Caffarelli,Fully Nonlinear Elliptic Equations, Colloquium Publications 43, American Mathematical Society, Providence, RI, 1995

    L.A. Caffarelli,Fully Nonlinear Elliptic Equations, Colloquium Publications 43, American Mathematical Society, Providence, RI, 1995

    work page 1995

  15. [15]

    Caffarelli,The obstacle problem revisited, J

    L.A. Caffarelli,The obstacle problem revisited, J. Fourier Anal. Appl. 4 (1998), no. 4-5, 383402

    work page 1998

  16. [16]

    Caffarelli, S

    L.A. Caffarelli, S. Salsa,A geometric approach to free boundary problems, Graduate Studies in Mathematics,

    work page

  17. [17]

    American Mathematical Society, Providence, RI, 2005. x+270

    work page 2005

  18. [18]

    De Silva,Smoothness and stability in the Alt-Phillips problem, Mathematische Annalen, 394 (2026), no

    D. De Silva,Smoothness and stability in the Alt-Phillips problem, Mathematische Annalen, 394 (2026), no. 3, 75

    work page 2026

  19. [19]

    De Silva,Free boundary regularity for a problem with right hand side, Interfaces and free boundaries 13 (2011), 223-238

    D. De Silva,Free boundary regularity for a problem with right hand side, Interfaces and free boundaries 13 (2011), 223-238

    work page 2011

  20. [20]

    De Silva, O

    D. De Silva, O. Savin.A note on higher regularity boundary Harnack inequality, Discrete Contin. Dyn. Syst., 35 (2015), no. 12, 6155-6163

    work page 2015

  21. [21]

    De Silva and O

    D. De Silva and O. Savin.C ∞ regularity of certain thin free boundaries, Indiana Univ. Math. J. 64 (2015), no. 5, 1575-1608

    work page 2015

  22. [22]

    DE Silva, O

    D. DE Silva, O. Savin Amar,Compactness estimates for minimizers of the Alt-Phillips functional of negative exponents, Advanced Nonlinear Studies., 23 (2023), no. 1, 20220055

    work page 2023

  23. [23]

    DE Silva, O

    D. DE Silva, O. Savin Amar,The Alt-Phillips functional for negative powers, Bull. Lond. Math. Soc. 55 (2023), no. 6, 2749-2777

    work page 2023

  24. [24]

    DE Silva, O

    D. DE Silva, O. Savin Amar,Uniform density estimates andΓ-convergence for the Alt-Phillips functional of negative powers, Math. Eng., 5 (2023), no. 5, 1-27

    work page 2023

  25. [25]

    Frehse,On the regularity of the solution of a second order variational inequality, Boll

    J. Frehse,On the regularity of the solution of a second order variational inequality, Boll. Un. Mat. Ital. 6 (1972), no. 4, 312-315

    work page 1972

  26. [26]

    Fotouhi, H

    M. Fotouhi, H. Koch,Higher regularity of the free boundary in a semilinear system, Math. Ann. 388, (2024), 3897-3939

    work page 2024

  27. [27]

    Gilbarg, N

    D. Gilbarg, N. S. Trudinger,Elliptic Partial Differential Equations of Second Order, Grundlehren der Mathematischen Wissenschaften, Vol. 224. Springer-Verlag, Berlin-New York, 1977

    work page 1977

  28. [28]

    Ghoussoub, C

    N. Ghoussoub, C. Gui,On a conjecture of De Giorgi and some related problems, Math. Ann., 311, (1998), 481-491

    work page 1998

  29. [29]

    Kukuljan,Higher order parabolic boundary Harnack inequality inC 1 andC k,α domains,Discret

    T. Kukuljan,Higher order parabolic boundary Harnack inequality inC 1 andC k,α domains,Discret. Contin. Dyn. Syst., 42 (2022), 2667–2698

    work page 2022

  30. [30]

    Kinderlehrer and L

    D. Kinderlehrer and L. Nirenberg,Regularity in free boundary problems,Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 4:2 (1977), 373–391

    work page 1977

  31. [31]

    Modica, S

    L. Modica, S. Mortola,Un esempio diΓ-convergenza, (Italian) Boll. Un. Mat. Ital. B (5) 14 (1977), no. 1, 285-299

    work page 1977

  32. [32]

    Petrosyan, H

    A. Petrosyan, H. Shahgholian and N. Uraltseva,Regularity of free boundaries in obstacle type problems, Graduate Studies in Mathematics, 136. American Mathematical Society, Providence, RI, 2012. x+221 pp

    work page 2012

  33. [33]

    Savin,Regularity of flat level sets in phase transitions, Annals of Mathematics, 169 (2009), 41-78

    O. Savin,Regularity of flat level sets in phase transitions, Annals of Mathematics, 169 (2009), 41-78. 36 LU CHEN, JIALI LAN, AND YONG WU

    work page 2009

  34. [34]

    Savin, D

    O. Savin, D. DE SilvaOn certain degenerate one-phase free boundary problems, SIAM J. Math. Anal, 53 (2021), 649-680

    work page 2021

  35. [35]

    Terracini, G

    S. Terracini, G. Tortone and S. Vita,Higher Order Boundary Harnack Principle via Degenerate Equations, Arch. Rational Mech. Anal. 29 (2024), 248

    work page 2024

  36. [36]

    Ros-Oton,Regularity of free boundaries in obstacle problems, inGeometric measure theory and free boundary problems, 37-88, Lecture Notes in Math

    X. Ros-Oton,Regularity of free boundaries in obstacle problems, inGeometric measure theory and free boundary problems, 37-88, Lecture Notes in Math. Fond. CIME/CIME Found. Subser., 2284 , Springer, Cham, MR4238495

    work page

  37. [37]

    Restrepo, X

    D. Restrepo, X. Ros-Oton,C ∞ regularity in semilinear free boundary problems, Math. Ann., 392 (2025), 3397-3446. (Lu Chen)Key Laboratory of Algebraic Lie Theory and Analysis of Ministry of Education, School of Mathematics and Statistics, Beijing Institute of Technology, Beijing 100081, PR China; Tangshan Research Institute, Beijing Institute of Technology...

    work page 2025