{"id":"arxiv/2604.09424","url":"https://arxiv.org/abs/2604.09424","tags":["math.DS"],"score":0,"title":"RKHS method for computing 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 is a powerful approach to global stability analysis of nonlinear systems, which provides a systematic procedure for Lyapunov function design. In this framework, Lyapunov functions are obtained through the eigenfunctions of the Koopman operator associated with the eigenvalues of the Jacobian matrix at the equilibrium. In practice, the eigenfunctions are approximated via a finite-dimensional representation of the operator, and there is no guarantee that the approximated spectrum accurately matches the true one. In this paper, we develop a kernel-based method to compute…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-10","reactions":{}}