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.
Articles by others on the same topic
There are currently no matching articles.