A separation theorem for nonlinear inverse images of convex sets (Q1046925)

Let \(X, \; Y_0\) be Banach spaces, \(Q_0 \subseteq Y_0\) a nonempty convex set, \(Y_i\) normed linear spaces and \(Q_i \subseteq Y_i\) convex sets with nonempty interior for \(i \in \{1,\dots,n \}\). Let \(D \subset X\) be an open set, \(p \in D, \; F_0: D \rightarrow Y_0\) such that there exists a bounded surjective linear operator \(F_0' (p): X \rightarrow Y_0\) such that \( {\lim} _{(x,h) \rightarrow (p,0)} {{| F_0(x+h) - F_0(x) - F_0' (p) h| } \over {| h| }} = 0, \; F_i: D \rightarrow Y_i\) such that there exist \(L, \; r >0\) such that \(| F_i(x) - F_i(y)| \leq L | x-y| \) for all \(x, \; y \in B(p,r)\) and there exist bounded linear operators \(F_i' (p): X \rightarrow Y_i\) such that \(\lim _{(x,t) \rightarrow (p,0+)} {{F_i(x+tv) - F_i (x)} \over {t}} = F_i' (p) (v)\) for all \(v \in X, \; i \in \{1,\dots,n \}\). Assume that \(F_0 (p) \in Q_0, \; F_i (p) \in \overline{Q_i}\) for \(i \in \{1,\dots,n \}\) and there exists a neighbourhood \(U\) of \(p\) such that \(U \cap F_0 ^{-1} (Q_0) \cap \dots \cap F_n ^{-1} (Q_n) = \emptyset\). Then, for each \(\alpha \equiv (x_k, t_k)_{k \in \mathbb N}\), where \(x_k \in X\) and \(t_k > 0, \; x_k \rightarrow p, \; t_k \rightarrow 0\), such that there exist \(\lim {{F_i (x_k) - F_i (p)} \over {t_k}} \equiv D_ \alpha F_i (p)\) for \(i \in \{ 0,\dots,n \}\), there exist continuous linear functionals \({y_i}^* \in {Y_i}^*\) such that \({y_i}^*(y) \leq {y_i}^*(F_i(p))\) for all \(y \in Q_i\) for \(i \in \{0,\dots,n \}\), not all zero, \({y_0}^* \circ F_0' (p) + \dots + {y_n}^* \circ F_n' (p) = 0\) and \({y_0}^* (D_ \alpha F_0 (p)) + \dots + {y_n}^* (D_ \alpha F_n (p)) \geq 0\). The authors derive a variant of the Lagrange multiplier principle.