Solution

ID: past-exam-of-the-algebra-analysis-and-differential-equations-2-course-of-the-university-of-oxford/2012/9/b/vi/solution

To find the characteristic domain from data on a half-line, retain the allowed range of its initial parameter. The portion connected to the initial data before the fold caustic has and . Inverting the positive branch gives
The square root must be positive, and requires . Squaring is now legitimate and gives . Thus the full characteristic-covered set on this branch is
Its open interior, where both the data parameter and the projection are interior and nonsingular, is the classical domain of dependence
Figure 1.
The domain of dependence from the initial half-line, bounded by the endpoint characteristic and the fold caustic
. Details.
Each point of has exactly one backward characteristic meeting the interior of the prescribed data, so the Picard-Lindelöf theorem fixes its value. The upper boundary is the characteristic issuing from the endpoint and is fixed by the endpoint datum, consistently with the continuous trace from . The lower boundary is excluded: there, the Jacobian determinant vanishes, and the explicit solution derivatives diverge as .
Points of the half-plane outside this set have on the branch through the data. Their characteristic footpoints would lie on the unprescribed continuation of the initial line, so these values are not determined by the given half-line alone. For example, extend the initial value to negative as , where is a smooth function supported on the negative half-line. Such extensions agree with all the prescribed data and, where noncharacteristic, produce different local extensions by the method of characteristics. The displayed formula supplies one possible extension there, but the data do not select it uniquely. This is why retaining the restriction on the initial half-line is essential. Continuing the parameterized surface past instead produces the other sheet of the fold; it does not give a differentiable graph continuation through the caustic.

New to topics? Read the docs here!