eBook ISBN: | 978-1-4704-4278-1 |
Product Code: | MEMO/251/1197.E |
List Price: | $78.00 |
MAA Member Price: | $70.20 |
AMS Member Price: | $47.00 |
eBook ISBN: | 978-1-4704-4278-1 |
Product Code: | MEMO/251/1197.E |
List Price: | $78.00 |
MAA Member Price: | $70.20 |
AMS Member Price: | $47.00 |
-
Book DetailsMemoirs of the American Mathematical SocietyVolume: 251; 2018; 112 ppMSC: Primary 28; 49
The authors consider the original strategy proposed by Sudakov for solving the Monge transportation problem with norm cost \(|\cdot|_{D^*}\) \[\min \bigg\{ \int |\mathtt T(x) - x|_{D^*} d\mu(x), \ \mathtt T : \mathbb{R}^d \to \mathbb{R}^d, \ \nu = \mathtt T_\# \mu \bigg\},\] with \(\mu\), \(\nu\) probability measures in \(\mathbb{R}^d\) and \(\mu\) absolutely continuous w.r.t. \(\mathcal{L}^d\). The key idea in this approach is to decompose (via disintegration of measures) the Kantorovich optimal transportation problem into a family of transportation problems in \(Z_\alpha\times \mathbb{R}^d\), where \(\{Z_\alpha\}_{\alpha\in\mathfrak{A}} \subset \mathbb{R}^d\) are disjoint regions such that the construction of an optimal map \(\mathtt T_\alpha : Z_\alpha \to \mathbb{R}^d\) is simpler than in the original problem, and then to obtain \(\mathtt T\) by piecing together the maps \(\mathtt T_\alpha\). When the norm \(|{\cdot}|_{D^*}\) is strictly convex, the sets \(Z_\alpha\) are a family of \(1\)-dimensional segments determined by the Kantorovich potential called optimal rays, while the existence of the map \(\mathtt T_\alpha\) is straightforward provided one can show that the disintegration of \(\mathcal L^d\) (and thus of \(\mu\)) on such segments is absolutely continuous w.r.t. the \(1\)-dimensional Hausdorff measure. When the norm \(|{\cdot}|_{D^*}\) is not strictly convex, the main problems in this kind of approach are two: first, to identify a suitable family of regions \(\{Z_\alpha\}_{\alpha\in\mathfrak{A}}\) on which the transport problem decomposes into simpler ones, and then to prove the existence of optimal maps.
In this paper the authors show how these difficulties can be overcome, and that the original idea of Sudakov can be successfully implemented.
The results yield a complete characterization of the Kantorovich optimal transportation problem, whose straightforward corollary is the solution of the Monge problem in each set \(Z_\alpha\) and then in \(\mathbb{R}^d\). The strategy is sufficiently powerful to be applied to other optimal transportation problems.
-
Table of Contents
-
Chapters
-
1. Introduction
-
2. General notations and definitions
-
3. Directed locally affine partitionson cone-Lipschitz foliations
-
4. Proof of Theorem 1.1
-
5. From ${\tilde {\mathbf C}}^k$-fibrations to linearly ordered ${\tilde {\mathbf C}}^k$-Lipschitz foliations
-
6. Proof of Theorems -.
-
A. Minimality of equivalence relations
-
B. Notation
-
C. Index of definitions
-
-
Additional Material
-
RequestsReview Copy – for publishers of book reviewsPermission – for use of book, eBook, or Journal contentAccessibility – to request an alternate format of an AMS title
- Book Details
- Table of Contents
- Additional Material
- Requests
The authors consider the original strategy proposed by Sudakov for solving the Monge transportation problem with norm cost \(|\cdot|_{D^*}\) \[\min \bigg\{ \int |\mathtt T(x) - x|_{D^*} d\mu(x), \ \mathtt T : \mathbb{R}^d \to \mathbb{R}^d, \ \nu = \mathtt T_\# \mu \bigg\},\] with \(\mu\), \(\nu\) probability measures in \(\mathbb{R}^d\) and \(\mu\) absolutely continuous w.r.t. \(\mathcal{L}^d\). The key idea in this approach is to decompose (via disintegration of measures) the Kantorovich optimal transportation problem into a family of transportation problems in \(Z_\alpha\times \mathbb{R}^d\), where \(\{Z_\alpha\}_{\alpha\in\mathfrak{A}} \subset \mathbb{R}^d\) are disjoint regions such that the construction of an optimal map \(\mathtt T_\alpha : Z_\alpha \to \mathbb{R}^d\) is simpler than in the original problem, and then to obtain \(\mathtt T\) by piecing together the maps \(\mathtt T_\alpha\). When the norm \(|{\cdot}|_{D^*}\) is strictly convex, the sets \(Z_\alpha\) are a family of \(1\)-dimensional segments determined by the Kantorovich potential called optimal rays, while the existence of the map \(\mathtt T_\alpha\) is straightforward provided one can show that the disintegration of \(\mathcal L^d\) (and thus of \(\mu\)) on such segments is absolutely continuous w.r.t. the \(1\)-dimensional Hausdorff measure. When the norm \(|{\cdot}|_{D^*}\) is not strictly convex, the main problems in this kind of approach are two: first, to identify a suitable family of regions \(\{Z_\alpha\}_{\alpha\in\mathfrak{A}}\) on which the transport problem decomposes into simpler ones, and then to prove the existence of optimal maps.
In this paper the authors show how these difficulties can be overcome, and that the original idea of Sudakov can be successfully implemented.
The results yield a complete characterization of the Kantorovich optimal transportation problem, whose straightforward corollary is the solution of the Monge problem in each set \(Z_\alpha\) and then in \(\mathbb{R}^d\). The strategy is sufficiently powerful to be applied to other optimal transportation problems.
-
Chapters
-
1. Introduction
-
2. General notations and definitions
-
3. Directed locally affine partitionson cone-Lipschitz foliations
-
4. Proof of Theorem 1.1
-
5. From ${\tilde {\mathbf C}}^k$-fibrations to linearly ordered ${\tilde {\mathbf C}}^k$-Lipschitz foliations
-
6. Proof of Theorems -.
-
A. Minimality of equivalence relations
-
B. Notation
-
C. Index of definitions