Regularity of monotone transport maps between unbounded domains (Q2335359)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Regularity of monotone transport maps between unbounded domains
scientific article

    Statements

    Regularity of monotone transport maps between unbounded domains (English)
    0 references
    0 references
    14 November 2019
    0 references
    Given two Borel probability measures \(\mu\) and \(\nu\) on \(\mathbb{R}^n\), with \(\mu\) absolutely continuous with respect to the Lebesgue measure, it is known [\textit{R. J. McCann}, Duke Math. J. 80, No. 2, 309--323 (1995; Zbl 0873.28009)] that there exists a lower semi-continuous convex function \(u : \mathbb R^n \to \mathbb R \cup \{\infty\}\) such that \(T := \nabla u\) pushes forward \( \mu \) onto \(\nu\), that is, \(\nu(A)=\mu(T^{-1}(A))\), \(A\subset \mathrm{Im}(T)\). The monotone map \( T \) is called a \textit{transport map}, or as the authors name it, the \textit{Brenier-McCann map}. Under the conditions \(d \mu(x)=f(x)dx\), \(d\nu(y)= g(y) dy\) and several additional assumptions, the function \( u \) satisfies the Monge-Ampère equation \[ \det\left(D^2 u\right)=\frac{f}{g \circ (\nabla u)} \] in the weak sense. Consequently, this enables to apply the regularity theory that was developed by \textit{L. A. Caffarelli} to this equation [J. Am. Math. Soc. 5, No. 1, 99--104 (1992; Zbl 0753.35031)]. Using this it was shown that \(u\in C_{\mathrm{loc}}^{1,\alpha}(X)\cap W_{\mathrm{loc}}^{2,1+\epsilon}(X)\) under the conditions that \(f:X\to \mathbb R^+\), \(g:\mathbb R^n \to\mathbb R^+\) are bounded away from zero and infinity, the sets \(X,Y\subset \mathbb R^n\) are bounded and \(Y\) is convex (see e.g. [\textit{G. De Philippis} and the second author, Bull. Am. Math. Soc., New Ser. 51, No. 4, 527--580 (2014; Zbl 06377770)]). The main achievement of the preset paper is the relaxation of some of the restrictions above, in particular, the boundedness of the of the sets \(X\) and \(Y\). Since the sets are no longer bounded, the authors require that \(f,1/ f\in L^\infty(X\cap B_R)\), \(g,1/ g\in L^\infty(Y\cap B_R)\) for any \(R>0\), and necessarily \(Y\) is convex. In case \(n=2\) no further restrictions are needed, but for \(n\geq 3\), one of the followings should be satisfied: (a) \(X=\mathbb R^n\); (b) \(Y\) is bounded; (c) \(X=Y\); (d) \(X\) is locally uniformly convex. Then essentially the same regularity result holds, namely, \(u\in C^{1,\alpha}(X')\cap W^{2,1+\epsilon}(X')\) for any \(X'\Subset X\).
    0 references
    optimal transport maps
    0 references
    unbounded domains
    0 references
    Monge-Ampère equation
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references