Definition · Sigma notationFor a sequence aₖ and integers m ≤ n, the symbol Σ aₖ with k running from m to n means aₘ + aₘ₊₁ + … + aₙ. The letter k is the index of summation, m is the lower limit, n the upper limit, and the expression being summed is the summand.
Displayed, the limits sit under and over the Σ. In a line of prose there is no room for that, so this course writes the Σ, then the summand, and says the range in words. If the upper limit is below the lower one there are no terms and the sum is 0, which is the number you have when you have added nothing.
The first thing to do with a sigma you have not met is expand it. Substituting every value of the index in turn is slow and it is also the definition, so it can never be wrong.
5
Σ k² = 1² + 2² + 3² + 4² + 5²
k=1
= 1 + 4 + 9 + 16 + 25
= 55
Two things the notation permits that are easy to miss. The summand need not mention the index, in which case every term is the same and the limits alone decide how many. And the lower limit need not be 1: starting at 0 is common, and starting at 2 is what you have left after peeling the first term off something else.
Example · Three sigmas expandedΣ 7 over k from 1 to 4 is 7 + 7 + 7 + 7 = 28. The k appears nowhere in the summand, and four terms is what the limits asked for. Σ 2ᵏ over k from 0 to 3 is 1 + 2 + 4 + 8 = 15, and the first term is 2⁰ = 1 rather than 2. Σ (-1)ᵏ k over k from 2 to 5 is 2 - 3 + 4 - 5 = -2, where the (-1)ᵏ is doing nothing but setting signs.
Writing a sum in sigma notation
Going the other way has two halves. Find a formula that produces the terms from an index, then choose limits that produce exactly the terms you want and no others. The second half is where the choice lies, because a sum has no single correct sigma.
Example · One sum, three sigmas3 + 5 + 7 + 9 + 11 is 35, and all three of these produce it: Σ (2k + 1) over k from 1 to 5; Σ (2k + 3) over k from 0 to 4; Σ (2k - 3) over k from 3 to 7. Each has five terms, each starts at 3 and ends at 11. Which one you write is a matter of where you chose to start counting, and nothing else.
Theorem · What passes through a sigmaFor any sequences aₖ and bₖ, any constant c, and any range of k from m to n: Σ c·aₖ = c·Σ aₖ, and Σ (aₖ + bₖ) = Σ aₖ + Σ bₖ, and Σ c = (n - m + 1)c.
The first two are the distributive law and the freedom to reorder a finite sum, written for many terms at once. The third is the constant summand: one c per value of the index, so the multiplier is the term count and not n.
What is not on that list is a rule for products, and it is the one people reach for. Σ (aₖbₖ) is not (Σ aₖ)(Σ bₖ): take k = 1, 2 with aₖ = bₖ = k, and the left side is 1 + 4 = 5 while the right side is 3 · 3 = 9. Nor does a reciprocal pass through — with terms 1 and 2, Σ (1/aₖ) is 1 + 1/2 = 3/2 and 1/(Σ aₖ) is 1/3. Sigma abbreviates addition, so addition and constant multiples pass through it; a product, a quotient or a power of the terms has to be expanded before anything can be said about it.
Shifting the index
Two sums can only be combined term by term when their indices run over the same range, and most closed formulas are written for a sum starting at 1. Both situations call for the same move: change which integers the index runs over without changing which numbers are added.
7
Σ (k - 2) = 1 + 2 + 3 + 4 + 5 = 15
k=3
put k = j + 2: k = 3 gives j = 1, k = 7 gives j = 5
the summand k - 2 becomes (j + 2) - 2 = j
5
Σ j = 1 + 2 + 3 + 4 + 5 = 15
j=1
limits down by 2, the index inside up by 2, terms unchanged
That is the whole rule: k = j + c sends the limits m and n to m - c and n - c, and the summand f(k) to f(j + c). Both halves move or neither does. Expanding the first term of each form and comparing is the check, and a shift made in the wrong direction misses by exactly the amount shifted — obvious there, invisible afterwards.