Namespaces
Variants
Actions

Difference between revisions of "Chaos"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
c0214801.png
 +
$#A+1 = 61 n = 0
 +
$#C+1 = 61 : ~/encyclopedia/old_files/data/C021/C.0201480 Chaos,
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''deterministic chaos.''
 
''deterministic chaos.''
  
 
Chaos describes a situation where typical solutions (or orbits) of a differential equation (or typical evolutions of some other model describing deterministic evolution) do not converge to a stationary or periodic function (of time) but continue to exhibit a seemingly unpredictable behaviour. There are different ways to formalize this notion mathematically. Below one such a formalization will be considered, followed by a discussion of some examples.
 
Chaos describes a situation where typical solutions (or orbits) of a differential equation (or typical evolutions of some other model describing deterministic evolution) do not converge to a stationary or periodic function (of time) but continue to exhibit a seemingly unpredictable behaviour. There are different ways to formalize this notion mathematically. Below one such a formalization will be considered, followed by a discussion of some examples.
  
The dynamical systems (or models describing deterministic evolution, cf. [[Dynamical system|Dynamical system]]) considered are differential equations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c0214801.png" />, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c0214802.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c0214803.png" /> a [[Differentiable manifold|differentiable manifold]] and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c0214804.png" /> a [[Vector field|vector field]] on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c0214805.png" />, and differentiable mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c0214806.png" /> which may or may not be invertible. For a given initial state <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c0214807.png" />, the corresponding evolution is the solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c0214808.png" /> of the differential equation with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c0214809.png" /> or, in the case of a mapping, the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148010.png" /> given by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148011.png" />. The last case is the discrete-time situation, the first case that of continuous time. Even if the evolutions can be defined for negative time, only the part with positive time is considered. Also, only bounded evolutions are considered here, i.e. evolutions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148012.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148013.png" />, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148014.png" />, respectively <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148015.png" />, whose closure, as a subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148016.png" />, is compact. It is assumed that there is a metric defined on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148017.png" />.
+
The dynamical systems (or models describing deterministic evolution, cf. [[Dynamical system|Dynamical system]]) considered are differential equations $  \dot{x} = F ( x) $,  
 +
with $  x \in X $,  
 +
$  X $
 +
a [[Differentiable manifold|differentiable manifold]] and $  F: X \rightarrow T ( X) $
 +
a [[Vector field|vector field]] on $  X $,  
 +
and differentiable mappings $  \phi : X \rightarrow X $
 +
which may or may not be invertible. For a given initial state $  x _ {0} \in X $,  
 +
the corresponding evolution is the solution $  x ( t) $
 +
of the differential equation with $  x ( 0) = x _ {0} $
 +
or, in the case of a mapping, the function $  \mathbf N \rightarrow X $
 +
given by $  n \mapsto \phi  ^ {n} ( x _ {0} ) $.  
 +
The last case is the discrete-time situation, the first case that of continuous time. Even if the evolutions can be defined for negative time, only the part with positive time is considered. Also, only bounded evolutions are considered here, i.e. evolutions $  x ( t) $,  
 +
$  x _ {n} $,  
 +
with $  t \geq  0 $,  
 +
respectively $  n \geq  0 $,  
 +
whose closure, as a subset of $  X $,  
 +
is compact. It is assumed that there is a metric defined on $  X $.
  
One says that such a dynamical system is chaotic if there is a subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148018.png" /> which has positive measure (for every measure in the Lebesgue measure class) which is invariant in the sense that every evolution starting in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148019.png" /> stays in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148020.png" />, and such that the evolutions in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148021.png" /> have the following properties:
+
One says that such a dynamical system is chaotic if there is a subset $  \widetilde{X}  \subset  X $
 +
which has positive measure (for every measure in the Lebesgue measure class) which is invariant in the sense that every evolution starting in $  \widetilde{X}  $
 +
stays in $  \widetilde{X}  $,  
 +
