🔢 mathematics

A partial answer to Brezis' Open Problem 2.1

This paper provides a partial solution to Brezis' Open Problem 2.1 by proving the uniqueness of the radial weak solution to the Ginzburg–Landau equation on bounded domains in dimensions 2 through 4 for all parameters $\varepsilon$ slightly below the critical threshold $\varepsilon_*$ , utilizing a combination of strict convexity, compactness arguments, nondegeneracy, and the implicit function theorem.

Original authors: Chao Ji, Kai Sheng

Published 2026-08-25

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Chao Ji, Kai Sheng

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the hidden world of superconductors, materials that conduct electricity without any resistance, scientists have long been fascinated by tiny whirlpools of energy called vortices. These vortices are not made of water, but of magnetic fields and electric currents swirling within the material. To understand how these vortices behave, physicists use a mathematical model known as the Ginzburg–Landau equation. This equation acts like a set of rules that predicts how the material will respond when exposed to magnetic fields, essentially mapping out the landscape where these energy whirlpools can exist. For decades, a central question has hung over this field: if you set the conditions at the edge of a circular piece of superconducting material, is there only one possible way for the energy to arrange itself inside? Or could the material settle into several different, equally valid patterns? This question, posed by the mathematician Haim Brezis, has remained a stubborn puzzle, with researchers able to prove a single, unique pattern only under very specific conditions, leaving a wide middle ground where the answer was unknown.

A team of researchers has now stepped into this middle ground to provide a significant, though partial, answer to the puzzle. They focused on a circular disc, a simple shape that serves as a perfect test case for these complex equations. Their work demonstrates that for a wide range of conditions, the material does indeed settle into just one unique pattern. Specifically, they proved that if the physical parameter controlling the strength of the superconducting effect is either very large or very close to a critical threshold, the solution is unique. This threshold represents a point where the mathematical properties of the system change, much like water freezing into ice, and for a long time, it was unclear whether the uniqueness of the solution would hold as the conditions moved slightly away from this point.

The researchers found that the unique solution persists even when the conditions dip just below this critical threshold, a region where previous mathematical tools failed to work. Before this study, it was known that if the conditions were strong enough, the energy landscape was shaped like a smooth bowl, guaranteeing that any ball placed inside would roll to the same single bottom point. However, as the conditions weakened, the bowl could theoretically develop bumps or dips, potentially allowing the ball to get stuck in different spots. The authors showed that even as the conditions weaken slightly, the landscape remains smooth enough to ensure there is still only one bottom point. They achieved this by combining a powerful technique called the implicit function theorem, which allows mathematicians to trace how a solution changes as conditions shift, with a compactness argument that ensures solutions cannot suddenly jump to a completely different state without passing through a known path.

This discovery is not just a theoretical victory; it clarifies the behavior of superconductors in a regime that was previously a black box. The team proved that for a specific range of parameters extending below the critical limit, the radial solution—the pattern where the energy swirls symmetrically from the center outward—is the only possible configuration. They ruled out the possibility of other, more complex patterns existing in this specific range. While they did not solve the problem for every single possible condition, they successfully extended the zone of certainty, showing that the unique, symmetric pattern is robust and does not suddenly break down into multiple possibilities the moment the conditions change slightly. Their work provides a clearer map of the superconducting landscape, confirming that in this crucial intermediate zone, nature chooses a single, orderly path.

Technical Summary: A Partial Answer to Brezis' Open Problem 2.1

Problem Statement
This paper addresses Brezis' Open Problem 2.1, which concerns the uniqueness of solutions to the Ginzburg–Landau equation in the unit disc $\Omega \subset \mathbb{R}^2$ with degree-one boundary data:
$\begin{cases} -\Delta u = \frac{1}{\varepsilon^2} u (1 - |u|^2) & \text{in } \Omega, \\ u(x) = x & \text{on } \partial\Omega, \end{cases}$
where $\varepsilon > 0$ is a parameter. It is well-established that a radial solution $U_\varepsilon(x) = \frac{x}{|x|}f_\varepsilon(|x|)$ exists. The open problem asks whether this radial solution is the unique solution for every $\varepsilon > 0$ .

