Skip to content

Sequences and recurrence relations

A sequence is an ordered list of numbers. If its terms are called u1,u2,u3,u_1,u_2,u_3,\ldots, then unu_n is the term in position nn.

There are two main ways to define a sequence:

  • an explicit formula, such as un=n23nu_n=n^2-3n, gives unu_n directly from nn;
  • a recurrence relation, such as un+1=2un3u_{n+1}=2u_n-3, gives a new term from one or more earlier terms.

A recurrence also needs enough initial conditions to start the process. Together,

u1=5,un+1=2un3u_1=5,\qquad u_{n+1}=2u_n-3

define one sequence. The recurrence alone defines infinitely many sequences, depending on the choice of u1u_1.

You should be able to:

An explicit formula is also called an nth-term formula. It is a position-to-term rule: substitute a positive integer value of nn to obtain the term in that position.

The sequence (un)(u_n) is defined by

un=(1)n(2n+1).u_n=(-1)^n(2n+1).

Find u1u_1, u2u_2, u5u_5 and u20u_{20}.

u1=(1)1(3)=3,u2=(1)2(5)=5,u5=(1)5(11)=11,u20=(1)20(41)=41.\begin{aligned} u_1&=(-1)^1(3)=-3,\\ u_2&=(-1)^2(5)=5,\\ u_5&=(-1)^5(11)=-11,\\ u_{20}&=(-1)^{20}(41)=41. \end{aligned}

Odd powers of 1-1 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 vn=n2+2nv_n=n^2+2n, determine whether 4848 is a term.

Set the formula equal to 4848:

n2+2n=48.n^2+2n=48.

Rearrange and factorise:

n2+2n48=0,n^2+2n-48=0,

(n+8)(n6)=0. (n+8)(n-6)=0.

Thus n=8n=-8 or n=6n=6. A term number must be a positive integer, so only n=6n=6 is valid. Therefore 48=v648=v_6.

An algebraic solution for nn is not sufficient. It must belong to the sequence’s index set, normally n=1,2,3,n=1,2,3,\ldots.

Let an=3n27a_n=3n^2-7.

  1. Find a1a_1, a4a_4 and a10a_{10}.
  2. Determine whether 6868 is a term.
Answers
  1. a1=4a_1=-4, a4=41a_4=41 and a10=293a_{10}=293.
  2. Setting 3n27=683n^2-7=68 gives n2=25n^2=25, so n=±5n=\pm5. Only the positive index is allowed, hence 68=a568=a_5.

A first-order recurrence uses the preceding term:

un+1=f(un).u_{n+1}=f(u_n).

Starting at u1u_1, repeatedly apply the function ff:

u1u2=f(u1)u3=f(u2).u_1\longmapsto u_2=f(u_1)\longmapsto u_3=f(u_2)\longmapsto\cdots.

This repeated substitution is called iteration.

Given

u1=10,un+1=un+23,u_1=10,\qquad u_{n+1}=\frac{u_n+2}{3},

find u2u_2, u3u_3 and u4u_4.

Use the most recently found term each time:

u2=10+23=4,u3=4+23=2,u4=2+23=43.\begin{aligned} u_2&=\frac{10+2}{3}=4,\\ u_3&=\frac{4+2}{3}=2,\\ u_4&=\frac{2+2}{3}=\frac43. \end{aligned}

Keep exact values unless the question requests decimals. Early rounding is repeatedly fed back into the rule and can accumulate error.

The sequence is defined by

x1=2,xn+1=xn23.x_1=2,\qquad x_{n+1}=x_n^2-3.

Find the first six terms.

x1=2,x2=223=1,x3=123=2,x4=(2)23=1,x5=123=2,x6=(2)23=1.\begin{aligned} x_1&=2,\\ x_2&=2^2-3=1,\\ x_3&=1^2-3=-2,\\ x_4&=(-2)^2-3=1,\\ x_5&=1^2-3=-2,\\ x_6&=(-2)^2-3=1. \end{aligned}

The sequence begins

2,1,2,1,2,1,2,1,-2,1,-2,1,\ldots

Brackets around a negative term are essential: (2)2=4(-2)^2=4, whereas 22=4-2^2=-4.

The recurrence

wn+2=wn+1+wnw_{n+2}=w_{n+1}+w_n

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

w1=1,w2=4,wn+2=2wn+1wn,w_1=1,\qquad w_2=4,\qquad w_{n+2}=2w_{n+1}-w_n,

find w3,w4,w5w_3,w_4,w_5.

w3=2w2w1=2(4)1=7,w4=2w3w2=2(7)4=10,w5=2w4w3=2(10)7=13.\begin{aligned} w_3&=2w_2-w_1=2(4)-1=7,\\ w_4&=2w_3-w_2=2(7)-4=10,\\ w_5&=2w_4-w_3=2(10)-7=13. \end{aligned}