and such that the evolutions in $  \widetilde{X}  $
 +
have the following properties:
  
1) no evolution starting in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148022.png" /> is periodic or quasi-periodic; an evolution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148023.png" /> is quasi-periodic if it can be written as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148024.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148025.png" /> independent over the rationals and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148026.png" /> periodic with period 1 in all its variables, an evolution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148027.png" /> is quasi-periodic if it can be written as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148028.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148029.png" /> independent over the rationals and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148030.png" /> periodic with period 1 in all its variables;
+
1) no evolution starting in $  \widetilde{X}  $
 +
is periodic or quasi-periodic; an evolution $  x ( t) $
 +
is quasi-periodic if it can be written as $  x ( t) = F ( \omega _ {1} t \dots \omega _ {m} t) $
 +
with $  \omega _ {1} \dots \omega _ {m} $
 +
independent over the rationals and $  F $
 +
periodic with period 1 in all its variables, an evolution $  x _ {n} $
 +
is quasi-periodic if it can be written as $  x _ {m} = F ( \omega _ {1} n \dots \omega _ {m} n) $
 +
with $  1, \omega _ {1} \dots \omega _ {m} $
 +
independent over the rationals and $  F $
 +
periodic with period 1 in all its variables;
  
2) no evolution in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148031.png" /> tends to a periodic or quasi-periodic evolution as time tends to infinity;
+
2) no evolution in $  \widetilde{X}  $
 +
tends to a periodic or quasi-periodic evolution as time tends to infinity;
  
3) (sensitive dependence on initial conditions) there is some positive constant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148032.png" /> such that for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148033.png" /> and each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148034.png" />, there is some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148035.png" />, in an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148036.png" />-neighbourhood of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148037.png" />, such that for some positive time the evolutions starting in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148038.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148039.png" /> are more than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148040.png" /> apart.
+
3) (sensitive dependence on initial conditions) there is some positive constant $  A $
 +
such that for each $  x _ {0} \in \widetilde{X}  $
 +
and each $  \epsilon > 0 $,  
 +
there is some $  y _ {0} $,  
 +
in an $  \epsilon $-
 +
neighbourhood of $  x _ {0} $,  
 +
such that for some positive time the evolutions starting in $  x _ {0} $
 +
and $  y _ {0} $
 +
are more than $  A $
 +
apart.
  
These conditions are probably not independent: the first two conditions may be a consequence of the third condition, but this has not been proved (1988). The third condition implies some inpredictability. Even if one knows the initial state with arbitrary (but finite) precision, there is some moment in the future at which the state cannot be predicted within a distance <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148041.png" /> from the information about the initial state.
+
These conditions are probably not independent: the first two conditions may be a consequence of the third condition, but this has not been proved (1988). The third condition implies some inpredictability. Even if one knows the initial state with arbitrary (but finite) precision, there is some moment in the future at which the state cannot be predicted within a distance $  A $
 +
