Finding a Lyapunov function for a given system I need to find a Lyapunov function for $(0,0)$ in the system:
\begin{cases} x' = -2x^4 + y \\ y' = -2x - 2y^6 \end{cases}
Graph built using this tool showed that there should be stability but not asymptotic stability. I'd like to prove that fact by means of Lyapunov function but cannot find the appropriate one among the most common ones such as $Ax^{2n}+By^{2m}$, $Ax^2+By^2+Cxy$, etc.
Please, give me some hint about how to proceed with the search of the suitable function or even the desired function itself it you know the easy way of finding it in this case.
Thanks in advance

As explained in the comments, even though simulated phase diagrams seem to exhibit cycling trajectories near the origin, they are not conclusive enough to decide whether the origin is stable or not, that is, whether trajectories cycle or spiral outwardly or spiral inwardly. Caution is advised about approximation errors in simulations.
streamplot{{-2x^4+y,-2x-2y^6},{x,-1,1},{y,-1,1}}

