ads Generating Functions

Section 8.5 Generating Functions

This section contains an introduction to the topic of generating functions and how they are used to solve recurrence relations, among other problems. Methods that employ generating functions are based on the concept that you can take a problem involving sequences and translate it into a problem involving generating functions. Once you’ve solved the new problem, a translation back to sequences gives you a solution of the original problem.

🔗

This section covers:

The definition of a generating function.
🔗

🔗
Solution of a recurrence relation using generating functions to identify the skills needed to use generating functions.
🔗

🔗
An introduction and/or review of the skills identified in point 2.
🔗

🔗
Some applications of generating functions.
🔗

🔗

🔗

Subsection 8.5.1 Definition

Definition 8.5.1. Generating Function of a Sequence.

The generating function of a sequence

S

with terms

S_{0}, S_{1}, S_{2}, \dots,

is the infinite sum

G (S; z) = \sum_{n = 0}^{\infty} S_{n} z^{n} = S_{0} + S_{1} z + S_{2} z^{2} + S_{3} z^{3} + \dots

The domain and codomain of generating functions will not be of any concern to us since we will only be performing algebraic operations on them.

🔗

Example 8.5.2. First Examples.

If $S_{n} = 3^{n},$ $n \geq 0,$ then

$\begin{aligned} G (S; z) & = 1 + 3 z + 9 z^{2} + 27 z^{3} + \dots \\ = \sum_{n = 0}^{\infty} 3^{n} z^{n} \\ = \sum_{n = 0}^{\infty} (3 z)^{n} \end{aligned}$

We can get a closed form expression for $G (S; z)$ by observing that $G (S; z) - 3 z G (S; z) = 1 .$ Therefore, $G (S; z) = \frac{1}{1 - 3 z} .$

🔗

🔗
Finite sequences have generating functions. For example, the sequence of binomial coefficients $(\binom{n}{0}),$ $(\binom{n}{1}),$ $\dots,$ $(\binom{n}{n}),$ $n \geq 1$ has generating function

$\begin{aligned} G ((\binom{n}{\cdot}); z) & = (\binom{n}{0}) + (\binom{n}{1}) z + \dots + (\binom{n}{n}) z^{n} \\ = \sum_{k = 0}^{\infty} (\binom{n}{k}) z^{k} \\ = (1 + z)^{n} \end{aligned}$

by application of the binomial formula.

🔗

🔗
If $Q (n) = n^{2},$ $G (Q; z) = \sum_{n = 0}^{\infty} n^{2} z^{n} = \sum_{k = 0}^{\infty} k^{2} z^{k} .$ Note that the index that is used in the summation has no significance. Also, note that the lower limit of the summation could start at 1 since $Q (0) = 0 .$
🔗

🔗

🔗

Subsection 8.5.2 Solution of a Recurrence Relation Using Generating Functions

We illustrate the use of generating functions by solving

S (n) - 2 S (n - 1) - 3 S (n - 2) = 0,

n \geq 2,

with

S (0) = 3

and

S (1) = 1 .

🔗

Translate the recurrence relation into an equation about generating functions.
🔗

Let $V (n) = S (n) - 2 S (n - 1) - 3 S (n - 2),$ $n \geq 2,$ with $V (0) = 0$ and $V (1) = 0 .$ Therefore,

$G (V; z) = 0 + 0 z + \sum_{n = 2}^{\infty} (S (n) - 2 S (n - 1) - 3 S (n - 2)) z^{n} = 0$

🔗

🔗
Solve for the generating function of the unknown sequence, $G (S; z) = \sum_{n = 0}^{\infty} S_{n} z^{n} .$

$\begin{aligned} 0 & = \sum_{n = 2}^{\infty} (S (n) - 2 S (n - 1) - 3 S (n - 2)) z^{n} \\ = \sum_{n = 2}^{\infty} S (n) z^{n} - 2 (\sum_{n = 2}^{\infty} S (n - 1) z^{n}) - 3 (\sum_{n = 2}^{\infty} S (n - 2) z^{n}) \end{aligned}$

🔗

Close examination of the three sums above shows:
🔗
1. $\begin{aligned} \sum_{n = 2}^{\infty} S_{n} z^{n} & = \sum_{n = 0}^{\infty} S_{n} z^{n} - S (0) - S (1) z \\ = G (S; z) - 3 - z \end{aligned}$
  
  since $S (0) = 3$ and $S (1) = 1 .$
  
  🔗
  
  🔗
2. $\begin{aligned} \sum_{n = 2}^{\infty} S (n - 1) z^{n} & = z (\sum_{n = 2}^{\infty} S (n - 1) z^{n - 1}) \\ = z (\sum_{n = 1}^{\infty} S (n) z^{n}) \\ = z (\sum_{n = 0}^{\infty} S (n) z^{n} - S (0)) \\ = z (G (S; z) - 3) \end{aligned}$
  
  🔗
  
  🔗
