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 .

Articles by others on the same topic (0)

There are currently no matching articles.