Gaussian interval mass

ID: gaussian-interval-mass

The normalized Gaussian mass of an interval is
It is the convolution of an interval indicator with the heat kernel, and has an error function representation. As the variance tends to zero it converges to the interval indicator away from its endpoints, with value one half at an endpoint. This is a concrete approximate identity.

New to topics? Read the docs here!