One-sided approximate identity

ID: one-sided-approximate-identity

Let nonnegative integrable functions on satisfy and for every . If is a bounded function and continuous at zero, and the products are integrable, then . To prove this, subtract and split the difference integral at . The first piece is bounded by ; the second by . First use continuity to choose , then pass to the limit in . The normalization term also vanishes.
For , the Gaussian integral shows that has these properties. The factor two compensates for retaining only the nonnegative half of the full normalized Gaussian profile. Replacing it by would instead give limiting mass .

New to topics? Read the docs here!