Maths WorkshopMaths problems with full solutions
Exercise 1183Calculus › Single-variable calculus › Differentiation › Taylor expansionsL2Added 3 Nov 2026

The symmetric second difference

#Taylor-Young#second derivative#counterexample

Statement

1. Let ff be twice differentiable at aa. Show that
lim⁡h→0f(a+h)−2f(a)+f(a−h)h2=f′′(a).\lim_{h\to0}\frac{f(a+h)-2f(a)+f(a-h)}{h^2}=f''(a).
2. Show that the converse is false: find ff such that this limit exists at a=0a=0 but f′′(0)f''(0) does not.

Hint

For part 2, try an odd function and a=0a=0.

Show solutionHide solution

Solution

1. By Taylor–Young at order 22,
f(a±h)=f(a)±hf′(a)+h22f′′(a)+o(h2).f(a\pm h)=f(a)\pm hf'(a)+\frac{h^2}2f''(a)+o(h^2).
Adding the two relations, the terms in hh cancel:
f(a+h)+f(a−h)−2f(a)=h2f′′(a)+o(h2),f(a+h)+f(a-h)-2f(a)=h^2f''(a)+o(h^2),
and dividing by h2h^2 gives the limit.

2. Take f(x)=x∣x∣f(x)=x|x|. It is odd and f(0)=0f(0)=0, so
f(h)−2f(0)+f(−h)h2=0 ⟶ 0.\frac{f(h)-2f(0)+f(-h)}{h^2}=0\ \longrightarrow\ 0.
But f′(x)=2∣x∣f'(x)=2|x| for all xx (including x=0x=0 where f′(0)=0f'(0)=0), and f′(x)−f′(0)x=2∣x∣x\frac{f'(x)-f'(0)}{x}=\frac{2|x|}x has different one-sided limits ±2\pm2 at 00. Hence f′′(0)f''(0) does not exist.

Remark. The symmetric second difference is the standard numerical approximation of f′′f''; the converse failing means one must not read its limit as a proof that f′′f'' exists.