Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge / 2012 / Paper 2 / 20 / b

The indicated integration by substitution givesPointwise, the argument of $\phi$ tends to $x$. Since the Gaussian integral is $\int e^{-{\eta }^2}d\eta =\sqrt{\pi }$, the expected limit is $\phi (x)$. To justify it for unbounded data, use the approximate identity property rather than assuming a uniform bound on $\phi$.

In the original variable, normalization givesFor $|\xi -x|<\delta$, continuity makes the difference smaller than any prescribed $\epsilon$ if $\delta$ is small enough, and the kernel mass is at most one. On the complement the Gaussian mass tends to zero; the data-weighted tail tends to zero by heat-kernel convergence for Gaussian-integrable initial data. This provesFor heat-kernel convergence from a conditionally convergent Gaussian integral, the same tail conclusion follows using the bounded primitive of $(\phi (\xi )-\phi (x))e^{-{\xi }^2/(4T)}$. The factor $q=K(x-\xi ,t)e^{{\xi }^2/(4T)}$ has its maximum at $\xi =xT/(T-t)$, approaching $x$. For sufficiently small $t$, it is monotone on each of the two tails outside $|\xi -x|<\delta$, and its values at the tail endpoints tend to zero exponentially. Integration by parts bounds each tail by a constant times its endpoint value, proving the same limit without an absolute-convergence assumption. The approach $t\downarrow 0$ is from positive time.