Functions as Maclaurin and Taylor Series

Learning Outcomes

Write the terms of the binomial series
Recognize the Taylor series expansions of common functions
Recognize and apply techniques to find the Taylor series for a function

The Binomial Series

Our first goal in this section is to determine the Maclaurin series for the function $f\left(x\right)={\left(1+x\right)}^{r}$ for all real numbers $r$ . The Maclaurin series for this function is known as the binomial series. We begin by considering the simplest case: $r$ is a nonnegative integer. We recall that, for $r=0,1,2,3,4,f\left(x\right)={\left(1+x\right)}^{r}$ can be written as

\begin{matrix} f (x) = {(1 + x)}^{0} = 1, f (x) = {(1 + x)}^{1} = 1 + x, f (x) = {(1 + x)}^{2} = 1 + 2 x + x^{2}, f (x) = {(1 + x)}^{3} = 1 + 3 x + 3 x^{2} + x^{3}, f (x) = {(1 + x)}^{4} = 1 + 4 x + 6 x^{2} + 4 x^{3} + x^{4} . \end{matrix}

$\begin{array}{}\\ f\left(x\right)={\left(1+x\right)}^{0}=1,\hfill \\ f\left(x\right)={\left(1+x\right)}^{1}=1+x,\hfill \\ f\left(x\right)={\left(1+x\right)}^{2}=1+2x+{x}^{2},\hfill \\ f\left(x\right)={\left(1+x\right)}^{3}=1+3x+3{x}^{2}+{x}^{3},\hfill \\ f\left(x\right)={\left(1+x\right)}^{4}=1+4x+6{x}^{2}+4{x}^{3}+{x}^{4}.\hfill \end{array}$

The expressions on the right-hand side are known as binomial expansions and the coefficients are known as binomial coefficients. More generally, for any nonnegative integer $r$ , the binomial coefficient of ${x}^{n}$ in the binomial expansion of ${\left(1+x\right)}^{r}$ is given by

(\begin{matrix} r n \end{matrix}) = \frac{r!}{n! (r - n)!}

$\left(\begin{array}{c}r\hfill \\ n\hfill \end{array}\right)=\frac{r\text{!}}{n\text{!}\left(r-n\right)\text{!}}$

and

\begin{matrix} f (x) & = {(1 + x)}^{r} = (\begin{matrix} r 0 \end{matrix}) 1 + (\begin{matrix} r 1 \end{matrix}) x + (\begin{matrix} r 2 \end{matrix}) x^{2} + (\begin{matrix} r 3 \end{matrix}) x^{3} + \dots + (\begin{matrix} r r - 1 \end{matrix}) x^{r - 1} + (\begin{matrix} r r \end{matrix}) x^{r} = r \sum n = 0 (\begin{matrix} r n \end{matrix}) x^{n} . \end{matrix}

$\begin{array}{cc}\hfill f\left(x\right)& ={\left(1+x\right)}^{r}\hfill \\ & =\left(\begin{array}{c}r\hfill \\ 0\hfill \end{array}\right)1+\left(\begin{array}{c}r\hfill \\ 1\hfill \end{array}\right)x+\left(\begin{array}{c}r\hfill \\ 2\hfill \end{array}\right){x}^{2}+\left(\begin{array}{c}r\hfill \\ 3\hfill \end{array}\right){x}^{3}+\cdots +\left(\begin{array}{c}r\hfill \\ r - 1\hfill \end{array}\right){x}^{r - 1}+\left(\begin{array}{c}r\hfill \\ r\hfill \end{array}\right){x}^{r}\hfill \\ & ={\displaystyle\sum _{n=0}^{r}}\left(\begin{array}{c}r\hfill \\ n\hfill \end{array}\right){x}^{n}.\hfill \end{array}$

For example, using this formula for $r=5$ , we see that

