Multiply any function continuous at by an impulse located at and you get a scaled impulse, scaled by the function’s value at :
The reasoning is direct. The impulse is zero everywhere except at , so the product is zero everywhere except possibly at that one point. At the multiplier takes the value , so we have a scaled-by- impulse at .
The right-hand side has , a constant, with no in it. The function is evaluated at the impulse’s location, and only that one value of matters. Everything else gets discarded.
Why this is useful
This is what makes convolutions with impulses trivial: the impulse picks out one value of the function. The sifting property (sometimes called the sampling property) is a direct corollary, integrating both sides over :
Equivalence is the pointwise statement; sifting is its integrated version. In a derivation you’ll often write the pointwise form first to manipulate algebraically, then integrate at the end.
Worked example
Compute . By equivalence with and :
This kind of simplification appears in every verification of an impulse-response calculation: when you plug back into the ODE, simplifies to exactly via this property.
The third member of the trio is Scaling property of the impulse.