Learn the Direct Comparison Test

Okay, here’s a comprehensive article on the Direct Comparison Test for infinite series, totaling approximately 5000 words:

The Direct Comparison Test: A Deep Dive into Series Convergence and Divergence

The Direct Comparison Test (DCT) is a fundamental tool in the analysis of infinite series, allowing us to determine whether a series converges or diverges by comparing it to another series whose behavior we already know. It’s a powerful, intuitive, and often straightforward method, making it a cornerstone of calculus and real analysis. This article will provide a thorough exploration of the DCT, covering its theoretical underpinnings, practical applications, common pitfalls, and connections to other convergence tests.

1. Introduction to Infinite Series and Convergence

Before diving into the DCT, we need to establish a solid foundation in the basics of infinite series.

What is an Infinite Series? An infinite series is the sum of an infinite sequence of numbers. We represent it as:

∑_(n=1)^∞ a_n = a_1 + a_2 + a_3 + a_4 + …

where a_n represents the nth term of the sequence. The index n typically starts at 1, but it can start at any integer. The key point is that the summation continues indefinitely.
Partial Sums: To understand the behavior of an infinite series, we often examine its partial sums. The nth partial sum, denoted by S_n, is the sum of the first n terms of the series:

S_n = a_1 + a_2 + a_3 + … + a_n = ∑_(k=1)^n a_k
Convergence and Divergence: This is the crucial concept. An infinite series ∑_(n=1)^∞ a_n is said to converge if the sequence of its partial sums {S_n} converges to a finite limit, L. In other words:

lim_(n→∞) S_n = L

If this limit exists and is finite, we say the series converges to L, and we write:

∑_(n=1)^∞ a_n = L

If the sequence of partial sums {S_n} does not converge to a finite limit (either it goes to infinity, negative infinity, or oscillates), then the series is said to diverge.
Examples:
- Convergent Series: The geometric series 1/2 + 1/4 + 1/8 + 1/16 + … converges to 1. (This is a classic example with a common ratio of 1/2).
- Divergent Series: The series 1 + 2 + 3 + 4 + … diverges to infinity. The partial sums keep increasing without bound.
- Divergent Series (Oscillating): The series 1 – 1 + 1 – 1 + … diverges because the partial sums oscillate between 0 and 1, never settling on a single limit.

2. Statement of the Direct Comparison Test (DCT)

The Direct Comparison Test provides a way to determine the convergence or divergence of a series by comparing it to another series whose convergence or divergence is already known. It relies on the intuitive idea that if a series is “smaller” than a convergent series, it must also converge, and if a series is “larger” than a divergent series, it must also diverge.

There are two parts to the DCT:

Part 1 (Convergence): Suppose we have two series, ∑(n=1)^∞ a_n and ∑(n=1)^∞ b_n, with non-negative terms (i.e., a_n ≥ 0 and b_n ≥ 0 for all n). If:
1. 0 ≤ a_n ≤ b_n for all n (or for all n greater than some fixed integer N), AND
2. ∑_(n=1)^∞ b_n converges,
THEN ∑_(n=1)^∞ a_n also converges.
Part 2 (Divergence): Suppose we have two series, ∑(n=1)^∞ a_n and ∑(n=1)^∞ b_n, with non-negative terms. If:
1. 0 ≤ b_n ≤ a_n for all n (or for all n greater than some fixed integer N), AND
2. ∑_(n=1)^∞ b_n diverges,
THEN ∑_(n=1)^∞ a_n also diverges.

Key Points and Interpretations:

