{"id":"arxiv/2603.29351","url":"https://arxiv.org/abs/2603.29351","tags":["math.DS"],"score":0,"title":"Error bounds on analytic Koopman-based Lyapunov functions","domain":"math.DS","source":"arxiv","authors":["François-Grégoire Bierwart","Alexandre Mauroy"],"reviews":0,"subject":"math.DS","summary":"The Koopman operator provides an infinite-dimensional linear description of nonlinear dynamical systems that can be leveraged in the context of stability analysis. In particular, Lyapunov functions can be obtained in a systematic way via the eigenfunctions of the Koopman operator. However, these eigenfunctions are computed from finite-dimensional approximations, resulting in approximated Lyapunov functions that must be validated. In this paper, we provide theoretical error bounds on the approximation of the eigenfunctions of the Koopman operator in the case of analytic vector field and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-31","reactions":{}}