Regularity of monotone transport maps between unbounded domains (Q2335359)

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\).