Sequential formula for subdifferential of upper envelope of convex functions

The paper provides a general description of the subdifferential of the upper envelope of a family of convex functions on a Banach space. Without any qualification condition, general sequential formulas are proved when the Banach space is finite dimensional or not. It is also shown how results under qualification condition in the literature can be derived from sequential ones.