Definition & Notation

What is a Series?

An infinite series is the sum of the terms of an infinite sequence. If \(\{a_n\}_{n=1}^{\infty}\) is a sequence, then the corresponding series is denoted by:

\(\sum_{n=1}^{\infty} a_n = a_1 + a_2 + a_3 + \ldots + a_n + \ldots\)

The notation \(\sum_{n=1}^{\infty} a_n\) represents the sum of all terms in the sequence \(\{a_n\}\) from \(n=1\) to infinity. The starting index can be any integer, not necessarily 1.

Example 1: Series Notation

The series \(\sum_{n=1}^{\infty} \frac{1}{n^2}\) represents the sum:

\(\sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + \frac{1}{4^2} + \ldots = 1 + \frac{1}{4} + \frac{1}{9} + \frac{1}{16} + \ldots\)

This particular series is known as the "Basel problem" and converges to \(\frac{\pi^2}{6}\).

Partial Sums

Partial Sums of a Series

The partial sum \(S_n\) of a series \(\sum_{i=1}^{\infty} a_i\) is the sum of the first \(n\) terms of the series:

\(S_n = \sum_{i=1}^{n} a_i = a_1 + a_2 + a_3 + \ldots + a_n\)

The sequence of partial sums \(\{S_n\}\) is fundamental to understanding the behavior of a series. The value of the infinite series, if it exists, is the limit of this sequence of partial sums:

\(\sum_{i=1}^{\infty} a_i = \lim_{n \to \infty} S_n\)

Example 2: Partial Sums

Find the first few partial sums of the series \(\sum_{n=1}^{\infty} \frac{1}{n(n+1)}\).

Solution:

First, let's find the partial sums:

\begin{align} S_1 &= \frac{1}{1(1+1)} = \frac{1}{2} \\ S_2 &= \frac{1}{1(1+1)} + \frac{1}{2(2+1)} = \frac{1}{2} + \frac{1}{6} = \frac{3}{6} + \frac{1}{6} = \frac{4}{6} = \frac{2}{3} \\ S_3 &= \frac{1}{1(1+1)} + \frac{1}{2(2+1)} + \frac{1}{3(3+1)} = \frac{1}{2} + \frac{1}{6} + \frac{1}{12} = \frac{6}{12} + \frac{2}{12} + \frac{1}{12} = \frac{9}{12} = \frac{3}{4} \end{align}

Now, let's find a simpler form for the general term using partial fractions:

\(\frac{1}{n(n+1)} = \frac{A}{n} + \frac{B}{n+1}\)

Multiplying both sides by \(n(n+1)\):

1 = A(n+1) + Bn

Setting \(n=0\): \(1 = A\)

Setting \(n=1\): \(1 = A(2) + B = 2 + B\), so \(B = -1\)

Therefore:

\(\frac{1}{n(n+1)} = \frac{1}{n} - \frac{1}{n+1}\)

Using our partial fraction decomposition, we can find a pattern:

\begin{align} S_n &= \sum_{i=1}^{n} \left(\frac{1}{i} - \frac{1}{i+1}\right) \\ &= \left(1 - \frac{1}{2}\right) + \left(\frac{1}{2} - \frac{1}{3}\right) + \left(\frac{1}{3} - \frac{1}{4}\right) + \ldots + \left(\frac{1}{n} - \frac{1}{n+1}\right) \\ &= 1 - \frac{1}{n+1} \end{align}

This is a telescoping series where most terms cancel out, leaving only the first and last terms.

Interactive Visualizations

Explore Series Behavior

Use the controls below to explore different series and observe the behavior of their partial sums.

20

Series Information

Formula: \(\sum_{n=1}^{\infty} 1/n\)

Behavior: Diverges

Partial sums: S₁ = 1, S₂ = 1.5, S₃ = 1.833, S₄ = 2.083, S₅ = 2.283

Convergence & Divergence

Convergent Series

A series \(\sum_{n=1}^{\infty} a_n\) is said to be convergent if the sequence of partial sums \(\{S_n\}\) converges to a finite limit. That is, there exists a finite number \(S\) such that:

