Namespaces
Variants
Actions

Difference between revisions of "Strange attractor"

From Encyclopedia of Mathematics
Jump to: navigation, search
(MSC|37D45 Category:Dynamical systems with hyperbolic behavior)
(refs format)
Line 3: Line 3:
 
[[Category:Dynamical systems with hyperbolic behavior]]
 
[[Category:Dynamical systems with hyperbolic behavior]]
  
An attractor (i.e. an attracting set of a [[Dynamical system|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|Lyapunov stability]]) and all trajectories from one of its neighbourhoods tend to it when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s0904101.png" />. (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|Hyperbolic set]]), and the [[Lorenz attractor|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 [[#References|[9]]], [[#References|[10]]]; in these papers a rigorous sufficient condition from [[#References|[8]]] is used. In both examples, a strange attractor possesses [[Topological transitivity|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 [[#References|[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 [[#References|[4]]][[#References|[6]]]. A slight modification of this example gives a Lozi attractor (see [[#References|[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 [[#References|[7]]].
+
An attractor (i.e. an attracting set of a [[Dynamical system|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|Lyapunov stability]]) and all trajectories from one of its neighbourhoods tend to it when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s0904101.png" />. (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|Hyperbolic set]]), and the [[Lorenz attractor|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 {{Cite|S2}}, {{Cite|S3}}; in these papers a rigorous sufficient condition from {{Cite|S}} is used. In both examples, a strange attractor possesses [[Topological transitivity|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 {{Cite|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 {{Cite|BC}}{{Cite|MV}}. A slight modification of this example gives a Lozi attractor (see {{Cite|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 {{Cite|A}}.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> 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.)) {{MR|0494309}} {{ZBL|0346.58007}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> M. Hénon, "A two-dimensional mapping with a strange attractor" ''Comm. Math. Phys.'' , '''50''' (1976) pp. 69–77 {{MR|0422932}} {{ZBL|0576.58018}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> R. Lozi, "Un attracteur étrange du type attracteur de Hénon" ''J. de Physique Ser. C'' , '''39''' : 5 (1978) pp. 9–10</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> M. Benedicks, Z. Carleson, "On iterations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s0904102.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s0904103.png" />" ''Ann. of Math.'' , '''122''' (1985) pp. 1–25 {{MR|799250}} {{ZBL|0597.58016}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> M. Benedicks, Z. Carleson, "The dynamics of the Hénon map" ''Preprint'' (1989) {{MR|1087346}} {{ZBL|0724.58042}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> L. Mora, M. Viana, "Abundance of strange attractors" ''Preprint IMPA Rio de Janeiro'' (1990) {{MR|1237897}} {{ZBL|0815.58016}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> V.I. Arnol'd, et al., "Theory of bifurcations" , ''Encycl. Math. Sci.'' , '''5. Dynamical systems''' , Springer (Forthcoming) (Translated from Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> Z.P. Shilnikov, "Theory of bifurcations and quasihyperbolic attractors" ''Uspekhi Mat. Nauk'' , '''36''' : 4 (1981) pp. 240–241 (In Russian)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> 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) {{MR|0950647}} {{ZBL|}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> 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)</TD></TR></table>
+
{|
 
+
|valign="top"|{{Ref|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.)) {{MR|0494309}} {{ZBL|0346.58007}}
 
+
|-
 +
|valign="top"|{{Ref|H}}|| M. Hénon, "A two-dimensional mapping with a strange attractor" ''Comm. Math. Phys.'' , '''50''' (1976) pp. 69–77 {{MR|0422932}} {{ZBL|0576.58018}}
 +
|-
 +
|valign="top"|{{Ref|L}}|| R. Lozi, "Un attracteur étrange du type attracteur de Hénon" ''J. de Physique Ser. C'' , '''39''' : 5 (1978) pp. 9–10
 +
|-
 +
|valign="top"|{{Ref|BC}}|| M. Benedicks, Z. Carleson, "On iterations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s0904102.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s0904103.png" />" ''Ann. of Math.'' , '''122''' (1985) pp. 1–25 {{MR|799250}} {{ZBL|0597.58016}}
 +
|-
 +
|valign="top"|{{Ref|BC2}}|| M. Benedicks, Z. Carleson, "The dynamics of the Hénon map" ''Preprint'' (1989) {{MR|1087346}} {{ZBL|0724.58042}}
 +
|-
 +
|valign="top"|{{Ref|MV}}|| L. Mora, M. Viana, "Abundance of strange attractors" ''Preprint IMPA Rio de Janeiro'' (1990) {{MR|1237897}} {{ZBL|0815.58016}}
 +
|-
 +
|valign="top"|{{Ref|A}}|| V.I. Arnol'd, et al., "Theory of bifurcations" , ''Encycl. Math. Sci.'' , '''5. Dynamical systems''' , Springer (Forthcoming) (Translated from Russian)
 +
|-
 +
|valign="top"|{{Ref|S}}|| Z.P. Shilnikov, "Theory of bifurcations and quasihyperbolic attractors" ''Uspekhi Mat. Nauk'' , '''36''' : 4 (1981) pp. 240–241 (In Russian)
 +
|-
 +
|valign="top"|{{Ref|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) {{MR|0950647}} {{ZBL|}}
 +
|-
 +
|valign="top"|{{Ref|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====
 
====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 [[#References|[a1]]].
+
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 {{Cite|M}}.
  
 
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s0904104.png" /> be a differentiable mapping (cf. [[Differentiation of a mapping|Differential of a mapping]]) of a smooth manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s0904105.png" /> (possibly with boundary) into itself. For each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s0904106.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s0904107.png" /> be the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s0904109.png" />-limit set of the orbit <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041010.png" /> i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041011.png" /> is the set of points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041012.png" /> such that each open neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041013.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041014.png" /> contains infinitely many points from this orbit (cf. also [[Limit set of a trajectory|Limit set of a trajectory]]).
 
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s0904104.png" /> be a differentiable mapping (cf. [[Differentiation of a mapping|Differential of a mapping]]) of a smooth manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s0904105.png" /> (possibly with boundary) into itself. For each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s0904106.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s0904107.png" /> be the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s0904109.png" />-limit set of the orbit <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041010.png" /> i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041011.png" /> is the set of points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041012.png" /> such that each open neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041013.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041014.png" /> contains infinitely many points from this orbit (cf. also [[Limit set of a trajectory|Limit set of a trajectory]]).
Line 17: Line 35:
 
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041015.png" /> be a measure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041016.png" /> equivalent to the usual Lebesgue measure on coordinate patches. For each closed subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041017.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041018.png" />, define its domain of attraction as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041019.png" />. A closed subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041020.png" /> is now called an attractor if: i) its domain of attraction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041021.png" /> has strictly positive measure; and ii) there is no closed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041022.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041023.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041024.png" />, modulo sets of measure zero. Such an attractor need have no (asymptotic) stability properties.
 
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041015.png" /> be a measure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041016.png" /> equivalent to the usual Lebesgue measure on coordinate patches. For each closed subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041017.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041018.png" />, define its domain of attraction as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041019.png" />. A closed subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041020.png" /> is now called an attractor if: i) its domain of attraction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041021.png" /> has strictly positive measure; and ii) there is no closed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041022.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041023.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041024.png" />, modulo sets of measure zero. Such an attractor need have no (asymptotic) stability properties.
  
Cf. also [[Chaos|Chaos]] and [[Routes to chaos|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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041025.png" />-dimensional torus, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041026.png" />, and the perturbed flow can be both chaotic and structurally stable. See [[#References|[a2]]][[#References|[a4]]].
+
Cf. also [[Chaos|Chaos]] and [[Routes to chaos|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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041025.png" />-dimensional torus, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041026.png" />, and the perturbed flow can be both chaotic and structurally stable. See {{Cite|RT}}{{Cite|R}}.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J.W. Milnor, "On the concept of attractor" ''Comm. Math. Phys.'' , '''99''' (1985) pp. 177–195 {{MR|0818833}} {{MR|0790735}} {{ZBL|0602.58030}} {{ZBL|0595.58028}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> D. Ruelle, F. Takens, "On the nature of turbulence" ''Comm. Math. Phys.'' , '''20''' (1971) pp. 167–192 {{MR|0292391}} {{MR|0284067}} {{ZBL|0227.76084}} {{ZBL|0223.76041}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> S. Newhouse, D. Ruelle, F. Takens, "Occurrence of strange axiom <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041027.png" /> attractors near quasiperiodic flows on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041028.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041029.png" />" ''Comm. Math. Phys.'' , '''64''' (1978) pp. 35–40 {{MR|516994}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> D. Ruelle, "Elements of differentiable dynamics and bifurcation theory" , Acad. Press (1989) {{MR|0982930}} {{ZBL|0684.58001}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> D. Ruelle, "Strange attractors" ''Math. Intelligencer'' , '''2''' (1980) pp. 126–140 {{MR|0566015}} {{MR|0595080}} {{ZBL|0518.34036}} {{ZBL|0487.58014}} </TD></TR></table>
+
{|
 +
|valign="top"|{{Ref|M}}|| J.W. Milnor, "On the concept of attractor" ''Comm. Math. Phys.'' , '''99''' (1985) pp. 177–195 {{MR|0818833}} {{MR|0790735}} {{ZBL|0602.58030}} {{ZBL|0595.58028}}
 +
|-
 +
|valign="top"|{{Ref|RT}}|| D. Ruelle, F. Takens, "On the nature of turbulence" ''Comm. Math. Phys.'' , '''20''' (1971) pp. 167–192 {{MR|0292391}} {{MR|0284067}} {{ZBL|0227.76084}} {{ZBL|0223.76041}}
 +
|-
 +
|valign="top"|{{Ref|NRT}}|| S. Newhouse, D. Ruelle, F. Takens, "Occurrence of strange axiom <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041027.png" /> attractors near quasiperiodic flows on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041028.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090410/s09041029.png" />" ''Comm. Math. Phys.'' , '''64''' (1978) pp. 35–40 {{MR|516994}} {{ZBL|}}
 +
|-
 +
|valign="top"|{{Ref|R}}|| D. Ruelle, "Elements of differentiable dynamics and bifurcation theory" , Acad. Press (1989) {{MR|0982930}} {{ZBL|0684.58001}}
 +
|-
 +
|valign="top"|{{Ref|R2}}|| D. Ruelle, "Strange attractors" ''Math. Intelligencer'' , '''2''' (1980) pp. 126–140 {{MR|0566015}} {{MR|0595080}} {{ZBL|0518.34036}} {{ZBL|0487.58014}}
 +
|}

Revision as of 18:02, 30 May 2012

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 . (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 on " 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 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 [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 attractors near quasiperiodic flows on , " 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
How to Cite This Entry:
Strange attractor. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Strange_attractor&oldid=26959
This article was adapted from an original article by D.V. Anosov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article