The Optimal Partial Transport Problem

Given two densities f and g, we consider the problem of transporting a fraction $${m \in [0,\min\{\|f\|_{L^1},\|g\|_{L^1}\}]}$$ of the mass of f onto g minimizing a transportation cost. If the cost per unit of mass is given by |x − y|2, we will see that uniqueness of solutions holds for $${m \in [\|f\wedge g\|_{L^1},\min\{\|f\|_{L^1},\|g\|_{L^1}\}]}$$ . This extends the result of Caffarelli and McCann in Ann Math (in print), where the authors consider two densities with disjoint supports. The free boundaries of the active regions are shown to be (n − 1)-rectifiable (provided the supports of f and g have Lipschitz boundaries), and under some weak regularity assumptions on the geometry of the supports they are also locally semiconvex. Moreover, assuming f and g supported on two bounded strictly convex sets $${{\Omega,\Lambda \subset \mathbb {R}^n}}$$ , and bounded away from zero and infinity on their respective supports, $${C^{0,\alpha}_{\rm loc}}$$ regularity of the optimal transport map and local C1 regularity of the free boundaries away from $${{\Omega\cap \Lambda}}$$ are shown. Finally, the optimal transport map extends to a global homeomorphism between the active regions.

[1]  P. Meyer,et al.  Probabilities and potential C , 1978 .

[2]  Y. Brenier Polar Factorization and Monotone Rearrangement of Vector-Valued Functions , 1991 .

[3]  L. Caffarelli The regularity of mappings with a convex potential , 1992 .

[4]  L. Evans Measure theory and fine properties of functions , 1992 .

[5]  R. McCann Existence and uniqueness of monotone measure-preserving maps , 1995 .

[6]  R. McCann A Convexity Principle for Interacting Gases , 1997 .

[7]  L. Ambrosio,et al.  A geometrical approach to monotone functions in $\mathbb R^n$ , 1999 .

[8]  L. Ambrosio,et al.  Functions of Bounded Variation and Free Discontinuity Problems , 2000 .

[9]  R. McCann,et al.  A Riemannian interpolation inequality à la Borell, Brascamp and Lieb , 2001 .

[10]  Ronald F. Gariepy FUNCTIONS OF BOUNDED VARIATION AND FREE DISCONTINUITY PROBLEMS (Oxford Mathematical Monographs) , 2001 .

[11]  R. McCann Polar factorization of maps on Riemannian manifolds , 2001 .

[12]  菊地 光嗣,et al.  書評 L.Ambrosio, N.Fusco and D.Pallara: Functions of Bounded Variation and Free Discontinuity Problems , 2002 .

[13]  Michael Frazier,et al.  Studies in Advanced Mathematics , 2004 .

[14]  P. Cardaliaguet,et al.  Existence and uniqueness for dislocation dynamics with nonnegative velocity , 2005 .

[15]  L. Ambrosio,et al.  Gradient Flows: In Metric Spaces and in the Space of Probability Measures , 2005 .

[16]  A. Figalli,et al.  Optimal transportation on non-compact manifolds , 2007, 0711.4519.

[17]  Alessio Figalli Existence, Uniqueness, and Regularity of Optimal Transport Maps , 2007, SIAM J. Math. Anal..

[18]  Giovanni Alberti,et al.  A geometrical approach to monotone functions in R n , 2007 .

[19]  C. Villani Optimal Transport: Old and New , 2008 .

[20]  R. McCann,et al.  Free boundaries in optimal transport and Monge-Ampere obstacle problems , 2010 .