Free boundary regularity in the optimal partial transport problem
In the optimal partial transport problem, one is asked to transport a fraction 0<m≤min{∣∣f∣∣L1,∣∣g∣∣L1} of the mass of f=fχΩ onto g=gχΛ while minimizing a transportation cost. If f and g are bounded away from zero and infinity on strictly convex domains Ω and Λ, respectively, and if the cost is quadratic, then away from ∂(Ω∩Λ) the free boundaries of the active regions are shown to be Cloc1,α hypersurfaces up to a possible singular set. This improves and generalizes a result of Caffarelli and McCann \cite{CM} and solves a problem discussed by Figalli \cite[Remark 4.15]{Fi}. Moreover, a method is developed to estimate the Hausdorff dimension of the singular set: assuming Ω and Λ to be uniformly convex domains with C1,1 boundaries, we prove that the singular set is Hn−2 σ-finite in the general case and Hn−2 finite if Ω and Λ are separated by a hyperplane.