Kernel Methods for the Construction of Certified Lyapunov Functions via Approximate Koopman Eigenfunctions
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866908852178386944 |
|---|---|
| author | Giesl, P. Hafstein, S. Hamzi, B. Lee, J. Owhadi, H. Santin, G. Vaidya, U. |
| author_facet | Giesl, P. Hafstein, S. Hamzi, B. Lee, J. Owhadi, H. Santin, G. Vaidya, U. |
| contents | We present a kernel-based methodology for constructing Lyapunov functions for nonlinear dynamical systems using approximate Koopman eigenfunctions. Our approach decomposes principal Koopman eigenfunctions into linear and nonlinear components, where the linear part is obtained from the system's linearization and the nonlinear part is computed by solving a partial differential equation using symmetric kernel collocation in reproducing kernel Hilbert spaces (RKHS). The resulting Lyapunov function is constructed as a quadratic form in the approximate eigenfunctions. We establish error bounds relating the approximation quality to the fill distance of collocation points and provide a certification procedure using continuous piecewise affine (CPA) methods. Numerical experiments on benchmark systems, including a polynomial system and the Duffing oscillator, demonstrate the effectiveness of our approach. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_21767 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Kernel Methods for the Construction of Certified Lyapunov Functions via Approximate Koopman Eigenfunctions Giesl, P. Hafstein, S. Hamzi, B. Lee, J. Owhadi, H. Santin, G. Vaidya, U. Numerical Analysis Dynamical Systems We present a kernel-based methodology for constructing Lyapunov functions for nonlinear dynamical systems using approximate Koopman eigenfunctions. Our approach decomposes principal Koopman eigenfunctions into linear and nonlinear components, where the linear part is obtained from the system's linearization and the nonlinear part is computed by solving a partial differential equation using symmetric kernel collocation in reproducing kernel Hilbert spaces (RKHS). The resulting Lyapunov function is constructed as a quadratic form in the approximate eigenfunctions. We establish error bounds relating the approximation quality to the fill distance of collocation points and provide a certification procedure using continuous piecewise affine (CPA) methods. Numerical experiments on benchmark systems, including a polynomial system and the Duffing oscillator, demonstrate the effectiveness of our approach. |
| title | Kernel Methods for the Construction of Certified Lyapunov Functions via Approximate Koopman Eigenfunctions |
| topic | Numerical Analysis Dynamical Systems |
| url | https://arxiv.org/abs/2602.21767 |