On the digits of Schneider's \(p\)-adic continued fractions (Q1747235)

In the present article, representations of real numbers by Schneider's \(p\)-adic continued fractions are considered. Suppose \(\mathbb Z_p\) is the ring of \(p\)-adic integers, \(\lambda\) is the Haar measure on \(p\mathbb Z_p\), and \(a_n(x)\) is the \(n\)-th digit of Schneider's \(p\)-adic continued fraction of \(x\in p\mathbb Z_p\). It is proved that the sequence \((a_n(x))\) is independent and identically distributed on \((p\mathbb Z_p, \mathcal B, \lambda)\), where \(\mathcal B\) denotes the Borel \(\sigma\)-algebra. The attention is given to properties of the set \[ E(\alpha)=\left\{x\in p\mathbb Z_p : \lim_{n\to\infty}{\frac{a_1(x)+a_2(x)+\dots +a_n(x)}{n}}=\alpha\right\}. \] It is proved that \(\dim_H {E(\alpha)}=f(\alpha)\) for any \(1\le\alpha \le \infty\), where \[ f(\alpha)=\frac{\alpha\log \alpha-(\alpha-1)\log{(\alpha-1)}+\log(p-1)}{\alpha\log p} \] and \(\dim_H(\cdot)\) is the Hausdorff dimension of a set. Also, the following set \[ F(\phi)=\{x\in p\mathbb Z_p : a_n(x)\ge \phi(n) \text{ infinitely often}\}, \] where \(\phi(n)\) is a positive integer-valued function defined on \(\mathbb N\), is studied. The authors have proved the following result: ``Let \(\alpha=\liminf_{n\to\infty}{\frac{\phi(n)}{n}}\). Then \(\dim_H {F(\phi)}=s(\alpha)\), where for \(0\le \alpha < \infty\), \(s(\alpha)\) is the unique solution of the equation \[ \sum^{\infty} _{n=1}{(p-1)p^{-(n+\alpha)s}}=1, \] and \(s(\infty)=0\).'' In addition, certain auxiliary results are proved.