Towards a computer-assisted proof for chaos in a forced damped pendulum equation
DOI10.1016/J.CAM.2005.08.046zbMATH Open1108.65121OpenAlexW1978683643MaRDI QIDQ861906FDOQ861906
Authors: Tibor Csendes, Balázs Bánhelyi, László Hatvani 
Publication date: 2 February 2007
Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.cam.2005.08.046
Recommendations
- Computer assisted proof of chaotic behaviour of the forced damped pendulum
- A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation
- An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum
- Rigorous verification of trajectories for the computer simulation of dynamical systems
- Computer assisted proof of the existence of homoclinic tangency for the Hénon map and for the forced damped pendulum
differential equationsnumerical exampleschaospenduluminterval methodfitting modelguaranteed reliability solutionsverified method
Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Numerical chaos (65P20) General methods in interval analysis (65G40)
Cites Work
Cited In (14)
- A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation
- Rigorous verification of trajectories for the computer simulation of dynamical systems
- Chaos in the Lorenz equations: a computer-assisted proof
- An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum
- Computer assisted proof of chaotic behaviour of the forced damped pendulum
- Numerical Treatment of the Rotation Number for the Forced Pendulum
- Stability problems for the mathematical pendulum
- A verified optimization technique to locate chaotic regions of Hénon systems
- The GLOBAL optimization method revisited
- Chaotic dynamics in a vertically driven planar pendulum
- Determining consecutive periods of the Lorenz maps
- Rigorous proof of chaotic behaviour in a dumbbell satellite model
- On the existence and stabilization of an upper unstable limit cycle of the damped forced pendulum
- Global attractivity of the zero solution for Wright's equation
Uses Software
This page was built for publication: Towards a computer-assisted proof for chaos in a forced damped pendulum equation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861906)
