Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/iii/paper-33/1/a/solution

A continuous adapted process is a local martingale if there are stopping times almost surely such that each stopped process is a martingale. In this definition is integrable. A continuous adapted process has finite variation if, almost surely, its paths have finite total variation of a function on each compact time interval:
The permitted fact that this total-variation process is continuous and adapted makes its level-hitting times stopping times.
Suppose , and put . Define
These times increase to infinity almost surely. The optional stopping theorem applied to the localized martingale shows that is a martingale; it is also bounded in absolute value by , with total variation at most . Fix and write . For a deterministic partition of an interval , orthogonality of square-integrable martingale increments gives
Pathwise the sum on the right is bounded by . For partitions with mesh tending to zero, continuity makes this converge to zero. It is bounded by , so dominated convergence gives . First use rational , then continuity, to obtain almost surely. Letting proves
This proves continuous finite-variation local martingale is constant without assuming integrability of the unstopped total variation. Continuity matters: compensated jump martingales can have finite variation without being constant.

New to topics? Read the docs here!