|
Lecture 1 Preliminary Notions and the Monge Problem |
|
|
1 | (12) |
|
1 Notation and Preliminary Results |
|
|
1 | (5) |
|
2 Monge's Formulation of the Optimal Transport Problem |
|
|
6 | (7) |
|
Lecture 2 The Kantorovich Problem |
|
|
13 | (10) |
|
1 Kantorovich's Formulation of the Optimal Transport Problem |
|
|
13 | (1) |
|
2 Transport Plans Versus Transport Maps |
|
|
14 | (2) |
|
3 Advantages of Kantorovich's Formulation |
|
|
16 | (2) |
|
4 Existence of Optimal Plans |
|
|
18 | (5) |
|
Lecture 3 The Kantorovich-Rubinstein Duality |
|
|
23 | (12) |
|
|
24 | (3) |
|
2 Proof of Duality via Fenchel-Rockafellar |
|
|
27 | (2) |
|
3 The Theory of c-Duality |
|
|
29 | (2) |
|
4 Proof of Duality and Dual Attainment for Bounded and Continuous Cost Functions |
|
|
31 | (4) |
|
Lecture 4 Necessary and Sufficient Optimality Conditions |
|
|
35 | (1) |
|
1 Duality and Necessary/Sufficient Optimality Conditions for Lower Semicontinuous Costs |
|
|
35 | (8) |
|
2 Remarks About Necessary and Sufficient Optimality Conditions |
|
|
38 | (1) |
|
3 Remarks About c-Cyclical Monotonicity, c-Concavity and c-Transforms for Special Costs |
|
|
39 | (1) |
|
|
39 | (1) |
|
|
40 | (1) |
|
6 Convex Costs on the Real Line |
|
|
40 | (3) |
|
Lecture 5 Existence of Optimal Maps and Applications |
|
|
43 | (10) |
|
1 Existence of Optimal Transport Maps |
|
|
43 | (4) |
|
2 A Digression About Monge's Problem |
|
|
47 | (2) |
|
|
49 | (2) |
|
4 Iterated Monotone Rearrangement |
|
|
51 | (2) |
|
Lecture 6 A Proof of the Isoperimetric Inequality and Stability in Optimal Transport |
|
|
53 | (12) |
|
1 Isoperimetric Inequality |
|
|
53 | (6) |
|
2 Stability of Optimal Plans and Maps |
|
|
59 | (6) |
|
Lecture 7 The Monge-Ampere Equation and Optimal Transport on Riemannian Manifolds |
|
|
65 | (12) |
|
1 A General Change of Variables Formula |
|
|
65 | (3) |
|
2 The Monge-Ampere Equation |
|
|
68 | (4) |
|
3 Optimal Transport on Riemannian Manifolds |
|
|
72 | (5) |
|
Lecture 8 The Metric Side of Optimal Transport |
|
|
77 | (10) |
|
1 The Distance W2 in P2(X) |
|
|
77 | (3) |
|
2 Completeness of (P2(X), W2) |
|
|
80 | (2) |
|
3 Characterization of Convergence in (P2(X), W2) and Applications |
|
|
82 | (5) |
|
Lecture 9 Analysis on Metric Spaces and the Dynamic Formulation of Optimal Transport |
|
|
87 | (8) |
|
1 Absolutely Continuous Curves and Their Metric Derivative |
|
|
87 | (4) |
|
|
91 | (2) |
|
3 Dynamic Reformulation of the Optimal Transport Problem |
|
|
93 | (2) |
|
Lecture 10 Wasserstein Geodesies, Nonbranching and Curvature |
|
|
95 | (14) |
|
1 Lower Semicontinuity of the Action A2 |
|
|
95 | (2) |
|
2 Compactness Criterion for Curves and Random Curves |
|
|
97 | (2) |
|
3 Lifting of Geodesies from X to p2(X) |
|
|
99 | (10) |
|
Lecture 11 Gradient Flows: An Introduction |
|
|
109 | (16) |
|
|
110 | (1) |
|
2 Differentiability of Absolutely Continuous Curves |
|
|
111 | (2) |
|
|
113 | (12) |
|
Lecture 12 Gradient Flows: The Brezis-Komura Theorem |
|
|
125 | (12) |
|
1 Maximal Monotone Operators |
|
|
125 | (1) |
|
2 The Implicit Euler Scheme |
|
|
126 | (2) |
|
3 Reduction to Initial Conditions with Finite Energy |
|
|
128 | (2) |
|
|
130 | (7) |
|
Lecture 13 Examples of Gradient Flows in PDEs |
|
|
137 | (10) |
|
1 p-Laplace Equation, Heat Equation in Domains, Fokker-Planck Equation |
|
|
138 | (2) |
|
2 The Heat Equation in Riemannian Manifolds |
|
|
140 | (1) |
|
3 Dual Sobolev Space H-1 and Heat Flow in H-1 |
|
|
141 | (6) |
|
Lecture 14 Gradient Flows: The EDE and EDI Formulations |
|
|
147 | (14) |
|
1 EDE, EDI Solutions and Upper Gradients |
|
|
147 | (3) |
|
2 Existence of EDE, EDI Solutions |
|
|
150 | (3) |
|
3 Proof of Theorem 14.7 via Variational Interpolation |
|
|
153 | (8) |
|
Lecture 15 Semicontinuity and Convexity of Energies in the Wasserstein Space |
|
|
161 | (22) |
|
1 Semicontinuity of Internal Energies |
|
|
161 | (6) |
|
2 Convexity of Internal Energies |
|
|
167 | (4) |
|
3 Potential Energy Functional |
|
|
171 | (2) |
|
|
173 | (1) |
|
5 Functional Inequalities via Optimal Transport |
|
|
174 | (9) |
|
Lecture 16 The Continuity Equation and the Hopf-Lax Semigroup |
|
|
183 | (16) |
|
1 Continuity Equation and Transport Equation |
|
|
183 | (6) |
|
2 Continuity Equation of Geodesies in the Wasserstein Space |
|
|
189 | (1) |
|
|
190 | (9) |
|
Lecture 17 The Benamou-Brenier Formula |
|
|
199 | (12) |
|
1 Benamou-Brenier Formula |
|
|
199 | (8) |
|
2 Correspondence Between Absolutely Continuous Curves in P2(Kn) and Solutions to the Continuity Equation |
|
|
207 | (4) |
|
Lecture 18 An Introduction to Otto's Calculus |
|
|
211 | (18) |
|
|
211 | (1) |
|
2 Formal Interpretation of Some Evolution Equations as Wasserstein Gradient Flows |
|
|
212 | (5) |
|
3 Rigorous Interpretation of the Heat Equation as a Wasserstein Gradient Flow |
|
|
217 | (6) |
|
4 More Recent Ideas and Developments |
|
|
223 | (6) |
|
Lecture 19 Heat Flow, Optimal Transport and Ricci Curvature |
|
|
229 | (16) |
|
1 Heat Flow on Riemannian Manifolds |
|
|
230 | (5) |
|
2 Heat Flow, Optimal Transport and Ricci Curvature |
|
|
235 | (10) |
References |
|
245 | |