Distance estimates for state constrained trajectories of infinite dimensional differential inclusions

This paper concerns estimates on the distance between a trajectory of a differential inclusion and the set of feasible trajectories of the same inclusion, feasible meaning confined to a given set of constraints. We apply these estimates to investigate Lipschitz continuity of the value functions arising in optimal control, and to variational inclusions, useful for proving non degenerate necessary optimality conditions. The main feature of our analysis is the infinite dimensional framework, which can be applied to models involving PDEs