Non-negative Terms: The DCT, in its standard form, applies only to series with non-negative terms. This restriction is crucial for the underlying logic to hold. (We’ll discuss how to handle series with negative terms later.)
“Eventually” Holds: The inequalities a_n ≤ b_n (for convergence) or b_n ≤ a_n (for divergence) don’t need to hold for every single value of n from 1 to infinity. It’s sufficient if they hold for all n greater than or equal to some fixed integer N. This is because the convergence or divergence of a series is determined by its “tail” – the behavior of the terms as n approaches infinity. A finite number of terms at the beginning don’t affect convergence.
Comparison Series: The success of the DCT hinges on choosing an appropriate comparison series (∑ b_n) whose convergence or divergence is already known. This is often the most challenging part of applying the test.
Intuitive Explanation:
- Convergence: If the terms of our series (a_n) are always smaller than the terms of a convergent series (b_n), then the sum of our series must also be finite (converge). The convergent series acts as an “upper bound.”
- Divergence: If the terms of our series (a_n) are always larger than the terms of a divergent series (b_n), then the sum of our series must also be infinite (diverge). The divergent series acts as a “lower bound.”

3. Proof of the Direct Comparison Test

The proof of the DCT relies on the Monotone Convergence Theorem, a fundamental result in real analysis.

Monotone Convergence Theorem: A monotonic sequence (either always increasing or always decreasing) that is bounded must converge.

Proof of Part 1 (Convergence):

Partial Sums: Let S_n = ∑(k=1)^n a_k and T_n = ∑(k=1)^n b_k be the partial sums of the two series.
Non-decreasing: Since a_n ≥ 0 and b_n ≥ 0 for all n, both sequences of partial sums, {S_n} and {T_n}, are non-decreasing (monotonically increasing).
Inequality: Because 0 ≤ a_n ≤ b_n for all n ≥ N (for some integer N), we have S_n ≤ T_n for all n ≥ N.
Convergence of ∑ b_n: Since ∑_(n=1)^∞ b_n converges, the sequence of partial sums {T_n} converges to a finite limit, say T. This means T_n ≤ T for all n.
Boundedness of {S_n}: Combining steps 3 and 4, we have S_n ≤ T_n ≤ T for all n ≥ N. This shows that the sequence {S_n} is bounded above by T.
Monotone Convergence Theorem: The sequence {S_n} is non-decreasing (from step 2) and bounded above (from step 5). Therefore, by the Monotone Convergence Theorem, {S_n} converges.
Conclusion: Since the sequence of partial sums {S_n} converges, the series ∑_(n=1)^∞ a_n converges.

Proof of Part 2 (Divergence):

Partial Sums: As before, let S_n = ∑(k=1)^n a_k and T_n = ∑(k=1)^n b_k.
Non-decreasing: Both {S_n} and {T_n} are non-decreasing because a_n ≥ 0 and b_n ≥ 0.
Inequality: Since 0 ≤ b_n ≤ a_n for all n ≥ N, we have T_n ≤ S_n for all n ≥ N.
Divergence of ∑ b_n: Since ∑(n=1)^∞ b_n diverges and has non-negative terms, the sequence of partial sums {T_n} must diverge to positive infinity (it cannot oscillate because it’s non-decreasing). This means lim(n→∞) T_n = ∞.
Unboundedness of {S_n}: Since T_n ≤ S_n and T_n goes to infinity, S_n must also go to infinity.
Conclusion: Since the sequence of partial sums {S_n} diverges to infinity, the series ∑_(n=1)^∞ a_n diverges.

4. Examples of Applying the Direct Comparison Test

Now, let’s work through several examples to illustrate how to use the DCT in practice.

Example 1: Convergence

Determine the convergence or divergence of the series: ∑_(n=1)^∞ 1/(n^2 + 1)

Choose a Comparison Series: We notice that the denominator, n^2 + 1, is always greater than n^2. Therefore, 1/(n^2 + 1) is always less than 1/n^2. We know that the series ∑_(n=1)^∞ 1/n^2 (a p-series with p = 2) converges. So, we’ll use this as our comparison series.
Verify the Inequality: We need to show that 0 ≤ 1/(n^2 + 1) ≤ 1/n^2 for all n ≥ 1. This is clearly true since n^2 + 1 > n^2 for all n ≥ 1.
Apply the DCT: Since ∑(n=1)^∞ 1/n^2 converges (p-series with p > 1) and 0 ≤ 1/(n^2 + 1) ≤ 1/n^2, the Direct Comparison Test (Part 1) tells us that ∑(n=1)^∞ 1/(n^2 + 1) also converges.

