On dichotomy law for beta-dynamical system in parameter space (Q2197667)

The present paper deals with beta-transformations \(T_\beta\) for any \(\beta>1\). The main attention is given to the speed of convergence in \[ \liminf_{n\to\infty}{|T^n _{\beta}{1}-0|}=0. \] The following set of parameters \(\beta>1\) for which the point 0 can be well approximated by the orbit of 1 under the beta-transformation with given speed, is considered: \[ E(0,\varphi)=\{\beta>1: |T^n _{\beta}{1}-0|<\varphi(n) \text{ for infinitely many } n\in\mathbb N\}, \] where \(\varphi: \mathbb N \to (0,1]\) is a positive function. For the last-mentioned set, the dichotomy law for the Lebesgue measure is obtained, i.e., some conditions under which the Lebesgue measure of this set is zero or is full, are proven. In addition, the Lebesgue measure of the following set is investigated: \[ \{\beta>1: |T^n _{\beta}{1}-0|<\beta^{-l_n} ~\text{for infinitely many}~ n\in\mathbb N\}, \] where \((l_n)\) is a given sequence of non-negative real numbers, \(n\in\mathbb N\). Some notions and known results about beta-expansions are given, several auxiliary statements are proven. Proofs are given with explanations. For a general target, difficulties of the present investigations are discussed.