Local regularity result for an optimal transportation problem with rough measures in the plane

DOI10.1016/J.JFA.2021.109041zbMATH Open1462.35158arXiv1911.00574OpenAlexW3155924879MaRDI QIDQ2020107FDOQ2020107

Authors: Pierre-Emmanuel Jabin, Antoine Mellet, M. Molina-Fructuoso 

Publication date: 23 April 2021

Published in: Journal of Functional Analysis (Search for Journal in Brave)

Abstract: We investigate the properties of convex functions in the plane that satisfy a local inequality which generalizes the notion of sub-solution of Monge-Ampere equation for a Monge-Kantorovich problem with quadratic cost between non-absolutely continuous measures. For each measure, we introduce a discrete scale so that the measure behaves as an absolutely continuous measure up to that scale. Our main theorem then proves that such convex functions cannot exhibit any flat part at a scale larger than the corresponding discrete scales on the measures. This, in turn, implies a $C^1$ regularity result up to the discrete scale for the Legendre transform. Our result applies in particular to any Kantorovich potential associated to an optimal transportation problem between two measures that are (possibly only locally) sums of uniformly distributed Dirac masses. The proof relies on novel explicit estimates directly based on the optimal transportation problem, instead of the Monge-Ampere equation.

Full work available at URL: https://arxiv.org/abs/1911.00574

Recommendations

• Partial \(W^{2,p}\) regularity for optimal transport maps
• Regularity properties of monotone measure-preserving maps
• \(C^{1}\) regularity of solutions of the Monge-Ampère equation for optimal transport in dimension two
• Regularity of potential functions of the optimal transportation problem
• Regularity of optimal transport between planar convex domains

zbMATH Keywords

convex functionssingular measuresnon-convex domainssub-solution of the Monge-Ampère equation

Mathematics Subject Classification ID

Monge-Ampère equations (35J96)

Cites Work

• Polar factorization and monotone rearrangement of vector‐valued functions
• Convex Analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A localization property of viscosity solutions to the Monge-Ampère equation and their strict convexity
• Some regularity properties of solutions of Monge Ampère equation
• Über die Differentialungleichung \(0<\alpha \leqq rt-s^2 \leqq \beta< \infty\)
• On the translocation of masses
• Partial regularity for optimal transport maps
• Regularity properties of optimal maps between nonconvex domains in the plane
• The Regularity of Mappings with a Convex Potential
• The Monge-Ampère equation
• Boundary regularity of maps with convex potentials. II
• Partial regularity of Brenier solutions of the Monge-Ampère equation
• The equivariant Minkowski problem in Minkowski space
• Singular Set of a Convex Potential in Two Dimensions
• Boundary regularity of maps with convex potentials
• Regularity of optimal transport maps and applications

Cited In (4)

• Dealing with moment measures via entropy and optimal transport
• Local semiconvexity of Kantorovich potentials on non-compact manifolds
• On supporting hyperplanes to convex bodies
• Non-smooth differential properties of optimal transport

This page was built for publication: Local regularity result for an optimal transportation problem with rough measures in the plane

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2020107)