On a characterization of \(C^{1,1}\) functions (Q1406323)

Let \(f\) be a real-valued locally Lipschitz function on the Banach space \(X\). After a dicussion of the basic properties of the generalized second-order derivative \[ f^{\circ\circ}(x; h,e)= \limsup_{u\to x; t,\tau\to+0} {f(u+ th+\tau e)- f(x+ th)- f(x+ \tau e)+ f(x)\over t\tau} \] it is shown that the following conditions are equivalent: (1) \(f\) is \(C^{1,1}\), i.e., continuously Fréchet differentiable and its derivative (as vector-valued mapping) is locally Lipschitz; (2) \(f\) is Clarke regular and the Clarke directional derivative \(f^\circ(\cdot,\cdot)\) is locally Lipschitz; (3) the Dini-Hadamard subdifferential \(\partial^-f(x)\) is nonempty for all \(x\) and (as set-valued mapping) locally Lipschitz; (4) the lower Dini-Hadamard directional derivative \(d^-f(\cdot,\cdot)\) is locally Lipschitz; (5) \(f\) is locally second-order Lipschitz, i.e., \(f^{\circ\circ}(\cdot,\cdot,\cdot)\) is locally bounded.