The ∞-Wasserstein distance:: Local solutions and existence of optimal transport maps

We consider the non-nonlinear optimal transportation problem of minimizing the cost functional C-infinity(lambda) = lambda-ess sup((x, y)is an element of Omega 2)vertical bar y- x vertical bar in the set of probability measures on Omega(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.