Generic Fréchet Differentiability on Asplund Spaces via A.E. Strict Differentiability on Many Lines

L. Zajícek

Journal of convex analysis, Tome 19 (2012) no. 1, pp. 23-48.

Résumé

\newcommand{\Rc}{{\cal R}} \newcommand{\Se}{{\cal S}} We prove that a locally Lipschitz function on an open subset $G$ of an Asplund space $X$, whose restrictions to ``many lines'' are essentially smooth (i.e., almost everywhere strictly differentiable), is generically Fr\' echet differentiable on $X$. In this way we obtain new proofs of known Fr\' echet differentiability properties of approximately convex functions, Lipschitz regular functions, saddle (or biconvex) Lipschitz functions, and essentially smooth functions (in the sense of Borwein and Moors), and also some new differentiability results (e.g., for partially DC functions). We show that classes of functions $\Se_e^{g}(G)$ and $\Rc_e^{g}(G)$ (defined via linear essential smoothness) are respectively larger than classes $\Se_e(G)$ (of essentially smooth functions) and $\Rc_e(G)$ studied by Borwein and Moors, and have also nice properties. In particular, we prove that members of $\Se_e^{g}(G)$ are uniquely determined by their Clarke subdifferentials. We also show the inclusion $\Se_e(G) \subset \Rc_e(G)$ for Borwein-Moors classes.

Détail

Classification : 46G05, 46T20
Mots-clés : Generic Frechet differentiability, essentially smooth functions, separable reduction