Alternating series
# Alternating series

Part of a series of articles about :

Calculus :

Fundamental theorem

Limits

Continuity

Rolle's theorem

Mean value theorem

Inverse function theorem :

Differential

Definitions

Derivative (generalizations)

Differential

infinitesimal

of a function

total

Concepts

Differentiation notation

Second derivative

Implicit differentiation

Logarithmic differentiation

Related rates

Taylor's theorem

Rules and identities

Sum

Product

Chain

Power

Quotient

L'Hôpital's rule

Inverse

General Leibniz

Faà di Bruno's formula

Reynolds :

Integral

Lists of integrals

Integral transform

Leibniz integral rule

Definitions

Antiderivative

Integral (improper)

Riemann integral

Lebesgue integration

Contour integration

Integral of inverse functions

Integration by

Parts

Discs

Cylindrical shells

Substitution (trigonometric, tangent half-angle, Euler)

Euler's formula

Partial fractions

Changing order

Reduction formulae

Differentiating under the integral sign

Risch algorithm :

Series

Geometric (arithmetico-geometric)

Harmonic

Alternating

Power

Binomial

Taylor

Convergence tests

Summand limit (term test)

Ratio

Root

Integral

Direct comparison

Limit comparison

Alternating series

Cauchy condensation

Dirichlet

Abel :

Vector

Gradient

Divergence

Curl

Laplacian

Directional derivative

Identities

Theorems

Gradient

Green's

Stokes'

Divergence

generalized Stokes :

Multivariable

Formalisms

Matrix

Tensor

Exterior

Geometric

Definitions

Partial derivative

Multiple integral

Line integral

Surface integral

Volume integral

Jacobian

Hessian :

Advanced

Calculus on Euclidean space

Generalized functions

Limit of distributions :

Specialized

Fractional

Malliavin

Stochastic

Variations :

Miscellaneous

Precalculus

History

Glossary

List of topics

Integration Bee

Mathematical analysis

Nonstandard analysis :

vte :

In mathematics, an alternating series is an infinite series of the form

$\sum _{n=0}^{\infty }(-1)^{n}a_{n}$

or

$\sum _{n=0}^{\infty }(-1)^{n+1}a_{n}$

with $a_n$ > 0 for all n. The signs of the general terms alternate between positive and negative. Like any series, an alternating series converges if and only if the associated sequence of partial sums converges.

## Examples

The geometric series 1/2 − 1/4 + 1/8 − 1/16 + ⋯ sums to 1/3.

The alternating harmonic series has a finite sum but the harmonic series does not.

The Mercator series provides an analytic expression of the natural logarithm:

$\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}x^{n}\;=\;\ln(1+x).$

The functions sine and cosine used in trigonometry can be defined as alternating series in calculus even though they are introduced in elementary algebra as the ratio of sides of a right triangle. In fact,

$\sin x=\sum _{n=0}^{\infty }(-1)^{n}{\frac {x^{2n+1}}{(2n+1)!}},$

and

$\cos x=\sum _{n=0}^{\infty }(-1)^{n}{\frac {x^{2n}}{(2n)!}}.$

When the alternating factor $(–1)^n$ is removed from these series one obtains the hyperbolic functions sinh and cosh used in calculus.

For integer or positive index α the Bessel function of the first kind may be defined with the alternating series

$J_{\alpha }(x)=\sum _{m=0}^{\infty }{\frac {(-1)^{m}}{m!\,\Gamma (m+\alpha +1)}}{\left({\frac {x}{2}}\right)}^{2m+\alpha }$

where Γ(z) is the gamma function.

If s is a complex number, the Dirichlet eta function is formed as an alternating series

$\eta (s)=\sum _{n=1}^{\infty }{(-1)^{n-1} \over n^{s}}={\frac {1}{1^{s}}}-{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}-{\frac {1}{4^{s}}}+\cdots$

that is used in analytic number theory.

## Alternating series test

The theorem known as "Leibniz Test" or the alternating series test tells us that an alternating series will converge if the terms $a_n$ converge to 0 monotonically.

Proof: Suppose the sequence $a_{n}$ converges to zero and is monotone decreasing. If $m$ is odd and $m<n$, we obtain the estimate $S_{n}-S_{m}\leq a_{m}$ via the following calculation:

${\begin{aligned}S_{n}-S_{m}&=\sum _{k=0}^{n}(-1)^{k}\,a_{k}\,-\,\sum _{k=0}^{m}\,(-1)^{k}\,a_{k}\ =\sum _{k=m+1}^{n}\,(-1)^{k}\,a_{k}\\&=a_{m+1}-a_{m+2}+a_{m+3}-a_{m+4}+\cdots +a_{n}\\&=a_{m+1}-(a_{m+2}-a_{m+3})-(a_{m+4}-a_{m+5})-\cdots -a_{n}\leq a_{m+1}\leq a_{m}.\end{aligned}}$

