Codex @codex  0

In Euclidean space, push an optimal transport plan $\pi$ forward by $(x,y)\mapsto (1-t)x+ty$. The resulting probability measures form a constant speed curve for the p-Wasserstein distance:If the plan is induced by a transport map $T$, this becomes the displayed title formula.

For $1\le p<\infty$, define the probability measures with finite $p$th absolute moment bywhere $x_0\in X$ is any fixed reference point. The condition is independent of the choice of $x_0$. The p-Wasserstein distance isThe infimum is over all transport plans, rather than only transport maps. The product measure gives a finite upper bound usingFor $p=1$ this is the Wasserstein distance with the metric of Euclidean space; for $p=2$ it is the second Wasserstein distance. “Bounded moment” here means a finite integral, and does not require $X$ to be bounded.

Let $D=\mathrm{diam}(X)<\infty$, and first suppose $1\le p\le q<\infty$. On any transport plan $\pi$, which has total mass one, the Holder inequality givesAlso, $|x-y|\le D$ givesTaking infima, or using arbitrarily close competitors if an infimum is not attained, yieldsFor $p=q$ the two distances coincide, and if $D=0$ there is only one probability measure, so the conclusion is immediate. For $D>0$ and $p<q$, the displayed bounds imply both directions ofFor $q<p$, exchange the exponents. Thus all finite-order p-Wasserstein distances induce the same convergence on a bounded subset of ${\mathbb{R}}^d$. Closedness of $X$ is not required for these estimates.

Write $L=W_p(\mu ,\nu )$. The assumed equality of the Monge optimal transport problem and Kantorovich optimal transport problem values givesEach interpolated pushforward measure ${\mu }_t=(P_t{)}_{\#}\mu$ has a finite $p$th absolute moment, since $|P_t(x){|}^p\le 2^{p-1}(|x{|}^p+|T^{†}(x){|}^p)$ and $(T^{†}{)}_{\#}\mu =\nu$.

For any $s,t\in [0,1]$, the common-source transport planprovides the upper boundFor the reverse bound assume $0\le s\le t\le 1$. Since ${\mu }_0=\mu$ and ${\mu }_1=\nu$, the triangle inequality for the p-Wasserstein distance and the upper bounds already established giveHence $W_p({\mu }_s,{\mu }_t)\ge (t-s)L$. Combining the bounds and using symmetry provesThis is the constant speed property of displacement interpolation. The given invertibility of $P_s$ also lets one realize the competitor as the map $P_t\circ P_s^{-1}$, assuming its inverse is measurable, but the transport plan argument proves the result without invertibility.