About

Differentiation and Integration of Power Series

Theory

Let

f(x)=∑n=0∞cn(x−a)nf(x)=\sum_{n=0}^{\infty} c_n (x-a)^n

be a power series with radius of convergence R>0. Then f(x)f(x) may be differentiated or integrated term-by-term within its interval of convergence. The resulting series for f′(x)f'(x) and ∫f(x) dx\int f(x)\,dx have the same radius of convergence RR (though endpoints must be checked separately).

Common Maclaurin Series

  1. Geometric Series
\frac{1}{1-x} = 1+x+x^2+x^3+\cdots = \sum_{n=0}^{\infty} x^n, \qquad -1<x<1
  1. Exponential Function
e^x = 1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots = \sum_{n=0}^{\infty} \frac{x^n}{n!}, \qquad -\infty<x<\infty
  1. Sine Function
\sin x = x-\frac{x^3}{3!}+\frac{x^5}{5!}-\cdots = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!}, \qquad -\infty<x<\infty
  1. Cosine Function
\cos x = 1-\frac{x^2}{2!}+\frac{x^4}{4!}-\cdots = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!}, \qquad -\infty<x<\infty
  1. Natural Logarithm
\ln(1+x) = x-\frac{x^2}{2}+\frac{x^3}{3}-\cdots = \sum_{n=0}^{\infty} \frac{(-1)^n x^{n+1}}{n+1}, \qquad -1<x\le1
  1. Inverse Tangent
\tan^{-1}x = x-\frac{x^3}{3}+\frac{x^5}{5}-\frac{x^7}{7}+\cdots = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{2n+1}, \qquad -1<x<1

Exercises

Exercise 1

Find the Maclaurin series, radius, and interval of convergence for f(x)=tan⁡−1xf(x)=\tan^{-1}x.

Show solution ↓
Solution

Recall the geometric series

\frac{1}{1+x^2} = \sum_{n=0}^{\infty} (-1)^n x^{2n}, \qquad |x|<1.

Since

ddx(tan⁡−1x)=11+x2,\frac{d}{dx}(\tan^{-1}x)=\frac{1}{1+x^2},

integrate term-by-term:

tan⁡−1x=∫∑n=0∞(−1)nx2n dx=∑n=0∞(−1)nx2n+12n+1.\tan^{-1}x = \int \sum_{n=0}^{\infty} (-1)^n x^{2n}\,dx = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{2n+1}.

Radius of convergence:

R=1.R=1.

Interval of convergence:

(−1,1).(-1,1).