Thus the sequence begins 1,4,7,10,13,1,4,7,10,13,\ldots. The recurrence uses two terms, even though this particular sequence is arithmetic.

  1. Given p1=7p_1=7 and pn+1=2pn5p_{n+1}=2p_n-5, find p2,p3,p4p_2,p_3,p_4.
  2. Given q1=2q_1=2, q2=1q_2=-1 and qn+2=qn+12qnq_{n+2}=q_{n+1}-2q_n, find q3,q4,q5q_3,q_4,q_5.
Answers
  1. p2=9p_2=9, p3=13p_3=13, p4=21p_4=21.
  2. q3=12(2)=5q_3=-1-2(2)=-5, q4=52(1)=3q_4=-5-2(-1)=-3, and q5=32(5)=7q_5=-3-2(-5)=7.

A valid recursive definition states both the recurrence and its initial condition. Look for how consecutive terms are connected.

The sequence has explicit formula

un=5(23)n1.u_n=5\left(\frac23\right)^{n-1}.

Write it recursively.

First find the initial term:

u1=5(23)0=5.u_1=5\left(\frac23\right)^0=5.

Each term is 23\frac23 times the preceding term, so

u1=5,un+1=23un.\boxed{u_1=5,\qquad u_{n+1}=\frac23u_n.}

Worked example 7: infer a linear recurrence

Section titled “Worked example 7: infer a linear recurrence”

Find a recurrence of the form un+1=aun+bu_{n+1}=au_n+b for

2,7,17,37,2,7,17,37,\ldots

Each term is twice the preceding term plus 33:

2(2)+3=7,2(7)+3=17,2(17)+3=37.2(2)+3=7,\qquad 2(7)+3=17,\qquad 2(17)+3=37.

Therefore one suitable definition is

u1=2,un+1=2un+3.\boxed{u_1=2,\qquad u_{n+1}=2u_n+3.}

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

un=43n1+1u_n=4\cdot3^{n-1}+1

satisfies

u1=5,un+1=3un2.u_1=5,\qquad u_{n+1}=3u_n-2.

First check the initial value:

u1=430+1=5.u_1=4\cdot3^0+1=5.

Next use the proposed formula for unu_n in the recurrence:

3un2=3(43n1+1)2=43n+1=un+1,\begin{aligned} 3u_n-2 &=3\left(4\cdot3^{n-1}+1\right)-2\\ &=4\cdot3^n+1\\ &=u_{n+1}, \end{aligned}

because replacing nn by n+1n+1 in the explicit formula gives

un+1=43(n+1)1+1=43n+1.u_{n+1}=4\cdot3^{(n+1)-1}+1=4\cdot3^n+1.

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 (un)(u_n) is:

  • strictly increasing if un+1>unu_{n+1}>u_n for every relevant nn;
  • strictly decreasing if un+1<unu_{n+1}<u_n for every relevant nn;
  • non-decreasing if un+1unu_{n+1}\geq u_n;
  • non-increasing if un+1unu_{n+1}\leq u_n.

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

un+1un.u_{n+1}-u_n.

Worked example 9: prove that a sequence is increasing

Section titled “Worked example 9: prove that a sequence is increasing”

Show that un=n2+3nu_n=n^2+3n is strictly increasing for n1n\geq1.

un+1un=((n+1)2+3(n+1))(n2+3n)=n2+2n+1+3n+3n23n=2n+4.\begin{aligned} u_{n+1}-u_n &=\left((n+1)^2+3(n+1)\right)-(n^2+3n)\\ &=n^2+2n+1+3n+3-n^2-3n\\ &=2n+4. \end{aligned}

For every n1n\geq1, 2n+4>02n+4>0. Hence un+1>unu_{n+1}>u_n, so (un)(u_n) is strictly increasing.

Listing the first few terms is evidence, not proof that the pattern continues for every nn.

Worked example 10: a sequence that is not monotonic

Section titled “Worked example 10: a sequence that is not monotonic”

Consider vn=(1)n/nv_n=(-1)^n/n:

1,12,13,14,15,-1,\frac12,-\frac13,\frac14,-\frac15,\ldots

The terms alternate between negative and positive values. In particular,

v2>v1butv3<v2.v_2>v_1\qquad\text{but}\qquad v_3<v_2.

Therefore the sequence is neither increasing nor decreasing. Although vn|v_n| decreases, the sequence (vn)(v_n) itself does not move in one direction.

A sequence is periodic if some positive integer kk satisfies

un+k=unu_{n+k}=u_n

for every relevant nn. The least such kk is its period.

For the recurrence

u1=2,un+1=11un,u_1=2,\qquad u_{n+1}=\frac{1}{1-u_n},

generate terms until a pattern repeats.

u2=1,u3=12,u4=2.u_2=-1,\qquad u_3=\frac12,\qquad u_4=2.

