The regularity of monotone maps of finite compression (Q4342736)

Let \(\Omega_1\), \(\Omega_2\) be convex domains of \(\mathbb{R}^{n}\), and let \(Y:\Omega_1 \rightarrow \Omega_2\) be a maximal monotone map. Assume the following two conditions: (1) \(Y\) is \(\varepsilon\)-monotone, i.e., the inequality \[ \langle X_2-X_1,Y_2-Y_1\rangle \geq\varepsilon \langle X_2-X_3,Y_3-Y_1\rangle , \] and its dual \[ \langle X_2-X_1,Y_2-Y_1\rangle \geq\varepsilon \langle Y_2-Y_3,X_3-X_1\rangle \] holds for any three points \(X_1\), \(X_2\), \(X_3\) \(\in\Omega_1\), where \(Y_i=Y(X_i)\) \((i=1,2,3)\), and \(\langle \;,\;\rangle \) denotes the inner product. (2) \(Y\) is of controlled compression, i.e., there exists a positive constant \(\Lambda\) such that \(1/\Lambda \leq \| Y^{-1}(A)\| /\| A\| \leq \Lambda\) for any Borel set \(A \subset \Omega\), where \(\| \;\| \) denotes the Lebesgue measure. The author proves that under the above conditions, the map \(Y\) and its inverse \(Y^{-1}\) are \(\text{C}^{\alpha}\)-maps for some \(\alpha\).