Source author record

Joaquim Serra

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AP math.DG math.OC math.PR

Catalog footprint

Research overview

22works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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

Sharp quantitative stability for isoperimetric inequalities with homogeneous weights

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.

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.

preprint2016arXiv

Boundary regularity estimates for nonlocal elliptic equations in $C^1$ and $C^{1,α}$ domains

We establish sharp boundary regularity estimates in $C^1$ and $C^{1,α}$ 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\in(0,1)$ . First, in $C^{1,α}$ domains we show that all solutions $u$ are $C^s$ up to the boundary and that $u/d^s\in C^α(\barΩ)$ , where $d$ is the distance to $\partialΩ$ . In $C^1$ domains, solutions are in general not comparable to $d^s$ , and we prove a boundary Harnack principle in such domains. Namely, we show that if $u_1$ and $u_2$ are positive solutions, then $u_1/u_2$ 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}.

preprint2016arXiv

Pohozaev identities for anisotropic integro-differential operators

We establish Pohozaev identities and integration by parts type formulas for anisotropic integro-differential operators of order $2s$ , with $s\in(0,1)$ . These identities involve local boundary terms, in which the quantity $u/d^s|_{\partialΩ}$ plays the role that $\partial u/\partialν$ plays in the second order case. Here, $u$ is any solution to $Lu=f(x,u)$ in $Ω$ , with $u=0$ in $\mathbb R^n\setminusΩ$ , and $d$ is the distance to $\partialΩ$ .

preprint2016arXiv

Quantitative flatness results and $BV$ -estimates for stable nonlocal minimal surfaces

We establish quantitative properties of minimizers and stable sets for nonlocal interaction functionals, including the $s$ -fractional perimeter as a particular case. On the one hand, we establish universal $BV$ -estimates in every dimension $n\ge 2$ for stable sets. Namely, we prove that any stable set in $B_1$ has finite classical perimeter in $B_{1/2}$ , with a universal bound. This nonlocal result is new even in the case of $s$ -perimeters and its local counterpart (for classical stable minimal surfaces) was known only for simply connected two-dimensional surfaces immersed in $\mathbb R^3$ . On the other hand, we prove quantitative flatness estimates for minimizers and stable sets in low dimensions $n=2,3$ . More precisely, we show that a stable set in $B_R$ , with $R$ large, is very close in measure to being a half space in $B_1$ ---with a quantitative estimate on the measure of the symmetric difference. As a byproduct, we obtain new classification results for stable sets in the whole plane.

preprint2016arXiv

The boundary Harnack principle for nonlocal elliptic operators in non-divergence form

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 $Lu_1=Lu_2=0$ in $Ω\cap B_1$ , $u_1=u_2=0$ in $B_1\setminusΩ$ , and $u_1,u_2\geq0$ in $\mathbb R^n$ , then $u_1$ and $u_2$ are comparable in $B_{1/2}$ . The result applies to arbitrary open sets $Ω$ . When $Ω$ is Lipschitz, we show that the quotient $u_1/u_2$ is Hölder continuous up to the boundary in $B_{1/2}$ .

preprint2016arXiv

The structure of the free boundary in the fully nonlinear thin obstacle problem

We study the regularity of the free boundary in the fully nonlinear thin obstacle problem. Our main result establishes that the free boundary is $C^1$ near regular points.

preprint2015arXiv

$C^{σ+α}$ regularity for concave nonlocal fully nonlinear elliptic equations with rough kernels

We establish $C^{σ+α}$ interior estimates for concave nonlocal fully nonlinear equations of order $σ\in(0,2)$ with rough kernels. Namely, we prove that if $u\in C^α(\mathbb R^n)$ solves in $B_1$ a concave translation invariant equation with kernels in $\mathcal L_0(σ)$ , then $u$ belongs to $C^{σ+α}(\overline{ B_{1/2}})$ , with an estimate. More generally, our results allow the equation to depend on $x$ in a $C^α$ fashion. Our method of proof combines a Liouville theorem and a blow-up (compactness) procedure. Due to its flexibility, the same method can be useful in different regularity proofs for nonlocal equations.

