Some exceptional sets of Borel-Bernstein theorem in continued fractions (Q2054710)

For a real number \(x\in[0,1)\), denote the continued fraction expansion of \(x\) by \(x=[a_1(x),a_2(x),a_3(x),\dots]\), where \(a_1(x),a_2(x),a_3(x),\dots\) are positive integers. The Borel-Bernstein Theorem asserts that for Lebesgue almost all \(x\in[0,1)\), \(a_n(x)\ge\psi(n)\) holds for infinitely many \(n\)' s or finitely many \(n\)' s depending on whether \(\sum_{n\ge 1}1/\psi(n)\) diverges or converges. This paper is concerned with Hausdorff dimension of some exceptional sets of \(\limsup_{n\to\infty}\log a_n(x)/\log n=1\) as a consequence of the Borel-Bernstein Theorem. As a main result, the Hausdorff dimension of the set \[ E_{\sup}(\psi)=\left\{x\in[0,1):\limsup_{n\to\infty}\frac{\log a_n(x)}{\psi(n)}=1\right\}, \] is determined, where \(\psi:\mathbb N\rightarrow\mathbb R^{+}\) is a function satisfying \(\psi(n)\to\infty\) as \(n\to\infty\). Namely, \[ \dim_H E_{\mathrm{inf}} (\psi)=\frac{1}{A+1}, \] where \(A\) is given by \[ \log A=\liminf_{n\to\infty}\frac{\log\psi(n)}{n}. \] The Hausdorff dimension of the sets \[ E(\psi)=\left\{x\in[0,1):\lim_{n\to\infty}\frac{\log a_n(x)}{\psi(n)}=1\right\} \] and \[ E_{\mathrm{inf}} (\psi)=\left\{x\in[0,1):\liminf_{n\to\infty}\frac{\log a_n(x)}{\psi(n)}=1\right\} \] are also determined as \[ \dim_H E(\psi)=\frac{1}{2+\xi} \] and \[\dim_H E_{\mathrm{inf}} (\psi)=\frac{1}{B+1}, \] where \[ \xi=\limsup_{n\to\infty}\frac{\psi(n+1)}{\psi(1)+\cdots+\psi(n)} \] and \[ \log B=\limsup_{n\to\infty}\frac{\log\psi(n)}{n}, \] respectively.