On the regularity of the free boundary in the optimal partial transport problem for general cost functions

This paper concerns the regularity and geometry of the free boundary in the optimal partial transport problem for general cost functions. More specifically, we prove that a C-1 cost implies a locally Lipschitz free boundary. As an application, we address a problem discussed by Caffarelli and McCann [1] regarding cost functions satisfying the Ma-Trudinger-Wang condition (A3): if the non-negative source density is in some L-P (R-n) space for p is an element of (n+1/2, infinity] and the positive target density is bounded away from zero, then the free boundary is a semiconvex C-loc(1,alpha) hypersurface. Furthermore, we show that a locally Lipschitz cost implies a rectifiable free boundary and initiate a corresponding regularity theory in the Riemannian setting. (C) 2014 Elsevier Inc. All rights reserved.