# 3.8: Infinite Series

**At Grade**Created by: CK-12

## Sequences

Sequences are simply lists of numbers, that’s it. The only rule is that we keep the different items in the list in order. For example, the sequence \begin{align*}\left \{1,2,3, \ldots \right \}\end{align*} is not the same as \begin{align*}\left \{2,1,3,4,5, \ldots \right \}\end{align*} because the \begin{align*}1\end{align*} and \begin{align*}2\end{align*} have switched places.

The idea behind the definition for a limit is an intuitive one, although this is somewhat hidden by the terminology. Suppose we have a long list of numbers like \begin{align*}\left \{\frac{1}{1},\frac{1}{2},\frac{1}{3},\frac{1}{4}, \ldots \right \}\end{align*}. The numbers never actually reach zero, since one over something is never zero. However, we can see at the same time that the numbers get closer and closer to zero. So the *limit* of the sequence is zero, even though the sequence never quite makes it there. The definition is meant to recognize precisely this kind of situation.

The points keep getting lower and lower and no matter how small a number you can think of, they will eventually get smaller than that number. So the limit is \begin{align*}L=0\end{align*}. In math terms, for any \begin{align*}\in > 0\end{align*}, there is a value \begin{align*}N\end{align*} so that each term is no bigger than \begin{align*}\in\end{align*}.

In more advanced analysis, mathematicians consider sequences in a slightly more general context. Think about two-dimensional space. This is the set of real number pairs, like \begin{align*}(1,1)\end{align*} or \begin{align*}(9.3,-42)\end{align*}. Three-dimensional space is the set of real number triples, like \begin{align*}(1,1,1)\end{align*} or \begin{align*}(3.14,2.718,0)\end{align*}. Similarly, \begin{align*}n-\end{align*}dimensional space is the set of real number \begin{align*}n-\end{align*}tuples like \begin{align*}(x_1,x_2, \ldots ,x_n)\end{align*}. Sequences then are like \begin{align*}\infty-\end{align*}dimensional space, the set of \begin{align*}\infty-\end{align*}tuples like: \begin{align*}(x_1,x_2,x_3, \ldots)\end{align*}. This kind of formulation allows for analysis of sequences using more topological or geometric terms like compactness and boundedness.

## Infinite Series

Any kind of sum, like \begin{align*}x_1+x_2+x_3+x_4=15\end{align*} can be written more compactly as:

\begin{align*}\sum_{i=1}^4 x_i=15\end{align*}

When the number above the big \begin{align*}\sum\end{align*} is \begin{align*}\infty\end{align*} (instead of \begin{align*}4\end{align*} as it is above), we call this sum an *infinite series*. Adding together an infinite number of terms usually leads to disaster. But occasionally, if the terms get small fast enough or if enough of them are negative, then the sum can be something very interesting.

One classic example of a series is Zeno’s Paradox which asks whether an arrow will ever reach its target given that it only ever travels half the remaining distance. This, of course, boils down to summing a geometric series with \begin{align*}r=\frac{1}{2}\end{align*} and can be viewed geometrically as follows: Consider a square whose total area is \begin{align*}1\end{align*}. Then the first term in the series \begin{align*}\frac{1}{2}\end{align*} is just half of this square, and the next term \begin{align*}\frac{1}{4}\end{align*} is just half of the remaining area. And the next term is half of the remaining area and on and on so that it becomes clear we are simply filling the entire square. This a geometric demonstration of the fact that \begin{align*}\frac{1}{2}+\frac{1}{4}+\frac{1}{8}+\frac{1}{16}+\frac{1}{32}+...=1\end{align*}, a result that is also obtained by using the formula for the sum of a geometric series.

## Series Without Negative Terms

The unique quality that makes non-negative series so attractive is that they have clear geometric interpretations. When a series is never negative, we can graph the points. Then the series is just a kind of course Riemann Sum where the rectangles all have width equal to \begin{align*}1\end{align*}.

As a very telling example, consider the harmonic series:

We can visualize each term as the area of the rectangle that has \begin{align*}\mathrm{width} = 1\end{align*}. To see this, we zoom in on the first \begin{align*}10\end{align*} points look at the corresponding rectangles along with the function corresponding to the lower sum and the function corresponding to the upper sum:

