arxiv: 2604.23682 · v1 · submitted 2026-04-26 · 🧮 math.AP

Recognition: unknown

Uniqueness of Blow-ups for the Superconductivity Free Boundary Problem

Shibing Chen , Yuanyuan Li , Xianduo Wang

Authors on Pith no claims yet

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

classification 🧮 math.AP

keywords free boundary problemblow-up analysissuperconductivitysingular setquadratic rescalingLyapunov identitydyadic estimates

0 comments

The pith

At singular points of the free boundary, quadratic blow-ups are unique for the superconductivity equation.

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

The paper proves that for solutions of the equation where the Laplacian of u equals the characteristic function of the region where the gradient is positive, the quadratic rescaling at any singular point on the boundary of that region converges to a single limit. A sympathetic reader cares because the structure of these singular points is largely unknown, and unique blow-ups provide a necessary foundation for describing how the free boundary behaves near them. The argument tracks only the quadratic terms in the rescalings rather than relying on monotonicity formulas. It reduces the problem to a finite-dimensional ODE whose solutions converge by a Lyapunov identity plus estimates across dyadic annuli.

Core claim

We study the free-boundary equation Δu = χ_{|∇u|>0} near the origin. We prove that, at a singular point of ∂{|∇u|>0}, the quadratic blow-up is unique. The proof follows the quadratic part of the rescalings. Projecting onto the trace-free quadratic harmonics yields a finite-dimensional differential equation for the quadratic coefficient. Together with a Lyapunov identity and estimates on dyadic annuli, this implies convergence of the quadratic coefficient, and hence uniqueness of the blow-up.

What carries the argument

Projection of the rescaled functions onto the finite-dimensional space of trace-free quadratic harmonic polynomials, which produces an ODE for the quadratic coefficients whose convergence is controlled by a Lyapunov identity and dyadic annulus estimates.

If this is right

The limiting quadratic form at each singular point is independent of the sequence of radii chosen for the rescaling.
The blow-up is fully determined by its quadratic part without needing further regularity on the free boundary.
The argument supplies a direct way to identify the quadratic coefficient at every singular point.
Different scaling paths cannot produce inconsistent quadratic approximations to the same singular point.

Where Pith is reading between the lines

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

The ODE reduction might apply to other free boundary problems whose inactive sets are defined by gradient vanishing instead of sign conditions on u.
Numerical integration of the reduced ODE for concrete initial data could test whether the predicted convergence occurs in practice.
Uniqueness of the quadratic limit could be used to stratify singular points according to the type of quadratic form they admit.

Load-bearing premise

The quadratic coefficients extracted from the rescalings satisfy the finite-dimensional ODE coming from the projection, so that the Lyapunov identity together with the annulus estimates can force their convergence.

What would settle it

An explicit solution or numerical example in which the quadratic coefficients approach two different limits along two different sequences of radii approaching zero would disprove uniqueness.

read the original abstract

We study the free-boundary equation \[ \Delta u=\chi_{\{|\nabla u|>0\}} \] near the origin. We prove that, at a singular point of \(\partial\{|\nabla u|>0\}\), the quadratic blow-up is unique. As noted in \cite[Notes to Chapter 7]{PSU2012}, little is known about the singular set for this problem. The usual Weiss--Monneau monotonicity argument does not seem to apply directly, because the inactive set is determined by the vanishing of \(\nabla u\), rather than by a sign condition on \(u\). The proof follows the quadratic part of the rescalings. Projecting onto the trace-free quadratic harmonics yields a finite-dimensional differential equation for the quadratic coefficient. Together with a Lyapunov identity and estimates on dyadic annuli, this implies convergence of the quadratic coefficient, and hence uniqueness of the blow-up.

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.

Desk Editor's Note private letter to a colleague

Uniqueness of quadratic blow-ups at singular points is shown via projection to trace-free harmonics plus Lyapunov and dyadic estimates, but the annulus control is the step most vulnerable to the lack of known regularity.

read the letter

