1.04e–1.04g - Sequences, recurrence and sigma notation

1.04e–1.04g - Sequences, recurrence and sigma notation

Generate sequence terms from an explicit rule or a recurrence, describe their behaviour and add them using sigma notation. You will distinguish a convincing general reason from a pattern suggested by a few displayed terms.

Generate terms from a rule

Can the same recurrence produce both a growing sequence and a constant one? Try “double the previous term, then subtract one”. Starting at 33 gives 3,5,9,17,…3,5,9,17,\ldots; starting at 11 seems to leave you exactly where you began. The starting value is part of the rule's instructions.

You already know

A function takes an input and produces an output. Substituting a value into 2x−12x-1 means doubling that value and then subtracting 11.

An index labels a position. It is not a factor: u3u_3 means the third term, not 3u3u.

Sequence, explicit rule and recurrence

A sequence is an ordered list with a term at each permitted integer position. An explicit rule gives a term directly from its position, such as un=n2+1u_n=n^2+1. A recurrence gives a term from earlier terms, such as un+1=2un−1u_{n+1}=2u_n-1, and needs enough initial values to start it. Always specify whether the first index is 00 or 11.

For un=n2+1u_n=n^2+1 with n≥1n\ge1, the first four terms are 2,5,10,172,5,10,17 and u10=101u_{10}=101. A recurrence instead feeds each output back in as the next input. These definitions and rules are not in the formula sheet: learn them.

Worked example 1: feed the previous output back in

Question. For u1=3u_1=3 and un+1=2un−1u_{n+1}=2u_n-1, find u2,u3,u4u_2,u_3,u_4.

Plan. Apply the recurrence successively, using the previous term rather than its index.

u2=2(3)−1=5use u1u3=2(5)−1=9use u2u4=2(9)−1=17use u3\begin{aligned} u_2&=2(3)-1=5 &&\text{use }u_1\\ u_3&=2(5)-1=9 &&\text{use }u_2\\ u_4&=2(9)-1=17 &&\text{use }u_3 \end{aligned}

Why not put n=3n=3 into 2un−12u_n-1 as 2(3)−12(3)-1? The input is the value u3=9u_3=9, not the position 33.

Answer. u2=5, u3=9, u4=17u_2=5,\ u_3=9,\ u_4=17.

Check. Substituting u3=9u_3=9 gives the stated fourth term 1717.

Change only the initial value from 33 to 11. Keep the recurrence unchanged.

Worked example 2: a fixed starting value

Question. For u1=1u_1=1 and un+1=2un−1u_{n+1}=2u_n-1, find u2,u3,u4u_2,u_3,u_4, and describe all later terms.

Plan. Generate terms, then check whether the starting value is returned unchanged by the rule.

u2=2(1)−1=1first substitutionu3=2(1)−1=1the input is still 1u4=2(1)−1=1the same calculation repeats\begin{aligned} u_2&=2(1)-1=1 &&\text{first substitution}\\ u_3&=2(1)-1=1 &&\text{the input is still }1\\ u_4&=2(1)-1=1 &&\text{the same calculation repeats} \end{aligned}

Why does this establish every later term? Whenever the input is 11, the output is exactly 11, so it remains available as the next input.

Answer. Every term equals 11; the sequence is constant.

Check. The fixed-value equation L=2L−1L=2L-1 gives L=1L=1.

A finite list does not uniquely determine its continuation. For example, 4,7,12,194,7,12,19 fits un=n2+3u_n=n^2+3, but also un=n2+3+(n−1)(n−2)(n−3)(n−4)u_n=n^2+3+(n-1)(n-2)(n-3)(n-4). The first four correction products are zero; at n=5n=5, the rules give 2828 and 5252. Four perfect matches still leave room for a surprise. Use a stated family of rules or a general argument before claiming an nth term.

Watch out

Wrong: generate a recurrence by inserting n=1,2,3n=1,2,3 as its inputs. Right: insert the preceding term. A recurrence without an initial value generally describes many possible sequences.

Change the starting value once more.

Finite, infinite and repeating sequences

The allowed positions determine whether a sequence ends. The rule un=2nu_n=2n, for 1≤n≤51\le n\le5, gives 2,4,6,8,102,4,6,8,10. For all positive integers nn, the same rule gives an infinite sequence.

Finite, increasing and periodic

A finite sequence has a last position; an infinite sequence has endlessly many positions. Here increasing means un+1>unu_{n+1}>u_n at every consecutive pair, and decreasing means un+1<unu_{n+1}<u_n. A periodic sequence repeats after a fixed positive integer number of positions: un+p=unu_{n+p}=u_n. Its period is the smallest such pp.

An infinite sequence need not grow: 1,1,1,…1,1,1,\ldots is infinite and constant. Our increasing/decreasing convention is strict; “non-decreasing” allows equality. For un=n2u_n=n^2, the difference (n+1)2−n2=2n+1>0(n+1)^2-n^2=2n+1>0 proves increase for every positive integer nn. For un=1/nu_n=1/n, the denominator rises so each positive term is smaller. These behaviour definitions are not in the formula sheet: learn them.

Worked example 3: a two-term cycle

Question. For a1=2a_1=2 and an+1=5−ana_{n+1}=5-a_n, describe the sequence and its period.

Plan. Generate a block, then show that two applications of the rule return any input.

a2=5−2=3,a3=5−3=2the first values returnan+2=5−(5−an)=antwo steps undo each other\begin{aligned} a_2&=5-2=3,\quad a_3=5-3=2 &&\text{the first values return}\\ a_{n+2}&=5-(5-a_n)=a_n &&\text{two steps undo each other} \end{aligned}

Why check two general steps? It establishes repetition for all positions, rather than just observing a short list.

Answer. 2,3,2,3,…2,3,2,3,\ldots is infinite, neither increasing nor decreasing, and periodic with period 22.

Check. The two terms differ, so the smallest period cannot be 11.

Change only the initial value to the midpoint 5/25/2. The same two-step identity holds, but the smallest period changes.

Worked example 4: the constant boundary case

Question. For a1=5/2a_1=5/2 and an+1=5−ana_{n+1}=5-a_n, describe the sequence and its period.

Plan. Test whether one step already returns the initial value.

a2=5−52=52the value is fixedan+1=52whenever an=52the calculation repeats\begin{aligned} a_2&=5-\frac52=\frac52 &&\text{the value is fixed}\\ a_{n+1}&=\frac52\quad\text{whenever }a_n=\frac52 &&\text{the calculation repeats} \end{aligned}

Why is the period not 22? Returning after two steps is true, but the definition asks for the smallest positive return length.

Answer. It is an infinite constant sequence with period 11, neither strictly increasing nor strictly decreasing.

Check. Consecutive terms are equal, so neither strict inequality holds.

Alternating signs do not guarantee a repeated block. The terms of (−1)n/n(-1)^n/n alternate, but their magnitudes keep changing, so this sequence is not periodic.

Watch out

Wrong: “infinite means the terms become arbitrarily large”. Right: it means there is no last position. A constant or a repeating sequence can have infinitely many terms.

Keep the recurrence, changing its starting value again.

Continue this lesson.

You’re previewing NovaLearn without an account. Create a free account to read the rest.

Create free account