preprint2015arXiv

An extension problem for sums of fractional Laplacians and 1-D symmetry of phase transitions

We study nonlinear elliptic equations for operators corresponding to non-stable Lévy diffusions. We include a sum of fractional Laplacians of different orders. Such operators are infinitesimal generators of non-stable (i.e., non self-similar) Lévy processes. We establish the regularity of solutions, as well as sharp energy estimates. As a consequence, we prove a 1-D symmetry result for monotone solutions to Allen-Cahn type equations with a non-stable Lévy diffusion. These operators may still be realized as local operators using a system of PDEs ---in the spirit of the extension problem of Caffarelli and Silvestre.

preprint2015arXiv

Boundary regularity for fully nonlinear integro-differential equations

We study fine boundary regularity properties of solutions to fully nonlinear elliptic integro-differential equations of order $2s$ , with $s\in(0,1)$ . We consider the class of nonlocal operators $\mathcal L_*\subset \mathcal L_0$ , which consists of infinitesimal generators of stable Lévy processes belonging to the class $\mathcal L_0$ of Caffarelli-Silvestre. For fully nonlinear operators $I$ elliptic with respect to $\mathcal L_*$ , we prove that solutions to $I u=f$ in $Ω$ , $u=0$ in $\mathbb R^n\setminusΩ$ , satisfy $u/d^s\in C^{s+γ}(\overlineΩ)$ , where $d$ is the distance to $\partialΩ$ and $f\in C^γ$ . We expect the class $\mathcal L_*$ to be the largest scale invariant subclass of $\mathcal L_0$ for which this result is true. In this direction, we show that the class $\mathcal L_0$ is too large for all solutions to behave like $d^s$ . The constants in all the estimates in this paper remain bounded as the order of the equation approaches 2. Thus, in the limit $s\uparrow1$ we recover the celebrated boundary regularity result due to Krylov for fully nonlinear elliptic equations.

preprint2015arXiv

Local integration by parts and Pohozaev identities for higher order fractional Laplacians

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\in(0,1)$ . As an immediate consequence of these results, we obtain a unique continuation property for the eigenfunctions $(-Δ)^sϕ=λϕ$ in $Ω$ , $ϕ\equiv0$ in $\mathbb R^n\setminusΩ$ .

preprint2015arXiv

The Pohozaev identity for the fractional Laplacian

