ebook img

Uniform Distribution of Sequences of Integers in Residue Classes PDF

132 Pages·1984·1.397 MB·English
Save to my drive
Quick download
Download
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview Uniform Distribution of Sequences of Integers in Residue Classes

Lecture Notes ni Mathematics Edited by .A Dold and .B Eckmann 7801 Wtadysfaw Narkiewicz Uniform Distribution of Sequences of Integers ni Residue Classes galreV-regnirpS Berlin Heidelberg New York oykoT 1984 Author Wtadys{aw Narkiewicz Wroc{aw Department University, of Mathematics Plac Grunwaldzki 2-4, 50-384 ,wa'~corW Poland AMS Subject Classification (1980): 10A35, 10D23, 10H20, 10H25, 10L20, 10M05 ISBN 3-540-13872-2 Berlin Springer-Verlag Heidelberg New York oykoT ISBN 0-387-13872-2 Springer-Verlag NYeowr k Heidelberg Berlin Tokyo This work is subject to copyright. All rights are reserved, whether the whole orp art of the material is concerned, specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks. Under § 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to "Verwertungsgesellschaft Wort", Munich. © by Springer-Verlag Berlin Heidelberg 1984 Printed in Germany Printing and binding : Beltz Offsetdruck, Hemsbach / Bergstr. 2146/3140-543210 To my teacher Professor Stanis~aw Hartman on his seventieth anniversary INTRODUCTION The aim of these notes, which form an extended version of lectures given by the author at various places, is to present a survey of what is known about uniform distribution of sequences of integers in residue classes. Such sequences were studied since the beginning of this century, when L.E.Dickson in his Ph.D. thesis made a thorough study of permuta- tional polynomials, i.e. polynomials inducing a permutation of residue classes with respect to a fixed prime. We shall also consider weak uniform distribution of sequences, mea- ning by that uniform distribution in residue classes (mod N), prime to N. The standard example here is the sequence of all primes, which is weakly uniformly distributed (mod N) for every integer N. After proving, in the first chapter, certain general results we shall consider uniform distribution of certain types of sequences, star- ting with polynomial sequences and considering also linear recurrent sequences and sequences defined by values of additive arithmetical func- tions. This will be done in chapter II-IV. In the fast two chapter we shall study uniform distribution of sequences defined by multiplicative functions,in particular those, which are "polynomial-like", i.e. satisfy the condition f(pk) = Pk(p) for primes p and k ~I with suitable polynomials P1,P2, .... In particular we shall consider classical arithmetical functions, like the number or sum of divisors, Euler's ~-function and Ramanujan's T-function. This will lead to certain ques- tions concerning the value distribution of polynomials. Our tools'belong to the classical number theory and include funda- mentals of the theory of algebraic numbers. In certain places we shall use more recent work, like the theorems of P.Deiigne, J.P.Serre and H.P.F.Swinnerton-Dyer on modular forms, which will be used in the study of Ramanujan's function. In such cases we shall explicitly state the result needed with a proper reference. We shall use notation which is standard in number theory. In parti- cular we shall denote the number of divisors of n by d(n) , o(n) will Vl denote the sum of divisors of n and ok(n) the sum of their k-th powers, only positive divisors being taken into account. The cardinality of a set A will be denotes by A!~ and the letter p will be reserved for primes (except when inside a word). The ring of integers will be denoted by Z and G(N) will be the multiplicative group of restricted residue classes (mod N), i.e. the group of invertible elements of the factor ring Z/NZ. Theorems, lemmas and propositions will be consecuti- vely numbered in each chapter. Certain open problems will be stated in the text, numbered consecutively through all chapters. I wish to express my gratitude to Mrs Dambiec from the Department of Mathematics of Wroc~aw University for the patient and careful pre- paration of the typescript. wroc%aw, February 1984 CONTENTS I. GENERAL RESULTS . . . . . . . . . . . . . . . . . . . . . . I I. Uniform distribution (mod N) . . . . . . . . . . . . . . I 2. The sets M(f) . . . . . . . . . . . . . . . . . . . . . 4 3. Weak uniform distribution (mod N) . . . . . . . . . . . 8 4. Uniform distribution of systems of sequences . . . . . . 9 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . 11 II. POLYNOMIAL SEQUENCES . . . . . . . . . . . . . . . . . . . 12 I Permutation polynomials . . . . . . . . . . . . . . . . 12 2 Generators for the group of permutation polynomials 14 3 Hermite's characterization of permutation polynomials 15 4 Examples . . . . . . . . . . . . . . . . . . . . . . . . 18 5 Consequences of Fried's theorem . . . . . . . . . . . . 21 6 Weak uniform distribution (mod N) of polynomials .... 23 7 Notes and comments . . . . . . . . . . . . . . . . . . . 25 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . 26 III. LINEAR RECURRENT SEQUENCES . . . . . . . . . . . . . . . . 28 I. Principal properties . . . . . . . . . . . . . . . . . . 28 2. Uniform distribution (mod p) of second-order linear recurrences . . . . . . . . . . . . . . . . . . . . . . 32 3. General modulus . . . . . . . . . . . . . . . . . . . . 38 4. Notes and comments . . . . . . . . . . . . . . . . . . . 48 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . 50 IV. ADDITIVE FUNCTIONS . . . . . . . . . . . . . . . . . . . . 51 I~ The criterion of Delange . . . . . . . . . . . . . . . . . 51 2. Application of Delange's tauberian theorem . . . . . . . 54 3. The sets M(f) for additive functions . . . . . . . . . . 58 4. Notes and comments . . . . . . . . . . . . . . . . . . . 59 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . 60 VIII V. MULTIPLICATIVE FUNCTIONS . . . . . . . . . . . . . . . . . . 62 I Dirichlet-~D . . . . . . . . . . . . . . . . . . . . . . 62 2 Decent functions . . . . . . . . . . . . . . . . . . . . 71 3 The number of divisors and Euler's ~-function . . . . . . 77 4 The vanishing of the sum (5.2) . . . . . . . . . . . . . 79 5 The equality Am(N) = G(N) . . . . . . . . . . . . . . . . 85 6 Ramanujan's T-function . . . . . . . . . . . . . . . . . 88 7 Notes and comments . . . . . . . . . . . . . . . . . . . 94 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . 95 VI. POLYNOMIAL-LIKE FUNCTIONS . . . . . . . . . . . . . . . . . 96 I. Generating G(N) by the set of values of a polynomial . 96 2. An algorithm . . . . . . . . . . . . . . . . . . . . . . 102 3. Applications ot the study of M*(f) . . . . . . . . . . . 104 4. The functions k o for k z3 . . . . . . . . . . . . . . . . 107 5. Notes and comments . . . . . . . . . . . . . . . . . . . 112 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . 113 REFERENCES . . . . . . . . . . . . . . . . . . . . . . . . . . 114 INDEX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122 ADDENDA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 CHAPTER I GENERAL RESULTS § I. Uniform distribution (mod N). .I If N is a positive integer and {an} a sequence of integers, then the distribution function F(k) of this sequence with respect to the modulus N is defined by the formula F(k) = lira x -I #{n -<x: n ---k(mod a N) } (k=O,1,...,N-l) oo~-x provided all limits here exist. In the particular case when the function F(k) is constant, thus necessarily equal to I/N, one says that the sequence {an} is uniformlEdistributed (mod N), shortly UD(mod N). Obviously this notion is a particular case of the notion of uniform distribution in compact abelian groups in the rather easy finite case, however most problems arising here have nothing to do with the abstract situation and the general approach is usually of no help. In the sequel it will be sometimes more convenient to consider arith- metical functions f(n) in place of sequences, which of course does not change the essence but presents certain advantages. We shall hence say that a function f is UD(mod N) if the sequence f(1),f(2) .... of its values has this property. From Weyl's criterion the following necessary and sufficient condi- tion for a sequence to be uniformly distributed (mod N) results im- mediately, however we prefer to give a simple direct proof: PROPOSITION 1.1. A sequence {a } n of integers is UD(mod N) if and only if for r=1 ,2 .... ,N-! one has lim x -I Z exp(2Zianr/N) = 0 • (1.1) X °°~- n <- X Proof. Put f~(t) = exp(2~itr/N) for r=0,I,2 ..... N-I. In view of N-I ~ N if Nlt fr(t) : r=O ( O otherwise we get for j=O,I,...,N-1 N-I -I x ~ I = (Nx)-I ~ ~ fr (an-J) = x<-n n-<x r:O an- j door( N) N-I N-I = (mx)-1 Z fr )J( ~ fr (an) = I/N + (Nx)-I 2~ fr )J( ~ fr (an) r:O n_<x r=1 x<-n hence the condition (1.1) for r=1,2,...,N-1 is sufficient for the uniform distribution (mod N) of the sequence {an}. Conversely if {a } n is UD(mod N) then for r=I,2 .... ,N-I we get N-I N-I fr (an) = ~ fr )J( I : ~ fr(J) (x/N +0(x)) = x-<n j =0 n~x j=O an: j door( N) N-I -I = xm ~ fr(J) +0(x) = 0(x) j=O since for r=1,2,...,N-1 we have obviously N-I fr )J( = O . j=O This criterion is not always easy to apply to particular sequences since it involves evaluations of exponential sums, which may be very awkward, however we shall see later that in certain cases it can be used to deduce more convenient conditions. 2. The first systematic study of uniform distribution (mod N) was done by I.NIVEN [61] and Proposition 1.1 occurs for the first time explicitly in S.UCHIYAMA [61]. Note that the assertion, contained in the last paper that uniform distribution (mod N) for all N of a sequence {a } n implies that {anx} is UD(mod )I for almost all x is inexact. In fact, H.G.MEIJER [70] gave a counter-example and in H.G.MEIJER, R.SATTLER [72] a sequence {a } n was found which is UD(mod N) for all N but {anx} can be UD(mod 3) only for x from a set of measure zero. In L.KUIPERS, S.UCHIY/iMA [68] the proper version of the debated statement was proved, in which UD(mod )I was replaced by a weaker concept. Connections of UD(mod N) with certain measure-theoretical concepts was considered in M.UCHIYAMA, S.UCHIYAMA [62] and A.DIJKSMA, H.G.~IJER [69]. Cf. also the book of L.KUIPERS, H.NIEDERREITER [74] (Ch. 5). In C.L.VAN DEN EYNDEN [62] it was shown that if {a } n is uniformly distributed (mod )I then for every N I a the sequence [Na ] n is UD(mod N) and the converse also holds. The same was also proved by J.CHAUVINEAU [65], [68] who with the use of results of J.KOKSMA [35] obtained the following result, implying UD(mod N) for all N for a large class of sequences: if fn(X) is a seauence of differentiable functions on an interval I satisfying the following two conditions: )a( If m #n, then fm-fn ! ! is monotone and of constant sign on I, and )b( The~e exists a positive constant C such that for m ~n one has IfL-f~l aC, then for almost all x I e the sequence {[fn(x) ]} is UD(mod N) for all N. There is no difficulty in generalizing UD(mod N) to UD(mod I) where I is an ideal of an algebraic number field. This was done for the Gaussian field by L.KUIPERS, H.NIEDERREITER, J.S.SHIUE [753. Cf. J.R.BURKE, L.KUIPERS [7~ , L.KUIPERS, J.S.SHIUE [803. 3. Another generalization was considered by A.F.DOWIDAR [72]: let T = (tsj) be a triangular infinite matrix defining a regular summation method. A sequence Cl,C2,... of integers is said to be T-UD(mod N) for an integer N, provided for k=O,1,...,N-1 one has I lim ~ tsj = o~-s j~s cj ~k door( )N (see exercise 7 for a necessary and sufficient condition for T-UD(mod N)). It follows immediately from Proposition 1.1.that a sequence {a } n is UD(mod N) for all integers N 2 a if and only if for every rational number r which is not an integer one has exp{2~ianr} = 0 )x( . n~x W.A.VEECH [71] considered a stronger condition, allowing here r to be any real number which is not an integer. Let us call the resul- ting property of the sequence {a } n Veech-UD. He called further the

See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.