On the regularity of solutions of optimal transportation problems
 Grégoire Loeper
 … show all 1 hide
Rent the article at a discount
Rent now* Final gross prices may vary according to local VAT.
Get AccessAbstract
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 costsectional curvature being nonnegative. We show that when the cost function is the squared distance of a Riemannian manifold, the costsectional curvature yields the sectional curvature. As a consequence, if the manifold does not have nonnegative sectional curvature everywhere, the optimal transport map cannot be continuous for arbitrary smooth positive data. The nonnegativity of the costsectional curvature is shown to be equivalent to the connectedness of the contact set between any costconvex function (the proper generalization of a convex function) and any of its supporting functions. When the costsectional 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.
 Brenier, Y (1991) Polar factorization and monotone rearrangement of vectorvalued functions. Comm. Pure Appl. Math. 44: pp. 375417 CrossRef
 Cabré, X (1997) Nondivergent elliptic equations on manifolds with nonnegative curvature. Comm. Pure Appl. Math. 50: pp. 623665 CrossRef
 Caffarelli, LA (1990) Interior W 2,p estimates for solutions of the Monge–Ampère equation. Ann. of Math. 131: pp. 135150 CrossRef
 Caffarelli, LA (1990) A localization property of viscosity solutions to the Monge–Ampère equation and their strict convexity. Ann. of Math. 131: pp. 129134 CrossRef
 Caffarelli, LA (1991) Some regularity properties of solutions of Monge Ampère equation. Comm. Pure Appl. Math. 44: pp. 965969 CrossRef
 Caffarelli, LA (1992) Boundary regularity of maps with convex potentials. Comm. Pure Appl. Math. 45: pp. 11411151 CrossRef
 Caffarelli, LA (1992) The regularity of mappings with a convex potential. J. Amer. Math. Soc. 5: pp. 99104 CrossRef
 Caffarelli, LA (1996) Allocation maps with general cost functions. Partial Differential Equations and Applications. Dekker, New York, pp. 2935
 Caffarelli, LA (1996) Boundary regularity of maps with convex potentials. II. Ann. of Math. 144: pp. 453496 CrossRef
 Caffarelli, LA, Cabré, X (1995) Fully Nonlinear Elliptic Equations. Amer. Math. Soc, Providence, RI
 Caffarelli, LA, Gutiérrez, CE, Huang, Q (2008) On the regularity of reflector antennas. Ann. of Math. 167: pp. 299323 CrossRef
 CorderoErausquin, D, McCann, RJ, Schmuckenschläger, M (2001) A Riemannian interpolation inequality à la Borell. Brascamp and Lieb. Invent. Math. 146: pp. 219257 CrossRef
 Delanoë, P (1991) Classical solvability in dimension two of the second boundaryvalue problem associated with the Monge–Ampère operator. Ann. Inst. H. Poincaré Anal. Non Linéaire 8: pp. 443457
 Delanoë, P (2004) Gradient rearrangement for diffeomorphisms of a compact manifold. Differential Geom. Appl. 20: pp. 145165 CrossRef
 Delanoë, P, Loeper, G (2006) Gradient estimates for potentials of invertible gradientmappings on the sphere. Calc. Var. Partial Differential Equations 26: pp. 297311 CrossRef
 Gangbo, W, McCann, RJ (1996) The geometry of optimal transportation. Acta Math. 177: pp. 113161 CrossRef
 Gangbo, W, McCann, RJ (2000) Shape recognition via Wasserstein distance. Quart. Appl. Math. 58: pp. 705737
 Gilbarg, D, Trudinger, NS (1983) Elliptic Partial Differential Equations of Second Order. Springer, Berlin–Heidelberg
 Guan, P, Wang, XJ (1998) On a Monge–Ampère equation arising in geometric optics. J. Differential Geom. 48: pp. 205223
 Kim, Y.H. & McCann, R. J., Continuity, curvature, and the general covariance of optimal transportation. To appear in J. Eur. Math. Soc.
 Knott, M, Smith, CS (1984) On the optimal mapping of distributions. J. Optim. Theory Appl. 43: pp. 3949 CrossRef
 Loeper, G., On the regularity of solutions of optimal transportation problems: the sphere and the reflector antenna. To appear in Arch. Ration. Mech. Anal.
 Lott, J, Villani, C (2009) Ricci curvature for metricmeasure spaces via optimal transport. Ann. of Math. 169: pp. 903991 CrossRef
 Ma, XN, Trudinger, NS, Wang, XJ (2005) Regularity of potential functions of the optimal transportation problem. Arch. Ration. Mech. Anal. 177: pp. 151183 CrossRef
 McCann, RJ (2001) Polar factorization of maps on Riemannian manifolds. Geom. Funct. Anal. 11: pp. 589608 CrossRef
 Otto, F, Villani, C (2000) Generalization of an inequality by Talagrand and links with the logarithmic Sobolev inequality. J. Funct. Anal. 173: pp. 361400 CrossRef
 Sturm, KT (2006) On the geometry of metric measure spaces. I, II. Acta Math. 196: pp. 65131 CrossRef
 Trudinger, NS (2006) Recent developments in elliptic partial differential equations of Monge–Ampère type. International Congress of Mathematicians. Vol. III. Eur. Math. Soc, Zürich, pp. 291301
 Trudinger, NS, Wang, XJ (2009) On strict convexity and continuous differentiability of potential functions in optimal transportation. Arch. Ration. Mech. Anal. 192: pp. 403418 CrossRef
 Trudinger, NS, Wang, XJ (2009) On the second boundary value problem for Monge–Ampère type equations and optimal transportation. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 8: pp. 143174
 Urbas, J (1997) On the second boundary value problem for equations of Monge–Ampère type. J. Reine Angew. Math. 487: pp. 115124
 Urbas, J (1998) Mass transfer problems. Lecture Notes, University of Bonn
 Villani, C (2003) Topics in Optimal Transportation. Amer. Math. Soc, Providence, RI
 Villani, C (2009) Optimal Transport. Springer, Berlin–Heidelberg
 Wang, XJ (1995) Some counterexamples to the regularity of Monge–Ampère equations. Proc. Amer. Math. Soc. 123: pp. 841845 CrossRef
 Wang, XJ (1996) On the design of a reflector antenna. Inverse Problems 12: pp. 351375 CrossRef
 Wang, XJ (2004) On the design of a reflector antenna. II. Calc. Var. Partial Differential Equations 20: pp. 329341 CrossRef
 Title
 On the regularity of solutions of optimal transportation problems
 Journal

Acta Mathematica
Volume 202, Issue 2 , pp 241283
 Cover Date
 20090601
 DOI
 10.1007/s1151100900378
 Print ISSN
 00015962
 Online ISSN
 18712509
 Publisher
 Springer Netherlands
 Additional Links
 Topics
 Industry Sectors
 Authors

 Grégoire Loeper ^{(1)}
 Author Affiliations

 1. Institut Camille Jordan, Université Claude Bernard Lyon 1, 43 boulevard du 11 novembre 1918, FR69622, Villeurbanne cedex, France