AP Calculus BC: Harmonic Series and Its Variations

The harmonic series is a cornerstone of infinite series analysis, presenting a profound lesson in calculus: a sequence of terms can shrink to zero, yet their sum can still grow without bound. Mastering its behavior and that of its variations is essential for the AP Calculus BC exam, as it sharpens your intuition about convergence and divergence—a skill that applies directly to engineering, physics, and advanced mathematics where infinite sums model real-world phenomena.

Defining the Core Series

An infinite series is the sum of the terms of an infinite sequence. The most famous divergent series is the harmonic series, defined as: $$\sum _{n=1}^{\infty }\frac{1}{n}=1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\cdots$$ The individual terms, $a_n=1/n$, clearly approach zero as $n$ increases. The central paradox students must resolve is why the sum diverges to infinity despite this fact. A common but flawed intuition is that "if the terms go to zero, the series must converge." The harmonic series is the classic counterexample that disproves this notion.

To understand its divergence, we use a clever grouping argument, often attributed to Nicole Oresme. Group the terms as follows: $$1+\frac{1}{2}+\left(\frac{1}{3}+\frac{1}{4}\right)+\left(\frac{1}{5}+\frac{1}{6}+\frac{1}{7}+\frac{1}{8}\right)+\cdots$$ Notice that $\frac{1}{3}+\frac{1}{4}>\frac{1}{4}+\frac{1}{4}=\frac{1}{2}$. Similarly, the next four terms sum to more than $4\times \frac{1}{8}=\frac{1}{2}$. Each group of terms (after the first) is greater than $\frac{1}{2}$. Since we can create infinitely many such groups, we are adding an infinite number of halves, causing the partial sums to increase without bound. This is a conclusive proof of divergence.

The Alternating Harmonic Series

A crucial variation is the alternating harmonic series: $$\sum _{n=1}^{\infty }\frac{(-1{)}^{n-1}}{n}=1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+\cdots$$ This series introduces the concept of conditional convergence. It converges, but it does so only because its terms alternate in sign. To test this, we apply the Alternating Series Test (Leibniz's Test). A series of the form $\sum (-1{)}^{n-1}{b}_n$ converges if:

1. $b_n>0$ (all terms positive).
2. $b_{n+1}\le b_n$ for all $n$ (the sequence $b_n$ is decreasing).
3. ${\lim }_{n\to \infty }{b}_n=0$.

For our series, $b_n=1/n$. It is positive, decreasing, and its limit is zero. All conditions are satisfied, so the series converges. Remarkably, its sum is $\ln (2)$, the natural logarithm of 2. This result can be shown using the Taylor series expansion for $\ln (1+x)$ evaluated at $x=1$.

This demonstrates a critical principle: altering the signs of a divergent series can produce a convergent one. However, this convergence is fragile, as we will see.

The p-Series and the Integral Test

The harmonic series is a specific case of a more general family: the p-series, defined as ${\sum }_{n=1}^{\infty }\frac{1}{n^p}$, where $p$ is a constant real number. The convergence of a p-series depends entirely on the exponent $p$.

• It converges if $p>1$.
• It diverges if $p\le 1$.

The harmonic series is the p-series where $p=1$, sitting precisely on the boundary of divergence. The most common and rigorous way to prove this general rule is the Integral Test. If $f(x)$ is continuous, positive, and decreasing for $x\ge 1$, and $a_n=f(n)$, then the series $\sum a_n$ and the improper integral ${\int }_1^{\infty }f(x)dx$ either both converge or both diverge.

Applying the test to the p-series, we evaluate ${\int }_1^{\infty }{x}^{-p}dx$. This integral converges to a finite value if $p>1$ and diverges if $p\le 1$, confirming the rule. For the standard harmonic series ($p=1$), the test integral is ${\int }_1^{\infty }(1/x)dx={\lim }_{b\to \infty }\ln (b)$, which clearly diverges to infinity.

Conditional vs. Absolute Convergence

Understanding the alternating harmonic series leads to a major classification of convergent series. A series $\sum a_n$ is absolutely convergent if the series of absolute values, $\sum |a_n|$, converges. If $\sum a_n$ converges but $\sum |a_n|$ diverges, the series is conditionally convergent.

Let's apply this:

• For the alternating harmonic series, $\sum a_n=1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+\cdots$ converges.
• The series of its absolute values is $\sum |a_n|=1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\cdots$, the standard harmonic series, which diverges.

Therefore, the alternating harmonic series is conditionally convergent.

This distinction is not merely academic. Absolutely convergent series are very stable; you can rearrange their terms and the sum will not change. Conditionally convergent series, like the alternating harmonic series, are unstable. By the Riemann Series Theorem, the terms of a conditionally convergent series can be rearranged to converge to any real number you choose, or even to diverge. This non-intuitive result highlights the deep care required when manipulating infinite series.

Common Pitfalls

1. Assuming Decreasing Terms Imply Convergence: The most frequent error is concluding that because ${\lim }_{n\to \infty }{a}_n=0$, the series $\sum a_n$ must converge. The harmonic series is the definitive counterexample. The term limit being zero is a necessary condition for convergence, but it is not sufficient. You must always apply a specific convergence test.
2. Misapplying the Alternating Series Test: When using the test, students sometimes forget to verify that the sequence $b_n$ (the absolute value of the terms) is decreasing. For $\sum \frac{(-1{)}^n}{n+10}$, $b_n=1/(n+10)$ is indeed decreasing. However, for a series like $\sum \frac{(-1{)}^n}{\ln (n)}$, it is also valid, but you must note that $\ln (n)$ increases, so $1/\ln (n)$ decreases. Always explicitly check the three conditions.
3. Confusing Conditional and Absolute Convergence: On the exam, you may be asked to determine if a convergent series is conditionally or absolutely convergent. This is a two-step process: First, test the original series for convergence (e.g., using the Alternating Series Test). Second, test the series of absolute values for convergence (often using the p-series rule or Integral Test). Mixing up this order or skipping the second step is a common mistake.
4. Overlooking the p-Series Form: In a complex-looking series, you might miss that it is essentially a p-series. For example, $\sum \frac{1}{\sqrt[3]{n^2}}=\sum \frac{1}{n^{2/3}}$. Here, $p=2/3$, which is less than 1, so the series diverges. Always simplify the general term to the form $1/n^p$ to identify the exponent correctly.

Summary

• The harmonic series $\sum 1/n$ diverges to infinity, proving that a series can have terms that approach zero yet still fail to converge. The classic grouping proof and the Integral Test confirm this.
• The alternating harmonic series $\sum (-1{)}^{n-1}/n$ converges (to $\ln 2$) by the Alternating Series Test, demonstrating how alternating signs can induce convergence.
• The general p-series $\sum 1/n^p$ converges if $p>1$ and diverges if $p\le 1$, with the harmonic series being the critical case where $p=1$.
• A series like the alternating harmonic series is conditionally convergent—it converges, but the series of its absolute values (the standard harmonic series) diverges. This has major implications, as rearranging its terms can alter its sum.
• Success on the AP exam requires moving beyond the intuition that "shrinking terms mean a finite sum" and instead methodically applying the correct convergence tests for each series you encounter.