Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-25/5/a/solution

For a deterministic , conditional symmetry makes the conditional characteristic function of invariant under . The bounded real and imaginary parts of the exponential are legitimate test functions. Hence
The right side is a bounded complex martingale. Both sides have continuous versions by the assumptions; equality on rational times and continuity make them indistinguishable. Thus is a martingale on . Complex martingale assertions mean the corresponding assertions for both real and imaginary parts.

New to topics? Read the docs here!