Sequential Representation Formulae for G-Subdifferential and Clarke Subdifferential in Smooth Banach Spaces

We extend to smooth Banach spaces the proximal formula for Clarke subdifferential of lower semicontinuous function. In the process we also extend the representation of G-subdifferential and the singular G-subdifferential in terms of sequential limits of smooth subdifferentials of controlled rank