A sequence is an ordered list of numbers: a 1 , a 2 , a 3 , … a_1, a_2, a_3, \ldots a 1 , a 2 , a 3 , … . Formally, a sequence is a Function from the positive integers (or a subset thereof) to the real numbers: a : N → R a \colon \mathbb{N} \to \mathbb{R} a : N → R Written as { a n } n = 1 ∞ \{a_n\}_{n=1}^{\infty} { a n } n = 1 ∞ or { a n } \{a_n\} { a n } .
A sequence { a n } \{a_n\} { a n } converges to a limit L L L if:
lim n → ∞ a n = L \lim_{n \to \infty} a_n = L n → ∞ lim a n = L This means: for every ϵ > 0 \epsilon \gt 0 ϵ > 0 There exists an integer N N N such that ∣ a n − L ∣ < ϵ |a_n - L| \lt \epsilon ∣ a n − L ∣ < ϵ for all n ≥ N n \ge N n ≥ N . The terms eventually get and stay arbitrarily close to L L L .
If no such limit exists, the sequence diverges .
Bounded above: a n ≤ M a_n \le M a n ≤ M for all n n n and some M M M .Bounded below: a n ≥ m a_n \ge m a n ≥ m for all n n n and some m m m .Bounded: bounded both above and below.Monotone increasing: a n + 1 ≥ a n a_{n+1} \ge a_n a n + 1 ≥ a n for all n n n .Monotone decreasing: a n + 1 ≤ a n a_{n+1} \le a_n a n + 1 ≤ a n for all n n n .Eventually monotone: the monotonicity holds for all n n n beyond some index N N N .Monotone Convergence Theorem. Every bounded monotone sequence converges. This is one of the most Powerful existence theorems in analysis: it guarantees convergence without requiring you to find the Limit explicitly.
Corollary: A monotone increasing sequence that is not bounded above diverges to + ∞ +\infty + ∞ . A Monotone decreasing sequence that is not bounded below diverges to − ∞ -\infty − ∞ .
| Sequence | Convergence | Limit | | -------------------------------------- | ----------- | ------- | --------- | --- | | a n = 1 n a_n = \frac{1}{n} a n = n 1 | Converges | 0 0 0 | | a n = r n a_n = r^n a n = r n (∣ r ∣ < 1 | r | \lt 1 ∣ r ∣ < 1 ) | Converges | 0 0 0 | | a n = r n a_n = r^n a n = r n (∣ r ∣ ≥ 1 | r | \ge 1 ∣ r ∣ ≥ 1 ) | Diverges | — | | a n = ( 1 + 1 n ) n a_n = \left(1 + \frac{1}{n}\right)^n a n = ( 1 + n 1 ) n | Converges | e e e | | a n = n ! n n a_n = \frac{n!}{n^n} a n = n n n ! | Converges | 0 0 0 | | a n = ( − 1 ) n a_n = (-1)^n a n = ( − 1 ) n | Diverges | — | | a n = n + 1 − n a_n = \sqrt{n+1} - \sqrt{n} a n = n + 1 − n | Converges | 0 0 0 | | a n = ln n n a_n = \frac{\ln n}{n} a n = n l n n | Converges | 0 0 0 |
Write out the terms:
0 < n ! n n = 1 ⋅ 2 ⋅ 3 ⋯ n n ⋅ n ⋅ n ⋯ n = 1 n ⋅ 2 n ⋅ 3 n ⋯ n n 0 \lt \frac{n!}{n^n} = \frac{1 \cdot 2 \cdot 3 \cdots n}{n \cdot n \cdot n \cdots n} = \frac{1}{n} \cdot \frac{2}{n} \cdot \frac{3}{n} \cdots \frac{n}{n} 0 < n n n ! = n ⋅ n ⋅ n ⋯ n 1 ⋅ 2 ⋅ 3 ⋯ n = n 1 ⋅ n 2 ⋅ n 3 ⋯ n n The first ⌊ n / 2 ⌋ \lfloor n/2 \rfloor ⌊ n /2 ⌋ factors are each at most 1 2 \frac{1}{2} 2 1 So:
0 < n ! n n ≤ ( 1 2 ) ⌊ n / 2 ⌋ → 0 0 \lt \frac{n!}{n^n} \le \left(\frac{1}{2}\right)^{\lfloor n/2 \rfloor} \to 0 0 < n n n ! ≤ ( 2 1 ) ⌊ n /2 ⌋ → 0 By the squeeze theorem, n ! n n → 0 \frac{n!}{n^n} \to 0 n n n ! → 0 .
Since ln n \ln n ln n grows slower than any positive power of n n n We have ln n < n \ln n \lt \sqrt{n} ln n < n for Sufficiently large n n n . Therefore 0 < ln n n < n n = 1 n 0 \lt \frac{\ln n}{n} \lt \frac{\sqrt{n}}{n} = \frac{1}{\sqrt{n}} 0 < n l n n < n n = n 1 And 1 n → 0 \frac{1}{\sqrt{n}} \to 0 n 1 → 0 So by the squeeze theorem, ln n n → 0 \frac{\ln n}{n} \to 0 n l n n → 0 .
An infinite series is the sum of the terms of an infinite sequence:
∑ n = 1 ∞ a n = a 1 + a 2 + a 3 + ⋯ \sum_{n=1}^{\infty} a_n = a_1 + a_2 + a_3 + \cdots n = 1 ∑ ∞ a n = a 1 + a 2 + a 3 + ⋯ The n n n Th partial sum is S n = ∑ k = 1 n a k S_n = \sum_{k=1}^{n} a_k S n = ∑ k = 1 n a k . The series converges if and only if the Sequence of partial sums { S n } \{S_n\} { S n } converges:
∑ n = 1 ∞ a n = L ⟺ lim n → ∞ S n = L \sum_{n=1}^{\infty} a_n = L \iff \lim_{n \to \infty} S_n = L n = 1 ∑ ∞ a n = L ⟺ n → ∞ lim S n = L If { S n } \{S_n\} { S n } diverges, the series diverges.
If lim n → ∞ a n ≠ 0 \displaystyle\lim_{n \to \infty} a_n \ne 0 n → ∞ lim a n = 0 Then ∑ a n \displaystyle\sum a_n ∑ a n diverges.
Proof (by contrapositive): If ∑ a n \sum a_n ∑ a n converges to L L L Then S n → L S_n \to L S n → L and S n − 1 → L S_{n-1} \to L S n − 1 → L . Since a n = S n − S n − 1 a_n = S_n - S_{n-1} a n = S n − S n − 1 We get a n → L − L = 0 a_n \to L - L = 0 a n → L − L = 0 .
Caution: If lim n → ∞ a n = 0 \displaystyle\lim_{n \to \infty} a_n = 0 n → ∞ lim a n = 0 The test is inconclusive. The series may Converge or diverge. The harmonic series ∑ 1 n \sum \frac{1}{n} ∑ n 1 is the canonical counterexample.
Example
Does ∑ n = 1 ∞ n n + 1 \displaystyle\sum_{n=1}^{\infty} \frac{n}{n+1} n = 1 ∑ ∞ n + 1 n converge?
lim n → ∞ n n + 1 = 1 ≠ 0 \lim_{n \to \infty} \frac{n}{n+1} = 1 \ne 0 n → ∞ lim n + 1 n = 1 = 0 By the n n n Th-term test, the series diverges.
∑ n = 1 ∞ 1 n = 1 + 1 2 + 1 3 + 1 4 + ⋯ \sum_{n=1}^{\infty} \frac{1}{n} = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \cdots n = 1 ∑ ∞ n 1 = 1 + 2 1 + 3 1 + 4 1 + ⋯ Even though 1 n → 0 \frac{1}{n} \to 0 n 1 → 0 This series diverges. The proof groups terms:
1 + 1 2 + ( 1 3 + 1 4 ) + ( 1 5 + 1 6 + 1 7 + 1 8 ) + ⋯ 1 + \frac{1}{2} + \left(\frac{1}{3} + \frac{1}{4}\right) + \left(\frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8}\right) + \cdots 1 + 2 1 + ( 3 1 + 4 1 ) + ( 5 1 + 6 1 + 7 1 + 8 1 ) + ⋯ Each group exceeds 1 2 \frac{1}{2} 2 1 : 1 3 + 1 4 > 1 4 + 1 4 = 1 2 \frac{1}{3} + \frac{1}{4} \gt \frac{1}{4} + \frac{1}{4} = \frac{1}{2} 3 1 + 4 1 > 4 1 + 4 1 = 2 1 And so on. Since we can Form infinitely many groups each exceeding 1 2 \frac{1}{2} 2 1 The partial sums diverge to + ∞ +\infty + ∞ .
∑ n = 0 ∞ a r n = a 1 − r , ∣ r ∣ < 1 \sum_{n=0}^{\infty} ar^n = \frac{a}{1 - r}, \quad |r| \lt 1 n = 0 ∑ ∞ a r n = 1 − r a , ∣ r ∣ < 1 The series diverges when ∣ r ∣ ≥ 1 |r| \ge 1 ∣ r ∣ ≥ 1 .
Derivation. The n n n Th partial sum is S n = a + a r + a r 2 + ⋯ + a r n − 1 S_n = a + ar + ar^2 + \cdots + ar^{n-1} S n = a + a r + a r 2 + ⋯ + a r n − 1 . Then:
R S n = a r + a r 2 + ⋯ + a r n RS_n = ar + ar^2 + \cdots + ar^n R S n = a r + a r 2 + ⋯ + a r n S n − r S n = a − a r n ⟹ S n ( 1 − r ) = a ( 1 − r n ) S_n - rS_n = a - ar^n \implies S_n(1 - r) = a(1 - r^n) S n − r S n = a − a r n ⟹ S n ( 1 − r ) = a ( 1 − r n ) S n = a ( 1 − r n ) 1 − r S_n = \frac{a(1 - r^n)}{1 - r} S n = 1 − r a ( 1 − r n ) When ∣ r ∣ < 1 |r| \lt 1 ∣ r ∣ < 1 , r n → 0 r^n \to 0 r n → 0 So S n → a 1 − r S_n \to \frac{a}{1 - r} S n → 1 − r a .
Example
Evaluate ∑ n = 1 ∞ 3 2 n \displaystyle\sum_{n=1}^{\infty} \frac{3}{2^n} n = 1 ∑ ∞ 2 n 3 .
Rewrite as ∑ n = 1 ∞ 3 ( 1 2 ) n \displaystyle\sum_{n=1}^{\infty} 3\left(\frac{1}{2}\right)^n n = 1 ∑ ∞ 3 ( 2 1 ) n . Here a = 3 2 a = \frac{3}{2} a = 2 3 And r = 1 2 r = \frac{1}{2} r = 2 1 .
∑ n = 1 ∞ 3 2 n = 3 / 2 1 − 1 / 2 = 3 / 2 1 / 2 = 3 \sum_{n=1}^{\infty} \frac{3}{2^n} = \frac{3/2}{1 - 1/2} = \frac{3/2}{1/2} = 3 n = 1 ∑ ∞ 2 n 3 = 1 − 1/2 3/2 = 1/2 3/2 = 3 Every repeating decimal can be expressed as a rational number using geometric series.
Example
Express 0. 37 ‾ 0.\overline{37} 0. 37 as a fraction.
0. 37 ‾ = 37 100 + 37 10000 + 37 1000000 + ⋯ = ∑ n = 1 ∞ 37 100 n 0.\overline{37} = \frac{37}{100} + \frac{37}{10000} + \frac{37}{1000000} + \cdots = \sum_{n=1}^{\infty} \frac{37}{100^n} 0. 37 = 100 37 + 10000 37 + 1000000 37 + ⋯ = n = 1 ∑ ∞ 10 0 n 37 This is a geometric series with a = 37 100 a = \frac{37}{100} a = 100 37 and r = 1 100 r = \frac{1}{100} r = 100 1 .
0. 37 ‾ = 37 / 100 1 − 1 / 100 = 37 / 100 99 / 100 = 37 99 0.\overline{37} = \frac{37/100}{1 - 1/100} = \frac{37/100}{99/100} = \frac{37}{99} 0. 37 = 1 − 1/100 37/100 = 99/100 37/100 = 99 37 A telescoping series has terms that cancel in pairs when the partial sum is expanded.
Example
Evaluate ∑ n = 1 ∞ 1 n ( n + 1 ) \displaystyle\sum_{n=1}^{\infty} \frac{1}{n(n+1)} n = 1 ∑ ∞ n ( n + 1 ) 1 .
Use partial fractions: 1 n ( n + 1 ) = 1 n − 1 n + 1 \displaystyle\frac{1}{n(n+1)} = \frac{1}{n} - \frac{1}{n+1} n ( n + 1 ) 1 = n 1 − n + 1 1 .
S n = ( 1 − 1 2 ) + ( 1 2 − 1 3 ) + ⋯ + ( 1 n − 1 n + 1 ) = 1 − 1 n + 1 S_n = \left(1 - \frac{1}{2}\right) + \left(\frac{1}{2} - \frac{1}{3}\right) + \cdots + \left(\frac{1}{n} - \frac{1}{n+1}\right) = 1 - \frac{1}{n+1} S n = ( 1 − 2 1 ) + ( 2 1 − 3 1 ) + ⋯ + ( n 1 − n + 1 1 ) = 1 − n + 1 1 lim n → ∞ S n = 1 \lim_{n \to \infty} S_n = 1 n → ∞ lim S n = 1 Evaluate ∑ n = 2 ∞ 1 n 2 − 1 \displaystyle\sum_{n=2}^{\infty} \frac{1}{n^2 - 1} n = 2 ∑ ∞ n 2 − 1 1 .
Factor: 1 n 2 − 1 = 1 ( n − 1 ) ( n + 1 ) \frac{1}{n^2-1} = \frac{1}{(n-1)(n+1)} n 2 − 1 1 = ( n − 1 ) ( n + 1 ) 1 . By partial fractions: 1 ( n − 1 ) ( n + 1 ) = 1 2 ( 1 n − 1 − 1 n + 1 ) \frac{1}{(n-1)(n+1)} = \frac{1}{2}\!\left(\frac{1}{n-1} - \frac{1}{n+1}\right) ( n − 1 ) ( n + 1 ) 1 = 2 1 ( n − 1 1 − n + 1 1 ) .
S N = 1 2 [ ( 1 1 − 1 3 ) + ( 1 2 − 1 4 ) + ( 1 3 − 1 5 ) + ⋯ + ( 1 N − 1 − 1 N + 1 ) ] S_N = \frac{1}{2}\left[\left(\frac{1}{1} - \frac{1}{3}\right) + \left(\frac{1}{2} - \frac{1}{4}\right) + \left(\frac{1}{3} - \frac{1}{5}\right) + \cdots + \left(\frac{1}{N-1} - \frac{1}{N+1}\right)\right] S N = 2 1 [ ( 1 1 − 3 1 ) + ( 2 1 − 4 1 ) + ( 3 1 − 5 1 ) + ⋯ + ( N − 1 1 − N + 1 1 ) ] Most terms cancel, leaving:
S N = 1 2 ( 1 + 1 2 − 1 N − 1 N + 1 ) S_N = \frac{1}{2}\left(1 + \frac{1}{2} - \frac{1}{N} - \frac{1}{N+1}\right) S N = 2 1 ( 1 + 2 1 − N 1 − N + 1 1 ) lim N → ∞ S N = 1 2 ( 3 2 ) = 3 4 \lim_{N \to \infty} S_N = \frac{1}{2}\left(\frac{3}{2}\right) = \frac{3}{4} N → ∞ lim S N = 2 1 ( 2 3 ) = 4 3 If f f f is continuous, positive, and decreasing on [ 1 , ∞ ) [1, \infty) [ 1 , ∞ ) And a n = f ( n ) a_n = f(n) a n = f ( n ) Then:
\sum_{n=1}^{\infty} a_n \quad \mathrm{and \quad \int_1^{\infty} f(x)\, dx Either both converge or both diverge.
Why it works. The sum ∑ n = 2 ∞ f ( n ) \sum_{n=2}^{\infty} f(n) ∑ n = 2 ∞ f ( n ) can be bounded by the integral:
∫ 1 ∞ f ( x ) d x ≤ ∑ n = 1 ∞ f ( n ) ≤ f ( 1 ) + ∫ 1 ∞ f ( x ) d x \int_1^{\infty} f(x)\, dx \le \sum_{n=1}^{\infty} f(n) \le f(1) + \int_1^{\infty} f(x)\, dx ∫ 1 ∞ f ( x ) d x ≤ n = 1 ∑ ∞ f ( n ) ≤ f ( 1 ) + ∫ 1 ∞ f ( x ) d x So if the integral converges, the sum is bounded above and (since terms are positive) must converge. If the integral diverges, the sum exceeds any bound and must diverge.
If ∑ a n \sum a_n ∑ a n converges by the integral test and R n = S − S n R_n = S - S_n R n = S − S n is the remainder after n n n terms:
∫ n + 1 ∞ f ( x ) d x ≤ R n ≤ ∫ n ∞ f ( x ) d x \int_{n+1}^{\infty} f(x)\, dx \le R_n \le \int_n^{\infty} f(x)\, dx ∫ n + 1 ∞ f ( x ) d x ≤ R n ≤ ∫ n ∞ f ( x ) d x ∑ n = 1 ∞ 1 n p \sum_{n=1}^{\infty} \frac{1}{n^p} n = 1 ∑ ∞ n p 1 Converges if p > 1 p \gt 1 p > 1 Diverges if p ≤ 1 p \le 1 p ≤ 1 This follows directly from the integral test: ∫ 1 ∞ d x x p \int_1^{\infty} \frac{dx}{x^p} ∫ 1 ∞ x p d x converges if and only If p > 1 p \gt 1 p > 1 .
The p p p -series with p = 1 p = 1 p = 1 is the harmonic series, which diverges. This is the “boundary case” that Separates convergence from divergence.
Suppose 0 ≤ a n ≤ b n 0 \le a_n \le b_n 0 ≤ a n ≤ b n for all n n n (eventually):
If ∑ b n \sum b_n ∑ b n converges, then ∑ a n \sum a_n ∑ a n converges. If ∑ a n \sum a_n ∑ a n diverges, then ∑ b n \sum b_n ∑ b n diverges. Intuition: If a larger sum converges, the smaller one must too. If a smaller sum diverges, the Larger one must too.
Suppose a n > 0 a_n \gt 0 a n > 0 and b n > 0 b_n \gt 0 b n > 0 for all n n n And:
L = lim n → ∞ a n b n L = \lim_{n \to \infty} \frac{a_n}{b_n} L = n → ∞ lim b n a n If 0 < L < ∞ 0 \lt L \lt \infty 0 < L < ∞ Then ∑ a n \sum a_n ∑ a n and ∑ b n \sum b_n ∑ b n either both converge or both diverge. If L = 0 L = 0 L = 0 and ∑ b n \sum b_n ∑ b n converges, then ∑ a n \sum a_n ∑ a n converges. If L = ∞ L = \infty L = ∞ and ∑ b n \sum b_n ∑ b n diverges, then ∑ a n \sum a_n ∑ a n diverges. The case 0 < L < ∞ 0 \lt L \lt \infty 0 < L < ∞ is the most commonly used: it says the two series have the “same order Of magnitude,” so they share the same convergence behavior.
Example
Determine whether ∑ n = 1 ∞ 1 n 2 + 1 \displaystyle\sum_{n=1}^{\infty} \frac{1}{n^2 + 1} n = 1 ∑ ∞ n 2 + 1 1 converges.
Compare with ∑ 1 n 2 \displaystyle\sum \frac{1}{n^2} ∑ n 2 1 (a convergent p p p -series with p = 2 p = 2 p = 2 ):
lim n → ∞ 1 / ( n 2 + 1 ) 1 / n 2 = lim n → ∞ n 2 n 2 + 1 = 1 \lim_{n \to \infty} \frac{1/(n^2+1)}{1/n^2} = \lim_{n \to \infty} \frac{n^2}{n^2 + 1} = 1 n → ∞ lim 1/ n 2 1/ ( n 2 + 1 ) = n → ∞ lim n 2 + 1 n 2 = 1 Since 0 < 1 < ∞ 0 \lt 1 \lt \infty 0 < 1 < ∞ Both series converge by the limit comparison test.
Determine whether ∑ n = 1 ∞ 3 n + 1 n 3 − 2 \displaystyle\sum_{n=1}^{\infty} \frac{3n + 1}{n^3 - 2} n = 1 ∑ ∞ n 3 − 2 3 n + 1 converges.
For large n n n , 3 n + 1 n 3 − 2 ≈ 3 n n 3 = 3 n 2 \frac{3n+1}{n^3-2} \approx \frac{3n}{n^3} = \frac{3}{n^2} n 3 − 2 3 n + 1 ≈ n 3 3 n = n 2 3 .
Compare with ∑ 1 n 2 \sum \frac{1}{n^2} ∑ n 2 1 :
lim n → ∞ ( 3 n + 1 ) / ( n 3 − 2 ) 1 / n 2 = lim n → ∞ n 2 ( 3 n + 1 ) n 3 − 2 = lim n → ∞ 3 n 3 + n 2 n 3 − 2 = 3 \lim_{n \to \infty} \frac{(3n+1)/(n^3-2)}{1/n^2} = \lim_{n \to \infty} \frac{n^2(3n+1)}{n^3-2} = \lim_{n \to \infty} \frac{3n^3 + n^2}{n^3 - 2} = 3 n → ∞ lim 1/ n 2 ( 3 n + 1 ) / ( n 3 − 2 ) = n → ∞ lim n 3 − 2 n 2 ( 3 n + 1 ) = n → ∞ lim n 3 − 2 3 n 3 + n 2 = 3 Since L = 3 ∈ ( 0 , ∞ ) L = 3 \in (0, \infty) L = 3 ∈ ( 0 , ∞ ) Both series converge.
For ∑ a n \displaystyle\sum a_n ∑ a n Compute:
L = lim n → ∞ ∣ a n + 1 a n ∣ L = \lim_{n \to \infty} \left|\frac{a_{n+1}}{a_n}\right| L = n → ∞ lim a n a n + 1 If L < 1 L \lt 1 L < 1 : the series converges absolutely . If L > 1 L \gt 1 L > 1 (or L = ∞ L = \infty L = ∞ ): the series diverges . If L = 1 L = 1 L = 1 : the test is inconclusive . The ratio test is especially useful when the terms involve factorials or exponentials, because the Ratio tends to simplify dramatically.
Why it connects to geometric series. If ∣ a n + 1 a n ∣ → L < 1 \left|\frac{a_{n+1}}{a_n}\right| \to L \lt 1 a n a n + 1 → L < 1 Then for Large n n n the terms behave like a geometric series with ratio L L L And geometric series converge When the ratio is less than 1.
Example
Determine whether ∑ n = 1 ∞ n ! 10 n \displaystyle\sum_{n=1}^{\infty} \frac{n!}{10^n} n = 1 ∑ ∞ 1 0 n n ! converges.
L = lim n → ∞ ( n + 1 ) ! / 10 n + 1 n ! / 10 n = lim n → ∞ n + 1 10 = ∞ L = \lim_{n \to \infty} \frac{(n+1)! / 10^{n+1}}{n! / 10^n} = \lim_{n \to \infty} \frac{n+1}{10} = \infty L = n → ∞ lim n ! /1 0 n ( n + 1 )! /1 0 n + 1 = n → ∞ lim 10 n + 1 = ∞ Since L = ∞ > 1 L = \infty \gt 1 L = ∞ > 1 The series diverges.
Example
Determine whether ∑ n = 1 ∞ 2 n n ! \displaystyle\sum_{n=1}^{\infty} \frac{2^n}{n!} n = 1 ∑ ∞ n ! 2 n converges.
L = lim n → ∞ 2 n + 1 / ( n + 1 ) ! 2 n / n ! = lim n → ∞ 2 n + 1 = 0 L = \lim_{n \to \infty} \frac{2^{n+1} / (n+1)!}{2^n / n!} = \lim_{n \to \infty} \frac{2}{n+1} = 0 L = n → ∞ lim 2 n / n ! 2 n + 1 / ( n + 1 )! = n → ∞ lim n + 1 2 = 0 Since L = 0 < 1 L = 0 \lt 1 L = 0 < 1 The series converges absolutely.
If { a n } \{a_n\} { a n } is a sequence that satisfies:
a n > 0 a_n \gt 0 a n > 0 for all n n n (eventually),a n + 1 ≤ a n a_{n+1} \le a_n a n + 1 ≤ a n for all n n n (eventually) — the terms decrease, andlim n → ∞ a n = 0 \displaystyle\lim_{n \to \infty} a_n = 0 n → ∞ lim a n = 0 Then the alternating series ∑ n = 1 ∞ ( − 1 ) n − 1 a n \displaystyle\sum_{n=1}^{\infty} (-1)^{n-1} a_n n = 1 ∑ ∞ ( − 1 ) n − 1 a n converges.
Intuition: The partial sums oscillate, but the oscillations shrink because the terms decrease. The odd-indexed partial sums S 1 , S 3 , S 5 , … S_1, S_3, S_5, \ldots S 1 , S 3 , S 5 , … form a decreasing sequence bounded below, and The even-indexed partial sums S 2 , S 4 , S 6 , … S_2, S_4, S_6, \ldots S 2 , S 4 , S 6 , … form an increasing sequence bounded above. Both converge to the same limit.
If S = ∑ n = 1 ∞ ( − 1 ) n − 1 a n S = \displaystyle\sum_{n=1}^{\infty} (-1)^{n-1} a_n S = n = 1 ∑ ∞ ( − 1 ) n − 1 a n is a convergent alternating series, then The error in using S n S_n S n to approximate S S S satisfies:
∣ R n ∣ = ∣ S − S n ∣ ≤ a n + 1 |R_n| = |S - S_n| \le a_{n+1} ∣ R n ∣ = ∣ S − S n ∣ ≤ a n + 1 That is, the error is bounded by the first omitted term. This is remarkably useful: you can control The error by counting terms.
Example
How many terms of ∑ n = 1 ∞ ( − 1 ) n − 1 n \displaystyle\sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n} n = 1 ∑ ∞ n ( − 1 ) n − 1 are needed to approximate The sum with error less than 0.001 0.001 0.001 ?
The terms are a n = 1 n a_n = \frac{1}{n} a n = n 1 Which decrease and approach 0.
We need a n + 1 = 1 n + 1 < 0.001 a_{n+1} = \frac{1}{n+1} \lt 0.001 a n + 1 = n + 1 1 < 0.001 So n + 1 > 1000 n + 1 \gt 1000 n + 1 > 1000 Meaning n ≥ 1000 n \ge 1000 n ≥ 1000 .
At least 1000 terms are needed.
Absolutely convergent: ∑ ∣ a n ∣ \displaystyle\sum |a_n| ∑ ∣ a n ∣ converges.Conditionally convergent: ∑ a n \displaystyle\sum a_n ∑ a n converges but ∑ ∣ a n ∣ \displaystyle\sum |a_n| ∑ ∣ a n ∣ diverges.Theorem. If a series converges absolutely, it converges.
Proof sketch. − ∣ a n ∣ ≤ a n ≤ ∣ a n ∣ -|a_n| \le a_n \le |a_n| − ∣ a n ∣ ≤ a n ≤ ∣ a n ∣ So 0 ≤ a n + ∣ a n ∣ ≤ 2 ∣ a n ∣ 0 \le a_n + |a_n| \le 2|a_n| 0 ≤ a n + ∣ a n ∣ ≤ 2∣ a n ∣ . Since ∑ 2 ∣ a n ∣ \sum 2|a_n| ∑ 2∣ a n ∣ Converges, ∑ ( a n + ∣ a n ∣ ) \sum (a_n + |a_n|) ∑ ( a n + ∣ a n ∣ ) converges by the comparison test. Therefore ∑ a n = ∑ ( a n + ∣ a n ∣ ) − ∑ ∣ a n ∣ \sum a_n = \sum (a_n + |a_n|) - \sum |a_n| ∑ a n = ∑ ( a n + ∣ a n ∣ ) − ∑ ∣ a n ∣ converges as the difference of two convergent series.
Riemann rearrangement theorem. A conditionally convergent series can be rearranged to converge To any real number, or to diverge. This is not true for absolutely convergent series, whose sum is Invariant under rearrangement.
Example
Classify ∑ n = 1 ∞ ( − 1 ) n n \displaystyle\sum_{n=1}^{\infty} \frac{(-1)^n}{n} n = 1 ∑ ∞ n ( − 1 ) n .
The alternating series converges by the alternating series test.
Check absolute convergence: ∑ n = 1 ∞ 1 n \displaystyle\sum_{n=1}^{\infty} \frac{1}{n} n = 1 ∑ ∞ n 1 is the harmonic series, Which diverges.
Therefore, the series converges conditionally .
A power series centered at a a a is:
∑ n = 0 ∞ c n ( x − a ) n = c 0 + c 1 ( x − a ) + c 2 ( x − a ) 2 + ⋯ \sum_{n=0}^{\infty} c_n(x - a)^n = c_0 + c_1(x-a) + c_2(x-a)^2 + \cdots n = 0 ∑ ∞ c n ( x − a ) n = c 0 + c 1 ( x − a ) + c 2 ( x − a ) 2 + ⋯ A power series is a “polynomial with infinitely many terms.” The central question for any power Series is: for which values of x x x does it converge?
Every power series converges in an interval ( a − R , a + R ) (a - R, a + R) ( a − R , a + R ) where R R R is the radius of Convergence :
Use the ratio test to find R R R : R = 1 lim n → ∞ ∣ c n + 1 / c n ∣ \displaystyle R = \frac{1}{\lim_{n \to \infty} |c_{n+1}/c_n|} R = lim n → ∞ ∣ c n + 1 / c n ∣ 1 . Check the endpoints separately (the ratio test is inconclusive when L = 1 L = 1 L = 1 ). Case Interval of Convergence R = 0 R = 0 R = 0 Single point { a } \{a\} { a } R = ∞ R = \infty R = ∞ ( − ∞ , ∞ ) (-\infty, \infty) ( − ∞ , ∞ ) 0 < R < ∞ 0 \lt R \lt \infty 0 < R < ∞ Check endpoints of ( a − R , a + R ) (a - R, a + R) ( a − R , a + R )
Example
Find the interval of convergence for ∑ n = 0 ∞ ( x − 2 ) n n ! \displaystyle\sum_{n=0}^{\infty} \frac{(x - 2)^n}{n!} n = 0 ∑ ∞ n ! ( x − 2 ) n .
Apply the ratio test:
L = lim n → ∞ ∣ ( x − 2 ) n + 1 / ( n + 1 ) ! ( x − 2 ) n / n ! ∣ = lim n → ∞ ∣ x − 2 ∣ n + 1 = 0 L = \lim_{n \to \infty} \left|\frac{(x-2)^{n+1}/(n+1)!}{(x-2)^n/n!}\right| = \lim_{n \to \infty} \frac{|x-2|}{n+1} = 0 L = n → ∞ lim ( x − 2 ) n / n ! ( x − 2 ) n + 1 / ( n + 1 )! = n → ∞ lim n + 1 ∣ x − 2∣ = 0 Since L = 0 < 1 L = 0 \lt 1 L = 0 < 1 for all x x x The series converges for all real numbers. The interval of Convergence is ( − ∞ , ∞ ) (-\infty, \infty) ( − ∞ , ∞ ) with R = ∞ R = \infty R = ∞ .
Example
Find the interval of convergence for ∑ n = 1 ∞ ( x − 1 ) n n \displaystyle\sum_{n=1}^{\infty} \frac{(x-1)^n}{n} n = 1 ∑ ∞ n ( x − 1 ) n .
L = lim n → ∞ ∣ ( x − 1 ) n + 1 / ( n + 1 ) ( x − 1 ) n / n ∣ = ∣ x − 1 ∣ ⋅ lim n → ∞ n n + 1 = ∣ x − 1 ∣ L = \lim_{n \to \infty} \left|\frac{(x-1)^{n+1}/(n+1)}{(x-1)^n/n}\right| = |x - 1| \cdot \lim_{n \to \infty} \frac{n}{n+1} = |x - 1| L = n → ∞ lim ( x − 1 ) n / n ( x − 1 ) n + 1 / ( n + 1 ) = ∣ x − 1∣ ⋅ n → ∞ lim n + 1 n = ∣ x − 1∣ Converges when ∣ x − 1 ∣ < 1 |x - 1| \lt 1 ∣ x − 1∣ < 1 I.e., 0 < x < 2 0 \lt x \lt 2 0 < x < 2 . Radius R = 1 R = 1 R = 1 .
Check x = 0 x = 0 x = 0 : ∑ n = 1 ∞ ( − 1 ) n n \displaystyle\sum_{n=1}^{\infty} \frac{(-1)^n}{n} n = 1 ∑ ∞ n ( − 1 ) n converges (alternating Series).
Check x = 2 x = 2 x = 2 : ∑ n = 1 ∞ 1 n \displaystyle\sum_{n=1}^{\infty} \frac{1}{n} n = 1 ∑ ∞ n 1 diverges (harmonic series).
Interval of convergence: [ 0 , 2 ) [0, 2) [ 0 , 2 ) .
If f ( x ) = ∑ n = 0 ∞ c n ( x − a ) n \displaystyle f(x) = \sum_{n=0}^{\infty} c_n(x-a)^n f ( x ) = n = 0 ∑ ∞ c n ( x − a ) n with radius R R R Then:
F"(x) = \sum_{n=1}^{\infty} n c_n (x-a)^{n-1}, \quad \mathrm{same radius R \int f(x)\, dx = C + \sum_{n=0}^{\infty} \frac{c_n (x-a)^{n+1}}{n+1}, \quad \mathrm{same radius R Differentiation and integration of power series do not change the radius of convergence (though the Behaviour at the endpoints may change).
The Taylor series of f f f centered at a a a is:
F ( x ) = ∑ n = 0 ∞ f ( n ) ( a ) n ! ( x − a ) n F(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!}(x - a)^n F ( x ) = n = 0 ∑ ∞ n ! f ( n ) ( a ) ( x − a ) n When a = 0 a = 0 a = 0 This is called a Maclaurin series .
The Taylor polynomial T n ( x ) = ∑ k = 0 n f ( k ) ( a ) k ! ( x − a ) k T_n(x) = \sum_{k=0}^{n} \frac{f^{(k)}(a)}{k!}(x-a)^k T n ( x ) = ∑ k = 0 n k ! f ( k ) ( a ) ( x − a ) k is the unique Polynomial of degree ≤ n \le n ≤ n whose value and first n n n derivatives at x = a x = a x = a match those of f f f . As n → ∞ n \to \infty n → ∞ If the remainder R n ( x ) = f ( x ) − T n ( x ) → 0 R_n(x) = f(x) - T_n(x) \to 0 R n ( x ) = f ( x ) − T n ( x ) → 0 Then the Taylor series converges to f ( x ) f(x) f ( x ) .
E x = ∑ n = 0 ∞ x n n ! = 1 + x + x 2 2 ! + x 3 3 ! + ⋯ , R = ∞ E^x = \sum_{n=0}^{\infty} \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots, \quad R = \infty E x = n = 0 ∑ ∞ n ! x n = 1 + x + 2 ! x 2 + 3 ! x 3 + ⋯ , R = ∞ sin x = ∑ n = 0 ∞ ( − 1 ) n x 2 n + 1 ( 2 n + 1 ) ! = x − x 3 3 ! + x 5 5 ! − ⋯ , R = ∞ \sin x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots, \quad R = \infty sin x = n = 0 ∑ ∞ ( 2 n + 1 )! ( − 1 ) n x 2 n + 1 = x − 3 ! x 3 + 5 ! x 5 − ⋯ , R = ∞ cos x = ∑ n = 0 ∞ ( − 1 ) n x 2 n ( 2 n ) ! = 1 − x 2 2 ! + x 4 4 ! − ⋯ , R = ∞ \cos x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots, \quad R = \infty cos x = n = 0 ∑ ∞ ( 2 n )! ( − 1 ) n x 2 n = 1 − 2 ! x 2 + 4 ! x 4 − ⋯ , R = ∞ 1 1 − x = ∑ n = 0 ∞ x n = 1 + x + x 2 + x 3 + ⋯ , R = 1 \frac{1}{1-x} = \sum_{n=0}^{\infty} x^n = 1 + x + x^2 + x^3 + \cdots, \quad R = 1 1 − x 1 = n = 0 ∑ ∞ x n = 1 + x + x 2 + x 3 + ⋯ , R = 1 ln ( 1 + x ) = ∑ n = 1 ∞ ( − 1 ) n − 1 x n n = x − x 2 2 + x 3 3 − ⋯ , R = 1 \ln(1+x) = \sum_{n=1}^{\infty} \frac{(-1)^{n-1}x^n}{n} = x - \frac{x^2}{2} + \frac{x^3}{3} - \cdots, \quad R = 1 ln ( 1 + x ) = n = 1 ∑ ∞ n ( − 1 ) n − 1 x n = x − 2 x 2 + 3 x 3 − ⋯ , R = 1 ( 1 + x ) k = ∑ n = 0 ∞ ( k n ) x n , R = 1 (1+x)^k = \sum_{n=0}^{\infty} \binom{k}{n} x^n, \quad R = 1 ( 1 + x ) k = n = 0 ∑ ∞ ( n k ) x n , R = 1 arctan x = ∑ n = 0 ∞ ( − 1 ) n x 2 n + 1 2 n + 1 = x − x 3 3 + x 5 5 − ⋯ , R = 1 \arctan x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{2n+1} = x - \frac{x^3}{3} + \frac{x^5}{5} - \cdots, \quad R = 1 arctan x = n = 0 ∑ ∞ 2 n + 1 ( − 1 ) n x 2 n + 1 = x − 3 x 3 + 5 x 5 − ⋯ , R = 1 The remainder after n n n terms of the Taylor series satisfies:
∣ R n ( x ) ∣ ≤ M ∣ x − a ∣ n + 1 ( n + 1 ) ! |R_n(x)| \le \frac{M|x - a|^{n+1}}{(n+1)!} ∣ R n ( x ) ∣ ≤ ( n + 1 )! M ∣ x − a ∣ n + 1 Where M M M is an upper bound for ∣ f ( n + 1 ) ( z ) ∣ |f^{(n+1)}(z)| ∣ f ( n + 1 ) ( z ) ∣ for z z z between a a a and x x x .
Example
Use the Maclaurin series for e x e^x e x to approximate e 0.1 e^{0.1} e 0.1 with error less than 10 − 8 10^{-8} 1 0 − 8 .
E 0.1 = ∑ n = 0 N ( 0.1 ) n n ! + R N E^{0.1} = \sum_{n=0}^{N} \frac{(0.1)^n}{n!} + R_N E 0.1 = n = 0 ∑ N n ! ( 0.1 ) n + R N We need ∣ R N ∣ ≤ M ⋅ ( 0.1 ) N + 1 ( N + 1 ) ! < 10 − 8 |R_N| \le \frac{M \cdot (0.1)^{N+1}}{(N+1)!} \lt 10^{-8} ∣ R N ∣ ≤ ( N + 1 )! M ⋅ ( 0.1 ) N + 1 < 1 0 − 8 .
Since f ( n + 1 ) ( x ) = e x ≤ e 0.1 < 1.2 f^{(n+1)}(x) = e^x \le e^{0.1} \lt 1.2 f ( n + 1 ) ( x ) = e x ≤ e 0.1 < 1.2 for x ∈ [ 0 , 0.1 ] x \in [0, 0.1] x ∈ [ 0 , 0.1 ] :
1.2 ⋅ ( 0.1 ) N + 1 ( N + 1 ) ! < 10 − 8 \frac{1.2 \cdot (0.1)^{N+1}}{(N+1)!} \lt 10^{-8} ( N + 1 )! 1.2 ⋅ ( 0.1 ) N + 1 < 1 0 − 8 For N = 3 N = 3 N = 3 : 1.2 ⋅ 10 − 4 24 = 5 × 10 − 6 \displaystyle\frac{1.2 \cdot 10^{-4}}{24} = 5 \times 10^{-6} 24 1.2 ⋅ 1 0 − 4 = 5 × 1 0 − 6 (too large).
For N = 5 N = 5 N = 5 : 1.2 ⋅ 10 − 6 720 ≈ 1.67 × 10 − 9 < 10 − 8 \displaystyle\frac{1.2 \cdot 10^{-6}}{720} \approx 1.67 \times 10^{-9} \lt 10^{-8} 720 1.2 ⋅ 1 0 − 6 ≈ 1.67 × 1 0 − 9 < 1 0 − 8 .
So using 6 terms (up to n = 5 n = 5 n = 5 ):
E 0.1 ≈ 1 + 0.1 + 0.01 2 + 0.001 6 + 10 − 4 24 + 10 − 5 120 ≈ 1.1051708 E^{0.1} \approx 1 + 0.1 + \frac{0.01}{2} + \frac{0.001}{6} + \frac{10^{-4}}{24} + \frac{10^{-5}}{120} \approx 1.1051708 E 0.1 ≈ 1 + 0.1 + 2 0.01 + 6 0.001 + 24 1 0 − 4 + 120 1 0 − 5 ≈ 1.1051708 You do not need to compute derivatives from scratch every time. If you know the series for e u e^u e u You can substitute u = − x 2 u = -x^2 u = − x 2 to get the series for e − x 2 e^{-x^2} e − x 2 .
Example
Find the Maclaurin series for cos ( x 2 ) \cos(x^2) cos ( x 2 ) .
Substitute u = x 2 u = x^2 u = x 2 into the series for cos u \cos u cos u :
cos ( x 2 ) = ∑ n = 0 ∞ ( − 1 ) n ( x 2 ) 2 n ( 2 n ) ! = ∑ n = 0 ∞ ( − 1 ) n x 4 n ( 2 n ) ! = 1 − x 4 2 ! + x 8 4 ! − ⋯ \cos(x^2) = \sum_{n=0}^{\infty} \frac{(-1)^n (x^2)^{2n}}{(2n)!} = \sum_{n=0}^{\infty} \frac{(-1)^n x^{4n}}{(2n)!} = 1 - \frac{x^4}{2!} + \frac{x^8}{4!} - \cdots cos ( x 2 ) = n = 0 ∑ ∞ ( 2 n )! ( − 1 ) n ( x 2 ) 2 n = n = 0 ∑ ∞ ( 2 n )! ( − 1 ) n x 4 n = 1 − 2 ! x 4 + 4 ! x 8 − ⋯ If ∑ a n x n \sum a_n x^n ∑ a n x n and ∑ b n x n \sum b_n x^n ∑ b n x n both have radius R R R Then their Cauchy product also has radius R R R :
( ∑ n = 0 ∞ a n x n ) ( ∑ n = 0 ∞ b n x n ) = ∑ n = 0 ∞ c n x n \left(\sum_{n=0}^{\infty} a_n x^n\right)\!\left(\sum_{n=0}^{\infty} b_n x^n\right) = \sum_{n=0}^{\infty} c_n x^n ( n = 0 ∑ ∞ a n x n ) ( n = 0 ∑ ∞ b n x n ) = n = 0 ∑ ∞ c n x n Where c n = ∑ k = 0 n a k b n − k c_n = \sum_{k=0}^{n} a_k b_{n-k} c n = ∑ k = 0 n a k b n − k .
Example
Find the Maclaurin series for e x sin x e^x \sin x e x sin x up to the x 5 x^5 x 5 term.
E x = 1 + x + x 2 2 + x 3 6 + x 4 24 + ⋯ E^x = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \frac{x^4}{24} + \cdots E x = 1 + x + 2 x 2 + 6 x 3 + 24 x 4 + ⋯ sin x = x − x 3 6 + x 5 120 − ⋯ \sin x = x - \frac{x^3}{6} + \frac{x^5}{120} - \cdots sin x = x − 6 x 3 + 120 x 5 − ⋯ Multiplying and collecting terms up to x 5 x^5 x 5 :
E x sin x = x + x 2 + x 3 3 − x 5 30 + ⋯ E^x \sin x = x + x^2 + \frac{x^3}{3} - \frac{x^5}{30} + \cdots E x sin x = x + x 2 + 3 x 3 − 30 x 5 + ⋯ Example
Find the Maclaurin series for ln ( 1 + x ) \ln(1 + x) ln ( 1 + x ) by integrating the geometric series.
1 1 − ( − x ) = ∑ n = 0 ∞ ( − x ) n = ∑ n = 0 ∞ ( − 1 ) n x n , ∣ x ∣ < 1 \frac{1}{1 - (-x)} = \sum_{n=0}^{\infty} (-x)^n = \sum_{n=0}^{\infty} (-1)^n x^n, \quad |x| \lt 1 1 − ( − x ) 1 = n = 0 ∑ ∞ ( − x ) n = n = 0 ∑ ∞ ( − 1 ) n x n , ∣ x ∣ < 1 Integrate term by term:
∫ 0 x 1 1 + t d t = ∑ n = 0 ∞ ( − 1 ) n ∫ 0 x t n d t = ∑ n = 0 ∞ ( − 1 ) n x n + 1 n + 1 \int_0^x \frac{1}{1 + t}\, dt = \sum_{n=0}^{\infty} (-1)^n \int_0^x t^n\, dt = \sum_{n=0}^{\infty} \frac{(-1)^n x^{n+1}}{n+1} ∫ 0 x 1 + t 1 d t = n = 0 ∑ ∞ ( − 1 ) n ∫ 0 x t n d t = n = 0 ∑ ∞ n + 1 ( − 1 ) n x n + 1 ln ( 1 + x ) = ∑ n = 0 ∞ ( − 1 ) n x n + 1 n + 1 = ∑ n = 1 ∞ ( − 1 ) n − 1 x n n , ∣ x ∣ < 1 \ln(1 + x) = \sum_{n=0}^{\infty} \frac{(-1)^n x^{n+1}}{n+1} = \sum_{n=1}^{\infty} \frac{(-1)^{n-1} x^n}{n}, \quad |x| \lt 1 ln ( 1 + x ) = n = 0 ∑ ∞ n + 1 ( − 1 ) n x n + 1 = n = 1 ∑ ∞ n ( − 1 ) n − 1 x n , ∣ x ∣ < 1 Confusing sequences and series. A sequence is a list; a series is a sum. A convergent sequence does not imply a convergent series (e.g., a n = 1 n a_n = \frac{1}{n} a n = n 1 converges to 0, but ∑ 1 n \sum \frac{1}{n} ∑ n 1 diverges).
Using the n n n Th-term test incorrectly. lim a n = 0 \lim a_n = 0 lim a n = 0 does not prove convergence (e.g., harmonic series). The test only detects divergence.
Forgetting to check endpoints of the interval of convergence for power series. The ratio test always gives L = 1 L = 1 L = 1 at the endpoints, so you must use a different test.
Misidentifying the center of a Taylor series. For ∑ c n ( x − 3 ) n \sum c_n(x - 3)^n ∑ c n ( x − 3 ) n The center is a = 3 a = 3 a = 3 .
Applying the ratio test when L = 1 L = 1 L = 1 . The test is inconclusive; use a different test (comparison, integral, alternating series).
Confusing absolute and conditional convergence. An alternating harmonic series converges conditionally, not absolutely. Only absolutely convergent series can be freely rearranged.
Computing Taylor series coefficients incorrectly. Always use c n = f ( n ) ( a ) n ! c_n = \frac{f^{(n)}(a)}{n!} c n = n ! f ( n ) ( a ) not just f ( n ) ( a ) f^{(n)}(a) f ( n ) ( a ) . Forgetting to divide by n ! n! n ! is a common mistake.
Assuming convergence at endpoints. The interval of convergence may be open, closed, or half-open at each endpoint. You must test each one individually.
Determine whether ∑ n = 1 ∞ 2 n n ! \displaystyle\sum_{n=1}^{\infty} \frac{2^n}{n!} n = 1 ∑ ∞ n ! 2 n converges or diverges.
Find the interval of convergence for ∑ n = 0 ∞ ( − 1 ) n x n 3 n \displaystyle\sum_{n=0}^{\infty} \frac{(-1)^n x^n}{3^n} n = 0 ∑ ∞ 3 n ( − 1 ) n x n .
Find the Maclaurin series for f ( x ) = x e x f(x) = x e^x f ( x ) = x e x .
How many terms of ∑ n = 1 ∞ ( − 1 ) n n 2 \displaystyle\sum_{n=1}^{\infty} \frac{(-1)^n}{n^2} n = 1 ∑ ∞ n 2 ( − 1 ) n are needed to approximate the sum with error less than 0.01 0.01 0.01 ?
Use the limit comparison test to determine whether ∑ n = 1 ∞ 5 2 n 2 − 3 n + 1 \displaystyle\sum_{n=1}^{\infty} \frac{5}{2n^2 - 3n + 1} n = 1 ∑ ∞ 2 n 2 − 3 n + 1 5 converges.
Find the Taylor series for ln x \ln x ln x centered at a = 1 a = 1 a = 1 and determine its radius of convergence.
Find the Maclaurin series for arctan x \arctan x arctan x by integrating the geometric series.
Use the Maclaurin series for cos x \cos x cos x to approximate cos ( 0.2 ) \cos(0.2) cos ( 0.2 ) with error less than 10 − 6 10^{-6} 1 0 − 6 .
Determine whether ∑ n = 1 ∞ n e n \displaystyle\sum_{n=1}^{\infty} \frac{n}{e^n} n = 1 ∑ ∞ e n n converges using the ratio test.
Find the Maclaurin series for x 1 − x 2 \frac{x}{1-x^2} 1 − x 2 x and determine its interval of convergence.
Express 0. 271 ‾ 0.\overline{271} 0. 271 as a fraction using geometric series.
Use the alternating series estimation theorem to bound the error in approximating ∑ n = 1 ∞ ( − 1 ) n n 3 \displaystyle\sum_{n=1}^{\infty} \frac{(-1)^n}{n^3} n = 1 ∑ ∞ n 3 ( − 1 ) n by its first 10 terms.
Question 1: Taylor series expansion Find the first four nonzero terms of the Maclaurin series for f ( x ) = ln ( 1 + x ) f(x) = \ln(1 + x) f ( x ) = ln ( 1 + x ) and use it to approximate ln ( 1.1 ) \ln(1.1) ln ( 1.1 ) .
Answer f ( 0 ) = ln ( 1 ) = 0 f(0) = \ln(1) = 0 f ( 0 ) = ln ( 1 ) = 0 .
f ′ ( x ) = 1 1 + x f'(x) = \frac{1}{1+x} f ′ ( x ) = 1 + x 1 , f ′ ( 0 ) = 1 f'(0) = 1 f ′ ( 0 ) = 1 .
f ′ ′ ( x ) = − 1 ( 1 + x ) 2 f''(x) = \frac{-1}{(1+x)^2} f ′′ ( x ) = ( 1 + x ) 2 − 1 , f ′ ′ ( 0 ) = − 1 f''(0) = -1 f ′′ ( 0 ) = − 1 .
f ′ ′ ′ ( x ) = 2 ( 1 + x ) 3 f'''(x) = \frac{2}{(1+x)^3} f ′′′ ( x ) = ( 1 + x ) 3 2 , f ′ ′ ′ ( 0 ) = 2 f'''(0) = 2 f ′′′ ( 0 ) = 2 .
f ( 4 ) ( x ) = − 6 ( 1 + x ) 4 f^{(4)}(x) = \frac{-6}{(1+x)^4} f ( 4 ) ( x ) = ( 1 + x ) 4 − 6 , f ( 4 ) ( 0 ) = − 6 f^{(4)}(0) = -6 f ( 4 ) ( 0 ) = − 6 .
Maclaurin series: ln ( 1 + x ) = x − x 2 2 + x 3 3 − x 4 4 + ⋯ \ln(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + \cdots ln ( 1 + x ) = x − 2 x 2 + 3 x 3 − 4 x 4 + ⋯
For ln ( 1.1 ) \ln(1.1) ln ( 1.1 ) with x = 0.1 x = 0.1 x = 0.1 : ln ( 1.1 ) ≈ 0.1 − 0.005 + 0.000333 − 0.000025 = 0.095308 \ln(1.1) \approx 0.1 - 0.005 + 0.000333 - 0.000025 = 0.095308 ln ( 1.1 ) ≈ 0.1 − 0.005 + 0.000333 − 0.000025 = 0.095308 .
Actual: ln ( 1.1 ) ≈ 0.09531 \ln(1.1) \approx 0.09531 ln ( 1.1 ) ≈ 0.09531 . The approximation is accurate to 5 decimal places.
Question 2: Ratio test Determine the radius of convergence of ∑ n = 0 ∞ ( 2 x ) n n ! \displaystyle\sum_{n=0}^{\infty} \frac{(2x)^n}{n!} n = 0 ∑ ∞ n ! ( 2 x ) n .
Answer a n = 2 n x n n ! a_n = \frac{2^n x^n}{n!} a n = n ! 2 n x n .
L = lim n → ∞ ∣ a n + 1 a n ∣ = lim n → ∞ ∣ 2 n + 1 x n + 1 / ( n + 1 ) ! 2 n x n / n ! ∣ = lim n → ∞ 2 ∣ x ∣ n + 1 = 0 \displaystyle L = \lim_{n \to \infty} \left|\frac{a_{n+1}}{a_n}\right| = \lim_{n \to \infty} \left|\frac{2^{n+1} x^{n+1} / (n+1)!}{2^n x^n / n!}\right| = \lim_{n \to \infty} \frac{2|x|}{n+1} = 0 L = n → ∞ lim a n a n + 1 = n → ∞ lim 2 n x n / n ! 2 n + 1 x n + 1 / ( n + 1 )! = n → ∞ lim n + 1 2∣ x ∣ = 0 .
Since L = 0 < 1 L = 0 \lt 1 L = 0 < 1 for all x x x The radius of convergence is R = ∞ R = \infty R = ∞ . The series converges for all real x x x . (This is the Maclaurin series for e 2 x e^{2x} e 2 x .)
Question 3: Alternating series Determine whether ∑ n = 1 ∞ ( − 1 ) n + 1 n \displaystyle\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{\sqrt{n}} n = 1 ∑ ∞ n ( − 1 ) n + 1 converges absolutely, converges conditionally, or diverges.
Answer Alternating series test: a n = 1 n a_n = \frac{1}{\sqrt{n}} a n = n 1 is positive, decreasing, and lim n → ∞ 1 n = 0 \lim_{n \to \infty} \frac{1}{\sqrt{n}} = 0 lim n → ∞ n 1 = 0 . The alternating series converges.
Absolute convergence: ∑ 1 n \sum \frac{1}{\sqrt{n}} ∑ n 1 is a p-series with p = 1 / 2 < 1 p = 1/2 \lt 1 p = 1/2 < 1 So it diverges.
Therefore, the series converges conditionally (but not absolutely).
Question 4: Power series representation Find the power series representation for 1 ( 1 − x ) 2 \displaystyle\frac{1}{(1-x)^2} ( 1 − x ) 2 1 and determine its interval of convergence.
Answer We know 1 1 − x = ∑ n = 0 ∞ x n \frac{1}{1-x} = \sum_{n=0}^{\infty} x^n 1 − x 1 = ∑ n = 0 ∞ x n for ∣ x ∣ < 1 |x| \lt 1 ∣ x ∣ < 1 .
Differentiate both sides: 1 ( 1 − x ) 2 = ∑ n = 1 ∞ n x n − 1 = ∑ n = 0 ∞ ( n + 1 ) x n \frac{1}{(1-x)^2} = \sum_{n=1}^{\infty} nx^{n-1} = \sum_{n=0}^{\infty} (n+1)x^n ( 1 − x ) 2 1 = ∑ n = 1 ∞ n x n − 1 = ∑ n = 0 ∞ ( n + 1 ) x n .
Interval of convergence: ∣ x ∣ < 1 |x| \lt 1 ∣ x ∣ < 1 Or ( − 1 , 1 ) (-1, 1) ( − 1 , 1 ) .
Check endpoints: at x = 1 x = 1 x = 1 Series is ∑ ( n + 1 ) \sum (n+1) ∑ ( n + 1 ) which diverges. At x = − 1 x = -1 x = − 1 Series is ∑ ( − 1 ) n ( n + 1 ) \sum (-1)^n(n+1) ∑ ( − 1 ) n ( n + 1 ) which diverges by the divergence test.
Question 5: Telescoping series Evaluate ∑ n = 1 ∞ 1 n ( n + 1 ) \displaystyle\sum_{n=1}^{\infty} \frac{1}{n(n+1)} n = 1 ∑ ∞ n ( n + 1 ) 1 .
Answer Partial fraction decomposition: 1 n ( n + 1 ) = 1 n − 1 n + 1 \frac{1}{n(n+1)} = \frac{1}{n} - \frac{1}{n+1} n ( n + 1 ) 1 = n 1 − n + 1 1 .
S N = ∑ n = 1 N ( 1 n − 1 n + 1 ) = 1 − 1 2 + 1 2 − 1 3 + 1 3 − ⋯ − 1 N + 1 S_N = \sum_{n=1}^{N} \left(\frac{1}{n} - \frac{1}{n+1}\right) = 1 - \frac{1}{2} + \frac{1}{2} - \frac{1}{3} + \frac{1}{3} - \cdots - \frac{1}{N+1} S N = ∑ n = 1 N ( n 1 − n + 1 1 ) = 1 − 2 1 + 2 1 − 3 1 + 3 1 − ⋯ − N + 1 1 .
All intermediate terms cancel (telescoping): S N = 1 − 1 N + 1 S_N = 1 - \frac{1}{N+1} S N = 1 − N + 1 1 .
∑ n = 1 ∞ 1 n ( n + 1 ) = lim N → ∞ ( 1 − 1 N + 1 ) = 1 \displaystyle\sum_{n=1}^{\infty} \frac{1}{n(n+1)} = \lim_{N \to \infty} \left(1 - \frac{1}{N+1}\right) = 1 n = 1 ∑ ∞ n ( n + 1 ) 1 = N → ∞ lim ( 1 − N + 1 1 ) = 1 .
:::tip Diagnostic Test Ready to test your understanding of Sequences and Series ? The contains the hardest questions within the AP specification for this topic, each with a full worked solution.
Unit tests probe edge cases and common misconceptions. Integration tests combine Sequences and Series with other AP Calculus topics to test synthesis under exam conditions.
See for instructions on self-marking and building a personal test matrix. :::
This topic covers the mathematical techniques and concepts related to sequences and series, including key theorems, methods, and problem-solving approaches.
Key concepts include:
arithmetic and geometric sequences series and sigma notation recurrence relations convergence tests mathematical induction Regular practice with a variety of question types is essential to build fluency and confidence in applying these mathematical techniques.
Worked examples demonstrating the application of key concepts are covered in the detailed sub-pages linked above.