Paper Info
Title
Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
Abstract
Investigating oscillations for parametric ordinary differential equations (ODEs) has many applications in science and engineering but is a very hard problem. Already for two dimensional polynomial systems this question is related to Hilbert’s 16th problem, which is still unsolved [1]. Using the theory of Hopf-bifurcations some non-numeric algorithmic methods have been recently developed to determine ranges of parameters for which some small stable limit cycle will occur in the system [2,3,4,5,6,7,8]. These algorithms give exact conditions for the existence of fixed points undergoing a Poincar’e Andronov-Hopf bifurcation that give birth to a small stable limit cycle under some general conditions which can be made algorithmic, too. If these conditions are not satisfied, one can be sure that there are no such fixed points, but unfortunately one cannot conclude that there are no limit cycles–which could arise by other means. Nevertheless, it is tempting to conjecture even in these cases that there are no oscillations, as has been done e.g. in [5,6].
Year
DOI
Venue
2010
10.1007/978-3-642-15274-0_24
CASC
Keywords
Field
DocType
hopf bifurcation,limit cycle,oscillations,computer algebra,ordinary differential equation,satisfiability,fixed point,qualitative analysis
Discrete mathematics,Explicit and implicit methods,Algebra,Ordinary differential equation,Polynomial,Computer science,Algebraic differential equation,Symbolic computation,Parametric statistics,Cylindrical algebraic decomposition,Numerical stability
Conference
Citations 
PageRank 
References 
2
0.40
20
Authors
4
Name
Order
Citations
PageRank
Andreas Weber113113.10
Thomas Sturm230224.81
Werner M. Seiler37917.45
Essam O. Abdel-rahman4211.19