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