Second-order sufficient conditions in optimal control of evolution systems

This paper concerns second-order sufficient conditions of optimality for a class of infinite dimensional optimal control problems under control constraints and end-point constraints. The distinctive feature of our formulation is the use of variational analysis techniques. Our approach is based on a suitable decomposition of controls, using second-order tangents, and it is developed in the case of functional constraints. An adaptation of the tools in the case of pointwise constraints on the controls is proposed too. We provide applications to concrete optimal control problems involving PDEs.