如何证明一个函数是Lyapunov函数

对于Hopfield Network，被定义为能量函数的
图片说明
证明它是Lyapunov函数