The two-phase Alt-Phillips problem for quasilinear operators
Pith reviewed 2026-05-10 18:37 UTC · model grok-4.3
The pith
Sign-changing minimizers of the quasilinear Alt-Phillips functional have interior regularity and optimal growth for all 1<p<∞ and 0<γ<p.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Interior regularity and optimal growth estimates hold for sign-changing minimizers of the p-singular or p-degenerate quasilinear Alt-Phillips functional throughout the full range 1<p<∞ and 0<γ<p. Local finite-perimeter and density estimates are obtained, from which the local (N-1)-rectifiability of the reduced and two-phase free boundaries and the local finiteness of their (N-1)-dimensional Hausdorff measure follow for a restricted range of γ.
What carries the argument
The quasilinear Alt-Phillips functional whose Euler-Lagrange equation is driven by a p-singular or p-degenerate operator, with sign-changing minimizers whose nodal set forms the two-phase free boundary.
If this is right
- Sign-changing minimizers are regular in the interior of the domain.
- Optimal growth estimates hold near the nodal set.
- The free boundary has locally finite perimeter and satisfies density estimates.
- For a restricted range of γ the reduced and two-phase free boundaries are locally (N-1)-rectifiable with locally finite (N-1)-Hausdorff measure.
Where Pith is reading between the lines
- The density estimates could be combined with monotonicity formulas to study the topology of the free boundary in higher dimensions.
- The same growth-control techniques might adapt to quasilinear operators with variable coefficients or to obstacle-type problems.
- Rectifiability opens the possibility of further regularity results once additional smoothness assumptions are placed on the operator.
Load-bearing premise
The quasilinear operator satisfies uniform ellipticity and growth conditions that permit the existence of sign-changing minimizers whose behavior is controlled by the stated functional.
What would settle it
An explicit sign-changing minimizer for which the growth near the zero set fails to be optimal, or whose reduced free boundary fails to be (N-1)-rectifiable inside the allowed range of γ, would disprove the claims.
read the original abstract
We establish interior regularity and optimal growth estimates for sign-changing minimizers of the $p-$singular or $p-$degenerate quasilinear Alt--Phillips functional throughout the full range of $1<p<\infty$ and of the nonlinearity power $0<\gamma<p$. In addition, we obtain local finite perimeter and density estimates, from which we deduce the local $(N-1)$-rectifiability of the reduced and two-phase free boundaries and the local finiteness of their $(N-1)$-dimensional Hausdorff measure for a restricted range of $\gamma$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes interior regularity and optimal growth estimates for sign-changing minimizers of the p-singular or p-degenerate quasilinear Alt-Phillips functional throughout the full range 1 < p < ∞ and 0 < γ < p. It additionally obtains local finite perimeter and density estimates, from which it deduces the local (N-1)-rectifiability of the reduced and two-phase free boundaries together with the local finiteness of their (N-1)-dimensional Hausdorff measure, but only for a restricted range of γ.
Significance. If the results hold, this work extends the classical Alt-Phillips theory to a broad class of quasilinear operators, covering both singular and degenerate cases without extra restrictions on the parameters. The direct analytic proof via variational methods and standard elliptic regularity theory is a clear strength, as is the explicit separation between the full-range analytic properties and the restricted-range geometric conclusions. The manuscript thereby supplies a parameter-free derivation of the stated estimates under the given ellipticity and growth conditions on the operator.
minor comments (3)
- The abstract states that the rectifiability and Hausdorff measure results hold 'for a restricted range of γ' but does not indicate the precise interval; adding this detail would improve immediate readability.
- Notation for the quasilinear operator (including the precise ellipticity and growth assumptions) is introduced somewhat late; moving a concise statement of these structural hypotheses to the introduction or §2 would aid readers.
- A few typographical inconsistencies appear in the indexing of free-boundary sets (e.g., the use of 'reduced' versus 'two-phase' free boundary in §4 and §5); uniformizing the terminology would enhance clarity.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our manuscript and for noting the clear separation between the full-range interior regularity and growth estimates and the restricted-range geometric conclusions on free-boundary rectifiability. We appreciate the recommendation for minor revision and are pleased that the direct variational approach and parameter-free nature of the results were viewed as strengths.
Circularity Check
No significant circularity detected
full rationale
The paper establishes interior regularity, optimal growth estimates, and rectifiability results for minimizers of the quasilinear Alt-Phillips functional via variational methods and standard elliptic regularity theory over the full parameter ranges 1 < p < ∞ and 0 < γ < p. The derivation chain relies on known PDE techniques without self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations that collapse claims to inputs by construction. Central results on free boundary properties are obtained from density estimates and perimeter theory in a restricted γ subrange, with explicit separation of arguments and no internal equivalence to the stated assumptions on the operator or minimizers.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The quasilinear operator satisfies standard ellipticity and growth conditions
- domain assumption Minimizers of the functional exist and are sign-changing
Reference graph
Works this paper leans on
-
[1]
W., and Phillips, D.A free boundary problem for semilinear elliptic equations.J
[1]Alt, H. W., and Phillips, D.A free boundary problem for semilinear elliptic equations.J. Reine Angew. Math. 368(1986), 63–107. [2]Ambrosio, L., Fusco, N., and Pallara, D.Functions of bounded variation and free discon- tinuity problems. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York,
work page 1986
-
[2]
Differential Equations 259, 6 (2015), 2167–2179
[3]Andersson, J., Lindgren, E., and Shahgholian, H.Optimal regularity for the obstacle problem for thep−Laplacian.J. Differential Equations 259, 6 (2015), 2167–2179. [4]Araújo, D. J., Teymurazyan, R., and Urbano, J. M.Geometric properties of free bound- aries in degenerate quenching problems.SIAM J. Math. Anal.(to appear). 30 Y. ALAMRI AND J.M. URBANO [5]...
work page 2015
-
[3]
[9]Correa, J. C., and dos Prazeres, D.A two-phase quenching-type problem for the p−Laplacian.https://arxiv.org/abs/2504.11370(preprint). [10]DiBenedetto, E., and Gianazza, U.Partial differential equations, third ed. Cornerstones. Birkhäuser/Springer, Cham,
-
[4]
[11]DiBenedetto, E., and Manfredi, J.On the higher integrability of the gradient of weak solutions of certain degenerate elliptic systems.Amer. J. Math. 115, 5 (1993), 1107–1134. [12]Dipierro, S., and Karakhanyan, A. L.Stratificationoffreeboundarypointsforatwo-phase variational problem.Adv. Math. 328(2018), 40–81. [13]Duzaar, F., and Mingione, G.Thep−harm...
work page 1993
-
[5]
Differential Equations 164, 1 (2000), 110–117
[17]Karp, L., Kilpeläinen, T., Petrosyan, A., and Shahgholian, H.On the porosity of free boundaries in degenerate variational inequalities.J. Differential Equations 164, 1 (2000), 110–117. [18]Koskela, P., and Rohde, S.Hausdorff dimension and mean porosity.Math. Ann. 309, 4 (1997), 593–609. [19]Lee, K., and Shahgholian, H.Hausdorff measure and stability f...
work page 2000
-
[6]
Partial Differential Equations 8, 13 (1983), 1409–1454
[25]Phillips, D.Hausdorff measure estimates of a free boundary for a minimum problem.Comm. Partial Differential Equations 8, 13 (1983), 1409–1454. [26]Phillips, D.A minimization problem and the regularity of solutions in the presence of a free boundary.Indiana Univ. Math. J. 32, 1 (1983), 1–17. [27]Shahgholian, H., Uraltseva, N., and Weiss, G. S.Global so...
work page 1983
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.