新算子解法 李亚普诺夫函数 李亚普诺夫判别法 非线性系统 高阶变系数线性微分方程的解 中心点 Dulac函数 李承治公式 鞍结点 全局渐近稳定 算子分解式