In this work we derive the accessory problem for a general nonlinear discre
te optimal control problem. We obtain necessary conditions for optimality-n
onnegativity 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 (C) 2000 Academic Press.