Hausdorff dimension of certain level sets associated with generalized Rademacher functions (Q3147776)

For \(p\geq 2\), let \(R_n(x)\) \((n\geq 1) \) be the generalized Rademacher function defined by \( R_n(x) =\exp(\frac{2\pi i}{p}\varepsilon_n(x)) \in {\mathbf C},\) where \(\varepsilon_n(x)\) is the \(n\)th digit of the (unique) expansion of \(x\in [0,1]\) in base \(p\) (except countable points of \([0,1]).\) In 1988 Wu Jun proved that for \(p=2\), \(\dim_{\text H} E_{a, \alpha}=\dim_{\text H} F_{a, \alpha}=1\) for any \(0<\alpha<1\) and real number \(a\), where \(\dim_{\text H}(E)\) denotes the Hausdorff dimension of the set \(E\), and \[ E_{a, \alpha}=\left\{ x\in [0,1]: \lim_{n\to \infty} \frac {1}{n^\alpha} \sum_{k=1}^n R_k(x) =a \right\}, \] \[ F_{a, \alpha} =\left\{ x\in [0,1]: \lim_{n\to \infty} \frac {1}{n^\alpha} \sum_{k=1}^n R_1(x) R_2(x) \cdots R_k(x) =a\right\}. \] In this paper, the authors prove that for \(p\geq 3\), \[ \dim_{\text H} E_{a, \alpha}=\dim_{\text H} F_{a, \alpha}=1 \] for any \(0 < \alpha <1\) and any \(a\in {\mathbf C}\).