A Brenier map is a quadratic-cost optimal transport map that is the gradient of a convex
function used as a potential. For an absolutely
continuous source probability measure on
and a target probability
measure
, both with finite second
moments, this map minimizes
subject to . It is unique up to a set
of
-measure
zero and has the form
for a convex function
.