maths.freeCombinatorics & Graph Theory › 9. Recurrence Equations › Linear Recurrence Equations

Linear Recurrence Equations

What do all of the examples of the previous section have in common?

Linear Recurrence Equations

What do all of the examples of the previous section have in common? The end result that we were able to achieve is a linear recurrence, which tells us how we can compute the \(n^\text{th}\) term of a sequence given some number of previous values (and perhaps also depending nonrecursively on \(n\) as well, as in the last example). More precisely a recurrence equation is said to be linear when it has the following form \[\begin{aligned}\end{aligned}\] where \(k\ge1\) is an integer, \(c_0,c_1,\dots,c_k\) are constants with \(c_0,c_k\neq0\), and \(g:\ints\rightarrow\reals\) is a function. (What we have just defined may more properly be called a linear recurrence equation with constant coefficients, since we require the \(c_i\) to be constants and prohibit them from depending on \(n\). We will avoid this additional descriptor, instead choosing to speak of linear recurrence equations with nonconstant coefficients in case we allow the \(c_i\) to be functions of \(n\).) A linear equation is homogeneous if the function \(g(n)\) on the right hand side is the zero function. For example, the Fibonacci sequence satisfies the homogeneous linear recurrence equation \[\begin{aligned}\end{aligned}\] Note that in this example, \(k=2\), \(c_0=1\) and \(c_k=-1\).

As a second example, the sequence in satisfies the homogeneous linear recurrence equation \[\begin{aligned}\end{aligned}\] Again, \(k=2\) with \(c_0=c_k=1\).

On the other hand, the sequence \(r_n\) defined in satisfies the nonhomogeneous linear recurrence equation \[\begin{aligned}\end{aligned}\] In this case, \(k=1\), \(c_0=1\) and \(c_k=-1\) .

Our immediate goal is to develop techniques for solving linear recurrence equations of both homogeneous and nonhomogeneous types. We will be able to fully resolve the question of solving homogeneous linear recurrence equations and discuss a sort of guess-and-test method that can be used to tackle the more tricky nonhomogeneous type.

Practice (1)

Try each one on paper first. Reveal the answer to check; verified ones can be opened in the solver for every step.

  1. Match each recurrence equation below with the correct classification.

Symbols used here

\int f(x)\,dx,\ \int_a^b
integral
Antiderivative (indefinite) or signed area from a to b (definite).
\leq,\ \geq
less/greater than or equal
Inequalities that allow equality; < and > exclude it.
\neq
not equal
The two sides are different.
n!
factorial
n × (n−1) × … × 1; the number of orderings of n things. 0! = 1.
\binom{n}{k}
binomial coefficient, "n choose k"
Number of k-element subsets of n things: n!/(k!(n−k)!).
\sum_{k=1}^{n} a_k
summation
Add a_k for k = 1 up to n.
\prod_{k=1}^{n} a_k
product
Multiply a_k for k = 1 up to n.
\emptyset,\ |A|
empty set, cardinality
The set with no elements; the number of elements of A.

Questions people ask

Permutation or combination?

Ask whether order matters. A lock code is a permutation (order matters); a hand of cards is a combination (it does not).

What is a graph in this sense?

Dots (vertices) joined by lines (edges) — not a plot. Road maps, social networks and molecules are graphs; questions like "is there a route" and "how few colours" are graph theory.

جرّب نفسك

Parts of this page are adapted from Keller & Trotter, Applied Combinatorics (CC BY-SA 4.0). Condensed and re-explained here; errors are ours.

أكثر في Combinatorics & Graph Theory