AP Calculus BC: Absolute Convergence Theorem

In the study of infinite series, distinguishing between convergence and divergence is the primary task. However, not all convergence is created equal. The Absolute Convergence Theorem provides a powerful, streamlined tool for proving convergence by examining a related, often simpler, series. Mastering this theorem is crucial because it unlocks more straightforward tests, like the Ratio and Root Tests, and it guarantees stronger, more predictable behavior for the series in question, which is essential for advanced calculus and engineering applications.

Understanding Absolute Convergence

Before diving into the theorem, you must grasp two core definitions. A series $\sum a_n$ is said to converge if the sequence of its partial sums approaches a finite limit. More importantly, we can create a new series by taking the absolute value of each term: $\sum |a_n|$. This new series consists entirely of non-negative terms.

A series $\sum a_n$ is called absolutely convergent if the series of its absolute values, $\sum |a_n|$, converges. For example, consider the alternating series ${\sum }_{n=1}^{\infty }\frac{(-1{)}^{n+1}}{n^2}$. The corresponding absolute series is ${\sum }_{n=1}^{\infty }\frac{1}{n^2}$, which is a convergent p-series (with $p=2>1$). Therefore, the original alternating series is absolutely convergent.

It is possible for a series to converge without this property. A series that converges but is not absolutely convergent is called conditionally convergent. The classic example is the alternating harmonic series: ${\sum }_{n=1}^{\infty }\frac{(-1{)}^{n+1}}{n}$ converges (by the Alternating Series Test), but its absolute series ${\sum }_{n=1}^{\infty }\frac{1}{n}$ is the divergent harmonic series.

The Absolute Convergence Theorem

The central, powerful statement is the Absolute Convergence Theorem: If a series $\sum a_n$ converges absolutely, then $\sum a_n$ converges.

In logical terms, absolute convergence is a sufficient condition for convergence. The theorem's power lies in its redirective nature: proving the convergence of $\sum |a_n|$ (which contains only non-negative terms) is often easier than proving the convergence of $\sum a_n$ directly, because you have access to tests like the Direct Comparison Test and Limit Comparison Test that require non-negative terms.

Why does this work? The proof, which you should understand conceptually, uses the Direct Comparison Test. It relies on the fact that $0\le a_n+|a_n|\le 2|a_n|$. Since $\sum |a_n|$ converges, $\sum 2|a_n|$ also converges. By the Direct Comparison Test, $\sum (a_n+|a_n|)$ converges. Finally, since $\sum a_n=\sum (a_n+|a_n|)-\sum |a_n|$, and both series on the right converge, their difference ($\sum a_n$) must also converge.

Think of the theorem as a guardrail. If you can show the absolute series stays within the guardrails (converges), then the original series is guaranteed to be well-behaved and converge, too. It cannot wander off into divergence.

Application: A Sufficient But Not Necessary Condition

A critical nuance is that the theorem provides a sufficient but not necessary condition for convergence. This means:

• Sufficient: If $\sum |a_n|$ converges $\Rightarrow$ $\sum a_n$ converges. (This is the theorem itself.)
• Not Necessary: If $\sum a_n$ converges $\nRightarrow$ $\sum |a_n|$ converges. The converse of the theorem is false.

The alternating harmonic series is the definitive counterexample that proves the condition is not necessary. It converges, yet its absolute series diverges. Therefore, when the Absolute Convergence Test "fails" (i.e., $\sum |a_n|$ diverges), you cannot conclude anything about $\sum a_n$. The original series might still converge conditionally, or it might diverge. You must use other tests, like the Alternating Series Test, to investigate further.

This is a common point of confusion. The test does not "fail"; it simply yields no conclusion when the absolute series diverges. Your job is then to test the original series $\sum a_n$ with other tools.

Integration with the Ratio and Root Tests

The Absolute Convergence Theorem is the theoretical backbone that makes the Ratio and Root Tests practical for series with both positive and negative terms. The Ratio Test and Root Test are fundamentally tests for absolute convergence.

The Ratio Test: You compute $L={\lim }_{n\to \infty }\left|\frac{a_{n+1}}{a_n}\right|$.

• If $L<1$, then $\sum a_n$ converges absolutely (and hence converges).
• If $L>1$ (or $L=\infty$), then $\sum a_n$ diverges.
• If $L=1$, the test is inconclusive.

The Root Test: You compute $L={\lim }_{n\to \infty }\sqrt[n]{|a_n|}$.

• If $L<1$, then $\sum a_n$ converges absolutely (and hence converges).
• If $L>1$ (or $L=\infty$), then $\sum a_n$ diverges.
• If $L=1$, the test is inconclusive.

Notice the absolute value bars inside the limits. These tests are analyzing the absolute series. When they conclude convergence ($L<1$), they are stating that $\sum |a_n|$ converges. The Absolute Convergence Theorem then allows you to confidently extend that conclusion to the original series $\sum a_n$.

Example: Determine if ${\sum }_{n=1}^{\infty }\frac{(-2{)}^n}{n^3}$ converges. Apply the Ratio Test to the absolute value of the terms: $$L=\underset{n\to \infty }{\lim }\left|\frac{(-2{)}^{n+1}/(n+1{)}^3}{(-2{)}^n/n^3}\right|=\underset{n\to \infty }{\lim }\left|\frac{-2}{(1+1/n{)}^3}\right|=2$$ Since $L=2>1$, the series diverges by the Ratio Test. The Absolute Convergence Theorem isn't directly invoked here because the test gave a result of divergence, but the process relied on analyzing the absolute terms.

Common Pitfalls

1. Assuming the Converse is True: The most frequent error is concluding that if a series converges, it must be absolutely convergent. Remember, conditional convergence exists. Always check the absolute series separately if you need to determine the type of convergence.

1. Misapplying the "Test" When $\sum |a_n|$ Diverges: Do not state "the series diverges by the Absolute Convergence Test" if $\sum |a_n|$ diverges. This is incorrect. The theorem only gives a positive conclusion (absolute $\to$ regular). A divergent absolute series leads to an inconclusive result for the original series. You must proceed to other tests.

1. Forgetting the Absolute Value in Ratio/Root Tests: When applying the Ratio or Root Test to a series with terms of mixed sign (like one with $(-1{)}^n$), you must use the absolute value within the limit formula. Forgetting these bars is a common computational error that can lead to an incorrect limit $L$.

1. Confusing with the Alternating Series Test: The Absolute Convergence Test and the Alternating Series Test (AST) answer different questions. The AST checks for conditional convergence of alternating series. Use the Absolute Convergence Test first. If $\sum |a_n|$ converges, you are done (it's absolute). If it diverges, then check if the series meets the conditions for AST to see if it converges conditionally.

Summary

• A series $\sum a_n$ is absolutely convergent if $\sum |a_n|$ converges. This is a stronger form of convergence.
• The Absolute Convergence Theorem states: If $\sum a_n$ converges absolutely, then it converges. This is a sufficient but not necessary condition.
• The failure of the absolute series to converge (i.e., $\sum |a_n|$ diverges) is inconclusive for $\sum a_n$; the original series may converge conditionally or diverge.
• The Ratio and Root Tests are intrinsically tests for absolute convergence. A result of $L<1$ implies absolute (and therefore regular) convergence, thanks to the Absolute Convergence Theorem.
• Always test for absolute convergence first. If it fails, proceed to other tests like the Alternating Series Test to investigate conditional convergence.