On the local boundedness of maximal \(\mathrm{H}\)-monotone operators (Q343019)

For the Heisenberg group \(\mathbb{H}^{n}\) and \(V_{1}\cong \mathbb{R}^{2n}\), an operator \(T:\mathbb{H}^{n}\rightrightarrows V_{1}\) is said to be \textit{H-monotone} if, for each \(\eta \in \mathbb{H}^{n}\), \(\eta^{\prime}\in H_{\eta}\), \(v\in T_{\lambda}\left( \eta \right) \), and \(v^{\prime}\in T_{\lambda}\left( \eta^{\prime}\right) \), \[ \left \langle v-v^{\prime},\xi_{1}\left( \eta \right) -\xi_{1}\left( \eta^{\prime}\right) \right \rangle \geq0, \] where \(\left \langle \cdot,\cdot \right \rangle \) is the Euclidean inner product on \(V_{1}\), \(H_{\eta}\) is the the horizontal plane through \(\eta\), and \(\xi _{1}\) denotes canonical projection \(\xi_{1}(x,y,t)=(x,y)\) for each \((x,y,t)\in H_{\eta}\). The main results of the paper are the following. In Theorem 1, the authors prove that every maximal H-monotone map with full domain \(\mathbb{H}^{n}\) is locally bounded. In Theorem 2, they improve a version of Minty's surjectivity theorem from [\textit{A. Calogero} and \textit{R. Pini}, Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 104, 12--20 (2014; Zbl 1292.53021)]: Theorem. Suppose that \(T:\mathbb{H}^{n}\rightrightarrows V_{1}\) is a maximal H-monotone map, with \(\text{dom}\left( T\right) =\mathbb{H}^{n}\). Then \(T\) is locally bounded. Theorem. Suppose that \(T:\mathbb{H}^{n}\rightrightarrows V_{1}\) is an H-monotone map with \(\text{dom}\left( T\right) =\mathbb{H}^{n}\). Then the following statements are equivalent: {\parindent=0.6cm \begin{itemize}\item[(i)] \(T\)\ is maximal H-monotone; \item[(ii)] for each \(\eta \in \mathbb{H}^{n}\) and \(\lambda>0\), the map \(\left( \xi _{1}+\lambda T\right) ^{-1}\) is surjective onto \(V_{1}\). \end{itemize}}