Find the recurrence relation and closed-form for the sequence: \(27, 9, 3, 1, \frac{1}{3},\dots\). Assume the initial value is denoted as \(u_0=27\).
Solution:
Firstly, we can see that the terms in the sequence are decreasing by a factor of 3 each time. You can see this by dividing each term by its previous term which gives us 3 each time:
\[\begin{align} \frac{u_0}{u_1}&=\frac{27}{9}=3\\ \frac{u_1}{u_2}&=\frac{9}{3}=3 \\ \frac{u_2}{u_3}&=\frac{3}{1}=3\\ \frac{u_3}{u_4}&=\frac{1}{\frac{1}{3}}=3. \end{align}\]
Assuming this factor is constant throughout the sequence, the recurrence relation for the sequence is given by:
$$u_{n+1}=3u_n$$
with initial value \(u_{0}=27\).
For the closed form of the sequence:
$$u_n=27\cdot \left(\frac{1}{3}\right)^{n}.$$
This sequence is also called a geometric sequence with a common ratio of 3.
Proving Closed Forms of Recurrence Relations
The technique used for proving the closed-form of recurrence relations is proof by induction. You may have come across this technique before but the proof is structured as follows:
Let \(P(n)\) be a mathematical statement such that \(n\) is a natural number. Then \(P(n)\) is true for values of \(n\) if the following are satisfied:
Step 1. \(n=1\) is true, i.e. \(P(1)\) holds.
Step 2. Given/Assuming that \(n=k\) is true, then \(n=k+1\), i.e. if \(P(k)\) holds then \(P(k+1)\) holds.
Step 3: Conclusion: Since the statement was true for \(n=1\) and assuming true for \(n=k\), the statement is true for \(n=k+1\). Therefore by the principal of mathematical induction, the statement holds for all natural numbers \(n=1,2,3,...\).
For more information on using proof by induction "see Proof by Induction".
Prove by induction that \(u_{n}=5^{n-1}+1\) is the closed form of the sequence defined by \(u_{n+1}=5u_{n}-4\) with initial value \(u_{1}=2\), for all natural numbers n.
Solution:
For this particular example \(P(n)=u_n=5^{n-1}+1\).
Step 1: Let \(n=1\),
$$u_{1}=5^{0}+1=1.$$
Therefore the statement holds for \(n=1\).
Step 2: Assume the statement is true for \(n=k\), i.e. assume \(u_{k}=5^{k-1}+1\).
Show that \(u_{n}=5^{n-1}+1\) is true for \(n=k+1\):
\[\begin{align} u_{k+1}&=5u_{k}-4\\ &=5(5^{k-1}+1)-4\\ &=5^{1+k-1}+5-4\\ &=5^{k}+1.\end{align}\]
Therefore the statement holds for \(n=k+1\).
Step 3: Conclusion: Since the statement was true for \(n=1\) and assuming true for \(n=k\), the statement is true for \(n=k+1\). Therefore by the principal of mathematical induction, the statement holds for all natural numbers \(n=1,2,3,...\).
Solving Recurrence Relations
Solving recurrence relations involves finding the closed-form of a recurrence relation given certain initial values or boundary conditions. There are different methods for solving recurrence relations. Sometimes they are simple enough to solve by inspection (as we have seen above) but for more complex first-order and second-order recurrence relations, the best methods to use are iteration or the Characteristic Root Technique. If you would like to go through these techniques in depth, have a look at the following articles on Solving First-Order Recurrence Relations and Solving Second-Order Recurrence Relations.
Recurrence Relations - Key takeaways
- A recurrence relation gives a formula for the next term in a sequence as a function of its previous terms.
- The closed-form of a recurrence relation is a formula for the \(n^{th}\) term in the sequence in terms of \(n\).
- A recurrence relation of order \(k\) is a formula for the \(n^{th}+1\) term of the sequence as a function of the previous \(k\) terms of the sequence.
- Mathematical induction may be used to prove results relating to recurrence relations.