\begin{matrix} f (x) & = {(1 + x)}^{5} = (\begin{matrix} 50 \end{matrix}) 1 + (\begin{matrix} 51 \end{matrix}) x + (\begin{matrix} 52 \end{matrix}) x^{2} + (\begin{matrix} 53 \end{matrix}) x^{3} + (\begin{matrix} 54 \end{matrix}) x^{4} + (\begin{matrix} 55 \end{matrix}) x^{5} = \frac{5!}{0! 5!} 1 + \frac{5!}{1! 4!} x + \frac{5!}{2! 3!} x^{2} + \frac{5!}{3! 2!} x^{3} + \frac{5!}{4! 1!} x^{4} + \frac{5!}{5! 0!} x^{5} = 1 + 5 x + 10 x^{2} + 10 x^{3} + 5 x^{4} + x^{5} . \end{matrix}

$\begin{array}{cc}\hfill f\left(x\right)& ={\left(1+x\right)}^{5}\hfill \\ & =\left(\begin{array}{c}5\hfill \\ 0\hfill \end{array}\right)1+\left(\begin{array}{c}5\hfill \\ 1\hfill \end{array}\right)x+\left(\begin{array}{c}5\hfill \\ 2\hfill \end{array}\right){x}^{2}+\left(\begin{array}{c}5\hfill \\ 3\hfill \end{array}\right){x}^{3}+\left(\begin{array}{c}5\hfill \\ 4\hfill \end{array}\right){x}^{4}+\left(\begin{array}{c}5\hfill \\ 5\hfill \end{array}\right){x}^{5}\hfill \\ & =\frac{5\text{!}}{0\text{!}5\text{!}}1+\frac{5\text{!}}{1\text{!}4\text{!}}x+\frac{5\text{!}}{2\text{!}3\text{!}}{x}^{2}+\frac{5\text{!}}{3\text{!}2\text{!}}{x}^{3}+\frac{5\text{!}}{4\text{!}1\text{!}}{x}^{4}+\frac{5\text{!}}{5\text{!}0\text{!}}{x}^{5}\hfill \\ & =1+5x+10{x}^{2}+10{x}^{3}+5{x}^{4}+{x}^{5}.\hfill \end{array}$

We now consider the case when the exponent $r$ is any real number, not necessarily a nonnegative integer. If $r$ is not a nonnegative integer, then $f\left(x\right)={\left(1+x\right)}^{r}$ cannot be written as a finite polynomial. However, we can find a power series for $f$ . Specifically, we look for the Maclaurin series for $f$ . To do this, we find the derivatives of $f$ and evaluate them at $x=0$ .

