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,\mathsf {d},\mathfrak {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,\mathfrak {m})\) generated by a suitable Dirichlet energy and the Wasserstein gradient flow of the relative entropy functional \(\mathrm {Ent}_{\mathfrak {m}}\) in the space of probability measures . The proof of density in energy of Lipschitz functions in the Sobolev space \(W^{1,2}(X,\mathsf {d},\mathfrak {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 and Villani (Ann. Math. 169:903–991, 2009) and Sturm (Acta Math. 196: 65–131, 2006, and Acta Math. 196:133–177, 2006) and require neither the doubling property nor the validity of the local Poincaré inequality.