Regularity of optimal transport maps on multiple products of spheres

Preprint English OPEN
Figalli, Alessio ; Kim, Young-Heon ; McCann, Robert J. (2010)
  • Subject: 35J60, 35B65, 49K20, 49N60 | Mathematics - Analysis of PDEs | Mathematics - Differential Geometry

This article addresses regularity of optimal transport maps for cost="squared distance" on Riemannian manifolds that are products of arbitrarily many round spheres with arbitrary sizes and dimensions. Such manifolds are known to be non-negatively cross-curved [KM2]. Under boundedness and non-vanishing assumptions on the transfered source and target densities we show that optimal maps stay away from the cut-locus (where the cost exhibits singularity), and obtain injectivity and continuity of optimal maps. This together with the result of Liu, Trudinger and Wang [LTW] also implies higher regularity (C^{1,\alpha}/C^\infty) of optimal maps for more smooth (C^\alpha /C^\infty)) densities. These are the first global regularity results which we are aware of concerning optimal maps on non-flat Riemannian manifolds which possess some vanishing sectional curvatures. Moreover, such product manifolds have potential relevance in statistics (see [S]) and in statistical mechanics (where the state of a system consisting of many spins is classically modeled by a point in the phase space obtained by taking many products of spheres). For the proof we apply and extend the method developed in [FKM1], where we showed injectivity and continuity of optimal maps on domains in R^n for smooth non-negatively cross-curved cost. The major obstacle in the present paper is to deal with the non-trivial cut-locus and the presence of flat directions.
  • References (7)

    L. A. Caffarelli, Some regularity properties of solutions of Monge Amp`ere equation. Comm. Pure Appl. Math., 44 (1991), no. 8-9, 965-969.

    L. A. Caffarelli, The regularity of mapping with a convex potential. J. Amer. Math. Soc., 5 (1992), 99-104.

    L. A. Caffarelli, Boundary regularity of maps with convex potentials II. Ann. of Math., 144 (1996), 453-496.

    L. A. Caffarelli, Monotonicity properties of optimal transportation and the FKG and related inequalities. Comm. Math. Phys., 214 (2000), no. 3, 547-563.

    D. Cordero-Erausquin, Sur le transport de mesures p´eriodiques. C. R. Acad. Sci. Paris S`er. I Math., 329 (1999), 199-202.

    N. Trudinger and X.-J. Wang, On the second boundary value problem for MongeAmp`ere type equations and optimal transportation. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 8 (2009), no. 1, 143-174.

    J. Urbas, On the second boundary value problem for equations of Monge-Amp`ere type. J. Reine Angew. Math., 487 (1997), 115-124.

  • Metrics
    No metrics available