Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-27/6/b/solution

Put . The explicit density formula and local integrability assumption give
Hence its Fokker-Planck probability current is zero. The stationary adjoint equation is . We prove the required integral identity with cutoffs, avoiding an unstated boundary condition on derivatives of .
Choose smooth , equal to one on , supported in , with and . Since , integrate the backward equation in time and integrate by parts twice in space:
These integrations have compact support, as permitted in the question. Bounded coefficients and normalized give
The right side is bounded in absolute value by
which tends to zero. Dominated convergence on the left therefore proves
This is the cutoff proof of invariance for a zero-flux diffusion density. In particular, if an independent initial state has density , part (a) and Fubini give a constant expectation of this test function at every time. This consequence alone is sufficient for the final coupling argument.

New to topics? Read the docs here!