For any irrational x ∈[0, 1] we denote by p n ( x )/ q n ( x ), n =1, 2, … the sequence of its continued fraction convergents and define θ n ( x ) ≔ q n | q n x − p n |. Also let T : [0, 1]→[0, 1] be defined by T (0)=0 and T ( x )=1/ x −[1/ x ] if x ≠0. For some random variables X 1 , X 2 , …, which are connected with the regular continued fraction expansion, the subadditive ergodic theorem yields to the existence of a function ω satisfying: for all z ∈ R , lim n→+∞ 1 n #{1⩽i⩽n/X i (z)⩽z}=ω(z) for almost everyx. In particular, for X n = θ n , using this study and a result of Knuth, we give another proof of the following conjecture of Lenstra (the first proof of this conjecture has been given by Bosma, Jager, and Wiedijk): for all z ∈[0, 1],[formula]for almost every x . Furthermore, for X n = θ n ∘ T n and X n =( q n −1 / q n )∘ T n , the functions ω are explicitly determined. The above results show that the subadditive ergodic theorem can be useful in the metric theory of continued fraction.
Read full abstract