Symbolic computation and the cyclicity problem for singularities
Applications of commutative algebra (e.g., to statistics, control theory, optimization, etc.) (13P25) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordinary differential equations (34-01) Software, source code, etc. for problems pertaining to ordinary differential equations (34-04) Topological structure of integral curves, singular points, limit cycles of ordinary differential equations (34C05) Theory of limit cycles of polynomial and analytic vector fields (existence, uniqueness, bounds, Hilbert's 16th problem and ramifications) for ordinary differential equations (34C07) Symbolic computation and algebraic computation (68W30)
In this tutorial paper, the author describes an approach based on algorithms of computational algebra for studying small-amplitude limit cycles bifurcating from an elementary center or focus at the origin of systems of the form NEWLINE\[NEWLINE \dot x=\lambda x - y +\sum_{j+k=2}^n A_{jk}x^jy^k, \quad \dot y = x + \lambda y +\sum_{j+k=2}^n B_{jk}x^jy^k NEWLINE\]NEWLINE The problem is known as the cyclicity problem or the local 16th Hilbert problem.NEWLINENEWLINEThe method is based on the complexification of the real system and studying properties of the Bautin ideal, that is, the ideal generated by the focus quantities, of the associated complex system. The main idea is to map the focus quantities into a polynomial subalgebra generated by the invariants of the rotation group of the system. It is demonstrated that, even if the Bautin ideal is not a radical ideal in the original polynomial ring, its image can be a radical ideal in the subalgebra. It allows to obtain an upper bound for the cyclicity of an elementary center or focus for some families of polynomial systems. Computations are performed mainly using the computer algebra system \texttt{Singular}.
- A new proof to Bautin's theorem
- Algebraic properties of the Lyapunov and period constants
- Bifurcation of planar vector fields and Hilbert's sixteenth problem
- Centennial History of Hilbert's 16th Problem
- HILBERT'S 16TH PROBLEM AND BIFURCATIONS OF PLANAR POLYNOMIAL VECTOR FIELDS
- scientific article; zbMATH DE number 1726532 (Why is no real title available?)
- scientific article; zbMATH DE number 4107805 (Why is no real title available?)
- scientific article; zbMATH DE number 108068 (Why is no real title available?)
- scientific article; zbMATH DE number 782136 (Why is no real title available?)
- scientific article; zbMATH DE number 3891776 (Why is no real title available?)
- scientific article; zbMATH DE number 3094484 (Why is no real title available?)
- Lectures on analytic differential equations
- Lifting standard bases in filtered structures
- On some open problems in planar differential systems and Hilbert's 16th problem
- Quadratic systems with center and their perturbations
- The Center and Cyclicity Problems
- The centre and isochronicity problems for some cubic systems
- The cyclicity of a cubic system with nonradical Bautin ideal
- Theory of values of singular point in complex autonomous differential systems
- Time-reversibility in 2-dimensional systems
- Center conditions and cyclicity for a family of cubic systems: computer algebra approach
- The Hopf cyclicity of the centers of a class of quintic polynomial vector fields
- The cyclicity problem for two-dimensional polynomial systems
- The Center and Cyclicity Problems
- Center conditions for a class of planar rigid polynomial differential systems
- Bounding the number of limit cycles for a polynomial Liénard system by using regular chains
- A hybrid symbolic-numerical approach to the center-focus problem
- Symbolic computation of limit cycles associated with Hilbert's 16th problem
This page was built for publication: Symbolic computation and the cyclicity problem for singularities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q432740)
