Existence of optimal maps in the reflector-type problems

TLDR: In this article, the authors consider probability measures μ and ν on a d-dimensional sphere in and cost functions of the form that generalize those arising in geometric optics where they prove that if μ and ǫ vanish on -rectifiable sets, if |l'(t)|>0, and is monotone then there exists a unique optimal map T o that transports μ onto where optimality is measured against c.

Abstract: In this paper, we consider probability measures μ and ν on a d -dimensional sphere in and cost functions of the form that generalize those arising in geometric optics where We prove that if μ and ν vanish on -rectifiable sets, if |l'(t)|>0, and is monotone then there exists a unique optimal map T o that transports μ onto where optimality is measured against c. Furthermore, Our approach is based on direct variational arguments. In the special case when existence of optimal maps on the sphere was obtained earlier in [Glimm and Oliker, J. Math. Sci. 117 (2003) 4096-4108] and [Wang, Calculus of Variations and PDE's 20 (2004) 329-341] under more restrictive assumptions. In these studies, it was assumed that either μ and ν are absolutely continuous with respect to the d -dimensional Haussdorff measure, or they have disjoint supports. Another aspect of interest in this work is that it is in contrast with the work in [Gangbo and McCann, Quart. Appl. Math. 58 (2000) 705-737] where it is proved that when l(t)=t then existence of an optimal map fails when μ and ν are supported by Jordan surfaces.