The dynamical formulation of optimal transport, also known as Benamou–Brenier formulation or computational fluid dynamics formulation, amounts to writing the optimal transport problem as the optimization of a convex functional under a PDE constraint, and can handle a priori a vast class of cost functions and geometries. Several discretizations of this problem have been proposed, leading to computations on flat spaces as well as Riemannian manifolds, with extensions to mean field games and gradient flows in the Wasserstein space. In this paper, we provide a framework which guarantees convergence under mesh refinement of the solutions of the space-time discretized problems to the one of the infinite-dimensional problem for quadratic optimal transport. The convergence holds without condition on the ratio between spatial and temporal step sizes, and can handle arbitrary positive measures as input, while the underlying space can be a Riemannian manifold. Both the finite volume discretization proposed by Gladbach, Kopfer, and Maas, as well as the discretization over triangulations of surfaces studied by the present author in collaboration with Claici, Chien, and Solomon, fit in this framework.

Unconditional convergence for discretizations of dynamical optimal transport

Lavenant, Hugo
2021

Abstract

The dynamical formulation of optimal transport, also known as Benamou–Brenier formulation or computational fluid dynamics formulation, amounts to writing the optimal transport problem as the optimization of a convex functional under a PDE constraint, and can handle a priori a vast class of cost functions and geometries. Several discretizations of this problem have been proposed, leading to computations on flat spaces as well as Riemannian manifolds, with extensions to mean field games and gradient flows in the Wasserstein space. In this paper, we provide a framework which guarantees convergence under mesh refinement of the solutions of the space-time discretized problems to the one of the infinite-dimensional problem for quadratic optimal transport. The convergence holds without condition on the ratio between spatial and temporal step sizes, and can handle arbitrary positive measures as input, while the underlying space can be a Riemannian manifold. Both the finite volume discretization proposed by Gladbach, Kopfer, and Maas, as well as the discretization over triangulations of surfaces studied by the present author in collaboration with Claici, Chien, and Solomon, fit in this framework.
2021
2020
Lavenant, Hugo
File in questo prodotto:
File Dimensione Formato  
article_final.pdf

non disponibili

Descrizione: articolo
Tipologia: Pdf editoriale (Publisher's layout)
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 616.52 kB
Formato Adobe PDF
616.52 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11565/4034608
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 5
social impact