Sequences and recurrence relations
A sequence is an ordered list of numbers. If its terms are called , then is the term in position .
There are two main ways to define a sequence:
- an explicit formula, such as , gives directly from ;
- a recurrence relation, such as , gives a new term from one or more earlier terms.
A recurrence also needs enough initial conditions to start the process. Together,
define one sequence. The recurrence alone defines infinitely many sequences, depending on the choice of .
Prerequisites
Section titled “Prerequisites”You should be able to:
- substitute into formulae and generate simple sequences;
- rearrange formulae;
- solve linear and quadratic equations;
- use inequalities and exact fractions confidently.
Explicit formulae
Section titled “Explicit formulae”An explicit formula is also called an nth-term formula. It is a position-to-term rule: substitute a positive integer value of to obtain the term in that position.
Worked example 1: generate selected terms
Section titled “Worked example 1: generate selected terms”The sequence is defined by
Find , , and .
Odd powers of are negative and even powers are positive, so the signs alternate.
Worked example 2: test whether a value is a term
Section titled “Worked example 2: test whether a value is a term”For , determine whether is a term.
Set the formula equal to :
Rearrange and factorise:
Thus or . A term number must be a positive integer, so only is valid. Therefore .
An algebraic solution for is not sufficient. It must belong to the sequence’s index set, normally .
Self-check 1
Section titled “Self-check 1”Let .
- Find , and .
- Determine whether is a term.
Answers
- , and .
- Setting gives , so . Only the positive index is allowed, hence .
Recurrence relations
Section titled “Recurrence relations”A first-order recurrence uses the preceding term:
Starting at , repeatedly apply the function :
This repeated substitution is called iteration.
Worked example 3: iterate exactly
Section titled “Worked example 3: iterate exactly”Given
find , and .
Use the most recently found term each time:
Keep exact values unless the question requests decimals. Early rounding is repeatedly fed back into the rule and can accumulate error.
Worked example 4: a non-linear recurrence
Section titled “Worked example 4: a non-linear recurrence”The sequence is defined by
Find the first six terms.
The sequence begins
Brackets around a negative term are essential: , whereas .
More than one preceding term
Section titled “More than one preceding term”The recurrence
uses two preceding terms, so it requires two initial values.
Worked example 5: a second-order recurrence
Section titled “Worked example 5: a second-order recurrence”Given
find .
Thus the sequence begins . The recurrence uses two terms, even though this particular sequence is arithmetic.
Self-check 2
Section titled “Self-check 2”- Given and , find .
- Given , and , find .
Answers
- , , .
- , , and .
Writing a recurrence relation
Section titled “Writing a recurrence relation”A valid recursive definition states both the recurrence and its initial condition. Look for how consecutive terms are connected.
Worked example 6: explicit to recursive
Section titled “Worked example 6: explicit to recursive”The sequence has explicit formula
Write it recursively.
First find the initial term:
Each term is times the preceding term, so
Worked example 7: infer a linear recurrence
Section titled “Worked example 7: infer a linear recurrence”Find a recurrence of the form for
Each term is twice the preceding term plus :
Therefore one suitable definition is
Checking several transitions supports the pattern, but a finite list alone never determines a unique continuation. A question asking for a rule assumes the intended simple pattern.
Worked example 8: verify an explicit formula
Section titled “Worked example 8: verify an explicit formula”Show that
satisfies
First check the initial value:
Next use the proposed formula for in the recurrence:
because replacing by in the explicit formula gives
Both checks are necessary. Satisfying the recurrence without satisfying the initial condition could describe a different sequence.
Increasing, decreasing and periodic sequences
Section titled “Increasing, decreasing and periodic sequences”A sequence is:
- strictly increasing if for every relevant ;
- strictly decreasing if for every relevant ;
- non-decreasing if ;
- non-increasing if .
The word monotonic describes a sequence that consistently moves in one direction, allowing the precise convention to be stated by an inequality.
For an explicit formula, examine the sign of
Worked example 9: prove that a sequence is increasing
Section titled “Worked example 9: prove that a sequence is increasing”Show that is strictly increasing for .
For every , . Hence , so is strictly increasing.
Listing the first few terms is evidence, not proof that the pattern continues for every .
Worked example 10: a sequence that is not monotonic
Section titled “Worked example 10: a sequence that is not monotonic”Consider :
The terms alternate between negative and positive values. In particular,
Therefore the sequence is neither increasing nor decreasing. Although decreases, the sequence itself does not move in one direction.
A sequence is periodic if some positive integer satisfies
for every relevant . The least such is its period.
Worked example 11: identify a cycle
Section titled “Worked example 11: identify a cycle”For the recurrence
generate terms until a pattern repeats.
Once , the deterministic recurrence repeats the same transitions:
The period is .
The domain still matters. For example, the same recurrence cannot generate a second term from , because division by zero would be required.
Self-check 3
Section titled “Self-check 3”- Show that is strictly decreasing.
- State the period of for .
- Is monotonic? Explain briefly.
Answers
- , so the sequence is strictly decreasing.
- Its terms are , so the period is .
- No. Its terms alternate in sign, so consecutive differences do not keep one sign.
Long term behaviour and limits
Section titled “Long term behaviour and limits”A sequence converges to a limit if its terms become arbitrarily close to as becomes large. We write
or .
A sequence that does not approach a finite limit diverges. Divergence includes:
- growing without bound, such as ;
- decreasing without bound, such as ;
- continuing to oscillate, such as .
Fixed points of a recurrence
Section titled “Fixed points of a recurrence”Suppose
and the sequence converges to . Then both and approach the same limit. Provided behaves continuously near ,
Such a value is called a fixed point of .
Worked example 12: find and confirm a linear limit
Section titled “Worked example 12: find and confirm a linear limit”Let
The first terms are
They suggest a limit of . If a limit exists, then
so .
To see why convergence really occurs, subtract the fixed point from both sides:
Each step halves the distance from . In fact,
so
This argument establishes convergence, not merely the value the limit would have if it existed.
Linear recurrences and stability
Section titled “Linear recurrences and stability”For
the fixed point is
Subtracting it gives
Therefore
This reveals the long term behaviour:
| Value of | Typical behaviour when |
|---|---|
| $ | a |
| Converges while alternating around | |
| No unique fixed point; | |
| Usually alternates between two values | |
| $ | a |
The exceptional start produces the constant sequence for any .
Worked example 13: alternating convergence
Section titled “Worked example 13: alternating convergence”Given
find the limit and describe the approach.
If a limit exists,
so
Here , whose magnitude is less than . Thus the distance from is multiplied by each time, while its sign reverses. The sequence converges to , alternating from one side to the other:
Worked example 14: fixed points without convergence
Section titled “Worked example 14: fixed points without convergence”Let
Solving the fixed-point equation gives
However,
The sequence plainly moves away and does not converge to either candidate. The equation supplied necessary candidates under an assumption of convergence. It did not supply a convergence proof.
Self-check 4
Section titled “Self-check 4”- A sequence satisfies and . Find its limit and justify convergence.
- A sequence satisfies and . Find its fixed point. Does the sequence converge?
- Explain why can have only the limit if all terms are non-negative and the sequence converges.
Answers
- , so and . Since , each step multiplies the distance from by , so the sequence converges to .
- gives . But , and the terms are , so this sequence diverges.
- If , then . Squaring gives , hence or . Since a square root is non-negative, is inadmissible. Thus the only possible limit is . This identifies the limit if convergence is known; it does not by itself prove convergence.
Recurrences in models
Section titled “Recurrences in models”A recurrence is natural when the next state depends on the current state. Always define the terms and their timing before calculating.
Worked example 15: repeated percentage change with an addition
Section titled “Worked example 15: repeated percentage change with an addition”A wildlife reserve contains animals at the start of year . During each year, of the animals present at the start of that year leave, then animals are introduced. Let be the population at the start of year .
After the loss, remain. The recurrence is therefore
The next two values are
If the model permits fractional expected populations, keep the decimal during iteration. If actual whole animals are required, follow the rounding instruction in the question.
The equilibrium population satisfies
so
Because , the model approaches in the long term. Starting above , it decreases towards that equilibrium.
Common misconceptions
Section titled “Common misconceptions”A recurrence needs starting values
Section titled “A recurrence needs starting values”does not determine . It describes every arithmetic sequence with common difference .
An nth term and a recurrence use different inputs
Section titled “An nth term and a recurrence use different inputs”In , substitute the position . In , substitute the preceding term value .
Repetition must return to the same state
Section titled “Repetition must return to the same state”Seeing two equal values is enough to force a cycle only when the recurrence depends solely on the current state in the same way each time. For a second-order recurrence, the relevant state is the ordered pair of preceding terms.
Approaching zero is not the same as reaching zero
Section titled “Approaching zero is not the same as reaching zero”The sequence has positive terms for every finite , although . A limit describes long term proximity, not necessarily a term that occurs.
Solving the fixed-point equation does not prove convergence
Section titled “Solving the fixed-point equation does not prove convergence”Always separate these statements:
- If the sequence converges, its limit must satisfy .
- The sequence actually converges.
For linear recurrences, supplies a direct convergence test. For more complicated recurrences, a proof may require bounds and monotonicity or other analysis.
Mixed self-check
Section titled “Mixed self-check”- Given , find and show that is increasing for .
- Given and , find and state the period.
- Write as a first-order recurrence with an initial condition.
- Given and , find and the limit.
- A student solves for the recurrence and concludes that every such sequence converges to . Identify the error.
Answers
- . Also so the sequence is strictly increasing.
- The terms are , so the period is .
- and .
- and . The limit satisfies , so . Since , the sequence converges to this value.
- The fixed point is only a candidate limit. Here the multiplier has magnitude , so starts other than move away from the fixed point. Only the constant sequence beginning at converges to .
Next steps
Section titled “Next steps”Study arithmetic sequences and series and geometric sequences and series to obtain direct term and sum formulae for the two central families. Then learn to write sums with sigma notation and apply recursive change in sequences and series modelling.
Recurrence as numerical root-finding is developed further in numerical methods, where iteration is connected to equations, convergence and cobweb diagrams.