Hypographs satisfying an external sphere condition and the regularity of the minimum time function

[摘要] We prove that if the hypograph of a continuous function f admits at every boundary point a supporting ball then it has essentially positive reach, i.e. the hypograph of the restriction of f outside a closed set of zero measure has (locally) positive reach. Hence such a function enjoys some properties of a concave function, in particular a.e. twice differentiability. We apply this result to a minimum time problem in the case of a nonlinear smooth dynamics and a target satisfying internal sphere condition. (C) 2010 Elsevier Inc. All rights reserved.

[发布日期] 2010-12-15

[关键词] Normal vectors;phi-convex (prox-regular, positive reach) sets;Internal/external sphere condition