Prior to this work, uniqueness was known in two regimes:

Large $\varepsilon$ : For $\varepsilon \ge \varepsilon^* := \lambda_1^{-1/2}$ (where $\lambda_1$ is the first Dirichlet eigenvalue of $-\Delta$ in $\Omega$ ), uniqueness follows from the strict convexity of the associated energy functional.
Small $\varepsilon$ : For $\varepsilon \in (0, \varepsilon_1)$ with $\varepsilon_1$ sufficiently small, uniqueness was established by Pacard and Rivièr.

The difficulty lies in the intermediate range $\varepsilon \in (\varepsilon_1, \varepsilon^*)$ , where strict convexity fails and small-parameter asymptotics do not apply.

Methodology
The authors extend the analysis to a more general setting: the Ginzburg–Landau system on bounded connected $C^{1,1}$ domains $\Omega \subset \mathbb{R}^N$ ( $2 \le N \le 4$ ) with nontrivial boundary data $g \in W^{2-1/p, p}(\partial\Omega, \mathbb{R}^m)$ ( $g \not\equiv 0$ ). The proof strategy combines three main analytical tools:

Variational Framework and Existence: The authors establish the existence of weak solutions as critical points of the energy functional $E_\varepsilon$ on the affine space $H^1_g(\Omega; \mathbb{R}^m)$ .
Strict Convexity for $\varepsilon \ge \varepsilon^*$ : They re-verify that for $\varepsilon \ge \varepsilon^*$ , the energy functional is strictly convex, ensuring uniqueness. This relies on the Poincaré inequality and the specific structure of the linearized operator at the threshold.
Local Analysis and Compactness for $\varepsilon < \varepsilon^*$ : To handle the regime just below the convexity threshold, the authors employ a combination of:
- Compactness: They prove that any sequence of solutions $u_n$ corresponding to parameters $\varepsilon_n \to \varepsilon^*$ converges (up to a subsequence) to the unique solution $u^*$ at $\varepsilon^*$ in the $W^{2,p}$ topology. This rules out the existence of "distant" solutions as $\varepsilon$ approaches $\varepsilon^*$ .
- Nondegeneracy and Implicit Function Theorem: They analyze the linearized operator $L^*$ at the solution $u^*$ when $\varepsilon = \varepsilon^*$ . By proving that $L^*$ is an isomorphism (specifically, that its kernel is trivial due to the non-vanishing boundary data and the properties of the first eigenfunction), they establish local uniqueness via the Implicit Function Theorem.

Key Contributions and Results
The primary result is Theorem 1.1, which states that there exists a $\delta > 0$ such that for every $\varepsilon \in (\varepsilon^* - \delta, \infty)$ , the Ginzburg–Landau system with nontrivial boundary data admits a unique weak solution.

This leads directly to Corollary 1.2, the partial answer to Brezis' Open Problem 2.1:

There exists $\delta > 0$ such that for every $\varepsilon \in (\varepsilon^* - \delta, \infty)$ , the radial solution $U_\varepsilon$ is the unique solution of the original problem (1.1).

Significance and Claims
The paper claims to provide a partial answer to Brezis' Open Problem 2.1 by extending the known range of uniqueness below the convexity threshold $\varepsilon^*$ . Specifically, it demonstrates that uniqueness persists in a neighborhood immediately to the left of $\varepsilon^*$ , a region where the standard strict convexity argument is no longer available.

The authors emphasize that their result does not rely on radial symmetry or the specific degree-one boundary condition of the original problem but holds for general nontrivial boundary data on $C^{1,1}$ domains in dimensions $N \le 4$ . The proof overcomes the lack of convexity by establishing the nondegeneracy of the solution at the critical threshold and utilizing compactness to ensure no other solution branches exist nearby.

The paper does not claim to resolve the problem for all $\varepsilon > 0$ , nor does it propose new experimental applications. It strictly addresses the mathematical gap in the uniqueness proof for the intermediate parameter range near the convexity threshold.

Technical Summary: A Partial Answer to Brezis' Open Problem 2.1

More like this