On a computer-aided approach to the computation of Abelian integrals

BIT Numerical Mathematics

Volumn 51, Issue 3, 2011, Pages 653-667

  Johnson, Tomas ^a   Tucker, Warwick ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

Abelian integrals; Bifurcation theory; Interval analysis; Limit cycles; Planar Hamiltonian systems

Indexed keywords

EID: 80052290567     PISSN: 00063835     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10543-011-0318-4     Document Type: Article

References (28)

1. Alefeld, G., Herzberger, J.: Introduction to Interval Computations. Academic Press, New York (1983).
2. Chen, F., Li, C., Llibre, J., Zhang, Z.: A unified proof on the weak Hilbert 16th problem for n=2. J. Differ. Equ. 221(2), 309-342 (2006).
3. Christopher, C., Li, C.: Limit Cycles of Differential Equations. Advanced Courses in Mathematics. CRM Barcelona. Birkhäuser Verlag, Basel (2007).
4. CXSC-C++ eXtension for Scientific Computation, version 2. 0. Available from http://www. math. uni-wuppertal. de/org/WRST/xsc/cxsc. html.
5. Duff, G. F. D.: Limit-cycles and rotated vector fields. Ann. Math. (2) 57, 15-31 (2006).
6. Dumortier, F., Li, C.: Perturbations from an elliptic Hamiltonian of degree four. I. Saddle loop and two saddle cycle. J. Differ. Equ. 176(1), 114-157 (2001).
7. Dumortier, F., Li, C.: Perturbations from an elliptic Hamiltonian of degree four. II. Cuspidal loop. J. Differ. Equ. 175(2), 209-243 (2001).
8. Dumortier, F., Li, C.: Perturbation from an elliptic Hamiltonian of degree four. III. Global centre. J. Differ. Equ. 188(2), 473-511 (2003).
9. Dumortier, F., Li, C.: Perturbation from an elliptic Hamiltonian of degree four. IV. Figure eight-loop. J. Differ. Equ. 188(2), 512-554 (2003).
10. Dumortier, F., Roussarie, R.: Abelian integrals and limit cycles. J. Differ. Equ. 227(1), 116-165 (2006).
11. Écalle, J.: Introduction aux fonctions analysables et preuve constructive de la conjecture de Dulac. [Introduction to Analyzable Functions and Constructive Proof of the Dulac Conjecture]. Actualités Mathématiques. [Current Mathematical Topics]. Hermann, Paris (1992).
12. Gabai, D., Meyerhoff, G. R., Thurston, N.: Homotopy hyperbolic 3-manifolds are hyperbolic. Ann. Math. (2) 157(2), 335-431 (2006).
13. Guckenheimer, J.: Phase portraits of planar vector fields: computer proofs. Exp. Math. 4(2), 153-165 (1995).
14. Guckenheimer, J., Holmes, P.: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Applied Mathematical Sciences, vol. 42. Springer, New York (1983).
15. Guckenheimer, J., Malo, S.: Computer-generated proofs of phase portraits for planar systems. Int. J. Bifurc. Chaos Appl. Sci. Eng. 6(5), 889-892 (1996).
16. Hales, T. C.: A proof of the Kepler conjecture. Ann. Math. (2) 162(3), 1065-1185 (2005).
17. Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing. Springer, New York (1995).
18. Il'yashenko, Yu. S.: Finiteness Theorems for Limit Cycles. Translated from the Russian by H. H. McFaden. Translations of Mathematical Monographs, vol. 94. American Mathematical Society, Providence (1991).
19. Il'yashenko, Yu. S.: Centennial history of Hilbert's 16th problem. Bull., New Ser., Am. Math. Soc. 39(3), 301-354 (2002).
20. Rigorous, S. Malo: Computer verification of planar vector field structure. Ph. D. thesis, Cornell University (1994).
21. Moore, R. E.: Interval Analysis. Prentice Hall, Englewood Cliffs (1966).
22. Moore, R. E.: Methods and Applications of Interval Analysis. SIAM Studies in Applied Mathematics. SIAM, Philadelphia (1979).
23. Neumaier, A.: Interval Methods for Systems of Equations. Encyclopedia of Mathematics and Its Applications, vol. 37. Cambridge Univ. Press, Cambridge (1990).
24. Petković, M. S., Petković, L. D.: Complex Interval Arithmetic and Its Applications. Mathematical Research, vol. 105. Wiley-VCH, Berlin (1998).
25. Petrov, G. S.: Nonoscillation of elliptic integrals. Funkc. Anal. Prilozh. 24(3), 45-50 (1990), 96 (Russian). Translation in Funct. Anal. Appl. 24(3), 205-210 (1991).
26. Roussarie, R.: Bifurcation of Planar Vector Fields and Hilbert's Sixteenth Problem. Progress in Mathematics, vol. 164. Birkhäuser Verlag, Basel (1998).
27. Tucker, W.: A rigorous ODE solver and Smale's 14th problem. Found. Comput. Math. 2(1), 53-117 (2002).
28. Zhou, H., Xu, W., Li, S., Zhang, Y.: On the number of limit cycles of a cubic polynomials Hamiltonian system under quintic perturbation. Appl. Math. Comput. 190(1), 490-499 (2007) (English summary).