Hamilton–Jacobi inequalities in control problems for impulsive dynamical systems

We propose definitions of strong and weak monotonicity of Lyapunov-type functions for nonlinear impulsive dynamical systems that admit vector measures as controls and have trajectories of bounded variation. We formulate infinitesimal conditions for the strong and weak monotonicity in the form of systems of proximal Hamilton–Jacobi inequalities. As an application of strongly and weakly monotone Lyapunov-type functions, we consider estimates for integral funnels of impulsive systems as well as necessary and sufficient conditions of global optimality corresponding to the approach of the canonical Hamilton–Jacobi theory.