One-sided exponential approximate identity

ID: one-sided-exponential-approximate-identity

If and is bounded and continuous at zero, the positive kernel has mass on , tending to one, and mass at most outside . Split the integral of at : continuity makes the near part arbitrarily small, and boundedness times the exponentially small tail controls the far part. This proves the displayed endpoint approximate identity. A shrinking cutoff still captures mass and therefore gives the same limit.

New to topics? Read the docs here!