Showing 1–50 of 73 results for author: Ambrosio, L

The superposition principle for local 1-dimensional currents

Authors: Luigi Ambrosio, Federico Renzi, Federico Vitillaro

Abstract: We prove that every one-dimensional locally normal metric current, intended in the sense of U. Lang and S. Wenger, admits a nice integral representation through currents associated to (possibly unbounded) curves with locally finite length, generalizing the result shown by E. Paolini and E. Stepanov in the special case of Ambrosio-Kirchheim normal currents. Our result holds in Polish spaces, or mor… ▽ More We prove that every one-dimensional locally normal metric current, intended in the sense of U. Lang and S. Wenger, admits a nice integral representation through currents associated to (possibly unbounded) curves with locally finite length, generalizing the result shown by E. Paolini and E. Stepanov in the special case of Ambrosio-Kirchheim normal currents. Our result holds in Polish spaces, or more generally in complete metric spaces for 1-currents with tight support. △ Less

Submitted 23 March, 2025; originally announced March 2025.

Sharp PDE estimates for random two-dimensional bipartite matching with power cost function

Authors: Luigi Ambrosio, Federico Vitillaro, Dario Trevisan

Abstract: We investigate the random bipartite optimal matching problem on a flat torus in two-dimensions, considering general strictly convex power costs of the distance. We extend the successful ansatz first introduced by Caracciolo et al. for the quadratic case, involving a linear Poisson equation, to a non-linear equation of $q$-Poisson type, allowing for a more comprehensive analysis of the optimal tran… ▽ More We investigate the random bipartite optimal matching problem on a flat torus in two-dimensions, considering general strictly convex power costs of the distance. We extend the successful ansatz first introduced by Caracciolo et al. for the quadratic case, involving a linear Poisson equation, to a non-linear equation of $q$-Poisson type, allowing for a more comprehensive analysis of the optimal transport cost. Our results establish new asymptotic connections between the energy of the solution to the PDE and the optimal transport cost, providing insights on their asymptotic behavior. △ Less

Submitted 15 May, 2024; originally announced May 2024.

Metric Sobolev spaces I: equivalence of definitions

Authors: Luigi Ambrosio, Toni Ikonen, Danka Lučić, Enrico Pasqualetto

Abstract: This is the first of two works concerning the Sobolev calculus on metric measure spaces and its applications. In this work, we focus on several notions of metric Sobolev space and on their equivalence. More precisely, we give a systematic presentation of first-order $p$-Sobolev spaces, with $p\in[1,\infty)$, defined over a complete and separable metric space equipped with a boundedly-finite Borel… ▽ More This is the first of two works concerning the Sobolev calculus on metric measure spaces and its applications. In this work, we focus on several notions of metric Sobolev space and on their equivalence. More precisely, we give a systematic presentation of first-order $p$-Sobolev spaces, with $p\in[1,\infty)$, defined over a complete and separable metric space equipped with a boundedly-finite Borel measure. We focus on three different approaches: via approximation with Lipschitz functions; by studying the behaviour along curves, in terms either of the curve modulus or of test plans; via integration-by-parts, using Lipschitz derivations with divergence. Eventually, we show that all these approaches are fully equivalent. We emphasise that no doubling or Poincaré assumption is made, and that we allow also for the exponent $p=1$. A substantial part of this work consists of a self-contained and partially-revisited exposition of known results, which are scattered across the existing literature, but it contains also several new results, mostly concerning the equivalence of metric Sobolev spaces for $p=1$. △ Less

Submitted 17 April, 2024; originally announced April 2024.

Comments: 87 pages

MSC Class: 49J52; 46E35; 53C23; 46N10; 46E15; 31C15; 28A12; 26A46

Functions with bounded Hessian-Schatten variation: density, variational and extremality properties

Authors: Luigi Ambrosio, Camillo Brena, Sergio Conti

Abstract: In this paper we analyze in detail a few questions related to the theory of functions with bounded $p$-Hessian-Schatten total variation, which are relevant in connection with the theory of inverse problems and machine learning. We prove an optimal density result, relative to the $p$-Hessian-Schatten total variation, of continuous piecewise linear (CPWL) functions in any space dimension $d$, using… ▽ More In this paper we analyze in detail a few questions related to the theory of functions with bounded $p$-Hessian-Schatten total variation, which are relevant in connection with the theory of inverse problems and machine learning. We prove an optimal density result, relative to the $p$-Hessian-Schatten total variation, of continuous piecewise linear (CPWL) functions in any space dimension $d$, using a construction based on a mesh whose local orientation is adapted to the function to be approximated. We show that not all extremal functions with respect to the $p$-Hessian-Schatten total variation are CPWL. Finally, we prove existence of minimizers of certain relevant functionals involving the $p$-Hessian-Schatten total variation in the critical dimension $d=2$. △ Less

Submitted 24 February, 2023; originally announced February 2023.

Linear Inverse Problems with Hessian-Schatten Total Variation

Authors: Luigi Ambrosio, Shayan Aziznejad, Camillo Brena, Michael Unser

Abstract: In this paper, we characterize the class of extremal points of the unit ball of the Hessian-Schatten total variation (HTV) functional. The underlying motivation for our work stems from a general representer theorem that characterizes the solution set of regularized linear inverse problems in terms of the extremal points of the regularization ball. Our analysis is mainly based on studying the class… ▽ More In this paper, we characterize the class of extremal points of the unit ball of the Hessian-Schatten total variation (HTV) functional. The underlying motivation for our work stems from a general representer theorem that characterizes the solution set of regularized linear inverse problems in terms of the extremal points of the regularization ball. Our analysis is mainly based on studying the class of continuous and piecewise linear (CPWL) functions. In particular, we show that in dimension $d=2$, CPWL functions are dense in the unit ball of the HTV functional. Moreover, we prove that a CPWL function is extremal if and only if its Hessian is minimally supported. For the converse, we prove that the density result (which we have only proven for dimension $d = 2$) implies that the closure of the CPWL extreme points contains all extremal points. △ Less

Submitted 8 October, 2022; originally announced October 2022.

Classical flows of vector fields with exponential or sub-exponential summability

Authors: Luigi Ambrosio, Sebastiano Nicolussi Golo, Francesco Serra Cassano

Abstract: We show that vector fields $b$ whose spatial derivative $D_xb$ satisfies a Orlicz summability condition have a spatially continuous representative and are well-posed. For the case of sub-exponential summability, their flows satisfy a Lusin (N) condition in a quantitative form, too. Furthermore, we prove that if $D_xb$ satisfies a suitable exponential summability condition then the flow associated… ▽ More We show that vector fields $b$ whose spatial derivative $D_xb$ satisfies a Orlicz summability condition have a spatially continuous representative and are well-posed. For the case of sub-exponential summability, their flows satisfy a Lusin (N) condition in a quantitative form, too. Furthermore, we prove that if $D_xb$ satisfies a suitable exponential summability condition then the flow associated to $b$ has Sobolev regularity, without assuming boundedness of ${\rm div}_xb$. We then apply these results to the representation and Sobolev regularity of weak solutions of the Cauchy problem for the transport and continuity equations. △ Less

Submitted 28 February, 2023; v1 submitted 2 August, 2022; originally announced August 2022.

Comments: 38 pages; Proof of Theorem 6.1 fixed, with a modification of the statements of Theorems 6.1 and D

Optimal $C^\infty$-approximation of functions with exponentially or sub-exponentially integrable derivative

Authors: Luigi Ambrosio, Sebastiano Nicolussi Golo, Francesco Serra Cassano

