(1)dx/dt=y-xcosx,dy/dt=x-2cosx
(2)d^2x/dt^2+dx/dt+x+x^3

(1)(2)のリヤプノフ関数の求め方を教えていただけないでしょうか？