Continuity and injectivity of optimal maps for non-negatively cross-curved costs

By Alessio Figalli, Young-Heon Kim, Robert J. McCann. 2009

50 citations recorded by the source corpus.

Consider transportation of one distribution of mass onto another, chosen to optimize the total expected cost, where cost per unit mass transported from x to y is given by a smooth function c(x, y). If the source density f(x) is bounded away from zero and infinity in an open region U ′ ⊂ R, and the target density f−(y) is bounded away from zero and infinity on its support V ⊂ R, which is strongly c-convex with respect to U ′, and the transportation cost c is non-negatively cross-curved, we deduce continuity and injectivity of the optimal map inside U ′ (so that the associated potential u belongs to C(U ′)). This result provides a crucial step in the low/interior regularity setting: in a subsequent paper [15], we use it to establish regularity of optimal maps with respect to the Riemannian distance squared on arbitrary products of spheres. The present paper also provides an argument required by Figalli and Loeper to conclude in two dimensions continuity of optimal maps under the weaker (in fact, necessary) hypothesis (A3w) [17]. In higher dimensions, if the densities f± are Hölder continuous, our result permits continuous differentiability of the map inside U ′ (in fact, C loc regularity of the associated potential) to be deduced from the work of Liu, Trudinger and Wang [33].

Subfields: Applied Mathematics, Computational Mechanics

View Paper: https://www.semanticscholar.org/paper/f2d4c1b95e30d0a4089b508feaf836d4c943babf

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Applied Mathematics

In Computational Mechanics

Citations in the corpus

On the Ma–Trudinger–Wang curvature on surfaces (2010, background): “The Ma–Trudinger–Wang (MTW) tensor is a nonlocal generalization of sectional curvature, involving fourth-order derivatives of the squared distance function [4, 7, 9, 10, 11, 18, 22, 25, 26, 27, 28, 29].”