In this paper we introduce a synthetic notion of Riemannian Ricci bounds from below for metric measure spaces (X, d, m) which is stable under measured Gromov-Hausdorff convergence and rules out Finsler geometries. It can be given in terms of an enforcement of the Lott, Sturm and Villani geodesic convexity condition for the entropy coupled with the linearity of the heat flow. Besides stability, it enjoys the same tensorization, globalto-local and local-to-global properties. In these spaces, that we call RCD(K, ∞) spaces, we prove that the heat flow (which can be equivalently characterized either as the flow associated to the Dirichlet form, or as the Wasserstein gradient flow of the entropy) satisfies Wasserstein contraction estimates and several regularity properties, in particular Bakry-Emery estimates and the L ∞ − Lip Feller regularization. We also prove that the distance induced by the Dirichlet form coincides with d, that the local energy measure has density given by the square of Cheeger's relaxed slope and, as a consequence, that the underlying Brownian motion has continuous paths. All these results are obtained independently of Poincaré and doubling assumptions on the metric measure structure and therefore apply also to spaces which are not locally compact, as the infinite-dimensional ones.
This paper is devoted to a deeper understanding of the heat flow and to the refinement of calculus tools on metric measure spaces (X, d, m). Our main results are:• A general study of the relations between the Hopf-Lax semigroup and Hamilton-Jacobi equation in metric spaces (X, d).• The equivalence of the heat flow in L 2 (X, m) generated by a suitable Dirichlet energy and the Wasserstein gradient flow of the relative entropy functional Ent m in the space of probability measures P(X).• The proof of density in energy of Lipschitz functions in the Sobolev space W 1,2 (X, d, m).• A fine and very general analysis of the differentiability properties of a large class of Kantorovich potentials, in connection with the optimal transport problem, is the fourth achievement of the paper.Our results apply in particular to spaces satisfying Ricci curvature bounds in the sense of Lott & Villani [30] and Sturm [39,40] and require neither the doubling property nor the validity of the local Poincaré inequality. MSC-classification: 52C23, 49J52, 49Q20, 58J35, 35K90, 31C25
We develop a full theory for the new class of Optimal EntropyTransport problems between nonnegative and finite Radon measures in general topological spaces. These problems arise quite naturally by relaxing the marginal constraints typical of Optimal Transport problems: given a pair of finite measures (with possibly different total mass), one looks for minimizers of the sum of a linear transport functional and two convex entropy functionals, which quantify in some way the deviation of the marginals of the transport plan from the assigned measures. As a powerful application of this theory, we study the particular case of Logarithmic Entropy-Transport problems and introduce the new Hellinger-Kantorovich distance between measures in metric spaces. The striking connection between these two seemingly far topics allows for a deep analysis of the geometric properties of the new geodesic distance, which lies somehow between the well-known Hellinger-Kakutani and Kantorovich-Wasserstein distances.
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 E admitting a Carré du champ Γ in a Polish measure space (X, m) and a canonical distance dE that induces the original topology of X. We first characterize the distinguished class of Riemannian Energy measure spaces, where E coincides with the Cheeger energy induced by dE and where every function f with Γ(f ) ≤ 1 admits a continuous representative.In such a class, we show that if E satisfies a suitable weak form of the Bakry-Émery curvature dimension condition BE(K, ∞) then the metric measure space (X, d, m) satisfies the Riemannian Ricci curvature bound RCD(K, ∞) 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 BE(K, N ) condition (and thus the corresponding one for RCD(K, ∞) spaces without assuming nonbranching) and the stability of BE(K, N ) with respect to Sturm-Gromov-Hausdorff convergence.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.