IUMJ

Title: Some regularity results for a class of upper semicontinuous functions

Authors: Antonio Marigonda, Khai Tien Nguyen and Davide Vittone

Issue: Volume 62 (2013), Issue 1, 45-89

Abstract:

We study regularity properties enjoyed by a class of real-valued upper semicontinuous functions $f:\mathbb{R}^d\to\mathbb{R}$ whose hypograph satisfies a geometric property. This property implies the existence of a sort of (uniform) subquadratic tangent hypersurface at each point $P$ on the boundary of $\hypo f$, a hypersurface whose intersection with $\hypo f$ in a neighbourhood of $P$ reduces to $P$. This geometric property generalizes the concepts of both semiconcave functions and functions whose hypograph has positive reach in the sense of Federer; the associated class of functions arises in the study of regularity properties for the minimum time function of certain classes of nonlinear control systems and differential inclusions. We will prove that these functions share several regularity properties with semiconcave functions. In particular, they are locally $BV$ and differentiable almost everywhere. Our approach consists in providing upper bounds for the dimension of the set of nondifferentiability points. Moreover, a finer classification of the singularities can be performed according to the dimension of the normal cone to the hypograph, thus generalizing a similar result proved by Federer for sets with positive reach. Techniques of nonsmooth analysis and geometric measure theory are also used.