\(\lim_{n \to \infty} S_n = S\)

In this case, we say that the series converges to \(S\), and we write:

\(\sum_{n=1}^{\infty} a_n = S\)

Divergent Series

A series \(\sum_{n=1}^{\infty} a_n\) is said to be divergent if the sequence of partial sums \(\{S_n\}\) does not converge to a finite limit. This can happen if:

  • The partial sums grow without bound: \(\lim_{n \to \infty} S_n = \infty\)
  • The partial sums decrease without bound: \(\lim_{n \to \infty} S_n = -\infty\)
  • The partial sums oscillate without approaching any specific value

Necessary Condition for Convergence

If a series \(\sum_{n=1}^{\infty} a_n\) converges, then the sequence \(\{a_n\}\) must converge to 0:

\(\lim_{n \to \infty} a_n = 0\)

Note: This is a necessary but not sufficient condition. That is, if \(\lim_{n \to \infty} a_n \neq 0\), then the series diverges. However, if \(\lim_{n \to \infty} a_n = 0\), the series may still diverge.

Example 3: Convergence of a Series

Determine whether the series \(\sum_{n=1}^{\infty} \frac{1}{n(n+1)}\) converges or diverges. If it converges, find its sum.

Solution:

From Example 2, we found that the partial sum \(S_n = 1 - \frac{1}{n+1}\).

To determine if the series converges, we find the limit of the partial sums:

\begin{align} \lim_{n \to \infty} S_n &= \lim_{n \to \infty} \left(1 - \frac{1}{n+1}\right) \\ &= 1 - \lim_{n \to \infty} \frac{1}{n+1} \\ &= 1 - 0 \\ &= 1 \end{align}

Therefore, the series \(\sum_{n=1}^{\infty} \frac{1}{n(n+1)}\) converges to 1.

Convergence Tests

Determining whether a series converges or diverges can be challenging. Fortunately, there are several tests that can help us analyze the behavior of series without having to find the exact sum.

Divergence Test (n-th Term Test)

If \(\lim_{n \to \infty} a_n \neq 0\), then the series \(\sum_{n=1}^{\infty} a_n\) diverges.

Contrapositive: If the series \(\sum_{n=1}^{\infty} a_n\) converges, then \(\lim_{n \to \infty} a_n = 0\).

Important: If \(\lim_{n \to \infty} a_n = 0\), the series may still diverge. The divergence test can only be used to prove divergence, not convergence.

Example 4: Divergence Test

Use the divergence test to determine if the series \(\sum_{n=1}^{\infty} \frac{n+1}{n}\) converges or diverges.

Solution:

\begin{align} \lim_{n \to \infty} \frac{n+1}{n} &= \lim_{n \to \infty} \left(1 + \frac{1}{n}\right) \\ &= 1 + 0 \\ &= 1 \end{align}

Since \(\lim_{n \to \infty} a_n = 1 \neq 0\), the series diverges by the divergence test.

Geometric Series Test

A geometric series is a series of the form \(\sum_{n=0}^{\infty} ar^n = a + ar + ar^2 + \ldots\), where \(a \neq 0\) is the first term and \(r\) is the common ratio.

  • If \(|r| < 1\), the series converges to \(\dfrac{a}{1-r}\).
  • If \(|r| \geq 1\), the series diverges.

Example 5: Geometric Series Test

Determine whether the series \(\sum_{n=0}^{\infty} 2 \cdot \left(\frac{2}{3}\right)^n\) converges or diverges. If it converges, find its sum.

Solution:

This is a geometric series with first term \(a = 2\) and common ratio \(r = \frac{2}{3}\).

Since \(|r| = \frac{2}{3} < 1\), the series converges, and its sum is:

\begin{align} \sum_{n=0}^{\infty} 2 \cdot \left(\frac{2}{3}\right)^n &= \frac{a}{1-r} \\ &= \frac{2}{1 - \frac{2}{3}} \\ &= \frac{2}{\frac{1}{3}} \\ &= 6 \end{align}

Therefore, \(\sum_{n=0}^{\infty} 2 \cdot \left(\frac{2}{3}\right)^n = 6\).

