next up previous
Next: Two Independent Uniform Circular Up: Simple Examples of Dynamical Previous: The Square Root of

Uniform Circular Motion Observed at Stroboscopic Times

State of the System: The position of a point on a circle. This position can be specified using the angle made by a radius passing by the point and some direction of reference. Dividing this angle expressed in degrees by tex2html_wrap_inline703 , we obtain a number x between 0 and 1. Since tex2html_wrap_inline707 and tex2html_wrap_inline703 are the same thing, 0 and 1 are identified. For the same reason, if x is increased or decreased exactly by 1,2,3.... it does not change the state of the system. In the following, we use the notation x Modulo 1 to say that we discard the integral part of x. We also say, for instance, that tex2html_wrap_inline715 . Also, when we say that the distance between two points is d, we always mean that we have taken the shortest path between these two points. For instance, we say that the distance between 0.1 and 0.9 is 0.2 and not 0.8, the shortest path consisting in going from 0.9 to 1 which is 0, and from 0 to 0.1.

Rule of Evolution: For the uniform circular motion we have tex2html_wrap_inline719 , where T is the time taken for a complete revolution (often called the period). The change in x is linear in t, in other words x increases continuously at a fixed rate. For the stroboscopic observations we have tex2html_wrap_inline729 where a is the time between two observations divided by T.

Motivations: The second rule describes the positions, at successive and equally separated instants, for instance tex2html_wrap_inline735 of a point in uniform circular motion. The successive positions are then tex2html_wrap_inline737 , tex2html_wrap_inline739 , tex2html_wrap_inline741 ....and can be calculated using the continuous rule of evolution. We obtain that tex2html_wrap_inline743 . The idea of stroboscopic observation will play an important role in the next example.

Main Results:

The evolution rule implies that tex2html_wrap_inline745 . If a is rational, the evolution is periodic. More precisely, if tex2html_wrap_inline751 , then tex2html_wrap_inline753 . For simplicity, we will assume that a is written in the simplest way, i.e. that there are no integers that divide exactly both tex2html_wrap_inline689 and tex2html_wrap_inline691 . For instance if a=0.4, we write tex2html_wrap_inline763 and not tex2html_wrap_inline765 .

With this assumption, it is possible to show that during this cycle of length tex2html_wrap_inline691 , all the values tex2html_wrap_inline515 , tex2html_wrap_inline773 , tex2html_wrap_inline775 ,... tex2html_wrap_inline777 are only obtained once. (The mathematically inclined might want to prove this statement by first asuming that one of the possible values tex2html_wrap_inline779 with tex2html_wrap_inline781 , appears twice in the first tex2html_wrap_inline691 steps and that this assumption leads to an inconsistency; consequently the assumption is wrong) This is illustrated in Fig. gif for a=23/33.

   figure160
Figure: 32 Iterations of tex2html_wrap_inline787

If a is irrational, the system never returns exactly to its initial state after a finite number of steps. To see this suppose it returns to its inatial value after n steps. This would mean that na=m for some integer m. But this would mean that a is a rational number contrarily to the hypothesis. However, it will return as close as we want, if we take enough steps. We have seen in subsection gif, that an irrational number can be obtained as the limit of a sequence of rational approximations. If we consider better and better rational approximations for a, we obtain longer and longer cycles. As an example, if we take tex2html_wrap_inline801 , we can follow the Newton's method discussed previoulsy and calculate successive rational approximations for a: tex2html_wrap_inline805 . In this example the successive cycles will be of length 2, 12, 408.... Taking the limit, we see that the cycle becomes infinitely long and the intermediate values cover the interval [0,1] uniformly. We call this type of behavior ergodic.

Poincaré Cycles. This is a disgression for the mathematically inclined. Instead of following the evolution of 1 point, we can consider the evolution of all the points between tex2html_wrap_inline811 and, say, tex2html_wrap_inline813 . The distance between the points at the beginning and the end of the interval is 0.01. After one step, the interval (denoted tex2html_wrap_inline815 ) has evolved into all the points between tex2html_wrap_inline817 and tex2html_wrap_inline819 which is also an interval of length 0.01. If we repeat the evolution 100 times, we obtain 101 intervals of length 0.01 (including the initial one). If we assume that all these intervals have no common parts, we have to conclude that the total length covered by these intervals is tex2html_wrap_inline821 which is impossible since all the possible states of the system form an interval of length one. So at least two intervals must have a common part (which must be more than a single point). Suppose that after inspection we discover that the intervals tex2html_wrap_inline823 and tex2html_wrap_inline825 share a subinterval of, say, length 0.002, then the distance between tex2html_wrap_inline827 and tex2html_wrap_inline829 is less then 0.01, and so is the distance between tex2html_wrap_inline831 and tex2html_wrap_inline833 , tex2html_wrap_inline835 and tex2html_wrap_inline837 and so on (the translation by a does not change the distance between two points). These approximate cycles are called Poincaré cycles. In general, we can use the same argument to show that after n steps, at least one one of the tex2html_wrap_inline517 , tex2html_wrap_inline519 ,.... tex2html_wrap_inline553 will return at a distance less than 1/n from tex2html_wrap_inline515 .

Important Concepts: Cycles, periodicity, ergodicity.

Exercise : Describe as completely as possible the evolution of the system (at stroboscopic time) for tex2html_wrap_inline853 and a=3/10. Calculate tex2html_wrap_inline857 . What would be tex2html_wrap_inline857 if we had taken tex2html_wrap_inline861 . Which conclusions can you draw regarding small changes in the initial conditions?

Exercise : Calculate tex2html_wrap_inline517 , tex2html_wrap_inline519 .... tex2html_wrap_inline867 in the case tex2html_wrap_inline853 and tex2html_wrap_inline871 . What is the smallest distance between two points of the sequence and how many steps are there between these two points. Can you understand this result from the rational approximations of tex2html_wrap_inline453 constructed in the previous Exercise ?


next up previous
Next: Two Independent Uniform Circular Up: Simple Examples of Dynamical Previous: The Square Root of

Yannick Meurice
Fri Feb 5 00:40:00 CST 1999