Preface |
|
vii | |
Introduction to optimal transport |
|
xiv | |
Acknowledgements |
|
xix | |
Notation |
|
xxv | |
|
1 Primal and dual problems |
|
|
1 | (58) |
|
1.1 Kantorovich and Monge problems |
|
|
1 | (8) |
|
|
9 | (4) |
|
1.3 The case c(x, y) = h(x -- y) for h strictly convex and the existence of an optimal T |
|
|
13 | (7) |
|
1.3.1 The quadratic case in Rd |
|
|
16 | (2) |
|
1.3.2 The quadratic case on the flat torus |
|
|
18 | (2) |
|
1.4 Counterexamples to existence |
|
|
20 | (1) |
|
1.5 Kantorovich as a relaxation of Monge |
|
|
21 | (4) |
|
1.6 c-concavity, duality and optimality |
|
|
25 | (16) |
|
1.6.1 Convex and c-concave functions |
|
|
25 | (3) |
|
1.6.2 c-Cyclical monotonicity and duality |
|
|
28 | (7) |
|
1.6.3 A direct proof of duality |
|
|
35 | (2) |
|
1.6.4 Sufficient conditions for optimality and stability |
|
|
37 | (4) |
|
|
41 | (18) |
|
1.7.1 Probabilistic interpretation |
|
|
41 | (1) |
|
1.7.2 Polar factorization |
|
|
42 | (2) |
|
1.7.3 Matching problems and economic interpretations |
|
|
44 | (4) |
|
1.7.4 Multi-marginal transport problems |
|
|
48 | (3) |
|
1.7.5 Martingale optimal transport and financial applications |
|
|
51 | (3) |
|
1.7.6 Monge-Ampere equations and regularity |
|
|
54 | (5) |
|
|
59 | (28) |
|
2.1 Monotone transport maps and plans in 1D |
|
|
59 | (4) |
|
2.2 The optimality of the monotone map |
|
|
63 | (4) |
|
|
67 | (5) |
|
2.4 Knothe as a limit of Brenier maps |
|
|
72 | (7) |
|
|
79 | (8) |
|
2.5.1 Histogram equalization |
|
|
79 | (2) |
|
2.5.2 Monotone maps from 1D constructions |
|
|
81 | (2) |
|
2.5.3 Isoperimetric inequality via Knothe or Brenier maps |
|
|
83 | (4) |
|
|
87 | (34) |
|
3.1 The Monge case, with cost |x - y| |
|
|
87 | (17) |
|
3.1.1 Duality for distance costs |
|
|
88 | (1) |
|
3.1.2 Secondary variational problem |
|
|
89 | (2) |
|
3.1.3 Geometric properties of transport rays |
|
|
91 | (8) |
|
3.1.4 Existence and nonexistence of an optimal transport map |
|
|
99 | (2) |
|
3.1.5 Approximation of the monotone transport |
|
|
101 | (3) |
|
3.2 The supremal case, L∞ |
|
|
104 | (5) |
|
|
109 | (12) |
|
3.3.1 Different norms and more general convex costs |
|
|
109 | (4) |
|
3.3.2 Concave costs (Lp, with 0 < p < 1) |
|
|
113 | (8) |
|
|
121 | (56) |
|
4.1 Eulerian and Lagrangian points of view |
|
|
121 | (6) |
|
4.1.1 Static and dynamical models |
|
|
121 | (2) |
|
4.1.2 The continuity equation |
|
|
123 | (4) |
|
|
127 | (17) |
|
4.2.1 Introduction, formal equivalences, and variants |
|
|
127 | (2) |
|
4.2.2 Producing a minimizer for the Beckmann Problem |
|
|
129 | (5) |
|
4.2.3 Traffic intensity and traffic flows for measures on curves |
|
|
134 | (6) |
|
4.2.4 Beckman problem in one dimension |
|
|
140 | (2) |
|
4.2.5 Characterization and uniqueness of the optimal w |
|
|
142 | (2) |
|
4.3 Summability of the transport density |
|
|
144 | (7) |
|
|
151 | (26) |
|
4.4.1 Congested transport |
|
|
151 | (11) |
|
|
162 | (15) |
|
|
177 | (42) |
|
5.1 Definition and triangle inequality |
|
|
179 | (4) |
|
5.2 Topology induced by Wp |
|
|
183 | (4) |
|
5.3 Curves in Wp and continuity equation |
|
|
187 | (15) |
|
5.3.1 The Benamou-Brenier functional Bp |
|
|
189 | (3) |
|
5.3.2 AC curves admit velocity fields |
|
|
192 | (2) |
|
5.3.3 Regularization of the continuity equation |
|
|
194 | (3) |
|
5.3.4 Velocity fields give Lipschitz behavior |
|
|
197 | (1) |
|
5.3.5 Derivative of Wpp along curves of measures |
|
|
198 | (4) |
|
5.4 Constant-speed geodesies in Wp |
|
|
202 | (5) |
|
|
207 | (12) |
|
|
207 | (2) |
|
5.5.2 Wasserstein and negative Sobolev distances |
|
|
209 | (2) |
|
5.5.3 Wasserstein and branched transport distances |
|
|
211 | (3) |
|
5.5.4 The sliced Wasserstein distance |
|
|
214 | (1) |
|
|
215 | (4) |
|
|
219 | (30) |
|
|
220 | (5) |
|
6.2 Angenent-Hacker-Tannenbaum |
|
|
225 | (7) |
|
6.3 Numerical solution of Monge-Ampere |
|
|
232 | (3) |
|
|
235 | (14) |
|
6.4.1 Discrete numerical methods |
|
|
235 | (7) |
|
6.4.2 Semidiscrete numerical methods |
|
|
242 | (7) |
|
7 Functionals over probabilities |
|
|
249 | (36) |
|
|
250 | (10) |
|
7.1.1 Potential, interaction, transport costs, dual norms |
|
|
250 | (4) |
|
|
254 | (6) |
|
7.2 Convexity, first variations, and subdifferentials |
|
|
260 | (9) |
|
|
263 | (1) |
|
|
264 | (3) |
|
7.2.3 Optimality conditions |
|
|
267 | (2) |
|
7.3 Displacement convexity |
|
|
269 | (7) |
|
7.3.1 Displacement convexity of V and W |
|
|
270 | (1) |
|
7.3.2 Displacement convexity of F |
|
|
271 | (4) |
|
7.3.3 Convexity on generalized geodesies |
|
|
275 | (1) |
|
|
276 | (9) |
|
7.4.1 A case study: min F(q) + W22(q, v) |
|
|
276 | (3) |
|
7.4.2 Brunn-Minkowski inequality |
|
|
279 | (1) |
|
|
280 | (5) |
|
|
285 | (40) |
|
8.1 Gradient flows in Rd and in metric spaces |
|
|
285 | (5) |
|
8.2 Gradient flows in W2, derivation of the PDE |
|
|
290 | (3) |
|
8.3 Analysis of the Fokker-Planck case |
|
|
293 | (8) |
|
|
301 | (24) |
|
8.4.1 EVI, uniqueness, and geodesic convexity |
|
|
301 | (3) |
|
8.4.2 Other gradient flow PDEs |
|
|
304 | (7) |
|
8.4.3 Dirichlet boundary conditions |
|
|
311 | (2) |
|
8.4.4 Evolution PDEs: not only gradient flows |
|
|
313 | (12) |
Exercises |
|
325 | (14) |
References |
|
339 | (12) |
Index |
|
351 | |