K L Kouptsov et al 2002 Nonlinearity 15 1795 doi:10.1088/0951-7715/15/6/306
K L Kouptsov1, J H Lowenstein1 and F Vivaldi2
Show affiliationsRecommended by L Bunimovich
We develop a general formalism for computer-assisted proofs concerning the orbit structure of certain nonergodic piecewise affine maps of the torus, whose eigenvalues are roots of unity. For a specific class of maps, we prove that if the trace is a quadratic irrational (the simplest nontrivial case, comprising eight maps), then the periodic orbits are organized into finitely many renormalizable families, with exponentially increasing period, plus a finite number of exceptional families. The proof is based on exact computations with algebraic numbers, where units play the role of scaling parameters. Exploiting a duality existing between these maps and lattice maps representing rounded-off planar rotations, we establish the global periodicity of the latter systems, for a set of orbits of full density.
37E05 Maps of the interval (piecewise continuous, continuous, smooth)
37E45 Rotation numbers and vectors
Issue 6 (November 2002)
Received 9 April 2002, in final form 9 August 2002
Published 16 September 2002
K L Kouptsov et al 2002 Nonlinearity 15 1795
Sebastiano Sonego and Hans Westman 2004 Class. Quantum Grav. 21 433
Paolo Dario et al 2000 J. Micromech. Microeng. 10 235
E Socher et al 2001 J. Micromech. Microeng. 11 574
Sergei I Yakovlenko 2004 Quantum Electron. 34 765
Yuichi Murai et al 2007 Meas. Sci. Technol. 18 2491
T Sasakawa and J Horacek 1982 J. Phys. B: At. Mol. Phys. 15 L169
Hyeonbae Kang et al 2005 J. Phys.: Conf. Ser. 12 75
Li Zhong-Hui et al 2003 Chinese Phys. Lett. 20 1350
D Strasser et al 2003 J. Phys. B: At. Mol. Opt. Phys. 36 953