Optimal transportation between hypersurfaces bounding some strictly convex domains

Abstract: Let

M, N

be two smooth compact hypersurfaces of

m a t h b b R^{n}

which bound strictly convex domains equipped with two absolutely continuous measures

m u

and

u

(with respect to the volume measures of

M

and

N

). We consider the optimal transportation from

m u

to

u

for the quadratic cost. Let

(p h i : m o m a t h b b R, p s i : N o m a t h b b R)

be some functions which achieve the supremum in the Kantorovich formulation of the problem and which satisfy

psi (y) = inf_{zin M} Bigl( frac{1}{2}|y-z|^2 -varphi(z)Bigr); varphi (x)=inf_{zin N} Bigl( frac{1}{2}|x-z|^2 -psi(z)Bigr).

Define for

y i n N

,

varphi^Box(y) = sup_{zin M} Bigl( frac{1}{2}|y-z|^2 -varphi(z)Bigr).

In this short paper, we exhibit a relationship between the regularity of

v a r p h i^{B} o x

and the existence of a solution to the Monge problem.

This page was built for publication: Optimal transportation between hypersurfaces bounding some strictly convex domains