Self-improvement of the Bakry-Émery condition and Wasserstein contraction of the heat flow in RCD(K,\infty) metric measure spaces

Abstract

We prove that the linear heat flow in a RCD(K,\infty) metric measure space (X,d,m) satisfies a contraction property with respect to every L^p-Kantorovich-Rubinstein-Wasserstein distance. In particular, we obtain a precise estimate for the optimal W_\infty-coupling between two fundamental solutions in terms of the distance of the initial points. The result is a consequence of the equivalence between the RCD(K,\infty) lower Ricci bound and the corresponding Bakry-Émery condition for the canonical Cheeger-Dirichlet form in (X,d,m). The crucial tool is the extension to the non-smooth metric measure setting of the Bakry's argument, that allows to improve the commutation estimates between the Markov semigroup and the Carré du Champ associated to the Dirichlet form. This extension is based on a new a priori estimate and a capacitary argument for regular and tight Dirichlet forms that are of independent interest.

(v2) Minor corrections. A discussion of quasi-regular Dirichlet forms has been added (Section 2.3) to cover the case of a sigma-finite reference measure. The proof of the quasi regularity of the Cheeger energy has been added (Thm. 4.1)

Cited by in corpus (46)

• The splitting theorem in non-smooth context
• Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower Ricci curvature bounds
• Well posedness of Lagrangian flows and continuity equations in metric measure spaces
• Sharp geometric and functional inequalities in metric measure spaces with lower Ricci curvature bounds
• Li-Yau and Harnack type inequalities in $RC{D}^{\ast }(K,N)$ metric measure spaces
• Independence on $p$ of weak upper gradients on RCD spaces
• Obata's rigidity theorem for metric measure spaces
• Isoperimetric sets in spaces with lower bounds on the Ricci curvature
• Nonlinear diffusion equations and curvature conditions in metric measure spaces
• Harmonic functions on metric measure spaces
• Characterizations of sets of finite perimeter using heat kernels in metric spaces
• Sharp Cheeger-Buser type inequalities in $\mathsf{RCD}(K,\infty )$ spaces
• Gradient estimates for perturbed Ornstein-Uhlenbeck semigroups on infinite dimensional convex domains
• Hamilton's Gradient Estimates and A Monotonicity Formula for Heat Flows on Metric Measure Spaces
• Rademacher-type Theorems and Sobolev-to-Lipschitz Properties for Strongly Local Dirichlet Spaces
• Rectifiability of the reduced boundary for sets of finite perimeter over RCD$(K,N)$ spaces
• Maximal volume entropy rigidity for ${\mathsf{RCD}}^{\ast }(-(N-1),N)$ spaces
• Constancy of the dimension for RCD(K,N) spaces via regularity of Lagrangian flows
• The equality case in Cheeger's and Buser's inequalities on $\mathsf{RCD}$ spaces
• Functional inequalities for the heat flow on time-dependent metric measure spaces
• Optimal transport, gradient estimates, and pathwise Brownian coupling on spaces with variable Ricci bounds
• Characterizations of monotonicity of vector fields on metric measure spaces
• Super-Ricci flows and improved gradient and transport estimates
• Configuration spaces over singular spaces -- I. Dirichlet-Form and Metric Measure Geometry
• Weakly non-collapsed RCD spaces are strongly non-collapsed
• From volume cone to metric cone in the nonsmooth setting
• Isometric immersions of RCD$(K,N)$ spaces via heat kernels
• The Rank-One Theorem on $\mathrm{RCD}$ spaces
• The metric measure boundary of spaces with Ricci curvature bounded below
• Hölder continuity of tangent cones in RCD(K,N) spaces and applications to non-branching
• Generalized Bakry-Émery curvature condition and equivalent entropic inequalities in groups
• Monotonicity formulas for harmonic functions in $\mathrm{RCD}(0,N)$ spaces
• Stability of Kac regularity under domination of quadratic forms
• Parallel transport on non-collapsed $\mathsf{RCD}(K,N)$ spaces
• Space-time Wasserstein controls and Bakry-Ledoux type gradient estimates
• Sobolev mappings between RCD spaces and applications to harmonic maps: a heat kernel approach
• Curvature bound of Dyson Brownian Motion
• Improved regularity estimates for Lagrangian flows on $\text{RCD}(K,N)$ spaces
• Constancy of the dimension in codimension one and locality of the unit normal on $\mathrm{RCD}(K,N)$ spaces
• A characterization of non-collapsed $RCD(K,N)$ spaces via Einstein tensors
• Characterization of equality in Zhong-Yang type (sharp) spectral gap estimates for metric measure spaces
• ${\mathrm{RCD}}^{\ast }(K,N)$ spaces and the geometry of multi-particle Schrödinger semigroups
• Riemann curvature tensor on $\mathsf{RCD}$ spaces and possible applications
• Margulis Lemma on $\text{RCD}(K,N)$ spaces
• Persistence of Rademacher-type and Sobolev-to-Lipschitz properties
• Isometric immersions of RCD spaces