Strange attractor

An attractor (i.e. an attracting set of a dynamical system) with a complicated structure. An attractor is a compact invariant subset of the phase space which is asymptotically stable, i.e. it is Lyapunov stable (cf. Lyapunov stability) and all trajectories from one of its neighbourhoods tend to it when . (The concept of Lyapunov stability does not always figure in the definition of an attractor, although the important attractors do possess this property.) The expression "complicated structure" is rather indefinite, as is the term "strange attractor" . For smooth dynamical systems two types of strange attractors which are preserved by small perturbations have been theoretically studied — attractors which are hyperbolic sets (cf. Hyperbolic set), and the Lorenz attractor, which gave rise to the actual term "strange attractor" . Later a Lorenz-type attractor was found in a system which is different from the system studied by Lorenz himself [9], [10]; in these papers a rigorous sufficient condition from [8] is used. In both examples, a strange attractor possesses topological transitivity; this or a related property can be included in the concept of an attractor. On the basis of numerical experiments one may assume the existence of many other types of strange attractors which apparently also "endure" small perturbations, although the situation with regard to these has not been sufficiently well explained. Thus, in one of the first experiments, a Hénon attractor appeared (see [2]), but unstable periodic trajectories exist close to it, and it cannot always be ruled out that the majority of the trajectories tend to it, although in some case this is so [4]–[6]. A slight modification of this example gives a Lozi attractor (see [3]), the existence of which can be strictly proved, but in this example the smoothness of the dynamical system is disrupted at one point. For more information see [7].

References

[1]	J.E. Marsden, M. MacCracken, G.F. Oster, "The Hopf bifurcation and its applications" , Springer (1976) ((The Russian translation, Mir (1980), contains an appendix on the Lorenz attractor.))
[2]	M. Hénon, "A two-dimensional mapping with a strange attractor" Comm. Math. Phys. , 50 (1976) pp. 69–77
[3]	R. Lozi, "Un attracteur étrange du type attracteur de Hénon" J. de Physique Ser. C , 39 : 5 (1978) pp. 9–10
[4]	M. Benedicks, Z. Carleson, "On iterations of on " Ann. of Math. , 122 (1985) pp. 1–25
[5]	M. Benedicks, Z. Carleson, "The dynamics of the Hénon map" Preprint (1989)
[6]	L. Mora, M. Viana, "Abundance of strange attractors" Preprint IMPA Rio de Janeiro (1990)
[7]	V.I. Arnol'd, et al., "Theory of bifurcations" , Encycl. Math. Sci. , 5. Dynamical systems , Springer (Forthcoming) (Translated from Russian)
[8]	Z.P. Shilnikov, "Theory of bifurcations and quasihyperbolic attractors" Uspekhi Mat. Nauk , 36 : 4 (1981) pp. 240–241 (In Russian)
[9]	A.Z. Shilnikov, "Bifurcation and chaos in the Marioka–Shimizu system" , Methods of the Qualitative Theory of Differential Eqs. , Gorkii State Univ. (1986) pp. 180–193 (In Russian)
[10]	A.Z. Shilnikov, "Bifurcation and chaos in the Marioka–Shimizu system II" , Methods of the Qualitative Theory and the Theory of Bifurcations , Gorkii State Univ. (1989) pp. 130–138 (In Russian)

Comments

There are several other definitions (precizations) of the intuitive idea of an attractor (than the one given above: a compact asymptotically stable subset of phase space). One of the most attractive ones is the following [a1].

Let be a differentiable mapping (cf. Differential of a mapping) of a smooth manifold (possibly with boundary) into itself. For each , let be the -limit set of the orbit i.e. is the set of points such that each open neighbourhood of contains infinitely many points from this orbit (cf. also Limit set of a trajectory).

Let be a measure on equivalent to the usual Lebesgue measure on coordinate patches. For each closed subset of , define its domain of attraction as . A closed subset is now called an attractor if: i) its domain of attraction has strictly positive measure; and ii) there is no closed , , such that , modulo sets of measure zero. Such an attractor need have no (asymptotic) stability properties.

Cf. also Chaos and Routes to chaos, for the appearance of a strange attractor. E.g., strange attractors can arise from arbitrarily small perturbations of quasi-periodic flows on the -dimensional torus, , and the perturbed flow can be both chaotic and structurally stable. See [a2]–[a4].

References

[a1]	J.W. Milnor, "On the concept of attractor" Comm. Math. Phys. , 99 (1985) pp. 177–195
[a2]	D. Ruelle, F. Takens, "On the nature of turbulence" Comm. Math. Phys. , 20 (1971) pp. 167–192
[a3]	S. Newhouse, D. Ruelle, F. Takens, "Occurrence of strange axiom attractors near quasiperiodic flows on , " Comm. Math. Phys. , 64 (1978) pp. 35–40
[a4]	D. Ruelle, "Elements of differentiable dynamics and bifurcation theory" , Acad. Press (1989)
[a5]	D. Ruelle, "Strange attractors" Math. Intelligencer , 2 (1980) pp. 126–140