Implicit function theorems for generalized equations

We show that Lipschitz and differentiability properties of a solution to a parameterized generalized equation 0 f(x, y) + F(x), wheref is a function andF is a set-valued map acting in Banach spaces, are determined by the corresponding Lipschitz and differentiability properties of a solution toz g(x) + F(x), whereg strongly approximatesf in the sense of Robinson. In particular, the inverse map (f + F)^–1 has a local selection which is Lipschitz continuous nearx ₀ and Fréchet (Gateaux, Bouligand, directionally) differentiable atx ₀ if and only if the linearization inverse (f (x ₀) + f (x₀) (× – x₀) + F(×))^–1 has the same properties. As an application, we study directional differentiability of a solution to a variational inequality.This work was supported by National Science Foundation Grant Number DMS 9404431.