(mathematics) Any series of real numbers in which consecutive terms have opposite signs.
|
|
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. (January 2010) |
In mathematics, an alternating series is an infinite series of the form

with an ≥ 0 (or an ≤ 0) for all n. Like any series, an alternating series converges if and only if the associated sequence of partial sums converges.
|
Contents
|
The theorem known as "Leibniz Test" or the alternating series test tells us that an alternating series will converge if the terms an converge to 0 monotonically.
Proof: Suppose the sequence an converges to zero and is monotone decreasing. If m is odd and m < n, we obtain the estimate Sm − Sn < am + 1 via the following calculation:

Since an is monotonically decreasing, the terms − (am − am + 1) are negative. Thus, we have the final inequality Sm − Sn < am + 1. Since am + 1 converges to 0, our partial sums Sm form a cauchy sequence (i.e. the series satisfies the cauchy convergence criterion for series) and therefore converge. The argument for m even is similar.
The estimate above does not depend on n. So, if an is approaching 0 monotonically, the estimate provides an error bound for approximating infinite sums by partial sums:

A series
converges absolutely if the series
converges.
Theorem: Absolutely convergent series are convergent.
Proof: Suppose
is absolutely convergent. Then,
is convergent and it follows that
converges as well. Since
, the series
converges by the comparison test. Therefore, the series
converges as the difference of two convergent series
.
A series is conditionally convergent if it converges but does not converge absolutely.
For example, the harmonic series

diverges, while the alternating version

converges by the alternating series test.
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.[1] The general principle is that addition of infinite sums is only associative for absolutely convergent series.
For example, this false proof that 1=0 exploits the failure of associativity for infinite sums.
As another example, we know that
.
But, since the series does not converge absolutely, we can rearrange the terms to obtain a series for
:
![\begin{align}
& {} \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{align}](http://wpcontent.answcdn.com/wikipedia/en/math/c/a/5/ca50379f89a72fc6ce0788c11219cf38.png)
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.
This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)