Strange attractor

2020 Mathematics Subject Classification: Primary: 37D45 [MSN][ZBL]

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 $t\to\infty$. (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 [S2], [S3]; in these papers a rigorous sufficient condition from [S] 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 [H]), 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 [BC]–[MV]. A slight modification of this example gives a Lozi attractor (see [L]), 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 [A].

References

[MMO]	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.)) MR0494309 Zbl 0346.58007
[H]	M. Hénon, "A two-dimensional mapping with a strange attractor" Comm. Math. Phys. , 50 (1976) pp. 69–77 MR0422932 Zbl 0576.58018
[L]	R. Lozi, "Un attracteur étrange du type attracteur de Hénon" J. de Physique Ser. C , 39 : 5 (1978) pp. 9–10
[BC]	M. Benedicks, Z. Carleson, "On iterations of $1-ax^2$ on $(-1,1)$" Ann. of Math. , 122 (1985) pp. 1–25 MR799250 Zbl 0597.58016
[BC2]	M. Benedicks, Z. Carleson, "The dynamics of the Hénon map" Preprint (1989) MR1087346 Zbl 0724.58042
[MV]	L. Mora, M. Viana, "Abundance of strange attractors" Preprint IMPA Rio de Janeiro (1990) MR1237897 Zbl 0815.58016
[A]	V.I. Arnol'd, et al., "Theory of bifurcations" , Encycl. Math. Sci. , 5. Dynamical systems , Springer (Forthcoming) (Translated from Russian)
[S]	Z.P. Shilnikov, "Theory of bifurcations and quasihyperbolic attractors" Uspekhi Mat. Nauk , 36 : 4 (1981) pp. 240–241 (In Russian)
[S2]	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) MR0950647
[S3]	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 [M].

Let $f$ be a differentiable mapping (cf. Differential of a mapping) of a smooth manifold $M$ (possibly with boundary) into itself. For each $x\in M$, let $w(x)$ be the $\omega$-limit set of the orbit $x,f(x),f(f(x)),\ldots,$ i.e. $w(x)$ is the set of points $y$ such that each open neighbourhood $U$ of $y$ contains infinitely many points from this orbit (cf. also Limit set of a trajectory).

Let $\mu$ be a measure on $M$ equivalent to the usual Lebesgue measure on coordinate patches. For each closed subset $A$ of $M$, define its domain of attraction as $\alpha(A)=\{x\in M\colon w(x)\subset A\}$. A closed subset $A$ is now called an attractor if: i) its domain of attraction $\alpha(A)$ has strictly positive measure; and ii) there is no closed $A'\subset A$, $A'\neq A$, such that $\alpha(A')=\alpha(A)$, 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 $k$-dimensional torus, $k\geq3$, and the perturbed flow can be both chaotic and structurally stable. See [RT]–[R].

References

[M]	J.W. Milnor, "On the concept of attractor" Comm. Math. Phys. , 99 (1985) pp. 177–195 MR0818833 MR0790735 Zbl 0602.58030 Zbl 0595.58028
[RT]	D. Ruelle, F. Takens, "On the nature of turbulence" Comm. Math. Phys. , 20 (1971) pp. 167–192 MR0292391 MR0284067 Zbl 0227.76084 Zbl 0223.76041
[NRT]	S. Newhouse, D. Ruelle, F. Takens, "Occurrence of strange axiom $A$ attractors near quasiperiodic flows on $T^m$, $m\geq3$" Comm. Math. Phys. , 64 (1978) pp. 35–40 MR516994
[R]	D. Ruelle, "Elements of differentiable dynamics and bifurcation theory" , Acad. Press (1989) MR0982930 Zbl 0684.58001
[R2]	D. Ruelle, "Strange attractors" Math. Intelligencer , 2 (1980) pp. 126–140 MR0566015 MR0595080 Zbl 0518.34036 Zbl 0487.58014