The main result is uniqueness of the quadratic blow-up at singular points of the free boundary for the equation Δu = χ_{|∇u|>0}. The authors note that Weiss-Monneau monotonicity fails because the inactive set is defined by vanishing gradient rather than a sign condition on u, and they replace it with a projection argument. They extract the quadratic part of the rescalings, project onto trace-free quadratic harmonics to obtain a finite-dimensional ODE for the coefficients, and then use a Lyapunov identity together with estimates on dyadic annuli to force convergence. This directly addresses the gap flagged in the PSU notes about the singular set, and the argument stays within direct analysis without circularity or free parameters. The approach is a reasonable adaptation for this specific equation. The soft spot is the dyadic annulus estimates. At singular points the abstract itself says little is known about the singular set, so these estimates must be derived from the PDE and rescaling alone without gradient bounds, measure control, or flatness that might not hold. If the paper obtains them cleanly, the uniqueness follows; if they tacitly rely on unavailable information, the ODE convergence does not close. The rest of the strategy looks standard once the projection is set up. This is for people working on free boundary problems and blow-up analysis in elliptic PDE. A reader who needs a concrete step toward classifying singular sets for superconductivity-type equations will get value from the method. It deserves peer review because it engages an acknowledged open question with a fresh technical route, even if the annulus estimates will require careful checking.

Referee Report

1 major / 0 minor

Summary. The manuscript proves uniqueness of the quadratic blow-up at singular points of the free boundary ∂{|∇u|>0} for the equation Δu = χ_{|∇u|>0}. The argument considers rescalings of u, projects the quadratic part onto trace-free quadratic harmonics to obtain a finite-dimensional ODE governing the quadratic coefficients, and combines this with a Lyapunov identity and dyadic annulus estimates to establish convergence of the coefficients (hence uniqueness of the blow-up). The approach is direct and avoids Weiss-Monneau monotonicity, which the authors note does not apply here.

Significance. If the dyadic estimates close, the result fills a documented gap in the theory of this free-boundary problem (as referenced in PSU2012, Notes to Chapter 7). The finite-dimensional reduction via projection and Lyapunov control offers a technique that may extend to other singular free-boundary settings where monotonicity formulas are unavailable. The proof is non-circular and relies only on the PDE structure.

major comments (1)

The dyadic annulus estimates invoked to control convergence of the quadratic coefficients in the finite-dimensional ODE (as outlined in the abstract) are load-bearing. At singular points, where the authors themselves state that little is known about the singular set and Weiss-Monneau monotonicity fails, these estimates must be derived from the PDE without a-priori gradient bounds, measure estimates, or flatness on ∂{|∇u|>0}. The manuscript must supply the explicit derivation of these estimates (including error control from the inactive set) to confirm they close; otherwise the ODE convergence and uniqueness claim do not follow.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation of the result's significance and for the constructive comment on the dyadic annulus estimates. We address the major comment below and will revise the manuscript to strengthen the presentation as requested.

read point-by-point responses

Referee: The dyadic annulus estimates invoked to control convergence of the quadratic coefficients in the finite-dimensional ODE (as outlined in the abstract) are load-bearing. At singular points, where the authors themselves state that little is known about the singular set and Weiss-Monneau monotonicity fails, these estimates must be derived from the PDE without a-priori gradient bounds, measure estimates, or flatness on ∂{|∇u|>0}. The manuscript must supply the explicit derivation of these estimates (including error control from the inactive set) to confirm they close; otherwise the ODE convergence and uniqueness claim do not follow.

