On use the forward difference and on the backward difference, with . This defines a bounded linear operator on and . For in the range of the Volterra integration operator, these differences are local averages of and converge to in by continuity of translations. Hence gives a linear regularization of differentiation. No pointwise evaluation of an arbitrary equivalence class is needed: translated functions are defined almost everywhere.
For and , two translated half-interval integrals have overlap multiplicity at most two. The inequality gives . Averaging over the relevant interval and applying gives the second term. For this to estimate a Moore–Penrose inverse of an operator, also require ; otherwise the derivative is still approximated but is not defined.

Articles by others on the same topic (0)

There are currently no matching articles.