2014, 34(4): 1339-1353. doi: 10.3934/dcds.2014.34.1339

On the twist condition and $c$-monotone transport plans

1. 

Université de Toulon, IMATH, EA 2134, 83957 La Garde, France

2. 

Dipartimento di Matematica Applicata, Università di Pisa, Via Filippo Buonarroti 1/c, 56127 Pisa, Italy

Received  October 2012 Revised  March 2013 Published  October 2013

A usual approach for proving the existence of an optimal transport map, be it in ${\mathbb R}^d$ or on more general manifolds, involves a regularity condition on the transport cost (the so-called Left Twist condition, i.e. the invertibility of the gradient in the first variable) as well as the fact that any optimal transport plan is supported on a cyclically-monotone set. Under the classical assumption that the initial measure does not give mass to sets with $\sigma$-finite $\mathcal{H}^{d-1}$ measure and a stronger regularity condition on the cost (the Strong Left Twist), we provide a short and self-contained proof of the fact that any feasible transport plan (optimal or not) satisfying a $c$-monotonicity assumption is induced by a transport map. We also show that the usual costs induced by Tonelli Lagrangians satisfy the Strong Left Twist condition we propose.
Citation: Thierry Champion, Luigi De Pascale. On the twist condition and $c$-monotone transport plans. Discrete & Continuous Dynamical Systems - A, 2014, 34 (4) : 1339-1353. doi: 10.3934/dcds.2014.34.1339
References:
[1]

Luigi Ambrosio, Lecture notes on optimal transport problems,, in, 1812 (2003), 1. doi: 10.1007/978-3-540-39189-0_1.

[2]

Luigi Ambrosio and Aldo Pratelli, Existence and stability results in the $L^1$ theory of optimal transportation,, in, 1813 (2003), 123. doi: 10.1007/978-3-540-44857-0_5.

[3]

Patrick Bernard and Boris Buffoni, Optimal mass transportation and Mather theory,, J. Eur. Math. Soc. (JEMS), 9 (2007), 85. doi: 10.4171/JEMS/74.

[4]

Yann Brenier, Décomposition polaire et réarrangement monotone des champs de vecteurs,, C. R. Acad. Sci. Paris Sér. I Math., 305 (1987), 805.

[5]

Luis A. Caffarelli, Allocation maps with general cost functions,, in, 177 (1996), 29.

[6]

Guillaume Carlier, Duality and existence for a class of mass transportation problems and economic applications,, in, 5 (2003), 1. doi: 10.1007/978-4-431-53979-7_1.

[7]

Laura Caravenna, A proof of Sudakov theorem with strictly convex norms,, Math. Z., 268 (2011), 371. doi: 10.1007/s00209-010-0677-6.

[8]

Thierry Champion and Luigi De Pascale, The Monge problem for strictly convex norms in $\mathbbR^d$,, J. Eur. Math. Soc. (JEMS), 12 (2010), 1355. doi: 10.4171/JEMS/234.

[9]

______, The Monge problem in $\mathbbR^d$,, Duke Math. J., 157 (2011), 551. doi: 10.1215/00127094-1272939.

[10]

______, The Monge problem in $\mathbbR^d$: Variations on a theme,, Journal of Mathematical Sciences, 181 (2012), 856. doi: 10.1007/s10958-012-0719-1.

[11]

Thierry Champion, Luigi De Pascale and Petri Juutinen, The $\infty$-Wasserstein distance: Local solutions and existence of optimal transport maps,, SIAM J. Math. Anal., 40 (2008), 1. doi: 10.1137/07069938X.

[12]

Dario Cordero-Erausquin, Sur le transport de mesures périodiques,, C. R. Acad. Sci. Paris Sér. I Math., 329 (1999), 199. doi: 10.1016/S0764-4442(00)88593-6.

[13]

