The Duhamel formula for Hamiltonian transport, phase space preservation and Minkowski integral inequality give the displayed bound. A time-independent source in an Lp space yields finite space-time norm on every bounded interval; it need not yield integrability on infinite time.
Transport a phase-space density along Hamilton's equations. The Hamiltonian vector field is and the equation is . Its zero divergence gives volume-preserving transport. For , the density is constant along characteristics; a source is integrated by the Duhamel formula for Hamiltonian transport. This is distinct from the elliptic Liouville equation.
If and a nonzero time-independent source is invariant along the Hamiltonian flow, then the Duhamel formula for Hamiltonian transport gives . For the nonzero-frequency oscillator, is smooth and belongs to all finite Lp spaces, yet its resulting solution has infinite space-time norm on .
The characteristic equations for a transport equation are and , so . For an initial point their solution is
This 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 is
Along this characteristic curve, the chain rule changes the transport equation into . Integrating from zero to gives
The 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 .
For the isotropic harmonic oscillator flow, Hamilton's equations are , . In dimension three these are three identical uncoupled pairs. For , put , . The solution from at time zero is
The inverse flow is obtained by replacing by :
Integrating the source along the backward characteristic gives the Duhamel formula for Hamiltonian transport:
Indeed , and setting gives the formula. It has the prescribed initial value and differentiation along the characteristic gives the source.
The zero-frequency limit has , , so and