In classical mechanics, we have the Liouville theorem stating that the Hamiltonian dynamics is volume-preserving.
What is the quantum analogue of this theorem?
Answer
It's subtle. The theorem is not there: quantum flows are compressible (Moyal, 1949).
I'll follow Ch. 0.12 of our book, Concise Treatise of Quantum Mechanics in Phase Space, 2014.
The analog of the Liouville density of classical mechanics is the Wigner function in phase space quantum mechanics. Its evolution equation (generalizing Liouville's) is ∂f∂t={{H,f}} ,
For any phase-space function k(x,p) with no explicit time-dependence, d⟨k⟩dt=∫dxdp ∂f∂tk=1iℏ∫dxdp (H⋆f−f⋆H)⋆k=∫dxdp f{{k,H}}=⟨{{k,H}}⟩,
Moyal stressed (discovered?) that his eponymous quantum evolution equation above contrasts to Liouville's theorem (collisionless Boltzmann equation) for classical phase-space densities, dfcldt=∂fcl∂t+˙x ∂xfcl+˙p ∂pfcl=0 .
Specifically, unlike its classical counterpart, in general, f does not flow like an incompressible fluid in phase space, thus depriving physical phase-space trajectories of meaning, in this context. (Only the harmonic oscillator evolution is trajectoral, exceptionally.)
For an arbitrary region Ω about some representative point in phase space, the efflux fails to vanish, ddt∫Ωdxdp f=∫Ωdxdp(∂f∂t+∂x(˙xf)+∂p(˙pf))=∫Ωdxdp ({{H,f}}−{H,f})≠0 .
That is, the phase-space region does not conserve in time the number of points swarming about the representative point: points diffuse away, in general, at a rate of O(ℏ2), without maintaining the density of the quantum quasi-probability fluid; and, conversely, they are not prevented from coming together, in contrast to deterministic (incompressible flow) behavior.
Still, for infinite Ω encompassing the entire phase space, both surface terms above vanish to yield a time-invariant normalization for the WF.
The O(ℏ2) higher momentum derivatives of the WF present in the MB (but absent in the PB---higher space derivatives probing nonlinearity in the potential) modify the Liouville flow into characteristic quantum configurations. So, negative probability regions moving to the left amount to probability flows to the right, etc... Wigner flows are a recondite field, cf. Steuernagel et al, 2013.
For a Hamiltonian H=p2/(2m)+V(x), the above evolution equation amounts to an Eulerian probability transport continuity equation, ∂f∂t+∂xJx+∂pJp=0 ,
Note added. For a recent discussion/proof of the zeros, singularities,and negative probability density features, hence the ineluctable violations of Liouville's theorem in anharmonic quantum systems see Kakofengitis et al, 2017.
No comments:
Post a Comment