On the local geometry of maps with c-convex potentials
@article{Guillen2012OnTL, title={On the local geometry of maps with c-convex potentials}, author={Nestor Guillen and Jun Kitagawa}, journal={Calculus of Variations and Partial Differential Equations}, year={2012}, volume={52}, pages={345-387} }
We identify a condition for regularity of optimal transport maps that requires only three derivatives of the cost function, for measures given by densities that are only bounded above and below. This new condition is equivalent to the weak Ma–Trudinger–Wang condition when the cost is $$C^4$$C4. Moreover, we only require (non-strict) $$c$$c-convexity of the support of the target measure, removing the hypothesis of strong $$c$$c-convexity in a previous result of Figalli et al., but at the added…
25 Citations
Hölder Continuity and Injectivity of Optimal Maps
- 2011
Mathematics
Consider transportation of one distribution of mass onto another, chosen to optimize the total expected cost, where cost per unit mass transported from x to y is given by a smooth function c(x, y).…
Strict convexity and $$C^1$$ regularity of solutions to generated Jacobian equations in dimension two
- 2021
Mathematics
Calculus of Variations and Partial Differential Equations
We present a proof of strict $g$-convexity in 2D for solutions of generated Jacobian equations with a $g$-Monge-Ampere measure bounded away from 0. Subsequently this implies $C^1$ differentiability…
Free Discontinuities in Optimal Transport
- 2019
Mathematics
Archive for Rational Mechanics and Analysis
We prove a nonsmooth implicit function theorem applicable to the zero set of the difference of convex functions. This theorem is explicit and global: it gives a formula representing this zero set as…
Strict convexity and C1,α regularity of potential functions in optimal transportation under condition A3w
- 2016
Mathematics
Optimal transport and the Gauss curvature equation
- 2020
Mathematics
Methods and Applications of Analysis
In this short note, we consider the problem of prescribing the Gauss curvature and image of the Gauss map for the graph of a function over a domain in Euclidean space. The prescription of the image…
Strict $g$-convexity for generated Jacobian equations with applications to global regularity
- 2021
Mathematics
This article has two purposes. The first is to prove solutions of the second boundary value problem for generated Jacobian equations (GJEs) are strictly 6-convex. The second is to prove the global 3…
The geometry of positively curved Kähler metrics on tube domains
- 2020
Mathematics
In this article, we study a class of K\"ahler manifolds defined on tube domains in $\mathbb{C}^n$, and in particular those which have $O(n) \times \mathbb{R}^n$ symmetry. For these, we prove a…
Multi‐to One‐Dimensional Optimal Transport
- 2017
Mathematics
We consider the Monge‐Kantorovich problem of transporting a probability density on ℝm to another on the line, so as to optimize a given cost function. We introduce a nestedness criterion relating the…
Pointwise inequalities in geometric optics and other generated Jacobian equations
- 2015
Mathematics
The study of reflector surfaces in geometric optics necessitates the analysis of certain nonlinear equations of Monge-Amp\`ere type known as generated Jacobian equations. These equations, whose…
When optimal transport meets information geometry
- 2022
Mathematics
Information Geometry
Information geometry and optimal transport are two distinct geometric frameworks for modeling families of probability measures. During the recent years, there has been a surge of research endeavors…
42 References
Continuity and injectivity of optimal maps for non-negatively cross-curved costs
- 2009
Mathematics
Consider transportation of one distribution of mass onto another, chosen to optimize the total expected cost, where cost per unit mass transported from x to y is given by a smooth function c(x, y).…
On the regularity of solutions of optimal transportation problems
- 2009
Mathematics
We give a necessary and sufficient condition on the cost function so that the map solution of Monge’s optimal transportation problem is continuous for arbitrary smooth positive data. This condition…
Regularity of optimal transport in curved geometry: The nonfocal case
- 2010
Mathematics
We explore some geometric and analytic consequences of a curvature condition introduced by Ma, Trudinger and Wang in relation to the smoothness of optimal transport in curved geometry. We discuss a…
Regularity of optimal transport maps on multiple products of spheres
- 2010
Mathematics
This article addresses regularity of optimal transport maps for cost=“squared distance” on Riemannian manifolds that are products of arbitrarily many round spheres with arbitrary sizes and…
Hölder Continuity and Injectivity of Optimal Maps
- 2011
Mathematics
Consider transportation of one distribution of mass onto another, chosen to optimize the total expected cost, where cost per unit mass transported from x to y is given by a smooth function c(x, y).…
Continuity, curvature, and the general covariance of optimal transportation
- 2007
Mathematics
Let M and M be n-dimensional manifolds equipped with suitable Borel probability measures ρ and ρ. For subdomains M and M of Rn, Ma, Trudinger & Wang gave sufficient conditions on a transportation…
The regularity of mappings with a convex potential
- 1992
Mathematics
In this work, we apply the techniques developed in [Cl] to the problem of mappings with a convex potential between domains. That is, given two bounded domains Q, Q2 of Rn and two nonnegative real…
NECESSARY AND SUFFICIENT CONDITIONS FOR CONTINUITY OF OPTIMAL TRANSPORT MAPS ON RIEMANNIAN MANIFOLDS
- 2011
Mathematics
In this paper we continue the investigation of the regularity of optimal transport maps on Riemannian manifolds, in relation with the geometric conditions of Ma-Trudinger-Wang and the geometry of the…
Regularity of optimal transport on compact, locally nearly spherical, manifolds
- 2010
Mathematics
Abstract Given a couple of smooth positive measures of same total mass on a compact connected Riemannian manifold M, we look for a smooth optimal transportation map G, pushing one measure to the…