论文部分内容阅读
综述利用符号计算处理Lotka-Volterra系统周期轨道和平衡点的存在性和稳定性问题.考虑吴(特征列)方法在捕食系统方面的应用.利用实根分离算法来判断正平衡点的唯一性从而得到单调系统的整体稳定性.通过证明多项式系统的正定性得到离散扩散系统的整体稳定性.通过Liapunov方法和实根分离算法构造Kolmogorov系统的小扰动极限环.最后考虑三维系统极限环的算法化构造.