Abstract
An accurate method to compute enclosures of Abelian integrals is developed. This allows for an accurate description of the phase portraits of planar polynomial systems that are perturbations of Hamiltonian systems. As an example, it is applied to the study of bifurcations of limit cycles arising from a cubic perturbation of an elliptic Hamiltonian of degree four.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Alefeld, G., Herzberger, J.: Introduction to Interval Computations. Academic Press, New York (1983)
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)
Christopher, C., Li, C.: Limit Cycles of Differential Equations. Advanced Courses in Mathematics. CRM Barcelona. Birkhäuser Verlag, Basel (2007)
CXSC—C++ eXtension for Scientific Computation, version 2.0. Available from http://www.math.uni-wuppertal.de/org/WRST/xsc/cxsc.html
Duff, G.F.D.: Limit-cycles and rotated vector fields. Ann. Math. (2) 57, 15–31 (2006)
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)
Dumortier, F., Li, C.: Perturbations from an elliptic Hamiltonian of degree four. II. Cuspidal loop. J. Differ. Equ. 175(2), 209–243 (2001)
Dumortier, F., Li, C.: Perturbation from an elliptic Hamiltonian of degree four. III. Global centre. J. Differ. Equ. 188(2), 473–511 (2003)
Dumortier, F., Li, C.: Perturbation from an elliptic Hamiltonian of degree four. IV. Figure eight-loop. J. Differ. Equ. 188(2), 512–554 (2003)
Dumortier, F., Roussarie, R.: Abelian integrals and limit cycles. J. Differ. Equ. 227(1), 116–165 (2006)
É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)
Gabai, D., Meyerhoff, G.R., Thurston, N.: Homotopy hyperbolic 3–manifolds are hyperbolic. Ann. Math. (2) 157(2), 335–431 (2006)
Guckenheimer, J.: Phase portraits of planar vector fields: computer proofs. Exp. Math. 4(2), 153–165 (1995)
Guckenheimer, J., Holmes, P.: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Applied Mathematical Sciences, vol. 42. Springer, New York (1983)
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)
Hales, T.C.: A proof of the Kepler conjecture. Ann. Math. (2) 162(3), 1065–1185 (2005)
Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing. Springer, New York (1995)
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)
Il’yashenko, Yu.S.: Centennial history of Hilbert’s 16th problem. Bull., New Ser., Am. Math. Soc. 39(3), 301–354 (2002)
Rigorous, S. Malo: Computer verification of planar vector field structure. Ph.D. thesis, Cornell University (1994)
Moore, R.E.: Interval Analysis. Prentice Hall, Englewood Cliffs (1966)
Moore, R.E.: Methods and Applications of Interval Analysis. SIAM Studies in Applied Mathematics. SIAM, Philadelphia (1979)
Neumaier, A.: Interval Methods for Systems of Equations. Encyclopedia of Mathematics and Its Applications, vol. 37. Cambridge Univ. Press, Cambridge (1990)
Petković, M.S., Petković, L.D.: Complex Interval Arithmetic and Its Applications. Mathematical Research, vol. 105. Wiley–VCH, Berlin (1998)
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)
Roussarie, R.: Bifurcation of Planar Vector Fields and Hilbert’s Sixteenth Problem. Progress in Mathematics, vol. 164. Birkhäuser Verlag, Basel (1998)
Tucker, W.: A rigorous ODE solver and Smale’s 14th problem. Found. Comput. Math. 2(1), 53–117 (2002)
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)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Christian Lubich.
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Johnson, T., Tucker, W. On a computer-aided approach to the computation of Abelian integrals. Bit Numer Math 51, 653–667 (2011). https://doi.org/10.1007/s10543-011-0318-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10543-011-0318-4