Luis A. Caffarelli, Mikhail Feldman and Robert J. McCann, Constructing optimal maps for Monge's transport problem as a limit of strictly convex costs,, J. Amer. Math. Soc., 15 (2002), 1. doi: 10.1090/S0894-0347-01-00376-9.

[14]

L. C. Evans and W. Gangbo, Differential equations methods for the Monge-Kantorovich mass transfer problem,, Mem. Amer. Math. Soc., 137 (1999). doi: 10.1090/memo/0653.

[15]

Albert Fathi and Alessio Figalli, Optimal transportation on non-compact manifolds,, Israel J. Math., 175 (2010), 1. doi: 10.1007/s11856-010-0001-5.

[16]

Alessio Figalli, Existence, uniqueness, and regularity of optimal transport maps,, SIAM J. Math. Anal., 39 (2007), 126. doi: 10.1137/060665555.

[17]

_______, The Monge problem on non-compact manifolds,, Rend. Semin. Mat. Univ. Padova, 117 (2007), 147.

[18]

Wilfrid Gangbo and Robert J. McCann, Optimal maps in Monge's mass transport problem,, C. R. Acad. Sci. Paris Sér. I Math., 321 (1995), 1653.

[19]

_______, The geometry of optimal transportation,, Acta Math., 177 (1996), 113. doi: 10.1007/BF02392620.

[20]

Nassif Ghoussoub and Abbas Moameni, A self-dual polar factorization for vector fields,, Comm. Pure Appl. Math., 66 (2013), 905. doi: 10.1002/cpa.21430.

[21]

L. V. Kantorovith, On the translocation of masses,, C. R. (Dokl.) Acad. Sci. URSS (N. S.), 37 (1942), 199.

[22]

_______, On a problem of Monge,, (in Russian) Uspekhi Mat. Nauk., 3 (1948), 225.

[23]

Eckehard Krauss, A representation of arbitrary maximal monotone operators via subgradients of skew-symmetric saddle functions,, Nonlinear Analysis, 9 (1985), 1381. doi: 10.1016/0362-546X(85)90097-5.

[24]

Vladimir Levin, Abstract cyclical monotonicity and Monge solutions for the general Monge-Kantorovich problem,, Set-Valued Anal., 7 (1999), 7. doi: 10.1023/A:1008753021652.

[25]

Robert J. McCann, Polar factorization of maps on Riemannian manifolds,, Geom. Funct. Anal., 11 (2001), 589. doi: 10.1007/PL00001679.

[26]

Gaspard Monge, "Mémoire sur la Théorie des Déblais et des Remblais,", Histoire de l'Académie des Sciences de Paris, (1781).

[27]

A. Pratelli, On the sufficiency of $c$-cyclical monotonicity for optimality of transport plans,, Math. Z., 258 (2008), 677. doi: 10.1007/s00209-007-0191-7.

[28]

L. Rüschendorf and S. T. Rachev, A characterization of random variables with minimum $L^2$-distance,, J. Multivariate Anal., 32 (1990), 48. doi: 10.1016/0047-259X(90)90070-X.

[29]

Ludger Rüschendorf, On $c$-optimal random variables,, Statist. Probab. Lett., 27 (1996), 267. doi: 10.1016/0167-7152(95)00078-X.

[30]

Walter Schachermayer and Josef Teichmann, Characterization of optimal transport plans for the Monge-Kantorovich problem,, Proc. Amer. Math. Soc., 137 (2009), 519. doi: 10.1090/S0002-9939-08-09419-7.

[31]

Neil S. Trudinger and Xu-Jia Wang, On the Monge mass transfer problem,, Calc. Var. Partial Differential Equations, 13 (2001), 19. doi: 10.1007/PL00009922.

[32]

Cédric Villani, Topics in optimal transportation,, Graduate Studies in Mathematics, 58 (2003). doi: 10.1007/b12016.

[33]

_______, "Optimal Transport. Old and New,", Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 338 (2009). doi: 10.1007/978-3-540-71050-9.

show all references

References:
[1]

