We address the Monge problem in metric spaces with a geodesic distance: (X, d) is a Polish space and d N is a geodesic Borel distance which makes (X, d N) a possibly branching geodesic space. We show that under some assumptions on the transference plan we can reduce the transport problem to transport problems along a family of geodesics. We introduce three assumptions on a given dN-monotone transference plan p which imply, respectively, strong consistency of disintegration, continuity of the conditional probabilities of the first marginal, and a regularity property for the geometry of chain of transport rays. We show that this regularity is sufficient for the construction of a transport map with the same transport cost of p. We apply these results to the Monge problem in R d with smooth, convex, and compact obstacle obtaining the existence of an optimal map, provided the first marginal is absolutely continuous with respect to the d-dimensional Lebesgue measure. © 2012 Society for Industrial and Applied Mathematics.

Optimal transport with branching distance costs and the obstacle problem

Cavalletti, Fabio
2012-01-01

Abstract

We address the Monge problem in metric spaces with a geodesic distance: (X, d) is a Polish space and d N is a geodesic Borel distance which makes (X, d N) a possibly branching geodesic space. We show that under some assumptions on the transference plan we can reduce the transport problem to transport problems along a family of geodesics. We introduce three assumptions on a given dN-monotone transference plan p which imply, respectively, strong consistency of disintegration, continuity of the conditional probabilities of the first marginal, and a regularity property for the geometry of chain of transport rays. We show that this regularity is sufficient for the construction of a transport map with the same transport cost of p. We apply these results to the Monge problem in R d with smooth, convex, and compact obstacle obtaining the existence of an optimal map, provided the first marginal is absolutely continuous with respect to the d-dimensional Lebesgue measure. © 2012 Society for Industrial and Applied Mathematics.
2012
44
1
454
482
http://dx.medra.org/10.1137/100801433
https://arxiv.org/abs/1103.2797
Cavalletti, Fabio
File in questo prodotto:
File Dimensione Formato  
100801433.pdf

non disponibili

Tipologia: Versione Editoriale (PDF)
Licenza: Non specificato
Dimensione 323.3 kB
Formato Adobe PDF
323.3 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/20.500.11767/44724
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact