Approximation properties of β-expansions II
Given β∈(1,2) and x∈[0,β−11], a sequence (εi)i=1∞∈{0,1}N is called a β-expansion for x if x=∑i=1∞βiεi. In a recent article the author studied the quality of approximation provided by the finite sums ∑i=1nεiβ−i \cite{Bak}. In particular, given β∈(1,2) and Ψ:N→R≥0, we associate the set Wβ(Ψ):=⋂m=1∞⋃n=m∞⋃(εi)i=1n∈{0,1}n[∑i=1nβiεi,∑i=1nβiεi+Ψ(n)]. Alternatively, Wβ(Ψ) is the set of x∈R such that for infinitely many n∈N, there exists a sequence (εi)i=1n satisfying the inequalities 0≤x−∑i=1nβiεi≤Ψ(n). If ∑n=1∞2nΨ(n)<∞ then Wβ(Ψ) has zero Lebesgue measure. We call a β∈(1,2) approximation regular, if ∑n=1∞2nΨ(n)=∞ implies Wβ(Ψ) is of full Lebesgue measure within [0,β−11]. The author conjectured in \cite{Bak} that almost every β∈(1,2) is approximation regular. In this paper we make a significant step towards proving this conjecture. The main result of this paper is the following statement: given a sequence of positive real numbers (ωn)n=1∞, which satisfy limn→∞ωn=∞, then for Lebesgue almost every β∈(1.497…,2) the set Wβ(ωn⋅2−n) is of full Lebesgue measure within [0,β−11]. Here the sequence (ωn)n=1∞ should be interpreted as a sequence tending to infinity at a very slow rate.