Phase Portraits of Planar Vector Fields: Computer Proofs

DOI10.1080/10586458.1995.10504316zbMath0856.34045OpenAlexW2078716918MaRDI QIDQ4891320

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

zbMATH Keywords

Hopf bifurcation1:4 resonancecomputer verificationglobal structure of structurally stable planar vector fields

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)

Related Items

An approximation algorithm for quadratic dynamic systems based on N. Chomsky's grammar for Taylor's formula ⋮ A rigorous study of possible configurations of limit cycles bifurcating from a hyper-elliptic Hamiltonian of degree five ⋮ Limit cycle enumeration in random vector fields ⋮ On a computer-aided approach to the computation of Abelian integrals ⋮ 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 ⋮ Economic Dynamics and Computation—Resurrecting the Icarus Tradition ⋮ Limit cycles for cubic systems with a symmetry of order 4 and without infinite critical points ⋮ Limit cycles for 3-monomial differential equations ⋮ A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems

Cites Work

• Unnamed Item
• Structural stability on two-dimensional manifolds
• On the bifurcation of separatrices in the problem of stability loss of auto-oscillations near 1:4 resonance
• Limit-cycles and rotated vector fields
• Bifurcation sequences at 1:4 resonance: an inventory
• Deterministic Nonperiodic Flow
• The Bifurcation Set for the 1:4 Resonance Problem