Quantum Mechanics – How the Liouville-von Neumann Equation Derives from Heisenberg Picture

density-operatorquantum mechanics

The Liouville-von Neumann equation for the density matrix is:

$$ i\hbar\frac{\partial\rho}{\partial t}=[H,\rho],$$

while in the Heisenberg picture:

$$ \frac{d}{dt}A(t)=\frac{i}{\hbar}[H,A(t)] +\frac{\partial A(t)}{\partial t}$$

if we adopt some kind of conservation law (like in classical theory), i.e.

$$\frac{d}{dt}A(t)=0. $$ Then we have

$$\frac{i}{\hbar}[H,A(t)] +\frac{\partial A(t)}{\partial t}=0 $$

by replacing $\rho=A(t)$, we can directly reach the von Neumann equation.

Is this derivation correct? if it is, what is the physical meaning behind $\frac{d}{dt}A(t)=0$ then?

Best Answer

Well, the von Neumann equation holds within Schroedinger's picture and it is immediate to prove in quantum physics (differently from the Liouville equation which needs to preventively establish the non-trivial Liouville theorem for the symplectic measure on the space of phases). Indeed, as $\rho$ is an incoherent superposition of pure states, one has, $$\rho = \sum_k p_k |\psi_k \rangle \langle \psi_k|\:.$$ Hence, $\rho$ evolves in time as effect of the standard Schroedinger evolution of pure states of the mixture, $$\rho(t) = \sum_k p_k U_t |\psi_k \rangle \langle \psi_k| U^\dagger_t = U_t \rho U^\dagger_t \:,$$ where $U_t = e^{-\frac{it}{\hbar}H}$ is the usual time evolutor. This identity immediately leads to von Neumann equation, $$\frac{d}{dt} \rho(t) = -\frac{i}{\hbar}[H, \rho]\:,\tag{1}$$ where the derivative is computed with respect to the strong operator topology (or the weak one), the same notion of time derivative as that used in Schroedinger equation. Unfortunately, and in my opinion erroneously, that derivative is very often indicated by $\frac{\partial}{\partial t}$ instead of $\frac{d}{dt}$. This would make sense if $\rho$ included another time dependence. Think of Heisenberg picture, when operators already depend on time in Schroedinger picture. In that case to distinguish between $\partial/\partial t$ (referred to some parametric time dependence already present in Schroedinger picture) and $d/dt$ (referred to the total time dipendence, including the one arising from Heisenberg evolution) makes sense. Here, instead, we have only one time dependence.

If $\rho(t)$ were a time-depending observable in Schroedinger picture, passing in Heisenberg picture we would obtain $$\frac{d\rho_H}{dt} = \frac{\partial \rho_H}{\partial t} +\frac{i}{\hbar}[H, \rho_H]=0\:,\tag{2}$$ i.e., $$\frac{d\rho_H}{dt}=0\:.$$ Actually all that is trivial without computing any derivative, since $$\rho_H(t) = U^\dagger_t \rho(t) U_t = U^\dagger_t U_t \rho U^\dagger_t U_t= \rho\:.$$ The conserved quantity would be $\rho$ itself, but it does not make much physical sense a priori, because $\rho$ is a state, not an observable and Heisenberg evolution is not appropriate for it. (Even if the result is formally correct since states, in Heisenberg picture, are constant in time.)

In classical physics the partial derivative $\partial/\partial t$ always makes sense, since $\rho$ is a function of both $t$ and the state in the space of phases. In that formulation (2) has a precise meaning in terms of a conservation law. It says that, along the integral lines of Hamiltonian flow, the density of probability is constant. In other words, the Hamiltonian flow is incompressible (see the pair of final remarks in my answer to this question Conserved quantities and total derivatives?)

Related Question