Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 348 / 4

For probability measures $\mu ,\nu$ on ${\mathbb{R}}^d$ with finite second moments, the Knott–Smith optimality criterion states that a transport plan $\pi \in \Pi (\mu ,\nu )$ minimizes the quadratic cost $|x-y{|}^2$ if and only if there is a proper convex function $\Phi :{\mathbb{R}}^d\to \mathbb{R}\cup \{+\infty \}$ that is sequentially lower semicontinuous and satisfiesThe subdifferential is characterized bywith $\Phi (x)<\infty$. Thus the transport plan is concentrated on the graph of the subdifferential. No absolute continuity of measures assumption on $\mu$ is needed. Multiplying the cost by $1/2$ leaves the criterion unchanged. The original quadratic optimal mapping result is Knott and Smith, On the optimal mapping of distributions.

A standard sufficient form of Brenier theorem assumes $\mu ,\nu \in \mathcal{P}({\mathbb{R}}^d)$ have finite second moments and $\mu \ll {\mathcal{L}}^d$, that is, absolute continuity of measures with respect to Lebesgue measure. For the cost $|x-y{|}^2$, there exists a unique optimal transport plan, and it is induced by a transport map:Here $\Phi$ is a proper convex function, which may be chosen sequentially lower semicontinuous, and its gradient exists $\mu$-almost everywhere. The map $\nabla \Phi$ is unique $\mu$-almost everywhere and is the unique minimizer of the Monge optimal transport problem; its cost equals the Kantorovich optimal transport problem minimum. Equivalently, it is the unique gradient of a convex function transporting $\mu$ to $\nu$.

The uniqueness claim concerns the map and the transport plan, not a globally unique potential. The potential may be shifted by a constant, and additional nonuniqueness away from the source can occur. No density assumption is required on $\nu$. A primary reference is Brenier's Polar factorization and monotone rearrangement of vector-valued functions.

Let $\Phi ={\phi }_{\epsilon }$ and let ${\Phi }^{\ast }$ denote its convex conjugate. Its Fenchel–Young gapis nonnegative by the Fenchel–Young inequality, and the hypothesis says $\int Hd{\pi }_{\epsilon }\le \epsilon$.

First justify the integrability needed for the certificate. Finite second moments and the Cauchy-Schwarz inequality imply, for every transport plan $\pi$,Since $\Phi \in L^1(\mu )$ and $H\in L^1({\pi }_{\epsilon })$, the identity ${\Phi }^{\ast }(y)=H(x,y)-\Phi (x)+x\cdot y$ proves ${\Phi }^{\ast }\in L^1(\nu )$ by the marginal distribution property. In particular, no subtraction of infinite integrals is being used.

SetThese are integrable Kantorovich potentials. The Fenchel–Young inequality gives $u(x)+v(y)\le \frac{1}{2}|x-y{|}^2$. More precisely, for every transport plan $\pi$,Taking the infimum in the first inequality therefore provesThe factor $1/2$ in the quadratic cost is essential for this exact gap identity.

Define $T^{†}(0)=0$; the printed quotient is undefined at the origin, but this continuous extension changes no transport cost because $\mu (\{0\})=0$. In polar coordinates, the two probability density functions giveBoth angular distributions are uniform, with independence of angle and radius. The proposed transport map preserves the angle and sends $r$ to $s=\sqrt{r}$. Thereforeand preservation of the angle proves $(T^{†}{)}_{\#}\mu =\nu$. As a local check using the Jacobian determinant, its radial and tangential derivatives for $r>0$ are $1/(2\sqrt{r})$ and $1/\sqrt{r}$, respectively, so $\det D{T}^{†}=1/(2r)$ and $g(T^{†}(x))\det D{T}^{†}(x)=(2r/\pi )/(2r)=f(x)$.

Now use the convex functionIt is convex because the Euclidean norm is convex and $s\mapsto (2/3)s^{3/2}$ is increasing and convex on $[0,\infty )$. It is differentiable, including at zero, andIts graph transport plan lies in the graph of $\partial \Phi$, so the Knott–Smith optimality criterion proves quadratic optimality. Since that plan is induced by a map, part 1(b) proves optimality for the Monge optimal transport problem as well. The minimum provides a useful independent check: