Continued fractions and heavy sequences
HTML articles powered by AMS MathViewer
- by Michael Boshernitzan and David Ralston PDF
- Proc. Amer. Math. Soc. 137 (2009), 3177-3185 Request permission
Abstract:
We initiate the study of the sets $\mathcal {H}(c)$, $0<c<1$, of real $x$ for which the sequence $(kx)_{k\geq 1}$ (viewed mod 1) consistently hits the interval $[0,c)$ at least as often as expected (i. e., with frequency $\geq c$). More formally, \[ \mathcal {H}(c) \eqdef \big \{\alpha \in \mathbb {R} \mid \mathbf {card}\big (\{1\leq k\leq n\mid \langle k\alpha \rangle <c\}\big )\geq cn, \text { for all } n\geq 1\big \}, \] where $\langle x\rangle =x-[x]$ stands for the fractional part of $x\in \mathbb {R}$.
We prove that, for rational $c$, the sets $\mathcal {H}(c)$ are of positive Hausdorff dimension and, in particular, are uncountable. For integers $m\geq 1$, we obtain a surprising characterization of the numbers $\alpha \in \mathcal {H}_m \eqdef \mathcal {H}(\tfrac 1m)$ in terms of their continued fraction expansions: The odd entries (partial quotients) of these expansions are divisible by $m$. The characterization implies that $x\in \mathcal {H}_m$ if and only if $\frac 1{mx} \in \mathcal {H}_m$, for $x>0$. We are unaware of a direct proof of this equivalence without making use of the mentioned characterization of the sets $\mathcal {H}_m$.
We also introduce the dual sets $\widehat {\mathcal {H}}_m$ of reals $y$ for which the sequence of integers $\big ([ky]\big )_{k\geq 1}$ consistently hits the set $m\mathbb {Z}$ with the at least expected frequency $\frac 1m$ and establish the connection with the sets $\mathcal {H}_m$: If $xy=m$ for $x,y>0$, then $x\in \mathcal {H}_m\iff y\in \widehat {\mathcal {H}}_m$. The motivation for the present study comes from Y. Peres’s ergodic lemma.
References
- Y. Dupain and Vera T. Sós, On the one-sided boundedness of discrepancy-function of the sequence $\{n\alpha \}$, Acta Arith. 37 (1980), 363–374. MR 598889, DOI 10.4064/aa-37-1-363-374
- Kenneth Falconer, Fractal geometry, John Wiley & Sons, Ltd., Chichester, 1990. Mathematical foundations and applications. MR 1102677
- H. Furstenberg, Recurrence in ergodic theory and combinatorial number theory, Princeton University Press, Princeton, N.J., 1981. M. B. Porter Lectures. MR 603625
- A. Ya. Khinchin, Continued fractions, University of Chicago Press, Chicago, Ill.-London, 1964. MR 0161833
- Serge Lang, Introduction to Diophantine approximations, 2nd ed., Springer-Verlag, New York, 1995. MR 1348400, DOI 10.1007/978-1-4612-4220-8
- Yuval Peres, A combinatorial application of the maximal ergodic theorem, Bull. London Math. Soc. 20 (1988), no. 3, 248–252. MR 931186, DOI 10.1112/blms/20.3.248
- D. Ralston, Heaviness—An Extension of a Lemma of Y. Peres, Houston Journal of Mathematics. To appear.
Additional Information
- Michael Boshernitzan
- Affiliation: Department of Mathematics, Rice University, Houston, Texas 77005
- MR Author ID: 39965
- Email: michael@rice.edu
- David Ralston
- Affiliation: Department of Mathematics, Rice University, Houston, Texas 77005
- Address at time of publication: Department of Mathematics, Ohio State University, 231 W. 18th Avenue, Columbus, Ohio 43210
- MR Author ID: 870056
- Received by editor(s): October 24, 2007
- Received by editor(s) in revised form: March 7, 2008
- Published electronically: May 15, 2009
- Additional Notes: The second author was supported in part by NSF VIGRE grant DMS–0240058.
- Communicated by: Michael T. Lacey
- © Copyright 2009
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 137 (2009), 3177-3185
- MSC (2000): Primary 11K38, 11J71, 37A30
- DOI: https://doi.org/10.1090/S0002-9939-09-09625-7
- MathSciNet review: 2515388