11.6: Geometric Series

Infinite series occur often in mathematics and physics. Two series which occur often are the geometric series and the binomial series. we will discuss these next.

Note

Geometric series are fairly common and will be used throughout the book. You should learn to recognize them and work with them.

A geometric series is of the form \[\sum_{n=0}^{\infty} a r^{n}=a+a r+a r^{2}+\ldots+a r^{n}+\ldots .\label{eq:1} \] Here \(a\) is the first term and \(r\) is called the ratio. It is called the ratio because the ratio of two consecutive terms in the sum is \(r\).

Example \(\PageIndex{1}\)

For example, \[1+\frac{1}{2}+\frac{1}{4}+\frac{1}{8}+\ldots\nonumber \] is an example of a geometric series.

Solution

We can write this using summation notation, \[1+\frac{1}{2}+\frac{1}{4}+\frac{1}{8}+\ldots=\sum_{n=0}^{\infty} 1\left(\frac{1}{2}\right)^{n} .\nonumber \] Thus, \(a=1\) is the first term and \(r=\frac{1}{2}\) is the common ratio of successive terms. Next, we seek the sum of this infinite series, if it exists.

The sum of a geometric series, when it exists, can easily be determined. We consider the \(n\)th partial sum: \[s_{n}=a+a r+\ldots+a r^{n-2}+a r^{n-1} .\label{eq:2}\] Now, multiply this equation by \(r\). \[r s_{n}=a r+a r^{2}+\ldots+a r^{n-1}+a r^{n} .\label{eq:3}\] Subtracting these two equations, while noting the many cancelations, we have \[\begin{align} (1-r) s_{n}=&\left(a+a r+\ldots+a r^{n-2}+a r^{n-1}\right)\nonumber \\  &-\left(a r+a r^{2}+\ldots+a r^{n-1}+a r^{n}\right)\nonumber \\ =& a-a r^{n}\nonumber \\ =& a\left(1-r^{n}\right)\label{eq:4} \end{align}\] Thus, the \(n\)th partial sums can be written in the compact form \[s_{n}=\frac{a\left(1-r^{n}\right)}{1-r} .\label{eq:5}\] The sum, if it exists, is given by \(S=\lim _{n \rightarrow \infty} s_{n}\). Letting \(n\) get large in the partial sum \(\eqref{eq:5}\), we need only evaluate \(\lim _{n \rightarrow \infty} r^{n}\). From the special limits in the Appendix we know that this limit is zero for \(|r|<1\). Thus, we have

Geometric Series

The sum of the geometric series exists for \(|r|<1\) and is given by \[\sum_{n=0}^{\infty} a r^{n}=\frac{a}{1-r^{\prime}} \quad|r|<1 .\label{eq:6}\]

The reader should verify that the geometric series diverges for all other values of \(r\). Namely, consider what happens for the separate cases \(|r|>1\), \(r=1\) and \(r=-1\).

Next, we present a few typical examples of geometric series.

Example \(\PageIndex{2}\)

\(\sum_{n=0}^{\infty} \frac{1}{2^{n}}\)

Solution

In this case we have that \(a=1\) and \(r=\frac{1}{2}\). Therefore, this infinite series converges and the sum is \[S=\frac{1}{1-\frac{1}{2}}=2 .\nonumber \]

Example \(\PageIndex{3}\)

\(\sum_{k=2}^{\infty} \frac{4}{3^{k}}\)

Solution

In this example we first note that the first term occurs for \(k=2\). It sometimes helps to write out the terms of the series, \[\sum_{k=2}^{\infty} \frac{4}{3^{k}}=\frac{4}{3^{2}}+\frac{4}{3^{3}}+\frac{4}{3^{4}}+\frac{4}{3^{5}}+\ldots\nonumber \] Looking at the series, we see that \(a=\frac{4}{9}\) and \(r=\frac{1}{3}\). Since \(|r|<1\), the geometric series converges. So, the sum of the series is given by \[S=\frac{\frac{4}{9}}{1-\frac{1}{3}}=\frac{2}{3} \text {. }\nonumber \]

Example \(\PageIndex{4}\)

\(\sum_{n=1}^{\infty}\left(\frac{3}{2^{n}}-\frac{2}{5^{n}}\right)\)

Solution

Finally, in this case we do not have a geometric series, but we do have the difference of two geometric series. Of course, we need to be careful whenever rearranging lutely convergent. (See the Appendix.) infinite series. In this case it is allowed\(^{1}\). Thus, we have \[\sum_{n=1}^{\infty}\left(\frac{3}{2^{n}}-\frac{2}{5^{n}}\right)=\sum_{n=1}^{\infty} \frac{3}{2^{n}}-\sum_{n=1}^{\infty} \frac{2}{5^{n}} .\nonumber \] Now we can add both geometric series to obtain \[\sum_{n=1}^{\infty}\left(\frac{3}{2^{n}}-\frac{2}{5^{n}}\right)=\frac{\frac{3}{2}}{1-\frac{1}{2}}-\frac{\frac{2}{5}}{1-\frac{1}{5}}=3-\frac{1}{2}=\frac{5}{2} .\nonumber \]

Note

A rearrangement of terms in an infinite series is allowed when the series is absolutely convergent. (See the Appendix.)

Geometric series are important because they are easily recognized and summed. Other series which can be summed include special cases of Taylor series and telescoping series. Next, we show an example of a telescoping series.

Example \(\PageIndex{5}\)

\(\sum_{n=1}^{\infty} \frac{1}{n(n+1)}\)

Solution

The first few terms of this series are \[\sum_{n=1}^{\infty} \frac{1}{n(n+1)}=\frac{1}{2}+\frac{1}{6}+\frac{1}{12}+\frac{1}{20}+\ldots\nonumber \] It does not appear that we can sum this infinite series. However, if we used the partial fraction expansion \[\frac{1}{n(n+1)}=\frac{1}{n}-\frac{1}{n+1},\nonumber \] then we find the \(k\)th partial sum can be written as \[\begin{align} s_{k} &=\sum_{n=1}^{k} \frac{1}{n(n+1)}\nonumber \\ &=\sum_{n=1}^{k}\left(\frac{1}{n}-\frac{1}{n+1}\right)\nonumber \\ &=\left(\frac{1}{1}-\frac{1}{2}\right)+\left(\frac{1}{2}-\frac{1}{3}\right)+\cdots+\left(\frac{1}{k}-\frac{1}{k+1}\right) .\label{eq:7} \end{align}\] We see that there are many cancelations of neighboring terms, leading to the series collapsing (like a retractable telescope) to something manageable: \[s_{k}=1-\frac{1}{k+1} .\nonumber \] Taking the limit as \(k \rightarrow \infty\), we find \(\sum_{n=1}^{\infty} \frac{1}{n(n+1)}=1\).