Abstract: We discuss Meyers-Serrin's type results for smooth approximations of functions $b=b(t,x):\mathbb{R}\times\mathbb{R}^n\to\mathbb{R}^m$, with convergence of an energy of the form \[ \int_{\mathbb{R}}\int_{\mathbb{R}^n} w(t,x) \varphi\left(|Db(t,x)|\right)\mathrm{d} x \mathrm{d} t\,, \] where $w>0$ is a suitable weight function, and $\varphi:[0,\infty)\to [0,\infty)$ is a convex function with… ▽ More We discuss Meyers-Serrin's type results for smooth approximations of functions $b=b(t,x):\mathbb{R}\times\mathbb{R}^n\to\mathbb{R}^m$, with convergence of an energy of the form \[ \int_{\mathbb{R}}\int_{\mathbb{R}^n} w(t,x) \varphi\left(|Db(t,x)|\right)\mathrm{d} x \mathrm{d} t\,, \] where $w>0$ is a suitable weight function, and $\varphi:[0,\infty)\to [0,\infty)$ is a convex function with $\varphi(0)=0$ having exponential or sub-exponential growth. △ Less

Submitted 2 August, 2022; v1 submitted 7 March, 2022; originally announced March 2022.

Comments: 18 pages; remark 25 extended

MSC Class: 46E30 (Primary) 35A35 (Secondary)

On the quadratic random matching problem in two-dimensional domains

Authors: Luigi Ambrosio, Michael Goldman, Dario Trevisan

Abstract: We investigate the average minimum cost of a bipartite matching, with respect to the squared Euclidean distance, between two samples of n i.i.d. random points on a bounded Lipschitz domain in the Euclidean plane, whose common law is absolutely continuous with strictly positive H{ö}lder continuous density. We confirm in particular the validity of a conjecture by D. Benedetto and E. Caglioti stating… ▽ More We investigate the average minimum cost of a bipartite matching, with respect to the squared Euclidean distance, between two samples of n i.i.d. random points on a bounded Lipschitz domain in the Euclidean plane, whose common law is absolutely continuous with strictly positive H{ö}lder continuous density. We confirm in particular the validity of a conjecture by D. Benedetto and E. Caglioti stating that the asymptotic cost as n grows is given by the logarithm of n multiplied by an explicit constant times the volume of the domain. Our proof relies on a reduction to the optimal transport problem between the associated empirical measures and a Whitney-type decomposition of the domain, together with suitable upper and lower bounds for local and global contributions, both ultimately based on PDE tools. We further show how to extend our results to more general settings, including Riemannian manifolds, and also give an application to the asymptotic cost of the random quadratic bipartite travelling salesperson problem. △ Less

Submitted 27 October, 2021; originally announced October 2021.

Stability of a class of action functionals depending on convex functions

Authors: Luigi Ambrosio, Camillo Brena

Abstract: We study the stability of a class of action functionals induced by gradients of convex functions with respect to Mosco convergence, under mild assumptions on the underlying space. We study the stability of a class of action functionals induced by gradients of convex functions with respect to Mosco convergence, under mild assumptions on the underlying space. △ Less

Submitted 21 June, 2021; originally announced June 2021.

$Γ$-convergence for a class of action functionals induced by gradients of convex functions

Authors: Luigi Ambrosio, Aymeric Baradat, Yann Brenier

Abstract: Given a real function $f$, the rate function for the large deviations of the diffusion process of drift $\nabla f$ given by the Freidlin-Wentzell theorem coincides with the time integral of the energy dissipation for the gradient flow associated with $f$. This paper is concerned with the stability in the hilbertian framework of this common action functional when $f$ varies. More precisely, we show… ▽ More Given a real function $f$, the rate function for the large deviations of the diffusion process of drift $\nabla f$ given by the Freidlin-Wentzell theorem coincides with the time integral of the energy dissipation for the gradient flow associated with $f$. This paper is concerned with the stability in the hilbertian framework of this common action functional when $f$ varies. More precisely, we show that if $(f_h)_h$ is uniformly $λ$-convex for some $λ\in \mathbb{R}$ and converges towards $f$ in the sense of Mosco convergence, then the related functionals $Γ$-converge in the strong topology of curves. △ Less

Submitted 19 January, 2021; originally announced January 2021.

Monge-Ampère gravitation as a $Γ$-limit of good rate functions

Authors: Luigi Ambrosio, Aymeric Baradat, Yann Brenier