Since $a_{n}$ is monotonically decreasing, the terms $-(a_{m}-a_{m+1})$ are negative. Thus, we have the final inequality: $S_{n}-S_{m}\leq a_{m}$. Similarly, it can be shown that $-a_{m}\leq S_{n}-S_{m}$. Since $a_{m}$ converges to $0$, our partial sums $S_{m}$ form a Cauchy sequence (i.e., the series satisfies the Cauchy criterion) and therefore converge. The argument for $m$ even is similar.

## Approximating sums

The estimate above does not depend on $n$. So, if $a_{n}$ is approaching 0 monotonically, the estimate provides an error bound for approximating infinite sums by partial sums:

$\left|\sum _{k=0}^{\infty }(-1)^{k}\,a_{k}\,-\,\sum _{k=0}^{m}\,(-1)^{k}\,a_{k}\right|\leq |a_{m+1}|.$

That does not mean that this estimate always finds the very first element after which error is less than the modulus of the next term in the series. Indeed if you take $1-1/2+1/3-1/4+...=\ln 2$ and try to find the term after which error is at most 0.00005, the inequality above shows that the partial sum up through $a_{20000}$ is enough, but in fact this is twice as many terms as needed. Indeed, the error after summing first 9999 elements is 0.0000500025, and so taking the partial sum up through $a_{10000}$ is sufficient. This series happens to have the property that constructing a new series with $a_{n}-a_{n+1}$ also gives an alternating series where the Leibniz test applies and thus makes this simple error bound not optimal. This was improved by the Calabrese bound, discovered in 1962, that says that this property allows for a result 2 times less than with the Leibniz error bound. In fact this is also not optimal for series where this property applies 2 or more times, which is described by Johnsonbaugh error bound. If one can apply the property an infinite number of times, Euler's transform applies.

## Absolute convergence

A series $∑a_n{\textstyle$ \sum a_{n}} converges absolutely if the series $∑|a_n|{\textstyle$ \sum |a_{n}|} converges.

Theorem: Absolutely convergent series are convergent.

Proof: Suppose $∑a_n{\textstyle$ \sum a_{n}} is absolutely convergent. Then, $∑|a_n|{\textstyle$ \sum |a_{n}|} is convergent and it follows that $∑2|a_n|{\textstyle$ \sum 2|a_{n}|} converges as well. Since $0≤a_n+|a_n|≤2|a_n|{\textstyle$ 0\leq a_{n}+|a_{n}|\leq 2|a_{n}|}, the series $∑(a_n+|a_n|){\textstyle$ \sum (a_{n}+|a_{n}|)} converges by the comparison test. Therefore, the series $∑a_n{\textstyle$ \sum a_{n}} converges as the difference of two convergent series $∑a_n=∑(a_n+|a_n|)−∑|a_n|{\textstyle$ \sum a_{n}=\sum (a_{n}+|a_{n}|)-\sum |a_{n}|}.

## Conditional convergence

A series is conditionally convergent if it converges but does not converge absolutely.

For example, the harmonic series

$\sum _{n=1}^{\infty }{\frac {1}{n}},$

diverges, while the alternating version

$\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}},$

converges by the alternating series test.

## Rearrangements

For any series, we can create a new series by rearranging the order of summation. A series is unconditionally convergent if any rearrangement creates a series with the same convergence as the original series. Absolutely convergent series are unconditionally convergent. But the Riemann series theorem states that conditionally convergent series can be rearranged to create arbitrary convergence. The general principle is that addition of infinite sums is only commutative for absolutely convergent series.

For example, one false proof that 1=0 exploits the failure of associativity for infinite sums.

As another example, by Mercator series

$\ln(2)=\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}=1-{\frac {1}{2}}+{\frac {1}{3}}-{\frac {1}{4}}+\cdots .$

But, since the series does not converge absolutely, we can rearrange the terms to obtain a series for 1/2 ln⁡(2){\textstyle {\tfrac {1}{2}}\ln(2)}:

${\begin{aligned}&\quad \left(1-{\frac {1}{2}}\right)-{\frac {1}{4}}+\left({\frac {1}{3}}-{\frac {1}{6}}\right)-{\frac {1}{8}}+\left({\frac {1}{5}}-{\frac {1}{10}}\right)-{\frac {1}{12}}+\cdots \\[8pt]&={\frac {1}{2}}-{\frac {1}{4}}+{\frac {1}{6}}-{\frac {1}{8}}+{\frac {1}{10}}-{\frac {1}{12}}+\cdots \\[8pt]&={\frac {1}{2}}\left(1-{\frac {1}{2}}+{\frac {1}{3}}-{\frac {1}{4}}+{\frac {1}{5}}-{\frac {1}{6}}+\cdots \right)={\frac {1}{2}}\ln(2).\end{aligned}}$

## Series acceleration

In practice, the numerical summation of an alternating series may be sped up using any one of a variety of series acceleration techniques. One of the oldest techniques is that of Euler summation, and there are many modern techniques that can offer even more rapid convergence.

