|
Chaos in the Lorenz equations: a computer-assisted proof
Authors:
Konstantin Mischaikow and Marian Mrozek
Journal:
Bull. Amer. Math. Soc. 32 (1995), 66-72
MSC:
Primary 58F13; Secondary 34C28, 65L99
MathSciNet review:
1276767
Full-text PDF
Abstract |
References |
Similar Articles |
Additional Information
Abstract: A new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique combines abstract existence results based on the Conley index theory with computer-assisted computations. As an application of these methods it is proven that for an explicit parameter value the Lorenz equations exhibit chaotic dynamics.
- [1]
S.
P. Hastings and W.
C. Troy, A shooting approach to the Lorenz
equations, Bull. Amer. Math. Soc. (N.S.)
27 (1992), no. 2,
298–303. MR 1161275
(93f:58150), http://dx.doi.org/10.1090/S0273-0979-1992-00327-0
- [2]
T.
Kaczynski and M.
Mrozek, Conley index for discrete multi-valued dynamical
systems, Topology Appl. 65 (1995), no. 1,
83–96. MR
1354383 (97d:54066), http://dx.doi.org/10.1016/0166-8641(94)00088-K
- [3]
Konstantin
Mischaikow and Marian
Mrozek, Isolating neighborhoods and chaos, Japan J. Indust.
Appl. Math. 12 (1995), no. 2, 205–236. MR 1337206
(96e:58104), http://dx.doi.org/10.1007/BF03167289
- [4]
-, Chaos in Lorenz equations: A computer assisted proof, Part II: Details, in preparation.
- [5]
Marian
Mrozek, Leray functor and cohomological Conley
index for discrete dynamical systems, Trans.
Amer. Math. Soc. 318 (1990), no. 1, 149–178. MR 968888
(90f:34076), http://dx.doi.org/10.1090/S0002-9947-1990-0968888-1
- [6]
-, Topological invariants, multivalued maps and computer assisted proofs in dynamics, in preparation.
- [7]
Marek
Ryszard Rychlik, Lorenz attractors through
Šil′nikov-type bifurcation. I, Ergodic Theory Dynam.
Systems 10 (1990), no. 4, 793–821. MR 1091428
(92f:58103), http://dx.doi.org/10.1017/S0143385700005915
- [8]
B.
Hassard, J.
Zhang, S.
P. Hastings, and W.
C. Troy, A computer proof that the Lorenz equations have
“chaotic” solutions, Appl. Math. Lett. 7
(1994), no. 1, 79–83. MR 1349899
(96d:58082), http://dx.doi.org/10.1016/0893-9659(94)90058-2
- [1]
- S. P. Hastings and W. C. Troy, A shooting approach to the Lorenz equations, Bull. Amer. Math. Soc. (N.S.) 27 (1992), 298-303. MR 1161275 (93f:58150)
- [2]
- T. Kaczynński and M. Mrozek, Conley index for discrete multivalued dynamical systems, Topology Appl. (to appear). MR 1354383 (97d:54066)
- [3]
- K. Mischaikow and M. Mrozek, Isolating neighborhoods and chaos, preprint. MR 1337206 (96e:58104)
- [4]
- -, Chaos in Lorenz equations: A computer assisted proof, Part II: Details, in preparation.
- [5]
- M. Mrozek, Leray functor and the cohomological Conley index for discrete dynamical systems, Trans. Amer. Math. Soc. 318 (1990), 149-178. MR 968888 (90f:34076)
- [6]
- -, Topological invariants, multivalued maps and computer assisted proofs in dynamics, in preparation.
- [7]
- M. R. Rychlik, Lorenz attractors through Šil'nikov-type bifurcation. Part I, Ergodic Theory Dynamical Systems 10 (1989), 793-821. MR 1091428 (92f:58103)
- [8]
- B. Hassard, S. P. Hastings, W. C. Troy, and J. Zhang, A computer proof that the Lorenz equations have "chaotic" solutions, Appl. Math. Lett. 7 (1994), 79-83. MR 1349899 (96d:58082)
Similar Articles
Retrieve articles in Bulletin of the American Mathematical Society
with MSC:
58F13,
34C28,
65L99
Retrieve articles in all journals
with MSC:
58F13,
34C28,
65L99
Additional Information
DOI:
http://dx.doi.org/10.1090/S0273-0979-1995-00558-6
PII:
S 0273-0979(1995)00558-6
Article copyright:
© Copyright 1995 American Mathematical Society
|
