Math 2.0

Dynamical systems and ergodic theory Definition

Rotation number

Builds on CircleHomeomorphism

Definition

Let S1=ℝ/ℤS^1 = \R / \Z be the circle, with projection π ⁣:ℝ→S1\pi \colon \R \to S^1, and let f ⁣:S1→S1f \colon S^1 \to S^1 be an orientation-preserving homeomorphism. A lift of ff is a continuous map F ⁣:ℝ→ℝF \colon \R \to \R with π∘F=f∘π\pi \circ F = f \circ \pi. Every such lift is increasing and satisfies F(x+1)=F(x)+1F(x + 1) = F(x) + 1, and two lifts differ by an integer constant. The translation number of a lift FF is the limit ρ(F)=lim⁡n→∞Fn(x)−xn,\rho(F) = \lim_{n \to \infty} \frac{F^n(x) - x}{n}, where FnF^n is the nn-th iterate of FF. The limit exists and does not depend on x∈ℝx \in \R. The rotation number of ff is ρ(f)=ρ(F)−⌊ρ(F)⌋∈[0,1)\rho(f) = \rho(F) - \floor{\rho(F)} \in [0, 1), which does not depend on the choice of lift FF.

Remarks

Example: the rotation Rα(x)=x+αR_\alpha(x) = x + \alpha of S1S^1 has the lift F(x)=x+αF(x) = x + \alpha, and Fn(x)−x=nαF^n(x) - x = n\alpha. So ρ(F)=α\rho(F) = \alpha, and ρ(Rα)\rho(R_\alpha) is the fractional part of α\alpha.

Non-example: the doubling map x↦2xx \mapsto 2x of S1S^1 is not a homeomorphism. Its lift F(x)=2xF(x) = 2x satisfies F(x+1)=F(x)+2F(x + 1) = F(x) + 2, and (Fn(x)−x)/n=(2n−1)x/n(F^n(x) - x)/n = (2^n - 1) x / n has no finite limit for x≠0x \neq 0, so no rotation number is defined.

The rotation number is invariant under conjugacy: if hh is an orientation-preserving homeomorphism of S1S^1, then ρ(h−1∘f∘h)=ρ(f)\rho(h^{-1} \circ f \circ h) = \rho(f). It depends continuously on ff in the uniform topology. The fractional part is often left out, and ρ(f)\rho(f) is viewed as an element of ℝ/ℤ\R / \Z.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Circle concept
  2. Homeomorphism concept
  3. Rotation number definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Rotation_number
About this page
TagG7D6SPTA2C
URIm2://G7D6SPTA2C
Kinddefinition
WritingW0 stub
MSC37E45, 37E10
DefinesRotation number
UsesCircle, Homeomorphism

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.