Continuous hyperbolic coefficients need not admit smooth characteristic coordinates

ID: continuous-hyperbolic-coefficients-need-not-admit-smooth-characteristic-coordinates

For a second-order hyperbolic partial differential equation, the usual reduction to a mixed derivative uses twice continuously differentiable characteristic coordinates. Continuity of the principal coefficients alone does not ensure this regularity, even locally. Consider , and near the origin; the discriminant is the positive constant . A characteristic coordinate must satisfy
The two characteristic families have first integrals and . Locally, any coordinate transverse to the first family has the form with . If this were twice continuously differentiable, its restriction at would make twice continuously differentiable. But its second derivative approaches from the right and from the left, a contradiction. Independent characteristic coordinates cannot both choose the other family. Thus no twice continuously differentiable characteristic coordinate system exists near the origin.
With sufficiently smooth coefficients, the two distinct characteristic direction fields do yield smooth local coordinates. If is their Jacobian determinant and is the transformed mixed coefficient, then . Division by gives the mixed-derivative canonical form, including all lower-order terms produced by the chain rule. This is a local result; global intersections of characteristic curves can create separate obstructions.

New to topics? Read the docs here!