Open Access
1995 Phase portraits of planar vector fields: computer proofs
John Guckenheimer
Experiment. Math. 4(2): 153-165 (1995).


We present an algorithm for computer verification of the global structure of structurally stable planar vector fields. Constructing analytical proofs for the qualitative properties of phase portraits has been difficult. We try to avoid this barrier by augmenting numerical computations of trajectories of dynamical systems with error estimates that yield rigorous proofs. Our approach lends itself to high-precision estimates, because the proofs are broken into independent calculations whose length in floating-point operations does not increase with increasing precision. The algorithm is tested on a system that arises in the study of Hopf bifurcation of periodic orbits with 1:4 resonance.


Download Citation

John Guckenheimer. "Phase portraits of planar vector fields: computer proofs." Experiment. Math. 4 (2) 153 - 165, 1995.


Published: 1995
First available in Project Euclid: 17 March 2003

zbMATH: 0856.34045
MathSciNet: MR1377416

Primary: 34C05
Secondary: 58F21

Rights: Copyright © 1995 A K Peters, Ltd.

Vol.4 • No. 2 • 1995
Back to Top