Integral Test

Let \(\{a_n\}\) be a sequence of positive terms. If there exists a continuous, positive, decreasing function \(f(x)\) such that \(f(n) = a_n\) for all integers \(n \geq N\) (for some integer \(N \geq 1\)), then:

  • If \(\int_{N}^{\infty} f(x) \, dx\) converges, then \(\sum_{n=N}^{\infty} a_n\) converges.
  • If \(\int_{N}^{\infty} f(x) \, dx\) diverges, then \(\sum_{n=N}^{\infty} a_n\) diverges.

Example 6: Integral Test

Use the integral test to determine if the series \(\sum_{n=1}^{\infty} \frac{1}{n^2}\) converges or diverges.

Solution:

Let \(f(x) = \frac{1}{x^2}\). This function is continuous, positive, and decreasing for \(x \geq 1\), and \(f(n) = \frac{1}{n^2} = a_n\).

\begin{align} \int_{1}^{\infty} \frac{1}{x^2} \, dx &= \lim_{b \to \infty} \int_{1}^{b} \frac{1}{x^2} \, dx \\ &= \lim_{b \to \infty} \left[ -\frac{1}{x} \right]_{1}^{b} \\ &= \lim_{b \to \infty} \left( -\frac{1}{b} - (-1) \right) \\ &= \lim_{b \to \infty} \left( 1 - \frac{1}{b} \right) \\ &= 1 \end{align}

Since the improper integral converges to 1, the series \(\sum_{n=1}^{\infty} \frac{1}{n^2}\) also converges by the integral test.

Comparison Test

Let \(\{a_n\}\) and \(\{b_n\}\) be sequences of positive terms.

  • If \(a_n \leq b_n\) for all \(n \geq N\) (for some integer \(N \geq 1\)) and \(\sum_{n=N}^{\infty} b_n\) converges, then \(\sum_{n=N}^{\infty} a_n\) also converges.
  • If \(a_n \geq b_n\) for all \(n \geq N\) and \(\sum_{n=N}^{\infty} b_n\) diverges, then \(\sum_{n=N}^{\infty} a_n\) also diverges.

Example 7: Comparison Test

Use the comparison test to determine if the series \(\sum_{n=1}^{\infty} \frac{1}{n^2 + 1}\) converges or diverges.

Solution:

For \(n \geq 1\), we have \(n^2 + 1 > n^2\), which implies \(\frac{1}{n^2 + 1} < \frac{1}{n^2}\).

We know from Example 6 that \(\sum_{n=1}^{\infty} \frac{1}{n^2}\) converges.

Since \(\frac{1}{n^2 + 1} < \frac{1}{n^2}\) for all \(n \geq 1\) and \(\sum_{n=1}^{\infty} \frac{1}{n^2}\) converges, the series \(\sum_{n=1}^{\infty} \frac{1}{n^2 + 1}\) also converges by the comparison test.

Limit Comparison Test

Let \(\{a_n\}\) and \(\{b_n\}\) be sequences of positive terms. If \(\lim_{n \to \infty} \frac{a_n}{b_n} = L\), where \(L\) is a positive finite number, then either both series \(\sum_{n=1}^{\infty} a_n\) and \(\sum_{n=1}^{\infty} b_n\) converge or both diverge.

Example 8: Limit Comparison Test

Use the limit comparison test to determine if the series \(\sum_{n=1}^{\infty} \frac{n+3}{n^3+1}\) converges or diverges.

Solution:

Let's compare with \(b_n = \frac{1}{n^2}\), which we know converges.

\begin{align} \lim_{n \to \infty} \frac{a_n}{b_n} &= \lim_{n \to \infty} \frac{\frac{n+3}{n^3+1}}{\frac{1}{n^2}} \\ &= \lim_{n \to \infty} \frac{(n+3)n^2}{n^3+1} \\ &= \lim_{n \to \infty} \frac{n^3+3n^2}{n^3+1} \\ &= \lim_{n \to \infty} \frac{n^3\left(1+\frac{3}{n}\right)}{n^3\left(1+\frac{1}{n^3}\right)} \\ &= \lim_{n \to \infty} \frac{1+\frac{3}{n}}{1+\frac{1}{n^3}} \\ &= \frac{1+0}{1+0} \\ &= 1 \end{align}

