Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Some regularity results for a class of upper semicontinuous functions

Abstract : We study regularity properties enjoyed by a class of real-valued upper semicontinuous functions f : R d ! R whose hypograph satis es a geometric property implying, for each point P on the boundary of hypo f, the existence of a sort of (uniform) subquadratic tangent hypersurface whose intersection with hypo f in a neighbourhood of P reduces to P. This geometric property generalizes both the concepts of 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 di erential inclusions. We will prove that these functions share several regularity properties with semiconcave functions. In particular, they are locally BV and di erentiable a.e. Our approach consists in providing upper bounds for the dimension of the set of nondi erentiability points. Moreover, a ner classi cation 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 used.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download

https://hal.inria.fr/hal-00713145
Contributor : Estelle Bouzat <>
Submitted on : Friday, June 29, 2012 - 2:27:54 PM
Last modification on : Tuesday, July 30, 2019 - 10:58:02 AM
Long-term archiving on: : Sunday, September 30, 2012 - 2:30:24 AM

File

Some_regularity_properties_for...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00713145, version 1

Collections

Citation

Antonio Marigonda, Tien Khai Nguyen, Davide Vittone. Some regularity results for a class of upper semicontinuous functions. 2012. ⟨hal-00713145⟩

Share

Metrics

Record views

528

Files downloads

525