3.3 Telescoping Series

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\ffrac }[2]{\frac {\text {\footnotesize $#1$}}{\text {\footnotesize $#2$}}} \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 {\C }[0]{\mathbb C} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\dis }[0]{\displaystyle } \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\ppx }[0]{\frac {\partial }{\partial x}} \newcommand {\ppy }[0]{\frac {\partial }{\partial y}} \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]{ #1 \bigg |} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\proj }{proj} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\cis }{cis} \DeclareMathOperator {\Arg }{Arg} \DeclareMathOperator {\Rep }{Re} \DeclareMathOperator {\Imp }{Im} \DeclareMathOperator {\sech }{sech} \DeclareMathOperator {\csch }{csch} \DeclareMathOperator {\Log }{Log} \newcommand {\tightoverset }[2]{\mathop {#2}\limits ^{\vbox to -.5ex{\kern -0.75ex\hbox {$#1$}\vss }}} \newcommand {\arrowvec }[0]{\overrightarrow } \newcommand {\vec }[0]{\mathbf } \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\boldsymbol {\l }} \newcommand {\utan }[0]{\vec {\hat {t}}} \newcommand {\unormal }[0]{\vec {\hat {n}}} \newcommand {\ubinormal }[0]{\vec {\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 {\vector }[1]{\left \langle #1\right \rangle }$

We determine the convergence or divergence of a Telescoping Series.

1 Telescoping Series

A telescoping series is a special type of series whose terms cancel each out in such a way that it is relatively easy to determine the exact value of its partial sums. In general, such a series is formed as a sum of differences: \begin{align*} \sum _{n=1}^\infty \left (a_n -a_{n+1}\right ) &= \lim _{N \to \infty } \sum _{n=1}^N \left (a_n -a_{n+1}\right )\\ &=\lim _{N \to \infty }\left [\left (a_1 - a_2\right ) + \left (a_2 - a_3\right ) + \cdots + \left (a_N - a_{N+1}\right ) \right ]\\ &= \lim _{N \to \infty }\left [a_1 - a_{N+1}\right ] \end{align*}

In practice, creating the telescoping effect frequently involves a partial fraction decomposition.

example 1 Consider the series $\sum _{n=1}^\infty \frac {1}{n^2 +n}$

The $N^{th}$ partial sum is given by

$S_N = \sum _{n=1}^N \frac {1}{n^2 +n} = \frac {1}{2} + \frac {1}{6} + \frac {1}{12} + \cdots + \frac {1}{N^2 - N} + \frac {1}{N^2 + N}$ Note that the second to last term above comes from letting $n = N-1$ , so that in the denominator we have $n^2 + n = (N-1)^2 + (N-1) = N^2 - 2N + 1 + N - 1 = N^2 -N.$ There does not appear to be an easier way to express this partial sum. However, if we rewrite $\frac {1}{n^2 +n}$ using a partial fraction decomposition, we will see a nice formula for the partial sum. The decomposition is: $\frac {1}{n^2 + n} = \frac {1}{n(n+1)} = \frac {A}{n} + \frac {B}{n+1},$ with $A = 1$ and $B=-1$ (verify). Now rewrite the $N^{th}$ partial sum using this decomposition: \begin{align*} S_N = \sum _{n=1}^N \frac{1}{n^2 +n} =&\sum _{n=1}^N \left (\frac{1}{n}-\frac{1}{n+1}\right )\\ =& \left (1 - \frac 12 \right ) + \left (\frac 12 - \frac 13 \right ) + \left (\frac 13 - \frac 14 \right ) + \cdots \\ &+ \left (\frac{1}{N-1} - \frac{1}{N} \right ) +\left (\frac{1}{N} - \frac{1}{N+1} \right ) \end{align*}

Looking carefully at the terms in this sum, we see a lot of cancellation. The terms $-\frac 12$ and $+\frac 12$ cancel as do the pair $-\frac 13$ and $+\frac 13$ and the pair $-\frac {1}{N}$ and $+\frac {1}{N}$ . The only fractions that don’t cancel are the first, $1$ , and the last $-1/(N+1)$ . The series collapses like an old-time telescope and the $N^{th}$ partial sum is: $S_N = \sum _{n=1}^N \frac {1}{n^2 +n} = 1 - \frac {1}{N+1}.$ We can now find the sum of the series by taking a limit: $S = \sum _{n=1}^\infty \frac {1}{n^2 +n} = \lim _{N\to \infty } S_N = \lim _{N\to \infty } \left (1 - \frac {1}{N+1}\right ) = 1.$ Thus, the series converges and its sum is 1.

example 2 Consider the series $\sum _{n=1}^\infty \frac {1}{n^2 +2n}$

We begin with a partial fraction decomposition: $\frac {1}{n^2 + 2n} = \frac {1}{n(n+2)} = \frac {A}{n} + \frac {B}{n+2}$ with $A = 1/2$ and $B=-1/2$ (verify). Thus, $\sum _{n=1}^\infty \frac {1}{n^2 + 2n} = \frac 12 \sum _{n=1}^\infty \left ( \frac {1}{n} - \frac {1}{n+2} \right )$ Using the telescoping form, we can find $S_N$ : \begin{align*} \frac 12 \sum _{n=1}^N \left (\frac{1}{n}-\frac{1}{n+2}\right ) &= \frac 12 \Bigg [\left (1 - \frac 13 \right ) + \left (\frac 12 - \frac 14 \right ) + \left (\frac 13 - \frac 15 \right ) + \cdots \\ & + \left (\frac{1}{N-2} - \frac{1}{N} \right ) +\left (\frac{1}{N-1} - \frac{1}{N+1} \right ) +\left (\frac{1}{N} - \frac{1}{N+2} \right ) \Bigg ] \end{align*}

Observe that the first negative term is $-1/3$ and the last positive term is $1/N$ . This means that the first two positive terms, $1$ and $1/2$ and the last two negative terms, $-1/(N+1)$ and $-1/(N+2)$ will survive the cancellation: $S_N = \frac 12 \left [ 1 + \frac 12 - \frac {1}{N+1} - \frac {1}{N+2}\right ]$ We can now find the sum of the series as a limit of its partial sums: $S = \lim _{N\to \infty } S_N = \frac 12 \left [1 + \frac 12 - 0- 0\right ] = \frac 34$ Thus, the series converges and its sum is 3/4.

(problem 1) Find a formula for $S_N$ , and find the sum of the series (if it converges) or state that it diverges: $\sum _{n=0}^\infty \frac {1}{n^2 + 3n + 2}$ The partial fraction decomposition has the form $\frac {A}{n+1} + \frac {B}{n+2}$ with $A = \answer {1} \quad \mbox {and} \quad B = \answer {-1}$ The $N^{th}$ partial sum is $\displaystyle S_N = \sum _{n=0}^N \frac {1}{n^2 + 3n + 2} = \answer {1 - 1/(N+2)}$
The limit of the partial sums is $\displaystyle S = \lim _{N\to \infty }S_N = \answer {1}$
The series convergesdiverges to $\answer {1}$

(problem 2) Find a formula for $S_N$ , and find the sum of the series (if it converges) or state that it diverges: $\sum _{n=0}^\infty \frac {1}{n^2 + 4n + 3}$

The partial fraction decomposition has the form $\frac {A}{n+1} + \frac {B}{n+3}$ with $A = \answer {1/2} \quad \mbox {and} \quad B = \answer {-1/2}$ The $N^{th}$ partial sum is $\displaystyle S_N = \sum _{n=0}^N \frac {1}{n^2 + 4n + 3} = \answer {3/4 - 1/(2N+4)- 1/(2N+6)}$
The limit of the partial sums is $\displaystyle S = \lim _{N\to \infty }S_N = \answer {3/4}$
The series to $\answer {3/4}$

(problem 3) Find a formula for $S_N$ , and find the sum of the series (if it converges) or state that it diverges: $\sum _{n=1}^\infty \left ( 2^{\frac {1}{n}} - 2^{\frac {1}{n+1}}\right )$ The $N^{th}$ partial sum is $\displaystyle S_N = \sum _{n=1}^N \left ( 2^{\frac {1}{n}} - 2^{\frac {1}{n+1}}\right ) = \answer {2 - 2^{1/(N+1)}}$
The limit of the partial sums is $\displaystyle S = \lim _{N\to \infty }S_N = \answer {1}$
The series convergesdiverges to $\answer {1}$

(problem 4) Find a formula for $S_N$ , and find the sum of the series (if it converges) or state that it diverges: $\sum _{n=2}^\infty \ln \left (1 + \frac {1}{n}\right )$

Writing $1 + \frac {1}{n}$ as a fraction gives

$\frac {2}{n}$
$\frac {2}{n+1}$
$\frac {n+1}{n}$

Next, we use the log property $\ln \frac {u}{v} = \ln u - \ln v$ to write $\ln \left (1 + \frac {1}{n}\right )$ as

$\ln n - \ln (n+1)$
$\ln (n+1) - \ln n$
$1 - \ln n$

The $N^{th}$ partial sum is $\displaystyle S_N = \sum _{n=2}^N \ln \left (1 + \frac {1}{n}\right ) = \answer {\ln (N+1)}$

The limit of the partial sums is $\displaystyle S = \lim _{N\to \infty }S_N = \answer {\infty }$

The series convergesdiverges

(problem 5) Find a formula for $S_N$ , and find the sum of the series (if it converges) or state that it diverges: $\sum _{n=1}^\infty \frac {1}{\sqrt n + \sqrt {n+1}}$ Multiplying by the conjugate radical, $\sqrt {n+1} - \sqrt {n}$ , over itself yields $\frac {1}{\sqrt n + \sqrt {n+1}} \cdot \frac {\sqrt {n+1} - \sqrt {n}}{\sqrt {n+1} - \sqrt {n}} = \answer {\sqrt {n+1} -\sqrt {n}}$

The $N^{th}$ partial sum is $\displaystyle S_N = \sum _{n=1}^N \frac {1}{\sqrt n + \sqrt {n+1}} = \answer {\sqrt {N+1} - 1}$

The limit of the partial sums is $\displaystyle S = \lim _{N\to \infty }S_N = \answer {\infty }$

The series convergesdiverges

(problem 6) Find a formula for $S_N$ , and find the sum of the series (if it converges) or state that it diverges: $\sum _{n=0}^\infty (-1)^n$

If $N$ is even, then the $N^{th}$ partial sum is $\displaystyle S_N = \sum _{n=0}^N (-1)^n = \answer {1}$

If $N$ is odd, then the $N^{th}$ partial sum is $\displaystyle S_N = \sum _{n=0}^N (-1)^n = \answer {0}$

The limit of the partial sums is $\displaystyle S = \lim _{N\to \infty }S_N = \answer {DNE}$

The series convergesdiverges

2024-09-27 13:59:08