Consider the alternating series
\(1-1+\frac12-\frac12+\frac13-\frac13+\cdots\).
a) Explain why the alternating series theorem applies even though consecutive term magnitudes are sometimes equal.
b) Find the sum by examining the even and odd partial sums.
c) For an odd partial sum, compare the absolute error with the magnitude of the first omitted term.
d) Explain why a convergent alternating series with strictly decreasing positive term magnitudes has error strictly less than the first omitted term. Why does the displayed series not contradict this fact?
Hints
- Group the partial sums according to whether the last displayed pair is complete.
- For an odd partial sum, write both the partial sum and the first omitted term in terms of the same index \(m\).
- Isolate the first omitted term and examine how the remaining tail changes its magnitude.
- Compare strict decrease with the repeated equal magnitudes in the displayed series.
Solution
1. The positive term magnitudes are
\(1,1,\frac12,\frac12,\frac13,\frac13,\ldots\).
They are nonincreasing and approach \(0\), which is sufficient for the alternating series theorem.
2. Each even partial sum ends after a complete pair, so \(S_{2m}=0\). Each odd partial sum contains one unpaired positive term, so \(S_{2m-1}=1/m\). Both subsequences approach \(0\). Therefore, the series converges to \(0\).
3. For an odd partial sum,
\(|S-S_{2m-1}|=|0-1/m|=1/m\).
The first omitted term is \(-1/m\), so its magnitude is also \(1/m\). Equality occurs in the usual alternating-series error bound.
4. In a strictly decreasing alternating series, the terms after the first omitted term begin with an opposite-signed term of smaller magnitude. Their sum cancels a positive amount, but not all, of the first omitted term. Consequently, the remainder has the sign of the first omitted term and magnitude strictly between \(0\) and that term's magnitude.
5. The displayed series has equal consecutive magnitudes, not strictly decreasing magnitudes. Its paired terms can cancel completely, so equality in the bound is possible.
Answer
a) The magnitudes are nonincreasing and approach \(0\), so strict decrease is not required.
b) The sum is \(0\).
c) For every odd partial sum, the absolute error equals the first omitted magnitude: \(|S-S_{2m-1}|=1/m\).
d) Strict decrease forces partial, nonzero cancellation after the first omitted term, so the error is strictly smaller. The displayed magnitudes are not strictly decreasing.