Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 348 / 2 / c / Solution

For every admissible transport map $T$, the pushforward measure condition gives $T(x)\in [1,2]$ for $\mu$-almost every $x\in [0,1]$. Hence $|T(x)-x|=T(x)-x$, andApply the Jensen inequality to the convex function $h$ and the probability measure $\mu$:Translation by one sends the source uniform distribution to the target uniform distribution, so $T^{†}(x)=x+1$ is admissible. Its displacement is constantly one, givingNo monotonicity assumption on $h$ is needed, because all displacements have the same sign. The same argument with a transport plan also gives the identical minimum for the Kantorovich optimal transport problem.