Partial regularity for optimal transport maps (Q2354708)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Partial regularity for optimal transport maps |
scientific article |
Statements
Partial regularity for optimal transport maps (English)
0 references
20 July 2015
0 references
The authors study some problems related to the regularity of optimal transportation maps in optimal transport theory. They show that, even without any condition on the cost function or on the supports of the densities, optimal transport maps are always smooth outside a closed singular set of measure zero. There are some basic assumptions on the cost functions which are needed to ensure existence and uniqueness of optimal maps. Let \(X,Y\) be two open sets in \(\mathbb R^n\). Then, the basic assumptions are: (C0) the cost function \(c:X\times Y\to \mathbb{R}\) is of class \(C^2\) with \(\|c\|_{C^2(X\times Y)}<\infty\), (C1) for any \(x\in X\), the map \(Y\ni y\mapsto -D_xc(x,y)\in \mathbb{R}^n\) is injective, (C2) for any \(y\in Y\), the map \(X\ni x \mapsto -D_yc(x,y)\in \mathbb{R}^n\) is injective, (C3) det\((D_{xy})c(x,y)\neq 0\) for all \((x,y)\in X\times Y\). The main results are: Theorem 1.3. Let \(X,Y\subset \mathbb{R}^n\) be two bounded open sets, and let \(f:X\to \mathbb{R}^+\) and \(g:Y\to \mathbb{R}^+\) be two continuous probability densities, respectively, bounded away from zero and infinity on \(X\) and \(Y\). Assume that \(c:X\times Y\to \mathbb{R}\) satisfies (C0)-(C3), and denote by \(T:X\to Y\) the unique optimal transport map sending \(f\) to \(g\). Then, there exist two relatively closed sets \(\Sigma_X\subset X, \;\Sigma_Y\subset Y\) of measure zero such that \(T:X\setminus \Sigma_X\to Y\setminus \Sigma_y\) is a homeomorphism of class \(C_{loc}^{0,\beta}\) for any \(\beta <1\). In addition, if \(c\in C_{loc}^{k+2,\alpha}(X\times Y)\) and \(g\in C_{loc}^{k,\alpha}(Y)\) for some \(k\geq 0\), and \(\alpha\in (0,1)\), then \(T:X\setminus \Sigma_X\to Y\setminus \Sigma_y\) is a diffeomorphism of class \(C_{loc}^{k+1,\alpha}\). In Theorem 1.4 the corresponding result is obtained for two continuous probability densities \(f,g\) defined on a smooth Riemannian manifold \(M\) and the optimal transport map \(T:M\to M\) for the cost \(c=d^2/2\), where \(d\) is the Riemannian distance.
0 references
optimal transport maps
0 references
partial regularity
0 references
comparison principle
0 references
probability densities
0 references
Riemannian manifold
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references