Constructive Generation and Verification of Lyapunov Functions around Fixed Points of Nonlinear Dynamical Systems
Abstract
An iterative method is developed that provides a transformation of
coordinates of a dynamical system near a fixed point. In the new
coordinates, Lyapunov functions and pseudo-Lyapunov functions can be
determined. Using differential algebraic methods, the transformations
can be chosen to belong to the same symmetry groups as the underlying
motion. For area preserving stable motion, the method yields first
integrals or near-first integrals of motion, and the convergence
properties of the perturbative technique are tied to the question of
integrability of the motion. For other stable motion, the method often
yields Lyapunov functions that can be used to locally assert stability
of the motion. Examples of the use of the method are given.
M. Berz, K. Makino, International Journal of Computer Research 12,2 (2003) 235-244
Download
Click on the icon to download the corresponding file.
Download Adobe PDF version (660316 Bytes).
Download Postscript version (1836472 Bytes).
Go Back to the reprint server.
Go Back to the home page.
This page is maintained by Kyoko Makino. Please contact her if there are any problems with it.