Since \(\lim_{n \to \infty} \frac{a_n}{b_n} = 1\) (a positive finite number) and \(\sum_{n=1}^{\infty} \frac{1}{n^2}\) converges, the series \(\sum_{n=1}^{\infty} \frac{n+3}{n^3+1}\) also converges by the limit comparison test.

Ratio Test

Let \(\{a_n\}\) be a sequence of nonzero terms, and let \(\rho = \lim_{n \to \infty} \left|\frac{a_{n+1}}{a_n}\right|\).

  • If \(\rho < 1\), then the series \(\sum_{n=1}^{\infty} a_n\) converges absolutely.
  • If \(\rho > 1\) or \(\rho = \infty\), then the series \(\sum_{n=1}^{\infty} a_n\) diverges.
  • If \(\rho = 1\), the test is inconclusive.

Example 9: Ratio Test

Use the ratio test to determine if the series \(\sum_{n=1}^{\infty} \frac{2^n}{n!}\) converges or diverges.

Solution:

\begin{align} \rho &= \lim_{n \to \infty} \left|\frac{a_{n+1}}{a_n}\right| \\ &= \lim_{n \to \infty} \left|\frac{\frac{2^{n+1}}{(n+1)!}}{\frac{2^n}{n!}}\right| \\ &= \lim_{n \to \infty} \left|\frac{2^{n+1} \cdot n!}{(n+1)! \cdot 2^n}\right| \\ &= \lim_{n \to \infty} \left|\frac{2 \cdot 2^n \cdot n!}{(n+1) \cdot n! \cdot 2^n}\right| \\ &= \lim_{n \to \infty} \left|\frac{2}{n+1}\right| \\ &= \lim_{n \to \infty} \frac{2}{n+1} \\ &= 0 \end{align}

Since \(\rho = 0 < 1\), the series \(\sum_{n=1}^{\infty} \frac{2^n}{n!}\) converges by the ratio test.

Root Test

Let \(\{a_n\}\) be a sequence of terms, and let \(\rho = \lim_{n \to \infty} \sqrt[n]{|a_n|}\).

  • If \(\rho < 1\), then the series \(\sum_{n=1}^{\infty} a_n\) converges absolutely.
  • If \(\rho > 1\) or \(\rho = \infty\), then the series \(\sum_{n=1}^{\infty} a_n\) diverges.
  • If \(\rho = 1\), the test is inconclusive.

Example 10: Root Test

Use the root test to determine if the series \(\sum_{n=1}^{\infty} \left(\frac{3n}{n+5}\right)^n\) converges or diverges.

Solution:

\begin{align} \rho &= \lim_{n \to \infty} \sqrt[n]{|a_n|} \\ &= \lim_{n \to \infty} \sqrt[n]{\left|\left(\frac{3n}{n+5}\right)^n\right|} \\ &= \lim_{n \to \infty} \left|\frac{3n}{n+5}\right| \\ &= \lim_{n \to \infty} \frac{3n}{n+5} \\ &= \lim_{n \to \infty} \frac{3}{1+\frac{5}{n}} \\ &= \frac{3}{1+0} \\ &= 3 \end{align}

Since \(\rho = 3 > 1\), the series \(\sum_{n=1}^{\infty} \left(\frac{3n}{n+5}\right)^n\) diverges by the root test.

Alternating Series Test

If the series \(\sum_{n=1}^{\infty} (-1)^{n+1} b_n\) or \(\sum_{n=1}^{\infty} (-1)^{n} b_n\) satisfies:

  1. \(b_n > 0\) for all \(n\)
  2. \(b_{n+1} \leq b_n\) for all \(n\) (the sequence \(\{b_n\}\) is decreasing)
  3. \(\lim_{n \to \infty} b_n = 0\)

then the alternating series converges.

Example 11: Alternating Series Test

