Even-polynomial approximation with exact endpoint interpolation

ID: even-polynomial-approximation-with-exact-endpoint-interpolation

On , polynomials in form a unital algebra closed under complex conjugation separating points, so the Stone-Weierstrass theorem makes them dense in the continuous complex functions. Their approximation can preserve both endpoint values exactly. Given , add . This is still an even polynomial, fixes both endpoints, and changes the approximation by at most , since its correction is a convex combination of the endpoint errors. Taking yields any prescribed uniform error .

New to topics? Read the docs here!