3. $\begin{aligned} \sum_{n = 2}^{\infty} S (n - 2) z^{n} & = z^{2} (\sum_{n = 2}^{\infty} S (n - 2) z^{n - 2}) \\ = z^{2} G (S; z) \end{aligned}$
  
  🔗
  
  Therefore,
  
  $\begin{aligned} (G (S; z) - 3 - z) - 2 z (G (S; z) - 3) - 3 z^{2} G (S; z) = 0 \\ \Rightarrow G (S; z) - 2 z G (S; z) - 3 z^{2} G (S; z) = 3 - 5 z \\ \Rightarrow G (S; z) = \frac{3 - 5 z}{1 - 2 z - 3 z^{2}} \end{aligned}$
  
  🔗
  
  🔗
🔗
🔗
Determine the sequence whose generating function is the one we got in Step 2.
🔗

For our example, we need to know one general fact about the closed form expression of an exponential sequence (a proof will be given later):

$\begin{matrix} (8.5.1) & T (n) = b a^{n}, n \geq 0 \Leftrightarrow G (T; z) = \frac{b}{1 - a z} \end{matrix}$

🔗

Now, in order to recognize $S$ in our example, we must write our closed form expression for $G (S; z)$ as a sum of terms like $G (T; z)$ above. Note that the denominator of $G (S; z)$ can be factored:

$G (S; z) = \frac{3 - 5 z}{1 - 2 z - 3 z^{2}} = \frac{3 - 5 z}{(1 - 3 z) (1 + z)}$

If you look at this last expression for $G (S; z)$ closely, you can imagine how it could be the result of addition of two fractions,

$\begin{matrix} (8.5.2) & \frac{3 - 5 z}{(1 - 3 z) (1 + z)} = \frac{A}{1 - 3 z} + \frac{B}{1 + z} \end{matrix}$

where $A$ and $B$ are two real numbers that must be determined. Starting on the right of (8.5.2), it should be clear that the sum, for any $A$ and $B,$ would look like the left-hand side. The process of finding values of $A$ and $B$ that make (8.5.2) true is called the partial fractions decomposition of the left-hand side:

$\begin{aligned} \frac{A}{1 - 3 z} + \frac{B}{1 + z} & = \frac{A (1 + z)}{(1 - 3 z) (1 + z)} + \frac{B (1 - 3 z)}{(1 - 3 z) (1 + z)} \\ = \frac{(A + B) + (A - 3 B) z}{(1 - 3 z) (1 + z)} \end{aligned}$

🔗

Therefore,

${\begin{matrix} A + B = 3 \\ A - 3 B = - 5 \end{matrix}} \Rightarrow {\begin{matrix} A = 1 \\ B = 2 \end{matrix}}$

and

$G (S; z) = \frac{1}{1 - 3 z} + \frac{2}{1 + z}$

🔗

We can apply (8.5.1) to each term of $G (S; z) :$
🔗
- $\frac{1}{1 - 3 z}$ is the generating function for $S_{1} (n) = 1 \cdot 3^{n} = 3^{n}$
  🔗
  
  🔗
- $\frac{2}{1 + z}$ is the generating function for $S_{2} (n) = 2 (- 1)^{n} .$
  🔗
  
  🔗
🔗
Therefore, $S (n) = 3^{n} + 2 (- 1)^{n} .$
🔗

🔗

🔗

From this example, we see that there are several skills that must be mastered in order to work with generating functions. You must be able to:

🔗

Manipulate summation expressions and their indices (in Step 2).
🔗

🔗
Solve algebraic equations and manipulate algebraic expressions, including partial function decompositions (Steps 2 and 3).
🔗

🔗
Identify sequences with their generating functions (Steps 1 and 3).
🔗

🔗

🔗

We will concentrate on the last skill first, a proficiency in the other skills is a product of doing as many exercises and reading as many examples as possible.

🔗

First, we will identify the operations on sequences and on generating functions.

🔗

Subsection 8.5.3 Operations on Sequences

Definition 8.5.3. Operations on Sequences.

Let

S

and

T

be sequences of numbers and let

c

be a real number. Define the sum

S + T,

the scalar product

c S,

the product

S T,

the convolution

S * T,

the pop operation

S ↑

(read “

S

pop”), and the push operation

S ↓

(read “

S

push”) term-wise for

k \geq 0

\begin{matrix} (8.5.3) & (S + T) (k) = S (k) + T (k) \end{matrix}

\begin{matrix} (8.5.4) & (c S) (k) = c S (k) \end{matrix}

\begin{matrix} (8.5.5) & (S \cdot T) (k) = S (k) T (k) \end{matrix}

\begin{matrix} (8.5.6) & (S * T) (k) = \sum_{j = 0}^{k} S (j) T (k - j) \end{matrix}

\begin{matrix} (8.5.7) & (S ↑) (k) = S (k + 1) \end{matrix}

