Optimal transport, gradient estimates, and pathwise Brownian coupling on spaces with variable Ricci bounds
Given a metric measure space (X,d,m) and a lower semicontinuous, lower bounded function k:X→R, we prove the equivalence of the synthetic approaches to Ricci curvature at x∈X being bounded from below by k(x) in terms of ∙ the Bakry-Émery estimate ΔΓ(f)/2−Γ(f,Δf)≥kΓ(f) in an appropriate weak formulation, and ∙ the curvature-dimension condition CD(k,∞) in the sense Lott-Sturm-Villani with variable k. Moreover, for all p∈(1,∞), these properties hold if and only if the perturbed p-transport cost \begin{equation*} W_p^{\underline{k}}(μ_1,μ_2,t):=\inf_{(\mathsf{b}^1,\mathsf{b}^2)} \mathbb{E}\Big[\mathrm{e}^{\int_0^{2t} p \underline{k}\left(\mathsf{b}^1_{r}, \mathsf{b}^2_{r}\right)/2\,\mathrm{d} r} \mathsf{d}^p\!\left(\mathsf{b}^1_{2t},\mathsf{b}^2_{2t} \right)\!\Big]^{1/p} \end{equation*} is nonincreasing in t. The infimum here is taken over pairs of coupled Brownian motions b1 and b2 on X with given initial distributions μ1 and μ2, respectively, and k(x,y):=infγ∫01k(γs)ds denotes the "average" of k along geodesics γ connecting x and y. Furthermore, for any pair of initial distributions μ1 and μ2 on X, we prove the existence of a pair of coupled Brownian motions b1 and b2 such that a.s. for every s,t∈[0,∞) with s≤t, we have \begin{equation*} \mathsf{d}\!\left(\mathsf{b}_t^1,\mathsf{b}_t^2\right)\leq \mathrm{e}^{-\int_s^t \underline{k}\left(\mathsf{b}_r^1,\mathsf{b}_r^2\right)/2\,\mathrm{d} r} \mathsf{d}\!\left(\mathsf{b}_s^1,\mathsf{b}_s^2\right)\!. \end{equation*}
