A proof of a partition conjecture of Bateman and Erdős
|
|
- Megan Berry
- 5 years ago
- Views:
Transcription
1 proof of a partition conjecture of Bateman and Erdős Jason P. Bell Department of Mathematics University of California, San Diego La Jolla C, US jbell@math.ucsd.edu 1
2 Proposed Running Head: Bateman-Erdős conjecture ddress: Jason Bell Department of Mathematics University of California, San Diego La Jolla C, US 2
3 bstract Bateman and Erdős found necessary and sufficient conditions on a set for the k th differences of the partitions of n with parts in, (n), to eventually be positive; moreover, they showed that when these conditions occur p (k+1) tends to infinity. (n)/ (n) tends to zero as n Bateman and Erdős conjectured that the ratio p (k+1) (n)/ (n) = O(n 1/2 ). We prove this conjecture. Key words: symptotic Enumeration, partitions. 1 Introduction Let be a non-empty set of positive integers. Throughout this paper, p (n) will denote the number of partitions of n with parts from and (n) will denote the k th difference of p (n). That is to say (n) = [xn ](1 x) k a (1 x a ) 1. We shall say, as do Bateman and Erdős, that a subset of the natural numbers has property P k, if there are more than k elements in, and if any subset of k elements is removed from, the remaining elements have gcd one. Bateman and Erdős say that if k < 0, then any non-empty set of positive numbers has property P k. Bateman and Erdős [1] showed that (n) is eventually positive if and only if has property P k. t the end of their paper, Bateman and Erdős made a conjecture about the behavior of the k th differences of p (n). We now state this conjecture. 3
4 Conjecture 1 (Bateman-Erdős) If a set of positive integers has property P k, then p (k+1) (n)/ (n) = O(n 1/2 ). Bateman and Erdős prove (see Theorem 3 of [1]) the conjecture when is a finite set; in fact, when is a finite set with property P k they show that p (k+1) (n)/ (n) = O(1/n). We shall show their conjecture is true when is infinite. The best known conditions under which the Bateman-Erdős conjecture has been verified are due to Richmond [3], who, using the saddle point method, obtained asymptotics of certain partition functions that allowed him to prove the Bateman-Erdős conjecture for certain sets. Bateman and Erdős observed (see page 12 of [1]) that if the conjecture were true, then it would be the best possible result. To see this, take = {1, 2, 3,...}. By Rademacher s exact formula for p (n) (see [2]) it follows that for all k. p (k+1) (n)/ (n) = π(6n) 1/2 (1 + o(1)) Before we begin the proof we introduce some notation. Notation 1 Given a set of positive integers, we define π (x) to be the number of elements of that are less than or equal to x. 2 cknowledgments The author would like to thank Bruce Richmond for his careful reading of this paper. 4
5 3 Proofs We require the following straightforward lemma. Lemma 1 Suppose we have three power series (x) = i α i x i, B(x) = i β i x i, and C(x) = i γ i x i, where B(x) = (1 x d ) 1 (x) and C(x) = (1 x) 1 B(x). Suppose also α n, β n, γ n are eventually positive and that α n = O(γ n /n). Then β n = O(γ n n 1/2 ). Proof. Take N 0 such that α n, β n, γ n > 0 for all n N 0. Notice that γ n = i n β i and hence γ j γ k 0 whenever j k N 0 (3.1) Choose a C such that α n < Cγ n /n for all n greater than N 0. Suppose β n O(γ n n 1/2 ). Then there exists some m such that β m > (C +2)γ m m 1/2, m d m 1/2 1 > N 0, and m 1/2 ( m 1/2 + 1)/2(m d m 1/2 ) < 1. (3.2) Notice α m = β m β m d < Cγ m /m. Hence β m d > (C + 2)γ m m 1/2 Cγ m /m. Similarly, α m d = β m d β m 2d < Cγ m d /(m d). 5
6 Thus β m 2d > (C +2)γ m m 1/2 Cγ m /m Cγ m d /(m d). nd by induction we have that if rd < m N 0, r 1 β m rd (C + 2)γ m m 1/2 Cγ m jd /(m jd) j=0 r 1 (C + 2)γ m m 1/2 Cγ m /(m rd) (by (3.1)) j=0 (C + 2)γ m m 1/2 Crγ m /(m rd). (3.3) Notice if we take q to be the greatest integer less than or equal to m 1/2, then we have γ m = β m + β m β m qd + γ m qd 1 q i=0 β m id q ( ) (C + 2)γ m m 1/2 Ciγ m /(m id) i=0 q ( ) (C + 2)γ m m 1/2 Ciγ m /(m qd) i=0 (by (3.3)) = (C + 2)(q + 1)γ m m 1/2 q(q + 1)Cγ m /2(m qd) (C + 2)γ m Cγ m (by (3.2)) = 2γ m. This is a contradiction. Hence the lemma is true. We now prove a proposition that will allow us to prove the Bateman-Erdős conjecture. 6
7 Proposition 1 Suppose that is a set of positive integers having property P k. Then (n) = O(p(k 1) (n)n 1/2 ). Proof. When is finite this is proven in Theorem 3 of [1]. Hence it suffices to prove the proposition when is infinite. Bateman and Erdős showed (see Lemma 2 of [1]) that has property P k if and only if some finite subset of has property P k. Hence we may choose d, e such that d, e > 1 and 1 := {d} (3.4) and 2 := {d, e} (3.5) have property P k. Notice (1 x e )( j 0 1 (j)x j ) = (1 x e )(1 x) k = (1 x) k = j 0 a 2 (1 x a ) 1 2 (j)x j, a 1 (1 x a ) 1 and hence 2 (n) = 1 (n) 1 (n e), (3.6) where 1 (j) is understood to be zero when j < 0. Let H(x) = i 0 ( h i x i = log (1 x) k (1 x d ) (1 x a ) ). 1 (3.7) a 7
8 and let S(x) = j 0 s j x j := x(1 x e ) 1 H (x). (3.8) Notice xh (x) = kx/(1 x) dx d /(1 x d ) + a ax a /(1 x a ). If we consider just the positive contribution to the coefficients of xh (x), we obtain the following inequality. s n = = = j n j n mod b jh j j n {a :a j} a {a :a n} j n/a {a :a n} {a :a n} a n/a a n = nπ (n) n 2. (3.9) Similarly, if we consider only the negative contribution we find s n = j n j n mod b jh j 8
9 j n k d kn dn/d m n/d = (k + 1)n. (3.10) Combining (3.9) and (3.10), we see s n (k + 1)n 2. (3.11) From Eq. (3.7) we have n 0 Differentiating both sides of this equation we see i 1 i 1 (i)x i 1 = H (x) exp(h(x)) = H (x) i 0 1 (n)x n = exp(h(x)). (3.12) 1 (i)x i (using (3.12)) = S(x) i 0 ( 1 (i) 1 (i b))x i 1 (using (3.8)) = S(x) i 0 2 (i)x i 1 (by (3.6)). (3.13) Comparing the coefficients of x n 1 of the first and last line of (3.13) we find n 1 (n) = n i=0 9 s n i 2 (i). (3.14)
10 Recall that 2 has property P k, and hence there exists some N > 0 such that 2 (j) > 0 for all j N. Using this fact along with (3.9) and (3.11), we rewrite the right hand side of (3.14) as follows. n i=n s n i 2 (i) + s n i 2 (i) i<n = n i=n n i=n (n i) 2 2 (i) + N(k + 1)n 2 (max i<n p(k) 2 (i) ) (n i) 2 2 (i) + O(n 2 ). (3.15) Thus there exists some C > 0 such that n 1 (n) n i=n (n i) 2 2 (i) + Cn 2. (3.16) From Lemma 1 of [1], we know that there exist C 1, C 2 > 0 such that C 1 n 2 < [x n ](1 x) 1 (1 x d ) 1 (1 x e ) 1 < C 2 n 2. (3.17) for all n. Hence we can say that C 1 n 1 (n) n i=n i=n C 1 (n i) 2 2 (i) + C 1 Cn 2 n ) ([x n i ](1 x) 1 (1 x d ) 1 (1 x e ) 1 2 (i) + C 1 Cn 2 10
11 = n ) ([x n i ](1 x) 1 (1 x d ) 1 (1 x e ) 1 i=0 i<n 2 (i) ([x n i ](1 x) 1 (1 x d ) 1 (1 x e ) 1 ) 2 (i) + C 1 Cn 2 n ) ([x n i ](1 x) 1 (1 x d ) 1 (1 x e ) 1 i=0 2 (i) + NC 2 n 2 (max i<n p(k) 2 (i) ) + C 1 Cn 2 = n ) ([x n i ](1 x) 1 (1 x d ) 1 (1 x e ) 1 i=0 2 (i) + O(n 2 ). (3.18) Recall that 2 (i) = [x i ](1 x) k (1 x d )(1 x e ) a (1 x a ) 1. Hence the last line of (3.18) can be replaced by [x n ](1 x) k 1 (1 x a ) 1 + O(n 2 ) = p (k 1) (n) + O(n 2 ). a Hence there exists a D > 0 such that C 1 n 1 (n) p (k 1) (n) + Dn 2. By Theorem 5.i. of [1] we have that n 2 = o(p (k 1) (n)), hence 1 (n) = O(p (k 1) (n)/n). Notice i 0 (i)xi = (1 x d ) 1 1 (i)x i. i 0 11
12 and i 0 p (k 1) (i)x i = (1 x) 1 (i)xi. i 0 pplying Lemma 1, taking α n, β n and γ n to be 1 (n), (n) and p(k 1) (n) respectively, we see that This proves the proposition. (n) = O(p(k 1) (n)n 1/2 ). We now complete the proof of the Bateman-Erdős conjecture. To do this, we will need the following simple lemma. Lemma 2 Suppose {f n } is a sequence of integers that is eventually positive and that there exists a positive integer c such that f n f m > 0 whenever n m > c. Moreover, suppose that f n 1 /f n 1. If then h n = O(f n ). h i x i := (1 x)(1 x d ) 1 ( f k x k ), i 0 k 0 Proof. Notice h n = f n jd f n 1 jd. 0 j n/d 0 j (n 1)/d Choose an integer r such that rd 1 > c. we will say that f k = 0 for all k < 0. Then we have h n = f n + f n d + + f n (r 1)d (f n 1 jd f n jd rd ) 12 0 j r+n/d
13 r+n/d<j (n 1)/d f n 1 jd f n + f n d + + f n (r 1)d + r max j rd 1 f j Similarly, = f n + f n d + + f n (r 1)d + O(1). (3.19) h n f n 1 f n 1 d f n 1 d(r 1) + O(1). (3.20) The fact that {f n } is a sequence of integers with the property that f n > f m whenever n m > 0 shows that f n. Combining this fact with (3.19) and (3.20) and the fact that f n 1 /f n 1, we see that r lim inf n Hence h n = O(f n ) as required. h n /f n lim sup h n /f n r. n We are finally ready to prove the conjecture of Bateman and Erdős. Theorem 1 Conjecture 1 is correct. Proof. Suppose has property P k. s stated in the introduction, we only need to prove the conjecture when is infinite. Thus we assume that is infinite. Choose d such that 1 := {d} has property P k. Since 1 has property P k, we have that 1 (n) is eventually positive. Moreover, by Proposition 1 we have that 1 (n) = O(p (k 1) 1 n 1/2 ). (3.21) 13
14 By Theorem 6 of [1], we have that there exists a c such that 1 (n) 1 (m) > 0 whenever n m > c. lso, 1 (n 1)/ 1 (n) 1 (by Theorem 5.ii. of [1]). Furthermore, we have that i 0 p (k+1) (i)x i = (1 x)(1 x d ) 1 ( 1 (j)x j ). j 0 Hence by an application of the preceding lemma, taking f n and h n to be 1 (n) and p (k+1) (n) respectively, we see that Next notice that (1 x d )(1 x) 1 i 0 p (k+1) (n) = O( 1 (n)). (3.22) (i)xi = p (k 1) 1 (j)x j. j 0 Therefore d 1 p (k 1) 1 (n) = (n j). j=0 By Theorem 5.ii. of [1], we know that for a fixed integer j, as n tends to infinity. Hence (n j)/p(k) (n) 1 d 1 p (k 1) 1 (n)/ (n) 1 = d. j=0 14
15 Combining this fact with (3.21) and (3.22), we see that p (k+1) (n) = O( 1 (n)) = O(p (k 1) 1 (n)n 1/2 ) = O( (n)n 1/2 ). This completes the proof of the Bateman-Erdős conjecture. /qed References [1] P. T. Bateman and P. Erdős, Monotonicity of partition functions, Mathematika 3 (1956), [2] H. Rademacher, On the expansion of the partition function in a series, nn. of Math. (2) 44 (1943), [3] L.B. Richmond, symptotic relations for partitions, Trans. mer. Math. Soc. 219 (1976),
Bounds for the Eventual Positivity of Difference Functions of Partitions into Prime Powers
3 47 6 3 Journal of Integer Seuences, Vol. (7), rticle 7..3 ounds for the Eventual Positivity of Difference Functions of Partitions into Prime Powers Roger Woodford Department of Mathematics University
More informationMATH 215 Final. M4. For all a, b in Z, a b = b a.
MATH 215 Final We will assume the existence of a set Z, whose elements are called integers, along with a well-defined binary operation + on Z (called addition), a second well-defined binary operation on
More informationCALCULUS JIA-MING (FRANK) LIOU
CALCULUS JIA-MING (FRANK) LIOU Abstract. Contents. Power Series.. Polynomials and Formal Power Series.2. Radius of Convergence 2.3. Derivative and Antiderivative of Power Series 4.4. Power Series Expansion
More information1 Take-home exam and final exam study guide
Math 215 - Introduction to Advanced Mathematics Fall 2013 1 Take-home exam and final exam study guide 1.1 Problems The following are some problems, some of which will appear on the final exam. 1.1.1 Number
More informationMathematical Induction Again
Mathematical Induction Again James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 12, 2017 Outline Mathematical Induction Simple POMI Examples
More informationMathematical Induction Again
Mathematical Induction Again James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 2, 207 Outline Mathematical Induction 2 Simple POMI Examples
More informationThe Real Number System
MATH 337 The Real Number System Sets of Numbers Dr. Neal, WKU A set S is a well-defined collection of objects, with well-defined meaning that there is a specific description from which we can tell precisely
More informationProblem Set 5 Solutions
Problem Set 5 Solutions Section 4.. Use mathematical induction to prove each of the following: a) For each natural number n with n, n > + n. Let P n) be the statement n > + n. The base case, P ), is true
More informationNew lower bounds for hypergraph Ramsey numbers
New lower bounds for hypergraph Ramsey numbers Dhruv Mubayi Andrew Suk Abstract The Ramsey number r k (s, n) is the minimum N such that for every red-blue coloring of the k-tuples of {1,..., N}, there
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 informationC.7. Numerical series. Pag. 147 Proof of the converging criteria for series. Theorem 5.29 (Comparison test) Let a k and b k be positive-term series
C.7 Numerical series Pag. 147 Proof of the converging criteria for series Theorem 5.29 (Comparison test) Let and be positive-term series such that 0, for any k 0. i) If the series converges, then also
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 informationSolutions for Homework Assignment 2
Solutions for Homework Assignment 2 Problem 1. If a,b R, then a+b a + b. This fact is called the Triangle Inequality. By using the Triangle Inequality, prove that a b a b for all a,b R. Solution. To prove
More informationLecture Notes on Metric Spaces
Lecture Notes on Metric Spaces Math 117: Summer 2007 John Douglas Moore Our goal of these notes is to explain a few facts regarding metric spaces not included in the first few chapters of the text [1],
More informationDefining the Integral
Defining the Integral In these notes we provide a careful definition of the Lebesgue integral and we prove each of the three main convergence theorems. For the duration of these notes, let (, M, µ) be
More informationMath 117: Infinite Sequences
Math 7: Infinite Sequences John Douglas Moore November, 008 The three main theorems in the theory of infinite sequences are the Monotone Convergence Theorem, the Cauchy Sequence Theorem and the Subsequence
More informationUpper Bounds for Partitions into k-th Powers Elementary Methods
Int. J. Contemp. Math. Sciences, Vol. 4, 2009, no. 9, 433-438 Upper Bounds for Partitions into -th Powers Elementary Methods Rafael Jaimczu División Matemática, Universidad Nacional de Luján Buenos Aires,
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 informationSquares in products with terms in an arithmetic progression
ACTA ARITHMETICA LXXXVI. (998) Squares in products with terms in an arithmetic progression by N. Saradha (Mumbai). Introduction. Let d, k 2, l 2, n, y be integers with gcd(n, d) =. Erdős [4] and Rigge
More informationMATH FINAL EXAM REVIEW HINTS
MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any
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 information220 B. BOLLOBÁS, P. ERDŐS AND M. SIMONOVITS then every G(n, m) contains a K,,, 1 (t), where a log n t - d log 2 (1 Jc) (2) (b) Given an integer d > 1
ON THE STRUCTURE OF EDGE GRAPHS II B. BOLLOBAS, P. ERDŐS AND M. SIMONOVITS This note is a sequel to [1]. First let us recall some of the notations. Denote by G(n, in) a graph with n vertices and m edges.
More informationSome Results Concerning Uniqueness of Triangle Sequences
Some Results Concerning Uniqueness of Triangle Sequences T. Cheslack-Postava A. Diesl M. Lepinski A. Schuyler August 12 1999 Abstract In this paper we will begin by reviewing the triangle iteration. We
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 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 informationRademacher functions
Rademacher functions Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto July 6, 4 Binary expansions Define S : {, } N [, ] by Sσ σ k k, σ {, }N. For example, for σ and σ,
More informationh(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote
Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function
More informationNOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017
NOTES ON FRAMES Damir Bakić University of Zagreb June 6, 017 Contents 1 Unconditional convergence, Riesz bases, and Bessel sequences 1 1.1 Unconditional convergence of series in Banach spaces...............
More informationANSWER TO A QUESTION BY BURR AND ERDŐS ON RESTRICTED ADDITION, AND RELATED RESULTS Mathematics Subject Classification: 11B05, 11B13, 11P99
ANSWER TO A QUESTION BY BURR AND ERDŐS ON RESTRICTED ADDITION, AND RELATED RESULTS N. HEGYVÁRI, F. HENNECART AND A. PLAGNE Abstract. We study the gaps in the sequence of sums of h pairwise distinct elements
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationIndependent Transversals in r-partite Graphs
Independent Transversals in r-partite Graphs Raphael Yuster Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract Let G(r, n) denote
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationMATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals
MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real
More informationIf Y and Y 0 satisfy (1-2), then Y = Y 0 a.s.
20 6. CONDITIONAL EXPECTATION Having discussed at length the limit theory for sums of independent random variables we will now move on to deal with dependent random variables. An important tool in this
More informationNotes on Freiman s Theorem
Notes on Freiman s Theorem Jacques Verstraëte Department of Mathematics University of California, San Diego La Jolla, CA, 92093. E-mail: jacques@ucsd.edu. 1 Introduction Freiman s Theorem describes the
More informationAsymptotics of generating the symmetric and alternating groups
Asymptotics of generating the symmetric and alternating groups John D. Dixon School of Mathematics and Statistics Carleton University, Ottawa, Ontario K2G 0E2 Canada jdixon@math.carleton.ca October 20,
More informationContinued Fraction Digit Averages and Maclaurin s Inequalities
Continued Fraction Digit Averages and Maclaurin s Inequalities Steven J. Miller, Williams College sjm1@williams.edu, Steven.Miller.MC.96@aya.yale.edu Joint with Francesco Cellarosi, Doug Hensley and Jake
More informationMath 564 Homework 1. Solutions.
Math 564 Homework 1. Solutions. Problem 1. Prove Proposition 0.2.2. A guide to this problem: start with the open set S = (a, b), for example. First assume that a >, and show that the number a has the properties
More informationClimbing an Infinite Ladder
Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite
More informationOn some inequalities between prime numbers
On some inequalities between prime numbers Martin Maulhardt July 204 ABSTRACT. In 948 Erdős and Turán proved that in the set of prime numbers the inequality p n+2 p n+ < p n+ p n is satisfied infinitely
More informationHomework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4
Do the following exercises from the text: Chapter (Section 3):, 1, 17(a)-(b), 3 Prove that 1 3 + 3 + + n 3 n (n + 1) for all n N Proof The proof is by induction on n For n N, let S(n) be the statement
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 informationMATH 301 INTRO TO ANALYSIS FALL 2016
MATH 301 INTRO TO ANALYSIS FALL 016 Homework 04 Professional Problem Consider the recursive sequence defined by x 1 = 3 and +1 = 1 4 for n 1. (a) Prove that ( ) converges. (Hint: show that ( ) is decreasing
More informationLegendre s Equation. PHYS Southern Illinois University. October 18, 2016
Legendre s Equation PHYS 500 - Southern Illinois University October 18, 2016 PHYS 500 - Southern Illinois University Legendre s Equation October 18, 2016 1 / 11 Legendre s Equation Recall We are trying
More informationMath Review for Exam Answer each of the following questions as either True or False. Circle the correct answer.
Math 22 - Review for Exam 3. Answer each of the following questions as either True or False. Circle the correct answer. (a) True/False: If a n > 0 and a n 0, the series a n converges. Soln: False: Let
More informationThe Borel-Cantelli Group
The Borel-Cantelli Group Dorothy Baumer Rong Li Glenn Stark November 14, 007 1 Borel-Cantelli Lemma Exercise 16 is the introduction of the Borel-Cantelli Lemma using Lebesue measure. An approach using
More informationHomework 4, 5, 6 Solutions. > 0, and so a n 0 = n + 1 n = ( n+1 n)( n+1+ n) 1 if n is odd 1/n if n is even diverges.
2..2(a) lim a n = 0. Homework 4, 5, 6 Solutions Proof. Let ɛ > 0. Then for n n = 2+ 2ɛ we have 2n 3 4+ ɛ 3 > ɛ > 0, so 0 < 2n 3 < ɛ, and thus a n 0 = 2n 3 < ɛ. 2..2(g) lim ( n + n) = 0. Proof. Let ɛ >
More information5: The Integers (An introduction to Number Theory)
c Oksana Shatalov, Spring 2017 1 5: The Integers (An introduction to Number Theory) The Well Ordering Principle: Every nonempty subset on Z + has a smallest element; that is, if S is a nonempty subset
More informationFinal Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is
1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,
More informationDiscrete Mathematics. Spring 2017
Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: rule of inference Mathematical Induction: Conjecturing and Proving Climbing an Infinite Ladder
More informationChapter 5: The Integers
c Dr Oksana Shatalov, Fall 2014 1 Chapter 5: The Integers 5.1: Axioms and Basic Properties Operations on the set of integers, Z: addition and multiplication with the following properties: A1. Addition
More informationMATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.
MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationContribution of Problems
Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions
More informationON A PARTITION PROBLEM OF CANFIELD AND WILF. Departamento de Matemáticas, Universidad de los Andes, Bogotá, Colombia
#A11 INTEGERS 12A (2012): John Selfridge Memorial Issue ON A PARTITION PROBLEM OF CANFIELD AND WILF Željka Ljujić Departamento de Matemáticas, Universidad de los Andes, Bogotá, Colombia z.ljujic20@uniandes.edu.co
More informationGlobal Asymptotic Stability of a Nonlinear Recursive Sequence
International Mathematical Forum, 5, 200, no. 22, 083-089 Global Asymptotic Stability of a Nonlinear Recursive Sequence Mustafa Bayram Department of Mathematics, Faculty of Arts and Sciences Fatih University,
More informationAN EXTENSION OF A THEOREM OF EULER. 1. Introduction
AN EXTENSION OF A THEOREM OF EULER NORIKO HIRATA-KOHNO, SHANTA LAISHRAM, T. N. SHOREY, AND R. TIJDEMAN Abstract. It is proved that equation (1 with 4 109 does not hold. The paper contains analogous result
More informationTaylor and Maclaurin Series
Taylor and Maclaurin Series MATH 211, Calculus II J. Robert Buchanan Department of Mathematics Spring 2018 Background We have seen that some power series converge. When they do, we can think of them as
More informationMath 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1
Math 8B Solutions Charles Martin March 6, Homework Problems. Let (X i, d i ), i n, be finitely many metric spaces. Construct a metric on the product space X = X X n. Proof. Denote points in X as x = (x,
More informationPartition of Integers into Distinct Summands with Upper Bounds. Partition of Integers into Even Summands. An Example
Partition of Integers into Even Summands We ask for the number of partitions of m Z + into positive even integers The desired number is the coefficient of x m in + x + x 4 + ) + x 4 + x 8 + ) + x 6 + x
More informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More informationBernoulli Numbers and their Applications
Bernoulli Numbers and their Applications James B Silva Abstract The Bernoulli numbers are a set of numbers that were discovered by Jacob Bernoulli (654-75). This set of numbers holds a deep relationship
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 informationIowa State University. Instructor: Alex Roitershtein Summer Exam #1. Solutions. x u = 2 x v
Math 501 Iowa State University Introduction to Real Analysis Department of Mathematics Instructor: Alex Roitershtein Summer 015 Exam #1 Solutions This is a take-home examination. The exam includes 8 questions.
More informationDefinitions & Theorems
Definitions & Theorems Math 147, Fall 2009 December 19, 2010 Contents 1 Logic 2 1.1 Sets.................................................. 2 1.2 The Peano axioms..........................................
More informationALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers
ALGEBRA CHRISTIAN REMLING 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers by Z = {..., 2, 1, 0, 1,...}. Given a, b Z, we write a b if b = ac for some
More informationProblem Set 5: Solutions Math 201A: Fall 2016
Problem Set 5: s Math 21A: Fall 216 Problem 1. Define f : [1, ) [1, ) by f(x) = x + 1/x. Show that f(x) f(y) < x y for all x, y [1, ) with x y, but f has no fixed point. Why doesn t this example contradict
More informationInduction, sequences, limits and continuity
Induction, sequences, limits and continuity Material covered: eclass notes on induction, Chapter 11, Section 1 and Chapter 2, Sections 2.2-2.5 Induction Principle of mathematical induction: Let P(n) be
More informationOn Riesz-Fischer sequences and lower frame bounds
On Riesz-Fischer sequences and lower frame bounds P. Casazza, O. Christensen, S. Li, A. Lindner Abstract We investigate the consequences of the lower frame condition and the lower Riesz basis condition
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More information16 1 Basic Facts from Functional Analysis and Banach Lattices
16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness
More informationClimbing an Infinite Ladder
Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite
More informationAn idea how to solve some of the problems. diverges the same must hold for the original series. T 1 p T 1 p + 1 p 1 = 1. dt = lim
An idea how to solve some of the problems 5.2-2. (a) Does not converge: By multiplying across we get Hence 2k 2k 2 /2 k 2k2 k 2 /2 k 2 /2 2k 2k 2 /2 k. As the series diverges the same must hold for the
More informationMonochromatic Solutions to Equations with Unit Fractions
Monochromatic Solutions to Equations with Unit Fractions Tom C. Brown and Voijtech Rödl Citation data T.C. Brown and V. Rödl, Monochromatic solutions to equations with unit fractions, Bull. Aus. Math.
More informationMath 117: Continuity of Functions
Math 117: Continuity of Functions John Douglas Moore November 21, 2008 We finally get to the topic of ɛ δ proofs, which in some sense is the goal of the course. It may appear somewhat laborious to use
More informationGenerating Functions (Revised Edition)
Math 700 Fall 06 Notes Generating Functions (Revised Edition What is a generating function? An ordinary generating function for a sequence (a n n 0 is the power series A(x = a nx n. The exponential generating
More informationMoreover this binary operation satisfies the following properties
Contents 1 Algebraic structures 1 1.1 Group........................................... 1 1.1.1 Definitions and examples............................. 1 1.1.2 Subgroup.....................................
More informationA UNIVERSAL SEQUENCE OF CONTINUOUS FUNCTIONS
A UNIVERSAL SEQUENCE OF CONTINUOUS FUNCTIONS STEVO TODORCEVIC Abstract. We show that for each positive integer k there is a sequence F n : R k R of continuous functions which represents via point-wise
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 informationAustin Mohr Math 704 Homework 6
Austin Mohr Math 704 Homework 6 Problem 1 Integrability of f on R does not necessarily imply the convergence of f(x) to 0 as x. a. There exists a positive continuous function f on R so that f is integrable
More informationWeek 2: Sequences and Series
QF0: Quantitative Finance August 29, 207 Week 2: Sequences and Series Facilitator: Christopher Ting AY 207/208 Mathematicians have tried in vain to this day to discover some order in the sequence of prime
More informationarxiv:math/ v2 [math.nt] 3 Dec 2003
arxiv:math/0302091v2 [math.nt] 3 Dec 2003 Every function is the representation function of an additive basis for the integers Melvyn B. Nathanson Department of Mathematics Lehman College (CUNY) Bronx,
More informationBehrend s Theorem for Sequences Containing No k-element Arithmetic Progression of a Certain Type
Behrend s Theorem for Sequences Containing No k-element Arithmetic Progression of a Certain Type T. C. Brown Citation data: T.C. Brown, Behrend s theorem for sequences containing no k-element arithmetic
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationEGYPTIAN FRACTIONS WITH EACH DENOMINATOR HAVING THREE DISTINCT PRIME DIVISORS
#A5 INTEGERS 5 (205) EGYPTIAN FRACTIONS WITH EACH DENOMINATOR HAVING THREE DISTINCT PRIME DIVISORS Steve Butler Department of Mathematics, Iowa State University, Ames, Iowa butler@iastate.edu Paul Erdős
More informationSequences. Limits of Sequences. Definition. A real-valued sequence s is any function s : N R.
Sequences Limits of Sequences. Definition. A real-valued sequence s is any function s : N R. Usually, instead of using the notation s(n), we write s n for the value of this function calculated at n. We
More informationThe Degree of the Splitting Field of a Random Polynomial over a Finite Field
The Degree of the Splitting Field of a Random Polynomial over a Finite Field John D. Dixon and Daniel Panario School of Mathematics and Statistics Carleton University, Ottawa, Canada {jdixon,daniel}@math.carleton.ca
More informationPrinciples of Real Analysis I Fall I. The Real Number System
21-355 Principles of Real Analysis I Fall 2004 I. The Real Number System The main goal of this course is to develop the theory of real-valued functions of one real variable in a systematic and rigorous
More information2.2 Some Consequences of the Completeness Axiom
60 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.2 Some Consequences of the Completeness Axiom In this section, we use the fact that R is complete to establish some important results. First, we will prove that
More informationNew infinite families of Candelabra Systems with block size 6 and stem size 2
New infinite families of Candelabra Systems with block size 6 and stem size 2 Niranjan Balachandran Department of Mathematics The Ohio State University Columbus OH USA 4210 email:niranj@math.ohio-state.edu
More informationMath 117: Topology of the Real Numbers
Math 117: Topology of the Real Numbers John Douglas Moore November 10, 2008 The goal of these notes is to highlight the most important topics presented in Chapter 3 of the text [1] and to provide a few
More informationDISCRIMINANTS: CALCULATION, PROPERTIES, AND CONNECTION TO THE ROOT DISTRIBUTION OF POLYNOMIALS WITH RATIONAL GENERATING FUNCTIONS KHANG D.
2012 Khang D. Tran DISCRIMINANTS: CALCULATION, PROPERTIES, AND CONNECTION TO THE ROOT DISTRIBUTION OF POLYNOMIALS WITH RATIONAL GENERATING FUNCTIONS BY KHANG D. TRAN DISSERTATION Submitted in partial fulfillment
More informationThe map asymptotics constant t g
The map asymptotics constant t g Edward A. Bender Department of Mathematics University of California, San Diego La Jolla, CA 92093-02 ebender@ucsd.edu Zhicheng Gao School of Mathematics and Statistics
More informationINTRCDUCTION Let n be a natural integer and let K be a set of naturals. One of the most central problems of combinatorial theory is to determine those
EDGE DECOMPOSITIONS OF THE COMPLETE GRAPH INTO COPIES OF A CONNECTED SUBGRAPH by P. Erdős and J. Schbnheim Department of Mathematics Statistics and Computing Science University of Calgary übo 2.A.. Necessary
More informationMath 118: Advanced Number Theory. Samit Dasgupta and Gary Kirby
Math 8: Advanced Number Theory Samit Dasgupta and Gary Kirby April, 05 Contents Basics of Number Theory. The Fundamental Theorem of Arithmetic......................... The Euclidean Algorithm and Unique
More informationExercise Solutions to Functional Analysis
Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationPUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include
PUTNAM TRAINING POLYNOMIALS (Last updated: December 11, 2017) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include
More informationMAT1000 ASSIGNMENT 1. a k 3 k. x =
MAT1000 ASSIGNMENT 1 VITALY KUZNETSOV Question 1 (Exercise 2 on page 37). Tne Cantor set C can also be described in terms of ternary expansions. (a) Every number in [0, 1] has a ternary expansion x = a
More informationRelationships between upper exhausters and the basic subdifferential in variational analysis
J. Math. Anal. Appl. 334 (2007) 261 272 www.elsevier.com/locate/jmaa Relationships between upper exhausters and the basic subdifferential in variational analysis Vera Roshchina City University of Hong
More information