Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-201/3/c/solution
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 201 3 c Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
Work on as a probability space, with Lebesgue measure of total mass one. Let be the filtration generated by the level- half-open dyadic cells together with the separate null cell . Define the dyadic slope martingale byThe endpoint may be assigned any value, since it is a null set for Lebesgue measure. The two child slopes average to their parent slope, by telescoping the two increments. Therefore almost everywhere, so this is a martingale. The Lipschitz condition gives everywhere except possibly at the freely chosen endpoint, where we take zero.
Apply the Lp martingale convergence theorem with . Its limit has almost everywhere and in L1 norm as well, by Cauchy-Schwarz inequality. Choose a measurable representative of and set it to zero on any exceptional null set; it is then a bounded measurable function on the entire interval.
Set . Telescoping at the grid points shows that is the linear interpolation of on the dyadic grid. The Lipschitz condition gives . AlsoThe two uniform limits coincide, giving the absolutely continuous function representationThe chosen bound holds for every after the null-set modification; the integral identity holds for every simultaneously.
New to topics? Read the docs here!