Egorov's theorem and classical transport

Let P_h be self-adjoint and set U_h(t)=exp(−itP_h/h). The Heisenberg observable is U_h(t)* A U_h(t), whose derivative is (i/h) times its commutator with P_h. Under our bracket convention, the leading commutator symbol is (h/i){p,a}; the two coefficients cancel, leaving H_p a={p,a}. Thus the leading symbol is a composed with the forward Hamiltonian flow Φ_t. Conjugating in the opposite order reverses that flow direction.

A concrete sufficient setting is the mass-one Schrödinger operator with smooth real subquadratic potential, meaning derivatives of V of order at least two are bounded, with its self-adjoint realization. The classical flow is complete and has controlled derivatives on every fixed time interval. Start with an h-independent compact smooth phase-space observable and follow its compact flow tube for |t|≤T. These support and derivative controls are what make the operator remainder uniform on that specified interval.

In this setting, the leading Egorov statement gives U* a^w U=(a composed with Φ_t)^w+O(h) in L² operator norm uniformly for |t|≤T, with T fixed independently of h. Higher symbol expansions can improve the remainder when their hypotheses and subprincipal terms are tracked. The leading statement does not identify the full propagated operator exactly, and the constant can grow when the time interval grows. Compact support at the initial time alone is not a bound on every derivative at arbitrarily long times.

Long-time results require additional quantitative flow control. If a particular proof yields an error bounded by C h exp(Γ|t|), substituting |t|≤c log(1/h) gives C h^(1−Γc), which tends to zero only when c<1/Γ. This conditional calculation explains an Ehrenfest-type logarithmic scale; it is not a universal theorem with a universal c for every Hamiltonian. Hyperbolic derivative growth and the symbol class's allowed derivative losses determine which long-time statement can actually be proved.

For a quadratic Hamiltonian, the Weyl commutator closes exactly because the higher odd derivative terms vanish. Linear and quadratic observables therefore evolve by exact Heisenberg identities on a common invariant Schwartz domain. These unbounded observables are domain identities, not examples of a bounded operator-norm remainder without cutoffs. For compact observables, metaplectic covariance supplies the corresponding exact quadratic Egorov relation. This exceptional exactness does not extend unchanged to a general nonlinear potential.

The same theorem transports limiting measures: testing an evolved state against a compact observable gives the initial measure tested against its composition with Φ_t, hence a pushforward by the forward flow. The result is for a fixed time and an identified subsequence, with localization preserving the required mass control. It describes quadratic expectations rather than a claim that the wavefunction becomes one classical trajectory. A coherent packet can spread while its leading phase-space center follows the classical motion.