DeepAI AI Chat
Log In Sign Up

On forward invariance in Lyapunov stability theorem for local stability

by   Dai Zusai, et al.

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.


page 1

page 2

page 3

page 4


Input-to-State Stability in Probability

Input-to-State Stability (ISS) is fundamental in mathematically quantify...

Forward Stability and Model Path Selection

Most scientific publications follow the familiar recipe of (i) obtain da...

A note on the probabilistic stability of randomized Taylor schemes

We study the stability of randomized Taylor schemes for ODEs. We conside...

Traversal-invariant characterizations of logarithmic space

We give a novel descriptive-complexity theoretic characterization of L a...

A short note on the stability of a class of parallel Runge-Kutta methods

With this short note, we close a gap in the linear stability theory of b...

Gohberg-Kaashoek Numbers and Forward Stability of the Schur Canonical Form

In the present paper we complete the stability of Schur decomposition de...

Heterogeneity and aggregation in evolutionary dynamics: a general framework without aggregability

We consider general evolutionary dynamics under persistent payoff hetero...