Past exam of the optimal transport and partial differential equations course of the University of Oxford / 2025 / 2 / c / Solution

Use an independent copy $(x^{\prime },y^{\prime })$ of $(x,y)$ under the product measure $\Pi \otimes \Pi$. Write $q=y-x$, $q^{\prime }=y^{\prime }-x^{\prime }$, andSince the pushforward measure of $\Pi \otimes \Pi$ under $(z_t,z_t^{\prime })$ is ${\mu }_t\otimes {\mu }_t$, the interaction energy isTwo applications of the chain rule giveThe factor $1/2$ is retained. This classical identity requires differentiation under the integral sign to be justified, just as in part (b). Bounded Hessian matrix of $W$ is sufficient, since $|q-q^{\prime }{|}^2\le 2|q{|}^2+2|q^{\prime }{|}^2$ is integrable; compactly supported endpoints are another sufficient case. The printed quadratic-growth condition alone does not provide this domination.

The failure can occur for the interaction energy too. Take the even interaction potential $W(x)=1-\cos (2\pi x^3)$ and replace the endpoint probability measures in part (b) by $\frac{1}{2}{\delta }_0+\frac{1}{2}\mu$ and $\frac{1}{2}{\delta }_0+\frac{1}{2}\nu$. Keep the origin fixed and translate every other atom by one. This coupling is increasing on the line, hence is optimal: its assigned values extend to a nondecreasing transport map, which is the gradient of a convex function. Differences between translated atoms remain integers, so their mutual interaction vanishes. Only interactions with the origin contribute, giving $\mathcal{W}[{\mu }_t]=F(t)/4$, with $F$ from part (b). It therefore also lacks a finite classical second derivative at $t=1/2$.