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

DOI10.1016/J.CAM.2005.08.046MaRDI QIDQ861906zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

differential equationsnumerical exampleschaospenduluminterval methodfitting modelguaranteed reliability solutionsverified method

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 989768 (Why is no real title available?)
• Computer assisted proof of chaos in the Lorenz equations
• OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER
• Rigorous chaos verification in discrete dynamical systems
• The Forced Damped Pendulum: Chaos, Complication and Control

Cited in

(14)

• Rigorous verification of trajectories for the computer simulation of dynamical systems
• A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation
• 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

Describes a project that uses

Uses Software

• VNODE
• PROFIL/BIAS

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)