Using Sinkhorn in the JKO scheme adds linear diffusion

Abstract

The JKO scheme is a time-discrete scheme of implicit Euler type that allows to construct weak solutions of evolution PDEs which have a Wasserstein gradient structure. The purpose of this work is to study the effect of replacing the classical quadratic optimal transport problem by the Schrödinger problem (\emph{a.k.a.}\ the entropic regularization of optimal transport, efficiently computed by the Sinkhorn algorithm) at each step of this scheme. We find that if $ε$ is the regularization parameter of the Schrödinger problem, and $τ$ is the time step parameter, considering the limit $τ,ε\to 0$ with $\fracετ \to α\in \mathbb{R}_+$ results in adding the term $\fracα{2} Δρ$ on the right-hand side of the limiting PDE. In the case $α= 0$ we improve a previous result by Carlier, Duval, Peyr{é} and Schmitzer (2017).