Semiconcavity of the value function for an exit time problem with degenerate cost

Abstract

A simple exit time problem with degenerate cos is here considered. Using a new technique for constructing admissible trajectories, a semiconcavity result for the value function ν is obtained. Such a property of ν is then applied to obtain optimality conditions.