Differential inequality for an exponential tail envelope

ID: differential-inequality-for-an-exponential-tail-envelope

A differential inequality for an exponential tail envelope supplies a sufficient decay condition for a global power bound. Let nonnegative be absolutely continuous on every finite interval after , with and
almost everywhere, for constant . The integrating factor argument in bounding unobserved optical energy with an exponential tail model gives . Corners in the waveform are allowed under absolute continuity; an unmodeled upward jump is not.
The inequality is stronger than merely fitting a decay constant at a few sampled times. For example, obeys it and carries only after . The exponential-envelope tail-energy bound remains valid but need not be tight. Conversely, a later pulse can violate the differential condition while leaving all earlier samples unchanged.
A useful extension is a time-dependent decay-rate envelope. For locally integrable , the condition gives
This follows from the same integrating factor and is a scalar comparison bound. If throughout the tail, its integrated energy is at most .
For an original piecewise rate, choose , for the first and thereafter. Integrating the resulting continuous envelope yields
Using only the minimum rate would give . Faster guaranteed late decay tightens the result.
This is a conditional mathematical proof. A measured electrical waveform obeying a similar slope rule does not establish the optical condition without accounting for the detector impulse response. The primary NIST measurement procedure supplies an example of characterizing that response independently.[ref]

New to topics? Read the docs here!