Abstract: Monge-Ampère gravitation is a modification of the classical Newtonian gravitation where the linear Poisson equation is replaced by the nonlinear Monge-Ampère equation. This paper is concerned with the rigorous derivation of Monge-Ampère gravitation for a finite number of particles from the stochastic model of a Brownian point cloud, in the spirit of a previous work by the third author [A double la… ▽ More Monge-Ampère gravitation is a modification of the classical Newtonian gravitation where the linear Poisson equation is replaced by the nonlinear Monge-Ampère equation. This paper is concerned with the rigorous derivation of Monge-Ampère gravitation for a finite number of particles from the stochastic model of a Brownian point cloud, in the spirit of a previous work by the third author [A double large deviation principle for Monge-Ampère gravitation, 2016]. The main step in this derivation is the $Γ-$convergence of the good rate functions corresponding to a one-parameter family of large deviation principles. Surprisingly, the derived model includes dissipative phenomena. As an illustration, we show that it leads to sticky collisions in one space dimension. △ Less

Submitted 27 February, 2020; originally announced February 2020.

Journal ref: Analysis & PDE 16 (2023) 2005-2040

On the optimal map in the 2-dimensional random matching problem

Authors: Luigi Ambrosio, Federico Glaudo, Dario Trevisan

Abstract: We show that, on a $2$-dimensional compact manifold, the optimal transport map in the semi-discrete random matching problem is well-approximated in the $L^2$-norm by identity plus the gradient of the solution to the Poisson problem $-Δf^{n,t} = μ^{n,t}-1$, where $μ^{n,t}$ is an appropriate regularization of the empirical measure associated to the random points. This shows that the ansatz of Caracc… ▽ More We show that, on a $2$-dimensional compact manifold, the optimal transport map in the semi-discrete random matching problem is well-approximated in the $L^2$-norm by identity plus the gradient of the solution to the Poisson problem $-Δf^{n,t} = μ^{n,t}-1$, where $μ^{n,t}$ is an appropriate regularization of the empirical measure associated to the random points. This shows that the ansatz of Caracciolo et al. (Scaling hypothesis for the Euclidean bipartite matching problem) is strong enough to capture the behavior of the optimal map in addition to the value of the optimal matching cost. As part of our strategy, we prove a new stability result for the optimal transport map on a compact manifold. △ Less

Submitted 28 March, 2019; originally announced March 2019.

Comments: 20 pages

MSC Class: 60D05 (Primary) 49J55; 58J35; 35F21 (Secondary)

Rigidity of the 1-Bakry-Émery inequality and sets of finite perimeter in RCD spaces

Authors: Luigi Ambrosio, Elia Bruè, Daniele Semola

Abstract: This note is dedicated to the study of the asymptotic behaviour of sets of finite perimeter over RCD(K,N) metric measure spaces. Our main result asserts existence of a Euclidean tangent half-space almost everywhere with respect to the perimeter measure and it can be improved to an existence and uniqueness statement when the ambient is non collapsed. As an intermediate tool, we provide a complete c… ▽ More This note is dedicated to the study of the asymptotic behaviour of sets of finite perimeter over RCD(K,N) metric measure spaces. Our main result asserts existence of a Euclidean tangent half-space almost everywhere with respect to the perimeter measure and it can be improved to an existence and uniqueness statement when the ambient is non collapsed. As an intermediate tool, we provide a complete characterization of the class of RCD(0,N) spaces for which there exists a nontrivial function satisfying the equality in the 1-Bakry-Émery inequality. This result is of independent interest and it is new, up to our knowledge, even in the smooth framework. △ Less

Submitted 11 September, 2019; v1 submitted 19 December, 2018; originally announced December 2018.

Embedding of $RCD^*(K,N)$ spaces in $L^2$ via eigenfunctions

Authors: Luigi Ambrosio, Shouhei Honda, Jacobus W. Portegies, David Tewodrose

Abstract: In this paper we study the family of embeddings $Φ_t$ of a compact $RCD^*(K,N)$ space $(X,d,m)$ into $L^2(X,m)$ via eigenmaps. Extending part of the classical results by Bérard, Bérard-Besson-Gallot, known for closed Riemannian manifolds, we prove convergence as $t\downarrow 0$ of the rescaled pull-back metrics $Φ_t^*g_{L^2}$ in $L^2(X,m)$ induced by $Φ_t$. Moreover we discuss the behavior of… ▽ More In this paper we study the family of embeddings $Φ_t$ of a compact $RCD^*(K,N)$ space $(X,d,m)$ into $L^2(X,m)$ via eigenmaps. Extending part of the classical results by Bérard, Bérard-Besson-Gallot, known for closed Riemannian manifolds, we prove convergence as $t\downarrow 0$ of the rescaled pull-back metrics $Φ_t^*g_{L^2}$ in $L^2(X,m)$ induced by $Φ_t$. Moreover we discuss the behavior of $Φ_t^*g_{L^2}$ with respect to measured Gromov-Hausdorff convergence and $t$. Applications include the quantitative $L^p$-convergence in the noncollapsed setting for all $p<\infty$, a result new even for closed Riemannian manifolds and Alexandrov spaces. △ Less

Submitted 18 February, 2021; v1 submitted 10 December, 2018; originally announced December 2018.

Comments: 57 pages, final version

Finer estimates on the 2-dimensional matching problem

Authors: Luigi Ambrosio, Federico Glaudo

Abstract: We study the asymptotic behaviour of the expected cost of the random matching problem on a $2$-dimensional compact manifold, improving in several aspects the results of L. Ambrosio, F. Stra and D. Trevisan (A PDE approach to a 2-dimensional matching problem). In particular, we simplify the original proof (by treating at the same time upper and lower bounds) and we obtain the coefficient of the lea… ▽ More We study the asymptotic behaviour of the expected cost of the random matching problem on a $2$-dimensional compact manifold, improving in several aspects the results of L. Ambrosio, F. Stra and D. Trevisan (A PDE approach to a 2-dimensional matching problem). In particular, we simplify the original proof (by treating at the same time upper and lower bounds) and we obtain the coefficient of the leading term of the asymptotic expansion of the expected cost for the random bipartite matching on a general 2-dimensional closed manifold. We also sharpen the estimate of the error term given by M. Ledoux (On optimal matching of Gaussian samples II) for the semi-discrete matching. As a technical tool, we develop a refined contractivity estimate for the heat flow on random data that might be of independent interest. △ Less

Submitted 20 September, 2019; v1 submitted 16 October, 2018; originally announced October 2018.

Comments: 25 pages, Revised version

MSC Class: 60D05 (Primary) 49J55; 58J35; 60H15 (Secondary)

Critical weak-$L^{p}$ differentiability of singular integrals

Authors: Luigi Ambrosio, Augusto C. Ponce, Rémy Rodiac

Abstract: We establish that for every function $u \in L^1_\mathrm{loc}(Ω)$ whose distributional Laplacian $Δu$ is a signed Borel measure in an open set $Ω$ in $\mathbb{R}^{N}$, the distributional gradient $\nabla u$ is differentiable almost everywhere in $Ω$ with respect to the weak-$L^{\frac{N}{N-1}}$ Marcinkiewicz norm. We show in addition that the absolutely continuous part of $Δu$ with respect to the Le… ▽ More We establish that for every function $u \in L^1_\mathrm{loc}(Ω)$ whose distributional Laplacian $Δu$ is a signed Borel measure in an open set $Ω$ in $\mathbb{R}^{N}$, the distributional gradient $\nabla u$ is differentiable almost everywhere in $Ω$ with respect to the weak-$L^{\frac{N}{N-1}}$ Marcinkiewicz norm. We show in addition that the absolutely continuous part of $Δu$ with respect to the Lebesgue measure equals zero almost everywhere on the level sets $\{u = α\}$ and $\{\nabla u = e\}$, for every $α\in \mathbb{R}$ and $e \in \mathbb{R}^N$. Our proofs rely on an adaptation of Calderón and Zygmund's singular-integral estimates inspired by subsequent work by Hajlasz. △ Less

Submitted 28 March, 2019; v1 submitted 9 October, 2018; originally announced October 2018.

Comments: Accepted for publication in Revista Matemática Iberoamericana

MSC Class: 26B05; 26D10; 42B20; 42B37; 46E35

Journal ref: Rev. Mat. Iberoam. 36 (2020), no. 7, 2033-2072

Spatially Inhomogeneous Evolutionary Games

Authors: Luigi Ambrosio, Massimo Fornasier, Marco Morandotti, Giuseppe Savaré

Abstract: We introduce and study a mean-field model for a system of spatially distributed players interacting through an evolutionary game driven by a replicator dynamics. Strategies evolve by a replicator dynamics influenced by the position and the interaction between different players and return a feedback on the velocity field guiding their motion. One of the main novelties of our approach concerns the… ▽ More We introduce and study a mean-field model for a system of spatially distributed players interacting through an evolutionary game driven by a replicator dynamics. Strategies evolve by a replicator dynamics influenced by the position and the interaction between different players and return a feedback on the velocity field guiding their motion. One of the main novelties of our approach concerns the description of the whole system, which can be represented by an evolving probability measure $Σ$ on an infinite dimensional state space (pairs $(x,σ)$ of position and distribution of strategies). We provide a Lagrangian and a Eulerian description of the evolution, and we prove their equivalence, together with existence, uniqueness, and stability of the solution. As a byproduct of the stability result, we also obtain convergence of the finite agents model to our mean-field formulation, when the number $N$ of the players goes to infinity, and the initial discrete distribution of positions and strategies converge. To this aim we develop some basic functional analytic tools to deal with interaction dynamics and continuity equations in Banach spaces, that could be of independent interest. △ Less

Submitted 10 May, 2018; originally announced May 2018.

Comments: http://cvgmt.sns.it/paper/3871/

MSC Class: 91A22; 37C10; 47J35; 58D25; 35Q91

Gaussian optimizers for entropic inequalities in quantum information

Authors: Giacomo De Palma, Dario Trevisan, Vittorio Giovannetti, Luigi Ambrosio

Abstract: We survey the state of the art for the proof of the quantum Gaussian optimizer conjectures of quantum information theory. These fundamental conjectures state that quantum Gaussian input states are the solution to several optimization problems involving quantum Gaussian channels. These problems are the quantum counterpart of three fundamental results of functional analysis and probability: the Entr… ▽ More We survey the state of the art for the proof of the quantum Gaussian optimizer conjectures of quantum information theory. These fundamental conjectures state that quantum Gaussian input states are the solution to several optimization problems involving quantum Gaussian channels. These problems are the quantum counterpart of three fundamental results of functional analysis and probability: the Entropy Power Inequality, the sharp Young's inequality for convolutions, and the theorem "Gaussian kernels have only Gaussian maximizers." Quantum Gaussian channels play a key role in quantum communication theory: they are the quantum counterpart of Gaussian integral kernels and provide the mathematical model for the propagation of electromagnetic waves in the quantum regime. The quantum Gaussian optimizer conjectures are needed to determine the maximum communication rates over optical fibers and free space. The restriction of the quantum-limited Gaussian attenuator to input states diagonal in the Fock basis coincides with the thinning, which is the analog of the rescaling for positive integer random variables. Quantum Gaussian channels provide then a bridge between functional analysis and discrete probability. △ Less

Submitted 21 August, 2018; v1 submitted 6 March, 2018; originally announced March 2018.

Journal ref: Journal of Mathematical Physics 59(8), 081101 (2018)

Heat and entropy flows in Carnot groups

Authors: Luigi Ambrosio, Giorgio Stefani

Abstract: We prove the correspondence between the solutions of the sub-elliptic heat equation in a Carnot group $\mathbb{G}$ and the gradient flows of the relative entropy functional in the Wasserstein space of probability measures on $\mathbb{G}$. Our result completely answers a question left open in a previous paper by N. Juillet, where the same correspondence was proved for $\mathbb{G}=\mathbb{H}^n$, the… ▽ More We prove the correspondence between the solutions of the sub-elliptic heat equation in a Carnot group $\mathbb{G}$ and the gradient flows of the relative entropy functional in the Wasserstein space of probability measures on $\mathbb{G}$. Our result completely answers a question left open in a previous paper by N. Juillet, where the same correspondence was proved for $\mathbb{G}=\mathbb{H}^n$, the $n$-dimensional Heisenberg group. △ Less

Submitted 29 October, 2019; v1 submitted 4 January, 2018; originally announced January 2018.

Comments: 28 pages

MSC Class: 53C17; 28A33; 35K05

Journal ref: Rev. Mat. Iberoam. 36 (2020), no. 1, 257-290

Lusin-type approximation of Sobolev by Lipschitz functions, in Gaussian and $RCD(K,\infty)$ spaces

Authors: Luigi Ambrosio, Elia Bruè, Dario Trevisan

Abstract: We establish new approximation results, in the sense of Lusin, of Sobolev functions by Lipschitz ones, in some classes of non-doubling metric measure structures. Our proof technique relies upon estimates for heat semigroups and applies to Gaussian and $RCD(K, \infty)$ spaces. As a consequence, we obtain quantitative stability for regular Lagrangian flows in Gaussian settings. We establish new approximation results, in the sense of Lusin, of Sobolev functions by Lipschitz ones, in some classes of non-doubling metric measure structures. Our proof technique relies upon estimates for heat semigroups and applies to Gaussian and $RCD(K, \infty)$ spaces. As a consequence, we obtain quantitative stability for regular Lagrangian flows in Gaussian settings. △ Less

Submitted 21 September, 2018; v1 submitted 18 December, 2017; originally announced December 2017.

MSC Class: 37C10 (Primary); 60H07 (Secondary)

Continuity of nonlinear eigenvalues in $CD(K,\infty)$ spaces with respect to measured Gromov-Hausdorff convergence

Authors: Luigi Ambrosio, Shouhei Honda, Jacobus W. Portegies

Abstract: In this note we prove in the nonlinear setting of $CD(K,\infty)$ spaces the stability of the Krasnoselskii spectrum of the Laplace operator $-Δ$ under measured Gromov-Hausdorff convergence, under an additional compactness assumption satisfied, for instance, by sequences of $CD^*(K,N)$ metric measure spaces with uniformly bounded diameter. Additionally, we show that every element $λ$ in the Krasnos… ▽ More In this note we prove in the nonlinear setting of $CD(K,\infty)$ spaces the stability of the Krasnoselskii spectrum of the Laplace operator $-Δ$ under measured Gromov-Hausdorff convergence, under an additional compactness assumption satisfied, for instance, by sequences of $CD^*(K,N)$ metric measure spaces with uniformly bounded diameter. Additionally, we show that every element $λ$ in the Krasnoselskii spectrum is indeed an eigenvalue, namely there exists a nontrivial $u$ satisfying the eigenvalue equation $- Δu = λu$. △ Less

Submitted 26 June, 2017; originally announced June 2017.

MSC Class: 49J35; 49J52; 49R05; 58J35

Local spectral convergence in $RCD^*(K,N)$ spaces

Authors: Luigi Ambrosio, Shouhei Honda

Abstract: In this note we give necessary and sufficient conditions for the validity of the local spectral convergence, in balls, on the $RCD^*$-setting. In this note we give necessary and sufficient conditions for the validity of the local spectral convergence, in balls, on the $RCD^*$-setting. △ Less

Submitted 15 March, 2017; originally announced March 2017.

Comments: 25 pages

Short-time behavior of the heat kernel and Weyl's law on $RCD^*(K, N)$-spaces

Authors: Luigi Ambrosio, Shouhei Honda, David Tewodrose

Abstract: In this paper, we prove pointwise convergence of heat kernels for mGH-convergent sequences of $RCD^*(K,N)$-spaces. We obtain as a corollary results on the short-time behavior of the heat kernel in $RCD^*(K,N)$-spaces. We use then these results to initiate the study of Weyl's law in the $RCD$ setting In this paper, we prove pointwise convergence of heat kernels for mGH-convergent sequences of $RCD^*(K,N)$-spaces. We obtain as a corollary results on the short-time behavior of the heat kernel in $RCD^*(K,N)$-spaces. We use then these results to initiate the study of Weyl's law in the $RCD$ setting △ Less

Submitted 14 January, 2017; originally announced January 2017.

Comments: 24 pages

A PDE approach to a 2-dimensional matching problem

Authors: Luigi Ambrosio, Federico Stra, Dario Trevisan

Abstract: We prove asymptotic results for 2-dimensional random matching problems. In particular, we obtain the leading term in the asymptotic expansion of the expected quadratic transportation cost for empirical measures of two samples of independent uniform random variables in the square. Our technique is based on a rigorous formulation of the challenging PDE ansatz by S.\ Caracciolo et al.\ (Phys. Rev. E,… ▽ More We prove asymptotic results for 2-dimensional random matching problems. In particular, we obtain the leading term in the asymptotic expansion of the expected quadratic transportation cost for empirical measures of two samples of independent uniform random variables in the square. Our technique is based on a rigorous formulation of the challenging PDE ansatz by S.\ Caracciolo et al.\ (Phys. Rev. E, {\bf 90} 012118, 2014) that "linearise" the Monge-Ampère equation. △ Less

Submitted 15 November, 2016; originally announced November 2016.

MSC Class: 60D05 (Primary) 49J55; 60H15 (Secondary)

Linear extension operators between spaces of Lipschitz maps and optimal transport

Authors: Luigi Ambrosio, Daniele Puglisi

Abstract: Motivated by the notion of K-gentle partition of unity introduced in [12] and the notion of K-Lipschitz retract studied in [17], we study a weaker notion related to the Kantorovich-Rubinstein transport distance, that we call K-random projection. We show that K-random projections can still be used to provide linear extension operators for Lipschitz maps. We also prove that the existence of these ra… ▽ More Motivated by the notion of K-gentle partition of unity introduced in [12] and the notion of K-Lipschitz retract studied in [17], we study a weaker notion related to the Kantorovich-Rubinstein transport distance, that we call K-random projection. We show that K-random projections can still be used to provide linear extension operators for Lipschitz maps. We also prove that the existence of these random projections is necessary and sufficient for the existence of weak* continuous operators. Finally we use this notion to characterize the metric spaces (X, d) such that the free space F(X) has the bounded approximation propriety. △ Less

Submitted 6 September, 2016; originally announced September 2016.

New stability results for sequences of metric measure spaces with uniform Ricci bounds from below

Authors: Luigi Ambrosio, Shouhei Honda

Abstract: The aim of this paper is to provide new stability results for sequences of metric measure spaces $(X_i,d_i,m_i)$ convergent in the measured Gromov-Hausdorff sense. By adopting the so-called extrinsic approach of embedding all metric spaces into a common one $(X,d)$, we extend the results of Gigli-Mondino-Savaré by providing Mosco convergence of Cheeger's energies and compactness theorems in the wh… ▽ More The aim of this paper is to provide new stability results for sequences of metric measure spaces $(X_i,d_i,m_i)$ convergent in the measured Gromov-Hausdorff sense. By adopting the so-called extrinsic approach of embedding all metric spaces into a common one $(X,d)$, we extend the results of Gigli-Mondino-Savaré by providing Mosco convergence of Cheeger's energies and compactness theorems in the whole range of Sobolev spaces $H^{1,p}$, including the space $BV$, and even with a variable exponent $p_i\in [1,\infty]$. In addition, building on the results of Ambrosio-Stra-Trevisan, we provide local convergence results for gradient derivations. We use these tools to improve the spectral stability results, previously known for $p>1$ and for Ricci limit spaces, getting continuity of Cheeger's constant. In the dimensional case $N<\infty$, we improve some rigidity and almost rigidity results by Ketterer and Cavaletti-Mondino. On the basis of the second-order calculus by Gigli, in the class of $RCD(K,\infty)$ spaces we provide stability results for Hessians and $W^{2,2}$ functions and we treat the stability of the Bakry-Émery condition $BE(K,N)$ and of ${\bf Ric}\geq KI$, with $K$ and $N$ not necessarily constant. △ Less

Submitted 5 July, 2016; v1 submitted 25 May, 2016; originally announced May 2016.

Comments: 45 pages, Proposition 10.2 improved

Gaussian-type Isoperimetric Inequalities in $RCD(K,\infty)$ probability spaces for positive $K$

Authors: Luigi Ambrosio, Andrea Mondino

Abstract: In this paper we adapt the well-estabilished $Γ$-calculus techniques to the context of $RCD(K,\infty)$ spaces, proving Bobkov's local isoperimetric inequality and, when $K$ is positive, the Gaussian isoperimetric inequality in this class of spaces. The proof relies on the measure-valued $Γ_2$ operator introduced by Savaré. In this paper we adapt the well-estabilished $Γ$-calculus techniques to the context of $RCD(K,\infty)$ spaces, proving Bobkov's local isoperimetric inequality and, when $K$ is positive, the Gaussian isoperimetric inequality in this class of spaces. The proof relies on the measure-valued $Γ_2$ operator introduced by Savaré. △ Less

Submitted 10 May, 2016; originally announced May 2016.

Comments: 16 pages

Journal ref: Rend. Lincei Mat. Appl., 27 (2016), 497-514

Perimeter as relaxed Minkowski content in metric measure spaces

Authors: Luigi Ambrosio, Nicola Gigli, Simone Di Marino

Abstract: In this note we prove that on general metric measure spaces the perimeter is equal to the relaxation of the Minkowski content w.r.t.\ convergence in measure In this note we prove that on general metric measure spaces the perimeter is equal to the relaxation of the Minkowski content w.r.t.\ convergence in measure △ Less

Submitted 4 March, 2016; originally announced March 2016.

Weak and strong convergence of derivations and stability of flows with respect to MGH convergence

Authors: Luigi Ambrosio, Federico Stra, Dario Trevisan

Abstract: This paper is devoted to the study of weak and strong convergence of derivations, and of the flows associated to them, when dealing with a sequence of metric measure structures (X,d,m_n), m_n weakly convergent to m. In particular, under curvature assumptions, either only on the limit metric structure (X,d,m) or on the whole sequence of metric measure spaces, we provide several stability results. This paper is devoted to the study of weak and strong convergence of derivations, and of the flows associated to them, when dealing with a sequence of metric measure structures (X,d,m_n), m_n weakly convergent to m. In particular, under curvature assumptions, either only on the limit metric structure (X,d,m) or on the whole sequence of metric measure spaces, we provide several stability results. △ Less

Submitted 14 October, 2016; v1 submitted 17 March, 2016; originally announced March 2016.

MSC Class: 49J52; 35K90

A nonautonomous chain rule in $W^{1,p}$ and $BV$

Authors: Luigi Ambrosio, Graziano Crasta, Virginia De Cicco, Guido De Philippis

Abstract: In this paper we consider the chain rule formula for compositions $x\mapsto F(x, u(x))$ in the case when $u$ has a Sobolev or BV regularity and $F(x,z)$ is separately Sobolev, or BV, with respect to $x$ and $C^1$ with respect to $z$. Our results extend to this "nonautonomous" case the results known for compositions $x\mapsto F(u(x))$. In this paper we consider the chain rule formula for compositions $x\mapsto F(x, u(x))$ in the case when $u$ has a Sobolev or BV regularity and $F(x,z)$ is separately Sobolev, or BV, with respect to $x$ and $C^1$ with respect to $z$. Our results extend to this "nonautonomous" case the results known for compositions $x\mapsto F(u(x))$. △ Less

Submitted 9 December, 2015; originally announced December 2015.

Comments: 19 pages

Report number: Roma01.Math MSC Class: 26B30; 49Q15

Journal ref: Manuscripta Math. 140 (2013), pp. 461-480

Nonlinear diffusion equations and curvature conditions in metric measure spaces

Authors: Luigi Ambrosio, Andrea Mondino, Giuseppe Savaré

Abstract: Aim of this paper is to provide new characterizations of the curvature dimension condition in the context of metric measure spaces (X,d,m). On the geometric side, our new approach takes into account suitable weighted action functionals which provide the natural modulus of K-convexity when one investigates the convexity properties of N-dimensional entropies. On the side of diffusion semigroups… ▽ More Aim of this paper is to provide new characterizations of the curvature dimension condition in the context of metric measure spaces (X,d,m). On the geometric side, our new approach takes into account suitable weighted action functionals which provide the natural modulus of K-convexity when one investigates the convexity properties of N-dimensional entropies. On the side of diffusion semigroups and evolution variational inequalities, our new approach uses the nonlinear diffusion semigroup induced by the N-dimensional entropy, in place of the heat flow. Under suitable assumptions (most notably the quadraticity of Cheeger's energy relative to the metric measure structure) both approaches are shown to be equivalent to the strong CD*(K,N) condition of Bacher-Sturm. △ Less

Submitted 10 February, 2017; v1 submitted 24 September, 2015; originally announced September 2015.

Comments: 115 pages. Minor typos corrected and many small improvements added. Thm. 3.4, Lemma 5.4, Thm. 9.15, Thm. 9.21, Lemma 12.2, Lemma 12.4, Thm. 12.7, Thm. 12.8, Lemma 12.11 augmented/reenforced. Thm. 3.6, Sec. 5.6, Lemma 5.5 added

MSC Class: 49Q20; 47D07; 30L99

Journal ref: Mem. Amer. Math. Soc. 262 (2019), no. 1270, v+121 pp

Optimal transport, Cheeger energies and contractivity of dynamic transport distances in extended spaces

Authors: Luigi Ambrosio, Matthias Erbar, Giuseppe Savaré

Abstract: We introduce the setting of extended metric-topological measure spaces as a general "Wiener-like" framework for optimal transport problems and nonsmooth metric analysis in infinite dimension. After a brief review of optimal transport tools for general Radon measures, we discuss the notions of the Cheeger energy, of the Radon measures concentrated on absolutely continuous curves, and of the induc… ▽ More We introduce the setting of extended metric-topological measure spaces as a general "Wiener-like" framework for optimal transport problems and nonsmooth metric analysis in infinite dimension. After a brief review of optimal transport tools for general Radon measures, we discuss the notions of the Cheeger energy, of the Radon measures concentrated on absolutely continuous curves, and of the induced "dynamic transport distances." We study their main properties and their links with the theory of Dirichlet forms and the Bakry-Émery curvature condition, in particular concerning the contractivity properties and the EVI formulation of the induced Heat semigroup. △ Less

Submitted 19 June, 2015; originally announced June 2015.

Comments: Dedicated to J.L. Vazquez in occasion of his 70th birthday

MSC Class: 49Q20; 47D07; 30L99

Lecture notes on the DiPerna-Lions theory in abstract measure spaces

Authors: Luigi Ambrosio, Dario Trevisan

Abstract: These notes closely correspond to a series of lectures given by the first author in Toulouse, on the recent extension of the theory of ODE well-posedness to abstract spaces, jointly obtained by the two authors. In the last part, we describe some further developments with respect to the theory of (possibly degenerate) diffusion processes, in a similar setting, contained in the second author's PhD t… ▽ More These notes closely correspond to a series of lectures given by the first author in Toulouse, on the recent extension of the theory of ODE well-posedness to abstract spaces, jointly obtained by the two authors. In the last part, we describe some further developments with respect to the theory of (possibly degenerate) diffusion processes, in a similar setting, contained in the second author's PhD thesis. △ Less

Submitted 12 September, 2016; v1 submitted 20 May, 2015; originally announced May 2015.

MSC Class: 49J52

DC Calculus

Authors: Luigi Ambrosio, Jérôme Bertrand

Abstract: In this paper, we extend the DC Calculus introduced by Perelman on finite dimensional Alexandrov spaces with curvature bounded below. Among other things, our results allow us to define the Hessian and the Laplacian of DC functions (including distance functions as a particular instance) as a measure-valued tensor and a Radon measure respectively. We show that these objects share various properties… ▽ More In this paper, we extend the DC Calculus introduced by Perelman on finite dimensional Alexandrov spaces with curvature bounded below. Among other things, our results allow us to define the Hessian and the Laplacian of DC functions (including distance functions as a particular instance) as a measure-valued tensor and a Radon measure respectively. We show that these objects share various properties with their analogues on smooth Riemannian manifolds. △ Less

Submitted 18 May, 2015; originally announced May 2015.

On the Lagrangian structure of transport equations: the Vlasov-Poisson system

Authors: Luigi Ambrosio, Maria Colombo, Alessio Figalli

Abstract: The Vlasov-Poisson system is a classical model in physics used to describe the evolution of particles under their self-consistent electric or gravitational field. The existence of classical solutions is limited to dimensions $d\leq 3$ under strong assumptions on the initial data, while weak solutions are known to exist under milder conditions. However, in the setting of weak solutions it is unclea… ▽ More The Vlasov-Poisson system is a classical model in physics used to describe the evolution of particles under their self-consistent electric or gravitational field. The existence of classical solutions is limited to dimensions $d\leq 3$ under strong assumptions on the initial data, while weak solutions are known to exist under milder conditions. However, in the setting of weak solutions it is unclear whether the Eulerian description provided by the equation physically corresponds to a Lagrangian evolution of the particles. In this paper we develop several general tools concerning the Lagrangian structure of transport equations with non-smooth vector fields and we apply these results: (1) to show that weak solutions of Vlasov-Poisson are Lagrangian; (2) to obtain global existence of weak solutions under minimal assumptions on the initial data. △ Less

Submitted 16 June, 2015; v1 submitted 11 December, 2014; originally announced December 2014.

Journal ref: Duke Math. J. 166, no. 18 (2017), 3505-3568

Tensorization of Cheeger energies, the space $H^{1,1}$ and the area formula for graphs

Authors: Luigi Ambrosio, Andrea Pinamonti, Gareth Speight

Abstract: First we study in detail the tensorization properties of weak gradients in metric measure spaces $(X,d,m)$. Then, we compare potentially different notions of Sobolev space $H^{1,1}(X,d,m)$ and of weak gradient with exponent 1. Eventually we apply these results to compare the area functional $\int\sqrt{1+|\nabla f|_w^2}\,dm$ with the perimeter of the subgraph of $f$, in the same spirit as the class… ▽ More First we study in detail the tensorization properties of weak gradients in metric measure spaces $(X,d,m)$. Then, we compare potentially different notions of Sobolev space $H^{1,1}(X,d,m)$ and of weak gradient with exponent 1. Eventually we apply these results to compare the area functional $\int\sqrt{1+|\nabla f|_w^2}\,dm$ with the perimeter of the subgraph of $f$, in the same spirit as the classical theory. △ Less

Submitted 13 July, 2014; originally announced July 2014.

BMO-type norms related to the perimeter of sets

Authors: Luigi Ambrosio, Jean Bourgain, Haim Brezis, Alessio Figalli

Abstract: In this paper we consider an isotropic variant of the $BMO$-type norm recently introduced by Bourgain, Brezis and Mironescu. We prove that, when considering characteristic functions of sets, this norm is related to the perimeter. A byproduct of our analysis is a new characterization of the perimeter of sets in terms of this norm, independent of the theory of distributions. In this paper we consider an isotropic variant of the $BMO$-type norm recently introduced by Bourgain, Brezis and Mironescu. We prove that, when considering characteristic functions of sets, this norm is related to the perimeter. A byproduct of our analysis is a new characterization of the perimeter of sets in terms of this norm, independent of the theory of distributions. △ Less

Submitted 8 July, 2014; originally announced July 2014.

Existence and uniqueness of maximal regular flows for non-smooth vector fields

Authors: Luigi Ambrosio, Maria Colombo, Alessio Figalli

Abstract: In this paper we provide a complete analogy between the Cauchy-Lipschitz and the DiPerna-Lions theories for ODE's, by developing a local version of the DiPerna-Lions theory. More precisely, we prove existence and uniqueness of a maximal regular flow for the DiPerna-Lions theory using only local regularity and summability assumptions on the vector field, in analogy with the classical theory, which… ▽ More In this paper we provide a complete analogy between the Cauchy-Lipschitz and the DiPerna-Lions theories for ODE's, by developing a local version of the DiPerna-Lions theory. More precisely, we prove existence and uniqueness of a maximal regular flow for the DiPerna-Lions theory using only local regularity and summability assumptions on the vector field, in analogy with the classical theory, which uses only local regularity assumptions. We also study the behaviour of the ODE trajectories before the maximal existence time. Unlike the Cauchy-Lipschitz theory, this behaviour crucially depends on the nature of the bounds imposed on the spatial divergence of the vector field. In particular, a global assumption on the divergence is needed to obtain a proper blow-up of the trajectories. △ Less

Submitted 14 June, 2014; originally announced June 2014.

Comments: 38 pages

Weighted Sobolev Spaces on Metric Measure Spaces

Authors: Luigi Ambrosio, Andrea Pinamonti, Gareth Speight

Abstract: We investigate weighted Sobolev spaces on metric measure spaces $(X,d,m)$. Denoting by $ρ$ the weight function, we compare the space $W^{1,p}(X,d,ρm)$ (which always concides with the closure $H^{1,p}(X,d,ρm)$ of Lipschitz functions) with the weighted Sobolev spaces $W^{1,p}_ρ(X,d,m)$ and $H^{1,p}_ρ(X,d,m)$ defined as in the Euclidean theory of weighted Sobolev spaces. Under mild assumptions on the… ▽ More We investigate weighted Sobolev spaces on metric measure spaces $(X,d,m)$. Denoting by $ρ$ the weight function, we compare the space $W^{1,p}(X,d,ρm)$ (which always concides with the closure $H^{1,p}(X,d,ρm)$ of Lipschitz functions) with the weighted Sobolev spaces $W^{1,p}_ρ(X,d,m)$ and $H^{1,p}_ρ(X,d,m)$ defined as in the Euclidean theory of weighted Sobolev spaces. Under mild assumptions on the metric measure structure and on the weight we show that $W^{1,p}(X,d,ρm)=H^{1,p}_ρ(X,d, m)$. We also adapt results by Muckenhoupt and recent work by Zhikov to the metric measure setting, considering appropriate conditions on $ρ$ that ensure the equality $W^{1,p}_ρ(X,d,m)=H^{1,p}_ρ(X,d,m)$. △ Less

Submitted 9 June, 2023; v1 submitted 11 June, 2014; originally announced June 2014.

Comments: 26 pages. Removed Proposition 5.2 which was incorrect in previous versions of the paper; this does not affect any other part of the paper

MSC Class: 46E35; 49J52; 58J35

Well posedness of Lagrangian flows and continuity equations in metric measure spaces

Authors: Luigi Ambrosio, Dario Trevisan

Abstract: We establish, in a rather general setting, an analogue of DiPerna-Lions theory on well-posedness of flows of ODE's associated to Sobolev vector fields. Key results are a well-posedness result for the continuity equation associated to suitably defined Sobolev vector fields, via a commutator estimate, and an abstract superposition principle in (possibly extended) metric measure spaces, via an embedd… ▽ More We establish, in a rather general setting, an analogue of DiPerna-Lions theory on well-posedness of flows of ODE's associated to Sobolev vector fields. Key results are a well-posedness result for the continuity equation associated to suitably defined Sobolev vector fields, via a commutator estimate, and an abstract superposition principle in (possibly extended) metric measure spaces, via an embedding into $\mathbb{R}^\infty$. When specialized to the setting of Euclidean or infinite dimensional (e.g. Gaussian) spaces, large parts of previously known results are recovered at once. Moreover, the class of ${\sf RCD}(K,\infty)$ metric measure spaces object of extensive recent research fits into our framework. Therefore we provide, for the first time, well-posedness results for ODE's under low regularity assumptions on the velocity and in a nonsmooth context. △ Less

Submitted 1 December, 2014; v1 submitted 19 February, 2014; originally announced February 2014.

Comments: Slightly expanded some remarks on the technical assumption (7.11); Journal reference inserted

MSC Class: 35R05; 37C10; 30L99

Journal ref: Analysis & PDE, Vol. 7 (2014), No. 5, 1179-1234

On the duality between p-Modulus and probability measures

Authors: Luigi Ambrosio, Simone Di Marino, Giuseppe Savaré

Abstract: Motivated by recent developments on calculus in metric measure spaces $(X,\mathsf d,\mathfrak m)$, we prove a general duality principle between Fuglede's notion of $p$-modulus for families of finite Borel measures in $(X,\mathsf d)$ and probability measures with barycenter in $L^q(X,\mathfrak m)$, with $q$ dual exponent of $p\in (1,\infty)$. We apply this general duality principle to study null se… ▽ More Motivated by recent developments on calculus in metric measure spaces $(X,\mathsf d,\mathfrak m)$, we prove a general duality principle between Fuglede's notion of $p$-modulus for families of finite Borel measures in $(X,\mathsf d)$ and probability measures with barycenter in $L^q(X,\mathfrak m)$, with $q$ dual exponent of $p\in (1,\infty)$. We apply this general duality principle to study null sets for families of parametric and non-parametric curves in $X$. In the final part of the paper we provide a new proof, independent of optimal transportation, of the equivalence of notions of weak upper gradient based on $p$-Modulus (Koskela-MacManus '98, Shanmugalingam '00) and suitable probability measures in the space of curves (Ambrosio-Gigli-Savare '11) △ Less

Submitted 30 August, 2014; v1 submitted 6 November, 2013; originally announced November 2013.

Comments: Minor corrections, typos fixed

MSC Class: 28A12; 31C15; 26A46

Journal ref: J. Eur. Math. Soc. 17 (2015), 1817-1853

On the Bakry-Émery condition, the gradient estimates and the Local-to-Global property of RCD*(K,N) metric measure spaces

Authors: Luigi Ambrosio, Andrea Mondino, Giuseppe Savaré

Abstract: We prove higher summability and regularity of Γ(f) for functions f in spaces satisfying the Bakry-Émery condition BE(K,\infty). As a byproduct, we obtain various equivalent weak formulations of BE(K,N) and we prove the Local-to-Global property of the RCD*(K,N) condition in locally compact metric measure spaces (X,d,m), without assuming a priori the non-branching condition on the metric space. We prove higher summability and regularity of Γ(f) for functions f in spaces satisfying the Bakry-Émery condition BE(K,\infty). As a byproduct, we obtain various equivalent weak formulations of BE(K,N) and we prove the Local-to-Global property of the RCD*(K,N) condition in locally compact metric measure spaces (X,d,m), without assuming a priori the non-branching condition on the metric space. △ Less

Submitted 18 September, 2013; originally announced September 2013.

MSC Class: 49Q20; 47D07; 30L99

Journal ref: Journal of Geometric Analysis, Vol. 26, (2016), 24--56

BV functions and sets of finite perimeter in sub-Riemannian manifolds

Authors: Luigi Ambrosio, Roberta Ghezzi, Valentino Magnani

Abstract: We give a notion of BV function on an oriented manifold where a volume form and a family of lower semicontinuous quadratic forms $G_p: T_pM \to [0,\infty]$ are given. When we consider sub-Riemannian manifolds, our definition coincide with the one given in the more general context of metric measure spaces which are doubling and support a Poincaré inequality. We then focus on finite perimeter sets,… ▽ More We give a notion of BV function on an oriented manifold where a volume form and a family of lower semicontinuous quadratic forms $G_p: T_pM \to [0,\infty]$ are given. When we consider sub-Riemannian manifolds, our definition coincide with the one given in the more general context of metric measure spaces which are doubling and support a Poincaré inequality. We then focus on finite perimeter sets, i.e., sets whose characteristic function is BV, in sub-Riemannian manifolds. Under an assumption on the nilpotent approximation, we prove a blowup theorem, generalizing the one obtained for step-2 Carnot groups in [24]. △ Less

Submitted 30 May, 2013; v1 submitted 25 March, 2013; originally announced March 2013.

Sobolev spaces in metric measure spaces: reflexivity and lower semicontinuity of slope

Authors: Luigi Ambrosio, Maria Colombo, Simone Di Marino

Abstract: In this paper we make a survey of some recent developments of the theory of Sobolev spaces $W^{1,q}(X,\sfd,\mm)$, $1<q<\infty$, in metric measure spaces $(X,\sfd,\mm)$. In the final part of the paper we provide a new proof of the reflexivity of the Sobolev space based on $Γ$-convergence; this result extends Cheeger's work because no Poincaré inequality is needed and the measure-theoretic doubling… ▽ More In this paper we make a survey of some recent developments of the theory of Sobolev spaces $W^{1,q}(X,\sfd,\mm)$, $1<q<\infty$, in metric measure spaces $(X,\sfd,\mm)$. In the final part of the paper we provide a new proof of the reflexivity of the Sobolev space based on $Γ$-convergence; this result extends Cheeger's work because no Poincaré inequality is needed and the measure-theoretic doubling property is weakened to the metric doubling property of the support of $\mm$. We also discuss the lower semicontinuity of the slope of Lipschitz functions and some open problems. △ Less

Submitted 16 December, 2012; originally announced December 2012.

Comments: The occasion for writing the paper has been the course given by the first author in Sapporo (July-August 2012). 46 pages. arXiv admin note: substantial text overlap with arXiv:1111.3730

MSC Class: 49J52; 49M25; 49Q20; 58J35; 35K90; 31C25

Compactness of special functions of bounded higher variation

Authors: Luigi Ambrosio, Francesco Ghiraldin

Abstract: Given an open set Ω\subset\R^m and n>1, we introduce the new spaces GB_nV(Ω) of Generalized functions of bounded higher variation and GSB_nV(Ω) of Generalized special functions of bounded higher variation that generalize, respectively, the space B_nV introduced by Jerrard and Soner and the corresponding SB_nV space studied by De Lellis. In this class of spaces, which allow the description of singu… ▽ More Given an open set Ω\subset\R^m and n>1, we introduce the new spaces GB_nV(Ω) of Generalized functions of bounded higher variation and GSB_nV(Ω) of Generalized special functions of bounded higher variation that generalize, respectively, the space B_nV introduced by Jerrard and Soner and the corresponding SB_nV space studied by De Lellis. In this class of spaces, which allow the description of singularities of codimension n, the distributional jacobian Ju need not have finite mass: roughly speaking, finiteness of mass is not required for the (m-n)-dimensional part of Ju, but only finiteness of size. In the space GSB_nV we are able to provide compactness of sublevel sets and lower semicontinuity of Mumford-Shah type functionals, in the same spirit of the codimension 1 theory. △ Less

Submitted 24 October, 2012; originally announced October 2012.

Comments: 28 pages

MSC Class: 49Q20; 49J45; 49Q15

Journal ref: Analysis and Geometry in Metric Spaces, 2013, volume 1, 1-30

Bakry-Émery curvature-dimension condition and Riemannian Ricci curvature bounds

Authors: Luigi Ambrosio, Nicola Gigli, Giuseppe Savaré

Abstract: The aim of the present paper is to bridge the gap between the Bakry-Émery and the Lott-Sturm-Villani approaches to provide synthetic and abstract notions of lower Ricci curvature bounds. We start from a strongly local Dirichlet form ${\mathcal{E}}$ admitting a Carré du champ $Γ$ in a Polish measure space $(X,\mathfrak{m})$ and a canonical distance ${\mathsf{d}}_{\mathcal{E}}$ that induces the orig… ▽ More The aim of the present paper is to bridge the gap between the Bakry-Émery and the Lott-Sturm-Villani approaches to provide synthetic and abstract notions of lower Ricci curvature bounds. We start from a strongly local Dirichlet form ${\mathcal{E}}$ admitting a Carré du champ $Γ$ in a Polish measure space $(X,\mathfrak{m})$ and a canonical distance ${\mathsf{d}}_{\mathcal{E}}$ that induces the original topology of $X$. We first characterize the distinguished class of Riemannian Energy measure spaces, where ${\mathcal{E}}$ coincides with the Cheeger energy induced by ${\mathsf{d}}_{\mathcal{E}}$ and where every function $f$ with $Γ(f)\le1$ admits a continuous representative. In such a class, we show that if ${\mathcal{E}}$ satisfies a suitable weak form of the Bakry-Émery curvature dimension condition $\mathrm {BE}(K,\infty)$ then the metric measure space $(X,{\mathsf{d}},\mathfrak{m})$ satisfies the Riemannian Ricci curvature bound $\mathrm {RCD}(K,\infty)$ according to [Duke Math. J. 163 (2014) 1405-1490], thus showing the equivalence of the two notions. Two applications are then proved: the tensorization property for Riemannian Energy spaces satisfying the Bakry-Émery $\mathrm {BE}(K,N)$ condition (and thus the corresponding one for $\mathrm {RCD}(K,\infty)$ spaces without assuming nonbranching) and the stability of $\mathrm {BE}(K,N)$ with respect to Sturm-Gromov-Hausdorff convergence. △ Less

Submitted 16 January, 2015; v1 submitted 25 September, 2012; originally announced September 2012.

Comments: Published in at http://dx.doi.org/10.1214/14-AOP907 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP907

Journal ref: Annals of Probability 2015, Vol. 43, No. 1, 339-404

Riemannian Ricci curvature lower bounds in metric measure spaces with $σ$-finite measure

Authors: Luigi Ambrosio, Nicola Gigli, Andrea Mondino, Tapio Rajala

Abstract: Using techniques of optimal transportation and gradient flows in metric spaces, we extend the notion of Riemannian Curvature Dimension condition $RCD(K,\infty)$ introduced (in case the reference measure is finite) by Giuseppe Savare', the first and the second author, to the case the reference measure is $σ$-finite; in this way the theory includes natural examples as the euclidean $n$-dimensional s… ▽ More Using techniques of optimal transportation and gradient flows in metric spaces, we extend the notion of Riemannian Curvature Dimension condition $RCD(K,\infty)$ introduced (in case the reference measure is finite) by Giuseppe Savare', the first and the second author, to the case the reference measure is $σ$-finite; in this way the theory includes natural examples as the euclidean $n$-dimensional space endowed with the Lebesgue measure, and noncompact manifolds with bounded geometry endowed with the Riemannian volume measure. Another major goal of the paper is to simplify the axiomatization of $RCD(K,\infty)$ (even in case of finite reference measure) replacing the assumption of strict $CD(K,\infty)$ with the classic notion of $CD(K,\infty)$. △ Less

Submitted 17 February, 2013; v1 submitted 20 July, 2012; originally announced July 2012.

Comments: 42 pages; final version (minor changes to the old one, in particular we added some more preliminaries and explanations) to be published in Transactions of the AMS

Journal ref: Trans. Amer. Math. Soc. 367 (2015), no. 7, 4661-4701

On sets of finite perimeter in Wiener spaces: reduced boundary and convergence to halfspaces

Authors: Luigi Ambrosio, Alessio Figalli, Eris Runa

Abstract: 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. 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. △ Less

Submitted 27 June, 2012; originally announced June 2012.

Comments: arXiv admin note: substantial text overlap with arXiv:1009.0189

A global existence result for the semigeostrophic equations in three dimensional convex domains

Authors: Luigi Ambrosio, Maria Colombo, Guido De Philippis, Alessio Figalli

Abstract: 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. 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. △ Less

Submitted 13 October, 2012; v1 submitted 24 May, 2012; originally announced May 2012.

Comments: 17 pages, no figures

Heat flow and calculus on metric measure spaces with Ricci curvature bounded below - the compact case

Authors: Luigi Ambrosio, Nicola Gigli, Giuseppe Savaré

Abstract: We provide a quick overview of various calculus tools and of the main results concerning the heat flow on compact metric measure spaces, with applications to spaces with lower Ricci curvature bounds. Topics include the Hopf-Lax semigroup and the Hamilton-Jacobi equation in metric spaces, a new approach to differentiation and to the theory of Sobolev spaces over metric measure spaces, the equival… ▽ More We provide a quick overview of various calculus tools and of the main results concerning the heat flow on compact metric measure spaces, with applications to spaces with lower Ricci curvature bounds. Topics include the Hopf-Lax semigroup and the Hamilton-Jacobi equation in metric spaces, a new approach to differentiation and to the theory of Sobolev spaces over metric measure spaces, the equivalence of the L^2-gradient flow of a suitably defined "Dirichlet energy" and the Wasserstein gradient flow of the relative entropy functional, a metric version of Brenier's Theorem, and a new (stronger) definition of Ricci curvature bound from below for metric measure spaces. This new notion is stable w.r.t. measured Gromov-Hausdorff convergence and it is strictly connected with the linearity of the heat flow. △ Less

Submitted 15 May, 2012; originally announced May 2012.

Comments: To the memory of Enrico Magenes, whose exemplar life, research and teaching shaped generations of mathematicians

MSC Class: 52C23; 49J52; 49Q20; 58J35; 35K90; 31C25