李雅普诺夫函数构造方法