On the approximability of Koopman-based operator Lyapunov equations

by   Tobias Breiten, et al.

Lyapunov functions play a vital role in the context of control theory for nonlinear dynamical systems. Besides its classical use for stability analysis, Lyapunov functions also arise in iterative schemes for computing optimal feedback laws such as the well-known policy iteration. In this manuscript, the focus is on the Lyapunov function of a nonlinear autonomous finite-dimensional dynamical system which will be rewritten as an infinite-dimensional linear system using the Koopman or composition operator. Since this infinite-dimensional system has the structure of a weak-* continuous semigroup, in a specially weighted L^p-space one can establish a connection between the solution of an operator Lyapunov equation and the desired Lyapunov function. It will be shown that the solution to this operator equation attains a rapid eigenvalue decay which justifies finite rank approximations with numerical methods. The potential benefit for numerical computations will be demonstrated with two short examples.


Koopman Operator Theory for Nonlinear Dynamic Modeling using Dynamic Mode Decomposition

The Koopman operator is a linear operator that describes the evolution o...

On the Koopman operator of algorithms

A systematic mathematical framework for the study of numerical algorithm...

Stabilization of infinite-dimensional linear control systems by POD reduced-order Riccati feedback

There exist many ways to stabilize an infinite-dimensional linear autono...

Policy iteration for Hamilton-Jacobi-Bellman equations with control constraints

Policy iteration is a widely used technique to solve the Hamilton Jacobi...

Computing the Invariant Distribution of Randomly Perturbed Dynamical Systems Using Deep Learning

The invariant distribution, which is characterized by the stationary Fok...

A non-autonomous equation discovery method for time signal classification

Certain neural network architectures, in the infinite-layer limit, lead ...

Please sign up or login with your details

Forgot password? Click here to reset