Hausdorff dimension of exceptional sets arising in $θ$-expansions

Abstract

For a fixed $θ^2=1/m$, $m \in \mathbb{N}_+$, let $x \in [0, θ)$ and $[a_1(x) θ, a_2(x) θ, \ldots]$ be the $θ$-expansion of $x$. Our first goal is to extend for $θ$-expansions the results of Jarnik \cite{J-1928} concerning the set of badly aproximable numbers and the set of irrationals whose partial quotients do not exceed a positive integer. Define $ L_n (x)= \displaystyle \max_{1 \leq i \leq n} a_i(x), x \in Ω:=[0, θ)\setminus \mathbb{Q} $. The second goal is to complete our result inspired by Philipp \cite{Ph-1976} % \[ \liminf_{n \to \infty} \frac{L_n(x) \log\log n}{n} = \frac{1}{\log \left( 1+ θ^2\right)} \mbox{ for a.e. } x \in [0, θ]. \] % In this regard we prove that for any $η> 0$ the set \[ E(η) = \left\lbrace x \in Ω: \lim_{n \to \infty} \frac{L_n(x) \log\log n}{n} = η\right\rbrace \] is of full Hausdorff dimension.