Past exam of the mathematics course of the University of Cambridge / 2004 / iii / Paper 71 / 5

Use the central second difference ${\Delta }_t^{2}f(x)=f(x+t)-2f(x)+f(x-t)$ and define the second modulus of smoothness byWe first need its scaling inequality. If $q$ is a positive integer, translation by $h$ gives the telescoping identityThe weights sum to $q^2$. For $t>0$, choose $q=\lceil t/\delta \rceil$ and $h=t/q\le \delta$; thenThe same bound covers $t=0$ trivially.

In the paper's normalization, the Fejér kernel is even and nonnegative, with ${\pi }^{-1}{\int }_{-\pi }^{\pi }{F}_n=1$. Pairing the positive and negative translations expresses the Fejér sum error asUse the scaling bound and $(1+s{)}^2\le 2(1+s^2)$ to obtainFor $|t|\le \pi$, $\sin (|t|/2)\ge |t|/\pi$. Bounding the numerator sine by one givesThe bound at $t=0$ holds by continuity. Choosing $\delta =n^{-1/2}$ proves the Fejér second-modulus approximation bound with an explicit universal constant:Finally, for twice continuously differentiable periodic $f$, two applications of the fundamental theorem of calculus give the second-difference integral formulaThe triangular weight has integral $h^2$, so ${\omega }_2(f,\delta )\le {\delta }^2\Vert f^{\prime \prime }{\Vert }_{\infty }$. Therefore