Abstract:In this work, we develop a regularity theory for the optimal transport problem when the target consists of two disjoint convex domains, a fundamental model in which singularities of optimal transport maps arise. When the target is partitioned into two disjoint convex domains, $\Omega^*_i$ for $i=1, 2$, and the densities are bounded from below and above by positive constants, we demonstrate that the singular set of the optimal transport map constitutes a $C^{1,\beta}$ sub-manifold of $\mathbb{R}^n$ for some $\beta \in (0, 1)$. Furthermore, when $\Omega^*_i$ for $i=1, 2$, are assumed to be $C^2$ and uniformly convex, and the densities are both positive and $C^\alpha$ smooth, we establish that the singular set forms an $(n-1)$-dimensional $C^{2,\alpha}$ sub-manifold of $\mathbb{R}^n$. Notably, our results are achieved without requiring any convexity of the source domain, aligning with the celebrated regularity theory of optimal transport maps developed by Caffarelli \cite{C92}.

Regularity of singular set in optimal transportation

Regularity of singular set in optimal transportation

A Class of Optimal Transportation Problems on the Sphere

Positivity of Ma-Trudinger-Wang Curvature on Riemannian Surfaces

Regularity and Singularity in the Mean Curvature Flow ∗

Regularity in Monge'S Mass Transfer Problem

Global Regularity of Optimal Mappings in Non-Convex Domains

Optimal (partial) transport to non-convex polygonal domains

Partial Regularity for optimal transport maps

C2,α$C^{2,\alpha }$ Regularity of Free Boundaries in Optimal Transportation

Boundary $c^{1,\alpha}$ Regularity of an Optimal Transport Problem with Cost Close to $-X\cdot Y$

Regularity of Optimal Mapping Between Hypercubes

Strict Convexity and C1,α Regularity of Potential Functions in Optimal Transportation under Condition A3w

Boundary Ε-Regularity in Optimal Transportation

Partial $W^{2,p}$ regularity for optimal transport maps

On strict convexity and $C^1$ regularity of potential functions in optimal transportation

Regularity Properties of Monotone Measure-preserving Maps

Full characterization of optimal transport plans for concave costs

The Singularity Set of Optimal Transportation Maps

Boundary C1,α Regularity of Potential Functions in Optimal Transportation with Quadratic Cost

Regular homotopy classes of locally generic mappings