Asymptotic Stability and Smooth Lyapunov Functions for a Class of Abstract Dynamical Systems

TL;DR

This paper establishes the existence of smooth Lyapunov functions for a specific class of dynamical systems by introducing an abstract trajectory assumption, extending stability analysis beyond differential inclusions.

Contribution

It introduces a new trajectory-based assumption that guarantees smooth Lyapunov pairs for certain dynamical systems, not covered by existing converse Lyapunov theorems.

Findings

Existence of $C^ ablafty$-smooth Lyapunov pairs under the new assumption.

The assumption holds for differential inclusions with Lipschitz continuous set-valued maps.

Provides a framework for stability analysis beyond classical differential inclusion results.

Abstract

This paper deals with asymptotic stability of a class of dynamical systems in terms of smooth Lyapunov pairs. We point out that well known converse Lyapunov results for differential inclusions cannot be applied to this class of dynamical systems. Following an abstract approach we put an assumption on the trajectories of the dynamical systems which demands for any trajectory the existence of a neighboring trajectory such that their difference grows linearly in time and distance of the starting points. Under this assumption, we prove the existence of a $C^\infty$-smooth Lyapunov pair. We also show that this assumption is satisfied by differential inclusions defined by Lipschitz continuous set-valued maps taking nonempty, compact and convex values.