9
$\begingroup$

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?

$\endgroup$

1 Answer 1

16
$\begingroup$

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?)

$\endgroup$
10
  • $\begingroup$ could you correct typos in the sentence "in my opinion erroneously, that derivative is indicated by ∂/∂t how if included other...." ? which are quite misleading... Also could you elaborate more about "along the integral lines of Hamiltonian flow, the density of probability is constant"? $\endgroup$
    – Lorniper
    May 16, 2014 at 15:11
  • $\begingroup$ @Lorniper Sorry I was in a hurry, is it more clear now? $\endgroup$ May 16, 2014 at 15:22
  • $\begingroup$ SO you mean it can be directly derived from heisenberg equation of motion, but make less physical sense? $\endgroup$
    – Lorniper
    May 17, 2014 at 6:42
  • $\begingroup$ Yes, it could be directly derived from Heisenberg equations, but it makes little sense because $\rho(t)$ is not an observable. $\endgroup$ May 17, 2014 at 16:56
  • $\begingroup$ I saw, but I do not understand where the contradiction is, could you be more explicit? $\endgroup$ May 20, 2014 at 5:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.