A characterisation of minimal subdifferential mappings of locally Lipschitz functions (Q1902177)

The author studies minimality properties of the Clarke subdifferential mapping. To be more precise, let \(X\) be a Banach space, with dual \(X^*\), and \(A\) an open subset of \(X\). A set-valued mapping \(\Phi: A\to 2^{X^*}\) is said to be a weak* cusco on \(A\) if it is weak* u.s.c. and the values of \(\Phi\) are nonempty weak* compact and convex. A weak* cusco on \(A\) is said to be a minimal weak* cusco on \(A\) if its graph does not contain the graph of any other weak* cusco on \(A\). The author establishes sufficient as well as necessary and sufficient conditions for the Clarke subdifferential mapping \(x\mapsto \partial f(x)\), where \(f\) is a locally Lipschitz function on \(A\), to be a minimal weak* cusco on \(A\). The crucial tool for deriving these results is the Lebesgue differentiation theorem.