Irrational rotations on unit circle is one of most important examples in dynamical systems, which I am going to denote it by: , where .

Then we have the following facts:

**Theorem 1**: Dynamical systems defined above are minimal and uniquely ergodic.

(Th0se who are not familiar with these concepts can google them or take a look at Peter Walters’ “An introduction to ergodic theory”.)

The subtlety of these dynamical systems lie in the way the orbit Orb(x) of a point x recurrent to itself, in particular, we can fix x=0. It turns out the recurrence of 0 is closely related to the arithmetic property of the rotation angle , which lead to interesting classification of irrational numbers. WLOG, I am going to restrict myself to I=[0,1].

**Definition 2:** satisfies a Diophantine condition , if .

Let be the so-called Diophantine number, then it is well known that has full Lebesgue measure if . In some sense, Diophantine condition means that cannot be approximated by rational numbers too fast, which in dynamics language means 0 cannot be recurrent to itself too fast under rotation

There is actually another equivalent way to define Diophantine number in terms of continued fraction expansion of .

Let be the continued fraction expansion of , and be the n’th step approximant, then we have the following properties:

(1),

(2).

where denote the distance to the nearest integer.

Thus, to define Diophantine condition, we need only care about the continued fraction approximants, where then Diophantine conditions are actually given by the growth rate of sequence . Use above inequalities and definition 2, it’s not difficult to see that:

iff , where c is some constant.

But what about the growth rate of in general? In fact, we have the following nice induction formula for :

.

Thus, the slowest growth is when for all n, where the corresponding is the golden mean and is the Fibonacci sequence if we set ! So in some sense, golden mean is the most irrational irrational number, because it is approximated by rational numbers in the slowest rate.

For Fibonacci sequence , we can find the exact expression by generating function, which is

.

Hence, sequence grows at least exponentially fast.

**Definition 3:** is called a Brjuno number if the associated sequence satisfies .

By the equivalent condition of Diophantine number and the slowest growth of , Brjuno number contains all Diophantine number so it’s a full Lebesgue measure set. We can define another number which decribe the growth rate of outside a set contains Brjuno numbers.

.

Then obviously we have:

Brjuno Numbers .

Again is a full Lebesgue measure set. Thus, it seems that is a rather small set which may even be empty. But that’s not true:

**Definition 4:** {} are said to be Liouville number.

**Remark:** Some also define Liouville numbers to be the complement of Diophantine numbers in irrational numbers.

Obviously, the set of all Liouville numbers has zero Lebesgue measure and they are approximated by rational numbers really very fast. It is an interesting fact that the set of Liouville numbers is generic though it has zero Lebesgue measure. These arithmetic properties in many ways govern dynamical behaviors in many dynamical systems.

So many connections between these things.

The set of Liouville numbers has zero Lebesgue measure. Could its Hausdorff dimension be positive?

Comment by Pengfei — March 2, 2010 @ 1:53 pm |

The Hausdorff dimension is zero.

Comment by zhenghe — March 2, 2010 @ 2:38 pm |