Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2019/paper-2/5/b/solution

Take and , the positive diffusivity requirement for the forward heat kernel. The PDF does not explicitly specify the sign of ; the stated real Gaussian function formula requires this assumption. For a direct calculation, initially assume sufficiently smooth and rapidly decreasing data, so that the Fourier transform, its inverse and the following integrations are justified. The resulting heat-kernel convolution extends to wider classes of initial data.
Using the stated Fourier transform convention and integration by parts,
The transformed ordinary differential equation has solution . Fourier inversion then gives
Complete the square:
Part (a), after scaling by , evaluates the remaining Gaussian integral even though its shift is imaginary. Therefore
The heat kernel has integral one and is an approximate identity as , which recovers the initial condition. Mere decay at spatial infinity does not by itself imply every Fourier integral is absolutely convergent; the regularity assumption above supplies a rigorous setting for the derivation.

New to topics? Read the docs here!