This plot shows why it is clear that the sum \begin{align*}\sum \frac{1}{n}\end{align*} must diverge. This is because the sum is the area of the pink rectangles above, and this area is between the areas of \begin{align*}f(x)=\frac{1}{x}\end{align*} and \begin{align*}f(x)= \frac{1}{x+1}\end{align*}. However, both of these integrals are infinite since \begin{align*}\int \frac{1}{x} dx = \ln(x)\end{align*} and \begin{align*} \int \frac{1}{x+1} dx= \ln(x+1)\end{align*}.

We can also see geometrically why the integral test works, since the series is simply a course Riemann Sum for the integral. If the integral with the same form and limits diverges, then so too must the sum since as we move farther and farther to the right the upper and lower sums are both indistinguishable from the integral. That means that the difference between the series and the integral must be only the finite piece on the left where the function is significantly different from its Riemann Sum, but any finite number added or subtracted cannot affect convergence/divergence.

The *Simplified Comparison Test* has a similarly simple geometric interpretation. If we are interested in whether a series \begin{align*}u_n\end{align*} converges or diverges. We might look for a simpler series \begin{align*}v_n\end{align*} that “is asymptotically similarly to \begin{align*}u_n\end{align*}”:

\begin{align*}0 < \lim_{n \to \infty} \frac{u_n}{v_n} < \infty\end{align*}

This is the same as saying that the areas of corresponding rectangles for \begin{align*}u_n\end{align*} and \begin{align*}v_n\end{align*} as we move farther and farther out approach the fixed ratio \begin{align*}r=\lim_{n \to \infty} \frac{u_n}{v_n}\end{align*}. But then if the area corresponding to the sum of the \begin{align*}u_n’\mathrm{s}\end{align*} is finite or divergent, then so too must the area for the sum of the \begin{align*}v_n’\mathrm{s}\end{align*} be finite or divergent respectively.

We’ve seen that The Harmonic Series \begin{align*}\sum \frac{1}{n}\end{align*} is divergent, however it is interesting to note that the sum gets big excruciatingly slow. For example, the first hundred terms only add up to about \begin{align*}5.2\end{align*} and the first thousand only add up to about \begin{align*}7.5\end{align*}. In fact, it takes over \begin{align*}10^{43}\end{align*} terms for the sum to surpass \begin{align*}100\end{align*}. Another interesting question to ask is whether the series will diverge when we take out certain terms. For example, suppose we remove any terms that have a \begin{align*}9\end{align*} in the denominator. This is not very many terms since it is only \begin{align*}1\end{align*} in the first \begin{align*}10\end{align*} and \begin{align*}18\end{align*} in the first \begin{align*}100\end{align*} and so on. Because we are taking infinity and removing so little, it seems like we should still have infinity. However, it turns out that removing these is enough to cause the series to converge!

## Series With Odd or Even Negative Terms

Alternating Series are everywhere in math and science. So it is extremely important to understand how to manipulate them. For example, the functions \begin{align*}\mathrm{Sin} (x), \mathrm{Cos} (x),\end{align*} and \begin{align*}e^{-x}\end{align*} are all alternating series in the variable \begin{align*}x\end{align*}.

What about the simple alternating series \begin{align*}\sum(-1)^n= 1-1+1-1+1-...?\end{align*} What is this sum equal to? Well, you may see that after one term the sum is one whereas after two terms the sum is zero. Then the sum is one again after three terms and zero again after four and so on. So the partial sums fluctuate back and forth between \begin{align*}1\end{align*} and \begin{align*}0\end{align*}. This is *not* a convergent series since the sequence of partial sums is \begin{align*}\left \{1,0,1,0,1,0, \ldots \right \}\end{align*}, which has no limit.

On the other hand, you may have always suspected that this series sums up to \begin{align*}\frac{1}{2}\end{align*}. I know that I have. Here’s a proof that seems to vindicate this suspicion. (Can you find the error?)

- Solve the algebraic equation: \begin{align*}x = 1-x\end{align*}
- You should find that \begin{align*}x = \frac{1}{2}\end{align*}

- Now use iteration to solve this equation in a different way. This is a technique that is very important in science. Take the equation: \begin{align*}x = 1 - x\end{align*} and plug in \begin{align*}1-x\end{align*} for \begin{align*}x\end{align*}, since they are equal after all.
- You should get the equation \begin{align*}x = 1 - (1 - x)\end{align*}

