Ir al contenido

Documat

Validated Numerics for Continuation and Bifurcation of Connecting Orbits of Maps

  • Adams, Ronald [1] ; Mireles James, J D [2]
    1. [1] Daytona College of Arts and sciences
    2. [2] Atlantic University
  • Localización: Qualitative theory of dynamical systems, ISSN 1575-5460, Vol. 18, Nº 1, 2019, págs. 107-137
  • Idioma: inglés
  • DOI: 10.1007/s12346-018-0279-y
  • Enlaces
  • Resumen

    • The present work develops validated numerical methods for analyzing continuous branches of connecting orbits—as well as their bifurcations—in one parameter families of discrete time dynamical systems. We use the method of projected boundaries to reduce the connecting orbit problem to a finite dimensional zero finding problem for a high dimensional map. We refer to this map as the connecting orbit operator. We study one parameter branches of zeros for the connecting orbit operator using existing methods of computer assisted proof know as the radii-polynomial approach and validated continuation. The local stable/unstable manifolds of the fixed points are analyzed using validated numerical methods based on the parameterization method. The validated branches of zeros found using our argument correspond to continuous families of transverse connecting orbits for the original dynamical system. Validation of a saddle node bifurcations for the connecting orbit operator correspond to a proof of existence for a tangency. We illustrate the implementation of our method for the Hénon map.

  • Referencias bibliográficas
    • 1. Arai, Z.: On hyperbolic plateaus of the Hénon map. Exp. Math. 16(2), 181–188 (2007)
    • 2. Arai, Z.: On loops in the hyperbolic locus of the complex Hénon map and their monodromies. Phys. D 334, 133–140 (2016)
    • 3. Arai, Z., Mischaikow, K.: Rigorous computations of homoclinic tangencies. SIAM J. Appl. Dyn. Syst. 5(2), 280–292 (2006). (electronic)
    • 4. Arioli, G., Koch, H.: Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto–Sivashinski...
    • 5. Beyn, W.-J.: The numerical computation of connecting orbits in dynamical systems. IMA J. Numer. Anal. 10(3), 379–405 (1990)
    • 6. Beyn, W.-J., Kleinkauf, J.-M.: Numerical approximation of homoclinic chaos. Numer. Algorithms 14(1–3), 25–53 (1997). Dynamical numerical...
    • 7. Beyn, W.-J., Kleinkauf, J.-M.: The numerical computation of homoclinic orbits for maps. SIAM J. Numer. Anal. 34(3), 1207–1236 (1997)
    • 8. Cabré, X., Fontich, E., de la Llave, R.: The parameterization method for invariant manifolds. I: manifolds associated to non-resonant subspaces....
    • 9. Cabré, X., Fontich, E., de la Llave, R.: The parameterization method for invariant manifolds. II: regularity with respect to parameters....
    • 10. Cabré, X., Fontich, E., de la Llave, R.: The parameterization method for invariant manifolds. III: overview and applications. J. Differ....
    • 11. Capi´nski, M.J., Mireles James, J.D.: Validated computation of heteroclinic sets. SIAM J. Appl. Dyn. Syst. 16(1), 375–409 (2017)
    • 12. Chicone, C.: Ordinary Differential Equations with Applications, vol. 34, 2nd edn. Springer, New York (2006). Texts in Applied Mathematics
    • 13. Day, S., Lessard, J.-P., Mischaikow, K.: Validated continuation for equilibria of PDEs. SIAM J. Numer. Anal. 45(4), 1398–1424 (2007)
    • 14. Doedel, E.J., Friedman, M.J.: Numerical computation of heteroclinic orbits. J. Comput. Appl. Math. 26(1–2), 155–170 (1989). Continuation...
    • 15. Doedel, E.J., Kooi, B.W., van Voorn, G.A.K., Kuznetsov, Y.A.: Continuation of connecting orbits in 3D-ODEs. I. Point-to-cycle connections....
    • 16. Doedel, E.J., Kooi, B.W., Van Voorn, G.A.K., Kuznetsov, Y.A.: Continuation of connecting orbits in 3D-ODEs. II. Cycle-to-cycle connections....
    • 17. Eckmann, J.-P., Koch, H., Wittwer, P.: A computer-assisted proof of universality for area-preserving maps. Mem. Am. Math. Soc. 47(289),...
    • 18. Gonzalez, J.L., Mireles James, J.D.: High-order parameterization of stable/unstable manifolds for long periodic orbits of maps. SIAM J....
    • 19. Haro, À., Canadell, M., Figueras, J.-L., Luque, A., Mondelo, J.-M.: The parameterization method for invariant manifolds, volume 195 of...
    • 20. Haro, À., de la Llave, R.: A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps:...
    • 21. Haro, A., de la Llave, R.: A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps:...
    • 22. Haro, A., de la Llave, R.: A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps:...
    • 23. Koch, H., Schenkel, A., Wittwer, P.: Computer-assisted proofs in analysis and programming in logic: a case study. SIAM Rev. 38(4), 565–604...
    • 24. Lanford III, O.E.: Computer-assisted proofs in analysis. In: Proceedings of the international congress of mathematicians, vol. 1, 2 (Berkeley,...
    • 25. Lanford III, O.E.: Computer-assisted proofs in analysis. Phys. A 124(1–3), 465–470 (1984). Mathematical physics, VII (Boulder, Colo.,...
    • 26. Lessard, J.-P.: Delay differential equations and continuation. (to appear in AMS Proceedings of Symposia in Applied Mathematics), page...
    • 27. Lessard, J.-P.: Rigorous verification of saddle-node bifurcations in ODEs. Indag. Math. (N.S.) 27(4), 1013–1026 (2016)
    • 28. Lessard, J.-P., Mireles James, J.D., Reinhardt, C.: Computer assisted proof of transverse saddle-tosaddle connecting orbits for first...
    • 29. Lohner, R.J.: Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value problems. In: Computational...
    • 30. Mireles James, J.D.: Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher...
    • 31. Mireles James, J.D.: Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error...
    • 32. Mireles James, J.D., Mischaikow, K.: Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps....
    • 33. Sander, E., Wanner, T.: Validated saddle-node bifurcations and applications to lattice dynamical systems. SIAM J. Appl. Dyn. Syst. 15(3),...
    • 34. Tucker, W.: Validated numerics for pedestrians. In: European Congress of Mathematics, pp. 851–860. Eur. Math. Soc., Zürich (2005)
    • 35. Tucker, W.: Validated Numerics. Princeton University Press, Princeton (2011). A short introduction to rigorous computations
    • 36. van den Berg, J.B., Lessard, J.-P.: Rigorous numerics in dynamics. Not. Am. Math. Soc. 62(9), 1057– 1061 (2015)
    • 37. van den Berg, J.B., Mireles James, J.D.: Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical...
    • 38. van den Berg, J.B., Lessard, J.-P., Mischaikow, K.: Global smooth solution curves using rigorous branch following. Math. Comput. 79(271),...
    • 39. van den Berg, J.B., Lessard, J.P., Breden, M., Murray, M.: Contunuation of homoclinic orbits in the suspension bridge equation: a computer-assisted...
    • 40. Wanner, T.: Computer-assisted equilibrium validation for the dibolck copolymer model. Discrete Contin. Dyn. Syst. 37(2), 1075–1107 (2017)
    • 41. Zgliczynski, P.: C1 Lohner algorithm. Found. Comput. Math. 2(4), 429–465 (2002)
Fundación Dialnet

Mi Documat

Opciones de artículo

Opciones de compartir

Opciones de entorno