Further Maths/Lessons/Series (Year 2)/Higher Derivatives & Maclaurin Series
Core Pure · Series · Year 2

Higher Derivatives & Maclaurin Series

Every derivative at x=0 hands you one more coefficient of a power-series expansion — giving a systematic way to build infinite series for almost any function.

15 min read 3 worked examples

Higher derivatives

Notation — the nth derivative

You already differentiate once to get $\dfrac{dy}{dx}=f'(x)$, and twice to get $\dfrac{d^2y}{dx^2}=f''(x)$. Differentiating $n$ times in total gives the $n$th derivative, written $\dfrac{d^ny}{dx^n}=f^{(n)}(x)$. There's nothing conceptually new here — just repeated application of the differentiation rules you already know (chain rule, product rule, quotient rule), keeping careful track of how the expression changes shape each time.

Example 1 · Finding a third derivative
Given $y=\ln(1+2x)$, find $\dfrac{d^3y}{dx^3}$, and evaluate it when $x=0$.

$\dfrac{dy}{dx}=\dfrac2{1+2x}=2(1+2x)^{-1}$.

$\dfrac{d^2y}{dx^2}=2\times(-1)(1+2x)^{-2}\times2=-4(1+2x)^{-2}$.

$\dfrac{d^3y}{dx^3}=-4\times(-2)(1+2x)^{-3}\times2=16(1+2x)^{-3}$.

At $x=0$: $\dfrac{d^3y}{dx^3}=16(1)^{-3}=16$.

Spotting the pattern

For functions built from $\ln$, $e^x$ or simple powers, successive derivatives often follow a clean pattern in their coefficients, which you can sometimes guess and then confirm, rather than differentiating from scratch every time. This becomes essential in the next section, where you'll need $f^{(r)}(0)$ for arbitrarily large $r$.

Example 2 · Using implicit differentiation to find a recurrence
Given $f(x)=e^{3x^2}$, show that $f'(x)=6xf(x)$, and hence find $f''(x)$ and $f'''(x)$ in terms of $x$ and $f(x)$.

By the chain rule, $f'(x)=e^{3x^2}\times6x=6xe^{3x^2}=6xf(x)$, as required.

Differentiating $f'(x)=6xf(x)$ using the product rule: $f''(x)=6f(x)+6xf'(x)=6f(x)+6x(6xf(x))=6f(x)+36x^2f(x)=(6+36x^2)f(x)$.

Differentiating again: $f'''(x)=72xf(x)+(6+36x^2)f'(x)=72xf(x)+(6+36x^2)(6xf(x))=\big(72x+36x+216x^3\big)f(x)=\big(108x+216x^3\big)f(x)$.

Maclaurin series

Theorem 2.2 — the Maclaurin series expansion

Provided $f(0),f'(0),f''(0),\ldots$ all exist and are finite, a function can be expanded as an infinite series in ascending powers of $x$:

$$f(x)=f(0)+f'(0)x+\frac{f''(0)}{2!}x^2+\frac{f'''(0)}{3!}x^3+\cdots+\frac{f^{(r)}(0)}{r!}x^r+\cdots$$

DerivationWhy the coefficients take this form
1
Suppose $f(x)=a_0+a_1x+a_2x^2+a_3x^3+\cdots$ for constants $a_0,a_1,a_2,\ldots$
Assume the function has a power-series expansion of this general form.
2
Setting $x=0$: $f(0)=a_0$.
Every term with a positive power of $x$ vanishes.
3
Differentiate once: $f'(x)=a_1+2a_2x+3a_3x^2+\cdots$. Setting $x=0$: $f'(0)=a_1$.
Each differentiation strips one power of $x$ off the leading surviving term.
4
Differentiate again: $f''(x)=2a_2+3\times2\,a_3x+\cdots$. Setting $x=0$: $f''(0)=2!\,a_2$, so $a_2=\dfrac{f''(0)}{2!}$.
The constant term picks up a factor of $2!$ from the two rounds of differentiation.
5
Continuing this pattern, differentiating $r$ times and setting $x=0$ gives $f^{(r)}(0)=r!\,a_r$, so $a_r=\dfrac{f^{(r)}(0)}{r!}$ for every $r$.
This is exactly the coefficient pattern in the theorem above.
∎
Three series worth memorising

