Calculus of variations and optimal control; optimization Definition
Displacement convexity
Builds on Brenier's theoremPushforward measureAbsolutely continuous measureConvex function
Definition
Let be the set of Borel probability measures on with finite second moment that are absolutely continuous with respect to Lebesgue measure. For , let be the optimal map from to given by Brenier's theorem. The displacement interpolation between them is the curve where denotes the pushforward. A functional is displacement convex if, for all , the function is convex on .
Remarks
Example: let be convex and . Then , and the integrand is convex in for each , so is displacement convex.
Non-example: on , let , let be uniform on and uniform on . The optimal map is , so is uniform on and , which is strictly concave in .
The interpolation is a constant-speed geodesic for the Wasserstein distance , so displacement convexity is convexity along -geodesics. The functional is -displacement convex, for a real , if is convex. McCann showed that the entropy of a density is displacement convex on . The interaction energy with convex is also displacement convex. It need not be convex in the usual sense: for it equals twice the variance of , which is concave under mixtures .
Reading path
To understand this page from the ground up, read these 21 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Absolutely continuous measure concept
- Borel sigma-algebra concept
- Convex function concept
- Coupling concept
- Euclidean space object
- Function concept
- Measure concept
- Monge–Ampère equation concept
- Probability measure concept
- Pushforward measure concept
- Topological space concept
- Wasserstein metric concept
- Total derivative concept
- Function of several variables concept
- Borel measure definition
- Differentiable function of several variables concept
- Partial derivative concept
- Optimal transport and the Monge problem problem
- Gradient concept
- Brenier's theorem statement
- Displacement convexity definition
Further reading
About this page
| Tag | PDP7CHN4B4 |
|---|---|
| URI | m2://PDP7CHN4B4 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 49Q22, 52A41, 35K55 |
| Defines | Displacement convexity |
| Uses | Brenier's theorem, Pushforward measure, Absolutely continuous measure, Convex function |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.