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… 

Hölder Continuity and Injectivity of Optimal Maps

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

    Cale Rankin
    Mathematics
    Calculus of Variations and Partial Differential Equations
  • 2021
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

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

Optimal transport and the Gauss curvature equation

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

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

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

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

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

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

Continuity and injectivity of optimal maps for non-negatively cross-curved costs

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

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

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

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

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

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

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

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

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