Researcher profile

Alessio Figalli

Alessio Figalli contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2026arXiv

Uniform boundedness for finite Morse index solutions to supercritical semilinear elliptic equations

We consider finite Morse index solutions to semilinear elliptic questions, and we investigate their smoothness. It is well-known that: - For $n=2$, there exist Morse index $1$ solutions whose $L^\infty$ norm goes to infinity. - For $n \geq 3$, uniform boundedness holds in the subcritical case for power-type nonlinearities, while for critical nonlinearities the boundedness of the Morse index does not prevent blow-up in $L^\infty$. In this paper, we investigate the case of general supercritical nonlinearities inside convex domains, and we prove an interior a priori $L^\infty$ bound for finite Morse index solution in the sharp dimensional range $3\leq n\leq 9$. As a corollary, we obtain uniform bounds for finite Morse index solutions to the Gelfand problem constructed via the continuity method. [In the previous version, the proof of Proposition A.1 was not complete. Indeed, Lemma A.2 was proved only for estimates centered at the origin, and Footnote 9 claimed that the same estimates hold at every point; however, no complete proof was provided for this extension. In the current version, Lemma A.2 is restricted to estimates at the origin, and the boundedness at arbitrary points is obtained by combining the results in [9] with the new version of Lemma A.2. This avoids the need to extend Lemma A.2 to arbitrary centers and yields a complete proof of Proposition A.1.]

preprint2022arXiv

A quantitative stability result for the Prékopa-Leindler inequality for arbitrary measurable functions

We prove that if a triplet of functions satisfies almost equality in the Prékopa-Leindler inequality, then these functions are close to a common log-concave function, up to multiplication and rescaling. Our result holds for general measurable functions in all dimensions, and provides a quantitative stability estimate with computable constants.

preprint2022arXiv

Complete classification of global solutions to the obstacle problem

The characterization of global solutions to the obstacle problems in $\mathbb{R}^N$, or equivalently of null quadrature domains, has been studied over more than 90 years. In this paper we give a conclusive answer to this problem by proving the following long-standing conjecture: The coincidence set of a global solution to the obstacle problem is either a half-space, an ellipsoid, a paraboloid, or a cylinder with an ellipsoid or a paraboloid as base.

preprint2022arXiv

Isoperimetry and stability properties of balls with respect to nonlocal energies

We obtain a sharp quantitative isoperimetric inequality for nonlocal $s$-perimeters, uniform with respect to $s$ bounded away from $0$. This allows us to address local and global minimality properties of balls with respect to the volume-constrained minimization of a free energy consisting of a nonlocal $s$-perimeter plus a non-local repulsive interaction term. In the particular case $s =1$ the $s$-perimeter coincides with the classical perimeter, and our results improve the ones of Knüpfer and Muratov concerning minimality of balls of small volume in isoperimetric problems with a competition between perimeter and a nonlocal potential term. More precisely, their result is extended to its maximal range of validity concerning the type of nonlocal potentials considered, and is also generalized to the case where local perimeters are replaced by their nonlocal counterparts.

preprint2020arXiv

A scale-dependent notion of effective dimension

We introduce a notion of "effective dimension" of a statistical model based on the number of cubes of size $1/\sqrt{n}$ needed to cover the model space when endowed with the Fisher Information Matrix as metric, $n$ being the number of observations. The number of observations fixes a natural scale or resolution. The effective dimension is then measured via the spectrum of the Fisher Information Matrix regularized using this natural scale.

preprint2020arXiv

Generic regularity of free boundaries for the obstacle problem

The goal of this paper is to establish generic regularity of free boundaries for the obstacle problem in $\mathbb R^n$. By classical results of Caffarelli, the free boundary is $C^\infty$ outside a set of singular points. Explicit examples show that the singular set could be in general $(n-1)$-dimensional ---that is, as large as the regular set. Our main result establishes that, generically, the singular set has zero $\mathcal H^{n-4}$ measure (in particular, it has codimension 3 inside the free boundary). In particular, for $n\leq4$, the free boundary is generically a $C^\infty$ manifold. This solves a conjecture of Schaeffer (dating back to 1974) on the generic regularity of free boundaries in dimensions $n\leq4$.

