Powered-cosine approximate identity on a torus

ID: powered-cosine-approximate-identity-on-a-torus

On the torus with normalized Haar measure, choose so that . The kernel is a nonnegative trigonometric polynomial. Its base has unique maximum four at the origin. Outside any fixed neighborhood its maximum is , while in a smaller neighborhood of positive measure it is at least some . Normalization consequently bounds the exterior kernel by , which tends to zero. Convolution with these kernels gives uniform trigonometric polynomial approximation to every continuous function on the torus.

New to topics? Read the docs here!