REVIEW 2 major objections 5 minor 1 cited by
The free boundary for a superlinear system
T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For 0<p<1, minimizers of a singular elliptic system have optimal C^{1,κ−1} regularity, and flat free boundaries are C^{1,α}, analytic for minimizers.
desk verdict Solid, genuinely new C^{1,α} result for the open range 0<p<1, but the advertised analyticity theorem is not actually proved—it is an unverified transfer from a paper written for a different parameter regime. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine is a linearization of the flatness parameter. Rescaling the gap between the upper and lower barriers defines renormalized graphs eu1 = $u_0^{{-1}}$((u_1)_+)/ε − x_n/ε and f|u| = $u_0^{{-1}}$(|u|)/ε − x_n/ε; a Harnack-type inequality (Theorem 3.1) with explicit supersolutions and subsolutions built from distance to a large ball gives these graphs a universal Hölder modulus. Their limits solve the degenerate linearized problem ∆φ + s φ_n/x_n = 0 in B_1^+, s=2(κ−1)∈(0,2), with an unconventional boundary condition on B_1′, and known $C^{{1,σ}}$ estimates for this problem drive the improvement-of-flatness iteration (Lemma 4.1) that yields Theorem 1.7. Analyticity for minimizers then follows by invoking the partial hodograph–Legendre transformation from [9], whose validity the paper asserts for all κ>1.
What would settle it
Check whether the degenerate linearized problem ∆φ + 2(κ−1) φ_n/x_n = 0 in B_1^+ with s∈(0,2) satisfies the same $C^{{1,σ}}$ boundary estimates as in the range 1≤p<2; a failure at some κ∈(1,2) would break the analyticity transfer. Alternatively, construct a flat viscosity solution whose free boundary is $C^{{1,α}}$ but not analytic, contradicting Theorem 1.3.
Extended reading notes
Core claim
The paper's central claim is that the singular regime 0<p<1 of the system ∆u=|u|^{p−2}u χ_{{|u|>0}} behaves like the previously studied range 1≤p<2: energy minimizers are $C^{{1,κ−1}}$, and once the solution is ε̄-flat—within ε̄ of the half-space solution u0(⟨x,e⟩)f in B1, with |u| vanishing where ⟨x,e⟩<−ε̄—the free boundary Γ(u)=∂{|u|>0}∩Ω is $C^{{1,α}}$ in B_{1/2}. For minimizers, Theorem 1.3 strengthens this to analyticity. The same theorem holds for viscosity solutions, and minimizers are shown to be viscosity solutions, so the two classes agree in the flat regime.
Load-bearing premise
The analyticity claim (Theorem 1.3) rests on transferring the hodograph–Legendre argument of a previous proof written for 1≤p<2 to 0<p<1 'as long as κ>1'; the current paper does not verify the degenerate estimates, boundary conditions, or implicit-function step in the singular regime, so if that transfer fails the theorem is unsupported even though the $C^{{1,α}}$ result stands.
Editorial extensions
If this is right
- The missing range 0<p<1 now has optimal C^{1,κ−1} regularity for minimizers, matching the model one-dimensional profile.
- Flat free boundaries of viscosity solutions are C^{1,α} with constants depending only on n, m, and p, so flatness alone controls the geometry.
- For minimizers, flat free boundaries are analytic, so near flat points the boundary is a graph with a power-series expansion.
- Since minimizers are viscosity solutions, all regularity statements transfer from the viscosity class to the variational class.
- The Weiss-type monotonicity formula gives uniqueness of blow-ups and C^{1,γ} rescaling convergence, which serves as the platform for the analyticity argument.
Reading between the lines
- If the transferred hodograph–Legendre argument in [9] does not extend to 0<p<1, Theorem 1.3 would need a separate proof; checking the degenerate estimates for κ∈(1,2) would settle this.
- The same flatness–Harnack–linearization pipeline may apply to other systems where no maximum principle holds but a one-phase model profile exists.
- The linearized boundary condition in (4.8) resembles problems with fractional or obstacle structure, suggesting a connection between flat free boundaries and boundary Harnack estimates for degenerate operators.
- A numerical study near p→0 (where κ→2) could test whether analyticity persists or whether the two exponents s=2(κ−1) and s=2κ change the boundary behaviour.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies vector-valued minimizers of the energy E(u) = ∫(|∇u|^2 + (2/p)|u|^p) for 0 < p < 1, together with an ad hoc viscosity notion for the associated system Δu = |u|^{p-2}u in the positivity set. The three main results are: optimal C^{1,κ-1} regularity of minimizers (Theorem 1.1), C^{1,α} regularity of flat free boundaries for viscosity solutions (Theorem 1.7), and analyticity of flat minimizing free boundaries (Theorem 1.3). The proof of Theorem 1.7 occupies Sections 3–4 and combines a Harnack-type inequality (Theorem 3.1), a compactness argument, and an improvement-of-flatness lemma (Lemma 4.1) built on the linearized problem (4.8). The analyticity result is treated in Section 5, where the authors state that the argument of [9] transfers as long as κ > 1.
Significance. The C^{1,α} regularity result (Theorem 1.7) is a substantial advance: it resolves, in the flat regime, the free boundary regularity problem for 0 < p < 1, a range left open by earlier works [2, 10, 9] that covered 1 ≤ p < 2. The optimal regularity theorem and the Harnack inequality are also valuable, and the proof of Theorem 1.7 is mostly self-contained with a clear compactness/linearization structure. However, the advertised analyticity theorem is not actually proved in the manuscript; it is delegated to [9] without verifying the degenerate-range hypotheses. Thus the paper's significance currently rests mainly on the C^{1,α} and optimal regularity results, which are solid and worth publishing if the analyticity claim is repaired or properly qualified.
major comments (2)
- [Section 5 (Proof of Theorem 1.3)] The proof of Theorem 1.3 is not a proof but an unverified transfer. The final paragraph of Section 5 states: 'In fact, one can easily see that the argument in [9, sections 3-5] regarding the partial hodograph-Legendre transformation holds as long as κ > 1.' Reference [9] proves analyticity for 1 ≤ p < 2, i.e., κ = 2/(2-p) ≥ 2. In the present setting 0 < p < 1 gives κ ∈ (1, 2), and for 0 < p < 2/3 the parameter γ = 2(κ-1) in the degenerate operator x_n Δ + γ ∂_n satisfies 0 < γ < 1. In the linearized problem (4.8), Definition (4.8)(b) for s < 1 imposes the boundary condition with test functions containing x_n^{1-s}, which are not C^1 up to the boundary. The paper does not verify that the weighted Schauder estimates, the boundary-condition treatment, or the implicit-function-theorem isomorphism of [9, Sections 3–5] survive in this singular range. Consequently Theorem 1.3 is unsupported for a nonempty parameter range; the assertion 'holds as long as κ>1' is not backed by any calculation.
- [Section 5 (Lemma 5.2)] Lemma 5.2 is a load-bearing ingredient for the analyticity argument, and its proof also relies on an unverified transfer. In Step 1 of the proof, the authors invoke 'the first part of the proof in [10, Proposition 4.6]' to conclude that any nonzero homogeneous solution of degree κ with a nontrivial zero set has W(v,0,1) ≥ ω_p. That result was proved in [10] for 1 ≤ p < 2; no justification is given for its validity when 0 < p < 1. Since Lemma 5.2 is used in Lemma 5.4 to identify the blow-up limit, this is another instance of the same problem: the analyticity section consists of assertions that the technical machinery of prior papers extends to the present range, without the necessary estimates.
minor comments (5)
- [Section 1.2] The phrase 'canonical basis' should be plural: 'canonical bases' for the two spaces R^n and R^m.
- [Lemma 3.2] There is a typo: 'Weak Harnak Inequality' should be 'Weak Harnack Inequality'.
- [Proposition 1.8] The proof of Proposition 1.8 is compressed into a single sentence ('follows as in Remark 1.5, given that minimizers are C^{1,κ-1}'); since this proposition connects minimizers to the viscosity notion used in Theorem 1.7, a fuller justification is needed.
- [Section 5, Proposition 5.1] The notation 'x 7−→W(u,x,0+)' contains a garbled arrow; use a standard arrow such as 'x ↦ W(u,x,0+)'.
- [References] Reference [14] is listed only as 'Preprint' with no year; please provide an update if available.
Circularity Check
No circularity; the C^{1,α} proof is a genuine compactness/linearization argument, and the unverified analyticity transfer in Section 5 is a proof gap, not a circular reduction.
full rationale
The central new result, Theorem 1.7, is obtained by a compactness-plus-linearization argument (Sections 3–4) that does not presuppose the conclusion. The flatness hypotheses (4.1)–(4.3) are uniform L∞ closeness to a half-space solution; the proof derives improvement of flatness (4.4)–(4.6) from the Harnack-type inequality (Theorem 3.1), a rescaling contradiction, and the external C^{1,σ} estimate for the linearized operator (Theorem 4.4, from De Silva–Savin [7]). The cited tools from the authors' prior work ([4], [7], [8], [10]) are independent published results and do not assume the target regularity; hence the self-citations are not load-bearing in a circular sense. The only serious weakness is Theorem 1.3: Section 5 delegates the analyticity proof to [9] with the sentence 'one can easily see that the argument in [9, sections 3-5] ... holds as long as κ >1', and this transfer is not verified for the degenerate range γ = 2(κ−1) < 1 that occurs for 0 < p < 2/3. That is an omitted proof or derivational gap, not circularity: the paper does not define its conclusion into its hypotheses, nor does it fit any parameter and rename it a prediction. Since no load-bearing step reduces to its own input, the circularity score is 0.
Assumptions & free parameters
assumptions (4)
- standard math C^{1,σ} estimates for the degenerate linearized problem (4.8), Theorem 4.4, cited from De Silva-Savin [7].
- domain assumption Weiss-type monotonicity formula and its consequences (Proposition 5.1), with proof sketched by 'arguing as in [10, Proposition 2.3]'.
- standard math Homogeneous global solution classification uses [10, Proposition 4.6]: a non-zero homogeneous solution with nonempty zero set has Weiss energy at least ω_p.
- ad hoc to paper The analyticity machinery of [9, Sections 3-5] applies to 0<p<1 whenever κ>1.
Cite this review
Pith. "Pith review of The free boundary for a superlinear system." pith.science (2026). https://pith.science/paper/MKCPQ3ND
@misc{pith2026250601607,
author = {Pith},
title = {Pith review of: The free boundary for a superlinear system},
year = {2026},
howpublished = {\url{https://pith.science/paper/MKCPQ3ND}},
note = {Machine review of arXiv:2506.01607}
}
abstract
In this paper, we study superlinear systems that give rise to free boundaries. Such systems appear for example from the minimization of the energy functional $$ \int_{\Omega}\left(|\nabla\mathbf{u}|^2+\frac2p|\mathbf{u}|^p\right),\quad 0<p<1, $$ but solutions can be also understood in an ad hoc viscosity way. First, we prove the optimal regularity of minimizers using a variational approach. Then, we apply a linearization technique to establish the $C^{1,\alpha}$-regularity of the ``flat'' part of the free boundary via a viscosity method. Finally, for minimizing free boundaries, we extend this result to analyticity.
Forward citations
Cited by 1 Pith paper
-
Smoothness and stability in the Alt-Phillips problem
For the Alt-Phillips free boundary problem, the paper proves smoothness of regular free boundaries for all exponents, derives a stability inequality for negative exponents, and rules out nontrivial axially symmetric s...
Reference graph
Works this paper leans on
-
[9]
M. Fotouhi and H. Koch, Higher regularity of the free boundary in a semilinear system , Math. Ann. 388 (2024) 3897–3939
work page 2024
-
[10]
M. Fotouhi, H. Shahgholian and G.S. Weiss, A free boundary problem for an elliptic system , J. Differential Equations 284 (2021) 126-155
work page 2021
- [1]
-
[2]
J. Andersson, H. Shahgholian, N. N. Uraltseva and G. S. Weiss, Equilibrium points of a singular cooperative system with free boundary, Adv. Math. 280 (2015), 743–771
work page 2015
-
[3]
H. W. Alt and D. Phillips, A free boundary problem for semilinear elliptic equations , J. Reine Angew. Math. 368 (1986), 63–107
work page 1986
-
[4]
De Silva, Free boundary regularity for a problem with right hand side , Interfaces Free Bound
D. De Silva, Free boundary regularity for a problem with right hand side , Interfaces Free Bound. 13 (2011), 223–238
work page 2011
-
[5]
D. De Silva, S. Jeon and H. Shahgholian, Almost minimizers for a singular system with free boundary , J. Differential Equations 336 (2022), 167–203
work page 2022
-
[6]
D. De Silva, S. Jeon and H. Shahgholian, Almost minimizers for a sublinear system with free boundary , Calc. Var. Partial Differential Equations 62 (2023), Paper No. 149, 43
work page 2023
Show all 15 references
-
[7]
De Silva and O
D. De Silva and O. Savin, On certain degenerate one-phase free boundary problems , SIAM J. Math. Anal. 53 (2021), 649–680
2021
-
[8]
De Silva and G
D. De Silva and G. Tortone, Improvement of flatness for vector valued free boundary problems , Math. Eng. 2 (2020), 598–613
2020
-
[11]
Han and F
Q. Han and F. Lin, Elliptic partial differential equations , Courant Lecture Notes in Mathematics. New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 1997
1997
-
[12]
Leit˜ ao and O
R. Leit˜ ao and O. De Quiroz and E. Teixeira, Regularity for degenerate two-phase free boundary problems , Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire32 (2015), 741–762
2015
-
[13]
Phillips, A minimization problem and the regularity of solutions in the presence of a free boundary , Indiana Univ
D. Phillips, A minimization problem and the regularity of solutions in the presence of a free boundary , Indiana Univ. Math. J. 32 (1983), 1–17
1983
-
[14]
Restrepo and X
D. Restrepo and X. Ros-Oton, C∞ regularity in semilinear free boundary problems , Preprint
-
[15]
B. Velichkov, Regularity of the one-phase free boundaries , Lecture Notes of the Unione Matematica Italiana, Springer, Cham 28 (2023), xiii+246 (Daniela De Silva) Department of Mathematics, Barnard College, Columbia University, New York, NY, 10027 Email address, Daniela De Sil...
2023
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.