Polynomial recurrence for the absolute value

ID: polynomial-recurrence-for-the-absolute-value

Starting with on , this polynomial recurrence gives and . Indeed the error satisfies . Its pointwise limit solves , so it is . Dini's theorem gives uniform convergence. Each continuous piecewise linear function is an affine function plus a finite linear combination of . Scaling and translating the recurrence therefore gives polynomial approximation of every such function, and their density gives the Weierstrass approximation theorem.

New to topics? Read the docs here!