Towards a computer-assisted proof for chaos in a forced damped pendulum equation |
| |
| Authors: | Tibor Csendes,Balá zs Bá nhelyi,Lá szló Hatvani |
| |
| Affiliation: | 1. Institute of Informatics, University of Szeged, Szeged, Hungary;2. Bolyai Institute, University of Szeged, Szeged, Hungary |
| |
| Abstract: | We report on the first steps made towards the computational proof of the chaotic behaviour of the forced damped pendulum. Although, chaos for this pendulum was being conjectured for long, and it has been plausible on the basis of numerical simulations, there is no rigorous proof for it. In the present paper we provide computational details on a fitting model and on a verified method of solution. We also give guaranteed reliability solutions showing some trajectory properties necessary for complicate chaotic behaviour. |
| |
| Keywords: | 65G30 65G40 |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
