For a continuous function on , let be its dyadic slope martingale. Then is an absolutely continuous function if and only if
This is exactly uniform integrability. The uniformly integrable martingale convergence theorem gives convergence in L1 , while their integrated linear interpolations converge uniformly to . Hence . Conversely, if has density , its slopes are , and the uniform integrability of conditional expectations proves the criterion. The dyadic tail integral is also the sum of the absolute endpoint increments in cells whose slope is at least in magnitude.
The Exponential martingale for Brownian motion is a true martingale: independent increments and the normal distribution identity for give . Its second moment is
The uniform integrability from bounded second moments criterion now applies: for ,
Thus has uniform integrability. In fact, all values stopped at stopping times bounded by have uniform integrability, since and uniform integrability of conditional expectations applies. This is a finite-horizon assertion, not an assertion of uniform integrability over all .
A sequence of integrable random variables has uniform integrability exactly when
The uniformly integrable martingale convergence theorem states that a uniformly integrable discrete-time martingale has an integrable random variable with
Indeed, uniform integrability implies , so the Martingale convergence theorem gives almost sure convergence. The combination of uniform integrability and almost sure convergence gives convergence in L1. For , the martingale identity passes to the limit by the L1 contraction of conditional expectation.