C. R. Acad. Sci. Paris, Ser. I 342 (2006) 197–200 http://france.elsevier.com/direct/CRASS1/ Probability Theory A curvature-dimension condition for metric measure spaces
Karl-Theodor Sturm
Institut für Angewandte Mathematik, Universität Bonn, Wegelerstrasse 6, 53115 Bonn, Germany Received 3 June 2005; accepted after revision 7 November 2005 Available online 20 December 2005 Presented by Paul Malliavin
Abstract We present a curvature-dimension condition CD(K, N) for metric measure spaces (M, d,m). In some sense, it will be the geometric counterpart to the Bakry–Émery [D. Bakry, M. Émery, Diffusions hypercontractives, in: Séminaire de Probabilités XIX, in: Lecture Notes in Math., vol. 1123, Springer, Berlin, 1985, pp. 177–206. [1]] condition for Dirichlet forms. For Riemannian 2 manifolds, it holds if and only if dim(M) N and RicM (ξ, ξ) K ·|ξ| for all ξ ∈ TM. The curvature bound introduced in [J. Lott, C. Villani, Ricci curvature for metric-measure spaces via optimal transport, Annals of Math., in press. [4]; K.T. Sturm, Generalized Ricci bounds and convergence of metric measure spaces, C. R. Acad. Sci. Paris, Ser. I 340 (2005) 235–238. [6]; K.T. Sturm, On the geometry of metric measure spaces. I, Acta Math., in press. [7]] is the limit case CD(K, ∞). Our curvature-dimension condition is stable under convergence. Furthermore, it entails various geometric consequences e.g. the Bishop–Gromov theorem and the Bonnet–Myers theorem. In both cases, we obtain the sharp estimates known from the Riemannian case. To cite this article: K.-T. Sturm, C. R. Acad. Sci. Paris, Ser. I 342 (2006). 2005 Académie des sciences. Published by Elsevier SAS. All rights reserved. Résumé Une condition de type courbure-dimension pour des espaces métriques mesurés. Nous présentons une condition de type courbure-dimension CD(K, N) pour des espaces métriques mesurés (M, d,m), qui peut être considérée comme une contrepartie géométrique de celle de Bakry–Émery [D. Bakry, M. Émery, Diffusions hypercontractives, in: Séminaire de Probabilités XIX, in: Lecture Notes in Math., vol. 1123, Springer, Berlin, 1985, pp. 177–206. [1]] pour les formes de Dirichlet. Pour les variétés 2 riemanniennes, elle est satisfaite si et seulement si dim(M) N et RicM (ξ, ξ) K ·|ξ| pour tout ξ ∈ TM. La borne de la courbure [J. Lott, C. Villani, Ricci curvature for metric-measure spaces via optimal transport, Annals of Math., in press. [4] ; K.T. Sturm, Generalized Ricci bounds and convergence of metric measure spaces, C. R. Acad. Sci. Paris, Ser. I 340 (2005) 235–238. [6] ; K.T. Sturm, On the geometry of metric measure spaces. I, Acta Math., in press. [7]] est le cas limite CD(K, ∞). Notre condition est stable pour la convergence. Elle comporte des conséquences géométriques diverses, comme les théorèmes de Bishop–Gromov et de Bonnet–Myers. Dans les deux cas, on obtient des estimations optimales connues dans le cas riemannien. Pour citer cet article : K.-T. Sturm, C. R. Acad. Sci. Paris, Ser. I 342 (2006). 2005 Académie des sciences. Published by Elsevier SAS. All rights reserved.
A metric measure space will always be a triple (M, d,m) where (M, d) is a complete separable metric space and m is a locally finite measure on M equipped with its Borel σ -algebra. The case m(M) = 0 will be excluded. P2(M, d)
E-mail address: [email protected] (K.-T. Sturm).
1631-073X/$ – see front matter 2005 Académie des sciences. Published by Elsevier SAS. All rights reserved. doi:10.1016/j.crma.2005.11.008 198 K.-T. Sturm / C. R. Acad. Sci. Paris, Ser. I 342 (2006) 197–200 denotes the L2-Wasserstein space of probability measures on M and dW the corresponding L2-Wasserstein distance. The subspace of m-absolutely continuous measures is denoted by P2(M, d,m). Given a metric measure space (M, d,m) and a number N ∈ R, N 1 we define the Rényi entropy functional S (·|m) : P (M, d) → R with respect to m by N 2 −1/N SN (ν|m) := − ρ dν where ρ denotes the density of the absolutely continuous part νc in the Lebesgue decomposition ν = νc + νs = s c ρm + ν of ν ∈ P2(M, d). Note that S1(ν|m) =−m(supp[ν ]). The functional SN := N + NSN shares various prop- erties with the relative Shannon entropy Ent(·|m). For instance, if m is a probability measure then SN (·|m) 0on P2(M, d) and SN (ν|m) = 0 if and only if ν = m.Ifm(M) is finite then Ent(ν|m) = limN→∞ N(1 + SN (ν|m)) for each ν ∈ P2(M, d).
Definition 1. Given two numbers K,N ∈ R with N 1 we say that a metric measure space (M, d,m) satisfies the curvature-dimension condition CD(K, N) iff for each pair ν0,ν1 ∈ P2(M, d,m) there exist an optimal coupling q of ν , ν and a geodesic Γ : [0, 1]→P (M, d,m)connecting ν , ν with 0 1 2 0 1 (1−t) −1/N (t) −1/N | − · + · SN Γ(t)m τK,N d(x0,x1) ρ0 (x0) τK,N d(x0,x1) ρ1 (x1) dq(x0,x1) M×M for all t ∈[0, 1] and all N N.Hereρi denotes the density of the absolutely continuous part of νi w.r.t. m (for i = 0, 1) and for each θ ∈ R+ ∞ 2 − 2 , if Kθ (N 1)π , 1−1/N 1/N K K t sin tθ sin θ , if 0