Use the alternating series test to determine if the series \(\sum_{n=1}^{\infty} (-1)^{n+1} \frac{1}{n}\) converges or diverges.

Solution:

Let \(b_n = \frac{1}{n}\). We need to check the three conditions:

  1. \(b_n = \frac{1}{n} > 0\) for all \(n \geq 1\). ✓
  2. \(b_{n+1} = \frac{1}{n+1} < \frac{1}{n} = b_n\) for all \(n \geq 1\), so the sequence is decreasing. ✓
  3. \(\lim_{n \to \infty} b_n = \lim_{n \to \infty} \frac{1}{n} = 0\). ✓

Since all three conditions are satisfied, the alternating series \(\sum_{n=1}^{\infty} (-1)^{n+1} \frac{1}{n}\) converges by the alternating series test.

Note: This series is known as the alternating harmonic series and converges to \(\ln(2)\).

Absolute Convergence

Absolute Convergence

A series \(\sum_{n=1}^{\infty} a_n\) is said to be absolutely convergent if the series of absolute values \(\sum_{n=1}^{\infty} |a_n|\) converges.

If a series \(\sum_{n=1}^{\infty} a_n\) is absolutely convergent, then it is also convergent.

Conditional Convergence

A series \(\sum_{n=1}^{\infty} a_n\) is said to be conditionally convergent if it converges but is not absolutely convergent.

Example 12: Absolute Convergence

Determine whether the series \(\sum_{n=1}^{\infty} \frac{(-1)^n}{n^2}\) is absolutely convergent, conditionally convergent, or divergent.

Solution:

To determine absolute convergence, we examine \(\sum_{n=1}^{\infty} \left|\frac{(-1)^n}{n^2}\right| = \sum_{n=1}^{\infty} \frac{1}{n^2}\).

We know from previous examples that \(\sum_{n=1}^{\infty} \frac{1}{n^2}\) converges (to \(\frac{\pi^2}{6}\)).

Therefore, the series \(\sum_{n=1}^{\infty} \frac{(-1)^n}{n^2}\) is absolutely convergent, which means it is also convergent.

Examples

Example 13: Choosing the Right Test

Determine whether each of the following series converges or diverges. Use the most appropriate test for each.

(a) \(\sum_{n=1}^{\infty} \frac{3^n + n}{4^n}\)

Solution:

Let's try the ratio test:

\begin{align} \rho &= \lim_{n \to \infty} \left|\frac{a_{n+1}}{a_n}\right| \\ &= \lim_{n \to \infty} \left|\frac{\frac{3^{n+1} + (n+1)}{4^{n+1}}}{\frac{3^n + n}{4^n}}\right| \\ &= \lim_{n \to \infty} \left|\frac{(3^{n+1} + n+1) \cdot 4^n}{4^{n+1} \cdot (3^n + n)}\right| \\ &= \lim_{n \to \infty} \left|\frac{3 \cdot 3^n + n+1}{4 \cdot (3^n + n)}\right| \\ &= \lim_{n \to \infty} \frac{3 \cdot 3^n + n+1}{4 \cdot (3^n + n)} \\ &= \lim_{n \to \infty} \frac{3^n \left(3 + \frac{n+1}{3^n}\right)}{4 \cdot 3^n \left(1 + \frac{n}{3^n}\right)} \\ &= \lim_{n \to \infty} \frac{3 + \frac{n+1}{3^n}}{4 \left(1 + \frac{n}{3^n}\right)} \\ &= \frac{3 + 0}{4 \cdot (1 + 0)} \\ &= \frac{3}{4} \end{align}

Since \(\rho = \frac{3}{4} < 1\), the series \(\sum_{n=1}^{\infty} \frac{3^n + n}{4^n}\) converges by the ratio test.

(b) \(\sum_{n=2}^{\infty} \frac{1}{n \ln n}\)

Solution:

We apply the integral test. Let \(f(x) = \frac{1}{x \ln x}\) for \(x \geq 2\). We first verify the three hypotheses.

Continuity: Since \(x > 0\) and \(\ln x > 0\) for all \(x \geq 2\), the function \(f(x) = \frac{1}{x \ln x}\) is continuous on \([2, \infty)\).

