Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-66/1/a/solution

Take real and use the L2 norm on the spatial interval. Existence, uniqueness and continuous dependence are the three requirements of Hadamard well-posedness. An energy method supplies the decisive estimate. For a smooth solution with homogeneous Dirichlet boundary conditions, integration by parts gives
The drift contributes only a boundary term, which vanishes. The Poincare inequality further gives
Apply the same argument to the difference of two solutions to obtain uniqueness and continuous dependence on the initial data.
For existence, use the Dirichlet gauge transform for constant drift: satisfies with zero boundary values. Expanding in its Fourier sine series gives
For the series defines a solution continuous in down to and smooth for positive time; multiplication by the fixed bounded exponentials preserves this interpretation. Its energy estimate follows by approximation with smooth initial data. For a classical solution at the initial corners, require the usual smoothness and boundary compatibility instead. The problem is well posed in , with a contraction estimate independent of the initial data.

New to topics? Read the docs here!