$$e^x=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots, \; x\in\mathbb{R}$$

$$\frac1{1-x}=1+x+x^2+x^3+\cdots, \; |x|<1$$

$$\sqrt{1+x}=1+\frac x2-\frac{x^2}8+\frac{x^3}{16}-\cdots, \; |x|<1$$

The restriction $|x|<1$ (or similar) on the second and third series reflects that the underlying function has a singularity or isn't real-valued outside that range; $e^x$, by contrast, is well-behaved for every real $x$, so its series converges everywhere.

Example 3 · Deriving a Maclaurin series from scratch
Find the Maclaurin series for $f(x)=\ln(1+x)$ up to and including the term in $x^4$.

$f(x)=\ln(1+x)$, so $f(0)=\ln1=0$.

$f'(x)=(1+x)^{-1}$, so $f'(0)=1$.

$f''(x)=-(1+x)^{-2}$, so $f''(0)=-1$.

$f'''(x)=2(1+x)^{-3}$, so $f'''(0)=2$.

$f^{(4)}(x)=-6(1+x)^{-4}$, so $f^{(4)}(0)=-6$.

Substituting into the Maclaurin formula: $\ln(1+x)=0+1\cdot x+\dfrac{-1}{2!}x^2+\dfrac{2}{3!}x^3+\dfrac{-6}{4!}x^4+\cdots=x-\dfrac{x^2}2+\dfrac{x^3}3-\dfrac{x^4}4+\cdots$

Watch out — functions with no valid Maclaurin series

Not every function has a Maclaurin series: it requires $f(0),f'(0),f''(0),\ldots$ to all exist and be finite. For example $f(x)=\ln x$ fails immediately, since $f(0)=\ln0$ is undefined — there is no Maclaurin expansion of $\ln x$ itself (though $\ln(1+x)$, expanded around $x=0$, works fine, as above).

Exam-style questions

Question 1 6 marks

Given $y=\cos2x$, find $\dfrac{d^4y}{dx^4}$ and evaluate it when $x=\dfrac\pi3$.

$\dfrac{dy}{dx}=-2\sin2x$; $\dfrac{d^2y}{dx^2}=-4\cos2x$; $\dfrac{d^3y}{dx^3}=8\sin2x$; $\dfrac{d^4y}{dx^4}=16\cos2x$. (M1, A1, A1, A1)

At $x=\dfrac\pi3$: $16\cos\dfrac{2\pi}3=16\times\left(-\dfrac12\right)=-8$. (M1, A1)

Question 2 7 marks

Find the Maclaurin series for $f(x)=e^{2x}\sin x$ up to and including the term in $x^3$.

$f(0)=1\times0=0$. $f'(x)=2e^{2x}\sin x+e^{2x}\cos x$, so $f'(0)=0+1=1$. (M1, A1)

$f''(x)=4e^{2x}\sin x+2e^{2x}\cos x+2e^{2x}\cos x-e^{2x}\sin x=3e^{2x}\sin x+4e^{2x}\cos x$, so $f''(0)=0+4=4$. (M1, A1)

$f'''(x)=6e^{2x}\sin x+3e^{2x}\cos x+8e^{2x}\cos x-4e^{2x}\sin x=2e^{2x}\sin x+11e^{2x}\cos x$, so $f'''(0)=0+11=11$. (M1)

$f(x)=0+1\cdot x+\dfrac4{2!}x^2+\dfrac{11}{3!}x^3+\cdots=x+2x^2+\dfrac{11}6x^3+\cdots$ (A1)