The characteristic equations for a transport equation are and , so . For an initial point their solution isThis is the hyperbolic characteristic flow for an inverted oscillator. The addition formulas give and . In particular, the backward characteristic flow map from the point at time to time isAlong this characteristic curve, the chain rule changes the transport equation into . Integrating from zero to givesThe assumed regularity makes this a classical solution: on every compact set, the integrand and its needed derivatives are continuous, so differentiation under the finite-time integral is justified. At it has the required initial value, and the characteristic calculation verifies the equation. Conversely every classical solution must satisfy the same integrated identity, proving uniqueness. This is the Duhamel formula for Hamiltonian transport, with Hamiltonian .
Articles by others on the same topic
There are currently no matching articles.