Introduction to sigma notation

$\newenvironment {prompt}{}{} \newcommand {\todo }[0]{} \newcommand {\oiint }[0]{{\large \bigcirc }\kern -1.56em\iint } \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[1]{{\overset {\rightharpoonup }{#1}}} \newcommand {\vec }[1]{{\overset {\boldsymbol {\rightharpoonup }}{\mathbf {#1}}}} \DeclareMathOperator {\proj }{\vec {proj}} \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\vec {\boldsymbol {\l }}} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument } \newcommand {\epstopdfsetup }[0]{\setkeys {ETE}} changed the theorem header of amsthm failed\MessageBreak }}} \newcommand {\GetTitleStringSetup }[0]{\setkeys {gettitlestring}} \newcommand {\Sectionformat }[2]{#1}$

We introduce sigma notation.

The notation itself

Sigma notation is a way of writing a sum of many terms, in a concise form. A sum in sigma notation looks something like this:

$\sum _{k=1}^{5} 3k$

The $\Sigma$ (sigma) indicates that a sum is being taken. The variable $k$ is called the index of the sum. The numbers at the top and bottom of the $\Sigma$ are called the upper and lower limits of the summation. In this case, the upper limit is $5$ , and the lower limit is $1$ . The notation means that we will take every integer value of $k$ between $1$ and $5$ (so $1$ , $2$ , $3$ , $4$ , and $5$ ) and plug them each into the summand formula (here that formula is $3k$ ). Then those are all added together. $\sum _{k=1}^{5} 3k= 3\cdot 1 + 3\cdot 2 + 3\cdot 3 + 3\cdot 4 + 3\cdot 5 = 45$

Write out what is meant by the following: $\sum _{k=0}^{3} \frac {1}{k+1}$

Here, the index $k$ takes the values $0$ , $1$ , $2$ , and $3$ . We’ll plug those each into $\frac {1}{k+1}$ and add them together. $\sum _{k=0}^3 \frac {1}{k+1} = \frac {1}{\answer [given]{0}+1} + \frac {1}{\answer [given]{1}+1} + \frac {1}{\answer [given]{2}+1} + \frac {1}{\answer [given]{3}+1}$

Write out what is meant by the following: $\sum _{i=1}^{8} \left (-1\right )^i$

The index variable here is written as $i$ instead of $k$ . That’s ok. The most common variables to use for indexes include $i$ , $j$ , $k$ , $m$ , and $n$ . $\begin{align*} \sum_{i=1}^8 (-1)^i &= (-1)^{\answer[given]{1}} + (-1)^{\answer[given]{2}} + (-1)^{\answer[given]{3}} + (-1)^{\answer[given]{4}} + (-1)^{\answer[given]{5} }+ (-1)^{\answer[given]{6}} + (-1)^{\answer[given]{7}} + (-1)^{\answer[given]{8}} \\ &= -1 + 1 + -1 + 1 + -1 + 1 + -1 + 1\\ &= \answer[given]{0} \end{align*}$

Try one on your own.

Write out what is meant by the following (no need to simplify): $\sum _{n=-1}^{4} \sqrt {n+1} =\sqrt {0}+\sqrt {\answer [given]{1}}+\sqrt {\answer [given]{2}}+\sqrt {\answer [given]{3}}+\sqrt {\answer [given]{4}}+\sqrt {\answer [given]{5}}$

Let’s try going the other way around.

Write the following sum in sigma notation. $2 + 4 + 6 + 8 + \ldots + 22 + 24$

Notice that we can factor a $2$ out of each term to rewrite this sum as $\answer [given]{2}\cdot 1 + \answer [given]{2} \cdot 2 + \answer [given]{2}\cdot 3 + \answer [given]{2} \cdot 4 + \ldots + \answer [given]{2}\cdot 11 + \answer [given]{2}\cdot 12$ That means that we are adding together $\answer [given]{2}$ times every number between $1$ and $12$ . If we use $k$ as our index, the sigma notation could be $\sum _{k=1}^{12} \answer [given]{2k}$ There is no need to use $k$ as our index variable. We could have just as easily used $m$ or $j$ instead. $\sum _{k=1}^{12} 2k = \sum _{m=1}^{12} 2m = \sum _{j=1}^{12} 2j$ Notice, that these are NOT the same as $\sum _{k=1}^{12} 2m$

Write the following sum in sigma notation. $1 - \frac {1}{2} + \frac {1}{4} - \frac {1}{8} + \ldots - \frac {1}{64} + \frac {1}{128}$

This one is a little more complicated. We’ll worry about the signs later, first we’ll deal with the numbers themselves. Do you notice a pattern in the terms? Sure, we get from one term to the next term by dividing by 2. That is: $\begin{align*} 1 &= \frac{1}{2^0} = \left(\frac{1}{2}\right)^0\\ \frac{1}{2} &= \frac{1}{2^1} = \left(\frac{1}{2}\right)^{1}\\ \frac{1}{4} &= \frac{1}{2^2} = \left(\frac{1}{2}\right)^{2}\\ ... \\ \frac{1}{128} &= \frac{1}{2^7} = \left(\frac{1}{2}\right)^{7} \end{align*}$ If we call our index variable $k$ , then $k$ should go from $0$ to $\answer [given]{7}$ , and the numbers themselves are just $\left (\frac {1}{2}\right )^{\answer [given]{k}}$ . Now we need to deal with the signs. We say above that $(-1)^k$ will alternate between $+1$ and $-1$ . That means, if we multiply the terms we just found by $(-1)^k$ , they will alternate between $+$ and $-$ . We are starting with $k=0$ , so $(-1)^0 = +1$ will give us the alternation starting at the sign we want. $\sum _{k=0}^{7} (-1)^k \left (\frac {1}{2}\right )^{k} = \sum _{k=0}^7 \left ( \answer [given]{\frac {-1}{2}} \right )^k$

Try one on your own.

Write the following sum in sigma notation. $\frac {1}{\sqrt {2}} - \frac {2}{\sqrt {3}} + \frac {3}{\sqrt {4}} - \frac {4}{\sqrt {5}}+ \ldots + \frac {51}{\sqrt {52}} - \frac {52}{\sqrt {53}}$ $\sum _{k=2}^{53} \left ( \answer [given]{(-1)^{k}\frac {k-1}{\sqrt {k}} } \right )$

Calculating with sigma notation

We want to use sigma notation to simplify our calculations. To do that, we will need to know some basic sums. First, let’s talk about the sum of a constant. (Notice here, that our upper limit of summation is $n$ . $n$ is not the index variable, here, but the highest value that the index variable will take.) $\sum _{k=1}^n C = \underbrace {C+C+ \dots +C}_{\text {n terms}}$ This is a sum of $n$ terms, each of them having a value $C$ . That is, we are adding $n$ copies of $C$ . This sum is just $nC$ . The other basic sums that we need are much more complicated to derive. Rather than explaining where they come from, we’ll just give you a list of the final formulas, that you can use.

$\displaystyle \sum _{k=1}^n C = nC$ .

$\displaystyle \sum _{k=1}^n k = \frac {n(n+1)}{2}$ .

$\displaystyle \sum _{k=1}^n k^2 = \frac {n(n+1)(2n+1)}{6}$ .

Now that we have this list, let’s use them to compute.

Find the value of the sum $\displaystyle \sum _{k=1}^{5} 9$ .

This is just the sum of a constant, with $C=\answer [given]{9}$ and $n=\answer [given]{5}$ . The value is $nC=\answer [given]{45}$ .

Find the value of the sum $\displaystyle \sum _{k=1}^{100} k$ .

This is the sum $1+2+3+ \ldots + 100$ . According to Formula 2 above (with $n=\answer [given]{100}$ ), this is $\frac {\answer [given]{100}(\answer [given]{101})}{2} = \answer [given]{5050}$ .

Because sigma notation is just a new way of writing addition, the usual properties of addition still apply, but a couple of the important ones look a little different.

Commutativity and Associativity:: $\displaystyle \sum _{k=1}^{n} (a_k + b_k) = \sum _{k=1}^n a_k + \sum _{k=1}^n b_k$ .
Distribution:: $\displaystyle \sum _{k=1}^{n} c \cdot a_k = c \sum _{k=1}^n a_k$ .

Find the value of the sum $\displaystyle \sum _{k=1}^{10} \left (2k^2+5\right )$ .

First, we’ll use the properties above to split this into two sums, then factor the $2$ out of the first sum.

$\begin{eqnarray*} \sum_{k=1}^{10} \left(2k^2+5\right) &=& \sum_{k=1}^{10} 2k^2 + \sum_{k=1}^{10} 5\\ &=& 2 \sum_{k=1}^{10} \answer[given]{k^2} + \sum_{k=1}^{10} 5 \end{eqnarray*}$

The two sums we have left, can be found using formulas 1 and 3 above!

We see that $\displaystyle \sum _{k=1}^{10} k^2 = \frac {\answer [given]{10}(\answer [given]{10}+1)(2\cdot \answer [given]{10}+1)}{6} = \answer [given]{385}$ . Similarly, $\displaystyle \sum _{k=1}^{10} 5 = \answer [given]{50}$ .

Putting all that together, $\displaystyle \sum _{k=1}^{10}\left (2k^2+5\right ) = 2 \cdot 385 + 50 = \answer [given]{820}$ .

Find the value of the sum $\displaystyle \sum _{k=1}^{200} \left (-6k^2+3\right )$ .

Let’s use the same approach as in the previous example. First, we’ll use the properties to split this into individual sums, then factor out the coefficients. After that, we’ll use the formulas above to evaluate it.

$\begin{eqnarray*} \sum_{k=1}^{200} \left(-6k^2+3\right) &=& \sum_{k=1}^{200} -6k^2 + \sum_{k=1}^{200}3\\ &=& - 6 \sum_{k=1}^{200} \answer[given]{k^2} + \sum_{k=1}^{200}\answer[given]{3}\\ &=& - 6 \left( \frac{200(201)(401)}{6}\right) + 200 \cdot 3\\ % &=& 2 \cdot 404010000 - 6 \cdot 2686700 + 200 \cdot 3\\ &=& \answer[given]{-16119600} \end{eqnarray*}$

The numbers in this example were horribly ugly, but we were able to evaluate the sum without having to actually calculate all 200 terms, then add them all up. In 4 small lines, we were able to add 200 numbers.

Try one on your own.

Find the value of the sum $\displaystyle \sum _{k=1}^{50} \left ( 4k^2-18k + 2(-1)^k \right )$

$\sum _{k=1}^{50} \left ( 4k^2 - 18k + 2(-1)^k \right ) = \answer {148750}$