ENGEL SERIES EXPANSIONS OF LAURENT SERIES AND HAUSDORFF DIMENSIONS

J Wu
DOI: https://doi.org/10.4064/aa99-1-7
2003-01-01
Journal of the Australian Mathematical Society
Abstract:For any positive integer q greater than or equal to 2, let F-q be a finite field with q elements, F-q((z(-1))) be the field of all formal Laurent series x = Sigma(n=v)(infinity) c(n)z(-n) in an indeterminate z, I denote the valuation ideal z(-1)F(q)[[z(-1)]] in the ring of formal power series F-q[[z(-1)]] and P denote probability measure with respect to the Haar measure on F-q((z(-1))) normalized by P(I) = 1. For any x is an element of 1, let the series Sigma(n=1)(infinity) 1/(a(1)(x)a(2)(x)...a(n)(x)) be the Engel expansion of Laurent series of x. Grabner and Knopfmacher have shown that the P-measure of the set A(alpha) = {x is an element of I : lim(n-->infinity)deg a(n)(x)/n = alpha} is I when alpha = q/(q - 1), where deg a(n)(x) is the degree of polynomial a(n)(x). In this paper, we prove that for any alpha greater than or equal to 1, A(alpha) has Hausdorff dimension 1. Among other things we also show that for any positive integer m, the following set B(m) = {x is an element of I : deg a(n+1)(x) - deg a(n)(x) = m for any n greater than or equal to 1} has Hausdorff dimension 1.
What problem does this paper attempt to address?