mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...

, the rotation number is an invariant of

homeomorphism In mathematics and more specifically in topology, a homeomorphism ( from Greek roots meaning "similar shape", named by Henri Poincaré), also called topological isomorphism, or bicontinuous function, is a bijective and continuous function ...

s of the

circle A circle is a shape consisting of all point (geometry), points in a plane (mathematics), plane that are at a given distance from a given point, the Centre (geometry), centre. The distance between any point of the circle and the centre is cal ...

History

It was first defined by

Henri Poincaré Jules Henri Poincaré (, ; ; 29 April 185417 July 1912) was a French mathematician, Theoretical physics, theoretical physicist, engineer, and philosophy of science, philosopher of science. He is often described as a polymath, and in mathemati ...

in 1885, in relation to the

precession Precession is a change in the orientation of the rotational axis of a rotating body. In an appropriate reference frame it can be defined as a change in the first Euler angle, whereas the third Euler angle defines the rotation itself. In o ...

of the

perihelion An apsis (; ) is the farthest or nearest point in the orbit of a planetary body about its primary body. The line of apsides (also called apse line, or major axis of the orbit) is the line connecting the two extreme values. Apsides perta ...

of a

planetary orbit In celestial mechanics, an orbit (also known as orbital revolution) is the curved trajectory of an object such as the trajectory of a planet around a star, or of a natural satellite around a planet, or of an artificial satellite around an obje ...

. Poincaré later proved a theorem characterizing the existence of

periodic orbit In mathematics, in the study of iterated functions and dynamical systems, a periodic point of a function is a point which the system returns to after a certain number of function iterations or a certain amount of time. Iterated functions Given ...

s in terms of

rationality Rationality is the quality of being guided by or based on reason. In this regard, a person acts rationally if they have a good reason for what they do, or a belief is rational if it is based on strong evidence. This quality can apply to an ab ...

of the rotation number.

Definition

Suppose that

f:S^1 \to S^1

is an orientation-preserving

of the

S^1 = \R/\Z.

Then may be lifted to a

F: \R \to \R

of the real line, satisfying :

F(x + m) = F(x) +m

for every real number and every integer . The rotation number of is defined in terms of the iterates of : :

\omega(f)=\lim_ \frac.

proved that the limit exists and is independent of the choice of the starting point . The lift is unique modulo integers, therefore the rotation number is a well-defined element of Intuitively, it measures the average rotation angle along the

orbits In celestial mechanics, an orbit (also known as orbital revolution) is the curved trajectory of an physical body, object such as the trajectory of a planet around a star, or of a natural satellite around a planet, or of an satellite, artificia ...

of .

Example

f

is a rotation by

2\pi N

(where

0 < N < 1

), then :

F(x)=x+N,

and its rotation number is

N

(cf.

irrational rotation In the mathematical theory of dynamical systems, an irrational rotation is a map : T_\theta : ,1\rightarrow ,1\quad T_\theta(x) \triangleq x + \theta \mod 1 , where is an irrational number. Under the identification of a circle with , or with t ...

Properties

The rotation number is invariant under

topological conjugacy In mathematics, two functions are said to be topologically conjugate if there exists a homeomorphism that will conjugate the one into the other. Topological conjugacy, and related-but-distinct of flows, are important in the study of iterated fun ...

, and even monotone topological semiconjugacy: if and are two homeomorphisms of the circle and :

h\circ f = g\circ h

for a monotone continuous map of the circle into itself (not necessarily homeomorphic) then and have the same rotation numbers. It was used by Poincaré and Arnaud Denjoy for topological classification of homeomorphisms of the circle. There are two distinct possibilities. * The rotation number of is a

rational number In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (for example, The set of all ...

(in the lowest terms). Then has a

, every periodic orbit has period , and the order of the points on each such orbit coincides with the order of the points for a rotation by . Moreover, every forward orbit of converges to a periodic orbit. The same is true for ''backward'' orbits, corresponding to iterations of , but the limiting periodic orbits in forward and backward directions may be different. * The rotation number of is an

irrational number In mathematics, the irrational numbers are all the real numbers that are not rational numbers. That is, irrational numbers cannot be expressed as the ratio of two integers. When the ratio of lengths of two line segments is an irrational number, ...

. Then has no periodic orbits (this follows immediately by considering a periodic point of ). There are two subcases. :# There exists a dense orbit. In this case is topologically conjugate to the

by the angle and all orbits are

dense Density (volumetric mass density or specific mass) is the ratio of a substance's mass to its volume. The symbol most often used for density is ''ρ'' (the lower case Greek letter rho), although the Latin letter ''D'' (or ''d'') can also be use ...

. Denjoy proved that this possibility is always realized when is twice continuously differentiable. :# There exists a

Cantor set In mathematics, the Cantor set is a set of points lying on a single line segment that has a number of unintuitive properties. It was discovered in 1874 by Henry John Stephen Smith and mentioned by German mathematician Georg Cantor in 1883. Throu ...

invariant under . Then is a unique minimal set and the orbits of all points both in forward and backward direction converge to . In this case, is semiconjugate to the irrational rotation by , and the semiconjugating map of degree 1 is constant on components of the complement of . The rotation number is ''continuous'' when viewed as a map from the group of homeomorphisms (with topology) of the circle into the circle.

References

* , also ''SciSpace'' for smaller file size i
pdf ver 1.3
*

External links