A dual to Lyapunov's stability theorem
Lyapunov's second theorem is a standard tool for stability analysis of ordinary differential equations. Here we introduce a theorem which can be viewed as a dual to Lyapunov's result. From existence of a scalar function satisfying certain inequalities it follows that “almost all trajectories” of the system tend to zero. The scalar function has a physical interpretation as the stationary density of