Hausdorff dimension of real numbers with bounded digit averages. (English) Zbl 1161.37025
Summary: This paper considers numeration schemes, defined in terms of dynamical systems and studies the set of reals which obey some constraints on their digits. In this general setting, (almost) all sets have zero Lebesgue measure, even though the nature of the constraints and the numeration schemes are very different. Sets of zero measure appear in many areas of science, and Hausdorff dimension has shown to be an appropriate tool for studying their nature. Classically, the studied constraints involve each digit in an independent way. Here, more conditions are studied, which only provide (additive) constraints on each digit prefix. The main example of interest deals with reals whose all the digit prefix averages in their continued fraction expansion are bounded by \(M\).
More generally, a weight function is defined on the digits, and the weighted average of each prefix has to be bounded by \(M\). This setting can be translated in terms of random walks where each step performed depends on the present digit, and walks under study are constrained to be always under a line of slope \(M\). We first provide a characterization of the Hausdorff dimension \(s_M\), in terms of the dominant eigenvalue of the weighted transfer operator relative to the dynamical system, in a quite general setting. We then come back to our main example; with the previous characterization at hand and use of the Mellin transform, we exhibit the behaviour of \(|s_M-1|\) when the bound \(M\) becomes large. Even if this study seems closely related to previous works in multifractal analysis, it is in a sense complementary, because it uses weights on digits which grow faster and deals with different methods.
More generally, a weight function is defined on the digits, and the weighted average of each prefix has to be bounded by \(M\). This setting can be translated in terms of random walks where each step performed depends on the present digit, and walks under study are constrained to be always under a line of slope \(M\). We first provide a characterization of the Hausdorff dimension \(s_M\), in terms of the dominant eigenvalue of the weighted transfer operator relative to the dynamical system, in a quite general setting. We then come back to our main example; with the previous characterization at hand and use of the Mellin transform, we exhibit the behaviour of \(|s_M-1|\) when the bound \(M\) becomes large. Even if this study seems closely related to previous works in multifractal analysis, it is in a sense complementary, because it uses weights on digits which grow faster and deals with different methods.
MSC:
37C45 | Dimension theory of smooth dynamical systems |
11A55 | Continued fractions |
11A63 | Radix representation; digital problems |
11K50 | Metric theory of continued fractions |
37A45 | Relations of ergodic theory with number theory and harmonic analysis (MSC2010) |
37E05 | Dynamical systems involving maps of the interval |
37C30 | Functional analytic techniques in dynamical systems; zeta functions, (Ruelle-Frobenius) transfer operators, etc. |