Math Core

Lesson 6.14 · Infinite Sequences and Series

Working with power series

Power series can be treated almost exactly like polynomials: you can differentiate them term by term, integrate them term by term, and substitute into them. These moves let you build new series from old ones without computing a single high-order derivative, and they let you approximate integrals that have no elementary antiderivative.

Differentiating and integrating term by term

Calculus with power series

If f(x)=∑n=0∞cn(x−a)nf(x) = \displaystyle\sum_{n=0}^{\infty} c_n(x - a)^n has radius of convergence R>0R > 0, then on ∣x−a∣<R|x - a| < R:

f′(x)=∑n=1∞n cn(x−a)n−1,∫f(x) dx=C+∑n=0∞cnn+1(x−a)n+1.f'(x) = \sum_{n=1}^{\infty} n\,c_n (x - a)^{n-1}, \qquad \int f(x)\,dx = C + \sum_{n=0}^{\infty} \frac{c_n}{n+1}(x - a)^{n+1}.

Both new series have the same radius of convergence RR. The behavior at the endpoints can change, so endpoints must be rechecked.

As a quick check, differentiate the series for sin⁡x\sin x term by term:

ddx(x−x33!+x55!−⋯ )=1−3x23!+5x45!−⋯=1−x22!+x44!−⋯=cos⁡x.\frac{d}{dx}\left(x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots\right) = 1 - \frac{3x^2}{3!} + \frac{5x^4}{5!} - \cdots = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots = \cos x.

Deriving new series from the geometric series

The geometric series 11−x=∑xn\dfrac{1}{1 - x} = \sum x^n is the starting point for a whole family of series.

Substitution. Replace xx by −x-x: 11+x=1−x+x2−x3+⋯\dfrac{1}{1 + x} = 1 - x + x^2 - x^3 + \cdots. Replace xx by −x2-x^2: 11+x2=1−x2+x4−x6+⋯\dfrac{1}{1 + x^2} = 1 - x^2 + x^4 - x^6 + \cdots. Both hold for ∣x∣<1|x| < 1.

Integration. Integrate 11+x\dfrac{1}{1+x} from 00 to xx:

