Discrete analytical solution of a smooth non-linear optimal control problem

With certain smoothness assumptions, conditions are established under which solutions of an optimal control problem are also solutions of the sytsem of differential controls of the object and the control law, and vice versa. This equivalence is used to formulate and prove theorems that define, in explicit analytical form, discrete solutions of non-linear optimal control problems and problems in the qualitative theory of non-linear dynamic systems.