zbMATH — the first resource for mathematics

Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
Towards a computer-assisted proof for chaos in a forced damped pendulum equation. (English) Zbl 1108.65121
Summary: 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.

65P20Numerical chaos
65G40General methods in interval analysis
37D45Strange attractors, chaotic dynamics
Full Text: DOI
[1] B. Bánhelyi, T. Csendes, B.M. Garay, Optimization and the Miranda approach in detecting horseshoe-type chaos by computer, in preparation, available at \langle www.inf.u-szeged.hu/∼csendes/henon2.pdf\rangle .
[2] T. Csendes, B.M. Garay, B. Bánhelyi, A verified optimization technique to locate chaotic regions of a Hénon system, in preparation, available at \langle http://www.inf.u-szeged.hu/∼csendes/henon.pdf\rangle .
[3] Galias, Z.; Zgliczynski, P.: Computer assisted proof of chaos in the Lorenz equations. Physica D 115, 165-188 (1998) · Zbl 0941.37018
[4] Hubbard, J. H.: The forced damped pendulum: chaos, complication and control. Amer. math. Monthly 8, 741-758 (1999) · Zbl 0989.70014
[5] O. Knüppel, PROFIL --- Programmer’s Runtime Optimized Fast Interval Library, Bericht 93.4., Technische Universität Hamburg-Harburg, 1993.
[6] N. Nedialkov, VNODE, A validated solver for initial value problems for ordinary differential equations \langle  http://www.cas.mcmaster.ca/∼nedialk/Software/VNODE/VNODE.shtml\rangle .
[7] Neumaier, A.; Rage, T.: Rigorous chaos verification in discrete dynamical systems. Physica D 67, 327-346 (1993) · Zbl 0783.58047
[8] ODE ARHITECT, an ODE illustration program, Wiley, New York, 1999.
[9] Rage, T.; Neumaier, A.; Schlier, C.: Rigorous verification of chaos in a molecular model. Phys. rev. E 50, 2682-2688 (1994)
[10] Zgliczynski, P.: Computer assisted proof of the horseshoe dynamics in the hénon map. Random comput. Dynamics 5, 1-17 (1997)