The Canonical Theory of the Impulse Process Optimality

The paper is devoted to the development of the canonical theory of the Hamilton–Jacobi optimality for nonlinear dynamical systems with controls of the vector measure type and with trajectories of bounded variation. Infinitesimal conditions of the strong and weak monotonicity of continuous Lyapunov-type functions with respect to the impulsive dynamical system are formulated. Necessary and sufficient conditions of the global optimality for the problem of the optimal impulsive control with general end restrictions are represented. The conditions include the sets of weak and strong monotone Lyapunov-type functions and are based on the reduction of the original problem of the optimal impulsive control a finite-dimensional optimization problem on an estimated set of connectable points.