Abstract
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 Frechet differentiable on X. In this way we obtain new proofs of known Frechet 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 S-e(g)(G) and R-e(g)(G) (defined via linear essential smoothness) are respectively larger than classes S-e(G) (of essentially smooth functions) and R-e(G) studied by Borwein and Moors, and have also nice properties. In particular, we prove that members of S-e(g)(G) are uniquely determined by their Clarke subdifferentials.
We also show the inclusion S-e(G) subset of R-e(G) for Borwein-Moors classes.