Problem 53 - Calculus: Early Transcendentals

Question

Suppose the series \( \sum a_n \) is conditionally convergent. (a) Prove that the series \( \sum n^2 a_n \) is divergent. (b) Conditional convergence of \( \sum a_n \) is not enough to determine whether \( \sum na_n \) is convergent. show this by giving an example of conditionally convergent series such that \( \sum na_n \) converges and an example where \( \sum na_n \) diverges.

Step-by-Step Solution

Answer

(a) \( \sum n^2 a_n \) diverges because larger terms do not diminish. (b) \( \sum n a_n \) can converge or diverge depending on the specific series, as shown with alternating series examples.

Step 1: Understanding Conditionally Convergent Series

A series \( \sum a_n \) is conditionally convergent if it converges, but the series of absolute values \( \sum |a_n| \) diverges. This property is crucial for understanding how the series \( \sum n^2 a_n \) and \( \sum n a_n \) might behave.

Step 2: Prove Divergence of \( \sum n^2 a_n \)

Suppose \( \sum a_n \) is conditionally convergent. If we multiply each term by \( n^2 \), this series \( \sum n^2 a_n \) cannot converge. Since \( a_n \to 0 \) as \( n \to \infty \), multiplying by \( n^2 \) creates terms that do not diminish fast enough. The terms \( n^2 a_n \) eventually become larger than any predefined threshold, meaning \( \sum n^2 a_n \) diverges. This can be shown using the Cauchy Condensation Test or by considering the rearrangement of series leading to divergence.

Step 3: Example for Convergent \( \sum n a_n \)

An example of a conditionally convergent series where \( \sum n a_n \) converges is the Leibniz series for \( \ln 2 \), given by \( a_n = \frac{(-1)^{n+1}}{n} \). This series \( \sum (-1)^{n+1} \frac{1}{n} \) is conditionally convergent, and \( \sum n \left((-1)^{n+1} \frac{1}{n} \right) = \sum (-1)^{n+1} \cdot 1 \) is convergent because it is an alternating series that approaches its limit.

Step 4: Example for Divergent \( \sum n a_n \)

Consider the conditionally convergent series \( b_n = \frac{(-1)^{n+1}}{n\log n} \) for \( n \geq 2 \). This series converges conditionally due to the Alternating Series Test. However, when multiplied by \( n \), we have \( \sum n b_n \approx \sum \frac{(-1)^{n+1}}{\log n} \), which diverges because \( \frac{1}{\log n} \) does not shrink fast enough to let the series converge, even though intermittently positive and negative terms cancel partially.

Key Concepts

Divergence

In mathematical terms, divergence occurs when the terms of a series do not approach a finite limit. For a series to be divergent, its sequence of partial sums must not converge to a specific value. In the context of conditionally convergent series, understanding divergence is essential because it helps us differentiate series where rearranging terms can lead to different sums or to non-convergence entirely.

For the series \( \sum n^2 a_n \), where \( \sum a_n \) is known to be conditionally convergent, divergence is guaranteed because multiplying each term \( a_n \) by \( n^2 \) results in terms that grow too large to sum to a finite number, even as \( n \to \infty \). This behavior illustrates that although the series might converge under certain conditions, altering it by adding higher powers of \( n \) to its terms disrupts this balance, leading to divergence.

Convergence

Convergence in series occurs when the sequence of partial sums approaches a specific limit as \( n \to \infty \). In simple terms, a convergent series settles down to a fixed sum. For a conditionally convergent series, this implies that the series itself converges, but the series of absolute values diverges.

The essential feature of conditional convergence is that while the individual terms do not converge fast enough in magnitude, their alternating signs cause them to "settle" around a limit. The convergence of \( \sum a_n \) without \( \sum |a_n| \) means that small but persistent oscillations in sign enable convergence, but the magnitude alone is too large. Understanding this helps in examining how altering or rearranging terms can affect whether a series converges or not.

Alternating Series

An alternating series is a series whose terms alternately take positive and negative signs. Alternating series often converge when certain conditions are met, such as the Alternating Series Test. This test states that a series \( \sum (-1)^{n+1} a_n \) will converge if the absolute values \( a_n \) are decreasing and approach zero as \( n \to \infty \).

Alternating series are frequently employed to achieve convergence in cases where simple absolute convergence is not possible. For instance, the series \( a_n = \frac{(-1)^{n+1}}{n} \) converges to \( \ln(2) \). This principle of alternating terms helps in examples like \( \sum n a_n \) and \( \sum n^2 a_n \), where after altering the terms, they diverge or converge depending on whether the specified conditions are met or disrupted.

Cauchy Condensation Test

The Cauchy Condensation Test is a method used to determine the convergence or divergence of series, specifically those involving terms that decrease monotonically. This test transforms a given series \( \sum a_n \) into another series \( \sum 2^n a_{2^n} \) and compares their convergence.

For assessing the original exercise, the Cauchy Condensation Test helps to show why certain series diverge when altered, such as \( \sum n^2 a_n \). By rearranging terms into forms where they can be analyzed more simply, the test reveals that multiplying the original sequence by powers of \( n \) typically leads to divergence since these modified terms grow too quickly.

It becomes a valuable tool in proving results related to conditional convergence, especially when juxtaposed against absolute versions of similar series.