We generalize and improve the original characterization given by Valadier
[20, Theorem 1] of the subdifferential of the pointwise supremum of convex
functions, involving the subdifferentials of the data functions at nearby
points. We remove the continuity assumption made in that work and obtain a
general formula for such a subdifferential. In particular, when the supremum is
continuous at some point of its domain, but not necessarily at the reference
point, we get a simpler version which gives rise to Valadier formula. Our
starting result is the characterization given in [10, Theorem 4], which uses
the epsilon-subdiferential at the reference point.Comment: 23 page