Luigi Ambrosio, Lecture notes on optimal transport problems,, in, 1812 (2003), 1. doi: 10.1007/978-3-540-39189-0_1.

[2]

Luigi Ambrosio and Aldo Pratelli, Existence and stability results in the $L^1$ theory of optimal transportation,, in, 1813 (2003), 123. doi: 10.1007/978-3-540-44857-0_5.

[3]

Patrick Bernard and Boris Buffoni, Optimal mass transportation and Mather theory,, J. Eur. Math. Soc. (JEMS), 9 (2007), 85. doi: 10.4171/JEMS/74.

[4]

Yann Brenier, Décomposition polaire et réarrangement monotone des champs de vecteurs,, C. R. Acad. Sci. Paris Sér. I Math., 305 (1987), 805.

[5]

Luis A. Caffarelli, Allocation maps with general cost functions,, in, 177 (1996), 29.

[6]

Guillaume Carlier, Duality and existence for a class of mass transportation problems and economic applications,, in, 5 (2003), 1. doi: 10.1007/978-4-431-53979-7_1.

[7]

Laura Caravenna, A proof of Sudakov theorem with strictly convex norms,, Math. Z., 268 (2011), 371. doi: 10.1007/s00209-010-0677-6.

[8]

Thierry Champion and Luigi De Pascale, The Monge problem for strictly convex norms in $\mathbbR^d$,, J. Eur. Math. Soc. (JEMS), 12 (2010), 1355. doi: 10.4171/JEMS/234.

[9]

______, The Monge problem in $\mathbbR^d$,, Duke Math. J., 157 (2011), 551. doi: 10.1215/00127094-1272939.

[10]

______, The Monge problem in $\mathbbR^d$: Variations on a theme,, Journal of Mathematical Sciences, 181 (2012), 856. doi: 10.1007/s10958-012-0719-1.

[11]

Thierry Champion, Luigi De Pascale and Petri Juutinen, The $\infty$-Wasserstein distance: Local solutions and existence of optimal transport maps,, SIAM J. Math. Anal., 40 (2008), 1. doi: 10.1137/07069938X.

[12]

Dario Cordero-Erausquin, Sur le transport de mesures périodiques,, C. R. Acad. Sci. Paris Sér. I Math., 329 (1999), 199. doi: 10.1016/S0764-4442(00)88593-6.

[13]

Luis A. Caffarelli, Mikhail Feldman and Robert J. McCann, Constructing optimal maps for Monge's transport problem as a limit of strictly convex costs,, J. Amer. Math. Soc., 15 (2002), 1. doi: 10.1090/S0894-0347-01-00376-9.

[14]

L. C. Evans and W. Gangbo, Differential equations methods for the Monge-Kantorovich mass transfer problem,, Mem. Amer. Math. Soc., 137 (1999). doi: 10.1090/memo/0653.

[15]

Albert Fathi and Alessio Figalli, Optimal transportation on non-compact manifolds,, Israel J. Math., 175 (2010), 1. doi: 10.1007/s11856-010-0001-5.

[16]

Alessio Figalli, Existence, uniqueness, and regularity of optimal transport maps,, SIAM J. Math. Anal., 39 (2007), 126. doi: 10.1137/060665555.

[17]

_______, The Monge problem on non-compact manifolds,, Rend. Semin. Mat. Univ. Padova, 117 (2007), 147.

[18]

Wilfrid Gangbo and Robert J. McCann, Optimal maps in Monge's mass transport problem,, C. R. Acad. Sci. Paris Sér. I Math., 321 (1995), 1653.

[19]

_______, The geometry of optimal transportation,, Acta Math., 177 (1996), 113. doi: 10.1007/BF02392620.

[20]

Nassif Ghoussoub and Abbas Moameni, A self-dual polar factorization for vector fields,, Comm. Pure Appl. Math., 66 (2013), 905. doi: 10.1002/cpa.21430.

[21]

