Defining Convergent and Divergent Infinite Series

The idea of summing infinitely many quantities troubled mathematicians for millennia. The ancient Greek philosopher Zeno of Elea posed paradoxes suggesting that motion itself was impossible: to walk across a room, one must first cover half the distance, then half the remainder, then half of that, and so on through infinitely many steps. The resolution of such paradoxes required a rigorous way to talk about adding infinitely many terms and determining when such a sum is finite. Over the centuries, mathematicians from Archimedes to Euler grappled with infinite sums, sometimes arriving at startling results—Euler famously assigned the value −1/12 to the divergent series 1 + 2 + 3 + ⋯ using methods that were ahead of his time's rigor.

The modern framework for infinite series crystallized in the nineteenth century when Augustin-Louis Cauchy and Karl Weierstrass formalized the concept of a limit. By defining convergence through the sequence of partial sums, they placed infinite series on solid logical footing and eliminated the contradictions that had plagued earlier work. This framework is precisely what the AP Calculus BC curriculum expects you to master.

The central question this lesson addresses is deceptively simple: given a sequence of numbers a₁, a₂, a₃, …, does the expression a₁ + a₂ + a₃ + ⋯ represent a well-defined finite number? Answering this question requires the precise language of partial sums and limits, which we develop in the sections that follow.

An infinite series is the formal expression ∑ aₖ from k = 1 to ∞, where {aₖ} is a sequence of real numbers. We cannot literally add infinitely many numbers in one operation, so we instead study the behavior of finite approximations called partial sums. The n-th partial sum is Sₙ = a₁ + a₂ + ⋯ + aₙ. If the sequence {Sₙ} has a finite limit S as n → ∞, we say the series converges to S; otherwise, the series diverges.

The following diagram contrasts a convergent and a divergent series by plotting their partial sums. On the left, the geometric series ∑(1/2)ᵏ has partial sums that approach the horizontal asymptote S = 1. On the right, the harmonic series ∑(1/k) has partial sums that grow without bound, even though the individual terms shrink to zero.

Notice that in both graphs the individual terms aₖ approach zero as k increases. The critical difference is the rate at which they do so. The geometric terms (1/2)ᵏ decay exponentially, making the partial sums level off quickly. The harmonic terms 1/k decay only like 1/k, which is too slow—each block of consecutive terms contributes at least 1/2 to the total, so Sₙ eventually surpasses any finite bound. This visual contrast underscores why convergence is about the behavior of Sₙ, not merely the behavior of aₙ.

Formal Definitions

Geometric Series — A Foundational Example

The geometric series is the workhorse of infinite series theory because it admits a closed-form partial sum, making the limit computation straightforward. Many convergence tests you will encounter later—the ratio test, the root test—compare a general series to a geometric benchmark. For the AP exam, you should be able to identify a geometric series by inspection, state its sum when convergent, and recognize that divergence occurs when |r| ≥ 1.

A ball falls 10 m and rebounds to 60% of its preceding height. Count the initial fall once and each rebound twice: the geometric series gives 40 m of total travel.

A ball falls 10 m and rebounds to 60% of its preceding height. Count the initial fall once and each rebound twice: the geometric series gives 40 m of total travel.

Infinite series can exhibit several distinct behaviors, which the diagram below organizes into a decision-tree style classification. A series either converges or diverges, and divergent series can diverge to +∞, to −∞, or by oscillation. Among convergent series, we further distinguish between absolute and conditional convergence—a topic explored in depth in later lessons, but the essential vocabulary is introduced here.

Let us determine whether the series ∑ₖ₌₁∞ 3/(4ᵏ) converges or diverges, and if it converges, find its sum.

The table above highlights a subtle but important point: while the sum of two convergent series is always convergent, the sum of two divergent series is not necessarily divergent. For instance, ∑1/k and ∑(−1/k) are both divergent individually (the first diverges to +∞, the second to −∞), but their sum ∑(1/k − 1/k) = ∑0 = 0, which converges. This reinforces the principle that convergence properties do not combine symmetrically for divergent series.

The definitions of convergence and divergence established here form the foundation for every subsequent topic in the AP Calculus BC series unit. The next natural steps include convergence tests (integral test, comparison tests, ratio test, root test, alternating series test) and power series, which generalize the concept by allowing each term to depend on a variable x, creating functions represented as infinite sums.

In advanced mathematics beyond the AP syllabus, the concept of convergence generalizes further. In real analysis, Cauchy's criterion provides a characterization of convergence without requiring you to know the limit in advance: a series converges if and only if for every ε > 0 there exists N such that |Sₘ − Sₙ| < ε for all m > n > N. In functional analysis, notions like pointwise versus uniform convergence become critical when dealing with series of functions. The careful definitions you learn now—partial sums, limits, divergence—serve as the scaffolding for all of these extensions.