Constrained open mapping theorem with applications (Q2431218)

The article deals with some modification of Graves' open mapping theorem for mappings which can be approximated at a reference point by set-valued ones with special properties. Let \((X,\|\cdot\|_X)\) and \((Y,\|\cdot\|_Y)\) be Banach spaces, \(K\) a nonempty closed bounded convex subset of \(X\), \(F:\;K \to Y\) a continuous mapping, \(x_0 \in K\). Further, let \(T:\;K - x_0 \rightrightarrows Y\) be a set-valued mapping the graph of which is star-shaped (with respect to \((0,0)\)) and \(\beta:\;(0,+\infty) \to [0,+\infty]\) a nondecreasing function such that \(\|F(k_1) - F(k_2) -z\|_Y \leq \beta(\varepsilon)\|k_1 - k_2\|_X\) for each \(\varepsilon > 0\), \(k_1,k_2 \in K \cap B_X(x_0,\varepsilon)\), \(k_1 - k_2 \in K - x_0\), and \(z \in T(k_1 - k_2)\). At last, let \(r > 0\), \(D \subset Y\), \(0 \in D\) a closed bounded convex set such that \(T(K - x_0) + D \supset B_Y(0,r)\) and, for some \(R > 0\) and \(\varepsilon_0 > 0\), \(K \subset B_X(x_0,R)\) and \(\varrho = r^{-1}r\beta(\varepsilon_0) < 1\). Then, for each \(\varepsilon\), \(0 < \varepsilon < \min \;\{\varepsilon_0,R\}\), \[ F(K \cap B_X(x_0,\varepsilon)) + R^{-1}\varepsilon D \supset B_Y(y_0,c\varepsilon), \quad c = (1 - \varrho)rR^{-1}. \] On the basis of this statement, the author obtains some constrained analogue of the fundamental Lyusternik theorem about tangent subspaces, necessary and sufficient conditions ensuring the existence of a differentiable selection for the inverse mapping, and also some generalization of a sufficient condition by J. Klamka on so-called constrained exact local controllability of nonlinear and semi-linear dynamic systems.