Telescoping series explained

In mathematics, a telescoping series is a series whose general term

t _{n} is of the form t _{n=a} _{n+1} - a _{n} , i.e. the difference of two consecutive terms of a sequence (a _{n)} .^[1]

As a consequence the partial sums only consists of two terms of

(a _{n)} after cancellation.^{[2] [3]} The cancellation technique, with part of each term cancelling with part of the next term, is known as the method of differences.

For example, the series

\sum ^{inf ty (1)/(n(n +1 ))} _{n =1}

(the series of reciprocals of pronic numbers) simplifies as

\begin{align} \sum ^{inf ty} _{n =1} (1)/(n(n +1 )) & {} = \sum ^{inf ty} _{n =1} \left( (1)/(n) - (1)/(n +1) \right) \\ {} & {} = \lim _{N\toinfty} \sum ^{N} _{n =1} \left( (1)/(n) - (1)/(n +1) \right) \\ {} & {} = \lim _{N\toinfty} \left\lbrack {\left( 1 - (1)/(2) \right) + \left( (1)/(2) - (1)/(3) \right) + … + \left( (1)/(N) - (1)/(N +1) \right) } \right\rbrack \\ {} & {} = \lim _{N\toinfty} \left\lbrack { 1 + \left( - (1)/(2) + (1)/(2) \right) + \left( - (1)/(3) + (1)/(3) \right) + … + \left( - (1)/(N) + (1)/(N) \right) - (1)/(N +1) } \right\rbrack \\ {} & {} = \lim _{N\toinfty} \left\lbrack { 1 - (1)/(N +1) } \right\rbrack = 1 . \end{align}

An early statement of the formula for the sum or partial sums of a telescoping series can be found in a 1644 work by Evangelista Torricelli, De dimensione parabolae.^[4]

In general

Telescoping sums are finite sums in which pairs of consecutive terms cancel each other, leaving only the initial and final terms.^[5]

Let

a _{n} be a sequence of numbers. Then, \sum ^{N} _{n =1} \left(a _{n} - a _{n-1} \right) = a _{N} - a _{0}

If

a _{n} → 0 \sum ^{inf ty} _{n =1} \left(a _{n} - a _{n-1} \right) = - a _{0}

Telescoping products are finite products in which consecutive terms cancel denominator with numerator, leaving only the initial and final terms.

Let

a _{n} be a sequence of numbers. Then, \prod ^{N} _{n =1} (a _{n-1})/(a _{n}) = (a _{0})/(a _{N})

If

a _{n} → 1 \prod ^{inf ty} _{n =1} (a _{n-1})/(a _{n}) = a _{0}

More examples

• Many trigonometric functions also admit representation as a difference, which allows telescopic canceling between the consecutive terms. $$\backslash begin$$

\sum_^N \sin\left(n\right) & = \sum_^N \frac \csc\left(\frac\right) \left(2\sin\left(\frac\right)\sin\left(n\right)\right) \\& =\frac \csc\left(\frac\right) \sum_^N \left(\cos\left(\frac\right) -\cos\left(\frac\right)\right) \\& =\frac \csc\left(\frac\right) \left(\cos\left(\frac\right) -\cos\left(\frac\right)\right).\end

• Some sums of the form $$\backslash sum\_^N$$ where f and g are polynomial functions whose quotient may be broken up into partial fractions, will fail to admit summation by this method. In particular, one has $$\backslash begin$$

\sum^\infty_\frac = & \sum^\infty_\left(\frac+\frac\right) \\= & \left(\frac + \frac\right) + \left(\frac + \frac\right) + \left(\frac + \frac\right) + \cdots \\& \cdots + \left(\frac + \frac\right) + \left(\frac + \frac\right) + \left(\frac + \frac\right) + \cdots \\= & \infty.\end The problem is that the terms do not cancel.

• Let k be a positive integer. Then $$\backslash sum^\backslash infty\_\; =\; \backslash frac$$ where H_k is the kth harmonic number. All of the terms after cancel.
• Let k,m with k

≠ m be positive integers. Then $$\backslash sum^\backslash infty\_\; =\; \backslash frac\; \backslash cdot\; \backslash frac$$

An application in probability theory

In probability theory, a Poisson process is a stochastic process of which the simplest case involves "occurrences" at random times, the waiting time until the next occurrence having a memoryless exponential distribution, and the number of "occurrences" in any time interval having a Poisson distribution whose expected value is proportional to the length of the time interval. Let X_t be the number of "occurrences" before time t, and let T_x be the waiting time until the xth "occurrence". We seek the probability density function of the random variable T_x. We use the probability mass function for the Poisson distribution, which tells us that