Example 2: Divergence

Determine the convergence or divergence of the series: ∑_(n=1)^∞ 1/(√(n) – 1)

Choose a Comparison Series: For large n, √(n) – 1 is close to √(n). So, 1/(√(n) – 1) is similar to 1/√(n). We know that the series ∑_(n=1)^∞ 1/√(n) (a p-series with p = 1/2) diverges. We’ll use this as our comparison series.
Verify the Inequality: We need to show that 0 ≤ 1/√(n) ≤ 1/(√(n) – 1) for all n ≥ 2 (we need n ≥ 2 because the original series is undefined for n=1). Since √(n) – 1 < √(n), taking reciprocals reverses the inequality: 1/(√(n) – 1) > 1/√(n). This inequality holds for all n ≥ 2.
Apply the DCT: Since ∑(n=1)^∞ 1/√(n) diverges (p-series with p ≤ 1) and 0 ≤ 1/√(n) ≤ 1/(√(n) – 1) for n ≥ 2, the Direct Comparison Test (Part 2) tells us that ∑(n=1)^∞ 1/(√(n) – 1) also diverges.

Example 3: A More Subtle Comparison

Determine the convergence or divergence of the series: ∑_(n=1)^∞ (ln n)/n

Choose a Comparison Series: This one is trickier. We know that ln n grows slower than any positive power of n, but it does grow to infinity. For n ≥ 3, ln n > 1. So, (ln n)/n > 1/n. We know that the harmonic series ∑_(n=1)^∞ 1/n diverges.
Verify the Inequality: We need to show that 0 ≤ 1/n ≤ (ln n)/n for n ≥ 3. This is equivalent to showing that 1 ≤ ln n, which is true for n ≥ 3 (since ln 3 > 1).
Apply the DCT: Since ∑(n=1)^∞ 1/n diverges (harmonic series) and 0 ≤ 1/n ≤ (ln n)/n for n ≥ 3, the Direct Comparison Test (Part 2) tells us that ∑(n=1)^∞ (ln n)/n also diverges.

Example 4: Using a Geometric Series

Determine the convergence or divergence of the series: ∑_(n=1)^∞ (2 + sin n)/3^n

Choose a comparison series: We know that -1 ≤ sin n ≤ 1, therefore 1 ≤ 2 + sin n ≤ 3. Thus, (2 + sin n)/3^n ≤ 3/3^n = 1/3^(n-1). We recognize ∑_(n=1)^∞ 1/3^(n-1) as a geometric series.
Verify the inequality: 0 ≤ (2+sin n)/3^n ≤ 1/3^(n-1) for all n ≥ 1.
Apply the DCT: The series ∑(n=1)^∞ 1/3^(n-1) is a geometric series with common ratio 1/3, which is less than 1, so it converges. By the DCT (Part 1), the series ∑(n=1)^∞ (2 + sin n)/3^n converges.

Example 5: A Series that Requires Modification

Determine the convergence or divergence of the series: ∑_(n=2)^∞ 1/(n * ln n)

Initial Attempt: We might be tempted to compare this to 1/n, but that won’t work directly. Since ln n > 1 for n > e, we have 1/(n * ln n) < 1/n. The harmonic series ∑ 1/n diverges, but this inequality goes the wrong way for the DCT. We can’t conclude anything from this comparison.
A Different Approach: We’ll see later that the Integral Test is the best way to handle this series. However, we can modify the series to make a useful comparison. Notice that for n ≥ 3, ln n is an increasing function. So the terms are decreasing.
Consider the series:
∑_(n=2)^∞ 1/(n * ln n) = 1/(2 ln 2) + 1/(3 ln 3) + 1/(4 ln 4) + …
Let’s group the terms, and compare.
1/(3 ln 3) + 1/(4 ln 4) > 1/(4 ln 4) + 1/(4 ln 4) = 2/(4 ln 4) = 1/(2 ln 4)
1/(5 ln 5) + … + 1/(8 ln 8) > 4/(8 ln 8) = 1/(2 ln 8)

