On a problem of optimal mixing

We consider the simultaneous optimal transportation of measures, where the target marginal is not necessarily fixed. For this problem, we prove the existence of a solution for completely regular spaces and investigate the structure of the discrete problem. We establish a connection between the Monge problem and the Kantorovich problem by showing that their functionals are equal and that the solutions coincide in Euclidean space.