In this paper we prove the Pohozaev identity for the semilinear Dirichlet problem $(-Δ)^s u = f(u)$ in $Ω$ , $u \equiv 0$ in $\mathbb R^n\setminusΩ$ . Here, $s\in(0,1)$ , $(-Δ)^s$ is the fractional Laplacian in $\mathbb R^n$ , and $Ω$ is a bounded $C^{1,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 $\partialΩ$ , where $δ(x)={\rm dist}(x,\partialΩ)$ . In the fractional Pohozaev identity, the function $u/δ^s|_{\partialΩ}$ plays the role that $\partial u/\partialν$ plays in the classical one. Surprisingly, from a nonlocal problem we obtain an identity with a boundary term (an integral over $\partialΩ$ ) which is completely local. As an application of our identity, we deduce the nonexistence of nontrivial solutions in star-shaped domains for supercritical nonlinearities.

preprint2014arXiv

Regularity for fully nonlinear nonlocal parabolic equations with rough kernels

We prove space and time regularity for solutions of fully nonlinear parabolic integro-differential equations with rough kernels. We consider parabolic equations $u_t = \I u$, where $\I$ is translation invariant and elliptic with respect to the class $\mathcal L_0(σ)$ of Caffarelli and Silvestre, $σ\in(0,2)$ being the order of $\I$. We prove that if $u$ is a viscosity solution in $B_1 \times (-1,0]$ which is merely bounded in $\R^n \times (-1,0]$ , then $u$ is $C^β$ in space and $C^{β/σ}$ in time in $\overline{B_{1/2}} \times [-1/2,0]$ , for all $β< \min\{σ, 1+α\}$ , where $α>0$ . Our proof combines a Liouville type theorem ---relaying on the nonlocal parabolic $C^α$ estimate of Chang and Dávila--- and a blow up and compactness argument.

preprint2014arXiv

Regularity theory for general stable operators

We establish sharp regularity estimates for solutions to $Lu=f$ in $Ω\subset\mathbb R^n$ , being $L$ the generator of any stable and symmetric Lévy process. Such nonlocal operators $L$ depend on a finite measure on $S^{n-1}$ , called the spectral measure. First, we study the interior regularity of solutions to $Lu=f$ in $B_1$ . We prove that if $f$ is $C^α$ then $u$ belong to $C^{α+2s}$ whenever $α+2s$ is not an integer. In case $f\in L^\infty$ , we show that the solution $u$ is $C^{2s}$ when $s\neq1/2$ , and $C^{2s-ε}$ for all $ε>0$ when $s=1/2$ . Then, we study the boundary regularity of solutions to $Lu=f$ in $Ω$ , $u=0$ in $\mathbb R^n\setminusΩ$ , in $C^{1,1}$ domains $Ω$ . We show that solutions $u$ satisfy $u/d^s\in C^{s-ε}(\overlineΩ)$ for all $ε>0$ , where $d$ is the distance to $\partialΩ$ . Finally, we show that our results are sharp by constructing two counterexamples.

preprint2013arXiv

Nonexistence results for nonlocal equations with critical and supercritical nonlinearities

We prove nonexistence of nontrivial bounded solutions to some nonlinear problems involving nonlocal operators of the form $Lu(x)=\sum a_{ij}\partial_{ij}u+{\rm PV}\int_{\R^n}(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 $σ\in(0,2)$ in case $a_{ij}\equiv0$ and for $σ=2$ in case that $(a_{ij})$ 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.

preprint2013arXiv

Sharp isoperimetric inequalities via the ABP method

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 $\mathbb{R}^n$ . 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.

preprint2013arXiv

The extremal solution for the fractional Laplacian

We study the extremal solution for the problem $(-Δ)^s u=λf(u)$ in $Ω$ , $u\equiv0$ in $\R^n\setminusΩ$ , where $λ>0$ is a parameter and $s\in(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\uparrow1$ , $n<10$ is optimal. In addition, we show that the extremal solution is $H^s(\R^n)$ in any dimension whenever the domain is convex. To obtain some of these results we need $L^q$ estimates for solutions to the linear Dirichlet problem for the fractional Laplacian with $L^p$ data. We prove optimal $L^q$ and $C^β$ estimates, depending on the value of $p$ . These estimates follow from classical embedding results for the Riesz potential in $\R^n$ . Finally, to prove the $H^s$ regularity of the extremal solution we need an $L^\infty$ 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.

preprint2012arXiv

Euclidean balls solve some isoperimetric problems with nonradial weights

In this note we present the solution of some isoperimetric problems in open convex cones of $\R^n$ 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.

preprint2012arXiv

Fractional Laplacian: Pohozaev identity and nonexistence results

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.

preprint2012arXiv

The Dirichlet problem for the fractional Laplacian: regularity up to the boundary

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 $(-Δ)^s u = g$ in $Ω$ , $u \equiv 0$ in $\R^n\setminusΩ$ , for some $s\in(0,1)$ and $g \in L^\infty(Ω)$ , then $u$ is $C^s(\R^n)$ and $u/δ^s|_Ω$ is $C^α$ up to the boundary $\partialΩ$ for some $α\in(0,1)$ , where $δ(x)={\rm dist}(x,\partialΩ)$ . 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\inΩ: δ(x)\geqρ\}$ 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}.

preprint2011arXiv

Radial symmetry of solutions to diffusion equations with discontinuous nonlinearities

We prove a radial symmetry result for bounded nonnegative solutions to the $p$ -Laplacian semilinear equation $-Δ_p u=f(u)$ posed in a ball of $\mathbb R^n$ and involving discontinuous nonlinearities $f$ . When $p=2$ we obtain a new result which holds in every dimension $n$ for certain positive discontinuous $f$ . When $p\ge n$ we prove radial symmetry for every locally bounded nonnegative $f$ . Our approach is an extension of a method of P. L. Lions for the case $p=n=2$ . It leads to radial symmetry combining the isoperimetric inequality and the Pohozaev identity.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Joaquim Serra

Research overview

Is this your work?

22 publications

Generic regularity of free boundaries for the obstacle problem

Sharp quantitative stability for isoperimetric inequalities with homogeneous weights

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

Boundary regularity estimates for nonlocal elliptic equations in $C^1$ and $C^{1,α}$ domains

Pohozaev identities for anisotropic integro-differential operators

Quantitative flatness results and $BV$ -estimates for stable nonlocal minimal surfaces

The boundary Harnack principle for nonlocal elliptic operators in non-divergence form

The structure of the free boundary in the fully nonlinear thin obstacle problem

$C^{σ+α}$ regularity for concave nonlocal fully nonlinear elliptic equations with rough kernels

An extension problem for sums of fractional Laplacians and 1-D symmetry of phase transitions

Boundary regularity for fully nonlinear integro-differential equations

Local integration by parts and Pohozaev identities for higher order fractional Laplacians

The Pohozaev identity for the fractional Laplacian

Regularity for fully nonlinear nonlocal parabolic equations with rough kernels

Regularity theory for general stable operators

Nonexistence results for nonlocal equations with critical and supercritical nonlinearities

Sharp isoperimetric inequalities via the ABP method

The extremal solution for the fractional Laplacian

Euclidean balls solve some isoperimetric problems with nonradial weights

Fractional Laplacian: Pohozaev identity and nonexistence results

The Dirichlet problem for the fractional Laplacian: regularity up to the boundary

Radial symmetry of solutions to diffusion equations with discontinuous nonlinearities

See the researcher in context

Building this map preview

Joaquim Serra

Research overview

Is this your work?

22 publications

Generic regularity of free boundaries for the obstacle problem

Sharp quantitative stability for isoperimetric inequalities with homogeneous weights

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

Boundary regularity estimates for nonlocal elliptic equations in C1C^1C1 and C1,αC^{1,α}C1,α domains

Pohozaev identities for anisotropic integro-differential operators

Quantitative flatness results and BVBVBV-estimates for stable nonlocal minimal surfaces

The boundary Harnack principle for nonlocal elliptic operators in non-divergence form

The structure of the free boundary in the fully nonlinear thin obstacle problem

Cσ+αC^{σ+α}Cσ+α regularity for concave nonlocal fully nonlinear elliptic equations with rough kernels

An extension problem for sums of fractional Laplacians and 1-D symmetry of phase transitions

Boundary regularity for fully nonlinear integro-differential equations

Local integration by parts and Pohozaev identities for higher order fractional Laplacians

The Pohozaev identity for the fractional Laplacian

Regularity for fully nonlinear nonlocal parabolic equations with rough kernels

Regularity theory for general stable operators

Nonexistence results for nonlocal equations with critical and supercritical nonlinearities

Sharp isoperimetric inequalities via the ABP method

The extremal solution for the fractional Laplacian

Euclidean balls solve some isoperimetric problems with nonradial weights

Fractional Laplacian: Pohozaev identity and nonexistence results

The Dirichlet problem for the fractional Laplacian: regularity up to the boundary

Radial symmetry of solutions to diffusion equations with discontinuous nonlinearities

See the researcher in context

Building this map preview

Boundary regularity estimates for nonlocal elliptic equations in $C^1$ and $C^{1,α}$ domains

Quantitative flatness results and $BV$ -estimates for stable nonlocal minimal surfaces

$C^{σ+α}$ regularity for concave nonlocal fully nonlinear elliptic equations with rough kernels