In general, we could consider grouping terms into blocks of length 2^k. This strategy is related to the Cauchy Condensation Test, but we can do it informally here:
∑_(n=2^k + 1)^(2^(k+1)) 1/(n ln n) > 2^k / (2^(k+1) * ln(2^(k+1))) = 1 / (2(k+1)ln 2)

The sum over all k of these terms:
∑(k=0)^∞ 1 / (2(k+1)ln 2) = (1/(2 ln 2)) ∑(k=0)^∞ 1/(k+1) = (1/(2 ln 2)) ∑_(k=1)^∞ 1/k

This is a constant times the Harmonic series, which diverges! Therefore, we can conclude our original series diverges. This isn’t strictly a DCT argument, but it shows the kind of reasoning that often goes on. (And again, the integral test is a cleaner approach.)

5. Common Comparison Series

The key to successfully applying the DCT is knowing a collection of standard series whose convergence or divergence is already established. Here are the most important ones:

Geometric Series: ∑_(n=0)^∞ ar^n
- Converges if |r| < 1 (and the sum is a/(1-r)).
- Diverges if |r| ≥ 1.
p-Series: ∑_(n=1)^∞ 1/n^p
- Converges if p > 1.
- Diverges if p ≤ 1. (The case p = 1 is the harmonic series, a very important divergent series.)
Telescoping Series: Series where most of the terms cancel out in the partial sums. A classic example is:

∑_(n=1)^∞ (1/n – 1/(n+1)) = (1 – 1/2) + (1/2 – 1/3) + (1/3 – 1/4) + …

The partial sums collapse to S_n = 1 – 1/(n+1), which converges to 1 as n → ∞.

Knowing these series (and their convergence/divergence behavior) is essential for using the DCT effectively.

6. Common Mistakes and Pitfalls

Here are some common errors to avoid when using the DCT:

Incorrect Inequality Direction: This is the most frequent mistake. Make absolutely sure that the inequality you’re using goes in the correct direction for the conclusion you want to draw. If you want to show convergence, your series terms must be less than or equal to the terms of a known convergent series. If you want to show divergence, your series terms must be greater than or equal to the terms of a known divergent series.
Comparing to the Wrong Series: Choosing an inappropriate comparison series will lead to an inconclusive result. Practice and familiarity with the standard series (geometric, p-series) are crucial.
Forgetting Non-negativity: The DCT, as stated, requires non-negative terms. Applying it directly to a series with negative terms can lead to incorrect conclusions.
Assuming the Converse: The DCT does not say that if a_n ≤ b_n and ∑ a_n converges, then ∑ b_n converges. Similarly, it does not say that if b_n ≤ a_n and ∑ a_n diverges, then ∑ b_n diverges. The implications only go one way.
Ignoring the “Eventually” Condition: Remember the inequality only needs to hold for n ≥ N. Don’t get hung up on the first few terms.

7. Handling Series with Negative Terms

The standard DCT applies only to series with non-negative terms. However, we can often adapt it to handle series with some negative terms:

Alternating Series: For series with terms that alternate in sign, the Alternating Series Test is often the appropriate tool.
Absolute Convergence: If a series ∑ a_n has some negative terms, consider the series of absolute values, ∑ |a_n|.
- If ∑ |a_n| converges, then ∑ a_n is said to converge absolutely. A crucial theorem states that absolute convergence implies convergence. So, if you can show that ∑ |a_n| converges (perhaps using the DCT), then you can conclude that ∑ a_n also converges.
- If ∑ |a_n| diverges, this does not necessarily mean that ∑ a_n diverges. ∑ a_n might still converge conditionally (see below).
Conditional Convergence: A series ∑ a_n is said to converge conditionally if ∑ a_n converges, but ∑ |a_n| diverges. The Alternating Series Test can sometimes be used to establish conditional convergence.

Example (Absolute Convergence):

Determine the convergence or divergence of ∑_(n=1)^∞ (sin n)/n^2