L. V. Kantorovith, On the translocation of masses,, C. R. (Dokl.) Acad. Sci. URSS (N. S.), 37 (1942), 199.

[22]

_______, On a problem of Monge,, (in Russian) Uspekhi Mat. Nauk., 3 (1948), 225.

[23]

Eckehard Krauss, A representation of arbitrary maximal monotone operators via subgradients of skew-symmetric saddle functions,, Nonlinear Analysis, 9 (1985), 1381. doi: 10.1016/0362-546X(85)90097-5.

[24]

Vladimir Levin, Abstract cyclical monotonicity and Monge solutions for the general Monge-Kantorovich problem,, Set-Valued Anal., 7 (1999), 7. doi: 10.1023/A:1008753021652.

[25]

Robert J. McCann, Polar factorization of maps on Riemannian manifolds,, Geom. Funct. Anal., 11 (2001), 589. doi: 10.1007/PL00001679.

[26]

Gaspard Monge, "Mémoire sur la Théorie des Déblais et des Remblais,", Histoire de l'Académie des Sciences de Paris, (1781).

[27]

A. Pratelli, On the sufficiency of $c$-cyclical monotonicity for optimality of transport plans,, Math. Z., 258 (2008), 677. doi: 10.1007/s00209-007-0191-7.

[28]

L. Rüschendorf and S. T. Rachev, A characterization of random variables with minimum $L^2$-distance,, J. Multivariate Anal., 32 (1990), 48. doi: 10.1016/0047-259X(90)90070-X.

[29]

Ludger Rüschendorf, On $c$-optimal random variables,, Statist. Probab. Lett., 27 (1996), 267. doi: 10.1016/0167-7152(95)00078-X.

[30]

Walter Schachermayer and Josef Teichmann, Characterization of optimal transport plans for the Monge-Kantorovich problem,, Proc. Amer. Math. Soc., 137 (2009), 519. doi: 10.1090/S0002-9939-08-09419-7.

[31]

Neil S. Trudinger and Xu-Jia Wang, On the Monge mass transfer problem,, Calc. Var. Partial Differential Equations, 13 (2001), 19. doi: 10.1007/PL00009922.

[32]

Cédric Villani, Topics in optimal transportation,, Graduate Studies in Mathematics, 58 (2003). doi: 10.1007/b12016.

[33]

_______, "Optimal Transport. Old and New,", Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 338 (2009). doi: 10.1007/978-3-540-71050-9.

[1]

Abbas Moameni. Invariance properties of the Monge-Kantorovich mass transport problem. Discrete & Continuous Dynamical Systems - A, 2016, 36 (5) : 2653-2671. doi: 10.3934/dcds.2016.36.2653

[2]

Zuo Quan Xu, Jia-An Yan. A note on the Monge-Kantorovich problem in the plane. Communications on Pure & Applied Analysis, 2015, 14 (2) : 517-525. doi: 10.3934/cpaa.2015.14.517

[3]

Jesus Garcia Azorero, Juan J. Manfredi, I. Peral, Julio D. Rossi. Limits for Monge-Kantorovich mass transport problems. Communications on Pure & Applied Analysis, 2008, 7 (4) : 853-865. doi: 10.3934/cpaa.2008.7.853

[4]

Giuseppe Buttazzo, Eugene Stepanov. Transport density in Monge-Kantorovich problems with Dirichlet conditions. Discrete & Continuous Dynamical Systems - A, 2005, 12 (4) : 607-628. doi: 10.3934/dcds.2005.12.607

[5]

Nassif Ghoussoub, Bernard Maurey. Remarks on multi-marginal symmetric Monge-Kantorovich problems. Discrete & Continuous Dynamical Systems - A, 2014, 34 (4) : 1465-1480. doi: 10.3934/dcds.2014.34.1465

[6]

Kaizhi Wang, Yong Li. Existence and monotonicity property of minimizers of a nonconvex variational problem with a second-order Lagrangian. Discrete & Continuous Dynamical Systems - A, 2009, 25 (2) : 687-699. doi: 10.3934/dcds.2009.25.687

