Partition of Integers into Distinct Summands with Upper Bounds. Partition of Integers into Even Summands. An Example
|
|
- Emery Perkins
- 6 years ago
- Views:
Transcription
1 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 + ) + x m/ + x 4 m/ + ) We are more economical than in partition of integers into odd summands by removing higher-order terms Partition of Integers into Distinct Summands with Upper Bounds We ask for the number of partitions of m Z + into distinct positive integers at most n The desired number is the coefficient of x m in + x) + x ) + x 3 ) + x n ) No known closed-form formula Applications in computational finance a Can calculate all nn + )/ coefficients in time on 3 )? a Lyuu 00) c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 433 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 43 Partition of Integers into Even Numbers of Each Summand We ask for the number of partitions of m Z + into positive integer summands where each summand appears an even number of times The desired number remains the coefficient of x m in + x + x 4 + ) + x 4 + x 8 + ) + x 6 + x + ) + x m/ + x 4 m/ + ) appears an even number of times, appears an even number of times, etc Note that An Example + x) + x ) + x 3 ) + x 4 ) + x ) + x 6 ) = + x + x + x 3 + x 4 + 3x + 4x 6 + 4x x So there are 4 ways to partition 7 into distinct positive integers at most 6 Indeed, the partitions are: 6 +, +, 4 + 3, In fact, we solved problems: The coefficient of x i, where i, represents the number of ways to partition i into distinct positive integers at most 6 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 434 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 436
2 Partition of Integers into Summands 0 mod k The desired number is the coefficient of x m in + x + x + ) + x + x 4 + ) + x k + x k ) + ) + x k+ + x k+) + ) In other words, terms + x ik + x ik + ), where k Z +, are missing The Proof concluded) The count is the same as that of partitions into positive integers where no summands appear > k times This generalizes results on p 4 and p 43 a With k =, we have an alternative proof of Euler s theorem p 43) b a An alternative proof uses the principle of inclusion and exclusion b Observation by Mr Ansel Lin B ) on November 9, 004 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 437 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 439 Partition of Integers vs Integer Solution of Linear Equations The Proof continued) Now, the desired number is the coefficient of x m in = x x x k x k+ i= xik ) i= x i ) = x ik x i i= = + x + x + + x k ) + x + x x k ) ) These two issues are often related in subtle ways To wit, what is the number of partitions of m N into n nonnegative integers where the order of summands is relevant? Each nonnegative integer solution of x + x + + x n = m corresponds to a valid partition The answer is thus ) n+m m from p 43 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 438 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 440
3 Partition of Integers as Linear Equation What is the number of integer solutions of x + x + + x n = n, where 0 x x x n? A solution corresponds to a partition of n into positive integers the order of summands is irrelevant) 0, 0, 0,,, 3) 6 = From Eq 4) on p 4, the number equals the coefficient of x n in x) x ) x n ) Partition of Integers as Linear Equation continued) Alternatively, each solution corresponds to a partition of integer m into n positive integers Yet alternatively, each solution corresponds to a partition of m into summands at most n See the Ferrers graph on the next page The desired number hence equals the coefficient of x m in x) x ) x n ) 8) c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 44 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 443 Partition of Integers as Linear Equation continued) In general, what is the number of integer solutions of The Ferrers Graph where 0 x x x n? x + x + + x n = m, 7) Each solution corresponds to a partition of integer m into n nonnegative integers! a 0, 0,,, 3) 6 = a Professor Andrews, private communication, October 00 x x x 3 x 4 x x 6 9 = = c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 44 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 444
4 Partition of Integers as Linear Equation continued) For instance, x) x ) x 3 ) = + x + x + 3x 3 + 4x 4 + x +7x 6 + 8x 7 + 0x 8 + x 9 + 4x 0 + 6x + 9x + There are 7 ways to partition 6 into 3 nonnegative integers: , 0 + +, , , + + 4, + + 3, + + Partition of Integers as Linear Equation continued) The desired number is therefore the coefficient of x m in x from Eq 8) on p 443 x x 3 x n 60) In summary, if p n m) denotes the number of partitions of m into summands at most n, then Eq 60) is the generating function for { p n m) } m=0,, If q n m) denotes the number of partitions of m into at most n summands, then p n m) = q n m) recall p 443) Furthermore, pm) = p n m) for all n > m p 40) c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 44 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 447 Partition of Integers as Linear Equation continued) What is the number of integer solutions to where x i 0? x + x + 3x nx n = m, 9) Well, it is the same partition-of-integers problem considered at Eq 7) on p 44 As on p 47, each solution corresponds to a partition m into x s, x s, etc Partition of Integers as Linear Equation continued) Recall that the number of nonnegative integer solutions to Eq 9) on p 446, x + x + 3x nx n = m, is the coefficient of x m in x by Eq 60) on p 447 x x 3 x n We now arrive at the answer in a more direct way c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 446 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 448
5 Partition of Integers as Linear Equation continued) Define x n = w, x n = w w, x n = w 3 w, x = w n w n The above mapping is bijective Recurrence Relations for p n m) and q n m) p 447) Lemma 66 q n m) = q n m) + q n m n) Recall that q n m) denotes the number of partitions of m into at most n summands Consider m identical objects and n identical containers There are q n m) q n m) ways to partition the m objects into n containers with none left empty Or, we can distribute one object into each container and then the remaining m n objects, in q n m n) ways Hence q n m) q n m) = q n m n) c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 449 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 4 Partition of Integers as Linear Equation concluded) Next, m = w n w n ) + w n w n ) +3w n w n 3 ) + + nw = w n + w n + w n + + w, where 0 w w w 3 w n But this problem had been addressed at Eq 7) on p 44 Partition of Integers with Exact Number of Summands and Largest Summand Let pm, n) denote the number of partitions of m with largest summand equal to n Let qm, n) denote the number of partitions of m into exactly n summands Similar to p n m) = q n m) on p 447, pm, n) = qm, n) pm, n) = p n m) p n m) = q n m) q n m) = qm, n) c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 40 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 4
6 Partition of Integers with Exact Number of Summands and Largest Summand continued) We knew that pm, n) = p n m) p n m) and the generating function for { p n m) } m=0,,, p 447) x x x 6) 3 x n Thus the generating function for { pm, n) } m=0,, is x = x n x x x n x x n x x x 3 x 6) n Partition of Integers with Exact Number of Summands and Largest Summand continued) Lemma 68 a) pm, n) = pm n) for n m/ b) pn, n) = pn) pm, n) equals the coefficient of x m in Eq 6): x n x x x 3 x n c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 43 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 4 Partition of Integers with Exact Number of Summands and Largest Summand continued) Lemma 67 pm, n) = p n m n) The coefficient of x m in Eq 6) on p 43 equals that of x m n in Eq 6) on p 43) Partition of Integers with Exact Number of Summands and Largest Summand continued) From Eq ) on p 4, pm n) equals the coefficient of x m n in = x x x x 3 x x 3 x n + xn+ + ) Observe that m n n + ) = m n < 0 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 44 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 46
7 Partition of Integers with Exact Number of Summands and Largest Summand continued) So pm n) equals the coefficient of x m n in x x x 3 x n For b), simply note that pn, n) = pn) by a) Partition of Integers into Distinct Summands Revisited Let q # m, n) denote the number partitions of m Z + into n distinct summands Lemma 70 q # m, n) = qm ) n, n) a x + x + + x n = m, where 0 < x < x < < x n, has q # m, n) integer solutions a Recall that qm, n) denotes the number of partitions of m into exactly n summands p 4) c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 47 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 49 Partition of Integers with Exact Number of Summands and Largest Summand concluded) Lemma 69 pm + n, n) = pm, ) + pm, ) + + pm, n) From Lemma 68a p 4), pm + n, n) = p n m) On the other hand, pm, ) + pm, ) + + pm, n) = p n m) by definition Partition of Integers into Distinct Summands Revisited continued) Adopt the following bijective transformation: x = w, x = w +, x 3 = w 3 +, x n = w n + n ) c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 48 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 460
8 Some Properties of Exponential Generating Functions Partition of Integers into Distinct Summands Revisited concluded) The equation becomes w + w + + w n = m where 0 < w w w 3 w n ) n, This equation has qm n ), n) integer solutions If fx) is the exponential generating function for {a i } i=0,,, then xf x) is the generating function for { ia i } i=0,, a If fx) is the exponential generating function for { a i } i=0,, and gx) is the exponential generating function for { b i } i=0,,, then fx) gx) is the exponential generating function for { h i } i=0,,, where h i = i k=0 a kb i k is the convolution of a i and b i b a Review p 39 b Review p 398 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 46 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 463 Exponential Generating Functions Let a 0, a, a, be a sequence of real numbers The function x fx) = a 0 + a! + a x! + = i=0 a i x i i! is called the exponential generating function for the given sequence {a i } i=0,, We may call the earlier generating function ordinary generating function to avoid ambiguity Some Properties of Exponential Generating Functions concluded) Lemma 7 Let fx) = i=0 a i x i i! be the exponential generating function for { a i } i=0,, Then a i = di fx) dx i, i = 0,,, x=0 By Taylor s expansion review p 397) c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 46 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 464
9 Generating Function for Bell Numbers Let px) = n=0 P n n! xn be the exponential generating function for the Bell numbers { P n } n=0,,, defined on p 8 From relation 8) on p 3, n px) = + = + n= k=0 x n n! P k k! k=0 n=k+ n k x n n ) P k n k )! Recurrence Relations Difference Equations) c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 46 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 467 Differentiate to obtain p x) = The Proof concluded) = k=0 P k k! P k x k k=0 k! n=k+ r=0 x n n k )! x r r! = px) ex In other words, lnpx)) = p x)/px) = e x Hence px) = e ex +c for some constant c As = p0) = e e0 +c, we conclude that c = and px) = e ex Recurrence Relations Arise Naturally When a problem has a recursive nature, recurrence relations often arise A problem can be solved by solving subproblems of the same nature When an algorithm is of the divide-and-conquer type, a recurrence relation describes its running time Sorting, fast Fourier transform, etc Certain combinatorial objects are constructed recursively such as hypercubes p 7) c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 466 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 468
10 First-Order Linear Homogeneous Recurrence Relations Consider the recurrence relation a n+ = da n, where n 0 and d is a constant The general solution is given by for any constant C a n = Cd n It satisfies the relation: Cd n+ = dcd n There are infinitely many solutions, one for each choice of C First-Order Linear Nonhomogeneous Recurrence Relations Consider the recurrence relation n 0 d is a constant fn) : N N a n+ + da n = fn) A general solution no longer exists c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 469 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 47 First-Order Linear Homogeneous Recurrence Relations concluded) Now suppose we impose the initial condition a 0 = A Then the unique) particular solution is a n = Ad n Because A = a 0 = Cd 0 = C Note that a n = na n is not a first-order linear homogeneous recurrence relation Its solution is n! when a 0 = kth-order Linear Homogeneous Recurrence Relations with Constant Coefficients Consider the kth-order recurrence relation C n a n + C n a n + + C n k a n k = 0, 63) where C n, C n,,c n k R, C n 0, and C n k 0 Add k initial conditions for a 0, a,,a k Clearly, a n is well-defined for each n = k, k +, c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 470 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 47
11 kth-order Linear Homogeneous Recurrence Relations with Constant Coefficients concluded) A solution y for a n is general if for any particular solution y, the undetermined coefficients of y can be found so that y is identical to y Any general solution for a n that satisfies the k initial conditions and Eq 63) is a particular solution In fact, it is the unique particular solution because any solution agreeing at n = 0,,,k must agree for all n 0 Conditions for the General Solution Theorem 7 Let a ) n, a ) n,,a k) n be k particular solutions of Eq 63) If a ) 0 a ) 0 a k) 0 a ) a ) a k) a ) k a ) k a k) k 0, 64) then a n = C a ) n + C a ) n + + C k a k) n is the general solution, where C, C,,C k are arbitrary constants a a Samuel Goldberg, Introduction to Difference Equations 986) c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 473 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 47 The Updating Rule Fundamental Sets The particular solutions of Eq 63) on p 47, a ) n, a ) n,,a k) n, that also satisfy inequality 64) in Theorem 7 p 47) are said to form a fundamental set of solutions Solving a linear homogeneous recurrence equation thus reduces to finding a fundamental set! c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 474 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 476
12 kth-order Linear Homogeneous Recurrence Relations with Constant Coefficients: Distinct Roots Let r, r,,r k be the characteristic) roots of the characteristic equation C n r k + C n r k + + C n k = 0 6) If r, r,,r k are distinct, then the general solution has the form a n = c r n + c r n + + c k r n k, for constants c, c,,c k determined by the initial conditions The Proof continued) r r r k r k r k r k k 0 The k k matrix is called a Vandermonde matrix, which is nonsingular whenever r, r,,r k are distinct a a This is a standard result in linear algebra c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 477 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 479 The Proof concluded) The Proof Assume a n has the form cr n for nonzero c and r After substitution into recurrence equation 63) on p 47, r satisfies characteristic equation 6) Let r, r,,r k be the k distinct nonzero) roots Hence a n = r n i is a solution for i k Solutions r n i form a fundamental set because Hence is the general solution a n = c r n + c r n + + c k r n k The k coefficients c, c,,c k are determined uniquely by the k initial conditions a 0, a,,a k : a 0 c a r r r k c = 66) a k r k r k r k k c k c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 478 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 480
13 The Fibonacci Relation Consider a n+ = a n+ + a n The initial conditions are a 0 = 0 and a = The characteristic equation is r r = 0, with two roots ± )/ The fundamental set is hence { + ) n ) n }, Solve The Fibonacci Relation concluded) 0 = a 0 = c + c = a = c + for c = / and c = / The solution is finally a n = + ) n + c ) n, known as the Binet formula c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 48 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 483 For example, as The Fibonacci Relation continued) + + ) n+ = The general solution is hence + a n = c ) n satisfies the Fibonacci relation, + ) n+ + ) n + c + ) n ) n 67) a = Don t Believe It? + ) = a 3 = + ) + 4 ) 3 ) 3 = = = c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 48 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 484
14 Initial Conditions Different initial conditions give rise to different solutions Suppose a 0 = and a = Then solve = a 0 = c + c, = a = c + for c = [ + )/ ] / and c = [ )/ ] / to obtain a n = + ) n+ + c, ) n+ 68) A Formula for the Fibonacci Numbers ) ) n n n 3 a n = ) + + n n/ n/ From Eq 69) on p 486, the generating function is = a 0 x + a 0 + a x x x x x + x) = x + x + x) + x 3 + x) + +x n + x) n + x n + x) n + [ n n/ ) n ) n ) ] = x n + n/ 0 ) c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 48 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 487 Generating Function for the Fibonacci Numbers From a n+ = a n+ + a n, we obtain a n+ x n+ = a n+ x n+ + a n x n+ ) n=0 n=0 Let fx) be the generating function for { a n } n=0,,, Then Hence fx) a 0 a x = x[ fx) a 0 ] + x fx) fx) = a 0x + a 0 + a x x x 69) Number of Binary Sequences without Consecutive 0s Let a n denote the number of binary sequences of length n without consecutive 0s There are a n valid sequences with the nth symbol being There are a n valid sequences with the nth symbol being 0 because any such sequence must end with 0 Hence a n = a n + a n, a Fibonacci sequence Because a = and a = 3, we must have a 0 = to retrofit the Fibonacci sequence The formula is Eq 68) on p 48 contrast it with p 70) c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 486 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 488
15 Number of Subsets without Consecutive Numbers A binary sequences b b b n of length n can be interpreted as the set { i : b i = 0 } {,,,n} Hence there are a n subsets of {,,,n} that contain no consecutive integers a n is the Fibonacci number with a 0 = and a = formula on p 48) How many subsets of {,,,n} contain no consecutive integers when and n are considered consecutive? Assume n 3 Number of Subsets without Consecutive Numbers concluded) Solve = L 0 = c + c, = L = c + for c = and c = The solution is finally L n = + ) n + + c, ) n c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 489 c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 49 Number of Subsets without Consecutive Numbers continued) There are a n acceptable subsets that do not contain n If n is included, an acceptable subset cannot contain Hence there are a n such subsets The total is therefore L n a n + a n, the Lucas number Surely, L n = L n + L n with L = and L = 3 The general solution is hence + L n = c by Eq 67) on p 48 ) n + c ) n c 004 Prof Yuh-Dauh Lyuu, National Taiwan University Page 490
Math 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 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 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 informationApplications. More Counting Problems. Complexity of Algorithms
Recurrences Applications More Counting Problems Complexity of Algorithms Part I Recurrences and Binomial Coefficients Paths in a Triangle P(0, 0) P(1, 0) P(1,1) P(2, 0) P(2,1) P(2, 2) P(3, 0) P(3,1) P(3,
More informationGenerating Functions
Semester 1, 2004 Generating functions Another means of organising enumeration. Two examples we have seen already. Example 1. Binomial coefficients. Let X = {1, 2,..., n} c k = # k-element subsets of X
More informationAlgebra: Groups. Group Theory a. Examples of Groups. groups. The inverse of a is simply a, which exists.
Group Theory a Let G be a set and be a binary operation on G. (G, ) is called a group if it satisfies the following. 1. For all a, b G, a b G (closure). 2. For all a, b, c G, a (b c) = (a b) c (associativity).
More informationAdvanced Counting Techniques. Chapter 8
Advanced Counting Techniques Chapter 8 Chapter Summary Applications of Recurrence Relations Solving Linear Recurrence Relations Homogeneous Recurrence Relations Nonhomogeneous Recurrence Relations Divide-and-Conquer
More informationChapter 5: Integer Compositions and Partitions and Set Partitions
Chapter 5: Integer Compositions and Partitions and Set Partitions Prof. Tesler Math 184A Winter 2017 Prof. Tesler Ch. 5: Compositions and Partitions Math 184A / Winter 2017 1 / 32 5.1. Compositions A strict
More informationWeek 9-10: Recurrence Relations and Generating Functions
Week 9-10: Recurrence Relations and Generating Functions April 3, 2017 1 Some number sequences An infinite sequence (or just a sequence for short is an ordered array a 0, a 1, a 2,..., a n,... of countably
More informationChapter 5: Integer Compositions and Partitions and Set Partitions
Chapter 5: Integer Compositions and Partitions and Set Partitions Prof. Tesler Math 184A Fall 2017 Prof. Tesler Ch. 5: Compositions and Partitions Math 184A / Fall 2017 1 / 46 5.1. Compositions A strict
More informationfsat We next show that if sat P, then fsat has a polynomial-time algorithm. c 2010 Prof. Yuh-Dauh Lyuu, National Taiwan University Page 425
fsat fsat is this function problem: Let φ(x 1, x 2,..., x n ) be a boolean expression. If φ is satisfiable, then return a satisfying truth assignment. Otherwise, return no. We next show that if sat P,
More informationBipartite Perfect Matching
Bipartite Perfect Matching We are given a bipartite graph G = (U, V, E). U = {u 1, u 2,..., u n }. V = {v 1, v 2,..., v n }. E U V. We are asked if there is a perfect matching. A permutation π of {1, 2,...,
More informationare the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1).
Lecture A jacques@ucsd.edu Notation: N, R, Z, F, C naturals, reals, integers, a field, complex numbers. p(n), S n,, b(n), s n, partition numbers, Stirling of the second ind, Bell numbers, Stirling of the
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 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 informationAdvanced Counting Techniques
. All rights reserved. Authorized only for instructor use in the classroom. No reproduction or further distribution permitted without the prior written consent of McGraw-Hill Education. Advanced Counting
More information3.4 Introduction to power series
3.4 Introduction to power series Definition 3.4.. A polynomial in the variable x is an expression of the form n a i x i = a 0 + a x + a 2 x 2 + + a n x n + a n x n i=0 or a n x n + a n x n + + a 2 x 2
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 informationHow To Test If a Polynomial Is Identically Zero?
How To Test If a Polynomial Is Identically Zero? det(a G ) is a polynomial in n 2 variables. There are exponentially many terms in det(a G ). Expanding the determinant polynomial is not feasible. Too many
More informationChapter 11 - Sequences and Series
Calculus and Analytic Geometry II Chapter - Sequences and Series. Sequences Definition. A sequence is a list of numbers written in a definite order, We call a n the general term of the sequence. {a, a
More informationChapter Generating Functions
Chapter 8.1.1-8.1.2. Generating Functions Prof. Tesler Math 184A Fall 2017 Prof. Tesler Ch. 8. Generating Functions Math 184A / Fall 2017 1 / 63 Ordinary Generating Functions (OGF) Let a n (n = 0, 1,...)
More informationChapter Summary. Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms
1 Chapter Summary Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms 2 Section 5.1 3 Section Summary Mathematical Induction Examples of
More informationPUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.
PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice
More informationMA22S3 Summary Sheet: Ordinary Differential Equations
MA22S3 Summary Sheet: Ordinary Differential Equations December 14, 2017 Kreyszig s textbook is a suitable guide for this part of the module. Contents 1 Terminology 1 2 First order separable 2 2.1 Separable
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 informationInduction and Recursion
. All rights reserved. Authorized only for instructor use in the classroom. No reproduction or further distribution permitted without the prior written consent of McGraw-Hill Education. Induction and Recursion
More informationThe knapsack Problem
There is a set of n items. The knapsack Problem Item i has value v i Z + and weight w i Z +. We are given K Z + and W Z +. knapsack asks if there exists a subset S {1, 2,..., n} such that i S w i W and
More informationGenerating Functions
8.30 lecture notes March, 0 Generating Functions Lecturer: Michel Goemans We are going to discuss enumeration problems, and how to solve them using a powerful tool: generating functions. What is an enumeration
More information1. How many labeled trees are there on n vertices such that all odd numbered vertices are leaves?
1. How many labeled trees are there on n vertices such that all odd numbered vertices are leaves? This is most easily done by Prüfer codes. The number of times a vertex appears is the degree of the vertex.
More information= = = = = =
PARTITION THEORY (notes by M. Hlynka, University of Windsor) Definition: A partition of a positive integer n is an expression of n as a sum of positive integers. Partitions are considered the same if the
More informationDiscrete Mathematics -- Chapter 10: Recurrence Relations
Discrete Mathematics -- Chapter 10: Recurrence Relations Hung-Yu Kao ( 高宏宇 ) Department of Computer Science and Information Engineering, National Cheng Kung University First glance at recurrence F n+2
More information11.10a Taylor and Maclaurin Series
11.10a 1 11.10a Taylor and Maclaurin Series Let y = f(x) be a differentiable function at x = a. In first semester calculus we saw that (1) f(x) f(a)+f (a)(x a), for all x near a The right-hand side of
More informationPower series solutions for 2nd order linear ODE s (not necessarily with constant coefficients) a n z n. n=0
Lecture 22 Power series solutions for 2nd order linear ODE s (not necessarily with constant coefficients) Recall a few facts about power series: a n z n This series in z is centered at z 0. Here z can
More informationCyclic Groups. AgroupG is called cyclic if there is an element x G such that for each a G, a = x n for some n Z. G = { x k : k Z }.
Cyclic Groups AgroupG is called cyclic if there is an element x G such that for each a G, a = x n for some n Z. In other words, G = { x k : k Z }. G is said to be generated by x, denoted by G = x. x is
More informationInduction and recursion. Chapter 5
Induction and recursion Chapter 5 Chapter Summary Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms Mathematical Induction Section 5.1
More informationCookie Monster Meets the Fibonacci Numbers. Mmmmmm Theorems!
Cookie Monster Meets the Fibonacci Numbers. Mmmmmm Theorems! Murat Koloğlu, Gene Kopp, Steven J. Miller and Yinghui Wang http://www.williams.edu/mathematics/sjmiller/public html Smith College, January
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 informationTaylor and Maclaurin Series. Copyright Cengage Learning. All rights reserved.
11.10 Taylor and Maclaurin Series Copyright Cengage Learning. All rights reserved. We start by supposing that f is any function that can be represented by a power series f(x)= c 0 +c 1 (x a)+c 2 (x a)
More informationAP Calculus Testbank (Chapter 9) (Mr. Surowski)
AP Calculus Testbank (Chapter 9) (Mr. Surowski) Part I. Multiple-Choice Questions n 1 1. The series will converge, provided that n 1+p + n + 1 (A) p > 1 (B) p > 2 (C) p >.5 (D) p 0 2. The series
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 information1 Basic Combinatorics
1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set
More informationCookie Monster Meets the Fibonacci Numbers. Mmmmmm Theorems!
Cookie Monster Meets the Fibonacci Numbers. Mmmmmm Theorems! Steven J. Miller (MC 96) http://www.williams.edu/mathematics/sjmiller/public_html Yale University, April 14, 2014 Introduction Goals of the
More informationCOMBINATORIAL COUNTING
COMBINATORIAL COUNTING Our main reference is [1, Section 3] 1 Basic counting: functions and subsets Theorem 11 (Arbitrary mapping Let N be an n-element set (it may also be empty and let M be an m-element
More informationsatisfiability (sat) Satisfiability unsatisfiability (unsat or sat complement) and validity Any Expression φ Can Be Converted into CNFs and DNFs
Any Expression φ Can Be Converted into CNFs and DNFs φ = x j : This is trivially true. φ = φ 1 and a CNF is sought: Turn φ 1 into a DNF and apply de Morgan s laws to make a CNF for φ. φ = φ 1 and a DNF
More informationMath Assignment 11
Math 2280 - Assignment 11 Dylan Zwick Fall 2013 Section 8.1-2, 8, 13, 21, 25 Section 8.2-1, 7, 14, 17, 32 Section 8.3-1, 8, 15, 18, 24 1 Section 8.1 - Introduction and Review of Power Series 8.1.2 - Find
More informationWith Question/Answer Animations
Chapter 5 With Question/Answer Animations Copyright McGraw-Hill Education. All rights reserved. No reproduction or distribution without the prior written consent of McGraw-Hill Education. Chapter Summary
More informationChapter 1. Sets and Numbers
Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
More informationDistribution of the Longest Gap in Positive Linear Recurrence Sequences
Distribution of the Longest Gap in Positive Linear Recurrence Sequences Shiyu Li 1, Philip Tosteson 2 Advisor: Steven J. Miller 2 1 University of California, Berkeley 2 Williams College http://www.williams.edu/mathematics/sjmiller/
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 informationAP Calculus (BC) Chapter 9 Test No Calculator Section Name: Date: Period:
WORKSHEET: Series, Taylor Series AP Calculus (BC) Chapter 9 Test No Calculator Section Name: Date: Period: 1 Part I. Multiple-Choice Questions (5 points each; please circle the correct answer.) 1. The
More informationAlgorithmic Approach to Counting of Certain Types m-ary Partitions
Algorithmic Approach to Counting of Certain Types m-ary Partitions Valentin P. Bakoev Abstract Partitions of integers of the type m n as a sum of powers of m (the so called m-ary partitions) and their
More informationMathematical Induction. Section 5.1
Mathematical Induction Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction
More informationSeries Solutions. 8.1 Taylor Polynomials
8 Series Solutions 8.1 Taylor Polynomials Polynomial functions, as we have seen, are well behaved. They are continuous everywhere, and have continuous derivatives of all orders everywhere. It also turns
More informationA Generalization of the Euler-Glaisher Bijection
A Generalization of the Euler-Glaisher Bijection p.1/48 A Generalization of the Euler-Glaisher Bijection Andrew Sills Georgia Southern University A Generalization of the Euler-Glaisher Bijection p.2/48
More informationGenerating Function Notes , Fall 2005, Prof. Peter Shor
Counting Change Generating Function Notes 80, Fall 00, Prof Peter Shor In this lecture, I m going to talk about generating functions We ve already seen an example of generating functions Recall when we
More informationn=0 xn /n!. That is almost what we have here; the difference is that the denominator is (n + 1)! in stead of n!. So we have x n+1 n=0
DISCRETE MATHEMATICS HOMEWORK 8 SOL Undergraduate Course Chukechen Honors College Zhejiang University Fall-Winter 204 HOMEWORK 8 P496 6. Find a closed form for the generating function for the sequence
More informationDe Morgan s a Laws. De Morgan s laws say that. (φ 1 φ 2 ) = φ 1 φ 2, (φ 1 φ 2 ) = φ 1 φ 2.
De Morgan s a Laws De Morgan s laws say that (φ 1 φ 2 ) = φ 1 φ 2, (φ 1 φ 2 ) = φ 1 φ 2. Here is a proof for the first law: φ 1 φ 2 (φ 1 φ 2 ) φ 1 φ 2 0 0 1 1 0 1 1 1 1 0 1 1 1 1 0 0 a Augustus DeMorgan
More informationCookie Monster Meets the Fibonacci Numbers. Mmmmmm Theorems!
Cookie Monster Meets the Fibonacci Numbers. Mmmmmm Theorems! Murat Koloğlu, Gene Kopp, Steven J. Miller and Yinghui Wang http://www.williams.edu/mathematics/sjmiller/public html College of the Holy Cross,
More informationFrom Fibonacci Numbers to Central Limit Type Theorems
From Fibonacci Numbers to Central Limit Type Theorems Murat Koloğlu, Gene Kopp, Steven J. Miller and Yinghui Wang Williams College, October 1st, 010 Introduction Previous Results Fibonacci Numbers: F n+1
More information8.5 Taylor Polynomials and Taylor Series
8.5. TAYLOR POLYNOMIALS AND TAYLOR SERIES 50 8.5 Taylor Polynomials and Taylor Series Motivating Questions In this section, we strive to understand the ideas generated by the following important questions:
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 informationFall 2017 Test II review problems
Fall 2017 Test II review problems Dr. Holmes October 18, 2017 This is a quite miscellaneous grab bag of relevant problems from old tests. Some are certainly repeated. 1. Give the complete addition and
More informationON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS
Acta Math. Univ. Comenianae Vol. LXXXVII, 2 (2018), pp. 291 299 291 ON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS B. FARHI Abstract. In this paper, we show that
More informationThe Kth M-ary Partition Function
Indiana University of Pennsylvania Knowledge Repository @ IUP Theses and Dissertations (All) Fall 12-2016 The Kth M-ary Partition Function Laura E. Rucci Follow this and additional works at: http://knowledge.library.iup.edu/etd
More informatione x = 1 + x + x2 2! + x3 If the function f(x) can be written as a power series on an interval I, then the power series is of the form
Taylor Series Given a function f(x), we would like to be able to find a power series that represents the function. For example, in the last section we noted that we can represent e x by the power series
More informationLECTURE 9: SERIES SOLUTIONS NEAR AN ORDINARY POINT I
LECTURE 9: SERIES SOLUTIONS NEAR AN ORDINARY POINT I In this lecture and the next two, we will learn series methods through an attempt to answer the following two questions: What is a series method and
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 informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationElementary Differential Equations, Section 2 Prof. Loftin: Practice Test Problems for Test Find the radius of convergence of the power series
Elementary Differential Equations, Section 2 Prof. Loftin: Practice Test Problems for Test 2 SOLUTIONS 1. Find the radius of convergence of the power series Show your work. x + x2 2 + x3 3 + x4 4 + + xn
More informationSeries Solutions of Differential Equations
Chapter 6 Series Solutions of Differential Equations In this chapter we consider methods for solving differential equations using power series. Sequences and infinite series are also involved in this treatment.
More informationMultiplying two generating functions
Generating Functions 3.3 3.6 111 Multiplying two generating functions Let A(x) = a k x k and B(x) = b k x k. k 0 k 0 What is the coefficient of x k in A(x)B(x)? Generating Functions 3.3 3.6 111 Multiplying
More informationCookie Monster Meets the Fibonacci Numbers. Mmmmmm Theorems!
Cookie Monster Meets the Fibonacci Numbers. Mmmmmm Theorems! Olivial Beckwith, Murat Koloğlu, Gene Kopp, Steven J. Miller and Yinghui Wang http://www.williams.edu/mathematics/sjmiller/public html Colby
More informationReview for Exam 2. Review for Exam 2.
Review for Exam 2. 5 or 6 problems. No multiple choice questions. No notes, no books, no calculators. Problems similar to homeworks. Exam covers: Regular-singular points (5.5). Euler differential equation
More informationmax bisection max cut becomes max bisection if we require that It has many applications, especially in VLSI layout.
max bisection max cut becomes max bisection if we require that S = V S. It has many applications, especially in VLSI layout. c 2011 Prof. Yuh-Dauh Lyuu, National Taiwan University Page 330 max bisection
More informationABSTRACT 1. INTRODUCTION
THE FIBONACCI NUMBER OF GENERALIZED PETERSEN GRAPHS Stephan G. Wagner Department of Mathematics, Graz University of Technology, Steyrergasse 30, A-8010 Graz, Austria e-mail: wagner@finanz.math.tu-graz.ac.at
More informationOn the possible quantities of Fibonacci numbers that occur in some type of intervals
On the possible quantities of Fibonacci numbers that occur in some type of intervals arxiv:1508.02625v1 [math.nt] 11 Aug 2015 Bakir FARHI Laboratoire de Mathématiques appliquées Faculté des Sciences Exactes
More informationCHAPTER 8 Advanced Counting Techniques
96 Chapter 8 Advanced Counting Techniques CHAPTER 8 Advanced Counting Techniques SECTION 8. Applications of Recurrence Relations 2. a) A permutation of a set with n elements consists of a choice of a first
More informationand the compositional inverse when it exists is A.
Lecture B jacques@ucsd.edu Notation: R denotes a ring, N denotes the set of sequences of natural numbers with finite support, is a generic element of N, is the infinite zero sequence, n 0 R[[ X]] denotes
More informationLEGENDRE POLYNOMIALS AND APPLICATIONS. We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates.
LEGENDRE POLYNOMIALS AND APPLICATIONS We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates.. Legendre equation: series solutions The Legendre equation is
More informationRelevant sections from AMATH 351 Course Notes (Wainwright): Relevant sections from AMATH 351 Course Notes (Poulin and Ingalls):
Lecture 5 Series solutions to DEs Relevant sections from AMATH 35 Course Notes (Wainwright):.4. Relevant sections from AMATH 35 Course Notes (Poulin and Ingalls): 2.-2.3 As mentioned earlier in this course,
More informationWhat you learned in Math 28. Rosa C. Orellana
What you learned in Math 28 Rosa C. Orellana Chapter 1 - Basic Counting Techniques Sum Principle If we have a partition of a finite set S, then the size of S is the sum of the sizes of the blocks of the
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 informationMath Circle: Recursion and Induction
Math Circle: Recursion and Induction Prof. Wickerhauser 1 Recursion What can we compute, using only simple formulas and rules that everyone can understand? 1. Let us use N to denote the set of counting
More informationQUADRANT MARKED MESH PATTERNS IN 132-AVOIDING PERMUTATIONS III
#A39 INTEGERS 5 (05) QUADRANT MARKED MESH PATTERNS IN 3-AVOIDING PERMUTATIONS III Sergey Kitaev Department of Computer and Information Sciences, University of Strathclyde, Glasgow, United Kingdom sergey.kitaev@cis.strath.ac.uk
More informationEASY PUTNAM PROBLEMS
EASY PUTNAM PROBLEMS (Last updated: December 11, 2017) Remark. The problems in the Putnam Competition are usually very hard, but practically every session contains at least one problem very easy to solve
More informationTheory of Computation Lecture Notes. Problems and Algorithms. Class Information
Theory of Computation Lecture Notes Prof. Yuh-Dauh Lyuu Dept. Computer Science & Information Engineering and Department of Finance National Taiwan University Problems and Algorithms c 2004 Prof. Yuh-Dauh
More informationLecture 32: Taylor Series and McLaurin series We saw last day that some functions are equal to a power series on part of their domain.
Lecture 32: Taylor Series and McLaurin series We saw last day that some functions are equal to a power series on part of their domain. For example f(x) = 1 1 x = 1 + x + x2 + x 3 + = ln(1 + x) = x x2 2
More informationASSIGNMENT 1 SOLUTIONS
MATH 271 ASSIGNMENT 1 SOLUTIONS 1. (a) Let S be the statement For all integers n, if n is even then 3n 11 is odd. Is S true? Give a proof or counterexample. (b) Write out the contrapositive of statement
More informationMCS 256 Discrete Calculus and Probability Exam 5: Final Examination 22 May 2007
MCS 256 Discrete Calculus and Probability SOLUTIONS Exam 5: Final Examination 22 May 2007 Instructions: This is a closed-book examination. You may, however, use one 8.5 -by-11 page of notes, your note
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 informationMATH 580, midterm exam SOLUTIONS
MATH 580, midterm exam SOLUTIONS Solve the problems in the spaces provided on the question sheets. If you run out of room for an answer, continue on the back of the page or use the Extra space empty page
More informationMa 530 Power Series II
Ma 530 Power Series II Please note that there is material on power series at Visual Calculus. Some of this material was used as part of the presentation of the topics that follow. Operations on Power Series
More informationThe Fibonacci Quilt Sequence
The Sequence Minerva Catral, Pari Ford*, Pamela Harris, Steven J. Miller, Dawn Nelson AMS Section Meeting Georgetown University March 7, 2015 1 1 2 1 2 3 1 2 3 4 1 2 3 4 5 Fibonacci sequence Theorem (
More informationDiscrete Mathematics. Kishore Kothapalli
Discrete Mathematics Kishore Kothapalli 2 Chapter 4 Advanced Counting Techniques In the previous chapter we studied various techniques for counting and enumeration. However, there are several interesting
More informationLINEAR RECURSIVE SEQUENCES. The numbers in the sequence are called its terms. The general form of a sequence is
LINEAR RECURSIVE SEQUENCES BJORN POONEN 1. Sequences A sequence is an infinite list of numbers, like 1) 1, 2, 4, 8, 16, 32,.... The numbers in the sequence are called its terms. The general form of a sequence
More informationSection 11.1: Sequences
Section 11.1: Sequences In this section, we shall study something of which is conceptually simple mathematically, but has far reaching results in so many different areas of mathematics - sequences. 1.
More informationNotes on generating functions in automata theory
Notes on generating functions in automata theory Benjamin Steinberg December 5, 2009 Contents Introduction: Calculus can count 2 Formal power series 5 3 Rational power series 9 3. Rational power series
More informationDefinition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS.
4 Functions Before studying functions we will first quickly define a more general idea, namely the notion of a relation. A function turns out to be a special type of relation. Definition: Let S and T be
More informationCSCE 222 Discrete Structures for Computing. Dr. Hyunyoung Lee
CSCE 222 Discrete Structures for Computing Sequences and Summations Dr. Hyunyoung Lee Based on slides by Andreas Klappenecker 1 Sequences 2 Sequences A sequence is a function from a subset of the set of
More informationPUTNAM TRAINING PROBLEMS
PUTNAM TRAINING PROBLEMS (Last updated: December 3, 2003) Remark This is a list of Math problems for the NU Putnam team to be discussed during the training sessions Miguel A Lerma 1 Bag of candies In a
More information