Positivity: Since both \(x > 0\) and \(\ln x > 0\) for \(x \geq 2\), we have \(f(x) = \frac{1}{x \ln x} > 0\) on \([2, \infty)\).

Decreasing: We compute \(f'(x)\):

\begin{align} f'(x) &= \frac{d}{dx} \left(\frac{1}{x \ln x}\right) \\ &= -\frac{\ln x + 1}{x^2 (\ln x)^2} \end{align}

Since \(\ln x + 1 > 0\) for \(x \geq 2\), we have \(f'(x) < 0\) on \([2, \infty)\), so \(f\) is decreasing there.

Also, \(f(n) = \frac{1}{n \ln n} = a_n\) for all integers \(n \geq 2\). Since all hypotheses are satisfied, we evaluate the improper integral:

\begin{align} \int_{2}^{\infty} \frac{1}{x \ln x} \, dx &= \lim_{b \to \infty} \int_{2}^{b} \frac{1}{x \ln x} \, dx \end{align}

Let \(u = \ln x\), then \(du = \frac{1}{x} \, dx\).

\begin{align} \int_{2}^{b} \frac{1}{x \ln x} \, dx &= \int_{\ln 2}^{\ln b} \frac{1}{u} \, du \\ &= \left[ \ln |u| \right]_{\ln 2}^{\ln b} \\ &= \ln(\ln b) - \ln(\ln 2) \end{align}

As \(b \to \infty\), \(\ln(\ln b) \to \infty\), so the integral diverges. Therefore, the series \(\sum_{n=2}^{\infty} \frac{1}{n \ln n}\) diverges by the integral test.

(c) \(\sum_{n=1}^{\infty} (-1)^n \frac{\ln n}{n}\)

Solution:

This is an alternating series, so let's check if it satisfies the conditions of the alternating series test.

Let \(b_n = \frac{\ln n}{n}\).

  1. \(b_n = \frac{\ln n}{n} > 0\) for all \(n \geq 2\). ✓
  2. To check if \(b_n\) is decreasing, we can find the derivative of \(f(x) = \frac{\ln x}{x}\):
    \begin{align} f'(x) &= \frac{1}{x} \cdot \frac{1}{x} - \frac{\ln x}{x^2} \\ &= \frac{1 - \ln x}{x^2} \end{align}
    This is negative for \(x > e\), so \(b_n\) is decreasing for \(n \geq 3\). ✓
  3. \(\lim_{n \to \infty} b_n = \lim_{n \to \infty} \frac{\ln n}{n}\). Using L'Hôpital's rule for the corresponding real-valued function:
    \begin{align} \lim_{x \to \infty} \frac{\ln x}{x} &= \lim_{x \to \infty} \frac{\frac{1}{x}}{1} \\ &= \lim_{x \to \infty} \frac{1}{x} \\ &= 0 \end{align}
    So it follows that \(\lim_{n \to \infty} b_n = 0\). ✓

Since all three conditions are satisfied (after the first few terms), the alternating series \(\sum_{n=3}^{\infty} (-1)^n \frac{\ln n}{n}\) converges by the alternating series test and hence \(\sum_{n=1}^{\infty} (-1)^n \frac{\ln n}{n}\) also converges.

Practice Exercises

Exercise 1

Find the sum of the series \(\sum_{n=0}^{\infty} \frac{3}{4^n}\).

Note: The convergence of this series can be established directly using the Geometric Series Test discussed in the Convergence Tests section above.

Exercise 2

Determine whether each of the following series converges or diverges. Justify your answer using an appropriate test.

(a) \(\sum_{n=1}^{\infty} \frac{n^2+1}{n^4+2}\)

(b) \(\sum_{n=1}^{\infty} \frac{n!}{n^n}\)

(c) \(\sum_{n=1}^{\infty} \frac{(-1)^n n}{n^2+1}\)

Exercise 3

Find the sum of the telescoping series \(\sum_{n=1}^{\infty} \left(\frac{1}{n} - \frac{1}{n+2}\right)\).