The $infty$-Wasserstein distance: Local Solutions and Existence of Optimal Transport Maps

We consider the non-nonlinear optimal transportation problem of minimizing the cost functional C∞(λ) = λ-ess sup(x,y)∈Ω2 |y − x| in the set of probability measures on Ω2 having prescribed marginals. This corresponds to the question of characterizing the measures that realize the infinite Wasserstein distance. We establish the existence of “local” solutions and characterize this class with the aid of an adequate version of cyclical monotonicity. Moreover, under natural assumptions, we show that local solutions are induced by transport maps