Decay of a nonnegative uniformly continuous integrable function

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

A nonnegative uniformly continuous function on with 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 dissipation argument for Lyapunov functions with merely continuous vector fields.

New to topics? Read the docs here!