On forward invariance in Lyapunov stability theorem for local stability
Abstract
Forward invariance of a basin of attraction is often overlooked when using a Lyapunov stability theorem to prove local stability; even if the Lyapunov function decreases monotonically in a neighborhood of an equilibrium, the dynamic may escape from this neighborhood. In this note, we fix this gap by finding a smaller neighborhood that is forward invariant. This helps us to prove local stability more naturally without tracking each solution path. Similarly, we prove a transitivity theorem about basins of attractions without requiring forward invariance. Keywords: Lyapunov function, local stability, forward invariance, evolutionary dynamics.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2020
- DOI:
- 10.48550/arXiv.2006.04280
- arXiv:
- arXiv:2006.04280
- Bibcode:
- 2020arXiv200604280Z
- Keywords:
-
- Mathematics - Optimization and Control;
- Computer Science - Computer Science and Game Theory;
- Economics - Theoretical Economics;
- Electrical Engineering and Systems Science - Systems and Control;
- Mathematics - Dynamical Systems;
- 37N40;
- 91A22;
- 91A26;
- 91B55