Finsler structure in the p-Wasserstein space and gradient flows

It is known from the work of F. Otto (2001) [9], that the space of probability measures equipped with the quadratic Wasserstein distance, i.e., the 2-Wasserstein space, can be viewed as a Riemannian manifold. Here we show that when the quadratic cost is replaced by a general homogeneous cost of degree p>1, the corresponding space of probability measures, i.e., the p-Wasserstein space, can be endowed with a Finsler metric whose induced distance function is the p-Wasserstein distance. Using this Finsler structure of the p-Wasserstein space, we give definitions of the differential and gradient of functionals defined on this space, and then of gradient flows in this space. In particular we show in this framework that the parabolic q-Laplacian equation is a gradient flow in the p-Wasserstein space, where p=q/(q−1). When p=2, we recover the Riemannian structure introduced by F. Otto, which confirms that the 2-Wasserstein space is a Riemann–Finsler manifold. Our approach is confined to a smooth situation where probability measures are absolutely continuous with respect to the Lebesgue measure on Rn, and they have smooth and strictly positive densities.

RésuméIl est connu que lʼespace des mesures de probabilités muni de la distance de Wasserstein L2 (lʼespace de Wasserstein L2) est une variété Riemanienne (voir F. Otto (2001) [9]). Ici, nous montrons que lorsquʼon change le coût quadratique en un coût plus general, homogène de degré p>1, lʼespace correspondant (lʼespace de Wasserstein Lp) admet une structure de Finsler dont la distance induite est la distance de Wasserstein Lp. Grâce à cette structure de Finsler, nous donnons une définition de la différentiel et du gradient des fonctionelles définies sur cet espace, et aussi des flux de gradient sur cet espace. En particulier nous montrons que lʼéquation parabolique q-Laplacien est un flux de gradient dans lʼespace de Wasserstein Lp pour p=q/(q−1). Quand p=2, nous retrouvons la structure Remannienne de F. Otto, ce qui confirme que lʼespace de Wasserstein L2 est une variété Riemanienne de Finsler. Notre méthode sʼapplique à des mesures de probabilité absolument continues par rapport à la mesure de Lebesgue dans Rn, et dont les densités sont strictement positives.