Real 3𝑥+1

Misiurewicz, Michał; Rodrigues, Ana

doi:10.1090/S0002-9939-04-07696-8

Real $3x+1$
HTML articles powered by AMS MathViewer

by Michał Misiurewicz and Ana Rodrigues PDF

Proc. Amer. Math. Soc. 133 (2005), 1109-1118 Request permission

Abstract:

The famous $3x+1$ problem involves applying two maps: $T_0(x)=x/2$ and $T_1(x)=(3x+1)/2$ to positive integers. If $x$ is even, one applies $T_0$, if it is odd, one applies $T_1$. The conjecture states that each trajectory of the system arrives to the periodic orbit $\{1,2\}$. In this paper, instead of choosing each time which map to apply, we allow ourselves more freedom and apply both $T_0$ and $T_1$ independently of $x$. That is, we consider the action of the free semigroup with generators $T_0$ and $T_1$ on the space of positive real numbers. We prove that this action is minimal (each trajectory is dense) and that the periodic points are dense. Moreover, we give a full characterization of the group of transformations of the real line generated by $T_0$ and $T_1$.

References

Corrado Böhm and Giovanna Sontacchi, On the existence of cycles of given length in integer sequences like $x_{n+1}=x_{n}/2$ if $x_{n}$ even, and $x_{n+1}=3x_{n}+1$ otherwise, Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Nat. (8) 64 (1978), no. 3, 260–264 (English, with Italian summary). MR 551509
Stephen D. Cohen, The group of translations and positive rational powers is free, Quart. J. Math. Oxford Ser. (2) 46 (1995), no. 181, 21–93. MR 1326133, DOI 10.1093/qmath/46.1.21
David B. Ellis, Robert Ellis, and Mahesh Nerurkar, The topological dynamics of semigroup actions, Trans. Amer. Math. Soc. 353 (2001), no. 4, 1279–1320. MR 1806740, DOI 10.1090/S0002-9947-00-02704-5
R. I. Grigorchuk, An ergodic theorem for actions of a free semigroup, Tr. Mat. Inst. Steklova 231 (2000), no. Din. Sist., Avtom. i Beskon. Gruppy, 119–133 (Russian, with Russian summary); English transl., Proc. Steklov Inst. Math. 4(231) (2000), 113–127. MR 1841754
C. Gurwood, On periodicity in Collatz’s Conjecture, preprint.
J. C. Lagarias, $3x+1$ Problem annotated bibliography, http://www.research.att.com/~jcl/doc/3x+1bib.ps.
Jeffrey C. Lagarias, The $3x+1$ problem and its generalizations, Amer. Math. Monthly 92 (1985), no. 1, 3–23. MR 777565, DOI 10.2307/2322189
Jeffrey C. Lagarias, The set of rational cycles for the $3x+1$ problem, Acta Arith. 56 (1990), no. 1, 33–53. MR 1067980, DOI 10.4064/aa-56-1-33-53
Daniel J. Rudolph, $\times 2$ and $\times 3$ invariant measures and entropy, Ergodic Theory Dynam. Systems 10 (1990), no. 2, 395–406. MR 1062766, DOI 10.1017/S0143385700005629
Ya. B. Vorobets, On the uniform distribution of the orbits of actions of free groups and semigroups on the plane, Tr. Mat. Inst. Steklova 231 (2000), no. Din. Sist., Avtom. i Beskon. Gruppy, 64–95 (Russian, with Russian summary); English transl., Proc. Steklov Inst. Math. 4(231) (2000), 59–89. MR 1841752
Samuel White, The group generated by $x\mapsto x+1$ and $x\mapsto x^p$ is free, J. Algebra 118 (1988), no. 2, 408–422. MR 969681, DOI 10.1016/0021-8693(88)90030-0
Günther J. Wirsching, The dynamical system generated by the $3n+1$ function, Lecture Notes in Mathematics, vol. 1681, Springer-Verlag, Berlin, 1998. MR 1612686, DOI 10.1007/BFb0095985