Lipschitz functions on Banach spaces which are actually defined on Asplund spaces (Q1387483)

Suppose \(G\) is a non-empty subset of the dual space \(E^*\) of a Banach space \(E\). We say that \(G\) has the Radon-Nikodým property (RNP) if for any bounded subset \(A\supset G\), and \(\varepsilon>0\), there exists \(x\neq 0\in E\) and \(\alpha> 0\) such that \(\text{diam }S(A,x,\alpha)< \varepsilon\), where \(S(A,x,\alpha)= \{x^*\in A:\langle x^*, x\rangle> \sigma_A(x)- \alpha\}\), and \(\sigma_A\) is the support function of \(A\), \(\sigma_A(z)= \sup\{\langle x^*,z\rangle: x^*\in A\}\), \(z\in E\). If \(f\) is an extended real-valued convex function defined on a none-empty open convex subset \(D\) of \(E\), and \(x_0\in D\), we say that \[ \partial f(x_0)= \{x^*\in E^*: f(x)- f(x_0)\geq \langle x^*, x-x_0\rangle, \forall x\in D\} \] is the subdifferential of \(f\) at \(x_0\), and \(\partial f\) is the subdifferential map of \(f\). If \(f\) is an extended real-valued function defined on a non-empty open subset \(D\) of \(E\), and \(x_0\in D\), we say that \[ \partial_K f(x_0)= \Biggl\{x^*\in E^*: \langle x^*, y\rangle\leq \limsup_{\substack{ x\to x_0\\ t\searrow 0}} {f(x+ ty)- f(x)\over t}, \forall y\in E\Biggr\} \] is the Clarke subdifferential of \(f\) at \(x_0\), and \(\partial_K f\) is the Clarke subdifferential map. In this paper it is shown that under a suitable condition a Lipschitz function satisfying that the \(w^*\) closed convex hull of the image of its Clarke subdifferential map having RNP must be defined on an Asplund space (Banach space on which every continuous convex function is Fréchet differentiable on a dense \(G_\delta\) set). Theorem: Suppose \(f\) is a locally Lipschitz function defined on a non-empty open subset \(D\) of a Banach space \(E\), and that the \(w^*\) closed convex hull of the image of its Clarke subdifferential map has the RNP. Then for any \(x_0\in D\), there exists a neighbourhood \(U\) of \(x_0\) in \(D\), within a quotient map of a closed subspace in a level set of \(f\), an Asplund space \((\overline E,\overline p)\) and a Lipschitz function \(\overline f\) on \((\overline E,\overline p)\) such that \(\overline E\supset E\) and \(f=\overline f\) on \(U\). In particular, if \(f\) is Lipschitzian on the whole \(D\), we can take \(U= D\). Corollary: Suppose \(f\) is a Lipschitz function defined on the space \(E\) and that the \(w^*\) closed convex hull of the image of its Clarke subdifferential map has the RNP. Then, in the sense of Theorem, there exists an Asplund space \((\overline E,\overline p)\) and a Lipschitz function \(\overline f\) on it such that \(\overline E\supset E\), \((E,\overline p)\) is dense in \((\overline E,\overline p)\) and \(f=\overline f\) on \(E\).