Arc-length-based Lyapunov tests for convergence and stability with applications to systems having a continuum of equilibria

Abstract

In this paper, fundamental relationships are established between convergence of solutions, stability of equilibria, and arc length of orbits. More specifically, it is shown that a system is convergent if all of its orbits have finite arc length, while an equilibrium is Lyapunov stable if the arc length (considered as a function of the initial condition) is continuous at the equilibrium, and semistable if the arc length is continuous in a neighborhood of the equilibrium. Next, arc-length-based Lyapunov tests are derived for convergence and stability. These tests do not require the Lyapunov function to be positive definite. Instead, these results involve an inequality relating the right-hand side of the differential equation and the Lyapunov function derivative. This inequality makes it possible to deduce properties of the arc length function and thus leads to sufficient conditions for convergence and stability. Finally, it is shown that the converses of all the main results hold under additional assumptions. Examples are included to illustrate how our results are particularly suited for analyzing stability of systems having a continuum of equilibria.