Once u4=u1u_4=u_1, the deterministic recurrence repeats the same transitions:

2,1,12,2,1,12,2,-1,\frac12,2,-1,\frac12,\ldots

The period is 33.

The domain still matters. For example, the same recurrence cannot generate a second term from u1=1u_1=1, because division by zero would be required.

  1. Show that an=103na_n=10-3n is strictly decreasing.
  2. State the period of bn=cos(nπ/2)b_n=\cos(n\pi/2) for n=1,2,3,n=1,2,3,\ldots.
  3. Is cn=(1)nnc_n=(-1)^n n monotonic? Explain briefly.
Answers
  1. an+1an=[103(n+1)](103n)=3<0a_{n+1}-a_n=[10-3(n+1)]-(10-3n)=-3<0, so the sequence is strictly decreasing.
  2. Its terms are 0,1,0,1,0,1,0,-1,0,1,0,-1,\ldots, so the period is 44.
  3. No. Its terms 1,2,3,4,-1,2,-3,4,\ldots alternate in sign, so consecutive differences do not keep one sign.

A sequence converges to a limit LL if its terms become arbitrarily close to LL as nn becomes large. We write

limnun=L\lim_{n\to\infty}u_n=L

or unLu_n\to L.

A sequence that does not approach a finite limit diverges. Divergence includes:

  • growing without bound, such as un=n2u_n=n^2;
  • decreasing without bound, such as un=nu_n=-n;
  • continuing to oscillate, such as un=(1)nu_n=(-1)^n.

Suppose

un+1=f(un)u_{n+1}=f(u_n)

and the sequence converges to LL. Then both unu_n and un+1u_{n+1} approach the same limit. Provided ff behaves continuously near LL,

L=f(L).L=f(L).

Such a value is called a fixed point of ff.

Worked example 12: find and confirm a linear limit

Section titled “Worked example 12: find and confirm a linear limit”

Let

u1=10,un+1=12un+3.u_1=10,\qquad u_{n+1}=\frac12u_n+3.

The first terms are

10,8,7,6.5,6.25,10,8,7,6.5,6.25,\ldots

They suggest a limit of 66. If a limit LL exists, then

L=12L+3,L=\frac12L+3,

so L=6L=6.

To see why convergence really occurs, subtract the fixed point from both sides:

un+16=12un+36=12(un6).\begin{aligned} u_{n+1}-6 &=\frac12u_n+3-6\\ &=\frac12(u_n-6). \end{aligned}

Each step halves the distance from 66. In fact,

un6=4(12)n1,u_n-6=4\left(\frac12\right)^{n-1},

so

un=6+4(12)n16.u_n=6+4\left(\frac12\right)^{n-1}\longrightarrow6.

This argument establishes convergence, not merely the value the limit would have if it existed.

For

un+1=aun+b,a1,u_{n+1}=au_n+b,\qquad a\ne1,

the fixed point is

L=b1a.L=\frac{b}{1-a}.

Subtracting it gives

un+1L=a(unL).u_{n+1}-L=a(u_n-L).

Therefore

unL=an1(u1L).u_n-L=a^{n-1}(u_1-L).

This reveals the long term behaviour:

Value of aaTypical behaviour when u1Lu_1\ne L
$a
1<a<0-1<a<0Converges while alternating around LL
a=1a=1No unique fixed point; un=u1+(n1)bu_n=u_1+(n-1)b
a=1a=-1Usually alternates between two values
$a

The exceptional start u1=Lu_1=L produces the constant sequence L,L,L,L,L,L,\ldots for any aa.

Worked example 13: alternating convergence

Section titled “Worked example 13: alternating convergence”

Given

u1=8,un+1=412un,u_1=8,\qquad u_{n+1}=4-\frac12u_n,

find the limit and describe the approach.

If a limit exists,

L=412L,L=4-\frac12L,

so

32L=4L=83.\frac32L=4\qquad\Longrightarrow\qquad L=\frac83.

Here a=12a=-\frac12, whose magnitude is less than 11. Thus the distance from 8/38/3 is multiplied by 1/21/2 each time, while its sign reverses. The sequence converges to 8/38/3, alternating from one side to the other:

8,0,4,2,3,52,8,0,4,2,3,\frac52,\ldots

Worked example 14: fixed points without convergence

Section titled “Worked example 14: fixed points without convergence”

Let

x1=3,xn+1=xn22.x_1=3,\qquad x_{n+1}=x_n^2-2.

Solving the fixed-point equation gives

L=L22,L=L^2-2,

L2L2=0,L^2-L-2=0,

L=2orL=1.L=2\quad\text{or}\quad L=-1.

However,

x2=7,x3=47,x4=2207.x_2=7,\qquad x_3=47,\qquad x_4=2207.

