Computer assisted proof of chaotic behaviour of the forced damped pendulum
From MaRDI portal
Complex behavior and chaotic systems of ordinary differential equations (34C28) Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Interval and finite arithmetic (65G30) Forced motions for nonlinear problems in mechanics (70K40) Transition to stochasticity (chaotic behavior) for nonlinear problems in mechanics (70K55)
Recommendations
- Towards a computer-assisted proof for chaos in a forced damped pendulum equation
- A Computer-Assisted Proof of \Sigma₃-Chaos in the Forced Damped Pendulum Equation
- Stability problems for the mathematical pendulum
- Rigorous verification of trajectories for the computer simulation of dynamical systems
- On the existence and stabilization of an upper unstable limit cycle of the damped forced pendulum
Cited in
(5)- Stability problems for the mathematical pendulum
- Chaotic dynamics in a vertically driven planar pendulum
- An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum
- A Computer-Assisted Proof of \Sigma₃-Chaos in the Forced Damped Pendulum Equation
- Towards a computer-assisted proof for chaos in a forced damped pendulum equation
This page was built for publication: Computer assisted proof of chaotic behaviour of the forced damped pendulum
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4920500)
