- Significance
- Properties
- Generalizations
- Applications
- See also
- References
- Further reading
In the mathematical theory of dynamical systems, an irrational rotation is a map
where θ is an irrational number. Under the identification of a circle with R/Z, or with the interval [0, 1] with the boundary points glued together, this map becomes a rotation of a circle by a proportion θ of a full revolution (i.e., an angle of 2πθ radians). Since θ is irrational, the rotation has infinite order in the circle group and the map Tθ has no periodic orbits.
Alternatively, we can use multiplicative notation for an irrational rotation by introducing the map
The relationship between the additive and multiplicative notations is the group isomorphism
.
It can be shown that {{math|φ}} is an isometry.
There is a strong distinction in circle rotations that depends on whether {{math|θ}} is rational or irrational. Rational rotations are less interesting examples of dynamical systems because if 
and 
, then 
when 
. It can also be shown that
when 
.
Significance
Irrational rotations form a fundamental example in the theory of dynamical systems. According to the Denjoy theorem, every orientation-preserving {{math|C2}}-diffeomorphism of the circle with an irrational rotation number {{math|θ}} is topologically conjugate to {{math|Tθ}}. An irrational rotation is a measure-preserving ergodic transformation, but it is not mixing. The Poincaré map for the dynamical system associated with the Kronecker foliation on a torus with angle {{math|θ}} is the irrational rotation by {{math|θ}}. C*-algebras associated with irrational rotations, known as irrational rotation algebras, have been extensively studied.
Properties
- If {{math|θ}} is irrational, then the orbit of element of {{math|[0,1]}} under the rotation {{math|Tθ}} is dense in {{math|[0,1]}}. Therefore, irrational rotations are topologically transitive.
- If {{math|θ}} is irrational, then {{math|Tθ}} is uniquely ergodic.
- Irrational (and rational) rotations are not topologically mixing.
- Irrational rotations are ergodic with respect to the Lebesgue measure.
- Irrational rotations are uniquely ergodic, with the Lebesgue measure serving as the unique invariant probability measure.
- Suppose {{math|[a,b] ⊂ [0,1]}}. Since {{math|Tθ}} is ergodic,
.
Generalizations
- Circle rotations are examples of group translations.
- For a general orientation preserving homomorphism {{math|f}} of {{math|S1}} to itself we call a homeomorphism
a lift of {{math|f}} if 
where 
.
Applications
- Skew Products over Rotations of the Circle: In 1969[2] William A. Veech constructed examples of minimal and not uniquely ergodic dynamical systems as follows: "Take two copies of the unit circle and mark off segment {{math|J}} of length {{math|2πα}} in the counterclockwise direction on each one with endpoint at 0. Now take {{math|θ}} irrational and consider the following dynamical system. Start with a point {{math|p}}, say in the first circle. Rotate counterclockwise by {{math|2πθ}} until the first time the orbit lands in {{math|J}}; then switch to the corresponding point in the second circle, rotate by {{math|2πθ}} until the first time the point lands in {{math|J}}; switch back to the first circle and so forth. Veech showed that if {{math|θ}} is irrational, then there exists irrational {{math|α}} for which this system is minimal and the Lebesgue measure is not uniquely ergodic."[3]
See also
- Bernoulli map
- Modular arithmetic
- Siegel disc
- Toeplitz algebra
- Phase locking (circle map)
References
2. ^1 {{cite book |last1=Masur|first1=Howard |first2=Serge|last2=Tabachnikov|authorlink2=Sergei Tabachnikov |chapter=Rational Billiards and Flat Structures |url=http://www-fourier.ujf-grenoble.fr/~lanneau/references/masur_tabachnikov_chap13.pdf |title=Handbook of Dynamical Systems |volume=IA |editor1-first=B.|editor1-last=Hasselblatt |editor2-first=A.|editor2-last=Katok |publisher=Elsevier |year=2002}}
}}
Further reading
- C. E. Silva, Invitation to ergodic theory, Student Mathematical Library, vol 42, American Mathematical Society, 2008 {{ISBN|978-0-8218-4420-5}}
- Duc Decazes et Gluecksbierg
- Duc de Chartres
- Duc de Chateauroux
- Duc de Chatellerault
- Duc de Chatellherault
- Duc de Chatillon
- Duc de Chaulnes
- Duc De Choisel
- Duc de Choiseul-Praslin
- Duc de Châtillon
- Duc de Coislin
- Duc de Coligny
- Duc de Croi d'Havre
- Duc de Créqui
- Duc de Fitz-James
- Duc de Gaete
- Duc de Galliera
- Duc de Gaète
- Duc de Gaëte
- Duc de Gesvres
- Duc de Gramont
- Duc de Joyeuse
- Duc de la Rochefoucauld
- Duc de La Rochefoucauld
- Duc de La Rouchfoucauld