NORMAL NUMBERS AND UNIFORM DISTRIBUTION (WEEKS 1-3) OPEN PROBLEMS IN NUMBER THEORY SPRING 2018, TEL AVIV UNIVERSITY
|
|
- Pauline Stafford
- 5 years ago
- Views:
Transcription
1 ORMAL UMBERS AD UIFORM DISTRIBUTIO WEEKS -3 OPE PROBLEMS I UMBER THEORY SPRIG 28, TEL AVIV UIVERSITY Contents.. ormal numbers.2. Un-natural examples 2.3. ormality and uniform distribution 2.4. Weyl s criterion Proof of Weyl s criterion 5.6. Polynomial sequences 7.7. Metric Theory.8. Quantitative aspects of uniform distribution: Discrepancy 2 References 5.. ormal numbers. Definition. A real number α, is simply normal to base, if in the decimal expansion α =.a a 2..., each digit occurs with the same frequency namely /: For any digit t {,,...,, 9}, lim # {n : a n = t} = We say that α is normal to base if for every k, every string t... t k of k digits t j {,,..., 9} appears with the same frequency, namely / k : lim # {n : a n+ = t, a n+2 = t 2,..., a n+k = t k } = k Date: March 25, 28.
2 2 We can naturally change base to any other base b 2, with the same definitions. Exercise. Show that a rational number is not normal to any base. The natural questions are: Is there a normal number?.2. Un-natural examples. Champernowne s number 933, []: Concatenate all natural numbers into a decimal expansion Copeland Erdős number 946 [2], conjectured by Champernowne: Concatenate all primes into a decimal expansion Davenport and Erdős 952 [3], conjectured by Copeland and Erdős: Let fx be any polynomial in x, all of whose values for x =, 2,... are positive integers. Then the decimal.ff2f3..., where fn is written in the scale of, is normal in base. Open Problem. Find a single example of a naturally occurring number which is normal to some base. For instance, is the golden ration ϕ = + 5/2 normal? It is conjectured that any real algebraic number is normal to all bases..3. ormality and uniform distribution. Let X = {x n } R/Z [, be a sequence of numbers on the unit circle. We say that X is uniformly distributed mod if for every subinterval I [,, the proportion of elements of X contained in I equals the length of I: lim # {n : x n I} = I. Likewise, if we take a sequence x n of real numbers, we use the fractional parts {x mod }. ote that a uniformly distributed sequence X [, is necessarily dense. The converse is not true: A standard example is the sequence of fractional parts {log n : n =,... } Exercise 2. Show that the sequence of fractional parts {{log n} : n =, 2,... } is dense in [,.
3 UIFORM DISTRIBUTIO 3 As we shall later see, if α R\Q is irrational, then the sequence {αn : n =, 2,... } is uniformly distributed mod. The relation to our previous discussion of normal numbers lies in the following observation: Proposition.. α is normal to base resp., base b if and only if the sequence {α n : n =, 2,... } is uniformly distributed modulo resp. αb n. Proof. It suffices to consider intervals I = [a, b with endpoints being finite decimals, i.e. of the form a =.a...a r, in fact when we only change the last digit exercise: why?. For simplicity, take I = [.23,, 24. ow note that if α =.a a 2..., then the fractional part of n α =.a n+ a n+2 a n+3..., so that { n α} I = [.23,, 24 a n+ =, a n+2 = 2, a n+3 = 3. Thus the number of n for which the fractional parts {α n } I is exactly equal to the number of occurrences of the string 23 in the first + 3 digits of α. ormality of α means that this number is asymptotically / 3. oting that the length of our interval I is / 3, we see that we get the number of n such that { n α} I is asymptotically I, which is what is required in the definition of uniform distribution. This observation shifts the focus from normality to the general context of uniform distribution of sequences. So far we have not proved that any sequence is uniformly distributed. Before doing so, we develop Weyl s breakthrough method for establishing this..4. Weyl s criterion 96. Theorem.2. Let X = {x n : n =, 2,... } R. Then X is uniformly distributed modulo if and only if for all integers k, lim e 2πikxn =. n= In what follows, we shall abbreviate ez := e 2πiz Example: We shall show that for any irrational α, the fractional parts of αn are u.d.: By Weyl s criterion, it suffices to show cancellation in the Weyl sums n= e2πikαn. But for this sequence, these are just
4 4 geometric progressions, so as long as kα / Z which is guaranteed by irrationality of α if k, so that Hence n= e 2πikαn = n= e 2πikαn 2 ekα e + kα ekα. ekα, as, so that Weyl s criterion is satisfied. Example: The sequence of fractional parts of log n is not uniformly distributed mod earlier we saw that it is dense mod. To see this, we need to see that Weyl s criterion does not hold. We will show that elog n n Indeed, we use summation by parts to evaluate the Weyl sum. Recall that for a differentiable function ft, and any sequence {a n }, we denote by At := n t the partial sums of the sequence, then the weighted sum n a nfn can be written as x a n fn = Axfx Atf tdt n x and more generally, if z < x then a n fn = Axfx Azfz z<n x a n x Exercise 3. Using summation by parts, show that log n = x log x x + Olog x n x for some constant C. n= n = log + C O z Atf tdt
5 UIFORM DISTRIBUTIO 5 We apply this with ft = e 2πi log t = t 2πi, and a n =, so that At = t to obtain n elog n = 2πi which is clearly not o. t 2πit 2πi dt = +2πi 2πi t 2πi dt + 2πi = +2πi 2πi +2πi + 2πi + O = +2πi + O log, + 2πi t 2πi {t}dt t dt.5. Proof of Weyl s criterion. The argument is all about approximating various functions by step functions and by trigonometric polynomials. For a periodic function f, we ask whether the following holds * lim fx n = n fxdx Lemma.3. Let X R/Z. The following are equivalent: The sequence X is uniformly distributed. 2 * holds for all continuous f. 3 * holds for all Riemann integrable f. Proof. Clearly 3 implies. For the converse, note that uniform distribution implies that * holds for all step functions, that is linear combinations of the indicator functions of intervals. But for any Riemann integrable function, by definition, given any ε >, there are step functions s f s + with s + s < ε. Choose ε > so that for all ε,. s + x n n= s + xdx < ε
6 6 and then fx n n= fxdx = + + fx n s + x n n= n= s + x n s + xdx s + xdx fxdx ow the first expression is non-positive, since f s +, so that the LHS is bounded above by the sum of the last two expressions. By., the second expression lies in ε, ε, and since s + s < ε, the third expression is in [, ε. Hence fx n n= Arguing with s + replaced by s will give and hence fx n n= fx n n= fxdx < 2ε. fxdx > 2ε. fxdx < 2ε. for all ε. Hence 3 holds. Since continuous functions are Riemann integrable, we have 3 2. For the implication 2, argue similarly, approximating the indicator function of an interval above and below by continuous functions. Proof of Weyl s criterion: Since the exponential functions e k x = eks are continuous, by the above Lemma uniform distribution implies that * holds for them, that is one direction follows. We need to show that assuming that * for fx = ekx, for all k k = is obvious, implies uniform distribution, and by the Lemma, it suffices to show * holds for continuous functions. ote that * for all ekx for all integer k implies * holds for all trigonometric polynomials, by linearity. By the Weierstrass approximation theorem, given a continuous function f, for any ε > there
7 UIFORM DISTRIBUTIO 7 is a trigonometric polynomial T x so that f T < ε. One then argues as in the Lemma that fx n fxdx fx n T x n n= + + n= n= T x n T x fx dx T xdx The first and third expressions are at most ε, since f T < ε, and the second expression is at most ε for all ε. Thus we have uniform distribution..6. Polynomial sequences. Weyl s criterion allows one to get a first step up on a number of problems. As an example, we present one of Weyl s original breakthroughs, namely that the sequence αn 2 is uniformly distributed mod for α irrational. However, unlike the linear case αn, this does not come for free, and needed some significant extra ideas. We start with Dirichlet s theorem on rational approximations. Lemma.4. Let x R be a real number. Then for any integer Q, there are integers a Z, q, with q Q so that x a q < qq In particular for the fractional part {qx} we get {qx} < /Q. If x is irrational, then we must have q as Q. Proof. We consider the Q + numbers {nx} [,, n Q. Dividing the unit interval [, into Q subintervals of length /Q, we use Dirichlet s box principle to deduce that at least one of these subintervals contains two points of the sequence, that is there are m n Q so that {nx} {mx} < Q Writing {mx} = mx M, {nx} = nx with M, Z we obtain nx mx M = n mx M < Q Taking q = n m [, Q] and a = ± M we obtain qx a < Q
8 8 as claimed. ow if x / Q is irrational, then {qx} and hence we cannot have {qx} < /Q for infinitely many Q s. Hence q as Q. Theorem.5. For irrational α, the sequence {αn 2 : n =, 2... } is uniformly distributed modulo. By Weyl s criterion, it suffices to show that for any nonzero integer k, the Weyl sums S := ekαn 2 = o k,α n= the implied constants are allowed to depend on α and k. We square out the sum S 2 = + 2R ekαn 2 m 2 m<n Writing n = m + h, with m + h, so that we obtain m<n n 2 m 2 = h2m + h = h 2 + 2hm, ekαn 2 m 2 = h= h= h ekαh 2 h m= m= eγ h m eα 2k h m where we have set γ := 2kα, which is irrational if and only if α is irrational. ow we sum the geometric progression, which is the inner sum: h m= h, eγ h m = min ehγ ehγ h+ ehγ, hγ where x := distx, Z. Thus we obtain S 2 + Hence it suffices to show that h= min, 2, else 2 sinπhγ. hγ h γ Z
9 Proposition.6. For γ / Q, h= UIFORM DISTRIBUTIO 9 min, = o 2 hγ Proof. We use Dirichlet s lemma to obtain coprime a, q, with q so that γ a q < q or γ = a q + θ, θ <. q Divide the range of summation [, ] into consecutive intervals of length q, plus perhaps an extra leftover interval. So if M q < Mq then writing h = qk + j, k < M, j =,..., q, we have γh = ah q + θh = aj q q where θ <. Thus h= min, hγ q M max θ < θh + ak + = aj q q + θ q j= q q max θ < i= min, min, aj q + θ q i q + θ q where we have changed variables aj mod q i mod q, as we may since a is coprime to q, so that as we vary over all residues j mod q, the set aj mod q varies over all residues i mod q recall aj + z only depends q on aj mod q. For at most one value of i mod q, we have i q + θ q < 2q and for that value we replace the corresponding term in the sum by. For the remaining i s, we have Hence we find q max θ < i= min, i q + θ q i q + θ q i 2q + q i= q/i + q log q
10 Therefore h= min, + q log q 2 hγ q q + log Recall that since γ is irrational, we have q as, and hence the above is o 2. An elaboration of the above argument gives Theorem.7. Let P x = a d x d + a d x d + + a x + a be a polynomial of degree d 2, with at least one of the ceofficients a d,..., a irrational the constant term a does not matter. Then the sequence {P n : n =, 2,... } is uniformly distributed mod..7. Metric Theory. Theorem.8. Let {an} be a sequence of distinct integers: an am if n m. Then for almost all α R, the sequence {αan} is uniformly distributed mod. ote that the proof does not provide a single example of such an α. As an example, we may take an = n, and find that almost all α are normal to base. Likewise, given any integer b 2, almost all α are normal to base b. Intersection this union of subsets having full measure shows that in fact almost all α are normal to any case b. Proof. By Weyl s criterion, it suffices to show that for almost all α, and any integer k, the normalized Weyl sums S kα; := ekαan tend to zero. In fact it suffices to show that given k, this holds for almost all α apriori depending on k. Replacing an by kan, it suffices to take k =, and we write S α; = Sα;. We may also restrict to α [, by periodicity. From now on we take = M 2, and first show that for almost all α, S α; M 2. ow one way to show this is to show that for almost all α, the series S α; M 2 2 < M= converges, since this forces the individual terms of the series to tend to zero. n=
11 UIFORM DISTRIBUTIO ext, note that by what we learnt in measure theory about the Lebesgue integral, it suffices to show that S α; M 2 2 dα < M= since for a function to be integrable, a necessary condition is that it is finite almost everywhere. By Fatou s Lemma, S α; M 2 2 dα S α; M 2 2 dα M= M= so it suffices to show that the sum of the integrals converges. squaring out the Weyl sum gives S α; M 2 2 dα = M 4 = M 4 M 2 M 2 m= n= M 2 M 2 m= n= e αam an dα δ am, an But since the an s are integers. ow and only now! we use the assumption that an are distinct, to deduce that only the diagonal terms survive, giving S α; M 2 2 dα = M 4 M 2 m= = M 2 and so we deduce that S α; M 2 2 dα < so that for almost all α, M= S α, M 2. Finally, we move from M 2 to general : Given, we can find M so that M 2 < M + 2, and then we claim that S α, = S α, M 2 + O and hence will deduce that for almost all α, Sα,.
12 2 Indeed assuming M 2, S α, S α, M 2 = n=m 2 + eαan M M 2 eαan 2 so that S α, S α, M 2 M 2 + M M 2 2 on trivially bounding ex as claimed. 2 M 2.8. Quantitative aspects of uniform distribution: Discrepancy. If a sequence X is uniformly distributed mod, it is in particular dense in the unit interval. This means that every subinterval of fixed length contains at least one point of the sequence, in fact the proportion of points falling into it is roughly the length of the interval. The next question is: What about shrinking intervals? That is, we ask that every interval of length at least /m contains at least one element from the first elements of the sequence {{x n } : n }, where m as. Definition. The discrepancy of the sequence X is D = sup #{n : x n I} I I [, Clearly if D then X is uniformly distributed; the converse also holds. Exercise 4. Show that / D. Recall that Weyl s criterion is that X is uniformly distributed if and only if all the normalized Weyl sums S k, := ekx n n tend to zero k. What is important is that we can use Weyl sums to estimate the discrepancy D. Theorem.9 Erdős-Turan. For any K and, D K K k S k,. k= n=
13 UIFORM DISTRIBUTIO Example: The linear case x n = αn mod. We want to use the Erdős-Turan inequality. We use the bound for the geometric series for irrational α S k, = ekαn kα n= and so by the Erdős-Turan inequality, D K + K k= so we need to estimate the sum K k= k S k, K + K k= k kα. Here the Diophantine type k kα of α plays a special role. We say that α is of bounded type, or badly approximable if there is some constant c = cα > so that qα > c q. This is a measure zero condition, and is equivalent to the continued fraction expansion of α to have bounded partial quotients: α = [a ; a, a 2,... ], with a k M. The main example are quadratic irrationalities: Lemma.. Let α = D, D > an integer which is not a perfect square. Then for any integers p, q p q D > c q 2, c = /3 D Proof. We may assume that p/q D < /, otherwise there is nothing to prove. Let fx = x 2 D which is the minimal polynomial of D. Then p q D = fp q p + D > fp/q 3 D q since < p/q + D = 2 D + p/q D < 2 D + / < 3 D. Moreover, fp/q = p2 Dq 2 q 2 q 2 because p 2 Dq 2 is an integer, which is not zero because D is irrational if D, hence is at least in absolute value. Altogether we obtain as claimed. p q D > 3 D q 2
14 4 ote: The argument extends to give Liouville s theorem, that for a real algebraic number of degree d, we have p/q α > c/q d with c = cα effectively computable. Roth s theorem improves that to p/q α > c/q 2+ε, for all ε >, with c = cα, ε > some constant not effective. Open Problem 2. A real algebraic number of degree d 3 is not of bounded type, equivalently the partial quotients in the continued fraction expansion are not bounded. Proposition.. Suppose that α is irrational of bounded type. Then D{αn}, log 2. ote: This can be improved to Olog /. Corollary.2. If α is of bounded type, then every interval of length α log 2 / contains an element of the form αn, n. Lemma.3. Suppose that α is irrational of bounded type. Then and At := k t GK := K k= kα k kα t log t. log K2 Proof. The key is that if α is of bounded type, then the points kα, ] are well spaced in the sense that 2 mα nα j, m n j Indeed, mα = mα M for M mα for some integer M; hence for a suitable L Z, mα nα = ±m ± nα L so that if m n j then mα nα m ± n α m + n 2j as claimed. Hence, an interval of length < /2K will contain at most one element of the form kα, k K.
15 UIFORM DISTRIBUTIO 5 We use this to bound the sum At by dividing the range of summation into intervals of length δ = /2t At = /δ j= k t kα jδ,j+δ] kα each interval contains at most one summand, and the summand is bounded above by /jδ, so that At /δ j= jδ δ log δ t log t. To bound GK, we use the bound on At and get rid of the factor /k by using summation by parts: Exercise 5. Suppose that α is irrational of bounded type, and set x = distx, Z. Let At := k t kα, We saw that At t log t. Show that GK := K GK log K 2. We can now bound the discrepancy: D K + K k= k S k, K + Taking K = gives D log 2 /. References K k= k= k kα k kα log K2 + K [] Champernowne, D. G. The Construction of Decimals ormal in the Scale of Ten. J. London Math. Soc. 8, 933. [2] Copeland, Arthur H.; Erdős, Paul. ote on normal numbers. Bull. Amer. Math. Soc. 52, [3] Davenport, H.; Erdős, P. ote on normal decimals. Canadian J. Math. 4,
Notes on Equidistribution
otes on Equidistribution Jacques Verstraëte Department of Mathematics University of California, San Diego La Jolla, CA, 92093. E-mail: jacques@ucsd.edu. Introduction For a real number a we write {a} for
More informationExistence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets
Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R
More informationUPPER BOUNDS FOR DOUBLE EXPONENTIAL SUMS ALONG A SUBSEQUENCE
uniform distribution theory DOI: 055/udt-207 002 Unif Distrib Theory 2 207), no2, 24 UPPER BOUNDS FOR DOUBLE EXPONENTIAL SUMS ALONG A SUBSEQUENCE Christopher J White ABSTRACT We consider a class of double
More informationAbstract. 2. We construct several transcendental numbers.
Abstract. We prove Liouville s Theorem for the order of approximation by rationals of real algebraic numbers. 2. We construct several transcendental numbers. 3. We define Poissonian Behaviour, and study
More informationFourier series, Weyl equidistribution. 1. Dirichlet s pigeon-hole principle, approximation theorem
(October 4, 25) Fourier series, Weyl equidistribution Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/mfms/notes 25-6/8 Fourier-Weyl.pdf]
More informationApproximation exponents for algebraic functions in positive characteristic
ACTA ARITHMETICA LX.4 (1992) Approximation exponents for algebraic functions in positive characteristic by Bernard de Mathan (Talence) In this paper, we study rational approximations for algebraic functions
More information1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =
Chapter 5 Sequences and series 5. Sequences Definition 5. (Sequence). A sequence is a function which is defined on the set N of natural numbers. Since such a function is uniquely determined by its values
More information13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map
3. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Rotations of a torus, the doubling map In this lecture we give two methods by which one can show that a given
More informationThree hours THE UNIVERSITY OF MANCHESTER. 31st May :00 17:00
Three hours MATH41112 THE UNIVERSITY OF MANCHESTER ERGODIC THEORY 31st May 2016 14:00 17:00 Answer FOUR of the FIVE questions. If more than four questions are attempted, then credit will be given for the
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationSTRONG NORMALITY AND GENERALIZED COPELAND ERDŐS NUMBERS
#A INTEGERS 6 (206) STRONG NORMALITY AND GENERALIZED COPELAND ERDŐS NUMBERS Elliot Catt School of Mathematical and Physical Sciences, The University of Newcastle, Callaghan, New South Wales, Australia
More informationSOME REMARKS ON NUMBER THEORY BY P. ERDŐS 1. Let ABSTRACT This note contains some disconnected minor remarks on number theory. (1) Iz j I=1, 1<j<co be
SOME REMARKS ON NUMBER THEORY BY P. ERDŐS 1. Let ABSTRACT This note contains some disconnected minor remarks on number theory. (1) Iz j I=1, 1
More informationNOTES ON IRRATIONALITY AND TRANSCENDENCE
NOTES ON IRRATIONALITY AND TRANSCENDENCE Frits Beukers September, 27 Introduction. Irrationality Definition.. Let α C. We call α irrational when α Q. Proving irrationality and transcendence of numbers
More informationOn Normal Numbers. Theodore A. Slaman. University of California Berkeley
1/24 On Normal Numbers Theodore A. Slaman University of California Berkeley Joint work with Verónica Becher, and in part with Pablo Heiber, Yann Bugeaud and Jan Reimann CApril 29, 2015 2/24 Émile Borel
More information7: FOURIER SERIES STEVEN HEILMAN
7: FOURIER SERIES STEVE HEILMA Contents 1. Review 1 2. Introduction 1 3. Periodic Functions 2 4. Inner Products on Periodic Functions 3 5. Trigonometric Polynomials 5 6. Periodic Convolutions 7 7. Fourier
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationStrong Normality of Numbers
Strong Normality of Numbers Adrian Belshaw Peter Borwein... the problem of knowing whether or not the digits of a number like 2 satisfy all the laws one could state for randomly chosen digits, still seems...
More informationA NOTE ON NORMAL NUMBERS IN MATRIX NUMBER SYSTEMS
A NOTE ON NORMAL NUMBERS IN MATRIX NUMBER SYSTEMS MANFRED G. MADRITSCH Abstract. We consider a generalization of normal numbers to matrix number systems. In particular we show that the analogue of the
More information1 Definition of the Riemann integral
MAT337H1, Introduction to Real Analysis: notes on Riemann integration 1 Definition of the Riemann integral Definition 1.1. Let [a, b] R be a closed interval. A partition P of [a, b] is a finite set of
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More information3 hours UNIVERSITY OF MANCHESTER. 22nd May and. Electronic calculators may be used, provided that they cannot store text.
3 hours MATH40512 UNIVERSITY OF MANCHESTER DYNAMICAL SYSTEMS AND ERGODIC THEORY 22nd May 2007 9.45 12.45 Answer ALL four questions in SECTION A (40 marks in total) and THREE of the four questions in SECTION
More informationA LeVeque-type lower bound for discrepancy
reprinted from Monte Carlo and Quasi-Monte Carlo Methods 998, H. Niederreiter and J. Spanier, eds., Springer-Verlag, 000, pp. 448-458. A LeVeque-type lower bound for discrepancy Francis Edward Su Department
More informationSeries of Error Terms for Rational Approximations of Irrational Numbers
2 3 47 6 23 Journal of Integer Sequences, Vol. 4 20, Article..4 Series of Error Terms for Rational Approximations of Irrational Numbers Carsten Elsner Fachhochschule für die Wirtschaft Hannover Freundallee
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationThe Distribution of Generalized Sum-of-Digits Functions in Residue Classes
Journal of umber Theory 79, 9426 (999) Article ID jnth.999.2424, available online at httpwww.idealibrary.com on The Distribution of Generalized Sum-of-Digits Functions in Residue Classes Abigail Hoit Department
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS
ARCHIVUM MATHEMATICUM (BRNO) Tomus 42 (2006), 151 158 ON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS ARTŪRAS DUBICKAS Abstract. We consider the sequence of fractional parts {ξα
More informationNotes on Continued Fractions for Math 4400
. Continued fractions. Notes on Continued Fractions for Math 4400 The continued fraction expansion converts a positive real number α into a sequence of natural numbers. Conversely, a sequence of natural
More informationArithmetic progressions in sumsets
ACTA ARITHMETICA LX.2 (1991) Arithmetic progressions in sumsets by Imre Z. Ruzsa* (Budapest) 1. Introduction. Let A, B [1, N] be sets of integers, A = B = cn. Bourgain [2] proved that A + B always contains
More informationIntroduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION
Introduction to Proofs in Analysis updated December 5, 2016 By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Purpose. These notes intend to introduce four main notions from
More informationSolutions Final Exam May. 14, 2014
Solutions Final Exam May. 14, 2014 1. (a) (10 points) State the formal definition of a Cauchy sequence of real numbers. A sequence, {a n } n N, of real numbers, is Cauchy if and only if for every ɛ > 0,
More informationCharacter sums with Beatty sequences on Burgess-type intervals
Character sums with Beatty sequences on Burgess-type intervals William D. Banks Department of Mathematics University of Missouri Columbia, MO 65211 USA bbanks@math.missouri.edu Igor E. Shparlinski Department
More informationDIGITAL EXPANSION OF EXPONENTIAL SEQUENCES
DIGITAL EXPASIO OF EXPOETIAL SEQUECES MICHAEL FUCHS Abstract. We consider the q-ary digital expansion of the first terms of an exponential sequence a n. Using a result due to Kiss und Tichy [8], we prove
More informationAnalysis Qualifying Exam
Analysis Qualifying Exam Spring 2017 Problem 1: Let f be differentiable on R. Suppose that there exists M > 0 such that f(k) M for each integer k, and f (x) M for all x R. Show that f is bounded, i.e.,
More informationMATH 5616H INTRODUCTION TO ANALYSIS II SAMPLE FINAL EXAM: SOLUTIONS
MATH 5616H INTRODUCTION TO ANALYSIS II SAMPLE FINAL EXAM: SOLUTIONS You may not use notes, books, etc. Only the exam paper, a pencil or pen may be kept on your desk during the test. Calculators are not
More informationFINAL EXAM Math 25 Temple-F06
FINAL EXAM Math 25 Temple-F06 Write solutions on the paper provided. Put your name on this exam sheet, and staple it to the front of your finished exam. Do Not Write On This Exam Sheet. Problem 1. (Short
More informationMath 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx.
Math 321 Final Examination April 1995 Notation used in this exam: N 1 π (1) S N (f,x) = f(t)e int dt e inx. 2π n= N π (2) C(X, R) is the space of bounded real-valued functions on the metric space X, equipped
More informationA Smorgasbord of Applications of Fourier Analysis to Number Theory
A Smorgasbord of Applications of Fourier Analysis to Number Theory by Daniel Baczkowski Uniform Distribution modulo Definition. Let {x} denote the fractional part of a real number x. A sequence (u n R
More informationMATH 117 LECTURE NOTES
MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set
More informationRoth s Theorem on 3-term Arithmetic Progressions
Roth s Theorem on 3-term Arithmetic Progressions Mustazee Rahman 1 Introduction This article is a discussion about the proof of a classical theorem of Roth s regarding the existence of three term arithmetic
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationRoth s Theorem on Arithmetic Progressions
September 25, 2014 The Theorema of Szemerédi and Roth For Λ N the (upper asymptotic) density of Λ is the number σ(λ) := lim sup N Λ [1, N] N [0, 1] The Theorema of Szemerédi and Roth For Λ N the (upper
More informationPUTNAM PROBLEMS SEQUENCES, SERIES AND RECURRENCES. Notes
PUTNAM PROBLEMS SEQUENCES, SERIES AND RECURRENCES Notes. x n+ = ax n has the general solution x n = x a n. 2. x n+ = x n + b has the general solution x n = x + (n )b. 3. x n+ = ax n + b (with a ) can be
More informationMATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets
MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course
More informationChapter 3 Continuous Functions
Continuity is a very important concept in analysis. The tool that we shall use to study continuity will be sequences. There are important results concerning the subsets of the real numbers and the continuity
More informationProofs. Chapter 2 P P Q Q
Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More informationMcGill University Math 354: Honors Analysis 3
Practice problems McGill University Math 354: Honors Analysis 3 not for credit Problem 1. Determine whether the family of F = {f n } functions f n (x) = x n is uniformly equicontinuous. 1st Solution: The
More informationStandard forms for writing numbers
Standard forms for writing numbers In order to relate the abstract mathematical descriptions of familiar number systems to the everyday descriptions of numbers by decimal expansions and similar means,
More informationChapter 1 The Real Numbers
Chapter 1 The Real Numbers In a beginning course in calculus, the emphasis is on introducing the techniques of the subject;i.e., differentiation and integration and their applications. An advanced calculus
More informationMORE ON CONTINUOUS FUNCTIONS AND SETS
Chapter 6 MORE ON CONTINUOUS FUNCTIONS AND SETS This chapter can be considered enrichment material containing also several more advanced topics and may be skipped in its entirety. You can proceed directly
More information8. Dirichlet s Theorem and Farey Fractions
8 Dirichlet s Theorem and Farey Fractions We are concerned here with the approximation of real numbers by rational numbers, generalizations of this concept and various applications to problems in number
More informationAnalytic Number Theory Solutions
Analytic Number Theory Solutions Sean Li Cornell University sxl6@cornell.edu Jan. 03 Introduction This document is a work-in-progress solution manual for Tom Apostol s Introduction to Analytic Number Theory.
More informationMATH41112/ Ergodic Theory. Charles Walkden
MATH42/62 Ergodic Theory Charles Walkden 4 th January, 208 MATH4/62 Contents Contents 0 Preliminaries 2 An introduction to ergodic theory. Uniform distribution of real sequences 4 2 More on uniform distribution
More informationMathematical Methods for Physics and Engineering
Mathematical Methods for Physics and Engineering Lecture notes for PDEs Sergei V. Shabanov Department of Mathematics, University of Florida, Gainesville, FL 32611 USA CHAPTER 1 The integration theory
More informationHartogs Theorem: separate analyticity implies joint Paul Garrett garrett/
(February 9, 25) Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ (The present proof of this old result roughly follows the proof
More informationCONTINUED FRACTIONS. 1. Finite continued fractions A finite continued fraction is defined by [a 0,..., a n ] = a 0 +
CONTINUED FRACTIONS Abstract Continued fractions are used in various areas of number theory and its applications They are seen in the extended Euclidean algorithm; in approximations (of numbers and functions);
More informationMath 229: Introduction to Analytic Number Theory The product formula for ξ(s) and ζ(s); vertical distribution of zeros
Math 9: Introduction to Analytic Number Theory The product formula for ξs) and ζs); vertical distribution of zeros Behavior on vertical lines. We next show that s s)ξs) is an entire function of order ;
More informationMath 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015
Math 30-: Midterm Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A metric on R with respect to which R is bounded. (b)
More informationWaring s problem, the declining exchange rate between small powers, and the story of 13,792
Waring s problem, the declining exchange rate between small powers, and the story of 13,792 Trevor D. Wooley University of Bristol Bristol 19/11/2007 Supported in part by a Royal Society Wolfson Research
More informationProblem 1A. Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1. (Hint: 1. Solution: The volume is 1. Problem 2A.
Problem 1A Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1 (Hint: 1 1 (something)dz) Solution: The volume is 1 1 4xydz where x = y = 1 z 2 This integral has value 16/3 Problem 2A Let f(x)
More informationSolutions to Practice Final
s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (
More informationFourth Week: Lectures 10-12
Fourth Week: Lectures 10-12 Lecture 10 The fact that a power series p of positive radius of convergence defines a function inside its disc of convergence via substitution is something that we cannot ignore
More informationFourier Series. 1. Review of Linear Algebra
Fourier Series In this section we give a short introduction to Fourier Analysis. If you are interested in Fourier analysis and would like to know more detail, I highly recommend the following book: Fourier
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationSolutions to Tutorial 8 (Week 9)
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/
More informationMATH 5640: Fourier Series
MATH 564: Fourier Series Hung Phan, UMass Lowell September, 8 Power Series A power series in the variable x is a series of the form a + a x + a x + = where the coefficients a, a,... are real or complex
More informationarxiv: v1 [math.co] 8 Feb 2013
ormal numbers and normality measure Christoph Aistleitner arxiv:302.99v [math.co] 8 Feb 203 Abstract The normality measure has been introduced by Mauduit and Sárközy in order to describe the pseudorandomness
More informationNotes on uniform convergence
Notes on uniform convergence Erik Wahlén erik.wahlen@math.lu.se January 17, 2012 1 Numerical sequences We begin by recalling some properties of numerical sequences. By a numerical sequence we simply mean
More informationA Simpler Normal Number Construction for Simple Lüroth Series
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol 17 2014, Article 1461 A Simpler Normal Number Construction for Simple Lüroth Series J Vandehey University of Georgia at Athens Department of Mathematics
More informationMATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS. Contents 1. Polynomial Functions 1 2. Rational Functions 6
MATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS PETE L. CLARK Contents 1. Polynomial Functions 1 2. Rational Functions 6 1. Polynomial Functions Using the basic operations of addition, subtraction,
More informationTHE SUM OF DIGITS OF n AND n 2
THE SUM OF DIGITS OF n AND n 2 KEVIN G. HARE, SHANTA LAISHRAM, AND THOMAS STOLL Abstract. Let s q (n) denote the sum of the digits in the q-ary expansion of an integer n. In 2005, Melfi examined the structure
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
More informationON THE DECIMAL EXPANSION OF ALGEBRAIC NUMBERS
Fizikos ir matematikos fakulteto Seminaro darbai, Šiaulių universitetas, 8, 2005, 5 13 ON THE DECIMAL EXPANSION OF ALGEBRAIC NUMBERS Boris ADAMCZEWSKI 1, Yann BUGEAUD 2 1 CNRS, Institut Camille Jordan,
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationMATH 131A: REAL ANALYSIS (BIG IDEAS)
MATH 131A: REAL ANALYSIS (BIG IDEAS) Theorem 1 (The Triangle Inequality). For all x, y R we have x + y x + y. Proposition 2 (The Archimedean property). For each x R there exists an n N such that n > x.
More informationDefinition 2.1. A metric (or distance function) defined on a non-empty set X is a function d: X X R that satisfies: For all x, y, and z in X :
MATH 337 Metric Spaces Dr. Neal, WKU Let X be a non-empty set. The elements of X shall be called points. We shall define the general means of determining the distance between two points. Throughout we
More informationTHE SUM OF DIGITS OF PRIMES
THE SUM OF DIGITS OF PRIMES Michael Drmota joint work with Christian Mauduit and Joël Rivat Institute of Discrete Mathematics and Geometry Vienna University of Technology michael.drmota@tuwien.ac.at www.dmg.tuwien.ac.at/drmota/
More informationMath 209B Homework 2
Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact
More informationDIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS
DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS A. LASJAUNIAS Avec admiration pour Klaus Roth 1. Introduction and Notation 1.1. The Fields of Power Series F(q) or F(K). Let p be
More informationClassical transcendental curves
Classical transcendental curves Reinhard Schultz May, 2008 In his writings on coordinate geometry, Descartes emphasized that he was only willing to work with curves that could be defined by algebraic equations.
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
More informationThe Mysterious World of Normal Numbers
University of Alberta May 3rd, 2012 1 2 3 4 5 6 7 Given an integer q 2, a q-normal number is an irrational number whose q-ary expansion is such that any preassigned sequence, of length k 1, of base q digits
More informationContents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3
Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability
More informationA lattice point problem and additive number theory
A lattice point problem and additive number theory Noga Alon and Moshe Dubiner Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract
More informationProperties of Entire Functions
Properties of Entire Functions Generalizing Results to Entire Functions Our main goal is still to show that every entire function can be represented as an everywhere convergent power series in z. So far
More informationProofs. Chapter 2 P P Q Q
Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More information(IV.C) UNITS IN QUADRATIC NUMBER RINGS
(IV.C) UNITS IN QUADRATIC NUMBER RINGS Let d Z be non-square, K = Q( d). (That is, d = e f with f squarefree, and K = Q( f ).) For α = a + b d K, N K (α) = α α = a b d Q. If d, take S := Z[ [ ] d] or Z
More informationA VERY BRIEF REVIEW OF MEASURE THEORY
A VERY BRIEF REVIEW OF MEASURE THEORY A brief philosophical discussion. Measure theory, as much as any branch of mathematics, is an area where it is important to be acquainted with the basic notions and
More informationMath 200 University of Connecticut
IRRATIONALITY OF π AND e KEITH CONRAD Math 2 University of Connecticut Date: Aug. 3, 25. Contents. Introduction 2. Irrationality of π 2 3. Irrationality of e 3 4. General Ideas 4 5. Irrationality of rational
More informationThe following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof
Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)
More informationApplication of Ergodic Theory to Uniform distribution mod 1. Oleg Ivrii
Application of Ergodic Theory to Uniform distribution mod 1 Oleg Ivrii February 13, 2008 Chapter 1 Ergodic Theory 1.1 The Setting Our setting will vary, but (, µ) will be some measure space and T a measure
More information2. Metric Spaces. 2.1 Definitions etc.
2. Metric Spaces 2.1 Definitions etc. The procedure in Section for regarding R as a topological space may be generalized to many other sets in which there is some kind of distance (formally, sets with
More informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More informationMathematics 242 Principles of Analysis Solutions for Problem Set 5 Due: March 15, 2013
Mathematics Principles of Analysis Solutions for Problem Set 5 Due: March 15, 013 A Section 1. For each of the following sequences, determine three different subsequences, each converging to a different
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More informationOn the Distribution of Multiplicative Translates of Sets of Residues (mod p)
On the Distribution of Multiplicative Translates of Sets of Residues (mod p) J. Ha stad Royal Institute of Technology Stockholm, Sweden J. C. Lagarias A. M. Odlyzko AT&T Bell Laboratories Murray Hill,
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse December 11, 2007 8 Approximation of algebraic numbers Literature: W.M. Schmidt, Diophantine approximation, Lecture Notes in Mathematics 785, Springer
More information