Halve the error at every step

A sequence of real numbers {un}\{u_n\} satisfies

un+1=12un+1,n∈Z+.u_{n+1}=\frac12u_n+1,\quad n\in\mathbb Z^+.

(a)(i) Given convergence to ll, find ll. marks

(ii) If un<lu_n<l, show un<un+1<lu_n<u_{n+1}<l. marks

(iii) If u1<lu_1<l, describe the behaviour. marks

(b) Another sequence has vn=un−2v_n=u_n-2, n∈Z+n\in\mathbb Z^+.

(i) Show {vn}\{v_n\} is a GP. marks

(ii) If u1=3u_1=3, show un=2+(1/2)n−1u_n=2+(1/2)^{n-1}. marks

[2011/TJC/Promo/14]

Total marks: 12

Solution

(a)(i)

Limit

un+1=12un+1u_{n+1}=\frac12u_n+1. Given that it converges to ll, find ll.

Explore this idea

Hint

  1. Replace both unu_n and un+1u_{n+1} by ll.

Answer · (a)(i)

l=2l=2.

Explore the idea

The line meets the diagonal at 2

Start at the chosen value on the horizontal axis, go up to the curve, across to the diagonal, and repeat. Each corner of the web is the next term.

Starting valueu₁ = 0
Iterations drawn4
Try an example
u(n = 5)
1.875
u(n = 1)
0
Distance to l = 2
0.125
Key idea

A line with slope 12\frac12 meets the diagonal once, at 22, and pulls both sides toward it.

Ideas to try
Start below 22 and above 22 in turn. Both webs head to the same point.
(a)(ii)

Invariant interval

If un<lu_n<l, show that un<un+1<lu_n<u_{n+1}<l.

Explore this idea

Hint

  1. Show un+1−un>0u_{n+1}-u_n>0.

  2. Show un+1−2<0u_{n+1}-2<0.

Answer · (a)(ii)

un+1−un=(2−un)/2>0u_{n+1}-u_n=(2-u_n)/2>0, un+1−2=(un−2)/2<0u_{n+1}-2=(u_n-2)/2<0.

Explore the idea

The web never crosses the fixed point

Open the increment plot to see why the step is positive below 22 and zero at 22.

Starting valueu₁ = 1
Iterations drawn4
Try an example
u(n = 5)
1.9375
u(n = 1)
1
Distance to l = 2
0.0625
Key idea

The map is increasing and fixes 22, so it maps (−∞,2)(-\infty,2) into itself; the positive increment then makes terms climb.

Ideas to try
  1. In the terms plot, all points stay under the guide at 22 and rise.
  2. In the increment plot, the dot is above the axis for every start below 22.
(a)(iii)

Describe the sequence

If u1<lu_1<l, describe the behaviour of the sequence.

Explore this idea

Hint

  1. Combine monotonic and bounded.

Answer · (a)(iii)

Increasing and bounded above by 22, converging to 22.

Explore the idea

Increasing and bounded

Drag the slider to change n and compare the plotted values.

Indexn = 3
Try an example
term uₙ (u₁ = 0) at n = 3
1.5
Key idea

Increasing and bounded above is enough to guarantee a limit; the fixed point then identifies it.

Ideas to try
The gap to 22 halves each step: read the value at n=4n=4, then at n=5n=5.
(b)(i)

Show a GP

vn=un−2v_n=u_n-2. Show that {vn}\{v_n\} is a geometric progression.

Explore this idea

Hint

  1. Express vn+1v_{n+1} in terms of vnv_n without dividing.

Answer · (b)(i)

vn+1=vn/2v_{n+1}=v_n/2; ratio 1/21/2 including the zero sequence.

Explore the idea

The shifted sequence halves each time

For u1=3u_1=3, the terms unu_n and the shifted terms vn=un−2v_n=u_n-2 are the same curve moved down by 22.

Indexn = 2
Try an example
term uₙ at n = 2
2.5
shifted vₙ = uₙ − 2 at n = 2
0.5
Key idea

Shifting by the fixed point removes the constant, leaving a pure multiplier.

Ideas to try
Compare vnv_n at n=2n=2 and n=3n=3: the second is half the first.
(b)(ii)

Closed form

If u1=3u_1=3, show that un=2+(12)n−1u_n=2+\left(\frac12\right)^{n-1}.

Explore this idea

Hint

  1. Find v1v_1, use the GP formula, then add 22 back.

Answer · (b)(ii)

un=2+(1/2)n−1u_n=2+(1/2)^{n-1}.

Explore the idea

From above

Start at the chosen value on the horizontal axis, go up to the curve, across to the diagonal, and repeat. Each corner of the web is the next term.

Starting valueu₁ = 3
Iterations drawn4
Try an example
u(n = 5)
2.0625
u(n = 1)
3
Distance to l = 2
0.0625
Key idea

Above 22 the terms fall and are still bounded below by 22; below 22 they rise. The gap is halved either way.

Ideas to try
From u1=3u_1=3 the terms are 3, 2.5, 2.25, 2.1253,\ 2.5,\ 2.25,\ 2.125. Each is 22 plus a halving gap.
Takeaway

Measure from the fixed point

Replacing unu_n by its distance from the fixed point turns an affine recurrence into a pure multiplier.