\Pr(X _{t} = x) = (( λ t) ^{x} e ^{-λ})/(x!) ,

where λ is the average number of occurrences in any time interval of length 1. Observe that the event is the same as the event, and thus they have the same probability. Intuitively, if something occurs at least

x times before time t , we have to wait at most t for the xth occurrence. The density function we seek is therefore\begin{align} f(t) & {} = (d)/(dt) \Pr(T _{x} \le t) = (d)/(dt) \Pr(X _{t} \ge x) = (d)/(dt) ( 1 - \Pr(X _{t} \le x -1 )) \ \\ & {} = (d)/(dt) \left( 1 - \sum ^{x -1} _{u =0} \Pr(X _{t} = u)\right) = (d)/(dt) \left( 1 - \sum ^{x -1} _{u =0} (( λ t) ^{u} e ^{-λ})/(u!) \right) \ \\ & {} = λ e ^{-λ} - e ^{-λ} \sum ^{x -1} _{u =1} \left( (λ ^{ut} ^{u-1})/((u -1 )!) - (λ ^{u+1} t ^{u})/(u!) \right) \end{align}

The sum telescopes, leaving

f(t) = (λ ^{x} t ^{x-1} e ^{-λ})/((x -1 )!) .

Similar concepts

Telescoping products

A telescoping product is a finite product (or the partial product of an infinite product) that can be cancelled by method of quotients to be eventually only a finite number of factors.^{[6] [7]}

For example, the infinite product^[6]

\prod ^{inf ty} _{n =2} \left( 1- (1)/(n ^{2}) \right)

simplifies as

\begin{align} \prod ^{inf ty} _{n =2} \left( 1- (1)/(n ^{2}) \right) & = \prod ^{inf ty} _{n =2} ((n -1 )(n +1 ))/(n ^{2}) \\ & = \lim _{N\toinfty} \prod ^{N} _{n =2} (n -1)/(n) x \prod ^{N} _{n =2} (n +1)/(n) \\ & = \lim _{N\toinfty} \left\lbrack { (1)/(2) x (2)/(3) x (3)/(4) x … x (N -1)/(N) } \right\rbrack\times \left\lbrack \right\rbrack\\&= \lim_ \left\lbrack \frac \right\rbrack \times \left\lbrack \frac \right\rbrack\\&= \frac\times \lim_ \left\lbrack \frac \right\rbrack\\&= \frac\times \lim_ \left\lbrack \frac + \frac \right\rbrack\\&=\frac.\end

Other applications

For other applications, see:

• Grandi's series;
• Proof that the sum of the reciprocals of the primes diverges, where one of the proofs uses a telescoping sum;
• Fundamental theorem of calculus, a continuous analog of telescoping series;
• Order statistic, where a telescoping sum occurs in the derivation of a probability density function;
• Lefschetz fixed-point theorem, where a telescoping sum arises in algebraic topology;
• Homology theory, again in algebraic topology;
• Eilenberg–Mazur swindle, where a telescoping sum of knots occurs;
• Faddeev–LeVerrier algorithm.

Notes and References

1. Book: Apostol . Tom . Calculus, Volume 1 . 1967 . John Wiley & Sons . 386 . Second.
2. [Tom M. Apostol]
3. Brian S. Thomson and Andrew M. Bruckner, Elementary Real Analysis, Second Edition, CreateSpace, 2008, page 85
4. Book: Weil, André . André Weil . Aubert . Karl Egil . Karl Egil Aubert . Bombieri . Enrico . Enrico Bombieri . Goldfeld . Dorian . Dorian M. Goldfeld . Prehistory of the zeta-function . 10.1016/B978-0-12-067570-8.50009-3 . Boston, Massachusetts . 993308 . 1–9 . Academic Press . Number Theory, Trace Formulas and Discrete Groups: Symposium in Honor of Atle Selberg, Oslo, Norway, July 14–21, 1987 . 1989.
5. Web site: Weisstein . Eric W. . Telescoping Sum . MathWorld . Wolfram . en.
6. Web site: Telescoping Series - Product . Brilliant Math & Science Wiki . Brilliant.org . 9 February 2020 . en-us.
7. Web site: Bogomolny . Alexander . Telescoping Sums, Series and Products . Cut the Knot . 9 February 2020.