Regularities of distribution. (English) Zbl 0619.10053

Liardet, Pierre

Compos. Math. 61, 267-293 (1987).

A subset A of a compact metrizable space X is said to be a bounded remainder set (b.r.s.) for a sequence \((x_ n)\), \(x_ n\in X\) if there exists a, \(0\leq a<1\), such that \(card\{m<n;\quad y_ m\in A\}-na,\) \(n\in {\mathbb{N}}\) is bounded. The case \(X={\mathbb{R}}/{\mathbb{Z}}\), \(x_ n=n\alpha\) (mod 1), A an interval (mod 1), was first considered by Hecke and completely solved by H. Kesten [Acta Arith. 12, 193-212 (1966; Zbl 0144.289)]. Generalizations were given by H. Furstenberg, H. Keynes, L. Shapiro, R. Rourrence and K. Petersen [Compos. Math. 26, 313-317 (1973; Zbl 0269.10030)] and I. Oren [Isr. J. Math. 42, 353-360 (1982; Zbl 0533.28009)].
This paper starts with a general Coboundary theorem and an improvement for linear isometries on a Hilbert space (Theorem 1). Theorem 2 can be viewed as the metric version of a classical theorem of W. H. Gottschalk and G. A. Hedlund [Topological dynamics (1955; Zbl 0067.152)]. Theorem 3 gives an analogon of Kesten’s result, for m-dimensional intervals in \(({\mathbb{R}}/{\mathbb{Z}})^ m\). Theorem 4 gives some results for more general subsets of \(({\mathbb{R}}/{\mathbb{Z}})^ m\) (extending results of Szüsz and Rauzy, the proof follows an idea of Larcher). Theorem 5 shows that there exist no nontrivial intervals which are b.r.s. of Weyl sequences \(x_ n=p(n)\), \(p(x)=a_ nx^ n+...+a_ 0\), \(n\geq 2\), \(a_ n\) irrational.
The final section deals with q-multiplicative sequences using results of Coquet, Kamae, Mendès-France, extending results of M. Queffelec [Contribution à l’étude spectrale de suites arithmétiques (Thèse d’Etat, Université Paris-Nord) (1984)] (Theorem 6). The related measured flows are described (Theorem 7, 8). Some applications conclude this interesting paper.

Reviewer: H.Rindler

MSC:

11K38	Irregularities of distribution, discrepancy
11K06	General theory of distribution modulo \(1\)
11K55	Metric theory of other algorithms and expansions; measure and Hausdorff dimension
28D99	Measure-theoretic ergodic theory

Keywords:

spectral properties; compact metrizable space; bounded remainder set; Coboundary theorem; linear isometries; Weyl sequences; q-multiplicative sequences; measured flows

Citations:

Zbl 0144.289; Zbl 0269.10030; Zbl 0533.28009; Zbl 0067.152

References:

[1]	Bertrandias, J.-P. : Suites pseudo-aléatoires et critères d’équirépartition modulo 1 . Compositio Math. 16 (1964) 23-28. · Zbl 0207.05801
[2]	Bourbaki, N. : Espaces vectoriels topologiques, ch III., Actualités scientifiques et industrielles . Hermann (1964).
[3]	Coquet, J. , Kamae, T. and Mendès- France, M. : Sur la mesure spectrale de certaines suites arithmétiques . Bull. Soc. Math. France 105 (1977) 369-384. · Zbl 0383.10035 · doi:10.24033/bsmf.1856
[4]	Dunford, N. and Schwartz, J.T. : Linear operator, part I, Pure and Applied Mathematics , vol. VII. Interscience Publishers, New York (1967).
[5]	Erdös, P. : Problems and results on diophantine approximations . Compositio Math. 16 (1964) 52-65. · Zbl 0131.04803
[6]	Furstenberg, H. : Recurrence in Ergodic Theory and Combinatorial Number Theory . Princeton Univ. Press (1981). · Zbl 0459.28023
[7]	Furstenberg, H. , Keynes, M. and Shapiro, L. : Prime flows in topological dynamics . Israel J. Math. 14 (1973) 26-38. · Zbl 0264.54030 · doi:10.1007/BF02761532
[8]	Gottschalk, W.H. and Hedlund, G.A. : Topological Dynamics, Colloquium Publication XXXVI . American Math. Soc., Providence, R.I. (1955). · Zbl 0067.15204
[9]	Halász, G. : Remarks on the remainder in Birkhoff’s ergodic theorem . Acta Mathematica Acad. Sc. Hungaricae 28 (1976) 389-395. · Zbl 0336.28005 · doi:10.1007/BF01896805
[10]	Hecke, E. : Analytische Funktionen und die Verteilung von Zahlen mod. eins. Abh. Math. Semin . Hamburg Univ. (1922) 54-76. · JFM 48.0197.03
[11]	Hellekalek, P. : Regularities in the distribution of special sequences . J. Number Theory 18 (1984) 41-55. · Zbl 0531.10055 · doi:10.1016/0022-314X(84)90041-6
[12]	Kakutani, S. : Ergodic theory of shift transformations , Proceedings of the 5th Berkeley symposium on mathematical statistics and probability [1965, Berkeley], vol. 2, part 2. University of California Press, Berkeley (1967) 405-414. · Zbl 0217.38004
[13]	Kamae, T. : Mutual singularity of spectra of dynamical systems given by ’sum of digits’ to different bases , Société Math. France. Astérisque 49 (1977) 109-114. · Zbl 0371.28018
[14]	Kesten, H. : On a conjecture of Erdös and Szüsz related to uniform distribution mod 1 . Acta Arith. 14 (1973) 26-38. · Zbl 0144.28902
[15]	Kronecker, L. : Berliner Sitzungsberichte , 11 Déc. 1884. Werke 3 (1884) 49.
[16]	Larcher, G. : Private communication , Salzburg (May 1985).
[17]	Liardet, P. : Propriétés dynamiques de suites arithmétiques. Journées Mathématiques SMF-CNRS, Théorie Analytique et élémentaire des nombres . Caen (1980) 58-73.
[18]	Oren, I. : Admissible functions with multiple discontinuities . Israel J.Math. 42 (1982) 353-360. · Zbl 0533.28009 · doi:10.1007/BF02761417
[19]	Petersen, K. : On a series of cosecants related to a problem in ergodic theory . Compositio Math. 26 (1973) 313-317. · Zbl 0269.10030
[20]	Queffelec, M. : Mesures spectrales associées à certaines suites arithmétiques . Bull. Soc. Math. France 107 (1979) 385-421. · Zbl 0435.42007 · doi:10.24033/bsmf.1903
[21]	Queffelec, M. : Contribution à l’étude spectrale de suites arithmétiques . Thèse d’Etat, Université Paris-Nord (1984).
[22]	Rauzy, G. : Ensembles à restes bomés. Sém. Théorie des nombres . Bordeaux exp. 24 (1983-1984) 1-12. · Zbl 0547.10044
[23]	Szüsz, P. : Über die Verteilung der Vielfachen einer komplexen Zahl nach dem Modul des Einheitsquadrates . Acta Math. Acad. Sci. Hungaricae 5 (1954) 35-39. · Zbl 0058.03503 · doi:10.1007/BF02020384