Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below

Abstract

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 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. 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\'e inequality.Comment: Minor typos corrected and many small improvements added. Lemma 2.4, Lemma 2.10, Prop. 5.7, Rem. 5.8, Thm. 6.3 added. Rem. 4.7, Prop. 4.8, Prop. 4.15 and Thm 4.16 augmented/reenforced. Proof of Thm. 4.16 and Lemma 9.6 simplified. Thm. 8.6 corrected. A simpler axiomatization of weak gradients, still equivalent to all other ones, has been propose