Acta Mathematica

, Volume 202, Issue 2, pp 241–283 | Cite as

On the regularity of solutions of optimal transportation problems

Article

Abstract

We give a necessary and sufficient condition on the cost function so that the map solution of Monge’s optimal transportation problem is continuous for arbitrary smooth positive data. This condition was first introduced by Ma, Trudinger and Wang [24], [30] for a priori estimates of the corresponding Monge–Ampère equation. It is expressed by a socalled cost-sectional curvature being non-negative. We show that when the cost function is the squared distance of a Riemannian manifold, the cost-sectional curvature yields the sectional curvature. As a consequence, if the manifold does not have non-negative sectional curvature everywhere, the optimal transport map cannot be continuous for arbitrary smooth positive data. The non-negativity of the cost-sectional curvature is shown to be equivalent to the connectedness of the contact set between any cost-convex function (the proper generalization of a convex function) and any of its supporting functions. When the cost-sectional curvature is uniformly positive, we obtain that optimal maps are continuous or Hölder continuous under quite weak assumptions on the data, compared to what is needed in the Euclidean case. This case includes the quadratic cost on the round sphere.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Brenier, Y., Polar factorization and monotone rearrangement of vector-valued functions. Comm. Pure Appl. Math., 44 (1991), 375–417.MATHCrossRefMathSciNetGoogle Scholar
  2. [2]
    Cabré, X., Nondivergent elliptic equations on manifolds with nonnegative curvature. Comm. Pure Appl. Math., 50 (1997), 623–665.MATHCrossRefMathSciNetGoogle Scholar
  3. [3]
    Caffarelli, L. A., Interior W 2,p estimates for solutions of the Monge–Ampère equation. Ann. of Math., 131 (1990), 135–150.CrossRefMathSciNetGoogle Scholar
  4. [4]
    — A localization property of viscosity solutions to the Monge–Ampère equation and their strict convexity. Ann. of Math., 131 (1990), 129–134.CrossRefMathSciNetGoogle Scholar
  5. [5]
    — Some regularity properties of solutions of Monge Ampère equation. Comm. Pure Appl. Math., 44 (1991), 965–969.MATHCrossRefMathSciNetGoogle Scholar
  6. [6]
    — Boundary regularity of maps with convex potentials. Comm. Pure Appl. Math., 45 (1992), 1141–1151.MATHCrossRefMathSciNetGoogle Scholar
  7. [7]
    — The regularity of mappings with a convex potential. J. Amer. Math. Soc., 5 (1992), 99–104.MATHCrossRefMathSciNetGoogle Scholar
  8. [8]
    — Allocation maps with general cost functions, in Partial Differential Equations and Applications, Lecture Notes in Pure and Appl. Math., 177, pp. 29–35. Dekker, New York, 1996.Google Scholar
  9. [9]
    — Boundary regularity of maps with convex potentials. II. Ann. of Math., 144 (1996), 453–496.MATHCrossRefMathSciNetGoogle Scholar
  10. [10]
    Caffarelli, L. A. & Cabré, X., Fully Nonlinear Elliptic Equations. American Mathematical Society Colloquium Publications, 43. Amer. Math. Soc., Providence, RI, 1995.MATHGoogle Scholar
  11. [11]
    Caffarelli, L.A., Gutiérrez, C.E. & Huang, Q., On the regularity of reflector antennas. Ann. of Math., 167 (2008), 299–323.MATHCrossRefMathSciNetGoogle Scholar
  12. [12]
    Cordero-Erausquin, D., McCann, R. J. & Schmuckenschläger, M., A Riemannian interpolation inequality à la Borell, Brascamp and Lieb. Invent. Math., 146 (2001), 219–257.MATHCrossRefGoogle Scholar
  13. [13]
    Delanoë, P., Classical solvability in dimension two of the second boundary-value problem associated with the Monge–Ampère operator. Ann. Inst. H. Poincaré Anal. Non Linéaire, 8 (1991), 443–457.MATHGoogle Scholar
  14. [14]
    — Gradient rearrangement for diffeomorphisms of a compact manifold. Differential Geom. Appl., 20 (2004), 145–165.MATHCrossRefMathSciNetGoogle Scholar
  15. [15]
    Delanoë, P. & Loeper, G., Gradient estimates for potentials of invertible gradientmappings on the sphere. Calc. Var. Partial Differential Equations, 26 (2006), 297–311.MATHCrossRefMathSciNetGoogle Scholar
  16. [16]
    Gangbo, W. & McCann, R. J., The geometry of optimal transportation. Acta Math., 177 (1996), 113–161.MATHCrossRefMathSciNetGoogle Scholar
  17. [17]
    — Shape recognition via Wasserstein distance. Quart. Appl. Math., 58 (2000), 705–737.MATHMathSciNetGoogle Scholar
  18. [18]
    Gilbarg, D. & Trudinger, N. S., Elliptic Partial Differential Equations of Second Order. Grundlehren der Mathematischen Wissenschaften, 224. Springer, Berlin–Heidelberg, 1983.MATHGoogle Scholar
  19. [19]
    Guan, P. & Wang, X.-J., On a Monge–Ampère equation arising in geometric optics. J. Differential Geom., 48 (1998), 205–223.MATHMathSciNetGoogle Scholar
  20. [20]
    Kim, Y.-H. & McCann, R. J., Continuity, curvature, and the general covariance of optimal transportation. To appear in J. Eur. Math. Soc. Google Scholar
  21. [21]
    Knott, M. & Smith, C. S., On the optimal mapping of distributions. J. Optim. Theory Appl., 43 (1984), 39–49.MATHCrossRefMathSciNetGoogle Scholar
  22. [22]
    Loeper, G., On the regularity of solutions of optimal transportation problems: the sphere and the reflector antenna. To appear in Arch. Ration. Mech. Anal. Google Scholar
  23. [23]
    Lott, J. & Villani, C., Ricci curvature for metric-measure spaces via optimal transport. Ann. of Math., 169 (2009), 903–991.CrossRefMathSciNetGoogle Scholar
  24. [24]
    Ma, X.-N., Trudinger, N. S. & Wang, X.-J., Regularity of potential functions of the optimal transportation problem. Arch. Ration. Mech. Anal., 177 (2005), 151–183.MATHCrossRefMathSciNetGoogle Scholar
  25. [25]
    McCann, R. J., Polar factorization of maps on Riemannian manifolds. Geom. Funct. Anal., 11 (2001), 589–608.MATHCrossRefMathSciNetGoogle Scholar
  26. [26]
    Otto, F. & Villani, C., Generalization of an inequality by Talagrand and links with the logarithmic Sobolev inequality. J. Funct. Anal., 173 (2000), 361–400.MATHCrossRefMathSciNetGoogle Scholar
  27. [27]
    Sturm, K.-T., On the geometry of metric measure spaces. I, II. Acta Math., 196 (2006), 65–131, 133–177.MATHCrossRefMathSciNetGoogle Scholar
  28. [28]
    Trudinger, N. S., Recent developments in elliptic partial differential equations of Monge–Ampère type, in International Congress of Mathematicians. Vol. III, pp. 291–301. Eur. Math. Soc., Zürich, 2006.Google Scholar
  29. [29]
    Trudinger, N. S. & Wang, X.-J., On strict convexity and continuous differentiability of potential functions in optimal transportation. Arch. Ration. Mech. Anal., 192 (2009), 403–418.CrossRefGoogle Scholar
  30. [30]
    — On the second boundary value problem for Monge–Ampère type equations and optimal transportation. Ann. Scuola Norm. Sup. Pisa Cl. Sci., 8 (2009), 143–174.Google Scholar
  31. [31]
    Urbas, J., On the second boundary value problem for equations of Monge–Ampère type. J. Reine Angew. Math., 487 (1997), 115–124.MATHMathSciNetGoogle Scholar
  32. [32]
    — Mass transfer problems. Lecture Notes, University of Bonn, 1998.Google Scholar
  33. [33]
    Villani, C., Topics in Optimal Transportation. Graduate Studies in Mathematics, 58. Amer. Math. Soc., Providence, RI, 2003.MATHGoogle Scholar
  34. [34]
    Optimal Transport. Old and New. Grundlehren der Mathematischen Wissenschaften, 338. Springer, Berlin–Heidelberg, 2009.MATHGoogle Scholar
  35. [35]
    Wang, X.-J., Some counterexamples to the regularity of Monge–Ampère equations. Proc. Amer. Math. Soc., 123 (1995), 841–845.MATHCrossRefMathSciNetGoogle Scholar
  36. [36]
    — On the design of a reflector antenna. Inverse Problems, 12 (1996), 351–375.MATHCrossRefMathSciNetGoogle Scholar
  37. [37]
    — On the design of a reflector antenna. II. Calc. Var. Partial Differential Equations, 20 (2004), 329–341.MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Institut Mittag-Leffler 2009

Authors and Affiliations

  1. 1.Institut Camille JordanUniversité Claude Bernard Lyon 1Villeurbanne cedexFrance

Personalised recommendations