Differentiation by one-sided difference quotients
ID: differentiation-by-one-sided-difference-quotients
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.
New to topics? Read the docs here!