- Now repeat this for the new \begin{align*}x\end{align*} on the right hand side:
- You should now get the equation \begin{align*}x = 1 - (1 -(1 - x))\end{align*}

- Repeat once more for the new \begin{align*}x\end{align*} on the right hand side:
- You should now get the equation \begin{align*}x = 1-(1-(1-(1-x)))\end{align*}

- Repeating indefinitely we obtain that \begin{align*}x = 1 - (1 - (1 - (1 - (1 - (1 - (1 - \ldots\end{align*}
- But \begin{align*}x = \frac{1}{2}\end{align*} so if we get rid of the parenthesis we’ve shown that:

\begin{align*}\frac{1}{2} = 1 - 1 + 1 - 1 + 1 - 1 + 1 - \ldots\end{align*}

The error in this proof was in using the series \begin{align*}1 - 1 + 1 - 1 + 1 \ldots\end{align*} This is a divergent series and by grouping the terms appropriately we can make it be anything we like.

People have claimed throughout history to have found very interesting results in math by using divergent series. However, these are often the result of playing tricks that cannot be generalized to the larger arena of mathematics. In fact, one of math’s most incredible genius’ Niels Henrik Abel was moved by such claims in \begin{align*}1828\end{align*} to write that, “Divergent series are the invention of the devil, and it is shameful to base on them any demonstration whatsoever.”

## Ratio Test, Root Test, and Summary of Tests

The only path to mastering when series converge and diverge is experience. Furthermore, once you start to understand which series converge and which diverge you will be able to understand the behavior of functions that are extremely important throughout science. When the function looks like a series you are familiar with, you know what to expect and this will provide indispensible intuition.

One example comes from particle physics and the area of quantum field theory. Certain problems arise when one looks in detail at problems of particle interaction, since the summations or integrals tend to diverge. However, when this divergence is similar to that of the harmonic series \begin{align*}\sum \frac{1}{n}\end{align*}, then this can be canceled off later through a process called renormalization. The ability to quickly tell when the divergence is like this (as in quantum electrodynamics) and when it is not (as in gravitation) is cherished in the physics world.

It is also somewhat relieving, and interesting, to note that convergence and divergence can essentially always be boiled to down to comparison with a \begin{align*}p-\end{align*}test series or a geometric series. This is at the heart of all the tests described in the chapter. The hard part is just figuring out how to simplify the terms so that they look like something familiar.

## Power Series

Consider a vector in two-dimensional space like \begin{align*}\vec v=2\vec i+3\vec j\end{align*} or a vector in three-dimensional space like \begin{align*}\vec w = 2 \vec i + 3 \vec j + 9 \vec k\end{align*}. The vectors \begin{align*}\vec i, \ \vec j,\end{align*} and \begin{align*}\vec k \end{align*} are called the basis vectors for the space. This means that any vector can be written out as a sum of these with some coefficients. Now, the letters \begin{align*}\vec i , \ \vec j\end{align*}, and \begin{align*}\vec k \end{align*} are not a very good choice if we want to go into higher dimensions. Instead, in n-dimensional space we write that:

\begin{align*}\vec v = v_1 \overrightarrow{e_1} + v_2 \overrightarrow{e_2} + \ldots + v_n \overrightarrow {e_n}\end{align*}

where the \begin{align*}v_n’\mathrm{s}\end{align*} are numbers and the basis vectors are the \begin{align*}\overrightarrow{e_n}’\mathrm{s}\end{align*}. This can be written more compactly as:

\begin{align*}\vec v = \sum_{i = 1}^n v_i \overrightarrow{e_i}\end{align*}

We can even imagine an infinite-dimensional space where there are infinitely many basis vectors \begin{align*}\overrightarrow{e_i}\end{align*} and the general vector looks like:

\begin{align*}\vec v = \sum_{i = 0}^{\infty} v_i \overrightarrow{e_i}\end{align*}

Now imagine that the vectors are not little arrows but are more abstract. In fact, think of the vectors as being functions like \begin{align*}3x^2+x^6\end{align*} or \begin{align*}\mathrm{Sin}(x)\end{align*}. Any function \begin{align*}f(x)\end{align*} can be written out like a vector:

\begin{align*}f(x) = \sum_{i = 0}^{\infty} f_ie_i\end{align*}

where the \begin{align*}f_i’\mathrm{s}\end{align*} are numbers (the components of the vector) and the \begin{align*}e_i’\mathrm{s}\end{align*} are the basis vectors or *basis functions*! That is to say, the function \begin{align*}f(x)\end{align*} may be anything at all, but the right hand side is pretty simple. It consists of regular old numbers \begin{align*}f_i\end{align*} and some set of simple functions \begin{align*}e_i\end{align*}. Do you recognize some simple functions that we might choose for the \begin{align*}e_i’\mathrm{s}\end{align*}?

\begin{align*}e_0 & = 1\\ e_1 & = x\\ e_2 & = x^2\\ e_3 & = x^3\\ & \ldots\\ e_i & = x^i\end{align*}

This choice gives us the power series around zero (aka the Maclaurin Series) for the function \begin{align*}f(x)\end{align*}. Then the coefficients of expansion \begin{align*}f_i\end{align*} are just:

\begin{align*}f_i= \frac{f^{(n)}(0)}{n!}\end{align*}

Now, one important property of a space like \begin{align*}3-\end{align*}dimensional space or the infinite-dimensional function space is the ability to measure distance between points. In \begin{align*}n-\end{align*}dimensional space we use a kind of iterated Pythagorean Theorem to give that the distance between the tips of the vectors \begin{align*}\vec v = \sum^{n}_{i = 1} v_i \overrightarrow{e_i}\end{align*} and \begin{align*}\vec{w} = \sum^{n}_{i = 1} w_i \overrightarrow{e_i}\end{align*} is just:

\begin{align*}\left( \text{distance from} \ \vec v \ \text{to}\ \vec {w} \right )^2 = \sum_{i = 1}^{n} (v_i - w_i)^2\end{align*}

In the infinite-dimensional function space it is customary to measure the distance between the functions \begin{align*}f(x)\end{align*} and \begin{align*}g(x)\end{align*} by the following kind of continuous extension of the Pythagorean Theorem:

\begin{align*}[\text{distance from}\ f(x) \ \text{to} \ g(x) ]^2 = \int_a^b [f(x) - g(x)]^2 dx\end{align*}

where the limits of integration \begin{align*}a\end{align*} and \begin{align*}b\end{align*} will depend upon what kind of functions we have. Notice however that this definition is *not* in terms of the coefficients \begin{align*}f_i\end{align*} or \begin{align*}g_i\end{align*}.

In terms of this distance measuring business, a good basis for the space will have a few very important properties: The basis vectors should all have unit length and they should be directed perpendicularly. The first condition is referred to generally as the normalization condition and the second is called the orthogonality condition, so that a basis satisfying both of these is called orthonormal. The basis \begin{align*}\left \{\vec i, \vec j, \vec k \right \}\end{align*} for \begin{align*}3-\end{align*}dimensional space, for example, is orthonormal since the vectors are all perpendicular to one-another and each has a length of one.

However, it turns out that the power-series basis \begin{align*}\left \{1,x,x^2,x^3, \ldots \right \}\end{align*} for functional space is neither orthogonal nor normalized in terms of the standard distance formula given. However, we can build an orthonormal basis from the basis \begin{align*}\left \{1,x,x^2,x^3, \ldots \right \}\end{align*} using a canonical process called Gram-Schmitt Orthonormalization, and the result is a set of polynomial basis functions called the Legendre Polynomials.

Another choice of basis for functional space is the trigonometric functions of varying frequency or \begin{align*}\left \{1, \mathrm{Cos}(x), \mathrm{Cos}(2x), \mathrm{Cos}(3x), \ldots ,\mathrm{Sin}(x), \mathrm{Sin}(2x), \mathrm{Sin}(3x), \ldots \right \}\end{align*} giving a function the expansion:

\begin{align*}f(x) = \sum_{n = 0}^{\infty} c_n \mathrm{Cos} (nx) + \sum_{m = 1}^{\infty} s_m \mathrm{Sin}(mx)\end{align*}

This is called the Fourier basis and the expansion is called a Fourier Series for \begin{align*}f(x)\end{align*}. It turns out that this is better basis than the power series basis \begin{align*}\left \{1,x,x^2,x^3, \ldots \right \}\end{align*} since it is already orthogonal and all that is needed is a little number in front of each basis function to make them unit length.

### Image Attributions

## Description

## Authors:

## Tags:

## Subjects:

## Date Created:

Feb 23, 2012## Last Modified:

Apr 29, 2014**You can only attach files to section which belong to you**

If you would like to associate files with this section, please make a copy first.