from the information about the initial state.
  
 
General references for this area are [[#References|[a1]]] and [[#References|[a4]]].
 
General references for this area are [[#References|[a1]]] and [[#References|[a4]]].
Line 19: Line 71:
 
The main examples of chaotic dynamical systems (and dynamical systems which are supposed to be chaotic) are discussed below.
 
The main examples of chaotic dynamical systems (and dynamical systems which are supposed to be chaotic) are discussed below.
  
1) The logistic family. This is a one-parameter family of one-dimensional mappings: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148042.png" />. It has been proved that for a large set (of positive Lebesgue measure) of values of the parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148043.png" />, this mapping defines a chaotic dynamical system. These mappings were introduced to describe population dynamics under certain conditions. A general reference is [[#References|[a3]]].
+
1) The logistic family. This is a one-parameter family of one-dimensional mappings: $  L _ {a} ( x) = 1 - ax  ^ {2} $.  
 +
It has been proved that for a large set (of positive Lebesgue measure) of values of the parameter $  a $,  
 +
this mapping defines a chaotic dynamical system. These mappings were introduced to describe population dynamics under certain conditions. A general reference is [[#References|[a3]]].
  
2) The Hénon family [[#References|[a5]]]. This is a two-parameter family of two-dimensional invertible mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148044.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148045.png" />. In this example there is only numerical evidence that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148046.png" /> defines, for many parameter values <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148047.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148048.png" />, a chaotic dynamical system. The mathematical analysis of this example is still in progress (1988).
+
2) The Hénon family [[#References|[a5]]]. This is a two-parameter family of two-dimensional invertible mappings $  H _ {a,b} ( x, y) = ( 1 - ax  ^ {2} + y, bx) $,  
 +
$  b \neq 0 $.  
 +
In this example there is only numerical evidence that $  H _ {a,b} $
 +
defines, for many parameter values $  a $
 +
and $  b $,  
 +
a chaotic dynamical system. The mathematical analysis of this example is still in progress (1988).
  
3) The Lorenz family [[#References|[a6]]]. This is a three-parameter family of differential equations in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148049.png" />:
+
3) The Lorenz family [[#References|[a6]]]. This is a three-parameter family of differential equations in $  \mathbf R  ^ {3} $:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148050.png" /></td> </tr></table>
+
$$
 +
\dot{x}  = \
 +
\sigma ( y - x),
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148051.png" /></td> </tr></table>
+
$$
 +
\dot{y}  = rx - y - xz,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148052.png" /></td> </tr></table>
+
$$
 +
\dot{z}  = xy - bz.
 +
$$
  
 
There is a well-developed theory concerning this system. Still, there is no complete proof that for any of the parameter values this system is chaotic. This chaoticity is strongly suggested by numerical results combined with geometric arguments: what is lacking is a tedious numerical verification. This equation was proposed in connection with convection problems.
 
There is a well-developed theory concerning this system. Still, there is no complete proof that for any of the parameter values this system is chaotic. This chaoticity is strongly suggested by numerical results combined with geometric arguments: what is lacking is a tedious numerical verification. This equation was proposed in connection with convection problems.
  
4) General (non-trivial) Axiom <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148054.png" /> attractors. This is a class of abstract dynamical systems which are chaotic. Among the chaotic dynamical systems they are the most  "regular"  and also they are the ones which are mathematically well understood, see [[#References|[a2]]].
+
4) General (non-trivial) Axiom $  A $
 +
attractors. This is a class of abstract dynamical systems which are chaotic. Among the chaotic dynamical systems they are the most  "regular"  and also they are the ones which are mathematically well understood, see [[#References|[a2]]].
  
 
Finally, in a number of physical and chemical experiments, in particular related with weak turbulence and open chemical reactions far from equilibrium, the experimental data indicate that one should explain these experiments in terms of chaotic dynamical systems, see [[#References|[a1]]].
 
Finally, in a number of physical and chemical experiments, in particular related with weak turbulence and open chemical reactions far from equilibrium, the experimental data indicate that one should explain these experiments in terms of chaotic dynamical systems, see [[#References|[a1]]].
  
The literature has not yet standardized with respect to the definition of chaotic mappings. Thus, in [[#References|[a7]]] the discrete-time system on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148055.png" /> given by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148056.png" /> is said to be chaotic if (i) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148057.png" /> has sensitive dependence on initial conditions; (ii) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148058.png" /> is topologically transitive, i.e. for every open <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148059.png" /> there is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148060.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148061.png" />; and (iii) the periodic points are dense in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021480/c02148062.png" />.
+
The literature has not yet standardized with respect to the definition of chaotic mappings. Thus, in [[#References|[a7]]] the discrete-time system on $  V $
 +
given by $  f: V \rightarrow V $
 +
is said to be chaotic if (i) $  f $
 +
has sensitive dependence on initial conditions; (ii) $  f $
 +
is topologically transitive, i.e. for every open $  U _ {1} , U _ {2} \subset  V $
 +
there is an $  n > 0 $
 +
such that $  f ^ { n } ( U _ {1} ) \cap U _ {2} \neq \emptyset $;  
 +
and (iii) the periodic points are dense in $  V $.
  
 
See also [[Strange attractor|Strange attractor]]; [[Universal behaviour in dynamical systems|Universal behaviour in dynamical systems]]; [[Routes to chaos|Routes to chaos]]; [[Fractals|Fractals]]; [[Julia set|Julia set]].
 
See also [[Strange attractor|Strange attractor]]; [[Universal behaviour in dynamical systems|Universal behaviour in dynamical systems]]; [[Routes to chaos|Routes to chaos]]; [[Fractals|Fractals]]; [[Julia set|Julia set]].

Latest revision as of 16:43, 4 June 2020


deterministic chaos.

Chaos describes a situation where typical solutions (or orbits) of a differential equation (or typical evolutions of some other model describing deterministic evolution) do not converge to a stationary or periodic function (of time) but continue to exhibit a seemingly unpredictable behaviour. There are different ways to formalize this notion mathematically. Below one such a formalization will be considered, followed by a discussion of some examples.

The dynamical systems (or models describing deterministic evolution, cf. Dynamical system) considered are differential equations $ \dot{x} = F ( x) $, with $ x \in X $, $ X $ a differentiable manifold and $ F: X \rightarrow T ( X) $ a vector field on $ X $, and differentiable mappings $ \phi : X \rightarrow X $ which may or may not be invertible. For a given initial state $ x _ {0} \in X $, the corresponding evolution is the solution $ x ( t) $ of the differential equation with $ x ( 0) = x _ {0} $ or, in the case of a mapping, the function $ \mathbf N \rightarrow X $ given by $ n \mapsto \phi ^ {n} ( x _ {0} ) $. The last case is the discrete-time situation, the first case that of continuous time. Even if the evolutions can be defined for negative time, only the part with positive time is considered. Also, only bounded evolutions are considered here, i.e. evolutions $ x ( t) $, $ x _ {n} $, with $ t \geq 0 $, respectively $ n \geq 0 $, whose closure, as a subset of $ X $, is compact. It is assumed that there is a metric defined on $ X $.

One says that such a dynamical system is chaotic if there is a subset $ \widetilde{X} \subset X $ which has positive measure (for every measure in the Lebesgue measure class) which is invariant in the sense that every evolution starting in $ \widetilde{X} $ stays in $ \widetilde{X} $, and such that the evolutions in $ \widetilde{X} $ have the following properties:

1) no evolution starting in $ \widetilde{X} $ is periodic or quasi-periodic; an evolution $ x ( t) $ is quasi-periodic if it can be written as $ x ( t) = F ( \omega _ {1} t \dots \omega _ {m} t) $ with $ \omega _ {1} \dots \omega _ {m} $ independent over the rationals and $ F $ periodic with period 1 in all its variables, an evolution $ x _ {n} $ is quasi-periodic if it can be written as $ x _ {m} = F ( \omega _ {1} n \dots \omega _ {m} n) $ with $ 1, \omega _ {1} \dots \omega _ {m} $ independent over the rationals and $ F $ periodic with period 1 in all its variables;

2) no evolution in $ \widetilde{X} $ tends to a periodic or quasi-periodic evolution as time tends to infinity;

3) (sensitive dependence on initial conditions) there is some positive constant $ A $ such that for each $ x _ {0} \in \widetilde{X} $ and each $ \epsilon > 0 $, there is some $ y _ {0} $, in an $ \epsilon $- neighbourhood of $ x _ {0} $, such that for some positive time the evolutions starting in $ x _ {0} $ and $ y _ {0} $ are more than $ A $ apart.

These conditions are probably not independent: the first two conditions may be a consequence of the third condition, but this has not been proved (1988). The third condition implies some inpredictability. Even if one knows the initial state with arbitrary (but finite) precision, there is some moment in the future at which the state cannot be predicted within a distance $ A $ from the information about the initial state.

General references for this area are [a1] and [a4].

The main examples of chaotic dynamical systems (and dynamical systems which are supposed to be chaotic) are discussed below.

1) The logistic family. This is a one-parameter family of one-dimensional mappings: $ L _ {a} ( x) = 1 - ax ^ {2} $. It has been proved that for a large set (of positive Lebesgue measure) of values of the parameter $ a $, this mapping defines a chaotic dynamical system. These mappings were introduced to describe population dynamics under certain conditions. A general reference is [a3].

2) The Hénon family [a5]. This is a two-parameter family of two-dimensional invertible mappings $ H _ {a,b} ( x, y) = ( 1 - ax ^ {2} + y, bx) $, $ b \neq 0 $. In this example there is only numerical evidence that $ H _ {a,b} $ defines, for many parameter values $ a $ and $ b $, a chaotic dynamical system. The mathematical analysis of this example is still in progress (1988).

3) The Lorenz family [a6]. This is a three-parameter family of differential equations in $ \mathbf R ^ {3} $:

$$ \dot{x} = \ \sigma ( y - x), $$

$$ \dot{y} = rx - y - xz, $$

$$ \dot{z} = xy - bz. $$

There is a well-developed theory concerning this system. Still, there is no complete proof that for any of the parameter values this system is chaotic. This chaoticity is strongly suggested by numerical results combined with geometric arguments: what is lacking is a tedious numerical verification. This equation was proposed in connection with convection problems.

4) General (non-trivial) Axiom $ A $ attractors. This is a class of abstract dynamical systems which are chaotic. Among the chaotic dynamical systems they are the most "regular" and also they are the ones which are mathematically well understood, see [a2].

Finally, in a number of physical and chemical experiments, in particular related with weak turbulence and open chemical reactions far from equilibrium, the experimental data indicate that one should explain these experiments in terms of chaotic dynamical systems, see [a1].

The literature has not yet standardized with respect to the definition of chaotic mappings. Thus, in [a7] the discrete-time system on $ V $ given by $ f: V \rightarrow V $ is said to be chaotic if (i) $ f $ has sensitive dependence on initial conditions; (ii) $ f $ is topologically transitive, i.e. for every open $ U _ {1} , U _ {2} \subset V $ there is an $ n > 0 $ such that $ f ^ { n } ( U _ {1} ) \cap U _ {2} \neq \emptyset $; and (iii) the periodic points are dense in $ V $.

See also Strange attractor; Universal behaviour in dynamical systems; Routes to chaos; Fractals; Julia set.

There is a second notion, principally in physics and probability, which also goes by the name chaos; cf. Wiener chaos decomposition.

References

[a1] P. Bergé, Y. Pomeau, Ch. Vidal, "L'ordre dans le chaos" , Hermann (1984)
[a2] R. Bowen, "Equilibrium states and the ergodic theory of Anosov diffeomorphisms" , Lect. notes in math. , 470 , Springer (1975)
[a3] P. Collet, J.-P. Eckmann, "Iterated maps on the interval as dynamical systems" , Birkhäuser (1980)
[a4] J. Guckenheimer, P. Holmes, "Non-linear oscillations, dynamical systems, and bifurcations of vector fields" , Springer (1983)
[a5] M. Hénon, "A two-dimensional mapping with a strange attractor" Comm. Math. Phys. , 50 (1976) pp. 69–77
[a6] C. Sparrow, "The Lorenz equations: bifurcations, chaos, and strange attractors" , Springer (1982)
[a7] R.L. Devaney, "An introduction to chaotic dynamical systems" , Benjamin/Cummings (1986)
How to Cite This Entry:
Chaos. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Chaos&oldid=46308