Access the full text.
Sign up today, get DeepDyve free for 14 days.
W. Tucker (2011)
Validated Numerics: A Short Introduction to Rigorous Computations
R. Barrio, F. Blesa, S. Serrano (2009)
Bifurcations and safe regions in open HamiltoniansNew Journal of Physics, 11
Irmina Walawska, D. Wilczak (2019)
Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systemsCommun. Nonlinear Sci. Numer. Simul., 74
R. Barrio, F. Blesa (2009)
Systematic search of symmetric periodic orbits in 2DOF Hamiltonian systemsChaos Solitons & Fractals, 41
(2016)
Chaos Detection and Predictability Lecture Notes in Physics, vol
A. Weinstein (1973)
Normal modes for nonlinear hamiltonian systemsInventiones mathematicae, 20
D. Wilczak, R. Barrio (2017)
Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant ToriSIAM J. Appl. Dyn. Syst., 16
Irmina Walawska, D. Wilczak (2015)
An implicit algorithm for validated enclosures of the solutions to variational equations for ODEsAppl. Math. Comput., 291
J. Kennedy, J. Yorke (1991)
Basins of WadaPhysica D: Nonlinear Phenomena, 51
Alexandre Nieto, E. Zotos, J. Seoane, M. Sanju'an (2019)
Measuring the transition between nonhyperbolic and hyperbolic regimes in open Hamiltonian systemsNonlinear Dynamics, 99
J. Aguirre, J. Vallejo, M. Sanjuán (2001)
Wada basins and chaotic invariant sets in the Hénon-Heiles system.Physical review. E, Statistical, nonlinear, and soft matter physics, 64 6 Pt 2
Robert Szczelina, P. Zgliczyński (2016)
Algorithm for Rigorous Integration of Delay Differential Equations and the Computer-Assisted Proof of Periodic Orbits in the Mackey–Glass EquationFoundations of Computational Mathematics, 18
R. Churchill, G. Pecelli, D. Rod (1979)
A survey of the Hénon-Heiles Hamiltonian with applications to related examples
F. Blesa, J. Seoane, R. Barrio, M. Sanjuán (2012)
To Escape or not to Escape, that is the Question - perturbing the HéNon-Heiles HamiltonianInt. J. Bifurc. Chaos, 22
P. Notz, R. Pawlowski, J. Sutherland (2011)
Graph-Based Software Design for Managing Complexity and Enabling Concurrency in Multiphysics PDE SoftwareACM Trans. Math. Softw., 39
J. Berg, Jonathan Jaquette (2017)
A proof of Wright's conjectureJournal of Differential Equations
D. Wilczak, P. Zgliczyński (2020)
A geometric method for infinite-dimensional chaos: Symbolic dynamics for the Kuramoto-Sivashinsky PDE on the lineJournal of Differential Equations
A. Motter, A. Moura, C. Grebogi, H. Kantz (2005)
Effective dynamics in Hamiltonian systems with mixed phase space.Physical review. E, Statistical, nonlinear, and soft matter physics, 71 3 Pt 2A
J. Aguirre, M. Sanjuán (2003)
Limit of small exits in open Hamiltonian systems.Physical review. E, Statistical, nonlinear, and soft matter physics, 67 5 Pt 2
S. Fedotkin, A. Magner, M. Brack (2008)
Analytic approach to bifurcation cascades in a class of generalized Hénon-Heiles potentials.Physical review. E, Statistical, nonlinear, and soft matter physics, 77 6 Pt 2
R. Barrio (2005)
Sensitivity tools vs. Poincaré sectionsChaos Solitons & Fractals, 25
G. Arioli, P. Zgliczyński (2001)
Symbolic Dynamics for the Hénon–Heiles Hamiltonian on the Critical LevelJournal of Differential Equations, 171
T. Kapela, M. Mrozek, D. Wilczak, P. Zgliczy'nski (2020)
CAPD: : DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systemsArXiv, abs/2010.07097
J. Lamb (1992)
Reversing symmetries in dynamical systemsJournal of Physics A, 25
D. Wilczak, P. Zgliczyński (2007)
Period Doubling in the Rössler System—A Computer Assisted ProofFoundations of Computational Mathematics, 9
M. Hénon, C. Heiles (1964)
The applicability of the third integral of motion: Some numerical experimentsThe Astronomical Journal, 69
A. Abad, R. Barrio, F. Blesa, Marcos Rodríguez (2012)
Algorithm 924: TIDES, a Taylor Series Integrator for Differential EquationSACM Trans. Math. Softw., 39
R. Barrio, F. Blesa, S. Serrano (2010)
Bifurcations and Chaos in Hamiltonian SystemsInt. J. Bifurc. Chaos, 20
R. Barrio, W. Borczyk, S. Breiter (2009)
Spurious structures in chaos indicators mapsChaos Solitons & Fractals, 40
R. Barrio, Marcos Rodríguez (2014)
Systematic Computer Assisted Proofs of periodic orbits of Hamiltonian systemsCommun. Nonlinear Sci. Numer. Simul., 19
R. Barrio (2006)
Painting Chaos: a Gallery of Sensitivity Plots of Classical ProblemsInt. J. Bifurc. Chaos, 16
D. Wilczak, P. Zgliczyński (2011)
Cr-Lohner algorithmSchedae Informaticae, 20
J.S.W. Lamb, G. Quispel (1994)
Reversing k-symmetries in dynamical systemsAstronomy and Astrophysics
K. Kay, B. Ramachandran (1988)
Classical and quantal pseudoergodic regions of the Henon–Heiles systemJournal of Chemical Physics, 88
P. Duarte (1994)
Plenty of elliptic islands for the standard family of area preserving mapsAnnales De L Institut Henri Poincare-analyse Non Lineaire, 11
Juan Sabuco, S. Zambrano, M. Sanjuán, J. Yorke (2012)
Finding safety in partially controllable chaotic systemsCommunications in Nonlinear Science and Numerical Simulation, 17
R. Barrio, F. Blesa, S. Serrano (2008)
Fractal structures in the Hénon-Heiles HamiltonianEPL (Europhysics Letters), 82
R. Barrio (2016)
Theory and Applications of the Orthogonal Fast Lyapunov Indicator (OFLI and OFLI2) Methods
R. Barrio, Marcos Rodríguez, F. Blesa (2012)
Computer-assisted proof of skeletons of periodic orbitsComput. Phys. Commun., 183
Marcio Gameiro, J. Lessard (2017)
A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto-Sivashinsky PDESIAM J. Appl. Dyn. Syst., 16
M. Capinski, C. Simó (2011)
Computer assisted proof for normally hyperbolic invariant manifoldsNonlinearity, 25
We provide rigorous computer-assisted proofs of the existence of different dynamical objects, like stable families of periodic orbits, bifurcations and stable invariant tori around them, in the paradigmatic Hénon–Heiles system. There are in the literature a large number of articles with numerical simulations on this system, and other open Hamiltonians, but only a few give a rigorous guarantee of simulations. In this article, we present the necessary link between the numerical simulations and the mathematical structure of the system, since it is relevant to provide evidence of the existence of some of the different objects detected numerically to evaluate the quality of the numerical results. Remarkably, we present a proof of the existence of stable regions in the non-hyperbolic and hyperbolic regimes classically established for the Hénon–Heiles system. In particular, we prove the important results of the existence of bounded stable regular regions located within the escape region, far from the regime of the KAM islands, which are called “safe regions”.
Nonlinear Dynamics – Springer Journals
Published: Sep 17, 2020
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.