On the smoothness of the potential function in Riemannian optimal transport

Abstract : On a closed Riemannian manifold, McCann proved the existence of a unique Borel map pushing a given smooth positive probability measure to another one while minimizing a related quadratic cost functional. The optimal map is obtained as the exponential of the gradient of a c-convex function u. The question of the smoothness of u has been intensively investigated. We present a self-contained PDE approach to this problem. The smoothness question is reduced to a couple of a priori estimates, namely: a positive lower bound on the Jacobian of the exponential map (meant at each fixed tangent space) restricted to the graph of grad u; and an upper bound on the c-Hessian of u. By the Ma-Trudinger-Wang device, the former estimate implies the latter on manifolds satisfying the so-called A3 condition. On such manifolds, it only remains to get the Jacobian lower bound. We get it on simply connected positively curved manifolds which are, either locally symmetric, or 2-dimensional with Gauss curvature C2 close to 1.
Type de document :
Article dans une revue
Communications in Analysis and Geometry, 2015, 23 (1), pp.11-89. 〈10.4310/CAG.2015.v23.n1.a2〉
Liste complète des métadonnées

Littérature citée [53 références]  Voir  Masquer  Télécharger

https://hal.univ-cotedazur.fr/hal-00957161
Contributeur : Philippe Delanoë <>
Soumis le : samedi 15 mars 2014 - 11:52:38
Dernière modification le : jeudi 3 mai 2018 - 13:32:58
Document(s) archivé(s) le : dimanche 15 juin 2014 - 10:36:56

Fichier

Delanoe_CAG-2014.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Philippe Delanoë. On the smoothness of the potential function in Riemannian optimal transport. Communications in Analysis and Geometry, 2015, 23 (1), pp.11-89. 〈10.4310/CAG.2015.v23.n1.a2〉. 〈hal-00957161v2〉

Partager

Métriques

Consultations de la notice

315

Téléchargements de fichiers

122