06.09.2021 Views

Combinatorics Through Guided Discovery, 2004a

Combinatorics Through Guided Discovery, 2004a

Combinatorics Through Guided Discovery, 2004a

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

4.3. Generating Functions and Recurrence Relations 85<br />

(ii) <br />

q→1<br />

[n]! q .<br />

(iii) <br />

q→1<br />

[ m + n<br />

n<br />

]<br />

.<br />

q<br />

Why is the limit in Part iii equal to the number of partitions (of any<br />

number) with at most n parts all of size most m? Can you explain<br />

bijectively why this quantity equals the formula you got? (h)<br />

∗ (h)<br />

What happens to [ m+n<br />

n<br />

] if we let q approach −1? (h)<br />

q<br />

4.3 Generating Functions and Recurrence Relations<br />

Recall that a recurrence relation for a sequence a n expresses a n in terms of values<br />

a i for i < n. For example, the equation a i =3a i−1 +2 i is a first order linear constant<br />

coefficient recurrence.<br />

4.3.1 How generating functions are relevant<br />

Algebraic manipulations with generating functions can sometimes reveal the solutions<br />

to a recurrence relation.<br />

• Problem 211. Suppose that a i =3a i−1 +3 i .<br />

(a) Multiply both sides by x i and sum both the left hand side and right<br />

hand side from i =1to infinity. In the left-hand side use the fact that<br />

∞∑<br />

∞∑<br />

a i x i =( x i ) − a 0<br />

i=1<br />

i=0<br />

and in the right hand side, use the fact that<br />

∞∑<br />

∞∑<br />

∞∑<br />

∞∑<br />

a i−1 x i = x a i x i−1 = x a j x j = x a i x i<br />

i=1<br />

i=1<br />

(where we substituted j for i−1 to see explicitly how to change the limits<br />

of summation, a surprisingly useful trick) to rewrite the equation<br />

in terms of the power series ∑ ∞<br />

i=0 a ix i . Solve the resulting equation<br />

for the power series ∑ ∞<br />

i=0 a ix i . You can save a lot of writing by using<br />

a variable like y to stand for the power series.<br />

(b) Use the previous part to get a formula for a i in terms of a 0 .<br />

(c) Now suppose that a i =3a i−1 +2 i . Repeat the previous two steps for<br />

this recurrence relation. (There is a way to do this part using what you<br />

already know. Later on we shall introduce yet another way to deal<br />

with the kind of generating function that arises here.) (h)<br />

j=0<br />

i=0

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!