Second-order necessary optimality conditions for a discrete optimal control problem with nonlinear state equations: Second-order necessary optimality conditions for a discrete optimal control problem with nonlinear state equations