非线性微分方程 特征根 整体误差 误差估计 Abel型方程 奇异边值 极限环 稳定性 非常数不变式 亏损校正 Maple