A note on Engel series expansions of Laurent series and Hausdorff dimensions (Q403279)

Let \(\mathbb F_q\) be the finite field of \(q\) elements and \(\mathbb F_q((z^{-1}))\) denotes the field of all formal Laurent series with coefficients in \(\mathbb F_q\). For any \(x\in I:=z^{-1}\mathbb F_q((z^{-1}))\), the Engel series expansion of Laurent series of \(x\) is \[ x=a_0(x)+\frac{1}{a_1(x)}+\frac{1}{a_1(x)a_2(x)}+\cdots+\frac{1}{a_1(x)\cdots a_n(x)}+\cdots, \] where \(a_n(x)\in\mathbb F_q[z]\). In this paper, the author considers the set \[ E(\phi)=\left\{x\in I: \lim_{n\to\infty}\frac{\deg a_n(x)}{\phi(n)}=1\right\}, \] where \(\phi(n):\mathbb N\to\mathbb R^{+}\) is a function satisfying \(\phi(n)\geq n\) for all integers \(n\) large enough, and show that \(E(\phi)\) is empty or \[ \dim_H E(\phi)=\frac{1}{1+b}\quad\text{with}\quad b=\limsup_{n\to\infty}\frac{\phi(n+1)}{\sum_{k=1}^n\phi(k)}, \] where \(\dim_H\) denotes the Hausdorff dimension. As a corollary, the author shows that for all \(\beta>1\), \(\gamma>0\) or \(\beta=1\), \(\gamma\geq 1\) \[ \dim_H\left\{x\in I: \lim_{n\to+\infty}\frac{\deg a_n(x)}{n^\beta}=\gamma\right\}=1, \] and for all \(\tau>1\), \(\eta>0\) \[ \dim_H\left\{x\in I: \lim_{n\to+\infty}\frac{\deg a_n(x)}{\tau^n}=\eta\right\}\geq\frac{1}{\tau}. \] This is a generalization of the result by \textit{J. Wu} [J. Aust. Math. Soc. 75, No. 1, 1--7 (2003; Zbl 1038.11050)], where \(\beta=1\) in the first case.