Upper semismooth functions and the subdifferential determination property

TL;DR

This paper introduces upper semismooth functions, a class of lower semicontinuous functions with specific subderivative properties, and demonstrates their subdifferential determination, enabling function recovery from subdifferential information.

Contribution

It defines upper semismooth functions and proves their subdifferential determination property, extending understanding of subdifferential calculus for various classes of nonsmooth functions.

Findings

Radial subderivative can be recovered from any subdifferential.

Upper semismooth functions are subdifferentially determined.

Examples include convex, lower-C^1, and semismooth functions.

Abstract

In this paper, an upper semismooth function is defined to be a lower semicontinuous function whose radial subderivative satisfies a mild directional upper semicontinuity property. Examples of upper semismooth functions are the proper lower semicontinuous convex functions, the lower-C$^1$ functions, the regular directionally Lipschitz functions, the Mifflin semismooth functions, the Thibault-Zagrodny directionally stable functions. It is shown that the radial subderivative of such functions can be recovered from any subdifferential of the function. It is also shown that these functions are subdifferentially determined, in the sense that if two functions have the same subdifferential and one of the functions is upper semismooth, then the two functions are equal up to an additive constant.