BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Xavier Ros-Oton contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
This manuscript aims to provide a self-contained introduction to the regularity theory for elliptic PDE, focusing on the main ideas rather than proving all results in their greatest generality. It can be seen as a bridge between an elementary PDE course and more advanced textbooks. This is a draft of the book "Regularity Theory for Elliptic PDE". The final version has been published in Zurich Lectures in Advanced Mathematics, EMS Press, 2022.
The aim of this work is to study homogeneous stable solutions to the thin (or fractional) one-phase free boundary problem. The problem of classifying stable (or minimal) homogeneous solutions in dimensions $n\geq3$ is completely open. In this context, axially symmetric solutions are expected to play the same role as Simons' cone in the classical theory of minimal surfaces, but even in this simpler case the problem is open. The goal of this paper is twofold. On the one hand, our first main contribution is to find, for the first time, the stability condition for the thin one-phase problem. Quite surprisingly, this requires the use of "large solutions" for the fractional Laplacian, which blow up on the free boundary. On the other hand, using our new stability condition, we show that any axially symmetric homogeneous stable solution in dimensions $n\le 5$ is one-dimensional, independently of the parameter $s\in (0,1)$.
We investigate the regularity of the free boundary for the Signorini problem in $\mathbb{R}^{n+1}$. It is known that regular points are $(n-1)$-dimensional and $C^\infty$. However, even for $C^\infty$ obstacles $φ$, the set of non-regular (or degenerate) points could be very large, e.g. with infinite $\mathcal{H}^{n-1}$ measure. The only two assumptions under which a nice structure result for degenerate points has been established are: when $φ$ is analytic, and when $Δφ< 0$. However, even in these cases, the set of degenerate points is in general $(n-1)$-dimensional (as large as the set of regular points). In this work, we show for the first time that, "usually", the set of degenerate points is small. Namely, we prove that, given any $C^\infty$ obstacle, for "almost every" solution the non-regular part of the free boundary is at most $(n-2)$-dimensional. This is the first result in this direction for the Signorini problem. Furthermore, we prove analogous results for the obstacle problem for the fractional Laplacian $(-Δ)^s$, and for the parabolic Signorini problem. In the parabolic Signorini problem, our main result establishes that the non-regular part of the free boundary is $(n-1-α_\circ)$-dimensional for almost all times $t$, for some $α_\circ > 0$. Finally, we construct some new examples of free boundaries with degenerate points.
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$.
We prove the sharp quantitative stability for a wide class of weighted isoperimetric inequalities. More precisely, we consider isoperimetric inequalities in convex cones with homogeneous weights. Inspired by the proof of such isoperimetric inequalities through the ABP method, we construct a new convex coupling (i.e., a map that is the gradient of a convex function) between a generic set $E$ and the minimizer of the inequality (as in Gromov's proof of the isoperimetric inequality). Even if this map does not come from optimal transport, and even if there is a weight in the inequality, we adapt the methods of Figalli-Maggi-Pratelli and prove that if $E$ is almost optimal for the inequality then it is quantitatively close to a minimizer up to translations. Then, a delicate analysis is necessary to rule out the possibility of translations. As a step of our proof, we establish a sharp regularity result for restricted convex envelopes of a function that might be of independent interest.
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.
In this note we study the boundary regularity of solutions to nonlocal Dirichlet problems of the form $Lu=0$ in $Ω$, $u=g$ in $\mathbb R^N\setminusΩ$, in non-smooth domains $Ω$. When $g$ is smooth enough, then it is easy to transform this problem into an homogeneous Dirichlet problem with a bounded right hand side, for which the boundary regularity is well understood. Here, we study the case in which $g\in C^{0,α}$, and establish the optimal Hölder regularity of $u$ up to the boundary. Our results extend previous results of Grubb for $C^\infty$ domains $Ω$.
We study the regularity up to the boundary of solutions to the Neumann problem for the fractional Laplacian. We prove that if $u$ is a weak solution of $(-Δ)^s u=f$ in $Ω$, $\mathcal N_s u=0$ in $Ω^c$, then $u$ is $C^α$ up tp the boundary for some $α>0$. Moreover, in case $s>\frac12$, we then show that $u\in C^{2s-1+α}(\overlineΩ)$. To prove these results we need, among other things, a delicate Moser iteration on the boundary with some logarithmic corrections. Our methods allow us to treat as well the Neumann problem for the regional fractional Laplacian, and we establish the same boundary regularity result. Prior to our results, the interior regularity for these Neumann problems was well understood, but near the boundary even the continuity of solutions was open.