Probability distance inequalities on Riemannian manifolds and path spaces.
type: Item
instance of: scholarly article
title: Probability distance inequalities on Riemannian manifolds and path spaces.
zbMATH Open document ID: 1048.58013
DOI: 10.1016/S0022-1236(02)00100-3
author: Feng-Yu Wang
published in: Journal of Functional Analysis
publication date: 2004-03-15T00:00:00Z
review text: Consider a Riemannian manifold \(M\), endowed with a probability measure \(\mu:= e^{V(x)}dx\), and a smooth field \(A\) of strictly positive definite, symmetric operators on \(TM\). The induced distance is \[ \rho_A(x,x'):= \sup\{| f(x)- f(x')|:f\in C^1(M),\langle A\nabla f,\nabla f\rangle\leq 1\}. \] Assume that the metric space \((M,\rho_A)\) is complete and that the different process associated with \(L:= \text{div}(A\nabla)+ A\nabla V\) does not explode. Fix \(p\in [1,2]\), and consider the \(L^p\)-Wasserstein distance: \[ W_p(\mu_1,\mu_2):= \inf_{\pi} \Biggl\{\int_{M^2} \rho_A(x, x')^p \pi(dx, dx')\Biggr\}^{1/p} \] between two probability measures on \(M\), where \(\pi\) denotes a probability measure on \(M^2\) having \(\mu_1\), \(\mu_2\) as marginal laws. Suppose that the following functional inequality (which interpolates between Poincaré, for \(p= 1\), and log-Sobolev, for \(p=2\), inequalities) holds on \((M,\mu)\): \[ {\mu(f^2)- \mu(f^p)^{2/p}\over 2-p}\leq C\mu(\langle A\nabla f,\nabla f\rangle),\quad\text{for (smooth) }f\geq 0. \] The main result is the following transportation cost inequality \[ W_p((P_t f)\mu,\mu)\leq pe^{-t/C}\times \sqrt{C\times{\mu(f^{2/p})- 1\over 2-p}},\quad\text{for }f\geq 0,\;\mu(f)= 1,\;t\geq 0 \] (for \(p= 2\): \(W_2((P_t f)\mu,\mu)\leq e^{-t/C}\times \sqrt{2\mu(f\log f)})\). Moreover, this result remains valid on the path space over a compact manifold, establishing in particular \((p=2)\) a Talagrand's inequality in this framework. Some concentration inequalities are deduced. As to the proof, it uses and improves the coupling method introduced by Otto and Villani, based on the solution \(\phi_s\) to: \(\phi_0= \text{Id}\), \({d\over ds}\phi= -(A\nabla\log P_{t+s}f)\circ\phi_s\), the coupling being \(\pi_s(dx, dx'):= P_t f(x)\mu(dx)\times \delta_{\phi_s(x)}(dx')\).
Mathematics Subject Classification ID: 58E35
Mathematics Subject Classification ID: 47D07
Mathematics Subject Classification ID: 60H10
Mathematics Subject Classification ID: 58J65
Mathematics Subject Classification ID: 58D20
Mathematics Subject Classification ID: 58J35
zbMATH DE Number: 2057779
zbMATH Keywords: Wasserstein distance
zbMATH Keywords: diffusion semigroup
zbMATH Keywords: path space
zbMATH Keywords: transportation cost
zbMATH Keywords: entropy
zbMATH Keywords: coupling
zbMATH Keywords: functional inequalities
reviewed by: Jacques Franchi
MaRDI profile type: Publication
cites work: Logarithmic Sobolev inequalities and exponential integrability
cites work: Q3676923
cites work: Hypercontractivity of Hamilton-Jacobi equations.
cites work: Exponential integrability and transportation cost related to logarithmic Sobolev inequalities
cites work: Martingale representation and a simple proof of logarithmic Sobolev inequalities on path spaces
cites work: Coupling methods for multidimensional diffusion processes
cites work: A function space large deviation principle for certain stochastic integrals
cites work: Q3660553
cites work: Formulae for the derivatives of heat semigroups
cites work: Q2702147
cites work: Introduction to the theory of (non-symmetric) Dirichlet forms
cites work: Generalization of an inequality by Talagrand and links with the logarithmic Sobolev inequality
cites work: The Monge–Kantorovich Mass Transference Problem and Its Stochastic Applications
cites work: Weak Poincaré inequalities and \(L^2\)-convergence rates of Markov semigroups
cites work: Transportation cost for Gaussian and other product measures
cites work: On the differentiation of heat semigroups and poisson integrals
full work available at URL: s0022-1236(02)00100-3
OpenAlex ID: W2103952714
description: scientific article; zbMATH DE number 2057779