用李雅普诺夫函数确定微分方程零解的稳定性