Towards a computer-assisted proof for chaos in a forced damped pendulum equation

DOI10.1016/j.cam.2005.08.046zbMath1108.65121OpenAlexW1978683643MaRDI QIDQ861906

László Hatvani, Balázs Bánhelyi, Tibor Csendes

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

zbMATH Keywords

chaosnumerical examplespendulumdifferential equationsinterval methodverified methodfitting modelguaranteed reliability solutions

Mathematics Subject Classification ID

General methods in interval analysis (65G40) Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Numerical chaos (65P20)

Related Items (7)

Stability problems for the mathematical pendulum ⋮ Chaotic dynamics in a vertically driven planar pendulum ⋮ Determining consecutive periods of the Lorenz maps ⋮ The GLOBAL optimization method revisited ⋮ A verified optimization technique to locate chaotic regions of Hénon systems ⋮ 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

• PROFIL/BIAS
• VNODE

Cites Work

• Unnamed Item
• Rigorous chaos verification in discrete dynamical systems
• Computer assisted proof of chaos in the Lorenz equations
• The Forced Damped Pendulum: Chaos, Complication and Control
• OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER

This page was built for publication: Towards a computer-assisted proof for chaos in a forced damped pendulum equation