AP Calculus BC: Introduction to Infinite Series

The concept of an infinite series—the sum of infinitely many numbers—is a pinnacle idea in calculus, bridging simple arithmetic with profound applications in engineering, physics, and computer science. It allows us to make sense of adding up an endless list of terms and provides the foundational language for expressing functions as infinite polynomials, modeling oscillating systems, and even defining fundamental constants like $e$. Your journey into series begins with a deceptively simple question: when does an infinite sum have a finite, meaningful answer?

What is an Infinite Series?

Formally, an infinite series is the sum of the terms of an infinite sequence. If we have a sequence $a_1,a_2,a_3,\dots$, then the associated infinite series is written as: $$\sum _{n=1}^{\infty }{a}_n=a_1+a_2+a_3+\cdots$$

The central problem is that we cannot perform an infinite number of additions. To define the sum, we use the concept of partial sums. The $k$-th partial sum, $S_k$, is the sum of the first $k$ terms: $$S_k=a_1+a_2+\cdots +a_k=\sum _{n=1}^k{a}_n$$

We then say the infinite series converges if the sequence of partial sums $\{S_1,S_2,S_3,\dots \}$ approaches a finite limit $L$ as $k$ goes to infinity. In precise terms, ${\sum }_{n=1}^{\infty }{a}_n=L$ if ${\lim }_{k\to \infty }{S}_k=L$. If the limit of the partial sums does not exist or is infinite, the series diverges. Understanding this definition is critical: we analyze the behavior of the sums, not the individual terms, to determine convergence.

The Geometric Series: A Foundational Model

The geometric series is the most important convergent series type you will first encounter. It has the form: $$\sum _{n=0}^{\infty }a{r}^n=a+ar+a{r}^2+a{r}^3+\cdots$$ where $a$ is the first term and $r$ is the common ratio.

Its convergence depends entirely on the ratio $r$. The geometric series converges if and only if $|r|<1$. When it converges, it has a beautifully simple closed-form sum: $$\sum _{n=0}^{\infty }a{r}^n=\frac{a}{1-r},\text{for }|r|<1$$

For example, consider the series ${\sum }_{n=0}^{\infty }\frac{2}{3^n}=2+\frac{2}{3}+\frac{2}{9}+\cdots$. Here, $a=2$ and $r=\frac{1}{3}$. Since $|r|<1$, the series converges. Its sum is $\frac{a}{1-r}=\frac{2}{1-\frac{1}{3}}=\frac{2}{\frac{2}{3}}=3$. This model is foundational because many complex series are analyzed by comparing them to a geometric series.

Telescoping Series: When Cancellation Reveals the Sum

A telescoping series is a clever series where most terms cancel out in the partial sums, leaving only a few terms from the "beginning" and "end." These series often arise when the general term $a_n$ can be expressed as a difference of two consecutive terms of another sequence, such as through partial fraction decomposition.

Consider the series: $$\sum _{n=1}^{\infty }\left(\frac{1}{n}-\frac{1}{n+1}\right)$$

Let's examine the $k$-th partial sum: $$S_k=\left(1-\frac{1}{2}\right)+\left(\frac{1}{2}-\frac{1}{3}\right)+\cdots +\left(\frac{1}{k}-\frac{1}{k+1}\right)$$ Notice how $-\frac{1}{2}$ cancels with $+\frac{1}{2}$, $-\frac{1}{3}$ cancels with the next term, and so on. This massive cancellation is the "telescoping" action. All intermediate terms vanish, leaving: $$S_k=1-\frac{1}{k+1}$$

To determine convergence, we take the limit of the partial sum: $$\underset{k\to \infty }{\lim }{S}_k=\underset{k\to \infty }{\lim }\left(1-\frac{1}{k+1}\right)=1$$ Therefore, this telescoping series converges to 1. The strategy is always to find a formula for $S_k$ and then investigate its limit as $k\to \infty$.

The N-th Term Test for Divergence: A First Check

Before applying sophisticated tests for convergence, you must perform a simple but crucial check: the $n$-th term test for divergence (also called the Divergence Test). It states: If ${\lim }_{n\to \infty }{a}_n\ne 0$, then the series ${\sum }_{n=1}^{\infty }{a}_n$ diverges.

The logic is intuitive: if the individual terms you're adding don't eventually approach zero, the partial sums cannot settle down to a finite limit. For example, for the series ${\sum }_{n=1}^{\infty }\frac{n}{2n+1}$, the limit of the term is ${\lim }_{n\to \infty }\frac{n}{2n+1}=\frac{1}{2}\ne 0$. Therefore, the series must diverge.

Critical Warning: The converse of this test is FALSE. If ${\lim }_{n\to \infty }{a}_n=0$, the series may converge OR diverge. The harmonic series ${\sum }_{n=1}^{\infty }\frac{1}{n}$ is the classic example where the terms go to zero, but the series itself diverges. This is a major conceptual trap on the AP exam.

Common Pitfalls

1. Misapplying the Geometric Series Formula: The most common error is forgetting the convergence condition. Remember, $\sum a{r}^n=\frac{a}{1-r}$ only if $|r|<1$. If $|r|\ge 1$, the series diverges, and the formula gives a nonsense result. Always check $|r|$ first.
2. Confusing Sequence and Series Behavior: A series $\sum a_n$ and its sequence of terms $\{a_n\}$ are different objects. The sequence $\{1/n\}$ converges to 0, but the series $\sum 1/n$ diverges. The $n$-th term test highlights this distinction: the term limit being zero does not guarantee series convergence.
3. Incorrect Partial Fraction Decomposition for Telescoping Series: When setting up a telescoping series via partial fractions, an algebraic mistake will prevent the necessary cancellation. Always verify your decomposition by re-combining the terms to ensure you get back the original expression.
4. Miswriting the General Term for a Geometric Series: In the series $4-2+1-\frac{1}{2}+\cdots$, the first term is $a=4$, but the ratio is $r=\frac{-2}{4}=-\frac{1}{2}$. A frequent mistake is to misidentify $a$ or miscalculate $r$ from the first two terms. Write out a few terms explicitly if needed.

Summary

• An infinite series $\sum a_n$ is defined through its sequence of partial sums $S_k$. It converges if ${\lim }_{k\to \infty }{S}_k$ is a finite number.
• A geometric series $\sum a{r}^n$ converges to $\frac{a}{1-r}$ if and only if $|r|<1$. It is a fundamental benchmark for comparison.
• A telescoping series converges if its partial sum $S_k$ simplifies (via cancellation) to an expression whose limit is finite. Finding a closed form for $S_k$ is the key step.
• The $n$-th term test for divergence is a necessary first check: if ${\lim }_{n\to \infty }{a}_n\ne 0$, the series diverges. However, a limit of zero does not prove convergence.
• Mastery of geometric and telescoping series provides the essential framework and intuition for tackling the more advanced convergence tests that follow in AP Calculus BC.