BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
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≥3 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≤5 is one-dimensional, independently of the parameter s∈(0,1).
We investigate the regularity of the free boundary for the Signorini problem in Rn+1. It is known that regular points are (n−1)-dimensional and C∞. However, even for C∞ obstacles φ, the set of non-regular (or degenerate) points could be very large, e.g. with infinite Hn−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∞ 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−α∘)-dimensional for almost all times t, for some α∘>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 Rn. By classical results of Caffarelli, the free boundary is C∞ 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 Hn−4 measure (in particular, it has codimension 3 inside the free boundary). In particular, for n≤4, the free boundary is generically a C∞ manifold. This solves a conjecture of Schaeffer (dating back to 1974) on the generic regularity of free boundaries in dimensions n≤4.
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≤9. This result, that was only known to be true for n≤4, is optimal: log(1/∣x∣2) is a W1,2 singular stable solution for n≥10. The proof of this conjecture is a consequence of a new universal estimate: we prove that, in dimension n≤9, stable solutions are bounded in terms only of their L1 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 W1,2 in every dimension and they are smooth in dimension n≤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 RN∖Ω, 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∈C0,α, and establish the optimal Hölder regularity of u up to the boundary. Our results extend previous results of Grubb for C∞ 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 (−Δ)su=f in Ω, Nsu=0 in Ωc, then u is Cα up tp the boundary for some α>0. Moreover, in case s>21, we then show that u∈C2s−1+α(Ω). 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.
We consider entire solutions to Lu=f(u) in R2, where L is a nonlocal operator with translation invariant, even and compactly supported kernel K. Under different assumptions on the operator L, we show that monotone solutions are necessarily one-dimensional. The proof is based on a Liouville type approach. A variational characterization of the stability notion is also given, extending our results in some cases to stable solutions.
We establish sharp boundary regularity estimates in C1 and C1,α domains for nonlocal problems of the form Lu=f in Ω, u=0 in Ωc. Here, L is a nonlocal elliptic operator of order 2s, with s∈(0,1). First, in C1,α domains we show that all solutions u are Cs up to the boundary and that u/ds∈Cα(Ωˉ), where d is the distance to ∂Ω. In C1 domains, solutions are in general not comparable to ds, and we prove a boundary Harnack principle in such domains. Namely, we show that if u1 and u2 are positive solutions, then u1/u2 is bounded and Hölder continuous up to the boundary. Finally, we establish analogous results for nonlocal equations with bounded measurable coefficients in non-divergence form. All these regularity results will be essential tools in a forthcoming work on free boundary problems for nonlocal elliptic operators \cite{CRS-obstacle}.
The parabolic obstacle problem for the fractional Laplacian naturally arises in American option models when the assets prices are driven by pure jump Lévy processes. In this paper we study the regularity of the free boundary. Our main result establishes that, when s>21, the free boundary is a C1,α graph in x and t near any regular free boundary point (x0,t0)∈∂{u>φ}. Furthermore, we also prove that solutions u are C1+s in x and t near such points, with a precise expansion of the form u(x,t)−φ(x)=c0((x−x0)⋅e+a(t−t0))+1+s+o(∣x−x0∣1+s+α+∣t−t0∣1+s+α), with c0>0, e∈Sn−1, and a>0.
We study the positivity and regularity of solutions to the fractional porous medium equations ut+(−Δ)sum=0 in (0,∞)×Ω, for m>1 and s∈(0,1) and with Dirichlet boundary data u=0 in (0,∞)×(RN∖Ω), and nonnegative initial condition u(0,⋅)=u0≥0. Our first result is a quantitative lower bound for solutions which holds for all positive times t>0. As a consequence, we find a global Harnack principle stating that for any t>0 solutions are comparable to ds/m, where d is the distance to ∂Ω. This is in sharp contrast with the local case s=1, in which the equation has finite speed of propagation. After this, we study the regularity of solutions. We prove that solutions are classical in the interior (C∞ in x and C1,α in t) and establish a sharp Cxs/m regularity estimate up to the boundary. Our methods are quite general, and can be applied to a wider class of nonlocal parabolic equations of the form ut−LF(u)=0 in Ω, both in bounded or unbounded domains.
We establish Pohozaev identities and integration by parts type formulas for anisotropic integro-differential operators of order 2s, with s∈(0,1). These identities involve local boundary terms, in which the quantity u/ds∣∂Ω plays the role that ∂u/∂ν plays in the second order case. Here, u is any solution to Lu=f(x,u) in Ω, with u=0 in Rn∖Ω, and d is the distance to ∂Ω.
We prove a boundary Harnack inequality for nonlocal elliptic operators L in non-divergence form with bounded measurable coefficients. Namely, our main result establishes that if Lu1=Lu2=0 in Ω∩B1, u1=u2=0 in B1∖Ω, and u1,u2≥0 in Rn, then u1 and u2 are comparable in B1/2. The result applies to arbitrary open sets Ω. When Ω is Lipschitz, we show that the quotient u1/u2 is Hölder continuous up to the boundary in B1/2.
We study the regularity of the free boundary in the fully nonlinear thin obstacle problem. Our main result establishes that the free boundary is C1 near regular points.
We study fine boundary regularity properties of solutions to fully nonlinear elliptic integro-differential equations of order 2s, with s∈(0,1). We consider the class of nonlocal operators L∗⊂L0, which consists of infinitesimal generators of stable Lévy processes belonging to the class L0 of Caffarelli-Silvestre. For fully nonlinear operators I elliptic with respect to L∗, we prove that solutions to Iu=f in Ω, u=0 in Rn∖Ω, satisfy u/ds∈Cs+γ(Ω), where d is the distance to ∂Ω and f∈Cγ. We expect the class L∗ to be the largest scale invariant subclass of L0 for which this result is true. In this direction, we show that the class L0 is too large for all solutions to behave like ds. The constants in all the estimates in this paper remain bounded as the order of the equation approaches 2. Thus, in the limit s↑1 we recover the celebrated boundary regularity result due to Krylov for fully nonlinear elliptic equations.
We consider entire solutions to Lu=f(u) in $\RR^2$, where L is a general nonlocal operator with kernel K(y). Under certain natural assumtions on the operator L, we show that any stable solution is a 1D solution. In particular, our result applies to any solution u which is monotone in one direction. Compared to other proofs of the De Giorgi type results on nonlocal equations, our method is the first successfull attempt to use the Liouville theorem approach to get flatness of the level sets.
We establish an integration by parts formula in bounded domains for the higher order fractional Laplacian (−Δ)s with s>1. We also obtain the Pohozaev identity for this operator. Both identities involve local boundary terms, and they extend the identities obtained by the authors in the case s∈(0,1). As an immediate consequence of these results, we obtain a unique continuation property for the eigenfunctions (−Δ)sϕ=λϕ in Ω, ϕ≡0 in Rn∖Ω.
In this paper we survey some results on the Dirichlet problem {Luu==fgin Ωin Rn\Ω for nonlocal operators of the form Lu(x)=PV∫Rn{u(x)−u(x+y)}K(y)dy. We start from the very basics, proving existence of solutions, maximum principles, and constructing some useful barriers. Then, we focus on the regularity properties of solutions, both in the interior and on the boundary of the domain. In order to include some natural operators L in the regularity theory, we do not assume any regularity on the kernels. This leads to some interesting features that are purely nonlocal, in the sense that have no analogue for local equations. We hope that this survey will be useful for both novel and more experienced researchers in the field.
We consider the monomial weight ∣x1∣A1...∣xn∣An in Rn, where Ai≥0 is a real number for each i=1,...,n, and establish Sobolev, isoperimetric, Morrey, and Trudinger inequalities involving this weight. They are the analogue of the classical ones with the Lebesgue measure dx replaced by ∣x1∣A1...∣xn∣Andx, and they contain the best or critical exponent (which depends on A1, ..., An). More importantly, for the Sobolev and isoperimetric inequalities, we obtain the best constant and extremal functions. When Ai are nonnegative \textit{integers}, these inequalities are exactly the classical ones in the Euclidean space RD (with no weight) when written for axially symmetric functions and domains in RD=RA1+1×...×RAn+1.
We study the interior regularity of solutions to the Dirichlet problem Lu=g in Ω, u=0 in Rn∖Ω, for anisotropic operators of fractional type Lu(x)=∫0+∞dρ∫Sn−1da(ω)ρ1+2s2u(x)−u(x+ρω)−u(x−ρω). Here, a is any measure on~Sn−1 (a prototype example for~L is given by the sum of one-dimensional fractional Laplacians in fixed, given directions). When a∈C∞(Sn−1) and g is C∞(Ω), solutions are known to be C∞ inside~Ω (but not up to the boundary). However, when a is a general measure, or even when a is L∞(Sn−1), solutions are only known to be C3s inside Ω. We prove here that, for general measures a, solutions are C1+3s−ε inside Ω for all ε>0 whenever Ω is convex. When a∈L∞(Sn−1), we show that the same holds in all C1,1 domains. In particular, solutions always possess a classical first derivative. The assumptions on the domain are sharp, since if the domain is not convex and the spectral measure is singular, we construct an explicit counterexample for which u is \emph{not} C3s+ε for any ε>0 -- even if g and Ω are C∞.
In this paper we prove the Pohozaev identity for the semilinear Dirichlet problem (−Δ)su=f(u) in Ω, u≡0 in Rn∖Ω. Here, s∈(0,1), (−Δ)s is the fractional Laplacian in Rn, and Ω is a bounded C1,1 domain. To establish the identity we use, among other things, that if u is a bounded solution then u/δs∣Ω is Cα up to the boundary ∂Ω, where δ(x)=dist(x,∂Ω). In the fractional Pohozaev identity, the function u/δs∣∂Ω plays the role that ∂u/∂ν plays in the classical one. Surprisingly, from a nonlocal problem we obtain an identity with a boundary term (an integral over ∂Ω) which is completely local. As an application of our identity, we deduce the nonexistence of nontrivial solutions in star-shaped domains for supercritical nonlinearities.
We study the regularity up to the boundary of solutions to fractional heat equation in bounded C1,1 domains. More precisely, we consider solutions to ∂tu+(−Δ)su=0 in Ω, t>0, with zero Dirichlet conditions in Rn∖Ω and with initial data u0∈L2(Ω). Using the results of the second author and Serra for the elliptic problem, we show that for all t>0 we have u(⋅,t)∈Cs(Rn) and u(⋅,t)/δs∈Cs−ε(Ω) for any ε>0 and δ(x)=dist(x,∂Ω). Our regularity results apply not only to the fractional Laplacian but also to more general integro-differential operators, namely those corresponding to stable Lévy processes. As a consequence of our results, we show that solutions to the fractional heat equation satisfy a Pohozaev-type identity for positive times.
We introduce a new Neumann problem for the fractional Laplacian arising from a simple probabilistic consideration, and we discuss the basic properties of this model. We can consider both elliptic and parabolic equations in any domain. In addition, we formulate problems with nonhomogeneous Neumann conditions, and also with mixed Dirichlet and Neumann conditions, all of them having a clear probabilistic interpretation. We prove that solutions to the fractional heat equation with homogeneous Neumann conditions have the following natural properties: conservation of mass inside Ω, decreasing energy, and convergence to a constant as t→∞. Moreover, for the elliptic case we give the variational formulation of the problem, and establish existence of solutions. We also study the limit properties and the boundary behavior induced by this nonlocal Neumann condition. For concreteness, one may think that our nonlocal analogue of the classical Neumann condition~∂νu=0 on~∂Ω consists in the nonlocal prescription $$ \int_Ω\frac{u(x)-u(y)}{|x-y|^{n+2s}}\,dy=0 \ {\mbox{ for }} x\in\R^n\setminus\overlineΩ.$$
We study the problem (−Δ)su=λeu in a bounded domain Ω⊂Rn, where λ is a positive parameter. More precisely, we study the regularity of the extremal solution to this problem. Our main result yields the boundedness of the extremal solution in dimensions n≤7 for all s∈(0,1) whenever Ω is, for every i=1,...,n, convex in the xi-direction and symmetric with respect to {xi=0}. The same holds if n=8 and s≳0′28206..., or if n=9 and s≳0′63237.... These results are new even in the unit ball Ω=B1.
We establish sharp regularity estimates for solutions to Lu=f in Ω⊂Rn, being L the generator of any stable and symmetric Lévy process. Such nonlocal operators L depend on a finite measure on Sn−1, called the spectral measure. First, we study the interior regularity of solutions to Lu=f in B1. We prove that if f is Cα then u belong to Cα+2s whenever α+2s is not an integer. In case f∈L∞, we show that the solution u is C2s when s=1/2, and C2s−ε for all ε>0 when s=1/2. Then, we study the boundary regularity of solutions to Lu=f in Ω, u=0 in Rn∖Ω, in C1,1 domains Ω. We show that solutions u satisfy u/ds∈Cs−ε(Ω) for all ε>0, where d is the distance to ∂Ω. Finally, we show that our results are sharp by constructing two counterexamples.
We prove nonexistence of nontrivial bounded solutions to some nonlinear problems involving nonlocal operators of the form Lu(x)=∑aij∂iju+PV∫Rn(u(x)−u(x+y))K(y)dy. These operators are infinitesimal generators of symmetric Lévy processes. Our results apply to even kernels K satisfying that K(y)∣y∣n+σ is nondecreasing along rays from the origin, for some σ∈(0,2) in case aij≡0 and for σ=2 in case that (aij) is a positive definite symmetric matrix. Our nonexistence results concern Dirichlet problems for L in star-shaped domains with critical and supercritical nonlinearities (where the criticality condition is in relation to n and σ). We also establish nonexistence of bounded solutions to semilinear equations involving other nonlocal operators such as the higher order fractional Laplacian (−Δ)s (here s>1) or the fractional p-Laplacian. All these nonexistence results follow from a general variational inequality in the spirit of a classical identity by Pucci and Serrin.
We prove some old and new isoperimetric inequalities with the best constant using the ABP method applied to an appropriate linear Neumann problem. More precisely, we obtain a new family of sharp isoperimetric inequalities with weights (also called densities) in open convex cones of Rn. Our result applies to all nonnegative homogeneous weights satisfying a concavity condition in the cone. Remarkably, Euclidean balls centered at the origin (intersected with the cone) minimize the weighted isoperimetric quotient, even if all our weights are nonradial ---except for the constant ones. We also study the anisotropic isoperimetric problem in convex cones for the same class of weights. We prove that the Wulff shape (intersected with the cone) minimizes the anisotropic weighted perimeter under the weighted volume constraint. As a particular case of our results, we give new proofs of two classical results: the Wulff inequality and the isoperimetric inequality in convex cones of Lions and Pacella.
We study the extremal solution for the problem (−Δ)su=λf(u) in Ω, u≡0 in Rn∖Ω, where λ>0 is a parameter and s∈(0,1). We extend some well known results for the extremal solution when the operator is the Laplacian to this nonlocal case. For general convex nonlinearities we prove that the extremal solution is bounded in dimensions n<4s. We also show that, for exponential and power-like nonlinearities, the extremal solution is bounded whenever n<10s. In the limit s↑1, n<10 is optimal. In addition, we show that the extremal solution is Hs(Rn) in any dimension whenever the domain is convex. To obtain some of these results we need Lq estimates for solutions to the linear Dirichlet problem for the fractional Laplacian with Lp data. We prove optimal Lq and Cβ estimates, depending on the value of p. These estimates follow from classical embedding results for the Riesz potential in Rn. Finally, to prove the Hs regularity of the extremal solution we need an L∞ estimate near the boundary of convex domains, which we obtain via the moving planes method. For it, we use a maximum principle in small domains for integro-differential operators with decreasing kernels.
In this note we present the solution of some isoperimetric problems in open convex cones of Rn in which perimeter and volume are measured with respect to certain nonradial weights. Surprisingly, Euclidean balls centered at the origin (intersected with the convex cone) minimize the isoperimetric quotient. Our result applies to all nonnegative homogeneous weights satisfying a concavity condition in the cone. When the weight is constant, the result was established by Lions and Pacella in 1990.
In this note we present the Pohozaev identity for the fractional Laplacian. As a consequence of this identity, we prove the nonexistence of nontrivial bounded solutions to semilinear problems with supercritical nonlinearities in star-shaped domains.
Let K be a quadratic field, and let ζK its Dedekind zeta function. In this paper we introduce a factorization of ζK into two functions, L1 and L2, defined as partial Euler products of ζK, which lead to a factorization of Riemann's ζ function into two functions, p1 and p2. We prove that these functions satisfy a functional equation which has a unique solution, and we give series of very fast convergence to them. Moreover, when ΔK>0 the general term of these series at even positive integers is calculated explicitly in terms of generalized Bernoulli numbers.
We consider the class of semi-stable positive solutions to semilinear equations −Δu=f(u) in a bounded domain Ω⊂Rn of double revolution, that is, a domain invariant under rotations of the first m variables and of the last n−m variables. We assume 2≤m≤n−2. When the domain is convex, we establish a priori Lp and H01 bounds for each dimension n, with p=∞ when n≤7. These estimates lead to the boundedness of the extremal solution of −Δu=λf(u) in every convex domain of double revolution when n≤7. The boundedness of extremal solutions is known when n≤3 for any domain Ω, in dimension n=4 when the domain is convex, and in dimensions 5≤n≤9 in the radial case. Except for the radial case, our result is the first partial answer valid for all nonlinearities f in dimensions 5≤n≤9.
We study the regularity up to the boundary of solutions to the Dirichlet problem for the fractional Laplacian. We prove that if u is a solution of (−Δ)su=g in Ω, u≡0 in Rn∖Ω, for some s∈(0,1) and g∈L∞(Ω), then u is Cs(Rn) and u/δs∣Ω is Cα up to the boundary ∂Ω for some α∈(0,1), where δ(x)=dist(x,∂Ω). For this, we develop a fractional analog of the Krylov boundary Harnack method. Moreover, under further regularity assumptions on g we obtain higher order Hölder estimates for u and u/δs. Namely, the Cβ norms of u and u/δs in the sets {x∈Ω:δ(x)≥ρ} are controlled by Cρs−β and Cρα−β, respectively. These regularity results are crucial tools in our proof of the Pohozaev identity for the fractional Laplacian \cite{RS-CRAS,RS}.
The study of periodic solutions with constant sign in the Abel equation of the second kind can be made through the equation of the first kind. This is because the situation is equivalent under the transformation x↦x−1, and there are many results available in the literature for the first kind equation. However, the equivalence breaks down when one seeks for solutions with nonconstant sign. This note is devoted to periodic solutions with nonconstant sign in Abel equations of the second kind. Specifically, we obtain sufficient conditions to ensure the existence of a periodic solution that shares the zeros of the leading coefficient of the Abel equation. Uniqueness and stability features of such solutions are also studied.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.