On the Growth Behavior of Partial Quotients in Continued Fractions
Shang Lei,Wu Min
DOI: https://doi.org/10.1007/s00013-022-01821-2
2023-01-01
Archiv der Mathematik
Abstract:Let $$[a_1(x),a_2(x),a_3(x),\ldots ]$$ be the continued fraction expansion of an irrational number $$x\in (0,1)$$ . It is known that for Lebesgue almost all $$x\in (0,1)\setminus {\mathbb {Q}}$$ , $$\begin{aligned} \liminf _{n \rightarrow \infty } \frac{\log a_n(x)}{\log n}=0 \ \ \ \text {and}\ \ \ \limsup _{n \rightarrow \infty } \frac{\log a_n(x)}{\log n}=1. \end{aligned}$$ In this note, the Baire classification and Hausdorff dimension of $$\begin{aligned} E(\alpha ,\beta ):=\left\{ x\in (0,1)\setminus {\mathbb {Q}}: \liminf _{n \rightarrow \infty } \frac{\log a_n(x)}{\log n}=\alpha ,\ \limsup _{n \rightarrow \infty } \frac{\log a_n(x)}{\log n}=\beta \right\} \end{aligned}$$ for all $$\alpha , \beta \in [0,\infty ]$$ with $$\alpha \le \beta $$ are studied. We prove that $$E(\alpha ,\beta )$$ is residual if and only if $$\alpha =0$$ and $$\beta =\infty $$ , and the Hausdorff dimension of $$E(\alpha ,\beta )$$ is as follows: $$\begin{aligned} \dim _{\textrm{H}} E(\alpha ,\beta ) = \left\{ \begin{array}{ll} 1, &{} {\alpha =0;} \\ 1/2, &{} {\alpha >0.} \end{array} \right. \end{aligned}$$ Moreover, the Hausdorff dimension of the intersection of $$E(\alpha ,\beta )$$ and the set of points with non-decreasing partial quotients is also provided.