Download Section one: Sensitive Dependence on Initial Conditions

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Addition wikipedia , lookup

Mathematics of radio engineering wikipedia , lookup

History of the function concept wikipedia , lookup

Big O notation wikipedia , lookup

Dynamical system wikipedia , lookup

Elementary mathematics wikipedia , lookup

Proofs of Fermat's little theorem wikipedia , lookup

Non-standard calculus wikipedia , lookup

Transcript
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