Ms6–Ms11 - Sequences, recurrence and sigma notation

Ms6–Ms11 - Sequences, recurrence and sigma notation

Read a sequence rule carefully, generate its terms and describe how it behaves. You will distinguish terms from partial sums, interpret unfamiliar sigma notation and investigate limits without treating a few rounded values as a proof.

Generate terms from a rule

How can 3,5,7,9,…3,5,7,9,\ldots have a fourth term of 99, but a sum to four terms of 2424? The position and the running total answer different questions. First we need a precise way to describe the terms themselves.

You already know

Substitution puts an input into a rule. In 3x−23x-2, replace xx by the chosen input, multiply by 33, then subtract 22.

The kth term is often written aka_k. Its subscript records the position, not a multiplier.

Sequence and recurrence

A sequence is an ordered list of numbers, with a term at each allowed integer position. A kth-term rule gives a term directly from its position, such as ak=2+3ka_k=2+3k. A recurrence gives the next term from an earlier one, such as ak+1=3ak−2a_{k+1}=3a_k-2, and needs initial information. State whether indexing starts at 00 or 11.

For ak=2+3ka_k=2+3k starting at k=1k=1, the first four terms are 5,8,11,145,8,11,14; starting at k=0k=0, they are 2,5,8,112,5,8,11. The formula is unchanged but the allowed positions differ. These definitions are not in the formula sheet: learn them.

Worked example 1: recurrence values are the inputs

Question. Given a1=2a_1=2 and ak+1=3ak−2a_{k+1}=3a_k-2, find a2,a3,a4a_2,a_3,a_4.

Plan. Feed each newly calculated value into the same rule.

a2=3(2)−2=4use a1a3=3(4)−2=10use a2a4=3(10)−2=28use a3\begin{aligned} a_2&=3(2)-2=4 &&\text{use }a_1\\ a_3&=3(4)-2=10 &&\text{use }a_2\\ a_4&=3(10)-2=28 &&\text{use }a_3 \end{aligned}

Why not put the index kk into the rule? The recurrence requires aka_k, the term value, as its input.

Answer. 4,10,284,10,28.

Check. The differences from 11 are 1,3,9,271,3,9,27, each three times the previous difference, consistent with ak+1−1=3(ak−1)a_{k+1}-1=3(a_k-1).

Change only the initial term to 11. The rule can now give completely different behaviour.

Worked example 2: a fixed starting term

Question. Given a1=1a_1=1 and ak+1=3ak−2a_{k+1}=3a_k-2, find the first four terms and explain what happens afterwards.

Plan. Test whether the recurrence returns 11 unchanged.

a2=3(1)−2=1first outputa3=3(1)−2=1same input againa4=3(1)−2=1the calculation repeats\begin{aligned} a_2&=3(1)-2=1 &&\text{first output}\\ a_3&=3(1)-2=1 &&\text{same input again}\\ a_4&=3(1)-2=1 &&\text{the calculation repeats} \end{aligned}

Why can we describe all later terms? Once the input is 11, every subsequent output is exactly 11.

Answer. The sequence is 1,1,1,1,…1,1,1,1,\ldots, so it is constant.

Check. Solving L=3L−2L=3L-2 gives the fixed value L=1L=1.

Even a simple-looking list can conceal a different continuation. The rules ak=2+3ka_k=2+3k and ak=2+3k+(k−1)(k−2)(k−3)a_k=2+3k+(k-1)(k-2)(k-3) both start 5,8,115,8,11. At k=4k=4, they give 1414 and 2020. Three exact matches do not determine every future term; any claimed rule needs stated assumptions.

Watch out

Wrong: a recurrence alone specifies one sequence. Right: its initial value matters, as the two worked examples show. Do not confuse a position rule with a term-to-term rule.

Keep the recurrence and change only its starting value again.

Finite, infinite and repeating sequences

A finite sequence has a final position. An infinite sequence has terms at endlessly many positions, even if its values stay small. Thus ak=2ka_k=2k, for 1≤k≤51\le k\le5, gives the finite list 2,4,6,8,102,4,6,8,10; for every positive integer kk, it defines an infinite sequence.

Increasing, decreasing and periodic

Here increasing means ak+1>aka_{k+1}>a_k for each consecutive pair; decreasing means ak+1<aka_{k+1}<a_k. A periodic sequence satisfies ak+p=aka_{k+p}=a_k for all permitted kk, for some fixed positive integer pp. Its period is the smallest such pp. A constant sequence has period 11, and is neither strictly increasing nor strictly decreasing.

For ak=k2a_k=k^2, (k+1)2−k2=2k+1>0(k+1)^2-k^2=2k+1>0 for positive integers, proving increase. The terms 1/k1/k decrease because their positive denominators increase. Some contexts say “non-decreasing” to permit equal consecutive values; our inequalities above are strict. These definitions are not in the formula sheet: learn them.

Worked example 3: establish a repeating block

Question. For c1=1c_1=1, ck+1=6−ckc_{k+1}=6-c_k, find the first four terms and describe the sequence's behaviour.

Plan. Generate terms, then apply the recurrence twice symbolically.

c1,c2,c3,c4=1,5,1,5successive substitutionck+2=6−(6−ck)=cktwo steps return the input\begin{aligned} c_1,c_2,c_3,c_4&=1,5,1,5 &&\text{successive substitution}\\ c_{k+2}&=6-(6-c_k)=c_k &&\text{two steps return the input} \end{aligned}

Why is the symbolic step useful? It proves that the observed block repeats indefinitely.

Answer. It is infinite, periodic with period 22, and neither increasing nor decreasing.

Check. The two consecutive values differ, so period 11 is impossible.

Change only the starting term to 33, the midpoint of the two values subtracted in the rule.

Worked example 4: a shorter repeating block

Question. For c1=3c_1=3, ck+1=6−ckc_{k+1}=6-c_k, describe the sequence and its smallest period.

Plan. Check whether a single application fixes the initial value.

c2=6−3=3one step returns 3c3=6−3=3the same calculation repeats\begin{aligned} c_2&=6-3=3 &&\text{one step returns }3\\ c_3&=6-3=3 &&\text{the same calculation repeats} \end{aligned}

Why not say the period is 22? Two steps do return the input, but one step already does so.

Answer. 3,3,3,…3,3,3,\ldots is infinite and constant, with period 11; it is neither strictly increasing nor strictly decreasing.

Check. Every difference ck+1−ckc_{k+1}-c_k equals 00.

An alternating sign pattern alone is not periodic: (−1)k/k(-1)^k/k has changing magnitudes. In contrast, (−1)k(-1)^k really repeats its two values. You need a repeating block of values, rather than just repeating signs.

Watch out

Wrong: “a bounded sequence is finite”. Right: bounded describes the size of its terms; finite describes how many positions it has. An endless two-value cycle is bounded and infinite.

Change the initial term in the same recurrence again.

Series add terms and sigma records the sum

A series adds consecutive sequence terms, starting from the first term. The partial sum SnS_n adds the first nn terms. For the opening sequence 3,5,7,9,…3,5,7,9,\ldots, the partial sums are 3,8,15,24,…3,8,15,24,\ldots, which explains why its fourth term and its sum to four terms differ.

Partial sums and sigma notation

Sn=∑k=1nak=a1+a2+⋯+an.S_n=\sum_{k=1}^{n}a_k=a_1+a_2+\cdots+a_n.

Sigma instructs you to add the term expression over every integer index from the lower limit to the upper limit, both included. The index is a dummy variable: changing its letter consistently leaves the sum unchanged.

Not in the formula sheet: learn it.

Continue this lesson.

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

Create free account