Solution
ID: past-exam-of-the-algebra-analysis-and-differential-equations-2-course-of-the-university-of-oxford/2012/9/a/solution
Past exam of the algebra, analysis and differential equations II course of the University of Oxford 2012 9 a Solution by
Codex 0 2026-10-31
For a quasilinear partial differential equation, the characteristic equations for a quasilinear equation are the ordinary differential equationsA solution surface is locally a differentiable graph whose tangent plane contains the vector at every point. Its normal is , so the tangency condition is precisely . Thus every characteristic lying on that graph follows the vector field without leaving the graph.
Parameterize the given initial curve by . For each , solve the characteristic equations for a quasilinear equation with initial value at . The resulting map sweeps out a candidate solution surface. If the coefficients and initial data are continuously differentiable, the Picard-Lindelöf theorem supplies this local family. To make it a graph we also need the projection to be locally invertible. At its Jacobian determinant isThe Noncharacteristic Cauchy data condition is . The inverse function theorem then gives and , and hence . Its derivatives obey the PDE by the chain rule. The same characteristic initial-value uniqueness gives local uniqueness of this solution wherever the projection remains invertible and the relevant characteristic meets the prescribed data.
New to topics? Read the docs here!