Consider Absolute Values: We take the absolute value of the terms: |(sin n)/n^2| = |sin n|/n^2
Apply DCT: We know that |sin n| ≤ 1 for all n. Therefore, |sin n|/n^2 ≤ 1/n^2. The series ∑_(n=1)^∞ 1/n^2 converges (p-series with p = 2).
Conclusion: By the DCT, ∑(n=1)^∞ |(sin n)/n^2| converges. Since the series of absolute values converges, the original series ∑(n=1)^∞ (sin n)/n^2 converges absolutely (and therefore converges).

8. Relationship to Other Convergence Tests

The DCT is closely related to several other important convergence tests:

Limit Comparison Test (LCT): The LCT is often more convenient than the DCT when it’s difficult to establish a direct inequality. If ∑ a_n and ∑ b_n are series with positive terms, and:

lim_(n→∞) (a_n / b_n) = c

where c is a finite positive number (0 < c < ∞), then both series either converge or both series diverge. The LCT is essentially a more flexible version of the DCT.
Integral Test: The Integral Test connects the convergence of a series to the convergence of an improper integral. If f(x) is a positive, continuous, and decreasing function on the interval [1, ∞), then the series ∑_(n=1)^∞ f(n) and the integral ∫_1^∞ f(x) dx either both converge or both diverge. The Integral Test can often be used to prove the convergence or divergence of p-series, which are then used as comparison series in the DCT or LCT.
Ratio Test: The Ratio Test is particularly useful for series involving factorials or exponential terms. It examines the limit of the ratio of consecutive terms:

lim_(n→∞) |a_(n+1) / a_n| = L
- If L < 1, the series converges absolutely.
- If L > 1, the series diverges.
- If L = 1, the test is inconclusive.
Root Test: Similar to the Ratio Test, the Root Test is useful for series with terms raised to the nth power:

lim_(n→∞) (|a_n|)^(1/n) = L
- If L < 1, the series converges absolutely.
- If L > 1, the series diverges.
- If L = 1, the test is inconclusive.
Cauchy Condensation Test: Useful for decreasing, non-negative series. It says that ∑(n=1)^∞ a_n converges if and only if ∑(n=0)^∞ 2^n * a_(2^n) converges.

The DCT is often a good starting point. If it’s difficult to find a direct comparison, the LCT is a good next step. The Integral, Ratio, and Root Tests are powerful tools for specific types of series. The choice of test depends on the form of the series being examined.

9. Advanced Applications and Considerations

Estimating Sums: While the DCT tells us whether a series converges, it doesn’t directly tell us the value of the sum. However, if we have a convergent series ∑ a_n and a comparison series ∑ b_n with a known sum, we can sometimes use the DCT to obtain bounds on the sum of ∑ a_n. For example, if 0 ≤ a_n ≤ b_n and ∑ b_n = B, then we know that ∑ a_n ≤ B.
Series with Variable Upper Limit: Sometimes, we have a comparison where the inequality only works for large values of n. Suppose we have a series of functions ∑ f_n(x), and we know |f_n(x)| ≤ a_n only for n > N(x), where N(x) depends on x. This can be very tricky. The key question is whether you can find a single N that works for all x in your interval of interest. If you can, then you have “uniform convergence” and you can apply comparison arguments. If you cannot, you have to use more advanced tools.
Beyond Elementary Functions: The DCT, and the other convergence tests, apply to series of any type of mathematical object, as long as the concept of “sum” and “convergence” are well-defined. This includes series of functions, series of matrices, and series in more abstract mathematical spaces.

10. Conclusion

The Direct Comparison Test is a fundamental and widely applicable tool for determining the convergence or divergence of infinite series. Its intuitive nature and relative simplicity make it a valuable starting point for analyzing many series. However, its successful application requires careful attention to detail, a solid understanding of the underlying theory, and practice in choosing appropriate comparison series. Mastering the DCT, along with its related tests, is essential for anyone studying calculus, real analysis, or any field that involves infinite series. It provides a crucial foundation for understanding more advanced concepts in mathematical analysis.

Leave a Comment Cancel Reply