pubdoc_12_15717_154

advertisement
Chapter Two
One Dimensional Chaos
In this chapter , we study many methods of describing the way in which
iterates of neighboring points separate from another : sensitive dependence on initial
conditions , Lyapunov exponent and the transitivity. These notions are fundamental
to the concept of chaos, which also will appear in the present section.
Section one: Sensitive Dependence on Initial Conditions
Before defining the sensitive dependence on initial conditions, we adopt a
notation that henceforth will facilitate our discussion. We will write ๐‘“: ๐ฝ → ๐ฝ
signifies that the domain of ๐‘“ is ๐ฝ and the range is contained in ๐ฝ.
Definition :
Let ๐ฝ be an interval , and suppose that ๐‘“: ๐ฝ → ๐ฝ. Then ๐‘“ has sensitive
dependence on initial conditions at x , or just sensitive dependence at ๐‘ฅ if there is
๐œ– > 0 such that for each ๐›ฟ > 0, there is ๐‘ฆ in ๐ฝ and a positive integer ๐‘› such that
|๐‘ฅ − ๐‘ฆ| < ๐›ฟ and |๐‘“ ๐‘› (๐‘ฅ) − ๐‘“ ๐‘› (๐‘ฆ)| > ๐œ– , that is:
∃ ๐œ– > 0 ∀ ๐›ฟ > 0 ∃ ๐‘ฆ ∈ ๐ฝ ∃ ๐‘› ∈ ๐‘ ∋ |๐‘ฅ − ๐‘ฆ| < ๐›ฟ and |๐‘“ ๐‘› (๐‘ฅ) − ๐‘“ ๐‘› (๐‘ฆ)| > ๐œ–
If ๐‘“ has sensitive dependence on initial conditions at each ๐‘–๐‘› ๐ฝ , we say that ๐‘“ has
sensitive dependence on initial conditions on ๐ฝ , or that f has sensitive dependence .
The “ initial conditions” in the definition refer to the given , or initial points ๐‘ฅ and
๐‘ฆ. the definition says that f has sensitive dependence on initial conditions if
arbitrarily close to any given point ๐‘ฅ in the domain of ๐‘“ there is a point and an ๐‘› −
๐‘กโ„Ž iterate that is farther from the ๐‘› − ๐‘กโ„Ž iterate of ๐‘ฅ than a distance ๐œ–. This has
practical significance , because in such instance higher iterate of an approximate
value of ๐‘ฅ may not resemble the true iterate of ๐‘ฅ.
To illustrate sensitive dependence on initial conditions, we turn to baker’s function:
Example 1 :
Consider the baker’s function B, given by:
๐ต(๐‘ฅ) = {
2๐‘ฅ
๐‘“๐‘œ๐‘Ÿ
2๐‘ฅ − 1
0≤๐‘ฅ≤
1
๐‘“๐‘œ๐‘Ÿ
2
2
<๐‘ฅ≤1
1
Show that after 10 iterate of
1
3
and 0.333 are farther than
1
2
Solution
Notice
1
3
iterate of
1
3
2
1
2
3
3
3
3
1
1
and ๐ต2 ( ) = so that the
3
3
alternate between and .
To compare the iterate of
iterate
1
3
0.333
1
is periodic point of period 2 , that is, B( ) =
1
3
and 0.333 we make the following table:
1
2
3
4
5
6
7
8
9
10
2
3
0.666
1
3
0.332
2
3
0.664
1
3
0.328
2
3
0.656
1
3
0.312
2
3
0.624
1
3
0.248
2
3
0.496
1
3
0.992
Therefore the tenth iterate of
farther a part than a distance
1
3
1
1
and 0.333 are, respectively , and 0.992 which are
3
2
Example 2:
Show that the tent function T has sensitive dependence on initial conditions on [0,1].
Solution
Let ๐‘ฅ be any number in [0,1]
Claim: if ๐‘ฃ is any dyadic rational number (of the form
๐‘—
2๐‘š
in lowest terms) in [0,1]
and w is any irrational number in [0,1], then there is a positive integer ๐‘› such that
1
|๐‘‡ ๐‘› (๐‘ฃ) − ๐‘‡ ๐‘› (๐‘ค)| > …(1)
2
Toward that goal, if ๐‘ฃ =
๐‘—
2๐‘š
then ๐‘‡ ๐‘š (๐‘ฃ) = 1 and ๐‘‡ ๐‘š+๐‘˜ (๐‘ฃ) = 0 for all ๐‘˜ > 0
By contrast if ๐‘ค is any irrational number in [0,1] then since ๐‘‡ doubles each number
1
in (0, ), there exists an ๐‘› > ๐‘š such that ๐‘‡ ๐‘› (๐‘ค) >
2
1
2
.
1
1
2
2
Since ๐‘› > ๐‘š , it follows that ๐‘‡ ๐‘› (๐‘ฃ) = 0 so that |๐‘‡ ๐‘› (๐‘ฃ) − ๐‘‡ ๐‘› (๐‘ค)| > |0 − | >
So the claim is valid .
Next , let ๐›ฟ > 0 then there exists a dyadic rational ๐‘ฃ and an irrational number in
[0,1].
such that |๐‘ฅ − ๐‘ฃ| < ๐›ฟ ๐‘Ž๐‘›๐‘‘ |๐‘ฅ − ๐‘ค| < ๐›ฟ therefore (1) implies that
1
< |๐‘‡ ๐‘› (๐‘ฃ) − ๐‘‡ ๐‘› (๐‘ค)| = |๐‘‡ ๐‘› (๐‘ฃ) − ๐‘‡ ๐‘› (๐‘ฅ) + ๐‘‡ ๐‘› (๐‘ฅ) − ๐‘‡ ๐‘› (๐‘ค)|
2
≤ |๐‘‡ ๐‘› (๐‘ฅ) − ๐‘‡ ๐‘› (๐‘ฃ)| + |๐‘‡ ๐‘› (๐‘ฅ) − ๐‘‡ ๐‘› (๐‘ค)|
1
1
1
4
4
4
So either |๐‘‡ ๐‘› (๐‘ฅ) − ๐‘‡ ๐‘› (๐‘ฃ)| > or |๐‘‡ ๐‘› (๐‘ฅ) − ๐‘‡ ๐‘› (๐‘ค)| > . thus if we let ๐œ– = then
๐‘‡ has sensitive dependence on initial conditions at the arbitrary number ๐‘ฅ , and hence
on [0,1].
Basically , the reason that ๐‘‡ has sensitive dependence on initial conditions if ๐‘ฅ ≠
1
1
1
then |๐‘‡แฟฝ(๐‘ฅ)| = 2,so that distances between pairs of numbers in (0, ) or ( , 1) are
2
2
2
doubled in T
Download