ConceptComplete

Sequences and Series - Examples and Constructions

Convergence tests provide systematic methods for determining whether series converge without computing exact sums. These tests are essential tools for analysis and applications throughout mathematics.

TheoremIntegral Test

Let ff be a continuous, positive, decreasing function on [1,∞)[1, \infty) with f(n)=anf(n) = a_n. Then: βˆ‘n=1∞anΒ and ∫1∞f(x) dx\sum_{n=1}^\infty a_n \text{ and } \int_1^\infty f(x)\,dx either both converge or both diverge.

Examplep-Series Test

The p-series βˆ‘n=1∞1np\sum_{n=1}^\infty \frac{1}{n^p} converges if p>1p > 1 and diverges if p≀1p \leq 1.

Proof: Use the integral test with f(x)=1xpf(x) = \frac{1}{x^p}: ∫1∞1xp dx=lim⁑tβ†’βˆž[xβˆ’p+1βˆ’p+1]1t\int_1^\infty \frac{1}{x^p}\,dx = \lim_{t \to \infty} \left[\frac{x^{-p+1}}{-p+1}\right]_1^t

  • If p>1p > 1: βˆ’p+1<0-p+1 < 0, so the integral converges to 1pβˆ’1\frac{1}{p-1}
  • If p≀1p \leq 1: the integral diverges

Therefore βˆ‘n=1∞1n2\sum_{n=1}^\infty \frac{1}{n^2} converges, but βˆ‘n=1∞1n\sum_{n=1}^\infty \frac{1}{n} diverges.

TheoremComparison Test

Suppose 0≀an≀bn0 \leq a_n \leq b_n for all nβ‰₯Nn \geq N.

  1. If βˆ‘bn\sum b_n converges, then βˆ‘an\sum a_n converges
  2. If βˆ‘an\sum a_n diverges, then βˆ‘bn\sum b_n diverges
ExampleUsing Direct Comparison

Test βˆ‘n=1∞1n2+1\sum_{n=1}^\infty \frac{1}{n^2 + 1} for convergence.

For nβ‰₯1n \geq 1: n2+1>n2n^2 + 1 > n^2, so 1n2+1<1n2\frac{1}{n^2 + 1} < \frac{1}{n^2}.

Since βˆ‘1n2\sum \frac{1}{n^2} converges (p-series with p=2>1p = 2 > 1), by comparison, βˆ‘1n2+1\sum \frac{1}{n^2+1} converges.

TheoremLimit Comparison Test

Suppose an,bn>0a_n, b_n > 0 for all nn and lim⁑nβ†’βˆžanbn=L\lim_{n \to \infty} \frac{a_n}{b_n} = L where 0<L<∞0 < L < \infty.

Then βˆ‘an\sum a_n and βˆ‘bn\sum b_n either both converge or both diverge.

ExampleLimit Comparison

Test βˆ‘n=1∞2n2+3n3+n+1\sum_{n=1}^\infty \frac{2n^2 + 3}{n^3 + n + 1} for convergence.

Compare with bn=1nb_n = \frac{1}{n} (which diverges): lim⁑nβ†’βˆžanbn=lim⁑nβ†’βˆž2n2+3n3+n+1β‹…n=lim⁑nβ†’βˆž2n3+3nn3+n+1=2\lim_{n \to \infty} \frac{a_n}{b_n} = \lim_{n \to \infty} \frac{2n^2 + 3}{n^3 + n + 1} \cdot n = \lim_{n \to \infty} \frac{2n^3 + 3n}{n^3 + n + 1} = 2

Since the limit is positive and finite, and βˆ‘1n\sum \frac{1}{n} diverges, βˆ‘an\sum a_n diverges.

TheoremRatio Test

Let an>0a_n > 0 and L=lim⁑nβ†’βˆžan+1anL = \lim_{n \to \infty} \frac{a_{n+1}}{a_n}.

  • If L<1L < 1, then βˆ‘an\sum a_n converges
  • If L>1L > 1 (or L=∞L = \infty), then βˆ‘an\sum a_n diverges
  • If L=1L = 1, the test is inconclusive
ExampleRatio Test Application

Test βˆ‘n=1∞2nn!\sum_{n=1}^\infty \frac{2^n}{n!} for convergence.

L=lim⁑nβ†’βˆžan+1an=lim⁑nβ†’βˆž2n+1/(n+1)!2n/n!=lim⁑nβ†’βˆž2β‹…n!(n+1)!=lim⁑nβ†’βˆž2n+1=0L = \lim_{n \to \infty} \frac{a_{n+1}}{a_n} = \lim_{n \to \infty} \frac{2^{n+1}/(n+1)!}{2^n/n!} = \lim_{n \to \infty} \frac{2 \cdot n!}{(n+1)!} = \lim_{n \to \infty} \frac{2}{n+1} = 0

Since L=0<1L = 0 < 1, the series converges.

TheoremRoot Test

Let anβ‰₯0a_n \geq 0 and L=lim⁑nβ†’βˆžannL = \lim_{n \to \infty} \sqrt[n]{a_n}.

  • If L<1L < 1, then βˆ‘an\sum a_n converges
  • If L>1L > 1, then βˆ‘an\sum a_n diverges
  • If L=1L = 1, the test is inconclusive
TheoremAlternating Series Test (Leibniz)

If {bn}\{b_n\} is a decreasing sequence with lim⁑nβ†’βˆžbn=0\lim_{n \to \infty} b_n = 0, then βˆ‘n=1∞(βˆ’1)nβˆ’1bn=b1βˆ’b2+b3βˆ’b4+β‹―\sum_{n=1}^\infty (-1)^{n-1} b_n = b_1 - b_2 + b_3 - b_4 + \cdots converges.

ExampleAlternating Harmonic Series

The series βˆ‘n=1∞(βˆ’1)nβˆ’1n=1βˆ’12+13βˆ’14+β‹―\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n} = 1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots converges by the Alternating Series Test:

  • bn=1nb_n = \frac{1}{n} is decreasing
  • lim⁑nβ†’βˆž1n=0\lim_{n \to \infty} \frac{1}{n} = 0

(The sum is ln⁑2\ln 2, though the test doesn't give us this value.)

DefinitionAbsolute and Conditional Convergence

A series βˆ‘an\sum a_n is:

  • Absolutely convergent if βˆ‘βˆ£an∣\sum |a_n| converges
  • Conditionally convergent if βˆ‘an\sum a_n converges but βˆ‘βˆ£an∣\sum |a_n| diverges

Absolute convergence implies convergence, but not conversely.

ExampleConditional Convergence

βˆ‘n=1∞(βˆ’1)nβˆ’1n\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n} converges (Alternating Series Test) but βˆ‘n=1∞1n\sum_{n=1}^\infty \frac{1}{n} diverges (harmonic series).

Therefore it is conditionally convergent.

These convergence tests form a comprehensive toolkit for analyzing infinite series across mathematics and applications.