\begin{array}{r} (8.5.8) & (S ↓) (k) = {\begin{array}{cc} 0 & if k = 0 \\ S (k - 1) & if k > 0 \end{array} \end{array}

🔗

If one imagines a sequence to be a matrix with one row and an infinite number of columns,

S + T

and

c S

are exactly as in matrix addition and scalar multiplication. There is no obvious similarity between the other operations and matrix operations.

🔗

The pop and push operations can be understood by imagining a sequence to be an infinite stack of numbers with

S (0)

at the top,

S (1)

next, etc., as in Figure 8.5.4a. The sequence

S ↑

is obtained by “popping” S(0) from the stack, leaving a stack as in Figure 8.5.4b, with S(1) at the top, S(2) next, etc. The sequence

S ↓

is obtained by placing a zero at the top of the stack, resulting in a stack as in Figure 8.5.4c. Keep these figures in mind when we discuss the pop and push operations.

🔗

described in detail following the image — Figure 8.5.4. Stack interpretation of pop and push operation
🔗

Example 8.5.5. Some Sequence Operations.

S (n) = n,

T (n) = n^{2},

U (n) = 2^{n},

and

R (n) = n 2^{n} :

🔗

$(S + T) (n) = n + n^{2}$
🔗

🔗
$(U + R) (n) = 2^{n} + n 2^{n} = (1 + n) 2^{n}$
🔗

🔗
$(2 U) (n) = 2 \cdot 2^{n} = 2^{n + 1}$
🔗

🔗
$(\frac{1}{2} R) (n) = \frac{1}{2} n 2^{n} = n 2^{n - 1}$
🔗

🔗
$(S \cdot T) (n) = n n^{2} = n^{3}$
🔗

🔗
$(S * T) (n) = \sum_{j = 0}^{n} S (j) T (n - j) = \sum_{j = 0}^{n} j (n - j)^{2} = \sum_{j = 0}^{n} (j n^{2} - 2 n j^{2} + j^{3}) = n^{2} \sum_{j = 0}^{n} j - 2 n \sum_{j = 0}^{n} j^{2} + \sum_{j = 0}^{n} j^{3} = n^{2} (\frac{n (n + 1)}{2}) - 2 n (\frac{(2 n + 1) (n + 1) n}{6}) + \frac{1}{4} n^{2} (n + 1)^{2} = \frac{n^{2} (n + 1) (n - 1)}{12}$
🔗

🔗
$(U * U) (n) = \sum_{j = 0}^{n} U (j) U (n - j) = \sum_{j = 0}^{n} 2^{j} 2^{n - j} = (n + 1) 2^{n}$
🔗

🔗
$(S ↑) (n) = n + 1$
🔗

🔗
$(S ↓) (n) = max (0, n - 1)$
🔗

🔗
$((S ↓) ↓) (n) = max (0, n - 2)$
🔗

🔗
$(U ↓) (n) = {\begin{array}{cc} 2^{n - 1} & if n > 0 \\ 0 & if n = 0 \end{array}$
🔗

🔗
$((U ↓) ↑) (n) = (U ↓) (n + 1) = 2^{n} = U (n)$
🔗

🔗
$((U ↑) ↓) (n) = {\begin{array}{cc} 0 & if n = 0 \\ U (n) & if n > 0 \end{array}$
🔗

🔗

🔗

Note that

(U ↓) ↑\neq (U ↑) ↓ .

🔗

Definition 8.5.6. Multiple Pop and Push.

If S is a sequence of numbers and

p

a positive integer greater than 1, define

S ↑ p = (S ↑ (p - 1)) ↑ if p \geq 2 and S ↑ 1 = S ↑

Similarly, define

S ↓ p = (S ↓ (p - 1)) ↓ if p \geq 2 and S ↓ 1 = S ↓

🔗

In general,

(S ↑ p) (k) = S (k + p),

and

(S ↓ p) (k) = {\begin{array}{cc} 0 & if k < p \\ S (k - p) & if k \geq p \end{array}

🔗

Subsection 8.5.4 Operations on Generating Functions

Definition 8.5.7. Operations on Generating Functions.

G (z) = \sum_{k = 0}^{\infty} a_{k} z^{k}

and

H (z) = \sum_{k = 0}^{\infty} b_{k} z^{k}

are generating functions and

c

is a real number, then the sum

G + H,

scalar product

c G,

product

G H,

and monomial product

z^{p} G,

p \geq 1

are generating functions, where

\begin{matrix} (8.5.9) & (G + H) (z) = \sum_{k = 0}^{\infty} (a_{k} + b_{k}) z^{k} \\ (8.5.10) & (c G) (z) = \sum_{k = 0}^{\infty} c a_{k} z^{k} \\ (8.5.11) & (G H) (z) = \sum_{k = 0}^{\infty} c_{k} z^{k} where c_{k} = \sum_{j = 0}^{k} a_{j} b_{k - j} \\ (8.5.12) & (z^{p} G) (z) = z^{p} \sum_{k = 0}^{\infty} a_{k} z^{k} = \sum_{k = 0}^{\infty} a_{k} z^{k + p} = \sum_{n = p}^{\infty} a_{n - p} z^{n} \end{matrix}

🔗

The last sum is obtained by substituting

n - p

for

k

in the previous sum.

🔗

Example 8.5.8. Some operations on generating functions.

D (z) = \sum_{k = 0}^{\infty} k z^{k}

and

H (z) = \sum_{k = 0}^{\infty} 2^{k} z^{k}

then

(D + H) (z) = \sum_{k = 0}^{\infty} (k + 2^{k}) z^{k}

(2 H) (z) = \sum_{k = 0}^{\infty} 2 \cdot 2^{k} z^{k} = \sum_{k = 0}^{\infty} 2^{k + 1} z^{k}

\begin{aligned} (z D) (z) & = z \sum_{k = 0}^{\infty} k z^{k} = \sum_{k = 0}^{\infty} k z^{k + 1} \\ = \sum_{k = 1}^{\infty} (k - 1) z^{k} = D (z) - \sum_{k = 1}^{\infty} z^{k} \end{aligned}

(D H) (z) = \sum_{k = 0}^{\infty} (\sum_{j = 0}^{k} j 2^{k - j}) z^{k}

(H H) (z) = \sum_{k = 0}^{\infty} (\sum_{j = 0}^{k} 2^{j} 2^{k - j}) z^{k} = \sum_{k = 0}^{\infty} (k + 1) 2^{k} z^{k}

🔗

Note:

D (z) = G (S; z),

and

H (z) = G (U; z)

from Example 5.

🔗

Now we establish the connection between the operations on sequences and generating functions. Let

S

and

T

be sequences and let

c

be a real number.

\begin{matrix} (8.5.13) & G (S + T; z) = G (S; z) + G (T; z) \\ (8.5.14) & G (c S; z) = c G (S; z) \\ (8.5.15) & G (S * T; z) = G (S; z) G (T; z) \\ (8.5.16) & G (S ↑; z) = (G (S; z) - S (0)) / z \\ (8.5.17) & G (S ↓; z) = z G (S; z) \end{matrix}

🔗

In words, (8.5.13) says that the generating function of the sum of two sequences equals the sum of the generating functions of those sequences. Take the time to write out the other four identities in your own words. From the previous examples, these identities should be fairly obvious, with the possible exception of the last two. We will prove (8.5.16) as part of the next theorem and leave the proof of (8.5.17) to the interested reader. Note that there is no operation on generating functions that is related to sequence multiplication; that is,

G (S \cdot T; z)

cannot be simplified.

🔗

Theorem 8.5.9. Generating functions related to Pop and Push.

p > 1,

🔗

$G (S ↑ p; z) = (G (S; z) - \sum_{k = 0}^{p - 1} S (k) z^{k}) / z^{k}$
🔗

🔗
$G (S ↓ p; z) = z^{p} G (S; z) .$
🔗

🔗

🔗

Proof.

We prove (a) by induction and leave the proof of (b) to the reader.

🔗

Basis:

\begin{aligned} G (S ↑; z) & = \sum_{k = 0}^{\infty} S (k + 1) z^{k} \\ = \sum_{k = 1}^{\infty} S (k) z^{k - 1} \\ = (\sum_{k = 1}^{\infty} S (k) z^{k}) / z \\ = (S (0) + \sum_{k = 1}^{\infty} S (k) z^{k} - S (0)) / z \\ = (G (S; z) - S (0)) / z \end{aligned}

Therefore, part (a) is true for

p = 1 .

🔗

Induction: Suppose that for some

p \geq 1,

the statement in part (a) is true:

\begin{aligned} G (S ↑ (p + 1); z) & = G ((S ↑ p) ↑; z) \\ = (G (S ↑ p; z) - (S ↑ p) (0)) / z by the basis \\ = \frac{\frac{(G (S; z) - \sum_{k = 0}^{p - 1} S (k) z^{k})}{z^{p}} - S (p)}{z} \end{aligned}

by the induction hypothesis. Now write

S (p)

in the last expression above as

(S (p) z^{p}) / z^{p}

so that it fits into the finite summation:

\begin{aligned} G (S ↑ (p + 1); z) & = (\frac{G (S; z) - \sum_{k = 0}^{p} S (k) z^{k}}{z^{p}}) / z \\ = (G (S; z) - \sum_{k = 0}^{p} S (k) z^{k}) / z^{p + 1} \end{aligned}

🔗

Therefore the statement is true for

p + 1 .

🔗

Subsection 8.5.5 Closed Form Expressions for Generating Functions

The most basic tool used to express generating functions in closed form is the closed form expression for the geometric series, which is an expression of the form

a + a r + a r^{2} + \dots .

It can either be terminated or extended infinitely.

🔗

Finite Geometric Series:

\begin{matrix} (8.5.18) & a + a r + a r^{2} + \dots + a r^{n} = a (\frac{1 - r^{n + 1}}{1 - r}) \end{matrix}

🔗

Infinite Geometric Series:

\begin{matrix} (8.5.19) & a + a r + a r^{2} + \dots = \frac{a}{1 - r} \end{matrix}

🔗

Restrictions:

a

and

r

represent constants and the right sides of the two equations apply under the following conditions:

🔗

$r$ must not equal 1 in the finite case. Note that $a + a r + \dots a r^{n} = (n + 1) a$ if $r = 1 .$
🔗

🔗
In the infinite case, the absolute value of $r$ must be less than 1.
🔗

🔗

🔗

These restrictions don’t come into play with generating functions. We could derive (8.5.18) by noting that if

S (n) = a + a r + \dots + a r^{n},

n > 0,

then

S (n) = r S (n - 1) + a

(See Exercise 10 of Section 8.3). An alternative derivation was used in Section 8.4. We will take the same steps to derive (8.5.19). Let

x = a + a r + a r^{2} + \dots .

Then

r x = a r + a r^{2} + \dots = x - a \Rightarrow x - r x = a \Rightarrow x = \frac{a}{1 - r}

🔗

Example 8.5.10. Generating Functions involving Geometric Sums.

If $S (n) = 9 \cdot 5^{n},$ $n \geq 0,$ $G (S; z)$ is an infinite geometric series with $a = 9$ and $r = 5 z .$ Therefore, $G (S; z) = \frac{9}{1 - 5 z} .$
🔗

🔗
If $T (n) = 4,$ $n \geq$ 0, then $G (T; z) = 4 / (1 - z) .$
🔗

🔗
If $U (n) = 3 (- 1)^{n},$ then $G (U; z) = 3 / (1 + z) .$
🔗

🔗
Let $C (n) = S (n) + T (n) + U (n) = 9 \cdot 5^{n} + 4 + 3 (- 1)^{n} .$ Then

$\begin{aligned} G (C; z) & = G (S; z) + G (T; z) + G (U; z) \\ = \frac{9}{1 - 5 z} + \frac{4}{1 - z} + \frac{3}{1 + z} \\ = - \frac{14 z^{2} + 34 z - 16}{5 z^{3} - z^{2} - 5 z + 1} \end{aligned} .$

🔗

Given a choice between the last form of $G (C; z)$ and the previous sum of three fractions, we would prefer leaving it as a sum of three functions. As we saw in an earlier example, a partial fractions decomposition of a fraction such as the last expression requires some effort to produce.
🔗

🔗
If $G (Q; z) = 34 / (2 - 3 z),$ then $Q$ can be determined by multiplying the numerator and denominator by 1/2 to obtain $\frac{17}{1 - \frac{3}{2} z} .$ We recognize this fraction as the sum of the infinite geometric series with $a = 17$ and $r = \frac{3}{2} z .$ Therefore $Q (n) = 17 (3 / 2)^{n} .$
🔗

🔗
If $G (A; z) = (1 + z)^{3}$ , then we expand $(1 + z)^{3}$ to $1 + 3 z + 3 z^{2} + z^{3}$ . Therefore $A (0) = 1,$ $A (1) = 3$ $A (2) = 3,$ $A (3) = 1,$ and, since there are no higher-powered terms, $A (n) = 0,$ $n \geq 4 .$ A more concise way of describing $A$ is $A (k) = (\binom{3}{k}),$ since $(\binom{n}{k})$ is interpreted as 0 of $k > n .$
🔗

🔗

🔗

Table 8.5.11 lists some closed form expressions for the generating functions of some common sequences.

🔗

Table 8.5.11. Closed Form Expressions of some Generating Functions

🔗


Sequence	Generating Function
$S (k) = b a^{k}$	$G (S; z) = \frac{b}{1 - a z}$
$S (k) = k$	$G (S; z) = \frac{z}{(1 - z)^{2}}$
$S (k) = b k a^{k}$	$G (S; z) = \frac{a b z}{(1 - a z)^{2}}$
$S (k) = \frac{1}{k!}$	$G (S; z) = e^{z}$
$S (k) = {\begin{array}{cc} (\binom{n}{k}) & 0 \leq k \leq n \\ 0 & k > n \end{array}$	$G (S; z) = (1 + z)^{n}$

Example 8.5.12. Another Complete Solution.

Solve

S (k) + 3 S (k - 1) - 4 S (k - 2) = 0,

k \geq 2,

with

S (0) = 3

and

S (1) = - 2 .

The solution will be derived using the same steps that were used earlier in this section, with one variation.

🔗

Translate to an equation about generating functions. First, we change the index of the recurrence relation by substituting $n + 2$ for $k .$ The result is $S (n + 2) + 3 S (n + 1) - 4 S (n) = 0,$ $n \geq 0 .$ Now, if $V (n) = S (n + 2) + 3 S (n + 1) - 4 S (n),$ then $V$ is the zero sequence, which has a zero generating function. Furthermore, $V = S ↑ 2 + 3 (S ↑) - 4 S .$ Therefore,

$\begin{aligned} 0 & = G (V; z) \\ = G (S ↑ 2; z) + 3 G (S ↑; z) - 4 G (S; z) \\ = \frac{G (S; z) - S (0) - S (1) z}{z^{2}} + 4 \frac{(G (S; z) - S (0))}{z} - 4 G (S; z) \end{aligned}$

🔗

🔗
We want to now solve the following equation for $G (S; z) :$

$\frac{G (S; z) - S (0) - S (1) z}{z^{2}} + 4 \frac{(G (S; z) - S (0))}{z} - 4 G (S; z) = 0$

Multiply by $z^{2}$ :

$G (S; z) - 3 + 2 z + 3 z (G (S; z) - 3) - 4 z^{2} G (S; z) = 0$

Expand and collect all terms involving $G (S; z)$ on one side of the equation:

$\begin{matrix} G (S; z) + 3 z G (S; z) - 4 z^{2} G (S; z) = 3 + 7 z \\ (1 + 3 z - 4 z^{2}) G (S; z) = 3 + 7 z \end{matrix}$

Therefore,

$G (S; z) = \frac{3 + 7 z}{1 + 3 z - 4 z^{2}}$

🔗

🔗
Determine S from its generating function. $1 + 3 z - 4 z^{2} = (1 + 4 z) (1 - z)$ thus a partial fraction decomposition of $G (S; z)$ would be:

$\frac{A}{1 + 4 z} + \frac{B}{1 - z} = \frac{A z - A - 4 B z - B}{(z - 1) (4 z + 1)} = \frac{(A + B) + (4 B - A) z}{(z - 1) (4 z + 1)}$

Therefore, $A + B = 3$ and $4 B - A = 7 .$ The solution of this set of equations is $A = 1$ and $B = 2 .$ $G (S; z) = \frac{1}{1 + 4 z} + \frac{2}{1 - z} .$

$\begin{matrix} \frac{1}{1 + 4 z} is the generating function of S_{1} (n) = (- 4)^{n}, and \\ \frac{2}{1 - z} is the generating function of S_{2} (n) = 2 (1)^{n} = 2 \end{matrix}$

In conclusion, since $G (S; z) = G (S_{1}; z) + G (S_{2}; z),$ $S (n) = 2 + (- 4)^{n} .$

🔗

🔗

🔗

Example 8.5.13. An Application to Counting.

Let

A = {a, b, c, d, e}

and let

A^{*}

be the set of all strings of length zero or more that can be made using each of the elements of

A

zero or more times. By the generalized rule of products, there are

5^{n}

such strings that have length

n,

n \geq 0,

Suppose that

X_{n}

is the set of strings of length

n

with the property that all of the

a

’s and

b

’s precede all of the

c

’s,

d

’s, and

e

’s. Thus

a a a b d e \in X_{6},

but

a b c a b c \notin X_{6} .

Let

R (n) = | X_{n} | .

A closed form expression for

R

can be obtained by recognizing

R

as the convolution of two sequences. To illustrate our point, we will consider the calculation of

R (6) .

🔗

Note that if a string belongs to

X_{6},

it starts with

k

characters from

{a, b}

and is followed by

6 - k

characters from

{c, d, e} .

Let

S (k)

be the number of strings of

a

’s and

b

’s with length

k

and let

T (k)

be the number of strings of

c

’s,

d

’s, and

e

’s with length

k .

By the generalized rule of products,

S (k) = 2^{k}

and

T (k) = 3^{k} .

Among the strings in

X_{6}

are the ones that start with two

a

’s and

b

’s and end with

c

’s,

d

’s, and

e

’s. There are

S (2) T (4)

such strings. By the law of addition,

| X_{6} | = R (6) = S (0) T (6) + S (1) T (5) + \dots + S (5) T (1) + S (6) T (0)

Note that the sixth term of R is the sixth term of the convolution of

S

with

T,

S * T .

Think about the general situation for a while and it should be clear that

R = S * T .

Now, our course of action will be to:

🔗

Determine the generating functions of $S$ and $T,$
🔗

🔗
Multiply $G (S; z)$ and $G (T; z)$ to obtain $G (S * T; z) = G (R; z),$ and
🔗

🔗
Determine $R$ on the basis of $G (R; z) .$
🔗

🔗

🔗

$G (S; z) = \sum_{k = 0}^{\infty} 2^{k} z^{k} = \frac{1}{1 - 2 z}$ , and $G (T; z) = \sum_{k = 0}^{\infty} 3^{k} z^{k} = \frac{1}{1 - 3 z}$
🔗

🔗
$G (R; z) = G (S; z) G (T; z) = \frac{1}{(1 - 2 z) (1 - 3 z)}$
🔗

🔗
To recognize $R$ from $G (R; z),$ we must do a partial fractions decomposition:

$\frac{1}{(1 - 2 z) (1 - 3 z)} = \frac{A}{1 - 2 z} + \frac{B}{1 - 3 z} = \frac{- 3 A z + A - 2 B z + B}{(2 z - 1) (3 z - 1)} = \frac{(A + B) + (- 3 A - 2 B) z}{(2 z - 1) (3 z - 1)}$

Therefore, $A + B = 1$ and $- 3 A - 2 B = 0 .$ The solution of this pair of equations is $A = - 2$ and $B = 3 .$ Since $G (R; z) = \frac{- 2}{1 - 2 z} + \frac{3}{1 - 3 z},$ which is the sum of the generating functions of $- 2 (2)^{k}$ and $3 (3)^{k},$ $R (k) = - 2 (2)^{k} + 3 (3)^{k} = 3^{k + 1} - 2^{k + 1}$

🔗

For example, $R (6) = 3^{7} - 2^{7} = 2187 - 128 = 2059 .$ Naturally, this equals the sum that we get from $(S * T) (6) .$ To put this number in perspective, the total number of strings of length 6 with no restrictions is $5^{6} = 15625,$ and $\frac{2059}{15625} \approx 0.131776 .$ Therefore approximately 13 percent of the strings of length 6 satisfy the conditions of the problem.
🔗

🔗

🔗

Subsection 8.5.6 Extra for Experts

The remainder of this section is intended for readers who have had, or who intend to take, a course in combinatorics. We do not advise that it be included in a typical course. The method that was used in the previous example is a very powerful one and can be used to solve many problems in combinatorics. We close this section with a general description of the problems that can be solved in this way, followed by some examples.

🔗

Consider the situation in which

P_{1},

P_{2},

\dots,

P_{m}

are

m

actions that must be taken, each of which results in a well-defined outcome. For each

k = 1, 2, . . ., m

define

X_{k}

to be the set of possible outcomes of

P_{k}

. We will assume that each outcome can be quantified in some way and that the quantification of the elements of

X_{k}

is defined by the function

Q_{k} : X_{k} \to {0, 1, 2, . . .} .

Thus, each outcome has a non-negative integer associated with it. Finally, define a frequency function

F_{k} : {0, 1, 2, . . .} \to {0, 1, 2, . . .}

such that

F_{k} (n)

is the number of elements of

X_{k}

that have a quantification of

n .

🔗

Now, based on these assumptions, we can define the problems that can be solved. If a process

P

is defined as a sequence of actions

P_{1}, P_{2}, \dots, P_{m}

as above, and if the outcome of

P,

which would be an element of

X_{1} \times X_{2} \times \dots \times X_{m},

is quantified by

Q (a_{1}, a_{2}, \dots, a_{m}) = \sum_{k = 1}^{m} Q_{k} (a_{k})

then the frequency function,

F,

for

P

is the convolution of the frequency functions for

P_{1},

P_{2},

\dots,

P_{m},

which has a generating function equal to the product of the generating functions of the frequency functions

F_{1},

F_{2},

\dots,

F_{m} .

That is,

G (F; z) = G (F_{1}; z) G (F_{2}; z) \dots (F_{m}; z)

🔗

Example 8.5.14. Rolling Two Dice.

Suppose that you roll a die two times and add up the numbers on the top face for each roll. Since the faces on the die represent the integers 1 through 6, the sum must be between 2 and 12. How many ways can any one of these sums be obtained? Obviously, 2 can be obtained only one way, with two 1’s. There are two sequences that yield a sum of 3: 1-2 and 2-1. To obtain all of the frequencies with which the numbers 2 through 12 can be obtained, we set up the situation as follows. For

j = 1, 2;

P_{j}

is the rolling of the die for the

j^{th}

time.

X_{j} = {1, 2, . . ., 6}

and

Q_{j} : X_{j} \to {0, 1, 2, 3, \dots}

is defined by

Q_{j} (x) = x .

Since each number appears on a die exactly once, the frequency function is

F_{j} (k) = 1

1 \leq k \leq 6,

and

F_{j} (k) = 0

otherwise. The process of rolling the die two times is quantified by adding up the

{Q_{j}}^{'} s;

that is,

Q (a_{1}, a_{2}) = Q_{1} (a_{1}) + Q_{2} (a_{2})

. The generating function for the frequency function of rolling the die two times is then

\begin{aligned} G (F; z) & = G (F_{1}; z) G (F_{2}; z) \\ = (z^{6} + z^{5} + z^{4} + z^{3} + z^{2} + z)^{2} \\ = z^{12} + 2 z^{11} + 3 z^{10} + 4 z^{9} + 5 z^{8} + 6 z^{7} + 5 z^{6} + 4 z^{5} + 3 z^{4} + 2 z^{3} + z^{2} \end{aligned}

🔗

Now, to get

F (k),

just read the coefficient of

z^{k} .

For example, the coefficient of

z^{5}

is 4, so there are four ways to roll a total of 5.

🔗

To apply this method, the crucial step is to decompose a large process in the proper way so that it fits into the general situation that we’ve described.

🔗

Example 8.5.15. Distribution of a Committee.

Suppose that an organization is divided into three geographic sections, A, B, and C. Suppose that an executive committee of 11 members must be selected so that no more than 5 members from any one section are on the committee and that Sections A, B, and C must have minimums of 3, 2, and 2 members, respectively, on the committee. Looking only at the number of members from each section on the committee, how many ways can the committee be made up? One example of a valid committee would be 4 A’s, 4 B’s, and 3 C’s.

🔗

Let

P_{A}

be the action of deciding how many members (not who) from Section A will serve on the committee.

X_{A} = {3, 4, 5}

and

Q_{A} (k) = k .

The frequency function,

F_{A}

, is defined by

F_{A} (k) = 1

k \in X_{k}

, with

F_{A} (k) = 0

otherwise.

G (F_{A}; z)

is then

z^{3} + z^{4} + z^{5}

. Similarly,

G (F_{B}; z) = z^{2} + z^{3} + z^{4} + z^{5} = G (F_{C}; z) .

Since the committee must have 11 members, our answer will be the coefficient of

z^{11}

G (F_{A}; z) G (F_{B}; z) G (F_{C}; z),

which is 10.

🔗

xxxxxxxxxx
 
%display latex
var('z')
expand((z^3+ z^4+z^5)*(z^2+ z^3+ z ^4 + z^5)^2)

🔗

Exercises 8.5.7 Exercises

1.

What sequences have the following generating functions?

🔗

1
🔗

🔗
$\frac{10}{2 - z}$
🔗

🔗
$1 + z$
🔗

🔗
$\frac{3}{1 + 2 z} + \frac{3}{1 - 3 z}$
🔗

🔗

🔗

Answer.

$1, 0, 0, 0, 0, \dots$
🔗

🔗
$5 (1 / 2)^{k}$
🔗

🔗
$1, 1, 0, 0, 0, \dots$
🔗

🔗
$3 (- 2)^{k} + 3 \cdot 3^{k}$
🔗

🔗

🔗

2.

What sequences have the following generating functions?

🔗

$\frac{1}{1 + z}$
🔗

🔗
$\frac{1}{4 - 3 z}$
🔗

🔗
$\frac{2}{1 - z} + \frac{1}{1 + z}$
🔗

🔗
$\frac{z + 2}{z + 3}$
🔗

🔗

🔗

3.

Find closed form expressions for the generating functions of the following sequences:

🔗

$V (n) = 9^{n}$
🔗

🔗
$P,$ where $P (k) - 6 P (k - 1) + 5 P (k - 2) = 0$ for $k \geq 2,$ with $P (0) = 2$ and $P (1) = 2 .$
🔗

🔗
The Fibonacci sequence: $F (k + 2) = F (k + 1) + F (k),$ $k \geq 0,$ with $F (0) = F (1) = 1 .$
🔗

🔗

🔗

Answer.

$1 / (1 - 9 z)$
🔗

🔗
$(2 - 10 z) / (1 - 6 z + 5 z^{2})$
🔗

🔗
$1 / (1 - z - z^{2})$
🔗

🔗

🔗

4.

Find closed form expressions for the generating functions of the following sequences:

🔗

$W (n) = (\binom{5}{n}) 2^{n}$ for $0 \leq n \leq 5$ and $W (n) = 0$ for $n > 5 .$
🔗

🔗
$Q,$ where $Q (k) + Q (k - 1) - 42 Q (k - 2) = 0$ for $k \geq 2,$ with $Q (0) = 2$ and $Q (1) = 2 .$
🔗

🔗
$H,$ where $H (k + 3) = H (k + 2) + H (k + 1) + H (k)$ for $k \geq 0,$ with $H (0) = H (1) = H (2) = 1 .$
🔗

🔗

🔗

5.

For each of the following expressions, find the partial fraction decomposition and identify the sequence having the expression as a generating function.

🔗

$\frac{5 + 2 z}{1 - 4 z^{2}}$
🔗

🔗
$\frac{32 - 22 z}{2 - 3 z + z^{2}}$
🔗

🔗
$\frac{6 - 29 z}{1 - 11 z + 30 z^{2}}$
🔗

🔗

🔗

Answer.

$3 / (1 - 2 z) + 2 / (1 + 2 z), 3 \cdot 2^{k} + 2 (- 2)^{k}$
🔗

🔗
$10 / (1 - z) + 12 / (2 - z), 10 + 6 (1 / 2)^{k}$
🔗

🔗
$- 1 / (1 - 5 z) + 7 / (1 - 6 z), 7 \cdot 6^{k} - 5^{k}$
🔗

🔗

🔗

6.

Find the partial fraction decompositions and identify the sequence having the following expressions:

🔗

$\frac{1}{1 - 9 z^{2}}$
🔗

🔗
$\frac{1 + 3 z}{16 - 8 z + z^{2}}$
🔗

🔗
$\frac{2 z}{1 - 6 z - 7 z^{2}}$
🔗

🔗

🔗

7.

Given that

S (k) = k

and

T (k) = 10 k,

what is the

k^{th}

term of the generating function of each of the following sequences:

🔗

$S + T$
🔗

🔗
$(S ↑) * T$
🔗

🔗
$S * T$
🔗

🔗
$(S ↑) * (S ↑)$
🔗

🔗

🔗

Answer.

$11 k$
🔗

🔗
$(5 / 3) k (k + 1) (k + 2)$
🔗

🔗
$\underset{j = 0}{\overset{k}{Σ}} (j) (10 (k - j)) = 10 k \underset{j = 0}{\overset{k}{Σ}} j - 10 \underset{j = 0}{\overset{k}{Σ}} j^{2}$ $= (5 / 3) (k - 1) k (k + 1)$

🔗
$k (k + 1) (k + 3) / 6$
🔗

🔗

🔗

8.

Given that

P (k) = (\binom{10}{k})

what is the the generating function of each of the following sequences:

🔗

$P * P$
🔗

🔗
$P + P ↑$
🔗

🔗
$P + P ↓$
🔗

🔗

🔗

9.

A game is played by rolling a die five times. For the

k^{th}

roll, one point is added to your score if you roll a number higher than

k .

Otherwise, your score is zero for that roll. For example, the sequence of rolls

2, 3, 4, 1, 2

gives you a total score of three; while a sequence of 1,2,3,4,5 gives you a score of zero. Of the

6^{5} = 7776

possible sequences of rolls, how many give you a score of zero?, of one?

\dots

of five?

🔗

Answer.

Coefficients of

z^{0}

through

z^{5}

(1 + 5 z) (2 + 4 z) (3 + 3 z) (4 + 2 z) (5 + z)

🔗

\begin{array}{cc} k & Number of ways of getting a score of k \\ 0 & 120 \\ 1 & 1044 \\ 2 & 2724 \\ 3 & 2724 \\ 4 & 1044 \\ 5 & 120 \end{array}

🔗

10.

Suppose that you roll a die five times in a row and record the square of each number that you roll. How many ways could the sum of the squares of your rolls equal 40? What is the most common outcome?

🔗

You have attempted 1 of 1 activities on this page.

🔗

Prev Top Next