Phase Portraits of Planar Vector Fields: Computer Proofs

DOI10.1080/10586458.1995.10504316MaRDI QIDQ4891320zbMATH OpenOpenAlexFDO

Authors John Guckenheimer

Publication date 3 September 1996

Published in Experimental Mathematics (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/226090, http://www.emis.de/journals/EM/expmath/volumes/4/4.html

zbMATH Keywords

1:4 resonancecomputer verificationglobal structure of structurally stable planar vector fieldsHopf bifurcation

Mathematics Subject Classification ID

Topological structure of integral curves, singular points, limit cycles of ordinary differential equations (34C05) Bifurcation theory for ordinary differential equations (34C23) Error bounds for numerical methods for ordinary differential equations (65L70)

Recommendations

• COMPUTER-GENERATED PROOFS OF PHASE PORTRAITS FOR PLANAR SYSTEMS
• scientific article; zbMATH DE number 992826
• scientific article; zbMATH DE number 67112
• scientific article; zbMATH DE number 681943
• Automated computation of robust normal forms of planar analytic vector fields

Cites work

• Bifurcation sequences at 1:4 resonance: an inventory
• Deterministic Nonperiodic Flow
• scientific article; zbMATH DE number 3747561 (Why is no real title available?)
• Limit-cycles and rotated vector fields
• On the bifurcation of separatrices in the problem of stability loss of auto-oscillations near 1:4 resonance
• Structural stability on two-dimensional manifolds
• The Bifurcation Set for the 1:4 Resonance Problem

Cited in

(15)

• Phase reduction and phase-based optimal control for biological systems: a tutorial
• Optimal phase control of biological oscillators using augmented phase reduction
• The Songling system has exactly four limit cycles
• Limit cycles for 3-monomial differential equations
• scientific article; zbMATH DE number 992826 (Why is no real title available?)
• A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems
• An approximation algorithm for quadratic dynamic systems based on N. Chomsky's grammar for Taylor's formula
• scientific article; zbMATH DE number 681943 (Why is no real title available?)
• Phase portraits of planar semi-homogeneous vector fields-I
• COMPUTER-GENERATED PROOFS OF PHASE PORTRAITS FOR PLANAR SYSTEMS
• Economic Dynamics and Computation—Resurrecting the Icarus Tradition
• A rigorous study of possible configurations of limit cycles bifurcating from a hyper-elliptic Hamiltonian of degree five
• Limit cycles for cubic systems with a symmetry of order 4 and without infinite critical points
• Limit cycle enumeration in random vector fields
• On a computer-aided approach to the computation of Abelian integrals

This page was built for publication: Phase Portraits of Planar Vector Fields: Computer Proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4891320)