Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ii/paper-1/29a/c/solution

Here , , , so from initial parameter we get , and . Solving for the branch agreeing with at , and rationalizing the apparent division by , gives
This formula is smooth on that open set, which contains every point of the initial line. It satisfies and . Differentiation gives , , verifying the equation and the data.
The transport field is , with normal component one on , so the initial line is everywhere non-characteristic. This explains why neighborhoods cover the entire initial line, although a single fixed-width strip need not work for unbounded .

New to topics? Read the docs here!