How the dimension of some \(\mathrm{GCF}_{\varepsilon}\) sets change with proper choice of the parameter function \(\varepsilon(k)\) (Q503688)

The authors study generalised continued fractions introduced by \textit{F. Schweiger} [Sitzungsber., Abt. II, Österr. Akad. Wiss., Math.-Naturwiss. Kl. 212, 69--77 (2003; Zbl 1113.11045)] generated by the map \[ T_{\varepsilon}(x) = {{-1+(k+1)x} \over {1+ \varepsilon(k) - k \varepsilon(k) x}} \; \text{for } \; x \in (1/(k+1), 1/k], \] defined on the unit interval, where the parameter function \(\varepsilon : {\mathbb N} \rightarrow {\mathbb R}\) is such that \(\varepsilon(k) + k + 1 > 0\). The associated digits are given by \(k_{n+1}(x) = k\) if \(T_\varepsilon^n(x) \in (1/(k+1), 1/k]\). The authors calculate the Hausdorff dimension of the two sets \[ \tilde{E}_\varepsilon(a,b) = \{ x \in (0,1) : k_n(x) \geq a^{b^n} \; \text{for \; all } \; n \in {\mathbb N}\} \] and \[ E_\varepsilon(a,b) = \{ x \in (0,1) : k_n(x) \geq a^{b^n} \; \text{for \; infinitely \; many } \; n \in {\mathbb N}\}. \] The dimension is the same for the two sets, but depend critically on the parameter function. For \(\varepsilon(k)= -k\), it is \(1/(b+1)\), for \(-k^\rho \leq \varepsilon(k) \leq k\) with \(\rho < 1\), it is \(1/b\), and for \(\varepsilon(k) \sim k^\tau\), it is \(1/(b - \tau + 1)\) if \(\tau \in [1,b]\) and \(1\) if \(\tau \geq b\).