Boundedness and Dissipativity of Truncated Rotations on Uniform Planar Lattices

The finiteness of computer arithmetic can lead to some dramatic differences between the behaviour of a continuous dynamical system and a computer simulation. A thorough rigorous theoretical analysis of what may or what does happen is usually extremely difficult and to date little has been done even in relatively simple contexts. The comparative behaviour of a rotation mapping in the plane and on a uniform lattice in the plane is one such example. Simulations show that the rounding operator applied to a planar rotation mapping more or less preserves the qualitative behaviour of the original mapping, whereas the application of the truncation operator to a planar rotation can lead to quite different dynamical features. In this paper a theoretical justification of the properties of the planar rotation mappings under truncation to a, uniform integer lattice is provided, in particular properties of boundedness and dissipativity are investigated.