Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-105/1/1/c/solution

For the heat equation, viewed as a second-order equation in all variables, the principal symbol is . It vanishes on , so is a characteristic hypersurface and
Writing does not repair its hypotheses: the right side has second spatial derivatives, exceeding the first-order normal-form allowance. Indeed real analytic initial data need not produce a jointly real analytic solution through time zero. In one dimension, would force
The time Taylor coefficients have zero radius of convergence.
Nevertheless the forward heat equation has Hadamard well-posedness in standard or Sobolev space classes for ; its Fourier multiplier gives stable smoothing. Backward evolution has the growing multiplier and is unstable. Neither forward stability nor backward instability is decided simply by whether the real analytic theorem applies.

New to topics? Read the docs here!