Stratified Necessary Conditions for Differential Inclusions with State Constraints

The concept of stratified necessary conditions for optimal control problems, whose dynamic constraint is formulated as a differential inclusion, was introduced by F. H. Clarke. These are conditions satisfied by a feasible state trajectory that achieves the minimum value of the cost over state trajectories whose velocities lie in a time-varying open ball of specified radius about the velocity of the state trajectory of interest. Considering different radius functions stratifies the interpretation of “minimizer.” In this paper we prove stratified necessary conditions for optimal control problems involving pathwise state constraints. As was shown by Clarke in the state constraint-free case, we find that, also in our more general setting, the stratified necessary conditions yield generalizations of earlier optimality conditions for unbounded differential inclusions as simple corollaries. Some examples are provided, giving insights into the nature of the hypotheses invoked for the derivation of stratified nece...