2022 Volume 14 Pages 33-36
In Terasaka et al. JSIAM Lett. (2020), we have proposed numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria using non-linear transformations by up to third degree polynomials. In the present study, we extend these methods by proving that polynomials of an arbitrary degree can be applied to define the transformations and show an example problem where we have to use a fifth-degree polynomial to construct local Lyapunov functions.