Crossing Dimensional Frontiers: a breakthrough in the shape of stable solutions to semilinear elliptic equations

The result, obtained by Xavier Cabré (ICREA–UPC–CRM), Alessio Figalli (ETH Zürich), Xavier Ros‑Oton (ICREA–UB–CRM) and Joaquim Serra (ETH Zürich), proves that these solutions are bounded —and therefore smooth, according to classical elliptic regularity theory— in all dimensions up to 9. This allows one to identify precisely the threshold at which singularities may appear and establishes one of the key parameters of the problem: the dimension of the space.

Beyond the resolution of a conjecture, the work represents a significant conceptual advance by clearly delimiting the range of dimensions in which bounded and smooth behavior of these solutions can be guaranteed in a general setting.

Where it started: a conjecture and the role of dimension

The main objective is to study solutions to this class of semilinear equations in a bounded domain

It is well known that solutions correspond to critical points of the Euler-Lagrange equation of an associated energy functional. The most relevant solutions are the stable ones, that is, those which locally minimize the energy functional, since these are the solutions observed in nature.

In the setting of the nonlinearities f described next, the energy admits no absolute minimizer, yet non-constant stable solutions do exist, and the dimension plays a crucial role in determining their behavior.

In this context, the conjecture addressed in the work of Cabré et al. was formulated by Haim Brezis in the mid-nineties as follows: assuming that f is positive, non-decreasing, convex, and superlinear at infinity, stable solutions are bounded whenever the dimension is less than or equal to 9.

Over the decades, the problem was progressively solved in partial cases:

• Nedev, for , 2000
• Cabré and Capella, for (the unit ball) and , 2006
• Cabré, for in convex domains, 2010
• Villegas, for , 2013
• Cabré and Ros‑Oton, for  in symmetric convex domains, 2013
• Cabré, Sanchón and Spruck, for under additional assumptions on f, 2016

Despite these advances, a general result closing the problem was still missing.

What the result provides: universal regularity up to dimension 9

The work of Cabré, Figalli, Ros‑Oton and Serra resolves the conjecture in full generality.

They prove that every stable solution to any semilinear elliptic equation with a nonnegative nonlinearity f is necessarily bounded in the interior for dimensions . As noted above, in the context of elliptic equations, boundedness implies smoothness.

One of the most remarkable aspects is the universal nature of the result: the bounds do not depend on specific assumptions on the nonlinearity f, but only on the norm of the solution u. This highlights the depth and robustness of the result, showing that it is not a particular case but a general phenomenon.

Moreover, the authors approach the problem through a clear strategy: first obtaining interior estimates, and then extending them to the global setting.

More specifically, the control is based on the use of the stability condition, which allows one to derive inequalities that control the behavior of the solution and its gradient. In particular, by choosing suitable test functions, the authors obtain estimates showing that solutions cannot grow without bound.

The interior result is then combined with additional arguments to obtain global estimates in the domain, under the same natural assumptions on the nonlinearity f as above, that is, those conjectured by Haim Brezis. This ultimately yields full boundedness in dimensions up to 9 and resolves the conjecture.

The authors also study the case of higher dimensions, where they show that the result cannot be extended in general: in this regime, only weaker estimates can be obtained, confirming the critical nature of dimension 9. Overall, the result establishes dimension 9 as the threshold for this class of problems.

“I have been working on the subject for thirty years now. Indeed, I am still working on it, since the analogous result is an open problem for other equations as important as those associated to the famous fractional Laplacians. Mathematically, it has been and is a very interesting journey, because we have always been advancing with partial results that, in many cases, have generated new questions and mathematical answers of interest. Personally, it has made me learn to be patient and persevering.”

— Xavier Cabré (ICREA – Universitat Politècnica de Catalunya – Centre de Recerca Matemàtica)

Impact: closing conjectures and opening new tools

The impact of the work is significant on several levels. On the one hand, it resolves two long-standing open problems posed by Brezis and Brezis–Vázquez. In particular, it addresses the critical role of dimension —whether extremal solutions can be unbounded in low dimensions— and the possible existence of weak solutions that do not belong to the natural functional space associated with the problem.

On the other hand, it introduces new technical ideas. In particular, the use of the stability inequality together with test functions adapted to the geometric structure of the problem enables one to obtain quantitative information on the solution. This approach leads to powerful a priori estimates that may be useful in other contexts.

Finally, the work strengthens the connections between the analysis of partial differential equations and geometry, especially in variational problems and minimal surface theory, where similar dimension-dependent phenomena arise.

Looking ahead: higher dimensions and new directions

The result not only solves a long-standing question but also clearly delineates what remains to be understood.

In dimensions higher than 9, the picture changes: examples of stable solutions that are not bounded are already known, and global regularity no longer holds in general. This opens the door to a more refined analysis of this “supercritical” regime.

Among the future directions are:

• understanding the precise behavior at the critical dimension
• extending the techniques to other types of equations (such as nonlocal equations)
• exploring deeper connections with geometric problems

Overall, this work not only completes decades of effort but also reshapes the landscape of the field, clearly marking where regularity holds — and where complexity begins.