Decay of a nonnegative uniformly continuous integrable function

ID: decay-of-a-nonnegative-uniformly-continuous-integrable-function

A nonnegative function that is a uniformly continuous function on the interval and has a finite integral tends to zero. Otherwise uniform continuity gives disjoint intervals of a fixed width on which the function exceeds a fixed positive value, contradicting integrability. This supplies a useful decay argument for Lyapunov functions with merely continuous vector fields.
To make the fixed width explicit, suppose some occurs as a lower bound along a sequence with . Choose from uniform continuity for output tolerance . On every interval lying in , the function is greater than . Extract a subsequence whose centers are more than apart. Each disjoint interval contributes at least to the integral, so the first contribute at least . This contradicts finiteness of the integral. The same input width at every center is the essential step; continuity alone would allow progressively narrower peaks.

New to topics? Read the docs here!