Uniqueness of Blow-ups for the Superconductivity Free Boundary Problem

Abstract: We study the free-boundary equation [ Δu=χ_{{|\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.

• The paper establishes the uniqueness of quadratic blow-ups at singular points through finite-dimensional ODE analysis and a Lyapunov-type dissipation estimate.
• It employs an L² projection onto trace-free quadratic harmonics and dyadic decomposition to rigorously control error terms in the free boundary problem.
• The result significantly advances regularity theory and aids in the classification and stratification of singular sets in superconductivity models.

Uniqueness of Quadratic Blow-ups for the Superconductivity Free Boundary Problem

Problem Formulation and Context

The paper "[Uniqueness of Blow-ups for the Superconductivity Free Boundary Problem]" tackles the uniqueness of quadratic blow-ups at singular points of the free boundary in the elliptic PDE

$\Delta u = \chi_{\{|\nabla u|>0\}}$

within a neighborhood of the origin in $\mathbb{R}^n$. Here, $\Omega(u) = \{|\nabla u|>0\}$ defines the active set, $\Lambda(u) = \{|\nabla u|=0\}$ the inactive set, and $\Gamma(u) = \partial \Omega(u)$ their interface—i.e., the free boundary. Unlike classical obstacle problems, where the free boundary is governed by a sign condition on $u$, this superconductivity variant is governed by the vanishing of the gradient, complicating standard Weiss-Monneau monotonicity and classification approaches.

The central object of study is the set of quadratic blow-up limits at singular points of $\Gamma(u)$. At the origin, consider the rescalings

$u_r(x) := \frac{u(rx) - u(0)}{r^2}$

and the classification of their limits as $r \to 0$. The main technical hurdle is the inactive set’s structure, which is defined via critical points of $u$, leading to additional degeneracies and precluding direct variational or monotonicity arguments.

Main Results

The principal theorem establishes uniqueness of the quadratic blow-up at singular points. Specifically, if $\mathbb{R}^n$0 solves $\mathbb{R}^n$1 near $\mathbb{R}^n$2 and $\mathbb{R}^n$3 is a singular point, then there exists a unique symmetric matrix $\mathbb{R}^n$4 with $\mathbb{R}^n$5 such that

$\mathbb{R}^n$6

in $\mathbb{R}^n$7 as $\mathbb{R}^n$8. Consequently, at singular points, all subsequential blow-up limits coincide and are quadratic.

This result partially parallels the classical obstacle problem's uniqueness of blow-ups at singularities, but overcomes new challenges arising from the gradient-based free boundary. In particular, the set of possible blow-ups is a nontrivial finite-dimensional family, raising the significant technical issue of possible drifting along trace-free quadratic harmonics as $\mathbb{R}^n$9.

Analytical Techniques and Proof Outline

Projection onto Trace-free Quadratics

The analysis centers around decomposing blow-up sequences $\Omega(u) = \{|\nabla u|>0\}$0 (passing to logarithmic scale, $\Omega(u) = \{|\nabla u|>0\}$1) into

$\Omega(u) = \{|\nabla u|>0\}$2

where $\Omega(u) = \{|\nabla u|>0\}$3 is a quadratic polynomial with $\Omega(u) = \{|\nabla u|>0\}$4, parameterized by a trace-free symmetric matrix $\Omega(u) = \{|\nabla u|>0\}$5, and $\Omega(u) = \{|\nabla u|>0\}$6 is the remainder.

Key to this decomposition is an explicit $\Omega(u) = \{|\nabla u|>0\}$7 projection onto the space of trace-free quadratic harmonics, enabling the reduction of the infinite-dimensional evolution to a finite-dimensional ODE for $\Omega(u) = \{|\nabla u|>0\}$8:

$\Omega(u) = \{|\nabla u|>0\}$9

where $\Lambda(u) = \{|\nabla u|=0\}$0 denotes the trace-free part, and $\Lambda(u) = \{|\nabla u|=0\}$1 is the rescaled inactive set.

Lyapunov-type Identity and Dissipation Estimates

A Lyapunov identity for $\Lambda(u) = \{|\nabla u|=0\}$2 pinpoints the evolution's dissipation, involving $\Lambda(u) = \{|\nabla u|=0\}$3 and an error term $\Lambda(u) = \{|\nabla u|=0\}$4 depending on the remainder $\Lambda(u) = \{|\nabla u|=0\}$5. The challenge is to control $\Lambda(u) = \{|\nabla u|=0\}$6 sufficiently to show that all possible drifts in the trace-free direction vanish as $\Lambda(u) = \{|\nabla u|=0\}$7.

Dyadic Decomposition and Tail Control

By decomposing integrals over dyadic annuli and relating blow-up errors at small scales to those at larger scales via rescaling, the authors establish that both $\Lambda(u) = \{|\nabla u|=0\}$8 and the associated error terms tend to zero uniformly on compact sets as $\Lambda(u) = \{|\nabla u|=0\}$9. This ultimately yields integrability and finite total variation for $\Gamma(u) = \partial \Omega(u)$0, ensuring convergence of $\Gamma(u) = \partial \Omega(u)$1.

Absorption Argument

A quantitative absorption argument, based on Volterra-type integral inequalities, allows the main error term’s contribution to be made arbitrarily small by taking sufficiently large $\Gamma(u) = \partial \Omega(u)$2. This confirms that the only possible limit for $\Gamma(u) = \partial \Omega(u)$3 as $\Gamma(u) = \partial \Omega(u)$4 is a unique constant, precluding possible drifts in the space of quadratic harmonics.

Numerical Implications and Strong Statements

The authors prove definitively that the asymptotic singular blow-up at the critical set of the superconductor-type problem is unique: all tangent quadratic polynomials at a singular point must coincide. This precludes pathological behaviors such as nonuniqueness or wild oscillations in the blow-up profile, establishing a rigidity property akin to the obstacle problem despite the substantial analytic differences.

Furthermore, the proof does not rely on monotonicity functionals or sign conditions, indicating a broader applicability to related non-variational or critical set problems.

Theoretical and Practical Implications

This work provides a rigorous foundation for further regularity theory in superconductivity-type free boundary problems. The uniqueness of singular blow-ups is a key ingredient in the potential classification and stratification of the singular set, as well as in the pursuit of finer regularity (e.g., $\Gamma(u) = \partial \Omega(u)$5 regularity near regular points, dimension estimates for the singular set).

Practically, the result informs analytical and numerical treatments of models arising in applied superconductivity, particularly in predicting the structure of phase interfaces and critical sets. The rigorous identification of the unique tangent profile at singularities may also influence the design of regularization strategies for simulation and inverse problems.

Future Directions

This work opens the path for several research avenues:

• Stratification and dimension estimates of the singular set: With uniqueness established, additional geometric and measure-theoretic properties of singularities can be explored.
• Extension to other non-variational free boundary problems: The techniques developed here are relevant to a broader class of problems lacking sign-definite structures.
• Regularity improvements at singular points: With the blow-up profile rigidly determined, higher-order expansion and regularity results near singularities may become accessible.

Conclusion

The paper establishes the uniqueness of quadratic blow-ups at singular points for the superconductivity free boundary problem governed by $\Gamma(u) = \partial \Omega(u)$6. Through a detailed finite-dimensional analysis of rescalings, Lyapunov-type control, and robust error estimates, it resolves a fundamental open question highlighted in prior works about the structure of singularities in this nonlinear PDE. This result advances the understanding of critical set free boundary problems and lays groundwork for future theoretical advances in the field.

Reference: "Uniqueness of Blow-ups for the Superconductivity Free Boundary Problem" (2604.23682)