Calculus of Variations and Geometric Measure Theory

N. Bonnotte

From Knothe's Rearrangement to Brenier's Optimal Transport Map

created by bonnotte on 03 May 2012
modified on 24 Oct 2015

[BibTeX]

Published Paper

Inserted: 3 may 2012
Last Updated: 24 oct 2015

Journal: SIAM J. Math. Anal.
Volume: 45
Number: 1
Pages: 64–87
Year: 2013
Doi: 10.1137/120874850
Links: Journal's version

Abstract:

The Brenier optimal map and the Knothe-Rosenblatt rearrangement are two instances of a transport map, that is to say a map sending one measure onto another. The main interest of the former is that it solves the Monge-Kantorovich optimal transport problem, while the latter is very easy to compute, being given by an explicit formula.

A few years ago, Carlier, Galichon, and Santambrogio showed that the Knothe rearrangement could be seen as the limit of the Brenier map when the quadratic cost degenerates. In this paper, we prove that on the torus (to avoid boundary issues), when all the data are smooth, the evolution is also smooth, and is entirely determined by a PDE for the Kantorovich potential (which determines the map), with a subtle initial condition. The proof requires the use of the Nash-Moser inverse function theorem.

This result generalizes the ode discovered by Carlier, Galichon, and Santambrogio when one measure is uniform and the other is discrete, and could pave to way to new numerical methods for optimal transportation.

Keywords: Optimal transport, continuation methods, Knothe-Rosenblatt rearrangement, Nash--Moser inverse function theorem


Download: