MATH 614 Dynamical Systems and Chaos Lecture 15: Maps of the circle.

advertisement
MATH 614
Dynamical Systems and Chaos
Lecture 15:
Maps of the circle.
Circle S 1 .
S 1 = {(x, y ) ∈ R2 : |x|2 + |y |2 = 1}
S 1 = {z ∈ C : |z| = 1}
T1 = R/Z
T1 = R/2πZ
α
α : S 1 → [0, 2π),
angular coordinate
α : S 1 → R/2πZ → R
(multi-valued function)
1
φ : R → S 1,
φ(x) = (cos x, sin x), S 1 ⊂ R2 .
φ(x) = e ix = cos x + i sin x, S 1 ⊂ C.
φ: wrapping map
φ(x + 2πk) = φ(x), k ∈ Z.
α ∈ R is an angular coordinate of x ∈ S 1 if and
only if φ(α) = x.
For any arc γ ⊂ S 1 there exists a continuous branch
α : γ → R of the angular coordinate.
If α1 : γ → R and α2 : γ → R are two continuous
branches then α1 − α2 is a constant 2πk, k ∈ Z.
Examples of continuous branches:
α : S 1 \ {1} → (0, 2π),
α : S 1 \ {−1} → (−π, π).
α
1
f : S 1 → S 1,
continuous map
Example. D : z 7→ z 2 (doubling map)
in angular coordinates: α 7→ 2α (mod 2π).
The doubling map: smooth, 2-to-1, no critical
points.
Theorem The doubling map is chaotic.
Orientation-preserving and orientation-reversing
The real line R has two orientations.
For maps of an interval:
orientation-preserving = monotone increasing,
orientation-reversing = monotone decreasing.
The circle S 1 also has two orientations
(clockwise and counterclockwise).
Given a map f : S 1 → S 1 , we say that a map F : R → R is a
lift of f if f ◦ φ = φ ◦ F , where φ : R → S 1 is the wrapping
map. Any continuous map f : S 1 → S 1 admits a continuous
lift F . The lift satisfies F (x + 2π) − F (x) = 2πk for some
k ∈ Z and all x ∈ R. If F0 is another continuous lift of f ,
then F − F0 is a constant function.
A continuous map f : S 1 → S 1 is orientation-preserving
(resp., orientation-reversing) if so is the continuous lift of f .
Maps of the circle
f : S 1 → S 1,
f an orientation-preserving homeomorphism.
Rotations of the circle
Rω : S 1 → S 1 , rotation by angle ω ∈ R.
Rω (z) = e iω z, complex coordinate z;
Rω (α) = α + ω (mod 2π), angular coordinate α.
ω
1
Rotations of the circle
Rω : S 1 → S 1 , rotation by angle ω ∈ R.
Rω (z) = e iω z, complex coordinate z;
Rω (α) = α + ω (mod 2π), angular coordinate α.
Each Rω is an orientation-preserving diffeomorphism;
each Rω is an isometry;
each Rω preserves Lebesgue measure on S 1 .
Rω is a one-parameter family of maps.
Rω is a transformation group.
Indeed, Rω1 Rω2 = Rω1 +ω2 , Rω−1 = R−ω .
It follows that Rωn = Rnω , n = 1, 2, . . . .
Also, R0 = id and Rω+2πk = Rω , k ∈ Z.
An angle ω is called rational if ω = r π, r ∈ Q.
Otherwise ω is an irrational angle.
If ω is a rational angle then Rω is a periodic map.
All points of S 1 are periodic of the same period.
If ω = 2πm/n, where m and n are coprime
integers, n > 0, then the period of Rω is n.
If ω is irrational then Rω has no periodic points.
If ω is irrational then Rω is minimal: each orbit is
dense in S 1 .
If ω is irrational then each orbit of Rω is uniformly
distributed in S 1 .
Minimality
Theorem (Jacobi) Suppose ω is an irrational
angle. Then the rotation Rω is minimal: all orbits
of Rω are dense in S 1 .
Proof: Take an arc γ ⊂ S 1 . Then Rωn (γ), n ≥ 1, is an arc
of the same length as γ. Since S 1 has finite length, the arcs
γ, Rω (γ), Rω2 (γ), . . . cannot all be disjoint. Hence
Rωn (γ) ∩ Rωm (γ) 6= ∅ for some 0 ≤ n < m. But
Rωn (γ) ∩ Rωm (γ) = Rωn (γ ∩ Rωm−n (γ)) so γ ∩ Rωm−n (γ) 6= ∅.
Thus for any ε > 0 there exists k ≥ 1 such that Rωk = Rkω
is the rotation by an angle ω 0, |ω 0| < ε. Note that ω 0 6= 0
since ω is an irrational angle. Pick any x ∈ S 1 . Let
2
n
n = d2π/|ω 0|e. Then points x, Rkω (x), Rkω
(x), . . . , Rkω
(x)
divide S 1 into arcs of length < ε.
Uniform distribution
Let T : S 1 → S 1 be a homeomorphism and x ∈ S 1 .
Consider the orbit x, T (x), T 2(x), . . . , T n (x), . . .
Let γ ⊂ S 1 be an arc. By N(x, γ; n) denote the
number of integers k ∈ {0, 1, . . . , n − 1} such that
T k (x) ∈ γ. The orbit of x is uniformly
distributed in S 1 if
N(x, γ1; n)
=1
n→∞ N(x, γ2; n)
lim
for any two arcs γ1 and γ2 of the same length.
An equivalent condition:
N(x, γ1; n) length(γ1)
=
n→∞ N(x, γ2; n)
length(γ2)
lim
for any arcs γ1 and γ2.
Another equivalent condition:
N(x, γ; n) length(γ)
=
n→∞
n
2π
lim
for any arc γ.
Theorem (Kronecker-Weyl) Suppose ω is an
irrational angle. Then all orbits of the rotation Rω
are uniformly distributed in S 1 .
Fractional linear transformations of S 1
A fractional linear transformation of the
complex plane C is given by
f (z) =
az + b
,
cz + d
a, b, c, d ∈ C.
How can we tell if f (S 1 ) = S 1 ? This happens in
the case
z − z0
,
f (z) = e iψ
z̄0z − 1
where |z0| 6= 1 and ψ ∈ R. Indeed, if z ∈ S 1 then
z = e iα , z0 = re iβ ,
z − z0 = e iα − re iβ = e iα (1 − re iβ e −iα ),
z̄0 z − 1 = re −iβ e iα − 1 so that f (z) ∈ S 1 .
Fractional linear transformations of S 1
S 1 = {z ∈ C : |z| = 1},
f : S 1 → S 1,
f (z) = −e iω
z − z0
,
z̄0z − 1
where z ∈ C, |z0| 6= 1 and ω ∈ R.
Fractional linear transformations of S 1 form a
group. Rotations of the circle form a subgroup
(z0 = 0).
f is orientation-preserving if |z0 | < 1 and
orientation-reversing if |z0| > 1.
az + b
f (z) =
,
cz + d
0
a0 z + b 0
g (z) = 0
,
c z + d0
0
z+b
a ca0 z+d
0 + b
(aa0 + bc 0 )z + ab 0 + bd 0
f (g (z)) = a0 z+b0
,
=
(ca0 + dc 0 )z + cb 0 + dd 0
c c 0 z+d 0 + d
az + b
a b
7→
.
c d
cz + d
Composition of fractional linear transformations
corresponds to matrix multiplication.
z − z0
,
f (z) = −e iω
z̄0z − 1
e iω/2
−z0e iω/2
iω/2
−e
.
−z̄0e −iω/2 e −iω/2
det = 1 − |z0|2 , Tr = e iω/2 + e −iω/2 = 2 cos(ω/2).
Characteristic equation:
λ2 − 2 cos(ω/2)λ + 1 − |z0|2 = 0.
Discriminant:
D = cos2 (ω/2) − 1 + |z0 |2 = |z0 |2 − sin2 (ω/2).
If D < 0 then f is elliptic.
If D = 0 then f is parabolic.
If D > 0 then f is hyperbolic.
Theorem (i) If f is elliptic then f has no fixed
points and is topologically conjugate to a rotation.
(ii) If f is parabolic then f has a unique fixed point,
which is neutral. Besides, the fixed point is weakly
semi-attracting and semi-repelling.
(iii) If f is hyperbolic then f has two fixed points;
one is attracting, the other is repelling.
Example. Given ω ∈ (0, π), the one-parameter
family
fr (z) = e iω
z −r
,
1 − rz
0≤r <1
undergoes a saddle-node bifurcation at
r = r0 = | sin(ω/2)|.
Download