Construction of Lyapunov functions by the method of localization of invariant compact sets

Resumo

We suggest a new method for constructing Lyapunov functions for autonomous systems of differential equations. The method is based on the construction of a family of sets whose boundaries have the properties typical of the level surfaces of Lyapunov functions. These sets are found by the method of localization of invariant compact sets. For the resulting Lyapunov function and its derivative, we find analytical expressions via the localizing functions occurring in the specification of the above-mentioned sets. An example of a system with a degenerate equilibrium is considered.