李雅普诺夫函数求导的推导过程