All revision notes topics

First-order recurrence relationsEdexcel A-Level Further Maths: Revision notes

Section 1

First-order recurrence relations

A recurrence relation defines each term of a sequence from earlier terms. A first-order relation involves only consecutive terms and has the form un+1+f(n)un=g(n)u_{n+1}+f(n)u_n=g(n), where ff and gg are functions of nn (often constants). With a starting value such as u1u_1, you can generate terms one at a time: for un+1−5un=8u_{n+1}-5u_n=8 with u1=1u_1=1, u2=5(1)+8=13u_2=5(1)+8=13 and u3=5(13)+8=73u_3=5(13)+8=73. Recurrence relations model situations where a quantity changes in steps, such as a population that grows by a fixed percentage and is then reduced by a fixed number each year: Pn+1=1.15Pn−60P_{n+1}=1.15P_n-60. A closed form gives unu_n directly in terms of nn, so that you can find any term without working through all the earlier ones.

Key termsrecurrence relationclosed form
Common mistake

Writing un+1−5un=8u_{n+1}-5u_n=8 as un+1=5un−8u_{n+1}=5u_n-8. Rearranging gives un+1=5un+8u_{n+1}=5u_n+8.

Section 2

The complementary function and auxiliary equation

Solving un+1+fun=g(n)u_{n+1}+fu_n=g(n) with constant ff has two parts. First solve the homogeneous relation un+1+fun=0u_{n+1}+fu_n=0 (right-hand side replaced by zero). Try un=Amnu_n=Am^n, which gives the auxiliary equation m+f=0m+f=0, so m=−fm=-f. The complementary function (CF) is un=A(−f)nu_n=A(-f)^n. For un+1−5un=8u_{n+1}-5u_n=8 the auxiliary equation is m−5=0m-5=0, so the CF is A×5nA\times5^n, where AA is an arbitrary constant. The CF alone does not satisfy the full relation unless g(n)=0g(n)=0; it is the part that carries the arbitrary constant.

Key termsauxiliary equationcomplementary function
Exam tip

Check the root by substituting un=mnu_n=m^n back: mn+1−5mn=0m^{n+1}-5m^n=0 gives m=5m=5.

Section 3

The particular solution

A particular solution (PS) is any single solution of the full relation un+1+fun=g(n)u_{n+1}+fu_n=g(n). Choose its form to match g(n)g(n).

  • g(n)=kg(n)=k (constant): try un=λu_n=\lambda.
  • g(n)g(n) linear, pn+qpn+q: try un=an+bu_n=an+b.
  • g(n)g(n) quadratic: try un=an2+bn+cu_n=an^2+bn+c.
  • g(n)=krng(n)=kr^n: try un=λrnu_n=\lambda r^n (if rr is the root of the auxiliary equation, use λnrn\lambda nr^n). Substitute into the relation and compare coefficients. For un+1−5un=8u_{n+1}-5u_n=8, un=λu_n=\lambda gives λ−5λ=8\lambda-5\lambda=8, so λ=−2\lambda=-2. For un+1−2un=6nu_{n+1}-2u_n=6n, un=an+bu_n=an+b gives −an+a−b=6n-an+a-b=6n, so a=−6a=-6, b=−6b=-6 and the PS is −6n−6-6n-6.
Key termsparticular solution
Common mistake

Trying un=λu_n=\lambda when g(n)g(n) is linear. A constant trial cannot produce a term in nn; use an+ban+b.

Section 4

General solution and closed form

The general solution is un=CF+PSu_n=\text{CF}+\text{PS}. Use the starting value to find AA. Worked example: un+1−5un=8u_{n+1}-5u_n=8, u1=1u_1=1. CF =A×5n=A\times5^n and PS =−2=-2, so un=A×5n−2u_n=A\times5^n-2. When n=1n=1: 5A−2=15A-2=1, so A=35A=\frac35 and un=35×5n−2=3×5n−1−2.u_n=\frac35\times5^n-2=3\times5^{n-1}-2. Check: u2=3(5)−2=13u_2=3(5)-2=13, which matches 5(1)+85(1)+8. Always check against the first two terms generated directly from the recurrence. If the initial term is u0u_0 rather than u1u_1, substitute n=0n=0.

Key termsgeneral solution
Exam tip

Substitute the initial condition into the general solution only after adding the particular solution, not into the CF alone.

Section 5

Proof by induction of closed forms

To prove a closed form is correct, use induction. Basis: show the formula gives the right value for n=1n=1. Assumption: assume uku_k equals the formula. Inductive step: use the recurrence to write uk+1u_{k+1} in terms of uku_k, substitute the assumed formula and show the result is the formula with n=k+1n=k+1. Conclusion: a full sentence. Example: un+1−3un=4u_{n+1}-3u_n=4, u1=1u_1=1, prove un=3n−2u_n=3^n-2. For n=1n=1: 3−2=13-2=1. Assume uk=3k−2u_k=3^k-2. Then uk+1=3uk+4=3(3k−2)+4=3k+1−2u_{k+1}=3u_k+4=3(3^k-2)+4=3^{k+1}-2, which is the formula with n=k+1n=k+1. True for n=1n=1, and true for kk implies true for k+1k+1, so true for all positive integers nn by mathematical induction.

Key termsproof by induction
Common mistake

Leaving out the conclusion sentence. The mark requires the statement that the result is true for all positive integers nn.

Section 6

Modelling with recurrence relations

In a model such as Pn+1=1.15Pn−60P_{n+1}=1.15P_n-60, the multiplier 1.151.15 is the growth factor and −60-60 is a fixed removal each year. The constant particular solution λ=1.15λ−60\lambda=1.15\lambda-60 gives λ=400\lambda=400, which is the equilibrium value: if Pn=400P_n=400 the population stays at 400. The closed form is Pn=100(1.15)n−1+400P_n=100(1.15)^{n-1}+400 when P1=500P_1=500. Because the multiplier is greater than 1, the population grows without limit above 400 (and would fall below 400 if it started under it). Interpret the numbers in context and comment on limitations: real populations are not limited by a constant growth rate or exactly 60 removals.

Key termsequilibrium
Exam tip

For a percentage increase of rr%, the multiplier is 1+r1001+\frac{r}{100}; for a decrease it is 1−r1001-\frac{r}{100}.

That's the notes covered.

Carry on to the next subtopic.

Exam questions on First-order recurrence relations

  1. A sequence is defined by un+1−5un=8u_{n+1}-5u_n=8 for n≥1n\geq1, with u1=1u_1=1.
    Hence find unu_n in terms of nn.2 marks
  2. A fish farm models the number of fish PnP_n in a lake at the start of year nn by Pn+1=1.15Pn−60P_{n+1}=1.15P_n-60, with P1=500P_1=500. Each year the population grows by 15% and then 60 fish are removed.
    Given that Pn=100(1.15)n−1+400P_n=100(1.15)^{n-1}+400, find the first year in which the population exceeds 10001000.2 marks
  3. A sequence satisfies un+1−2un=6nu_{n+1}-2u_n=6n for n≥1n\geq1, with u1=5u_1=5.
    Find the complementary function and a particular solution of the form un=an+bu_n=an+b.3 marks
See the full worksheet

Written by the Exaim team, led by Shaun Daswani (Head of Upper Secondary, Improve ME Institute; MSc Financial Mathematics, Imperial College London; BSc, UCL) and Jason Daswani (operational lead, Improve ME Institute; LSE).