Phase portraits of planar vector fields: Computer proofs

Experimental Mathematics

Volumn 4, Issue 2, 1995, Pages 153-165

  Guckenheimer, John ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 32544443856     PISSN: 10586458     EISSN: 1944950X     Source Type: Journal    
DOI: 10.1080/10586458.1995.10504316     Document Type: Article

References (22)

1. A. A. Andronov and L. Pontryagin, "Systèmes grossiers", Dokl. Akad. Nauk. SSSR 14 (1937), 247-251.
2. A. A. Andronov, E. A. Vitt, and S. E. Khaiken, Theory of Oscillators, Pergamon, Oxford, 1966.
3. V. I. Arnold, "Loss of stability of self-oscillations close to resonance and versal deformations of equivariant vector fields", Fund. Anal. Appl. 11 (1977), 1-10.
4. F. S. Berezovskaia and A. I. Khibnik, "On the bifurcations of separatrices in the problem of stability loss of auto-oscillations near 1:4 resonance", Appl. Math. Mech. 44 (1980), 663-667. Translated from Prikl. Math. Mekh.
5. H. F. DeBaggis, "Dynamical systems with stable structure", pp. 19-36 in Contributions to the Theory of Nonlinear Oscillations (edited by S. Lefschetz), Princeton Univ. Press, Princeton, 1952.
6. G. F. D. Duff, "Limit cycles and rotated vector fields", Ann. Math. 57 (1953), 15-31.
7. H. Dulac, "Sur les cycles limites", Bull. Soc. Math. France 51 (1923), 45-188.
8. J. Écalle, "Six lectures on transseries, analysable functions and the constructive proof of Dulac’s conjecture", pp. 75-184 in "Bifurcations and Periodic Orbits of Vector Fields" (edited by D. Schlomiuk), Kluwer, Drodrecht, 1993.
9. R. Farzaneh, "A computer generated proof for the existence of periodic orbits for threedimensional vector fields", Ph.D. Thesis, Cornell University, 1995.
10. P. Hartman, Ordinary Differential Equations, Birkhauser, Boston, 1982.
11. D. Hilbert, "Mathematical problems", Bull. Amer. math. Soc. 8 (1902), 437-479.
12. M. Hirsch and S. Smale, Differential Equations, Dynamical Systems and Bifurcations of Vector Fields, Academic Press, New York, 1974.
13. Yu. S. Il’ashenko, Finiteness Theorems for Limit Cycles, Transi. Math. Monographs 94, Amer. Math. Soc., Providence (RI), 1991.
14. B. Krauskopf, "Bifurcation se-quences at 1:4 resonance: an inventory", Nonlinearity 7 (1994), 1073-1091.
15. B. Krauskopf, "The bifurcation set for the 1:4 resonance problem", Experimental Math. 2 (1994), 107-128.
16. S. Lefschetz, Differential Equations: Geometric Theory, Interscience, New York, 1957.
17. E. Lorenz, "Deterministic nonperiodic flow", J. Atmos. Sci. 20 (1963), 130-141.
18. S. Malo, "Rigorous computer verification of planar vector field structure", Ph.D. Thesis, Cornell University, 1993.
19. H. Poincaré, "Mémoire sur les courbes définies par les équations différentielles", pp. 1-222 in Oeuvres I, Gauthier-Villars, Paris, 1928; reprinted in 1951.
20. M. M. Peixoto, "Structural stability on two-dimensional manifolds", Topology 1 (1962), 101-120.
21. M. M. Peixoto, "On the classification of flows on 2-manifolds", pp. 389-420 in Dynamical Systems (edited by M. M. Peixoto), Academic Press, New York, 1973.
22. M. C. Peixoto and M. M. Peixoto, "Structural stability in the plane with enlarged boundary conditions", An. Acad. Brasil. Cieˆncias 31 (1959), 135-160.