# Maclaurin Series

A **Maclaurin series** is a ** power series** that provides an approximation near the origin for an arbitrary function \(f(x).\) Wherever the series

*converges*, it is equivalent to the function it represents.

A Maclaurin series can be used to approximate a function, obtain a closed form for the **antiderivative** of a non-integrable function, or compute an otherwise uncomputable sum. Partial sums of a Maclaurin series provide polynomial approximations for the function.

A Maclaurin series is a special case of a ** Taylor series**, obtained by setting \(x_0=0\). The Maclaurin series of a function \(f\) is therefore the

**series**

\[\sum_{n=0}^{\infty}f^{(n)}(0)\frac{x^{n}}{n!}=f(0)+f'(0)x+\dfrac{f''(0)}{2!}x^2+\cdots +\dfrac{f^{(k)}(0)}{k!}x^n+\cdots\]

#### Contents

## Derivation

Intuitively, it makes sense that if an infinite series is equal to a function within a certain interval, then the values of their derivatives should be equal as well. Since a power series has easily expressible derivatives at \(x = 0\), it turns out the series can be expressed entirely in terms of the values of its derivatives.

Suppose \(f(x) = \displaystyle\sum_{n=0}^\infty a_n x^n\) for all \(x \in (- \epsilon, \, \epsilon)\), where \(\epsilon\) is some small positive number. Then, by the ratio test, the series \(g(x) := \displaystyle\sum_{n=0}^\infty (n+1) a_{n+1} x^n\) converges for all \(x\) such that \[ 1 > \lim_{n \to \infty} \big\lvert \frac{(n+2) a_{n+2} x^{n+1}}{(n+1) a_{n+1} x^n} \big\rvert = |x| \cdot \lim_{n \to \infty} \frac{n+2}{n+1} \cdot \frac{|a_{n+2}|}{|a_{n+1}|}. \]

Since \(f(x)\) converges, \(|x| \cdot \lim_{n \to \infty} \frac{|a_{n+1}|}{|a_n|} \le 1\), implying \(\lim_{n \to \infty} \frac{|a_{n+1}|}{|a_n|} < \frac{1}{\epsilon}\). It follows that \(g(x)\) converges for all \(x\) such that \(1 > \frac{|x|}{\epsilon}\), or \(x \in (-\epsilon, \, \epsilon)\). Therefore, the function \(g(x)\) exists and is equal to the derivative of \(f(x)\) for all \(x \in (-\epsilon, \, \epsilon)\).

It follows from induction that the \(n^\text{th}\) derivative of the power series converges in \((-\epsilon, \, \epsilon)\) and is equal to the \(n^\text{th}\) derivative of \(f\). Then, for \(x = 0\),

\[f^{(n)}(0) = \displaystyle\sum_{k=0}^\infty a_{k+n} (k+n) \cdot (k+n-1) \dots (k+1) 0^k = a_n (n) \cdot (n-1) \dots (1) \implies a_n = \frac{f^{(n)}(0)}{n!}. \]

Therefore, any power series equal to \(f(x)\) in an open interval of the origin is of the following form. This power series is defined to be the **Maclaurin series**.

\[ f(x) = \sum_{n=0}^\infty \frac{f^{(n)}(0)}{n!} x^n. \]

A function \(f\) is defined for all real numbers and satisfies \(f(0) = 1\), \(f^{(1)}(0) = 0\), \(f^{(2)}(0) = 0\), \(f^{(3)}(0) = -1\), \(f^{(4)}(0) = 0\), and in general \(f^{(k)}(0) = (-1)^{k}\) if \(k\) is divisible by 3 and \(f^{(k)}(0) = 0\) otherwise. What is the Maclaurin series of \(f\)?

\[ \] **Clarification**: In the answer choices, \(!\) denotes the factorial function. For example, \(8! = 1\times2\times3\times\cdots\times8 \).

## Interval and Radius of Convergence

The **interval of convergence** is the open, closed, or semiclosed range of values of \(x\) for which the Maclaurin series converges to the value of the function; outside the domain, the Maclaurin series either is undefined or does not relate to the function. The **radius of convergence** is half the length of the interval; it is also the radius of the circle in the complex plane within which the series converges.

Convergence may be determined by a variety of methods, but the ratio test tends to provide an immediate value \(r\) for the radius of convergence. The interval of convergence may then be determined by testing the value of the series at the endpoints \(-r\) and \(r\).

Find the interval and radius of convergence for the series \( \displaystyle \sum_{k=1}^{\infty} \dfrac{x^k}{k} \).

Use the ratio test to note that the series will converge only if \(x\) satisfies

\[ \lim_{k \to \infty} \left| \dfrac{\dfrac{x^{k+1}}{k+1}}{\dfrac{x^k}{k}}\right| < 1 \implies \lim_{k \to \infty} \left| \dfrac{kx}{k+1} < 1 \right| \implies \left| x \right| < 1. \]

The preliminary interval of convergence is \( -1 < x < 1 \), but the series could possibly converge at the "endpoints" \(x = -1\) and \(x = 1\) as well.

If \( x = 1 \), then the series becomes \( \displaystyle \sum_{k = 1}^{\infty} \dfrac{1}{k} \), which is the harmonic series. This diverges.

If you put in \( x = -1 \), you get \( \displaystyle \sum_{k=1}^{\infty} \dfrac{(-1)^k}{k}\). This is the alternating harmonic series, which converges by the alternating series test.

Therefore, the interval of convergence is \([-1, \, 1)\), and the radius of convergence is \(1\).

It may help to note that for simple functions, like the one above, \(1\) and \(\infty\) are common radii of convergence.

## Frequently Used Maclaurin Series

Most Maclaurin series expressible in terms of elementary functions can be determined through the composition and combination of the following functions.

Function | Maclaurin Series | Interval of Convergence |

\(\dfrac{1}{1-x}\) | \(\displaystyle \sum_{k=0}^{\infty} x^k\) | \(-1 < x < 1\) |

\(e^x\) | \(\displaystyle \sum_{k=0}^{\infty} \dfrac{x^k}{k!}\) | \(-\infty < x < \infty\) |

\(\ln(1+x)\) | \(\displaystyle \sum_{k=1}^{\infty} \dfrac{(-1)^{k+1}x^k}{k}\) | \(-1 < x \leqslant 1\) |

\(\sin x\) | \(\displaystyle \sum_{k=0}^{\infty} \dfrac{(-1)^k x^{2k+1}}{(2k+1)!}\) | \(-\infty < x < \infty\) |

\(\cos x\) | \(\displaystyle \sum_{k=0}^{\infty} \dfrac{(-1)^k x^{2k}}{(2k)!}\) | \(-\infty < x < \infty\) |

Determine the Maclaurin series for \(f(t) = \arctan t\).

Note that \(f(t) = \displaystyle\int_0^t \frac{1}{1 + u^2} \, du.\) Using the substitution \(x = -u^2\) from the table above, it follows that

\[f(t) = \int_0^t \sum_{k=0}^\infty (-u^2)^k \, du = \sum_{k=0}^\infty \int_0^t (-1)^k u^{2k} \, dt = \sum_{k = 0}^\infty \frac{(-1)^k}{2k + 1} t^{2k + 1}.\]

## Taylor Series

Main article: Taylor series

The Maclaurin Series is a Taylor Series centered about 0. The Taylor Series can be centered around any number \(a \) and is written as follows:

\[\sum_{n=0}^{\infty}f^{(n)}(a)\frac{(x-a)^{n}}{n!}=f(a)+f'(a)(x-a)+\dfrac{f''(a)}{2!}(x-a)^2+\cdots +\dfrac{f^{(k)}(a)}{k!}(x-a)^n+\cdots\]

## See Also

**Cite as:**Maclaurin Series.

*Brilliant.org*. Retrieved from https://brilliant.org/wiki/maclaurin-series/