Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-202/6/c/solution

For each , the bounded local martingale is a true martingale. Taking expectations gives
for every . Thus equals its convolution with every heat kernel. The convolution is smooth, so the originally Borel function is smooth. Differentiating the heat semigroup identity at gives , so is a bounded harmonic function on the plane. The Harmonic Liouville theorem now implies that is constant.

New to topics? Read the docs here!