ln⁡(1+x)=x−x22+x33−x44+⋯=∑n=1∞(−1)n+1xnn.\ln(1 + x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + \cdots = \sum_{n=1}^{\infty} \frac{(-1)^{n+1}x^n}{n}.

Integrate 11+x2\dfrac{1}{1 + x^2} from 00 to xx:

arctan⁡x=x−x33+x55−⋯=∑n=0∞(−1)nx2n+12n+1.\arctan x = x - \frac{x^3}{3} + \frac{x^5}{5} - \cdots = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{2n+1}.

The radius stays 11, but now the endpoints behave differently: the ln⁡(1+x)\ln(1+x) series converges at x=1x = 1 (giving ln⁡2=1−12+13−⋯\ln 2 = 1 - \frac12 + \frac13 - \cdots), and the arctangent series converges at both x=±1x = \pm 1.

ln(1 + x) with partial sums of its series. Inside −1 < x ≤ 1 the partial sums close in on the curve; past x = 1 they swing away.Open in grapher →

Differentiation. Differentiate 11−x=∑xn\dfrac{1}{1-x} = \sum x^n:

1(1−x)2=1+2x+3x2+4x3+⋯=∑n=1∞nxn−1,∣x∣<1.\frac{1}{(1 - x)^2} = 1 + 2x + 3x^2 + 4x^3 + \cdots = \sum_{n=1}^{\infty} n x^{n-1}, \quad |x| < 1.

Common mistake

When you integrate a series to get a specific function, find the constant of integration. For ln⁡(1+x)\ln(1 + x) it's 00 because ln⁡1=0\ln 1 = 0; for other functions it might not be. Also keep track of the index: after differentiating, the n=0n = 0 term (a constant) disappears, so the sum usually starts at n=1n = 1.

Other operations

A few more moves round out your toolkit.

  • Multiplying by a power of xx shifts every exponent: x2ex=x2+x3+x42!+⋯x^2 e^x = x^2 + x^3 + \dfrac{x^4}{2!} + \cdots. The radius doesn't change.
  • Adding or subtracting two series term by term works on the interval where both converge: ex+e−x=2+x2+x412+⋯e^x + e^{-x} = 2 + x^2 + \dfrac{x^4}{12} + \cdots, since the odd powers cancel.
  • Substituting cxcx or xkx^k changes the radius: the series for 11−4x\dfrac{1}{1 - 4x} converges when ∣4x∣<1|4x| < 1, so its radius is 14\frac14, not 11.

Approximating integrals

Some integrals, like ∫01e−x2 dx\int_0^1 e^{-x^2}\,dx or ∫01sin⁡(x2) dx\int_0^1 \sin(x^2)\,dx, have no elementary antiderivative. Replace the integrand by its series, integrate term by term, and you get a numerical series you can sum as accurately as you like. If the result is alternating, the alternating series error bound tells you how good the approximation is.

The same approach defines important functions. The antiderivative of e−x2e^{-x^2} used throughout probability has no formula in terms of familiar functions, but its series, x−x33+x510−⋯x - \dfrac{x^3}{3} + \dfrac{x^5}{10} - \cdots, converges for every xx and can be evaluated to any accuracy.

Worked examples

Worked example: Approximating a nonelementary integral

Use the first two nonzero terms of a series to approximate ∫01sin⁡(x2) dx\displaystyle\int_0^1 \sin(x^2)\,dx, and bound the error.

Solution. Substitute x2x^2 into the sine series: sin⁡(x2)=x2−x63!+x105!−⋯\sin(x^2) = x^2 - \dfrac{x^6}{3!} + \dfrac{x^{10}}{5!} - \cdots. Integrate term by term:

∫01sin⁡(x2) dx=13−17⋅6+111⋅120−⋯=13−142+11320−⋯ .\int_0^1 \sin(x^2)\,dx = \frac{1}{3} - \frac{1}{7\cdot 6} + \frac{1}{11\cdot 120} - \cdots = \frac13 - \frac{1}{42} + \frac{1}{1320} - \cdots.

The first two terms give 13−142=1342≈0.3095\dfrac13 - \dfrac1{42} = \dfrac{13}{42} \approx 0.3095. The series alternates with decreasing terms, so the error is at most the next term, 11320≈0.00076\dfrac{1}{1320} \approx 0.00076.

Worked example: Summing a series by differentiating

Find the exact sum of ∑n=1∞n3n\displaystyle\sum_{n=1}^{\infty} \frac{n}{3^n}.

Solution. From above, ∑n=1∞nxn−1=1(1−x)2\displaystyle\sum_{n=1}^{\infty} n x^{n-1} = \frac{1}{(1-x)^2}, so multiplying by xx gives ∑n=1∞nxn=x(1−x)2\displaystyle\sum_{n=1}^{\infty} n x^n = \frac{x}{(1 - x)^2} for ∣x∣<1|x| < 1. At x=13x = \frac13:

∑n=1∞n3n=1/3(2/3)2=1/34/9=34.\sum_{n=1}^{\infty} \frac{n}{3^n} = \frac{1/3}{(2/3)^2} = \frac{1/3}{4/9} = \frac{3}{4}.

Worked example: A limit using series

Find lim⁡x→0ex−1−xx2\displaystyle\lim_{x\to 0} \frac{e^x - 1 - x}{x^2}.

Solution. Replace exe^x with its series:

ex−1−xx2=x22+x36+⋯x2=12+x6+⋯  ⟶  12.\frac{e^x - 1 - x}{x^2} = \frac{\frac{x^2}{2} + \frac{x^3}{6} + \cdots}{x^2} = \frac12 + \frac{x}{6} + \cdots \;\longrightarrow\; \frac12.

Worked example: A function defined by a series

Let f(x)=∑n=1∞xnn⋅2nf(x) = \displaystyle\sum_{n=1}^{\infty} \frac{x^n}{n\cdot 2^n}. Find the radius of convergence of the series for f′(x)f'(x), and write f′(x)f'(x) as a familiar function.

Solution. Differentiating term by term, f′(x)=∑n=1∞xn−12n=12∑n=1∞(x2)n−1f'(x) = \displaystyle\sum_{n=1}^{\infty} \frac{x^{n-1}}{2^n} = \frac12\sum_{n=1}^{\infty}\left(\frac{x}{2}\right)^{n-1}. This is geometric with ratio x2\frac{x}{2}, so it converges for ∣x∣<2|x| < 2, and R=2R = 2 (the same as for ff). Its sum is

f′(x)=1/21−x/2=12−x.f'(x) = \frac{1/2}{1 - x/2} = \frac{1}{2 - x}.

Tip

To find a series for a function, look for a way to reach it from a known series: substitute, multiply by a power of xx, differentiate, or integrate. Computing derivatives with the Taylor formula is a last resort.

Practice

Practice 1

What is the coefficient of x8x^8 in the Maclaurin series for 11+x2\dfrac{1}{1 + x^2}?

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 2

Find the exact sum of ∑n=1∞n2n\displaystyle\sum_{n=1}^{\infty} \frac{n}{2^n}.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 3

Use the first two nonzero terms of the Maclaurin series for sin⁡(x2)\sin(x^2) to approximate ∫01sin⁡(x2) dx\displaystyle\int_0^1 \sin(x^2)\,dx. Give an exact fraction.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 4

What is the coefficient of x5x^5 in the Maclaurin series for x1−3x\dfrac{x}{1 - 3x}?

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 5

The Maclaurin series for ln⁡(1+x)\ln(1 + x) can be obtained by which process?

Practice 6

Find the radius of convergence of the Maclaurin series for arctan⁡ ⁣(x2)\arctan\!\left(\dfrac{x}{2}\right).

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 7

Let f(x)=∑n=0∞xnn+1f(x) = \displaystyle\sum_{n=0}^{\infty} \frac{x^n}{n + 1}. Find f(4)(0)f^{(4)}(0).

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 8

Use series to find lim⁡x→0sin⁡x−xx3\displaystyle\lim_{x \to 0} \frac{\sin x - x}{x^3}.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.