Dimensional contraction in Wasserstein distance for diffusion semigroups on a Riemannian manifold

From MaRDI portal
Publication:2346362



Abstract: We prove a refined contraction inequality for diffusion semigroups with respect to the Wasserstein distance on a compact Riemannian manifold taking account of the dimension. The result generalizes in a Riemannian context, the dimensional contraction established in [BGG13] for the Euclidean heat equation. It is proved by using a dimensional coercive estimate for the Hodge-de Rham semigroup on 1-forms.


The paper concerns dimension-curvature conditions and contraction properties of the heat semigroup $P_{t}$ on Riemannian manifolds with respect to the Wasserstein distance $W_{2}$ between probability measures. One of the first results in this direction is by \textit{M.-K. von Renesse} and \textit{K.-T. Sturm} [Commun. Pure Appl. Math. 58, No. 7, 923--940 (2005; Zbl 1078.53028)], who showed that on a complete Riemannian manifold the Ricci curvature being bounded by $K$ is equivalent to $W_{2}^{2}\left( P_{t}fdx, P_{t}gdx \right)\leqslant e^{-2Kt}W_{2}^{2}\left( fdx, gdx \right)$, where $dx$ is the Riemannian volume element, and $f, g$ are probability densities. The current paper deals with one of the directions of this equivalence proving that a curvature-dimension inequality implies a contraction property involving both a curvature bound and a dimension for a weighted compact Riemannian manifold. The author uses the Benamou-Brenier dynamical formulation of the Wasserstein distance to get a dimensional estimate on the Hodge-de Rham semigroup. This is the semigroup with the generator being the Hodge-de Rham operator on forms, and the estimates rely on the Bochner-Lichnerowicz-Weitzenböck identity for $1$-forms.











This page was built for publication: Dimensional contraction in Wasserstein distance for diffusion semigroups on a Riemannian manifold

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2346362)