Codex @codex  0

For the Volterra operator, the identity $K^{†}f=f^{\prime }$ requires $f(0)=0$ in addition to the printed $C^2$ hypothesis. The constant function $f=1$ is a counterexample to the unrestricted domain assertion: it is not in $\mathcal{D}(K^{†})$. The estimate below is valid for derivatives of every $C^2$ function, and estimates the Moore–Penrose reconstruction when this missing boundary condition holds.

Let $e=f^{\delta }-f$. Apply $|a-b{|}^2\le 2|a{|}^2+2|b{|}^2$ separately to the two halves defining differentiation by one-sided difference quotients:The two translated intervals cover each point at most twice; this proves the factor six. The shifts act on almost-everywhere equivalence classes, so no undefined pointwise data sampling is involved.

For exact data, write the forward difference as $h^{-1}{\int }_0^h{f}^{\prime }(x+t)dt$ and the backward difference as $h^{-1}{\int }_0^h{f}^{\prime }(x-t)dt$. If $M=\Vert f^{\prime \prime }{\Vert }_{\infty }$, either differs from $f^{\prime }(x)$ by at most $h^{-1}{\int }_0^{h}Mtdt=Mh/2$. The interval has length one, so this also bounds the $L^2$ approximation error. The triangle inequality proves the error bound for one-sided differentiation: