A perturbative approach to the parabolic optimal transport problem for non-MTW costs

TL;DR

This paper develops a perturbative parabolic approach to solve the optimal transport problem for non-Ma-Trudinger-Wang costs, proving global existence and convergence of solutions without requiring the cost to satisfy the weak Ma-Trudinger-Wang condition.

Contribution

It introduces a new perturbative method for the parabolic optimal transport problem applicable to costs not satisfying the weak Ma-Trudinger-Wang condition, establishing existence and convergence results.

Findings

Proves global-in-time existence of solutions to the perturbed parabolic optimal transport problem.

Shows solutions converge to a Kantorovich potential as time approaches infinity.

Extends the theory to costs beyond the weak Ma-Trudinger-Wang class.

Abstract

Fix a pair of smooth source and target densities $\rho$ and $\rho^*$ of equal mass, supported on bounded domains $\Omega, \Omega^* \subset \mathbb{R}^n$. Also fix a cost function $c_0 \in C^{4,\alpha}(\overline{\Omega} \times \overline{\Omega^*})$ satisfying the weak regularity criterion of Ma, Trudinger, and Wang, and assume $\Omega$ and $\Omega^*$ are uniformly $c_0$- and $c_0^*$-convex with respect to each other. We consider a parabolic version of the optimal transport problem between $(\Omega,\rho)$ and $(\Omega^*,\rho^*)$ when the cost function $c$ is a sufficiently small $C^4$ perturbation of $c_0$, and where the size of the perturbation depends on the given data. Our main result establishes global-in-time existence of a solution $u \in C^2_xC^1_t(\overline\Omega \times [0, \infty))$ of this parabolic problem, and convergence of $u(\cdot,t)$ as $t \to \infty$ to a Kantorovich potential for the optimal transport map between $(\Omega,\rho)$ and $(\Omega^*,\rho^*)$ with cost function $c$. A noteworthy aspect of our work is that $c$ does \emph{not} necessarily satisfy the weak Ma-Trudinger-Wang condition.