The decomposition of optimal transportation problems with convex cost
Given a positive l.s.c. convex function c:Rd→Rd and an optimal transference plane π for the transportation problem \begin{equation*} \int \mathtt c(x'-x) π(dxdx'), \end{equation*} we show how the results of \cite{biadan} on the existence of a \emph{Sudakov decomposition} for norm cost c=∣⋅∣ can be extended to this case. More precisely, we prove that there exists a partition of Rd into a family of disjoint sets {Sah}h,a together with the projection {Oah}h,a on Rd of proper extremal faces of epic, h=0,…,d and a∈Ah⊂Rd−h, such that - Sah is relatively open in its affine span, and has affine dimension h; \item Oah has affine dimension h and is parallel to Sah; - Ld(Rd∖∪h,aSah)=0, and the disintegration of Ld, Ld=∑h∫ξahηh(da), w.r.t. Sah has conditional probabilities ξah≪Hh└Sah; - the sets Sah are essentially cyclically connected and cannot be further decomposed. \end{list} The last point is used to prove the existence of an optimal transport map. The main idea is to recast the problem in (t,x)∈[0,∞]×Rd with an 1-homogeneous norm cˉ(t,x):=tc(−tx) and to extend the regularity estimates of \cite{biadan} to this case.