next up previous
Next: Uniform Circular Motion Observed Up: Simple Examples of Dynamical Previous: Linear Maps

The Square Root of 2

 

State of the System: a real number called y below.

Rule of Evolution: tex2html_wrap_inline639 .

Motivations: This method provides numerical solutions of the equation tex2html_wrap_inline641 . Suppose that tex2html_wrap_inline643 gives an approximate value of tex2html_wrap_inline453 , you can try to find a better approximation tex2html_wrap_inline647 . To find tex2html_wrap_inline649 , you have to solve tex2html_wrap_inline651 . If you neglect the tex2html_wrap_inline653 in this equation and solve for tex2html_wrap_inline649 you obtain the evolution rule given above. Incidently, this was invented by Newton.

Main Result: If tex2html_wrap_inline657 is a positive number, tex2html_wrap_inline643 approaches rapidly the positive solution of tex2html_wrap_inline641 , namely y=1.41421.. . This solution is a fixed point of the evolution: if tex2html_wrap_inline665 exactly, then tex2html_wrap_inline667 , because tex2html_wrap_inline669 at each iteration.

Important Concepts: Fixed Point, rational number, irrational number. Rational numbers are ratios of integers. If tex2html_wrap_inline657 is a rational number, then tex2html_wrap_inline673 is also a rational number. However, the sequence tex2html_wrap_inline675 converges to a fixed point which is not a rational number and is called an irrational number. We call tex2html_wrap_inline453 the limit of the above sequence.

Exercise 1.1: Starting from a rational value tex2html_wrap_inline681 for tex2html_wrap_inline657 , show that tex2html_wrap_inline673 is also a rational number. In other words, write tex2html_wrap_inline673 as the ratio of two integers which can be expressed in terms of tex2html_wrap_inline689 and tex2html_wrap_inline691 . Using this result, explain why if tex2html_wrap_inline657 is positive, then tex2html_wrap_inline673 is also positive.

   figure132
Figure: 10 Iterations tex2html_wrap_inline639 with tex2html_wrap_inline699



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