Error bounds for 2-regular mappings with Lipschitzian derivatives and their applications (Q5930735)

The paper is concerned with local estimates of the distance to a subset of a Banach space defined by equality constraints. Let \(X, Y\) be Banach spaces, \(V\) an open set in \(X\), \({\bar x} \in V\) and \(F: X \to Y\) a Frechet differentiable mapping with Lipschitz continuous derivative \(F'(x)\). Assume that the subspace \(Y_1=\text{ im} F'({\bar x})\) is closed and possesses the complementarity subspace \(Y_2 \subset Y\). The mapping \(F\) is said to be 2--regular if \(\text{ im} \Psi_2 (h)=Y\) for all \(h\in \text{ ker}F'({\bar x}), (PF')'({\bar x};h)h=0\), where \(\Psi_2 (h)\xi=F'({\bar x})\xi+ (PF')'({\bar x};h)\xi\), \((PF')'({\bar x};h)=\lim_{t \to 0+} t^{-1}(PF'({\bar x}+th)-PF'({\bar x}))\) and \(P\) is the projector in \(Y\) onto \(Y_2\) parallel to \(Y_1\). The main result says that there exists a neighborhood \(U \subset V\) of \(\bar x\) and a constant \(M\) such that for all \(x \in U\) \(\text{ dist}(x,F^{-1}(F({\bar x}))) \leq M (\|(I_Y-P)(F(x)-F({\bar x}))\|+ \|x-{\bar x} \|^{-1} \|P(F(x)-F({\bar x}))\|)\). Applications to nonlinear complementarity problems and convergence rate analysis of the exterior penalty method are discussed.