The sequence plainly moves away and does not converge to either candidate. The equation L=f(L)L=f(L) supplied necessary candidates under an assumption of convergence. It did not supply a convergence proof.

  1. A sequence satisfies u1=1u_1=1 and un+1=0.3un+7u_{n+1}=0.3u_n+7. Find its limit and justify convergence.
  2. A sequence satisfies v1=0v_1=0 and vn+1=52vnv_{n+1}=5-2v_n. Find its fixed point. Does the sequence converge?
  3. Explain why wn+1=6+wnw_{n+1}=\sqrt{6+w_n} can have only the limit 33 if all terms are non-negative and the sequence converges.
Answers
  1. L=0.3L+7L=0.3L+7, so 0.7L=70.7L=7 and L=10L=10. Since 0.3<1|0.3|<1, each step multiplies the distance from 1010 by 0.30.3, so the sequence converges to 1010.
  2. L=52LL=5-2L gives L=5/3L=5/3. But a=2>1|a|=2>1, and the terms are 0,5,5,15,25,0,5,-5,15,-25,\ldots, so this sequence diverges.
  3. If wnLw_n\to L, then L=6+LL=\sqrt{6+L}. Squaring gives L2L6=0L^2-L-6=0, hence L=3L=3 or L=2L=-2. Since a square root is non-negative, L=2L=-2 is inadmissible. Thus the only possible limit is 33. This identifies the limit if convergence is known; it does not by itself prove convergence.

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 12001200 animals at the start of year 11. During each year, 15%15\% of the animals present at the start of that year leave, then 9090 animals are introduced. Let PnP_n be the population at the start of year nn.

After the 15%15\% loss, 85%85\% remain. The recurrence is therefore

P1=1200,Pn+1=0.85Pn+90.\boxed{P_1=1200,\qquad P_{n+1}=0.85P_n+90.}

The next two values are

P2=0.85(1200)+90=1110,P3=0.85(1110)+90=1033.5.\begin{aligned} P_2&=0.85(1200)+90=1110,\\ P_3&=0.85(1110)+90=1033.5. \end{aligned}

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

P=0.85P+90,P=0.85P+90,

so

0.15P=90P=600.0.15P=90\qquad\Longrightarrow\qquad P=600.

Because 0.85<1|0.85|<1, the model approaches 600600 in the long term. Starting above 600600, it decreases towards that equilibrium.

un+1=un+4u_{n+1}=u_n+4 does not determine u1u_1. It describes every arithmetic sequence with common difference 44.

An nth term and a recurrence use different inputs

Section titled “An nth term and a recurrence use different inputs”

In un=n2+1u_n=n^2+1, substitute the position nn. In un+1=un2+1u_{n+1}=u_n^2+1, substitute the preceding term value unu_n.

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 un=(1/2)nu_n=(1/2)^n has positive terms for every finite nn, although un0u_n\to0. 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:

  1. If the sequence converges, its limit must satisfy L=f(L)L=f(L).
  2. The sequence actually converges.

For linear recurrences, a<1|a|<1 supplies a direct convergence test. For more complicated recurrences, a proof may require bounds and monotonicity or other analysis.

  1. Given un=2n2nu_n=2n^2-n, find u6u_6 and show that (un)(u_n) is increasing for n1n\geq1.
  2. Given v1=4v_1=4 and vn+1=3vnv_{n+1}=3-v_n, find v2,v3,v4,v5v_2,v_3,v_4,v_5 and state the period.
  3. Write 5,11,23,47,5,11,23,47,\ldots as a first-order recurrence with an initial condition.
  4. Given x1=20x_1=20 and xn+1=0.4xn+9x_{n+1}=0.4x_n+9, find x2,x3x_2,x_3 and the limit.
  5. A student solves L=2L+1L=2L+1 for the recurrence yn+1=2yn+1y_{n+1}=2y_n+1 and concludes that every such sequence converges to 1-1. Identify the error.
Answers
  1. u6=2(36)6=66u_6=2(36)-6=66. Also un+1un=[2(n+1)2(n+1)](2n2n)=4n+1>0,u_{n+1}-u_n=[2(n+1)^2-(n+1)]-(2n^2-n)=4n+1>0, so the sequence is strictly increasing.
  2. The terms are 4,1,4,1,44,-1,4,-1,4, so the period is 22.
  3. u1=5u_1=5 and un+1=2un+1u_{n+1}=2u_n+1.
  4. x2=17x_2=17 and x3=15.8x_3=15.8. The limit satisfies L=0.4L+9L=0.4L+9, so L=15L=15. Since 0.4<1|0.4|<1, the sequence converges to this value.
  5. The fixed point 1-1 is only a candidate limit. Here the multiplier has magnitude 2>12>1, so starts other than y1=1y_1=-1 move away from the fixed point. Only the constant sequence beginning at 1-1 converges to 1-1.

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.