Constrained deepest descent in the 2-Wasserstein metric

We study several constrained variational problem in the 2-Wasserstein metric for which the set of probability densities satisfying the constraint is not closed. For example, given a probability density $F_0$ on $\R^d$ and a time-step $h>0$, we seek to minimize $I(F) = hS(F) + W_2^2(F_0,F)$ over all of the probability densities $F$ that have the same mean and variance as $F_0$, where $S(F)$ is the entropy of $F$. We prove existence of minimizers. We also analyze the induced geometry of the set of densities satisfying the constraint on the variance and means, and we determine all of the geodesics on it. From this, we determine a criterion for convexity of functionals in the induced geometry. It turns out, for example, that the entropy is uniformly strictly convex on the constrained manifold, though not uniformly convex without the constraint. The problems solved here arose in a study of a variational approach to constructing and studying solutions of the nonlinear kinetic Fokker-Planck equation, which is briefly described here and fully developed in a companion paper.