Systematic computer assisted proofs of periodic orbits of Hamiltonian systems
From MaRDI portal
Recommendations
- Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems
- The study of periodic orbits of dynamical systems. The use of a computer
- Systematic computer-assisted proof of branches of stable elliptic periodic orbits and surrounding invariant tori
- Continuation of periodic orbits in conservative and Hamiltonian systems
- Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
Cites work
- A Newton-Picard shooting method for computing periodic solutions of large-scale dynamical systems.
- A rigorous ODE solver and Smale's 14th problem
- A three-parametric study of the Lorenz model
- Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map
- An algorithm with guaranteed convergence for finding a zero of a function
- Application of the characteristic bisection method for locating and computing periodic orbits in molecular systems
- Bounds for the chaotic region in the Lorenz model
- Branches of periodic orbits for the planar restricted 3-body problem
- Calculations of periodic trajectories for the Hénon–Heiles Hamiltonian using the monodromy method
- Convergence analysis of Davidchack and Lai's algorithm for finding periodic orbits
- Determination of periodic orbits of nonlinear oscillators by means of piecewise-linearization methods
- Generic Bifurcation of Periodic Points
- scientific article; zbMATH DE number 3708924 (Why is no real title available?)
- scientific article; zbMATH DE number 3770219 (Why is no real title available?)
- scientific article; zbMATH DE number 49110 (Why is no real title available?)
- scientific article; zbMATH DE number 714513 (Why is no real title available?)
- scientific article; zbMATH DE number 1543285 (Why is no real title available?)
- scientific article; zbMATH DE number 903767 (Why is no real title available?)
- Interval Methods for Systems of Equations
- Introduction to Hamiltonian dynamical systems and the \(N\)-body problem.
- Introduction to Interval Analysis
- Localization of periodic orbits of polynomial systems by ellipsoidal estimates
- Localization of periodic orbits of polynomial vector fields of even degree by linear functions
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
- Numerical Continuation of Symmetric Periodic Orbits
- On computing periodic orbits
- On the numerical continuation of periodic orbits
- Period doubling in the Rössler system -- a computer assisted proof
- POMULT: A program for computing periodic orbits in Hamiltonian systems based on multiple shooting algorithms
- Predicting orbits of the Lorenz equation from symbolic dynamics
- Rigorous verification of cocoon bifurcations in the Michelson system
- Systematic search of symmetric periodic orbits in 2DOF Hamiltonian systems
- The calculation of periodic trajectories
- The Lindstedt-Poincaré technique as an algorithm for computing periodic orbits
- The Lorenz attractor exists
- Unstable periodic orbit detection for ODEs with periodic forcing
- Validated numerics. A short introduction to rigorous computations.
- Validated solutions of initial value problems for ordinary differential equations
Cited in
(11)- POMULT: A program for computing periodic orbits in Hamiltonian systems based on multiple shooting algorithms
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- Computer assisted method for proving existence of periodic orbits
- Computer assisted proofs in dynamical systems
- A database of rigorous and high-precision periodic orbits of the Lorenz model
- Systematic computer-assisted proof of branches of stable elliptic periodic orbits and surrounding invariant tori
- Computer-assisted methods for analyzing periodic orbits in vibrating gravitational billiards
- Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems
- Distribution of stable islands within chaotic areas in the non-hyperbolic and hyperbolic regimes in the Hénon-Heiles system
- On GIT quotients of the symplectic group, stability and bifurcations of periodic orbits (with a view towards practical applications)
- Computational symplectic topology and symmetric orbits in the restricted three-body problem
This page was built for publication: Systematic computer assisted proofs of periodic orbits of Hamiltonian systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2300177)
