arXiv subjects
Publications and source records attributed to Alessio Figalli.
Given a smooth nonfocal compact Riemannian manifold, we show that the so-called Ma--Trudinger--Wang condition implies the convexity of injectivity domains. This improves a previous result by Loeper and Villani.
We consider the equation $$v_t=L_s v-W'(v)+σ_ε(t,x) \quad {\mbox{ in }} (0,+\infty)\times\R,$$ where $L_s$ is an integro-differential operator of order $2s$, with $s\in(0,1)$, $W$ is a periodic potential, and $σ_ε$ is a small external stress. The solution $v$ represents the atomic dislocation in the Peierls--Nabarro model for crystals, and we specifically consider the case $s\in(0,1/2)$, which takes into account a strongly nonlocal elastic term. We study the evolution of such dislocation function for macroscopic space and time scales, namely we introduce the function $$ v_ε(t,x):=v\left(\frac{t}{ε^{1+2s}},\frac{x}ε\right). $$ We show that, for small $ε$, the function $v_ε$ approaches the sum of step functions. From the physical point of view, this shows that the dislocations have the tendency to concentrate at single points of the crystal, where the size of the slip coincides with the natural periodicity of the medium. We also show that the motion of these dislocation points is governed by an interior repulsive potential that is superposed to an elastic reaction to the external stress.
We survey the (old and new) regularity theory for the Monge-Ampère equation, show its connection to optimal transportation, and describe the regularity properties of a general class of Monge-Ampère type equations arising in that context.
In this paper we consider the fully nonlinear parabolic free boundary problem $$ \left\{\begin{array}{ll} F(D^2u) -\partial_t u=1 & \text{a.e. in}Q_1 \cap Ω\\ |D^2 u| + |\partial_t u| \leq K & \text{a.e. in}Q_1\setminusΩ, \end{array} \right. $$ where $K>0$ is a positive constant, and $Ω$ is an (unknown) open set. Our main result is the optimal regularity for solutions to this problem: namely, we prove that $W_x^{2,n} \cap W_t^{1,n} $ solutions are locally $C_x^{1,1}\cap C_t^{0,1} $ inside $Q_1$. A key starting point for this result is a new BMO-type estimate which extends to the parabolic setting the main result in \cite{CH}. Once optimal regularity for $u$ is obtained, we also show regularity for the free boundary $\partialΩ\cap Q_1$ under the extra condition that $Ω\supset \{u \neq 0 \}$, and a uniform thickness assumption on the coincidence set $\{u = 0 \}$,
We prove that, in every dimension, Lipschitz nonlocal minimal surfaces are smooth. Also, we extend to the nonlocal setting a famous theorem of De Giorgi stating that the validity of Bernstein's theorem in dimension $n+1$ is a consequence of the nonexistence of $n$-dimensional singular minimal cones in $\R^n$.
We prove higher integrability for the gradient of local minimizers of the Mumford-Shah energy functional, providing a positive answer to a conjecture of De Giorgi.
The aim of this note is to show that Alexandrov solutions of the Monge-Ampere equation, with right hand side bounded away from zero and infinity, converge strongly in $W^{2,1}_{loc}$ if their right hand side converge strongly in $L^1_{loc}$. As a corollary we deduce strong $W^{1,1}_{loc}$ stability of optimal transport maps.
In this note we prove that, if the cost function satisfies some necessary structural conditions and the densities are bounded away from zero and infinity, then strictly $c$-convex potentials arising in optimal transportation belong to $W^{2,1+κ}_{\rm loc}$ for some $κ>0$. This generalizes some recents results concerning the regularity of strictly convex Alexandrov solutions of the Monge-Ampère equation with right hand side bounded away from zero and infinity.
By a variant of the techniques introduced by the first two authors in [DF] to prove that second derivatives of solutions to the Monge-Ampere equation are locally in $L\log L$, we obtain interior $W^{2,1+\varepsilon}$ estimates.
We deal with the asymptotic behavior of the $s$-perimeter of a set $E$ inside a domain $Ω$ as $s\searrow0$. We prove necessary and sufficient conditions for the existence of such limit, by also providing an explicit formulation in terms of the Lebesgue measure of $E$ and $Ω$. Moreover, we construct examples of sets for which the limit does not exist.
In this paper we use the new regularity and stability estimates for Alexandrov solutions to Monge-Ampere equations estabilished by G.De Philippis and A.Figalli to provide a global in time existence of distributional solutions to a semigeostrophic equation on the 2-dimensional torus, under very mild assumptions on the initial data. A link with Lagrangian solutions is also discussed.
Exploiting recent regularity estimates for the Monge-Ampère equation, under some suitable assumptions on the initial data we prove global-in-time existence of Eulerian distributional solutions to the semigeostrophic equations in 3-dimensional convex domains.
The relative isoperimetric inequality inside an open, convex cone $\mathcal C$ states that, at fixed volume, $B_r \cap \mathcal C$ minimizes the perimeter inside $\mathcal C$. Starting from the observation that this result can be recovered as a corollary of the anisotropic isoperimetric inequality, we exploit a variant of Gromov's proof of the classical isoperimetric inequality to prove a sharp stability result for the relative isoperimetric inequality inside $\mathcal C$. Our proof follows the line of reasoning in \cite{Fi}, though several new ideas are needed in order to deal with the lack of translation invariance in our problem.
We study sets of finite perimeter in Wiener space, and prove that at almost every point (with respect to the perimeter measure) a set of finite perimeter blows-up to a halfspace.
In this paper we prove that a strictly convex Alexandrov solution u of the Monge-Ampère equation, with right hand side bounded away from zero and infinity, is $W_{\rm loc}^{2,1}$. This is obtained by showing higher integrability a-priori estimates for $D^2 u$, namely $D^2 u \in L\log^k L$ for any $k\in \mathbb N$.
We consider the dynamics of the Total Variation Flow (TVF) $u_t=÷(Du/|Du|)$ and of the Sign Fast Diffusion Equation (SFDE) $u_t=Δ\sign(u)$ in one spatial dimension. We find the explicit dynamic and sharp asymptotic behaviour for the TVF, and we deduce the one for the SFDE by an explicit correspondence between the two equations.
Starting from the quantitative stability result of Bianchi and Egnell for the 2-Sobolev inequality, we deduce several different stability results for a Gagliardo-Nirenberg-Sobolev inequality in the plane. Then, exploiting the connection between this inequality and a fast diffusion equation, we get a quantitative stability for the Log-HLS inequality. Finally, using all these estimates, we prove a quantitative convergence result for the critical mass Keller-Segel system.
Consider transportation of one distribution of mass onto another, chosen to optimize the total expected cost, where cost per unit mass transported from x to y is given by a smooth function c(x,y). If the source density f^+(x) is bounded away from zero and infinity in an open region U' \subset R^n, and the target density f^-(y) is bounded away from zero and infinity on its support \cl V \subset R^n, which is strongly c-convex with respect to U', and the transportation cost c satisfies the A3w condition of Trudinger and Wang \cite{TrudingerWang07p}, we deduce local Hölder continuity and injectivity of the optimal map inside U' (so that the associated potential u belongs to C^{1,α}_{loc}(\U')). Here the exponent α>0 depends only on the dimension and the bounds on the densities, but not on c. Our result provides a crucial step in the low/interior regularity setting: in a sequel \cite{FigalliKimMcCann09p}, we use it to establish regularity of optimal maps with respect to the Riemannian distance squared on arbitrary products of spheres. Three key tools are introduced in the present paper. Namely, we first find a transformation that under A3w makes c-convex functions level-set convex (as was also obtained independently from us by Liu \cite{Liu09}). We then derive new Alexandrov type estimates for the level-set convex c-convex functions, and a topological lemma showing optimal maps do not mix interior with boundary. This topological lemma, which does not require A3w, is needed by Figalli and Loeper \cite{FigalliLoeper08p} to conclude continuity of optimal maps in two dimensions. In higher dimensions, if the densities f^\pm are Hölder continuous, our result permits continuous differentiability of the map inside U' (in fact, C^{2,α}_{loc} regularity of the associated potential) to be deduced from the work of Liu, Trudinger and Wang \cite{LiuTrudingerWang09p}.