Discrete Optimal Control: The Accessory Problem and Necessary Optimality Conditions

In this work we derive the accessory problem for a general nonlinear discrete optimal control problem. We obtain necessary conditions for optimality}nonnegativity of the second variation. As the second variation is a discrete quadratic functional, we proceed by deriving necessary conditions for the nonnegativity of such functionals. A certain controllability or normality.assumption is required