preprint2020arXiv

Lipschitz Regularity in Vectorial Linear Transmission Problems

We consider vector-valued solutions to a linear transmission problem, and we prove that Lipschitz-regularity on one phase is transmitted to the next phase. More exactly, given a solution $u:B_1\subset \mathbb{R}^n \to \mathbb{R}^m$ to the elliptic system \begin{equation*} \mbox{div} ((A + (B-A)χ_D )\nabla u) = 0 \quad \text{in }B_1, \end{equation*} where $A$ and $B$ are Dini continuous, uniformly elliptic matrices, we prove that if $\nabla u \in L^{\infty} (D)$ then $u$ is Lipschitz in $B_{1/2}$. A similar result is also derived for the parabolic counterpart of this problem.

preprint2020arXiv

Optimal regularity and structure of the free boundary for minimizers in cohesive zone models

We study optimal regularity and free boundary for minimizers of an energy functional arising in cohesive zone models for fracture mechanics. Under smoothness assumptions on the boundary conditions and on the fracture energy density, we show that minimizers are $C^{1, 1/2}$, and that near non-degenerate points the fracture set is $C^{1, α}$, for some $α\in (0, 1)$.

preprint2020arXiv

Stable solutions to semilinear elliptic equations are smooth up to dimension 9

In this paper we prove the following long-standing conjecture: stable solutions to semilinear elliptic equations are bounded (and thus smooth) in dimension $n \leq 9$. This result, that was only known to be true for $n\leq4$, is optimal: $\log(1/|x|^2)$ is a $W^{1,2}$ singular stable solution for $n\geq10$. The proof of this conjecture is a consequence of a new universal estimate: we prove that, in dimension $n \leq 9$, stable solutions are bounded in terms only of their $L^1$ norm, independently of the nonlinearity. In addition, in every dimension we establish a higher integrability result for the gradient and optimal integrability results for the solution in Morrey spaces. As one can see by a series of classical examples, all our results are sharp. Furthermore, as a corollary we obtain that extremal solutions of Gelfand problems are $W^{1,2}$ in every dimension and they are smooth in dimension $n \leq 9$. This answers to two famous open problems posed by Brezis and Brezis-Vázquez.

preprint2019arXiv

On the sharp stability of critical points of the Sobolev inequality

Given $n\geq 3$, consider the critical elliptic equation $Δu + u^{2^*-1}=0$ in $\mathbb R^n$ with $u > 0$. This equation corresponds to the Euler-Lagrange equation induced by the Sobolev embedding $H^1(\mathbb R^n)\hookrightarrow L^{2^*}(\mathbb R^n)$, and it is well-known that the solutions are uniquely characterized and are given by the so-called ``Talenti bubbles''. In addition, thanks to a fundamental result by Struwe, this statement is ``stable up to bubbling'': if $u:\mathbb R^n\to(0,\infty)$ almost solves $Δu + u^{2^*-1}=0$ then $u$ is (nonquantitatively) close in the $H^1(\mathbb R^n)$-norm to a sum of weakly-interacting Talenti bubbles. More precisely, if $δ(u)$ denotes the $H^1(\mathbb R^n)$-distance of $u$ from the manifold of sums of Talenti bubbles, Struwe proved that $δ(u)\to 0$ as $\lVertΔu + u^{2^*-1}\rVert_{H^{-1}}\to 0$. In this paper we investigate the validity of a sharp quantitative version of the stability for critical points: more precisely, we ask whether under a bound on the energy $\lVert\nabla u\rVert_{L^2}$ (that controls the number of bubbles) it holds $δ(u) \lesssim \lVertΔu + u^{2^*-1}\rVert_{H^{-1}}$. A recent paper by the first author together with Ciraolo and Maggi shows that the above result is true if $u$ is close to only one bubble. Here we prove, to our surprise, that whenever there are at least two bubbles then the estimate above is true for $3\le n\le 5$ while it is false for $n\ge 6$. To our knowledge, this is the first situation where quantitative stability estimates depend so strikingly on the dimension of the space, changing completely behavior for some particular value of the dimension $n$.