Lyapunov function of a fourth-order system