Past exam of the mathematics course of the University of Cambridge / 2014 / ia / Paper 1 / 11E / ii / Solution

From $f^{\prime \prime }=f$, differentiating successively gives $f^{(2r)}=f$ and $f^{(2r+1)}=f^{\prime }$ whenever those derivatives have been constructed. Starting with twice differentiability, this relation supplies the next two derivatives at each stage. Thus $f$ is infinitely differentiable, and its origin series isFor a fixed $x$, both $f$ and $f^{\prime }$ are bounded on the compact interval between zero and $x$, say by $M_x$. Every higher derivative is one of these two functions. Taylor's theorem, with the remainder just proved, therefore bounds the order-$n$ remainder by $M_x|x{|}^n/n!$, which tends to zero: its consecutive positive-term ratio is $|x|/(n+1)$. Hence the series converges to $f(x)$ for every real $x$. It also gives $f(x)=A\cosh x+B\sinh x$ by the usual hyperbolic-function series.

At any other centre $a$, apply the proved origin result to $g(t)=f(a+t)$, which also satisfies $g^{\prime \prime }=g$. Its even derivatives at zero are $f(a)$, and its odd ones are $f^{\prime }(a)$. ConsequentlyThis proves convergence at every centre without assuming that smoothness alone implies equality to a Taylor series.