\begin{matrix} f (x) & = & {(1 + x)}^{r} & f (0) & = & 1 f^{'} (x) & = & r {(1 + x)}^{r - 1} & f' (0) & = & r f^{''} (x) & = & r (r - 1) {(1 + x)}^{r - 2} & f^{''} (0) & = & r (r - 1) f^{'''} (x) & = & r (r - 1) (r - 2) {(1 + x)}^{r - 3} & f^{'''} (0) & = & r (r - 1) (r - 2) f^{(n)} (x) & = & r (r - 1) (r - 2) \dots (r - n + 1) {(1 + x)}^{r - n} & f^{(n)} (0) & = & r (r - 1) (r - 2) \dots (r - n + 1) \end{matrix}

$\begin{array}{cccccccc}\hfill f\left(x\right)& =\hfill & {\left(1+x\right)}^{r}\hfill & & & \hfill f\left(0\right)& =\hfill & 1\hfill \\ \hfill {f}^{\prime }\left(x\right)& =\hfill & r{\left(1+x\right)}^{r - 1}\hfill & & & \hfill f\prime \left(0\right)& =\hfill & r\hfill \\ \hfill f^{\prime\prime}\left(x\right)& =\hfill & r\left(r - 1\right){\left(1+x\right)}^{r - 2}\hfill & & & \hfill f^{\prime\prime}\left(0\right)& =\hfill & r\left(r - 1\right)\hfill \\ \hfill f^{\prime\prime\prime}\left(x\right)& =\hfill & r\left(r - 1\right)\left(r - 2\right){\left(1+x\right)}^{r - 3}\hfill & & & \hfill f^{\prime\prime\prime}\left(0\right)& =\hfill & r\left(r - 1\right)\left(r - 2\right)\hfill \\ \hfill {f}^{\left(n\right)}\left(x\right)& =\hfill & r\left(r - 1\right)\left(r - 2\right)\cdots \left(r-n+1\right){\left(1+x\right)}^{r-n}\hfill & & & \hfill {f}^{\left(n\right)}\left(0\right)& =\hfill & r\left(r - 1\right)\left(r - 2\right)\cdots \left(r-n+1\right)\hfill \end{array}$

We conclude that the coefficients in the binomial series are given by

\frac{f^{(n)} (0)}{n!} = \frac{r (r - 1) (r - 2) \dots (r - n + 1)}{n!}

$\frac{{f}^{\left(n\right)}\left(0\right)}{n\text{!}}=\frac{r\left(r - 1\right)\left(r - 2\right)\cdots \left(r-n+1\right)}{n\text{!}}$ .

We note that if $r$ is a nonnegative integer, then the $\left(r+1\right)\text{st}$ derivative ${f}^{\left(r+1\right)}$ is the zero function, and the series terminates. In addition, if $r$ is a nonnegative integer, then the above equation for the coefficients agrees with $\left(\begin{array}{c}r\hfill \\ n\hfill \end{array}\right)=\frac{r\text{!}}{n\text{!}\left(r-n\right)\text{!}}$ for the coefficients, and the formula for the binomial series agrees with the equation that follows for the finite binomial expansion. More generally, to denote the binomial coefficients for any real number $r$ , we define

(\begin{matrix} r n \end{matrix}) = \frac{r (r - 1) (r - 2) \dots (r - n + 1)}{n!}

$\left(\begin{array}{c}r\hfill \\ n\hfill \end{array}\right)=\frac{r\left(r - 1\right)\left(r - 2\right)\cdots \left(r-n+1\right)}{n\text{!}}$ .

With this notation, we can write the binomial series for ${\left(1+x\right)}^{r}$ as

\infty \sum n = 0 (\begin{matrix} r n \end{matrix}) x^{n} = 1 + r x + \frac{r (r - 1)}{2!} x^{2} + \dots + \frac{r (r - 1) \dots (r - n + 1)}{n!} x^{n} + \dots

$\displaystyle\sum _{n=0}^{\infty }\left(\begin{array}{c}r\hfill \\ n\hfill \end{array}\right){x}^{n}=1+rx+\frac{r\left(r - 1\right)}{2\text{!}}{x}^{2}+\cdots +\frac{r\left(r - 1\right)\cdots \left(r-n+1\right)}{n\text{!}}{x}^{n}+\cdots$ .

We now need to determine the interval of convergence for the binomial series of the above equation. We apply the ratio test. Consequently, we consider

\begin{matrix} \frac{| a_{n + 1} |}{| a_{n} |} & = \frac{{| r (r - 1) (r - 2) \dots (r - n) | x | |}^{n + 1}}{(n + 1)!} \cdot \frac{n!}{| r (r - 1) (r - 2) \dots (r - n + 1) | {| x |}^{n}} = \frac{| r - n | | x |}{| n + 1 |} . \end{matrix}

$\begin{array}{cc}\hfill \frac{|{a}_{n+1}|}{|{a}_{n}|}& =\frac{{|r\left(r - 1\right)\left(r - 2\right)\cdots \left(r-n\right)|x||}^{n+1}}{\left(n+1\right)\text{!}}\cdot \frac{n\text{!}}{|r\left(r - 1\right)\left(r - 2\right)\cdots \left(r-n+1\right)|{|x|}^{n}}\hfill \\ & =\frac{|r-n||x|}{|n+1|}.\hfill \end{array}$

Since

lim n \to \infty \frac{| a_{n + 1} |}{| a_{n} |} = | x | < 1

$\underset{n\to \infty }{\text{lim}}\frac{|{a}_{n+1}|}{|{a}_{n}|}=|x|<1$

if and only if $|x|<1$ , we conclude that the interval of convergence for the binomial series is $\left(-1,1\right)$ . The behavior at the endpoints depends on $r$ . It can be shown that for $r\ge 0$ the series converges at both endpoints; for [latex]-1

Definition

For any real number $r$ , the Maclaurin series for $f\left(x\right)={\left(1+x\right)}^{r}$ is the binomial series. It converges to $f$ for $|x|<1$ , and we write

\begin{matrix} {(1 + x)}^{r} & = \infty \sum n = 0 (\begin{matrix} r n \end{matrix}) x^{n} = 1 + r x + \frac{r (r - 1)}{2!} x^{2} + \dots + \frac{r (r - 1) \dots (r - n + 1)}{n!} x^{n} + \dots \end{matrix}

$\begin{array}{cc}\hfill {\left(1+x\right)}^{r}& ={\displaystyle\sum _{n=0}^{\infty}}\left(\begin{array}{c}r\hfill \\ n\hfill \end{array}\right){x}^{n}\hfill \\ & =1+rx+\frac{r\left(r - 1\right)}{2\text{!}}{x}^{2}+\cdots +\frac{r\left(r - 1\right)\cdots \left(r-n+1\right)}{n\text{!}}{x}^{n}+\cdots \hfill \end{array}$

for $|x|<1$ .

We can use this definition to find the binomial series for $f\left(x\right)=\sqrt{1+x}$ and use the series to approximate $\sqrt{1.5}$ .

Example: Finding Binomial Series

Find the binomial series for $f\left(x\right)=\sqrt{1+x}$ .
Use the third-order Maclaurin polynomial ${p}_{3}\left(x\right)$ to estimate $\sqrt{1.5}$ . Use Taylor’s theorem to bound the error. Use a graphing utility to compare the graphs of $f$ and ${p}_{3}$ .

Show Solution

Here $r=\frac{1}{2}$ . Using the definition for the binomial series, we obtain

$\begin{array}{cc}\hfill \sqrt{1+x}& =1+\frac{1}{2}x+\frac{\left(1\text{/}2\right)\left(\text{-}1\text{/}2\right)}{2\text{!}}{x}^{2}+\frac{\left(1\text{/}2\right)\left(\text{-}1\text{/}2\right)\left(\text{-}3\text{/}2\right)}{3\text{!}}{x}^{3}+\cdots \hfill \\ & =1+\frac{1}{2}x-\frac{1}{2\text{!}}\frac{1}{{2}^{2}}{x}^{2}+\frac{1}{3\text{!}}\frac{1\cdot 3}{{2}^{3}}{x}^{3}-\cdots +\frac{{\left(-1\right)}^{n+1}}{n\text{!}}\frac{1\cdot 3\cdot 5\cdots \left(2n - 3\right)}{{2}^{n}}{x}^{n}+\cdots \hfill \\ & =1+{\displaystyle\sum _{n=1}^{\infty}}\frac{{\left(-1\right)}^{n+1}}{n\text{!}}\frac{1\cdot 3\cdot 5\cdots \left(2n - 3\right)}{{2}^{n}}{x}^{n}.\hfill \end{array}$
From the result in part a. the third-order Maclaurin polynomial is

${p}_{3}\left(x\right)=1+\frac{1}{2}x-\frac{1}{8}{x}^{2}+\frac{1}{16}{x}^{3}$ .

Therefore,

$\begin{array}{cc}\hfill \sqrt{1.5}& =\sqrt{1+0.5}\hfill \\ & \approx 1+\frac{1}{2}\left(0.5\right)-\frac{1}{8}{\left(0.5\right)}^{2}+\frac{1}{16}{\left(0.5\right)}^{3}\hfill \\ & \approx 1.2266.\hfill \end{array}$

From Taylor’s theorem, the error satisfies

${R}_{3}\left(0.5\right)=\frac{{f}^{\left(4\right)}\left(c\right)}{4\text{!}}{\left(0.5\right)}^{4}$

for some $c$ between $0$ and $0.5$ . Since ${f}^{\left(4\right)}\left(x\right)=-\frac{15}{{2}^{4}{\left(1+x\right)}^{\frac{7}{2}}}$ , and the maximum value of $|{f}^{\left(4\right)}\left(x\right)|$ on the interval $\left(0,0.5\right)$ occurs at $x=0$ , we have

$|{R}_{3}\left(0.5\right)|\le \frac{15}{4\text{!}{2}^{4}}{\left(0.5\right)}^{4}\approx 0.00244$ .

The function and the Maclaurin polynomial ${p}_{3}$ are graphed in Figure 1.

Figure 1. The third-order Maclaurin polynomial ${p}_{3}\left(x\right)$ provides a good approximation for $f\left(x\right)=\sqrt{1+x}$ for $x$ near zero.

Watch the following video to see the worked solution to Example: Finding Binomial Series.

You can view the transcript for “6.4.1” here (opens in new window).

try it

Find the binomial series for $f\left(x\right)=\frac{1}{{\left(1+x\right)}^{2}}$ .

Hint

Use the definition of binomial series for $r=-2$ .

Show Solution

$\displaystyle\sum _{n=0}^{\infty }{\left(-1\right)}^{n}\left(n+1\right){x}^{n}$

Try It

Common Functions Expressed as Taylor Series

At this point, we have derived Maclaurin series for exponential, trigonometric, and logarithmic functions, as well as functions of the form $f\left(x\right)={\left(1+x\right)}^{r}$ . In the table below, we summarize the results of these series. We remark that the convergence of the Maclaurin series for $f\left(x\right)=\text{ln}\left(1+x\right)$ at the endpoint $x=1$ and the Maclaurin series for $f\left(x\right)={\tan}^{-1}x$ at the endpoints $x=1$ and $x=-1$ relies on a more advanced theorem than we present here. (Refer to Abel’s theorem for a discussion of this more technical point.)

Maclaurin Series for Common Functions
Function	Maclaurin Series	Interval of Convergence
$f\left(x\right)=\frac{1}{1-x}$	$\displaystyle\sum _{n=0}^{\infty }{x}^{n}$	[latex]-1
$f\left(x\right)={e}^{x}$	$\displaystyle\sum _{n=0}^{\infty }\frac{{x}^{n}}{n\text{!}}$	[latex]\text{-}\infty
$f\left(x\right)=\sin{x}$	$\displaystyle\sum _{n=0}^{\infty }{\left(-1\right)}^{n}\frac{{x}^{2n+1}}{\left(2n+1\right)\text{!}}$	[latex]\text{-}\infty
$f\left(x\right)=\cos{x}$	$\displaystyle\sum _{n=0}^{\infty }{\left(-1\right)}^{n}\frac{{x}^{2n}}{\left(2n\right)\text{!}}$	[latex]\text{-}\infty
$f\left(x\right)=\text{ln}\left(1+x\right)$	$\displaystyle\sum _{n=1}^{\infty }{\left(-1\right)}^{n+1}\frac{{x}^{n}}{n}$	[latex]-1
$f\left(x\right)={\tan}^{-1}x$	$\displaystyle\sum _{n=0}^{\infty }{\left(-1\right)}^{n}\frac{{x}^{2n+1}}{2n+1}$	[latex]-1
$f\left(x\right)={\left(1+x\right)}^{r}$	$\displaystyle\sum _{n=0}^{\infty }\left(\begin{array}{c}r\hfill \\ n\hfill \end{array}\right){x}^{n}$	[latex]-1

Earlier in the chapter, we showed how you could combine power series to create new power series. Here we use these properties, combined with the Maclaurin series in [link], to create Maclaurin series for other functions.

Example: Deriving Maclaurin Series from Known Series

Find the Maclaurin series of each of the following functions by using one of the series listed in the table.

$f\left(x\right)=\cos\sqrt{x}$
$f\left(x\right)=\text{sinh}x$

Show Solution

Using the Maclaurin series for $\cos{x}$ we find that the Maclaurin series for $\cos\sqrt{x}$ is given by

$\begin{array}{cc}\hfill {\displaystyle\sum _{n=0}^{\infty}}\frac{{\left(-1\right)}^{n}{\left(\sqrt{x}\right)}^{2n}}{\left(2n\right)\text{!}}& ={\displaystyle\sum _{n=0}^{\infty}}\frac{{\left(-1\right)}^{n}{x}^{n}}{\left(2n\right)\text{!}}\hfill \\ & =1-\frac{x}{2\text{!}}+\frac{{x}^{2}}{4\text{!}}-\frac{{x}^{3}}{6\text{!}}+\frac{{x}^{4}}{8\text{!}}-\cdots .\hfill \end{array}$

This series converges to $\cos\sqrt{x}$ for all $x$ in the domain of $\cos\sqrt{x}$ ; that is, for all $x\ge 0$ .
To find the Maclaurin series for $\text{sinh}x$ , we use the fact that

$\text{sinh}x=\frac{{e}^{x}-{e}^{\text{-}x}}{2}$ .

Using the Maclaurin series for ${e}^{x}$ , we see that the $n\text{th}$ term in the Maclaurin series for $\text{sinh}x$ is given by

$\frac{{x}^{n}}{n\text{!}}-\frac{{\left(\text{-}x\right)}^{n}}{n\text{!}}$ .

For $n$ even, this term is zero. For $n$ odd, this term is $\frac{2{x}^{n}}{n\text{!}}$ . Therefore, the Maclaurin series for $\text{sinh}x$ has only odd-order terms and is given by

$\displaystyle\sum _{n=0}^{\infty }\frac{{x}^{2n+1}}{\left(2n+1\right)\text{!}}=x+\frac{{x}^{3}}{3\text{!}}+\frac{{x}^{5}}{5\text{!}}+\cdots$ .

Watch the following video to see the worked solution to Example: Deriving Maclaurin Series from Known Series.

You can view the transcript for “6.4.3” here (opens in new window).

try it

Find the Maclaurin series for $\sin\left({x}^{2}\right)$ .

Hint

Use the Maclaurin series for $\sin{x}$ .

Show Solution

$\displaystyle\sum _{n=0}^{\infty }\frac{{\left(-1\right)}^{n}{x}^{4n+2}}{\left(2n+1\right)\text{!}}$

Try It

We also showed previously in this chapter how power series can be differentiated term by term to create a new power series. In the next example, we differentiate the binomial series for $\sqrt{1+x}$ term by term to find the binomial series for $\frac{1}{\sqrt{1+x}}$ . Note that we could construct the binomial series for $\frac{1}{\sqrt{1+x}}$ directly from the definition, but differentiating the binomial series for $\sqrt{1+x}$ is an easier calculation.

Example: Differentiating a Series to Find a New Series

Use the binomial series for $\sqrt{1+x}$ to find the binomial series for $\frac{1}{\sqrt{1+x}}$ .

Show Solution

The two functions are related by

$\frac{d}{dx}\sqrt{1+x}=\frac{1}{2\sqrt{1+x}}$ ,

so the binomial series for $\frac{1}{\sqrt{1+x}}$ is given by

$\begin{array}{cc}\hfill \frac{1}{\sqrt{1+x}}& =2\frac{d}{dx}\sqrt{1+x}\hfill \\ & =1+{\displaystyle\sum _{n=1}^{\infty}}\frac{{\left(-1\right)}^{n}}{n\text{!}}\frac{1\cdot 3\cdot 5\cdots \left(2n - 1\right)}{{2}^{n}}{x}^{n}.\hfill \end{array}$

try it

Find the binomial series for $f\left(x\right)=\frac{1}{{\left(1+x\right)}^{\frac{3}{2}}}$

Hint

Differentiate the series for $\frac{1}{\sqrt{1+x}}$ .

Show Solution

$\displaystyle\sum _{n=1}^{\infty }\frac{{\left(-1\right)}^{n}}{n\text{!}}\frac{1\cdot 3\cdot 5\cdots \left(2n - 1\right)}{{2}^{n}}{x}^{n}$

In this example, we differentiated a known Taylor series to construct a Taylor series for another function. The ability to differentiate power series term by term makes them a powerful tool for solving differential equations. We now show how this is accomplished.

Module 6: Power Series