题目：       Computer Aided Analysis for the Global Stability and the Existence of Limit Cycles of ODE's

报告人：   Zhengyi Lu (Sichuan Normal University, China)

时间地点：2014.11.20  15:00pm  N205

摘要：       Symbolic computation for dealing with the global stability and the existence of periodic orbits of ODE's are shown. Wu's well ordering principle is applied to the prey-predator chain systems. An algorithm for real root isolation of polynomial systems is proposed and used to check the uniqueness of a positive equilibrium which implies the global stability of the corresponding monotone systems. The positive definiteness of a class of polynomials from the global stability analysis of discrete di usion systems is proved. Small amplitude limit cycles for Kolmogorov systems are constructed based on the Liapunov method and the algorithm for real root isolation. Center and focus problems and the algorithmic construction for multiple limit cycles for 3D systems are mentioned.