[7]

Christian Léonard. A survey of the Schrödinger problem and some of its connections with optimal transport. Discrete & Continuous Dynamical Systems - A, 2014, 34 (4) : 1533-1574. doi: 10.3934/dcds.2014.34.1533

[8]

Luis Bayón, Jose Maria Grau, Maria del Mar Ruiz, Pedro Maria Suárez. A hydrothermal problem with non-smooth Lagrangian. Journal of Industrial & Management Optimization, 2014, 10 (3) : 761-776. doi: 10.3934/jimo.2014.10.761

[9]

Qinglan Xia, Shaofeng Xu. On the ramified optimal allocation problem. Networks & Heterogeneous Media, 2013, 8 (2) : 591-624. doi: 10.3934/nhm.2013.8.591

[10]

Hang-Chin Lai, Jin-Chirng Lee, Shuh-Jye Chern. A variational problem and optimal control. Journal of Industrial & Management Optimization, 2011, 7 (4) : 967-975. doi: 10.3934/jimo.2011.7.967

[11]

Jingang Xiong, Jiguang Bao. The obstacle problem for Monge-Ampère type equations in non-convex domains. Communications on Pure & Applied Analysis, 2011, 10 (1) : 59-68. doi: 10.3934/cpaa.2011.10.59

[12]

Shouchuan Hu, Haiyan Wang. Convex solutions of boundary value problem arising from Monge-Ampère equations. Discrete & Continuous Dynamical Systems - A, 2006, 16 (3) : 705-720. doi: 10.3934/dcds.2006.16.705

[13]

Jingzhen Liu, Ka Fai Cedric Yiu, Alain Bensoussan. The optimal mean variance problem with inflation. Discrete & Continuous Dynamical Systems - B, 2016, 21 (1) : 185-203. doi: 10.3934/dcdsb.2016.21.185

[14]

Ali Fuat Alkaya, Dindar Oz. An optimal algorithm for the obstacle neutralization problem. Journal of Industrial & Management Optimization, 2017, 13 (2) : 835-856. doi: 10.3934/jimo.2016049

[15]

Ellina Grigorieva, Evgenii Khailov, Andrei Korobeinikov. An optimal control problem in HIV treatment. Conference Publications, 2013, 2013 (special) : 311-322. doi: 10.3934/proc.2013.2013.311

[16]

John C. Schotland, Vadim A. Markel. Fourier-Laplace structure of the inverse scattering problem for the radiative transport equation. Inverse Problems & Imaging, 2007, 1 (1) : 181-188. doi: 10.3934/ipi.2007.1.181

[17]

Urszula Ledzewicz, Heinz Schättler. Drug resistance in cancer chemotherapy as an optimal control problem . Discrete & Continuous Dynamical Systems - B, 2006, 6 (1) : 129-150. doi: 10.3934/dcdsb.2006.6.129

[18]

Jingzhen Liu, Ka-Fai Cedric Yiu, Kok Lay Teo. Optimal investment-consumption problem with constraint. Journal of Industrial & Management Optimization, 2013, 9 (4) : 743-768. doi: 10.3934/jimo.2013.9.743

[19]

Louis Caccetta, Ian Loosen, Volker Rehbock. Computational aspects of the optimal transit path problem. Journal of Industrial & Management Optimization, 2008, 4 (1) : 95-105. doi: 10.3934/jimo.2008.4.95

[20]

Giulia Cavagnari, Antonio Marigonda, Benedetto Piccoli. Optimal synchronization problem for a multi-agent system. Networks & Heterogeneous Media, 2017, 12 (2) : 277-295. doi: 10.3934/nhm.2017012

2016 Impact Factor: 1.099

Metrics

  • PDF downloads (2)
  • HTML views (0)
  • Cited by (0)

Other articles
by authors

[Back to Top]