Authors: We agree that the dyadic annulus estimates are load-bearing for the convergence argument and that they must be derived directly from the PDE structure at singular points, without relying on a priori gradient bounds, measure estimates on the free boundary, or flatness. In the current manuscript these estimates are obtained by combining the equation Δu = χ_{|∇u|>0} with the Lyapunov identity to control the quadratic coefficients in dyadic annuli; the projection onto trace-free quadratic harmonics reduces the problem to a finite-dimensional ODE whose convergence follows once the annulus errors are controlled. To address the referee's request for explicitness, the revised version will add a dedicated subsection that derives the estimates in full detail. This derivation will explicitly track the error terms arising from the inactive set {∇u = 0}, where the right-hand side vanishes, and will show that these errors are absorbed by the Lyapunov functional without invoking any additional regularity. The resulting bounds close the ODE convergence and thereby establish uniqueness of the quadratic blow-up. We believe this expansion will make the argument fully self-contained. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained analytic argument.

full rationale

The claimed uniqueness follows from rescaling the solution, projecting the quadratic part onto trace-free harmonics to obtain a finite-dimensional ODE for the coefficients, and then applying a Lyapunov identity together with dyadic-annulus estimates derived directly from the PDE. None of these steps reduces by construction to a fitted parameter, a self-referential definition, or a load-bearing self-citation; the only external reference is the non-author work PSU2012. The argument therefore remains independent of its own outputs and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof relies on standard analytic tools for free boundary problems and harmonic polynomials without introducing new free parameters or postulated entities.

axioms (2)

domain assumption Existence of quadratic blow-up limits for rescalings at singular points
Invoked to reduce the problem to the behavior of quadratic coefficients.
standard math Trace-free quadratic harmonics form a finite-dimensional space closed under the relevant projection
Used to obtain the finite-dimensional differential equation for the quadratic coefficient.

pith-pipeline@v0.9.0 · 5457 in / 1231 out tokens · 57069 ms · 2026-05-08T05:31:29.196222+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

12 extracted references · 2 canonical work pages

[1]

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

1977
[2]

L. A. Caffarelli,The obstacle problem revisited, J. Fourier Anal. Appl.4(1998), no. 4–5, 383–402

1998
[3]

L. A. Caffarelli, L. Karp and H. Shahgholian,Regularity of a free boundary with application to the Pompeiu problem, Ann. of Math. (2)151(2000), no. 1, 269–292

2000
[4]

L. A. Caffarelli, J. Salazar and H. Shahgholian,Free-boundary regularity for a problem arising in supercon- ductivity, Arch. Ration. Mech. Anal.171(2004), no. 1, 115–128

2004
[5]

S. Chen, Y. Feng and Y. Li,A note on the singular set of the no-sign obstacle problem, arXiv:2204.11426

work page arXiv
[6]

L. Du, X. Tang and C. Wang,Uniqueness of blowup at singular points for superconductivity problem, J. Math. Phys.65(2024), no. 8, 081502

2024
[7]

Figalli and J

A. Figalli and J. Serra,On the fine structure of the free boundary for the classical obstacle problem, Invent. Math.215(2019), no. 1, 311–366

2019
[8]

Figalli, X

A. Figalli, X. Ros-Oton and J. Serra,Generic regularity of free boundaries for the obstacle problem, Publ. Math. Inst. Hautes ´Etudes Sci.132(2020), 181–292

2020
[9]

Monneau,On the number of singularities for the obstacle problem in two dimensions, J

R. Monneau,On the number of singularities for the obstacle problem in two dimensions, J. Geom. Anal. 13(2003), no. 2, 359–389

2003
[10]

Petrosyan, H

A. Petrosyan, H. Shahgholian and N. Uraltseva,Regularity of free boundaries in obstacle-type problems, Graduate Studies in Mathematics, vol. 136, American Mathematical Society, 2012

2012
[11]

Savin and H

O. Savin and H. Yu,Regularity of the singular set in the fully nonlinear obstacle problem, arXiv:1905.02308

work page arXiv 1905
[12]

G. S. Weiss,A homogeneity improvement approach to the obstacle problem, Invent. Math.138(1999), no. 1, 23–50. School of Mathematical Sciences, University of Science and Technology of China, Hefei, Anhui 230026, China Email address:chenshib@ustc.edu.cn Institute for Theoretical Sciences, Westlake University, Hangzhou, 310030, China Email address:lyyuan@wes...

1999